[gHashTag]

The b_ev evidence flags (EV_PR) for bindings 10-11 (the t27os-lab receipt key + the first K_SIGNING_KEY): the rows were half-filled (b_pr/b_pr_author/b_commit landed, b_ev stayed 0) — the every-fact walk refused. Now: 6/6 tests green. The scratch probes (t27b run) confirm binding_valid(10) and (11) true.

phi^2 + 1/phi^2 = 3 | TRINITY

[github-actions]

PR Dashboard

Generated at: 2026-10-23 17:45:09 UTC

• identity: b_ev flags for the t27os-lab rows -- the table half complete (refs #11850, #11789) #11865 identity: b_ev flags for the t27os-lab rows -- the table half complete (refs #11850, #11789) | Created: 2026-10-23 | Updated: 2026-10-23 | 15 failing / 29 total
• fpga: wasm_module -- the wasm binary container law: LEB128, header, section walk (refs #11781) #11864 fpga: wasm_module -- the wasm binary container law: LEB128, header, section walk (refs #11781) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 35 total
• spec(t27os): labs receipt_verdict -- an omitted, BLOCKED, failed or vacuous spec makes the receipt red (Refs t27os#9) #11863 spec(t27os): labs receipt_verdict -- an omitted, BLOCKED, failed or vacuous spec makes the receipt red (Refs t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 29 total
• spec(t27os): the settle bridge lands -- labs.t27's SETTLE step wires bridge_pay (Closes #11858, refs #11789) #11861 spec(t27os): the settle bridge lands -- labs.t27's SETTLE step wires bridge_pay (Closes #11858, refs #11789) | Created: 2026-10-23 | Updated: 2026-10-23 | 5 failing / 29 total
• spec(t27f): measure_live -- the M3 60 fps measurement law (refs #10262, #11781) #11857 spec(t27f): measure_live -- the M3 60 fps measurement law (refs #10262, #11781) | Created: 2026-10-23 | Updated: 2026-10-23 | 5 failing / 29 total
• fix(gates): re-seal 3 seals after the port wave (Refs #11038) #11856 fix(gates): re-seal 3 seals after the port wave (Refs #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 4 failing / 24 total
• queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-23 | 15 failing / 37 total
• t27c coverage: normalise qualified calls (Closes #11808) #11809 t27c coverage: normalise qualified calls (Closes #11808) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 total
• t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 total
• fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 37 total
• lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 37 total
• tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-23 | 10 failing / 33 total
• gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-23 | 12 failing / 40 total
• tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 32 total
• spec(automation): service_ledger v3 -- one door settle_service for the money path #11791 spec(automation): service_ledger v3 -- one door settle_service for the money path | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 29 total
• t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
• ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
• dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
• tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
• gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
• check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total
• spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total
• gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-23 | 15 failing / 38 total
• A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-23 | 12 failing / 38 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-23 | 9 failing / 29 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-23 | 10 failing / 29 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-23 | 8 failing / 29 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-23 | 17 failing / 69 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-23 | 18 failing / 81 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-23 | 18 failing / 81 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-23 | 17 failing / 69 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-23 | 17 failing / 69 total

Summary

Status	Count
Total Open PRs	32
PRs with Failing Checks	29
PRs with All Checks Green	3
READY	3
FAILING	29
PENDING	0
NO CHECKS YET	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != 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).