Repository navigation
xtask/tests/cli.rs: the all-gates selftest case asserts the dispatcher reached a verdict - #726
Merged
Merged
Conversation
…r reached a verdict, as gate --all does selftest_runs_every_registered_gates_red_proof required `xtask selftest` over EVERY gate to exit 0. Each gate's red proof is planted over the tree the test runs in, and a gate already red on that tree reports its proof IMPOSSIBLE, so this one nextest case went red on every branch that reds any gate, under one shared name (plane-abi-neutrality on #502, unconstructed on #648, linked-dropped-features on #634/#673/#703, settings-leak on #621, no-deferral on #627, tracing on #629), beside the test:xtask-selftest check that already names the gate. The case's subject is the dispatcher: it now holds the all-gates arm to 0 or 1 (2 and 3 stay refused), and keeps the named segregation selftest at 0.
MattJackson
enabled auto-merge
October 10, 2026 05:52
promote into
|
| gate | row | detail |
|---|---|---|
| construction | one-pick-site |
3 production call site(s) of 'pick_among(' (ceiling 2): crates/busbar-kernel-egress/src/walk.rs:298; crates/busbar-llm/src/engine/exhaustion/fallback.rs:120; crates/busbar-llm/src/engine/pipeline.rs:8 |
| kind-isolation | kind-isolation:deps |
3 finding(s), 94 shipped edge instance(s) over 31 class(es), 94 declaration(s); 57 '[[dep]]' row(s), 0 question(s): unlisted-dep-edge legacy -> plane busbar-llm -> busbar-plane-llm is a shipped edge w |
| kind-isolation | kind-isolation:test-deps |
3 finding(s), 35 test edge instance(s) over 21 class(es), 35 declaration(s); 20 '[[dep]]' row(s), 0 question(s): unlisted-dep-edge cleanliness -> legacy busbar-core-admin -> busbar-a2a is a test edge |
| kind-isolation | kind-isolation:law0 |
18 finding(s) over 14 neutral crate(s): law0-rise busbar × auth 51 hit(s) against a ceiling of 46: this landing grew a neutral crate's instance vocabulary. Ceilings only fall (measured on predev f830f |
| kind-isolation-ship | kind-isolation:deps |
11 finding(s) over 94 shipped edge(s): ship-edge kernel -> hooks busbar-kernel -> busbar-hook-ranking is 'not-allowed': the architecture grants no kernel -> hooks edge, and the ship criterion is the a |
| kind-isolation-ship | kind-isolation:test-deps |
10 finding(s) over 35 test edge(s): ship-edge cleanliness -> export busbar-core-admin -> busbar-export-prometheus is 'not-allowed': the architecture grants no cleanliness -> export edge, and the ship |
| kind-isolation-ship | kind-isolation:law0 |
18 finding(s) over 14 neutral crate(s): law0-rise busbar × auth 51 hit(s) against a ceiling of 46: this landing grew a neutral crate's instance vocabulary. Ceilings only fall (measured on predev f830f |
| kind-isolation-ship | kind-isolation:faces |
2 finding(s) over 40 crate(s): foreign-entry crates/busbar busbar is kind 'root' and implements 'Transport' 1 time(s) in shipped source — the entry face of kind 'transport'. A trait implementation is |
| kind-isolation-ship | kind-isolation:legacy-drain |
3 finding(s): transitional-live qa/kind-isolation.toml 'busbar-a2a -> busbar-core-admin' (legacy drain: the retiring A2A engine's tests drive the admin surface that drained into the cleanliness tier) |
| ship-ready | ship-ready:ship-twin |
'kind-isolation-ship' is not green: kind-isolation:deps (a dependency the architecture does not grant is still in the graph); kind-isolation:test-deps (a dependency the architecture does not grant is |
| structure-lint | structure-lint:plane-dup:unledgered |
22 finding(s): PLANE-DUPLICATE (module): 'config.rs' — a2a:crates/busbar-a2a/src/a2a/config.rs decisions:crates/busbar-plane-decisions/src/config.rs voice:crates/busbar-voice/src/config.rs (the ledger |
Judged against base 6ca8584fc: 0 new red, 0 worse, 5 standing (excused).
tests passed: 11373, failed: 0. Run: https://github.com/GetBusbar/busbar/actions/runs/38028993350 . Artifact verdict-6aad3f5ae648757cb228884c5c8870f8c93fb225 (failures.json, junit.xml, raw.log; 90 days).
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.
The shared red:
gate:test:workspace ... (nextest: xtask::cli::selftest_runs_every_registered_gates_red_proof)xtask/tests/cli.rs::selftest_runs_every_registered_gates_red_proofrequiredxtask selftestover EVERY registered gate to exit 0. Each gate's red proof is planted over the tree the test runs in. When a gate is already red on that tree, its selftest reports "THE PROOF IS IMPOSSIBLE — the rows this case covers were ALREADY RED on the unplanted tree". So this one nextest case goes red on every branch that reds any gate at all, under one shared name. Thetest:xtask-selftestcheck already reports that same failure, and it names the gate:unified-depsred on the branch)The case's subject is the DISPATCHER (the file header says so). It now holds the all-gates arm to 0 or 1, the same way
gate --allis held two cases above it, because 2 (bad arguments) and 3 (could not run) are the answers that mean the arm never judged. It keepsselftest segregationandgate segregation --selftestat 0. Each gate's proof is still judged gate by gate intest:xtask-selftest.This removes one duplicate deny line, and about 480 s of nextest, from every branch with a red gate. It does not make any of those branches green, because each one still owes its own gate.