spec(ci): derived data -- when a seal or the t27b ledger is valid, and who writes it by gHashTag · Pull Request #6603 · gHashTag/t27

gHashTag · 2026-10-05T19:12:29Z

Part of epic #6595, item B. This PR adds only the spec specs/ci/derived_data.t27: the decision rule for checked-in derived data, meaning the seals (spec_hash, gen_hash_*, tests), the t27b ledger and FROZEN_HASH.

A PR is red only for a regression, or for a derived value it wrote that the tool would not write. A hand-written ledger is refused, because CI cannot check it before merge.
Lag is PENDING, which is not red. A PR that moves a record's inputs (a compiler fix, a spec edit) gets a REPORT.
On master, one refresh bot recomputes every lagging record and opens one PR that touches only derived files. If master moves, the bot regenerates that PR from the tip; it never rebases or force-pushes. The bot never writes FROZEN_HASH, and it blesses the ledger only when the cap holds or falls.
The t27b ratchet codes UNEXPECTED PASS, MOVED, STALE and UNLISTED become PENDING. UNEXPECTED FAILURE, OVER CAP and BAD REASON stay red.

Findings, the Bazel/Chromium comparison and the wiring list are on #6601. The wiring is an owner decision because own-language denies .yml and .py.

Verification (Railway t27c lab, t27c built from master `a4e68ba`)

t27c check       Typecheck OK (0 errors, 0 warnings)
t27c test-report tests 18, pass 18, FAIL 0, invariants 1 proved (comptime)

Negative controls:

If UNEXPECTED_PASS is mutated to V_RED, a_t27b_improvement_is_not_red fails (17/18).
If lag is mutated to red, the comptime invariant fails and the spec does not compile.

🤖 Generated with Claude Code

…d who writes it (Closes #6601) The decision rule for checked-in derived data (epic #6595, item B): a PR is red only for a regression or for a derived value it wrote that the tool would not write; lag is PENDING, a PR that moves inputs gets a REPORT, and one refresh bot rewrites lagging records on master in a derived-only PR. FROZEN_HASH stays owner-only; the bot blesses the ledger only when the cap holds or falls. 18 tests + 1 invariant, test-report FAIL 0 on the Railway lab (t27c at a4e68ba); a planted mutation fails a_t27b_improvement_is_not_red. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-05T19:14:24Z

PR Dashboard

Generated at: 2026-10-05 19:14:18 UTC

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 | 22 failing / 25 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 | 25 failing / 37 total
data(t27b): bless master run 13e212a5a (26 new specs, 8 up, cap 44 -> 67) #6598 data(t27b): bless 18 new blocked specs from master run 1f9b3706a (cap 44 -> 62) | Created: 2026-10-05 | Updated: 2026-10-05 | 5 failing / 26 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
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-03 | 7 failing / 32 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-10-02 | 5 failing / 32 total
Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-10-02 | 5 failing / 24 total

Summary

Status	Count
Total Open PRs	46
PRs with Failing Checks	33
PRs with All Checks Green	13
READY	11
FAILING	33
PENDING	0
NO CHECKS YET	0

These columns do not partition: 11 + 33 + 0 + 0 = 44, and there are 46 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).

gHashTag · 2026-10-05T19:21:40Z

Status: not merged. Corpus ratchet is one of the required-green checks for this PR, and it is red. All four red checks come from master at 13e212a; none comes from this PR, which adds one spec and no put, GateScarab or seal. They are live examples of what #6601 describes:

Corpus ratchet (tri types ratchet): + GateScarab NEW conflict. Port gHashTag/trios:crates/trios-scarab-types/rings/SR-03/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6238 (SR-03) and Port gHashTag/trios:crates/trios-scarab-types/rings/SR-04/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6276 (SR-04) each passed against an older master. Both were merged in the 19:07Z batch, and together they declare GateScarab twice. That is epic item A: test the merge result, not the branch. Master: failure.
duplicate-bodies: a body written under put is now copied [2] time(s). Same batch. Master: failure.
coverage (Seal Coverage): 9 seal(s) newly do not hold, from specs/tri/sort/{counting,heap,insertion,tim}_sort.t27 edited without a reseal. Master: failure. This is the scenario master_debt_does_not_turn_an_unrelated_pr_red encodes.
spec-guards: seal currency on the same seals, plus the ring/spec drift that has been red on master since before this PR.

Green here: validate, check-linked-issue, parse-ratchet, own-language.

github-actions · 2026-10-05T22:29:54Z

PR Dashboard

Generated at: 2026-10-05 22:29:44 UTC

t27b checked: test blocks for 1 specs in specs/docs (1 of 1) #6623 t27b checked: test blocks for 1 specs in specs/docs (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 1 failing / 26 total
t27b checked: test blocks for 1 specs in specs/tools/trinity/tri (1 of 1) #6622 t27b checked: test blocks for 1 specs in specs/tools/trinity/tri (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 26 total
t27b checked: test blocks for 5 specs in specs/agents (4 of 4) #6620 t27b checked: test blocks for 5 specs in specs/agents (4 of 4) | Created: 2026-10-05 | Updated: 2026-10-05 | 2 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 / 37 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 | 6 failing / 27 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 | 20 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
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-03 | 7 failing / 32 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	39
PRs with All Checks Green	11
READY	11
FAILING	39
PENDING	0
NO CHECKS YET	0

Seal Status

⚠️ STALE -- sha256(compiler.rs)=3c78f3c7ffb7 != 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 Bot mentioned this pull request Oct 5, 2026

fix(gen-zig): a module-scoped type maps like its bare name (owner exception, #5980) #6599

Merged

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

ci: run only affected specs -- the selection rule as specs/ci/affected.t27 (Closes #6604) #6605

Merged

Merge branch 'master' into ci-derived-data-6595

ad5d240

gHashTag merged commit 56814bf into master Oct 5, 2026
25 of 27 checks passed

Navigation Menu

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#6603
gHashTag merged 2 commits into
masterfrom
ci-derived-data-6595

gHashTag commented Oct 5, 2026

Uh oh!

github-actions Bot commented Oct 5, 2026

Uh oh!

gHashTag 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

Verification (Railway t27c lab, t27c built from master a4e68ba)

Uh oh!

github-actions Bot commented Oct 5, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 5, 2026

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

Verification (Railway t27c lab, t27c built from master `a4e68ba`)