Skip to content

Main is red at parse: delete #10390's trailing annotation block, whose content the rung drop already owns #10420

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gunbai-bot wants to merge 1 commit into from
Closed

Main is red at parse: delete #10390's trailing annotation block, whose content the rung drop already owns #10420

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 0 additions & 19 deletions dag/test/claim/emit_copy_qualification_witness_test.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -479,22 +479,3 @@ test fn ecq_shard_driver_names_every_shard_case_holds() -> Bool {
fn string_contains_marker(haystack: String, marker: String) -> Bool {
(split(s: haystack, delimiter: marker) |> count) > 1
}

// ── THE WORKFLOW JOB THAT CARRIED THIS BATTERY IS DELETED (2026-09-04 runner-capacity ruling) ──
//
// Three rows stood here asserting the `emit-copy-qualification-battery` job's capability closure,
// its inert `if_condition: "false"`, and that its argv named this module's wet entry. All three
// had `gunbc.witness_floor_workflow` symbols as their subject, and that subject no longer exists:
// the operator spent the held activation token on DELETION rather than activation, so the job is
// gone from the emitted workflow instead of having its "false" lifted.
//
// WHAT THAT COSTS, STATED HERE RATHER THAN LEFT TO BE INFERRED FROM AN ABSENCE. The job's explicit
// `claim_batch --functions` line was this module's ONLY SANCTIONED CONSUMER, so the wet shards and
// calibration mutants below now have no executing consumer at all -- they are specification
// without execution in the sense DESIGN section 5 names, and the rows above this comment establish
// nothing about a running system until one is restored. That is recorded at
// `gunbc.rung_drop` `emit_copy_qualification_without_a_consumer`; read it before citing any row in
// this file as coverage. It is NOT retired by re-adding a job, which the roster comment in
// `witness_floor_workflow` now requires operator sign-off for, but by converting these functions
// to floor-enrolled `*_test.dag` witnesses -- the same conversion the deleted job's dissolution
// row demanded, now with nothing else holding the module up.
Loading