Repository navigation
Execute the deleted-lane countable on the required floor - #10447
Merged
Merged
Conversation
added 8 commits
September 4, 2026 17:14
This was referenced Sep 4, 2026
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.
Finding
Run 33889629622's uploaded
required_floor_disposition.tsvshows that all 12 declarations inwitness_floor_workflow_consolidation_witness_testwere discovered and all 12 weredeclined_outside_gate_closure. The apparent 8/4 split in the log is the floor-cost-debt split: eight identities are already declared debt, while four—includingw_RED_the_deleted_lanes_do_not_return—were neither debt-held nor recurring executions.The cause is the module's absence from
required_gate_prefixes, not candidate-list construction.Change
Plannedin the discovery-census witnessThis is a partial climb under
gunbc.rung_drop.required_gate_bankruptcy, following its 2026-08-31 generated-artifact precedent. It restores four identities in one exact module and does not retire that drop: the restoration trigger remains a required run whose population is derived from the change over the whole corpus.Price
The first admission receipt (run 33899564106) resolved 2,339 modules versus 2,209 in adjacent predecessor run 33889629622 (+130). Strict preparation was 635,645 ms versus 630,511 ms (+5,134 ms); this is an adjacent-run observation, not a causal estimate. Two whole-workflow assertions were right-censored above the 500 ms ceiling, prompting the typed-producer narrowing.
Green run 33907907019 then planned and passed all four newly recurring identities at 1 ms, 59 ms, 457 ms, and 451 ms CPU. The exact cited row
w_RED_the_deleted_lanes_do_not_returnpassed at 451 ms.Severity boundary
No other witness found in the corpus covers all three deleted jobs or the full
FABRIC_EVIDENCE/calibration spelling set.fabric_evidence_gatingandemit_copy_qualification_without_a_consumertherefore cited an uncovered capability.required_lane_claim_agreement_witness_testindependently covers only therust-unit-testsroster absence, sorust_unit_tests_off_the_merge_pathhas partial independent coverage but still cites the wrong artifact for the broader claim.Verification
git diff --checkwitnessesall passed; floor verdictFloorClean, adjudicationPASSED, blockers 0Executed RED control
The countable is authorable, not merely planned. In falsification run 33924210916 (temporary PR #10476), removing the negation around the injected
["fabric-evidence"]control madetest.claim.witness_floor_workflow_consolidation_witness_test.w_RED_the_deleted_lanes_do_not_returnreturnBool(false)in 480,283 ns; adjudication recordedcause=claim_failed, and the floor reported exactly one failed claim. In production run 33921261763 on head 706a721, the same identity was planned and passed. Together these runs distinguish a live absence wall from a vacuous always-empty projection.Scope and permanence
This change retires none of the three citing drops and does not alter their capability-grain restoration triggers. It makes their shared countable real: a deleted lane returning while those rows still stand now makes the required floor fail. Under DESIGN §4b(4), the now-observed RED is a permanent regression control and must remain enrolled for as long as any of the three drops stands.