Repository navigation
Conversation
This was referenced Nov 11, 2026
enpasos
marked this pull request as ready for review
November 11, 2026 02:32
enpasos
merged commit Nov 11, 2026
40be10d
into
fix/g17-economics-atomic-prerequisites-v8-data
6 checks passed
enpasos
added a commit
that referenced
this pull request
Nov 11, 2026
Archive the installation, minimality-audit and native receipts for the History, Informatics and Politics/Economics prerequisite normalization and the regular curriculum-quality producer run on f5d89e2. The producer including the public V8 proof exits 0 after 1337.167 s and all ten unchanged protected floors pass. All 21 subject maturities are unchanged (five M7, five M6, eleven M0); the regenerated status reports only bind the current proof registry and its 1465 affected goals. The standard G17 gate from PR #119 is not yet part of this data state. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
enpasos
added a commit
that referenced
this pull request
Nov 11, 2026
Bring the gate from PR #119 (merged into the economics branch as 40be10d) together with the Latin, History, Informatics and Politics/Economics prerequisite normalization. The only conflicts were the two generated curriculum-quality status reports. They are not hand-merged: both files are the output of the regular producer on the integrated state (npm run quality:curriculum-status, exit 0), followed by the unchanged floor check (exit 0, ten protected curricula). All 21 catalogs are evaluated under the gate: five M7, five M6, eleven M0; CQR-001 fails for seven unprotected catalogs and is reported as fail. Co-Authored-By: Claude Fable 5.2 <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
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.
The standard curriculum-quality producer could report milestones without enforcing G17. This change makes its existing CQR-001 rule evaluate the real current graph for every declared canonical catalog, including foreign prerequisites and inheriting ancestors. Redundant requires, non-atomic endpoints, explicit structural type mismatches or invalid resolution prevent a milestone pass. Missing, duplicate, additional or changed catalog inputs abort before status rows are produced.
The current proof context binds the complete current raw catalog, including the final V8 frame. Existing standard CI already invokes test:transitive-minimality and the normal producer followed by protected maturity floors; the new negative fixtures are wired into that same test command. No floor, warning baseline or opt-in switch is changed.
Validation on the installed seven-file change: core graph comparisons pass; CLI13/13 and producer-integrity14/14 pass, with all bound inputs unchanged. The actual regular 21-catalog producer completed in 1047.677 seconds (exit 0). The unchanged protected-floor checker failed with exit 1 for exactly History, Informatics, Latin and Politics/Economics. Their global and produced scope milestones are M0; all five protected M7 subjects and German M6 remain intact. All named inputs stayed unchanged. This proves actual enforcement while keeping this draft unmergeable until the four subject repairs arrive. The recorded integration evidence includes the real generated reports, input bindings and exact failure boundary.
Delivery dependency: this small code PR is temporarily based on #118 (fix/g17-economics-atomic-prerequisites-v8-data) to show only its own change. It must be retargeted to main after the existing runtime/Biology/Economics dependencies arrive, updated with the remaining subject repairs, and pass fresh mandatory Main-targeted CI before merge. The main-only workflow trigger does not establish acceptance on this temporary base. Final goal acceptance still requires all five M7 and five M6 subjects on main under this actual gate.