feat(queen): the review valve -- no person in the loop (Closes #6616) by gHashTag · Pull Request #6617 · gHashTag/t27

gHashTag · 2026-10-05T19:31:01Z

What

specs/queen/review_valve.t27 is the one home of the owner's rule of 2026-10-05: no person is needed in the review loop. Every review outcome that is not an accept gets an automatic next step and a clock:

outcome	next step	clock
empty diff, reviewer gave up, dead letter, unrecorded reason	release as `failed` (retry)	30 min (`RETRY_FLOOR_MINUTES`)
send-back ceiling	release once	60 min (`CEILING_FLOOR_MINUTES`)
no criteria, criteria beyond the patch, accepted on base truth alone	criteria backfill; the rewrite releases the row	close after 120 min (`BACKFILL_WINDOW_MINUTES`)
releases spent (`MAX_RELEASES` = 1)	close as `obsolete`, reason recorded, boundary freed	at once
reviewer bee REQUEST_CHANGES on a `queen-*` PR	send-back to the Queen on the same branch	at most `PR_FIX_ATTEMPTS` = 2, then the PR is closed (also after 48 h with no push)

The test no_kind_waits_for_a_person checks that, at the policy's own 48-hour hold, no kind of escalation still holds its files.

Why these numbers

Measured 2026-10-05: 144 of 219 review cards were escalated. Of the 193 stuck branches, 125 were empty. fileConflict was 108, and 25 of 70 workers were active. The constants reuse the supervisor's measured floors (EMPTY_ATTEMPT_FLOOR_MS, CEILING_RELEASE_MS, maximumSendBacks). There is one release per issue because 65% of the stuck branches are empty after three silent attempts each. The reasoning for each constant is in its doc comment.

Files

specs/queen/review_valve.t27: the spec, with 8 tests and 1 invariant
gen/c/queen/review_valve.c: t27c gen-c output. cc -DT27_TEST_MAIN gives All 8 tests passed., and a mutant that never releases fails test_an_empty_attempt_is_released_after_the_floor
docs/now/2026-10-06-queen-review-valve.md

Not here: the gHashTag/BrowserOS wiring (a separate PR; the owner merges it). The tools/bees/reviewer.py and criteria_backfill.py changes are described in #6616 and not written.

🤖 Generated with Claude Code

…step and a clock (Closes #6616) specs/queen/review_valve.t27 is the one home of the owner's rule of 2026-10-05 ("no person is needed"): escalations release as failed after a floor (30 min; 60 min for a spent send-back ceiling), at most MAX_RELEASES=1 per issue, then close as obsolete with the reason recorded and the boundary freed; missing or unrunnable criteria wait at most 120 min for a backfill; a reviewer-bee REQUEST_CHANGES on a queen-* PR goes back to the Queen at most PR_FIX_ATTEMPTS=2 times, then the PR closes (48 h without a push). gen/c/queen/review_valve.c is t27c gen-c output: 8 tests pass with -DT27_TEST_MAIN, a mutant that never releases fails. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-05T21:32:13Z

PR Dashboard

Generated at: 2026-10-05 21:32:07 UTC

fix(sort): insertion_sort unsigned-index underflow; reseal 9 stale sort/wp18 seals #6618 fix(sort): insertion_sort unsigned-index underflow; reseal 9 stale sort/wp18 seals | Created: 2026-10-05 | Updated: 2026-10-05 | 10 failing / 26 total
feat(queen): the review valve -- no person in the loop (Closes #6616) #6617 feat(queen): the review valve -- no person in the loop (Closes #6616) | Created: 2026-10-05 | Updated: 2026-10-05 | 20 failing / 25 total
port(fpga): blink_working.t27 with the 26-bit counter wrap (Closes #6392) #6615 port(fpga): blink_working.t27 with the 26-bit counter wrap (Closes #6392) | Created: 2026-10-05 | Updated: 2026-10-05 | 17 failing / 25 total
port(trios-mcp): main.t27 without the copied password literal (Closes #5541) #6614 port(trios-mcp): main.t27 without the copied password literal (Closes #5541) | Created: 2026-10-05 | Updated: 2026-10-05 | 19 failing / 27 total
feat(gen-ts): list skipped fns/tests in __NOT_EMITTED__; opt-in --fn lowers pure fn bodies (#6559) #6613 feat(gen-ts): list skipped fns/tests in NOT_EMITTED; opt-in --fn lowers pure fn bodies (#6559) | Created: 2026-10-05 | Updated: 2026-10-05 | 27 failing / 28 total
fix(port): GateScarab declared twice -- rename the SR-03 type (master Corpus ratchet red) #6612 fix(port): GateScarab declared twice -- rename the SR-03 type (master Corpus ratchet red) | Created: 2026-10-05 | Updated: 2026-10-05 | 14 failing / 26 total
[skill] t27/wave-audit: replace placeholder audit with measured values #6610 [skill] t27/wave-audit: replace placeholder audit with measured values | Created: 2026-10-05 | Updated: 2026-10-05 | 14 failing / 25 total
t27b checked: test blocks for 7 tri cards (4 of 5) #6608 t27b checked: test blocks for 7 tri cards (4 of 5) | Created: 2026-10-05 | Updated: 2026-10-05 | 14 failing / 26 total
t27b checked: test blocks for 7 tri cards (1 of 5) #6607 t27b checked: test blocks for 7 tri cards (1 of 5) | Created: 2026-10-05 | Updated: 2026-10-05 | 15 failing / 25 total
feat(ci): delivery metrics defined in t27 -- lead time, red time, change failure, empty bee runs #6606 feat(ci): delivery metrics defined in t27 -- lead time, red time, change failure, empty bee runs | Created: 2026-10-05 | Updated: 2026-10-05 | 13 failing / 26 total
ci: run only affected specs -- the selection rule as specs/ci/affected.t27 (Closes #6604) #6605 ci: run only affected specs -- the selection rule as specs/ci/affected.t27 (Closes #6604) | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 26 total
spec(ci): derived data -- when a seal or the t27b ledger is valid, and who writes it #6603 spec(ci): derived data -- when a seal or the t27b ledger is valid, and who writes it | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 26 total
fix(gen-zig): a module-scoped type maps like its bare name (owner exception, #5980) #6599 fix(gen-zig): a module-scoped type maps like its bare name (owner exception, #5980) | Created: 2026-10-05 | Updated: 2026-10-05 | 15 failing / 40 total
data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) #6598 data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) | Created: 2026-10-05 | Updated: 2026-10-05 | 9 failing / 27 total
feat(t27b): tri t27b dogfood + own-spec tie-break in next (owner-approved exception) #6594 feat(t27b): tri t27b dogfood + own-spec tie-break in next (owner-approved exception) | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 27 total
feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] #6577 feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] | Created: 2026-10-05 | Updated: 2026-10-05 | 7 failing / 37 total
bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 26 total
security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token #6433 security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct #6399 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 25 total
Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 #6208 Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 #6206 Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 25 total
Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 #6205 Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 7 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-03 | 10 failing / 42 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-05 | 1 failing / 2 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-03 | 0 failing / 3 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-03 | 10 failing / 41 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-03 | 6 failing / 32 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-03 | 7 failing / 32 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-03 | 0 failing / 3 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 31 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	38
PRs with All Checks Green	12
READY	9
FAILING	38
PENDING	0
NO CHECKS YET	0

These columns do not partition: 9 + 38 + 0 + 0 = 47, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=ab873301be9c != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

github-actions · 2026-10-05T21:45:48Z

PR Dashboard

Generated at: 2026-10-05 21:45:41 UTC

fix(sort): insertion_sort unsigned-index underflow; reseal 9 stale sort/wp18 seals #6618 fix(sort): insertion_sort unsigned-index underflow; reseal 9 stale sort/wp18 seals | Created: 2026-10-05 | Updated: 2026-10-05 | 4 failing / 26 total
feat(queen): the review valve -- no person in the loop (Closes #6616) #6617 feat(queen): the review valve -- no person in the loop (Closes #6616) | Created: 2026-10-05 | Updated: 2026-10-05 | 25 failing / 26 total
port(fpga): blink_working.t27 with the 26-bit counter wrap (Closes #6392) #6615 port(fpga): blink_working.t27 with the 26-bit counter wrap (Closes #6392) | Created: 2026-10-05 | Updated: 2026-10-05 | 4 failing / 26 total
port(trios-mcp): main.t27 without the copied password literal (Closes #5541) #6614 port(trios-mcp): main.t27 without the copied password literal (Closes #5541) | Created: 2026-10-05 | Updated: 2026-10-05 | 6 failing / 28 total
feat(gen-ts): list skipped fns/tests in __NOT_EMITTED__; opt-in --fn lowers pure fn bodies (#6559) #6613 feat(gen-ts): list skipped fns/tests in NOT_EMITTED; opt-in --fn lowers pure fn bodies (#6559) | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 30 total
[skill] t27/wave-audit: replace placeholder audit with measured values #6610 [skill] t27/wave-audit: replace placeholder audit with measured values | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 26 total
t27b checked: test blocks for 7 tri cards (4 of 5) #6608 t27b checked: test blocks for 7 tri cards (4 of 5) | Created: 2026-10-05 | Updated: 2026-10-05 | 4 failing / 27 total
t27b checked: test blocks for 7 tri cards (1 of 5) #6607 t27b checked: test blocks for 7 tri cards (1 of 5) | Created: 2026-10-05 | Updated: 2026-10-05 | 7 failing / 26 total
feat(ci): delivery metrics defined in t27 -- lead time, red time, change failure, empty bee runs #6606 feat(ci): delivery metrics defined in t27 -- lead time, red time, change failure, empty bee runs | Created: 2026-10-05 | Updated: 2026-10-05 | 5 failing / 26 total
ci: run only affected specs -- the selection rule as specs/ci/affected.t27 (Closes #6604) #6605 ci: run only affected specs -- the selection rule as specs/ci/affected.t27 (Closes #6604) | Created: 2026-10-05 | Updated: 2026-10-05 | 5 failing / 26 total
spec(ci): derived data -- when a seal or the t27b ledger is valid, and who writes it #6603 spec(ci): derived data -- when a seal or the t27b ledger is valid, and who writes it | Created: 2026-10-05 | Updated: 2026-10-05 | 6 failing / 26 total
fix(gen-zig): a module-scoped type maps like its bare name (owner exception, #5980) #6599 fix(gen-zig): a module-scoped type maps like its bare name (owner exception, #5980) | Created: 2026-10-05 | Updated: 2026-10-05 | 12 failing / 40 total
data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) #6598 data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 28 total
feat(t27b): tri t27b dogfood + own-spec tie-break in next (owner-approved exception) #6594 feat(t27b): tri t27b dogfood + own-spec tie-break in next (owner-approved exception) | Created: 2026-10-05 | Updated: 2026-10-05 | 25 failing / 26 total
feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] #6577 feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] | Created: 2026-10-05 | Updated: 2026-10-05 | 7 failing / 37 total
bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 26 total
security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token #6433 security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct #6399 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 25 total
Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 #6208 Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 #6206 Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 25 total
Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 #6205 Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 7 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-03 | 10 failing / 42 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-05 | 0 failing / 2 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-03 | 0 failing / 3 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-03 | 10 failing / 41 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-03 | 6 failing / 32 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-03 | 7 failing / 32 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-03 | 0 failing / 3 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 31 total
Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 32 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	38
PRs with All Checks Green	12
READY	10
FAILING	38
PENDING	0
NO CHECKS YET	0

These columns do not partition: 10 + 38 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=ab873301be9c != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

Merge branch 'master' into queen-review-valve

8f7cfc1

github-actions Bot mentioned this pull request Oct 5, 2026

feat(t27b): tri t27b dogfood + own-spec tie-break in next (owner-approved exception) #6594

Merged

gHashTag merged commit 98ead51 into master Oct 5, 2026
25 of 27 checks passed

Navigation Menu

feat(queen): the review valve -- no person in the loop (Closes #6616) - #6617

feat(queen): the review valve -- no person in the loop (Closes #6616)#6617
gHashTag merged 2 commits into
masterfrom
queen-review-valve

gHashTag commented Oct 5, 2026

Uh oh!

github-actions Bot commented Oct 5, 2026

Uh oh!

github-actions Bot commented Oct 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 5, 2026

What

Why these numbers

Files

Uh oh!

github-actions Bot commented Oct 5, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 5, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant