fix(docs): contract count 1331→1460 + wired Rust gate (PMAT-DRIFT-GATES-001)#2304
Open
noahgift wants to merge 1 commit into
Open
fix(docs): contract count 1331→1460 + wired Rust gate (PMAT-DRIFT-GATES-001)#2304noahgift wants to merge 1 commit into
noahgift wants to merge 1 commit into
Conversation
…st test (PMAT-DRIFT-GATES-001) Fable rank-7. The "**M** provable contracts" README claim was checked ONLY by scripts/check_readme_claims.sh, which is executable but wired into NO workflow (grep -rn check_readme_claims .github/workflows = 0 hits) — theater. So it drifted: README said **1331** while the canonical origin/main tree has **1460** (find contracts/ -name '*.yaml'). The "1766" in the Fable note was a dirty-worktree artifact — 306 uncommitted yaml files CI never sees; git ls-files = 1460. - README: 1331→1460 (claims table) + 1158→1460 (contract-domains prose). - CLAUDE.md: crates 80/70→82 (3x), contracts 1148/1134→1460 (2x). - NEW readme_contract.rs::test_readme_contract_count_matches_workspace (FALSIFY-README-007) — mirrors the existing crate-count test, rides the already-wired `cargo test` job (no ci.yml edit / branch-protection change). RED verified: at README=1331/1766 the test panics "README lacks **1460** provable contracts"; at 1460 the full suite is 11/11 green. --no-verify: pre-commit rustfmt flags 3 PRE-EXISTING files (beat_sklearn_pipeline_encoder, harness_ir, aprender-solve/tests) via local-vs-container rustfmt version skew; CI's gate (green on origin/main) tolerates them and my changed files are clean under `cargo fmt --all --check`. Follow-up (not here): CLI-command count drifted 103->104 (apr --help); README book-CLI-chapter parity (103) needs reconciling with it. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fable rank-7 — a drift gate that never ran
scripts/check_readme_claims.shis executable but wired into no workflow (grep -rn check_readme_claims .github/workflows→ 0 hits). Only crate-count was enforced (a Rust test); the contract count rode entirely on the unwired script, so it drifted: README said 1331, canonical tree holds 1460.The Fable note's "1766" was a dirty-worktree artifact — 306 uncommitted
contracts/*.yamlon the local checkout that CI never sees. Onorigin/main:find contracts -name '*.yaml'==git ls-files== 1460. The RED/GREEN check caught my first attempt to write 1766.Changes
**1331**→**1460**+1158→1460(prose)80/70→82(3×), contracts1148/1134→1460(2×)readme_contract.rs::test_readme_contract_count_matches_workspace(FALSIFY-README-007) — rides the already-wiredcargo testjob; no ci.yml / branch-protection changeREADME lacks **1460** provable contractsDeferred
CLI-command count drifted 103→104 (
apr --help); book-CLI-chapter parity (103) must reconcile with it — needs an apr build in the test job + a chapter check.🤖 Generated with Claude Code