fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) by gHashTag · Pull Request #6852 · gHashTag/t27

gHashTag · 2026-10-06T13:46:31Z

Three seals minted in #6789's agent worktree commit spec_path with an absolute /Users/playra/.../agent-worktree/... path. That fails the devhome scan on master and classifies the seals as phantom in seal coverage (root / spec_path with an absolute path names nothing on a runner).

Rewritten to repository-relative. Verified before committing: each relative spec exists on master and its sha256 equals the seal's recorded spec_hash -- only the location field was machine-specific, every other claim is unchanged.

Closes #6849

🤖 Generated with Claude Code

…ls (Closes #6849) isa_T27a, isa_Tri27Encoding and theory_CompilerTheoryIsaRoundTrip were minted in an agent worktree and committed spec_path as an absolute /Users/playra/t27/.claude/worktrees/agent-a008408b9580a5586/... path, which fails the devhome gate on master and reads as phantom to tools/check_seal_coverage.py (root / absolute never exists on a runner). Each relative path exists on master and sha256-matches the seal's spec_hash, so no other claim in the seal changes. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-10-06T13:58:58Z

PR Dashboard

Generated at: 2026-10-06 13:58:49 UTC

Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) #6863 Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 26 total
feat(t27c): t27c asm / t27c disasm run specs/isa/t27a.t27 through gen-rust (Closes #6507) #6862 feat(t27c): t27c asm / t27c disasm run specs/isa/t27a.t27 through gen-rust (Closes #6507) | Created: 2026-10-06 | Updated: 2026-10-06 | 30 failing / 31 total
fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) #6861 fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Oracle cluster: the following test command terminated with signal ABRT: (24 specs) #6860 Oracle cluster: the following test command terminated with signal ABRT: (24 specs) | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 26 total
The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times #6859 The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/crons (3 of 8) #6858 t27b checked: test blocks for 7 specs in specs/crons (3 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/skills (1 of 4) #6857 t27b checked: test blocks for 7 specs in specs/skills (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 25 total
Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 #6856 Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 22 failing / 25 total
Epic: every check is a .t27 card; workflows and hooks are generated from it #6855 Epic: every check is a .t27 card; workflows and hooks are generated from it | Created: 2026-10-06 | Updated: 2026-10-06 | 16 failing / 25 total
All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named #6854 All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named | Created: 2026-10-06 | Updated: 2026-10-06 | 16 failing / 26 total
Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c #6853 Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 26 total
fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) #6852 fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 25 total
Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec #6851 Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 26 total
Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat #6850 Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
feat(t27b): tri t27b fuzz -- differential fuzzer, generator and judge in t27, lab step publishes fuzz (Refs #6442) #6848 feat(t27b): tri t27b fuzz -- differential fuzzer, generator and judge in t27, lab step publishes fuzz (Refs #6442) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 30 total
fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) #6847 fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 28 total
ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) #6846 ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 2 total
theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) #6845 theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) | Created: 2026-10-06 | Updated: 2026-10-06 | 26 failing / 27 total
fix(gates): bless the three t27a round-trip fixture groups (Closes #6831) #6843 fix(gates): bless the three t27a round-trip fixture groups (Closes #6831) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 24 total
Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 #6842 Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone #6841 xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 27 total
fpga/timing_history.json holds placeholder commits #6840 fpga/timing_history.json holds placeholder commits | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) #6839 t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) #6838 t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (2 of 4) #6837 t27b checked: test blocks for 7 specs in specs/skills (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 1 specs in specs/functions (5 of 5) #6836 t27b checked: test blocks for 1 specs in specs/functions (5 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) #6835 t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) #6834 t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 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-06 | 12 failing / 37 total
feat(fpga): PoC slots a/b on silicon -- one JTAG boundary, two implementations (Closes #6829) #6832 feat(fpga): PoC slots a/b on silicon -- one JTAG boundary, two implementations (Closes #6829) | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 25 total
feat(numeric): ocp_mx.t27 -- OCP MX v1.0 and OFP8 elements, E8M0 scale, the block conversion #6828 feat(numeric): ocp_mx.t27 -- OCP MX v1.0 and OFP8 elements, E8M0 scale, the block conversion | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 29 total
fix(merger): judge red checks the bee answered for, run on the bee's label, read every bee-reviewed PR #6826 fix(merger): judge red checks the bee answered for, run on the bee's label, read every bee-reviewed PR | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 25 total
t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) #6824 t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) #6823 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ #6822 Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
gen-c: a function returning a fixed array returns the address of a stack local #6821 gen-c: a function returning a fixed array returns the address of a stack local | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
28 modules are imported by 30 specs and do not exist (found by the oracle) #6820 28 modules are imported by 30 specs and do not exist (found by the oracle) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) #6819 openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 34 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b #6818 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
A 'no competitor has' claim, a four-row table, and a survey that stopped in June #6817 A 'no competitor has' claim, a four-row table, and a survey that stopped in June | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) #6816 t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) #6815 Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (4 of 5) #6814 t27b checked: test blocks for 7 specs in specs/functions (4 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p #6813 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
union(enum) lands the last of the 31; and the converter is not losing files silently #6812 union(enum) lands the last of the 31; and the converter is not losing files silently | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 #6811 Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop #6810 Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve #6809 Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
_magsub: the sticky tie arm is the addition rule, kept harmless only by never firing #6808 _magsub: the sticky tie arm is the addition rule, kept harmless only by never firing | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 #6807 Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total

Summary

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

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

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).

gHashTag · 2026-10-06T13:59:30Z

Note: #6861 carries the identical three seal spec_path changes plus the orbitofrontal_value.t27 parse fix (the #6755 corpus-ratchet / emit-bitexact red). Either can land first; the seal hunks are byte-identical, so the second one merges clean.

github-actions · 2026-10-06T14:33:05Z

PR Dashboard

Generated at: 2026-10-06 14:32:59 UTC

fix(t27b fuzz): a host that refused the run is UNJUDGED, not T27B_BUG (Refs #6442) #6892 fix(t27b fuzz): a host that refused the run is UNJUDGED, not T27B_BUG (Refs #6442) | Created: 2026-10-06 | Updated: 2026-10-06 | 27 failing / 28 total
t27b checked: test blocks for 7 specs in specs/functions (2 of 5) #6891 t27b checked: test blocks for 7 specs in specs/functions (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/functions (3 of 5) #6890 t27b checked: test blocks for 7 specs in specs/functions (3 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) #6889 spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/agents (3 of 4) #6888 t27b checked: test blocks for 7 specs in specs/agents (3 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
spec fix: 3 specs in specs/tri/graph the reference blocks -- rewrite them in t27 (1 of 1) #6886 spec fix: 3 specs in specs/tri/graph the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trinity:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 #6885 Port gHashTag/trinity:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/agents (1 of 4) #6884 t27b checked: test blocks for 7 specs in specs/agents (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/agents (2 of 4) #6883 t27b checked: test blocks for 7 specs in specs/agents (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top #6882 Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) #6881 t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
feat(crm-story-reel): v26 the owner's own reel may name the house, every end card has a ground #6880 feat(crm-story-reel): v26 the owner's own reel may name the house, every end card has a ground | Created: 2026-10-06 | Updated: 2026-10-06 | 18 failing / 26 total
fix(t27b fuzz): FuzzRng, not Rng; bless the shell census (Refs #6442) #6879 fix(t27b fuzz): FuzzRng, not Rng; bless the shell census (Refs #6442) | Created: 2026-10-06 | Updated: 2026-10-06 | 14 failing / 27 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por #6877 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 #6876 Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 25 total
Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 #6875 Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/container-agent-runtime.ts (TypeScript, 4 #6874 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/container-agent-runtime.ts (TypeScript, 4 | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 26 total
Port gHashTag/trinity:src/tri/gen_xor_cipher.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_xor_cipher.t27 #6873 Port gHashTag/trinity:src/tri/gen_xor_cipher.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_xor_cipher.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Implement part 2 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (7 functions) #6872 Implement part 2 of 2 of the empty bodies in specs/graph/knowledge_graph.t27 (7 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (2 of 8) #6871 t27b checked: test blocks for 7 specs in specs/crons (2 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (3 of 4) #6870 t27b checked: test blocks for 7 specs in specs/skills (3 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 26 total
t27b checked: test blocks for 6 specs in specs/skills (4 of 4) #6869 t27b checked: test blocks for 6 specs in specs/skills (4 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/openclaw/acp-command.ts (TypeScript, 1 function) t #6868 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/openclaw/acp-command.ts (TypeScript, 1 function) t | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
feat(t27b): tri t27b reduce -- ddmin fixture reducer, decisions in reduce.t27 (Closes #6445) #6865 feat(t27b): tri t27b reduce -- ddmin fixture reducer, decisions in reduce.t27 (Closes #6445) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 2 total
Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) #6863 Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 27 total
fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) #6861 fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Oracle cluster: the following test command terminated with signal ABRT: (24 specs) #6860 Oracle cluster: the following test command terminated with signal ABRT: (24 specs) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 33 total
The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times #6859 The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (3 of 8) #6858 t27b checked: test blocks for 7 specs in specs/crons (3 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (1 of 4) #6857 t27b checked: test blocks for 7 specs in specs/skills (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 #6856 Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Epic: every check is a .t27 card; workflows and hooks are generated from it #6855 Epic: every check is a .t27 card; workflows and hooks are generated from it | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named #6854 All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c #6853 Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) #6852 fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 24 total
Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec #6851 Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat #6850 Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) #6847 fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 27 total
ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) #6846 ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 28 total
theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) #6845 theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 30 total
Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 #6842 Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone #6841 xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 27 total
fpga/timing_history.json holds placeholder commits #6840 fpga/timing_history.json holds placeholder commits | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) #6839 t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) #6838 t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (2 of 4) #6837 t27b checked: test blocks for 7 specs in specs/skills (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 1 specs in specs/functions (5 of 5) #6836 t27b checked: test blocks for 1 specs in specs/functions (5 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) #6835 t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) #6834 t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 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-06 | 12 failing / 37 total

Summary

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

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

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).

gHashTag · 2026-10-06T14:48:52Z

Superseded: master's #6862 resealed the same three t27a seals with repo-relative spec_path, so this diff is already on master.

Merge branch 'master' into fix/seal-paths-t27a

00b1df1

gHashTag closed this Oct 6, 2026

gHashTag added the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 6, 2026

Navigation Menu

Repository navigation

fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) - #6852

fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849)#6852
gHashTag wants to merge 2 commits into
masterfrom
fix/seal-paths-t27a

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

gHashTag commented Oct 6, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 6, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant