Repository navigation
Adjudicate every generated artifact in one required phase - #10455
Merged
Merged
Conversation
briansrls
pushed a commit
that referenced
this pull request
Sep 4, 2026
… phase Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U397y4s3dSBof7vGPAX87G
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Sep 4, 2026
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U397y4s3dSBof7vGPAX87G
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Sep 4, 2026
…ranch Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U397y4s3dSBof7vGPAX87G
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.
Closes the next-rung trigger of
green_reported_over_a_population_the_instrument_does_not_ownby replacing siblingregenandgenerated-artifactterminal outcomes with oneGeneratedArtifactPhaseverdict over two explicitly modeled populations: registry projections and stage0 mirrors. Both existing fail-closed adjudicators and their located diagnostics remain intact; both run even when the other refuses. A terminal green is emitted only when both are clean, and names both denominators.\n\nThe lifecycle classifier and generated-projection merge policy remain explicitly outside this byte-adjudication join.\n\nEvidence:\n- Permanent floor-discovered controls cover both asymmetric failures: registry green/mirror red and mirror green/registry red.\n- The all-clean positive control excludes an always-refusing compositor.\n-cargo check -p v1-compiler --bin claim_executorpassed.\n- Focusedclaim_batchexecution passed all three composite controls.\n- A real whole-corpus build-lane execution produced stage0-mirrors PASS (planned=156 executed=156 adjudicated=156, first_generation_equal=true), continued into registry-projections, then issued the one terminalgenerated-artifact FAIL populations=registry-projections,stage0-mirrors.\n\nThe whole-corpus wet path does not currently complete green on BuildBuddy. It terminates in the typed, locatedCarrierRefused / MemoryStallRefusedPageThrashboundary while resolving the registry authority (304468 major faults/minute at 6% CPU share), and the outer process was subsequently signal-killed during regen-fixed-point. This is recorded as an environment refusal, not an adjudication pass. Reproduction:\n\nGUNBC_MEMORY_BUDGET_BYTES=8589934592 CTRL_BUILD_FORWARD_ENV=GUNBC_MEMORY_BUDGET_BYTES ctrl-build --remote -- bash -lc 'cargo build -p v1-compiler --bin claim_executor && target/debug/claim_executor --source-root dag --source-root src/v2 --required-ci --required-lane build'\n\nThe remote wrapper confirmedforwarding env: GUNBC_MEMORY_BUDGET_BYTES.