Repository navigation
Restore the 85a5 rung-honesty correction and 47065 hand-Rust receipt dropped by #7599's note absorption - #7672
Merged
Merged
Conversation
…henticated_digest_witness_note PR #7599 absorbed #7648's REST content from a pre-correction head: the carriers, mint, and pin landed intact, but the note regressed to the version claiming 'the mint seam is mechanically prevented by the executed pin'. Commit 85a5ac4 on #7648 had retracted exactly that sentence, verified against ci.yml and gunbc.ci_layer_roots witness_layer_roots: CI's only contact with v1-compiler-tests is a compile gate (no test execution) and floor discovery excludes src/v1/tests, so the pin executes in no admission path. DESIGN 4b defines mechanically preventable as a mechanism that reliably exposes AND blocks; reporting the class at that rung is rung inflation, which 4b names worse than sitting low because an inflated class never ranks for climbing. The absorption also dropped the review 47065 hand-Rust receipt: the v1-hand-queue-drain lane (dag/gunbc/v1_deletion_plan.dag) owns the interim seed bridge in rest_auth_identity_value, fnv1a64_structural_value, and rest_authenticated_identity_for_witness, with deletion of those three symbols while the discriminating witness stays enrolled as the checkable dissolution receipt; and the NOT-NEW-DEBT pointer to content_hash_cross_family_eq_v1_seed_bridge_note recording that the whole seed-bridge control family shares the enrollment gap. One data-row string edit, spliced verbatim from the final #7648 head 45e5875 whose floor ran green on this exact text. Regression: 9/9 rest_exchange_replay_test witnesses green by execution against the edit. 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.
What regressed
#7599's absorption of #7648's REST content took the carriers, the aligned mint, and the pin intact (verified by content against the final #7648 head) — but it absorbed the pre-correction note. Main's
rest_authenticated_digest_witness_note(extdeps.transports.rest) again claims:Commit
85a5ac443fon #7648 had retracted exactly that sentence, verified against.github/workflows/ci.ymlandgunbc.ci_speclayer roots: CI's only contact withv1-compiler-testsiscargo check --tests(compile gate, no execution), and floor discovery'switness_layer_rootsis [dag, src/v2], so the pin executes in no admission path. DESIGN §4b defines mechanically-preventable as a mechanism that reliably exposes AND blocks, with safety depending on it executing and staying enrolled — so the claim is rung inflation, which §4b names worse than sitting low because an inflated class never ranks for climbing.The absorption also dropped two paragraphs:
v1-hand-queue-drainlane (dag/gunbc/v1_deletion_plan.dag) owns the interim seed bridge (rest_auth_identity_value,fnv1a64_structural_value,rest_authenticated_identity_for_witness); the checkable dissolution receipt is deletion of those three symbols while the discriminating witness stays enrolled against the replacement.content_hash_cross_family_eq_v1_seed_bridge_notecites the same unexecuted crate, so the whole seed-bridge control family shares the enrollment gap — recorded, not fixed there.The fix
One data-row string edit: the note is spliced verbatim from the final #7648 head
45e5875140c0, whose floor ran green on this exact text. Guard assertions during the splice confirmed main was in the expected regressed state (inflated sentence present, receipt absent) before writing.Verification
9/9
rest_exchange_replay_testwitnesses PASS by execution against the edit (note strings are typechecked module content — the replay entry's closure includesrest.dag).No behavior, type, or mint change; prose-only restoration of executed-evidence honesty in a load-bearing extdeps carrier note.
🤖 Generated with Claude Code