fix(port): GateScarab declared twice -- rename the SR-03 type (master Corpus ratchet red) by gHashTag · Pull Request #6612 · gHashTag/t27

gHashTag · 2026-10-05T19:24:55Z

Master's Corpus ratchet is red: + GateScarab NEW conflict. #6238 added pub struct GateScarab to the SR-03 port, and the SR-04 port already declares one. The two passed separately and merged in one batch.

This renames the SR-03 type and its functions to GateScarabFour, since it carries the Four-type tag. The GateScarab(...) strings it renders keep the Rust original's text. No ledger move. t27c typecheck is OK.

🤖 Generated with Claude Code

…-name conflict on master Closes #6611 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…r duplicate-bodies red) Refs #6611 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-05T19:54:23Z

PR Dashboard

Generated at: 2026-10-05 19:54:11 UTC

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 | 24 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 | 24 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 | 26 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 | 29 failing / 30 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 | 23 failing / 25 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 | 18 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 | 17 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 | 18 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 | 15 failing / 25 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 | 10 failing / 25 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 | 26 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
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	35
PRs with All Checks Green	15
READY	9
FAILING	35
PENDING	0
NO CHECKS YET	0

These columns do not partition: 9 + 35 + 0 + 0 = 44, 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:33:42Z

PR Dashboard

Generated at: 2026-10-05 21:33:33 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 | 18 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 | 16 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 | 17 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 | 12 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).

Closes #6609 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag and others added 2 commits October 6, 2026 02:24

fix(port): rename SR-03 GateScarab to GateScarabFour, ending the type…

6343865

…-name conflict on master Closes #6611 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

chore(dupes): record the put helper copied by two port modules (maste…

f482635

…r duplicate-bodies red) Refs #6611 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

t27b checked: test blocks for 7 tri cards (4 of 5) #6608

Merged

gHashTag mentioned this pull request Oct 5, 2026

fix(sort): insertion_sort unsigned-index underflow; reseal 9 stale sort/wp18 seals #6618

Merged

gHashTag merged commit 282f701 into master Oct 5, 2026
24 of 26 checks passed

gHashTag added a commit that referenced this pull request Oct 5, 2026

Merge origin/master into claude/fix-6609-sort-seals (picks up #6612)

f3f449b

Closes #6609 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Navigation Menu

Repository navigation

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)#6612
gHashTag merged 2 commits into
masterfrom
claude/fix-gatescarab-conflict

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

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