Repository navigation
Floor model: re-derive 12 live red census/effect-demand claims (fixtures stale after #11791, #12377) - #12857
Merged
Conversation
… and repaired Both witnesses run outside the required gate since #11791 (a35c7ce), which withdrew "v2.test." and "test.claim.discovery_census_witness_test" from required_gate_prefixes; nothing executed them after that, so their reds stayed silent. Cause 1 (11 claims), #11791: the fixtures used "v2.test.claim.*" / "v2.test.probe_a" as their representative IN-GATE site. That was true only while "v2.test." was a gate prefix. The subject (required_floor_site_disposition) is right: those modules are now DeclinedOutsideRequiredGate. The claims' subject is the census's partition/label/aggregate logic over an admitted site, not membership of v2.test., so the representative is re-homed under a family prefix the gate still carries ("test.claim.infer_"). Labels follow the same rendering rule. Cause 2 (1 claim), #12377 (02360ee): the Symbol seam pair moved from v2.std.compilers.lexing into v2.std.node, and effect_demand's seam rows were re-pointed. The roster is right; the claim's expected home was stale. Left red on purpose: w_deleted_lane_countable_is_planned_by_the_required_gate. #10447 admitted witness_floor_workflow_consolidation_witness_test to the gate; #11791 withdrew it. That is a gate-roster policy question, escalated, not edited here. Evidence: claim_batch built locally (private CARGO_TARGET_DIR, -j2, RUSTC_WRAPPER=), both entries run before (13 FAIL) and after (1 FAIL, the escalated one). Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… also re-admit the deleted-lane countable); keep only the #12377 seam-home claim #12377 moved the Symbol seam pair from v2.std.compilers.lexing into v2.std.node and re-pointed effect_demand's seam rows; the roster is right and floor_join_witness_live_seam_modules_are_the_fourteen_seams_homes expected the old home. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…516; #12854 reverted its duplicates) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Oct 1, 2026
…ane arm Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Oct 1, 2026
…e-pinned literal Co-Authored-By: Claude Opus 5.5 (1M context) <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.
Repairs 12 of the 13 claims that were red on main and that no lane executed.
Why nothing saw them: #11791 (a35c7ce) withdrew
v2.test.andtest.claim.discovery_census_witness_testfromrequired_gate_prefixes, so neither witness has executed since.Cause 1 (11 claims), #11791: the fixtures used
v2.test.claim.*andv2.test.probe_aas the representative in-gate site. That held only whilev2.test.was a gate prefix. The subject (required_floor_site_disposition) is right to decline them. The claims' subject is the census's partition, label and aggregate logic over an admitted site, not whetherv2.test.is a member. So the representative now sits under a family prefix the gate still carries (test.claim.infer_).Cause 2 (1 claim), #12377 (02360ee): the Symbol seam pair moved from
v2.std.compilers.lexingintov2.std.node, and effect_demand's seam rows moved with it. The roster is right; the claim's expected home was stale.Not fixed here:
w_deleted_lane_countable_is_planned_by_the_required_gatestays red. #10447 admittedwitness_floor_workflow_consolidation_witness_testto the gate and #11791 withdrew it. Whether to re-admit the floor's own model witnesses is a gate-cost decision, being measured separately.Evidence:
claim_batchbuilt locally (privateCARGO_TARGET_DIR,-j2,RUSTC_WRAPPER=). Both entries were run before the change (13 FAIL) and after it (1 FAIL, the one above).🤖 Generated with Claude Code