chore(state): truth-sync STATE + AFFIRMATION anchor + real golden path (PR-6, closes the sequence)#21
Merged
Conversation
…he golden path STATE.a2ml: completion 15 -> 32 (spec + ledger + L2 proven + L1 totality core; MECH-1 milestone 2, gates beyond L2, tropes, TEA all still open); phase design -> implementation; blockers echo issues #18/#19 and the anytype audit (#13-#19 there); critical-next-actions = finish ET-2. AFFIRMATION.adoc: anchor filled in the same session that re-ran every check against main @ a11c987 (merge of #17): check-proofs (PASS, axiom audit 12/12), scan-dangerous (PASS), check-proof-status (PASS), validate-template (PASS, 4 warnings), just test + just quality (PASS). Claims table now separates affirmed-ran from affirmed; NOT-claims spell out exactly what remains open (ET-2 closure, ET-6..14). Justfile: test/lint/fmt-check were template echo-stubs ("Tests passed!" over commented-out commands — fake green). test now runs the proof gates + drift gate; lint runs scan-dangerous, md-in-docs, root-shape, validate-template; fmt-check states explicitly that nothing is checked. check-no-vlang.sh deferred to #19 (115 template zig refs + policy question). Root-allow updated for entries landed by #14/#17. README: badge and Status section updated to the mechanized-core truth. Co-Authored-By: Claude Fable 5 <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.
Final PR of the completion sequence (#11 → #12 → #13 → #15 → #16 → #17 → this).
a11c9877, 2026-07-21T14:43Z, Lean 4.32.0/elan 4.2.3) in the same session that re-ran every check listed; every "affirmed-ran" row corresponds to a command actually executed. NOT-claims list keeps ET-2 closure, ET-6..9, ET-10..13, ET-14 explicitly open.test/lint/fmt-checkwere template echo-stubs (fake green). Now:test= proof gate + drift gate;lint= dangerous-construct scan, md-in-docs, root-shape, template validation;fmt-checkhonestly reports that nothing is checked.check-no-vlang.shdeferred to Wire check-no-vlang.sh into lint after clearing 115 template zig references (and resolve policy conflict) #19 (tracked, not silently skipped)..machine_readable/root-allow.txtupdated for root entries landed by chore(governance): land missing docs/packaging before the standards#505 gates bite #14/proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates #17.theory_(no_proofs_yet)→theory_(L2_proven, L1_core_proven, rest_OPEN); Status section states precisely what is machine-checked vs open.Verification (all run in this session at the anchor SHA):
./scripts/check-proofs.sh lean4PASS (audit 12/12);./scripts/scan-dangerous.shPASS;./scripts/check-proof-status.shPASS;./scripts/validate-template.shPASS (4 warnings);just test && just qualityPASS end-to-end.🤖 Generated with Claude Code