Repository navigation
Whole-corpus frontier receipt 1 at eced9d24c599: typeck 155 remaining, the post-precedence attribution boundary - #9844
Merged
Conversation
… post-precedence attribution boundary Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Aug 31, 2026
Main advanced by #9814 (generated-artifact drift restored to required CI), #9810, and #9844, which appends the whole-corpus frontier receipt 1 -- the successor row that was deliberately held until the digest fold was repaired, now landing on the corrected fold. Conflict was append-vs-append again, in the same file. Resolved with the check the previous one taught: the conflict region ran to EOF with NO common tail, and each side balanced independently (18/18 and 6/6), so concatenation was safe in either order. Last time the tail held the final closing brace and reordering orphaned it. Verified 127/127 after resolving, and git ls-files -u rather than a marker grep for resolution state. The substantive new fact: the duplicate wall now applies across a TWO-receipt series, and current_persisted_compile_phase_frontier_holds passes over both. That is not carried from an earlier green -- #9844's receipt did not exist when the wall was authored, and main does not contain this merge, so the composition had to be measured. Verified on the merged tree, all three arms: as authored 29/29 PASS remove phase_census_digest sort FAIL the_census_digest_is_invariant... only delete the duplicate conjunct FAIL a_receipt_whose_refused_population... only Both falsifiers still fire, and the ARM B anchor asserts exactly one match so it cannot silently retarget onto a neighbouring canonicalization. docs/design-ledgers.md is byte-identical to main, so the drift check #9814 restored has nothing to flag from this branch. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012t876A58gzqj5V69TsrB6Y
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.
Whole-corpus compile-phase frontier receipt 1: the post-precedence attribution boundary
Appends the second row to
gunbc.self_host_compile_phase_frontierself_host_compile_phase_frontier_receipts: the first whole-corpus measurement after the #9828 + #9813 + #9829 composition landed on main.Subject: main@
eced9d24c599b33f19442e0bd1eee57223f3d763(treed424154bb6fb8c40b149be07f2ddd8d61e89108e, working tree clean), produced by the enrolled instrumenttools.emission_entry_instrument::measure_entry_emissionoversrc/v2/compiler/00_compile.dagin BuildBuddy invocation44d90e35-ccba-41d1-9a90-928a914b26a2, same toolchain/policy epoch as genesis (rustc-1.93.0-x86_64-check-dev-rustc-error-index-1.93.0).Board (derived in-code from the raw census by
phase_board_from_census_identities, never authored): parse PASSES / expand PASSES / resolve PASSES / typeck 155 remaining / borrowck not yet reached. 155 = 146 E0308 + 5 E0599 + 3 E0282 + 1 E0560, all coded, partition complete. Census identity digest049d0a54eea70534underCanonicalIdentitySetV1— re-derived by the authority on every load, not transcribed.Two sentences that are part of the receipt (carried in its module-scope annotation):
Against genesis (233 → 155): 147 identities removed, 69 added; 65 of the additions are hop relocations under the existing
diagnostic_semantic_keyrule (same file+code+message, line/col moved by regenerated emission). The remaining 4 sit insrc/v2_lens_undecidable_verdict_collapse.rs, a module that does not exist in the genesis tree1c7c79fbc0(added by #9819) — corpus growth, not regression.Two small authority changes the receipt exposed as necessary
ExposedByNewEmittedModulecause arm. TheNewlyExposedCausevocabulary could not express "a new module entered the emitted closure": the masking cause would fabricate a causal claim and an unadmitted row would hold the series red for non-regressions. The new arm is mechanically checked, not taken on faith: it admits an identity only when the predecessor board holds NO identity in that file. Positive + refusing controls added to the witness (a_new_emitted_module_disposition_*).apply_regression_transition's recoverable predicate accepted refused identities only as unadmitted-or-relocation; a mix of relocations and newly-exposed-admitted identities — the ordinary successor shape — was unrepresentable and refused as "phase rollback or an unrecorded identity regression". The predicate now also accepts identities carrying a validatednewly_exposeddisposition. Discriminating evidence: the persisted-series witness itself was RED before this line and green after, with no other change.Executed evidence: all 27 witness fns in
test.claim.self_host_compile_phase_frontier_witness_testPASS over the persisted two-row series (includingcurrent_persisted_compile_phase_frontier_holdsandthe_published_frontier_standing_does_not_claim_typeck_or_borrowck_passed).docs/design-ledgers.mdregenerated via the enrolledgenerated_artifact_gatemain_wet_oneactuator — the projection now cites this receipt.Attribution notes for waiting lanes: the published 233/tree-
1c7c79fbc0receipt stays valid as history; the 78-identity net reduction is credited to the precedence/emission composition as a whole, not to any single lane; #9720's before-population is this receipt's census.🤖 Generated with Claude Code
https://claude.ai/code/session_01GXfYKNQTD3VfYyQcnJpxNU