specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) by gHashTag · Pull Request #8177 · gHashTag/t27

gHashTag · 2026-10-09T11:40:06Z

Closes #8303.

Taken over on 2026-10-09 (an idle draft since 13:15Z): merged current master, resealed specs/base/types.t27 as seal v2 (66 of 66, 0 vacuous), and all three seal files naming it carry the same v2 record. That clears the stale-seal failures in coverage and spec-guards.

Refs #4817
Refs #8095

Owner decision 2026-10-09: the packed format is 4 trits per byte (2 bits per trit in a u8).

specs/base/types.t27 did not compile: pack_position_bounds still asserted TRITS_PER_BYTE == 8 while the constant is 4. Nearly every spec imports it, so under t27c frontier (#8110) about 405 specs could never be REUSE.

This PR makes the module compile and fixes the bugs that compiling exposed:

the invariant and test_pack_trit_all_positions now use positions 0..3;
ternary_word_unpack returned a slice of a local array and indexed the trit within its byte with i instead of i % 4. It now writes into the caller's buffer and returns the count. No other spec calls it;
array literals that the codegen lowers to anonymous tuples ([_]Trit{...} becomes .{...}) are written as typed arrays filled in a loop. That codegen bug deserves its own issue.

t27c test-report: BLOCKED -> 40 pass, 27 fail, 0 vacuous.

Draft, because 27 tests still fail. Their tables and their bodies disagree:

trit_and and trit_or: the tests expect Kleene min and max, but the bodies are not.
trit_xor: neither side is a standard function.
packed_trit_*: the helpers have the same mismatch.

Choosing which side is right is a semantics decision; it is not made here.

🤖 Generated with Claude Code

Owner decision 2026-10-09: TRITS_PER_BYTE is 4 (2 bits per trit in a u8). - pack_position_bounds asserted TRITS_PER_BYTE == 8, so the module never compiled and every importer had no verdict (about 405 specs under t27c frontier, #8095). - test_pack_trit_all_positions walked positions 0..8; now 0..4. - ternary_word_unpack returned a slice of a local array and indexed the trit inside its byte with i instead of i % 4; it now writes into the caller's buffer and returns the count. No other spec calls it. - array literals the codegen lowers to anonymous tuples are written as typed arrays filled in a loop. test-report: BLOCKED -> 40 pass, 27 fail, 0 vacuous. The 27 failures are the truth tables of trit_and/or/xor and the packed_trit_* helpers, whose tests and bodies disagree; that is the next decision. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T12:56:29Z

PR Dashboard

Generated at: 2026-10-09 12:56:20 UTC

Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ #8187 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: print how many reference verdicts the cache reused (Closes #8184) #8185 t27b: print how many reference verdicts the cache reused (Closes #8184) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) #8183 t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182 theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 29 total
theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) #8181 theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(agent-provider-chain): v3 -- a Kie route right after zai #8180 spec(agent-provider-chain): v3 -- a Kie route right after zai | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) #8177 specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) | Created: 2026-10-09 | Updated: 2026-10-09 | 16 failing / 29 total
t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) #8174 t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 3 total
t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) #8173 t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) | Created: 2026-10-09 | Updated: 2026-10-09 | 24 failing / 27 total
policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) #8172 policy: list the t27b verdict-key glue files as own-language exceptions (Closes #8171) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 26 total
port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) #8169 port: scripts/gen_w662.py as specs/port/scripts/gen_w662.t27 (Closes #8160) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
t27b checked: test blocks for 4 specs in specs/functions (1 of 1) #8168 t27b checked: test blocks for 4 specs in specs/functions (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) #8167 t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) | Created: 2026-10-09 | Updated: 2026-10-09 | 10 failing / 37 total
t27core: values known at compile time fit their types, in Zig and in C (Closes #8100) #8159 t27core: values known at compile time fit their types, in Zig and in C (Closes #8100) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 38 total
specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) #8158 specs(crons): real tests for 13 cron cards, 999-multibots-telegraf and railway (Closes #8157) | Created: 2026-10-09 | Updated: 2026-10-09 | 28 failing / 34 total
verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) #8155 verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 total
gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) #8154 gen-verilog: hold a module-level array of structs as a memory; t27core leaves the width ledger (Closes #8151) | Created: 2026-10-09 | Updated: 2026-10-09 | 10 failing / 38 total
t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) #8152 t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 34 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 31 failing / 34 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 31 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086 t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 42 total
t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) #8078 t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 38 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 35 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 32 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 33 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 35 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 7 failing / 35 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 7 failing / 35 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=3c0ade9e73e4 != 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).

Owner decision 2026-10-09: balanced ternary logic. - trit_and/or are Kleene min/max; trit_xor is -(a * b); XNOR negates it. - pack_trit: the codegen drops the parens of ~(x << n) (#6549), so the shifted field is named first. This was the root of most failures. - packed_trit_shift_right moves i to i - shift, as rotate_right does. - ternary_word_negate starts from a zeroed word, not undefined bytes. - tests written for 8 trits per byte now use positions 0..3. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T13:31:04Z

PR Dashboard

Generated at: 2026-10-09 13:30:56 UTC

math/constants: compile again and pass 36 of 36, seal v2 (Closes #8301) #8209 math/constants: compile again and pass 36 of 36 (Refs #8095) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 28 total
t27b: key reference verdicts by the generated code, not the t27c binary (Closes #8176) #8208 t27b: key reference verdicts by the generated code, not the t27c binary (Closes #8176) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ #8187 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-01/src/key_package_expiry_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: print how many reference verdicts the cache reused (Closes #8184) #8185 t27b: print how many reference verdicts the cache reused (Closes #8184) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 36 total
t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) #8183 t27c silicon-queue and the reseal guard: wire silicon_queue.t27 (Closes #8147) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 38 total
theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) #8182 theory(sieve): C6 warmup measured, C7 speed and quality published (Closes #7596) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 35 total
theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) #8181 theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
spec(agent-provider-chain): v3 -- a Kie route right after zai #8180 spec(agent-provider-chain): v3 -- a Kie route right after zai | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) #8177 specs/base/types.t27: compile again at 4 trits per byte (Refs #4817) | Created: 2026-10-09 | Updated: 2026-10-09 | 19 failing / 28 total
t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) #8174 t27b: an array literal of strings for a slice field or a returned slice is a static written at every entry (Closes #7833, Closes #8091) | Created: 2026-10-09 | Updated: 2026-10-09 | 0 failing / 3 total
t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) #8173 t27b ledger: bless lab run a97cb9e55, 14 unlisted pass rows, cap 26 -> 25 (Closes #8170) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 28 total
t27b checked: test blocks for 4 specs in specs/functions (1 of 1) #8168 t27b checked: test blocks for 4 specs in specs/functions (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) #8167 t27b: std.math.pow of an f32 calls a t27 port of Zig's pow.zig, and gf16.t27 passes (Closes #7823) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 38 total
verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) #8155 verified: an agent next to each board -- bench_agent.t27 and t27c bench-agent (Closes #8153) | Created: 2026-10-09 | Updated: 2026-10-09 | 10 failing / 39 total
t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) #8152 t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 39 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 11 failing / 42 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 31 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086 t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 42 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 40 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 30 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 38 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 41 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 8 failing / 40 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 8 failing / 40 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	46
PRs with All Checks Green	4
READY	1
FAILING	46
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 46 + 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)=3c0ade9e73e4 != 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).

…8303) Takes over #8177, which had been an idle draft since 13:15Z: merges current master and reseals specs/base/types.t27 as v2 (66 of 66 tests pass, 0 vacuous). Its three seal files (BaseTypes, base_tritype-base, tritype-base) carry the same v2 record. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T19:40:58Z

PR Dashboard

Generated at: 2026-10-09 19:40:49 UTC

spec(trinet): tri-bridge v1 -- TRI on every chain, TON the chain of record, lock-and-mint #8304 spec(trinet): tri-bridge v1 -- TRI on every chain, TON the chain of record, lock-and-mint | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 28 total
spec automation/ci-bridge: which PR heads run on Railway, how the verdict is marked #8300 spec automation/ci-bridge: which PR heads run on Railway, how the verdict is marked | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 28 total
t27c silicon reuses its bitstream; a ported script pays for the glue (Closes #8295) #8296 t27c silicon reuses its bitstream; math_compare's Pell code moves to t27 (Closes #8295) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 38 total
t27b: the body walks of lower.rs move to specs/tri/t27b/ast_walk.t27 (Closes #8249) #8258 t27b: the body walks of lower.rs move to specs/tri/t27b/ast_walk.t27 (Closes #8249) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 41 total
t27b: ledger rows carry the host-free verdict key; bless rewrites only rows that moved (Closes #8186) #8218 t27b: ledger rows carry the host-free verdict key; bless rewrites only rows that moved (Closes #8186) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 39 total
specs: bench bodies Zig never type-checks (8 specs reject once referenced) #8217 specs: bench bodies Zig never type-checks (8 specs reject once referenced) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 37 total
policy: list the t27b bless test as an own-language exception (Closes #8214) #8216 policy: list the t27b bless test as an own-language exception (Closes #8214) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 24 total
math/constants: compile again and pass 36 of 36, seal v2 (Closes #8301) #8209 math/constants: compile again and pass 36 of 36, seal v2 (Closes #8301) | Created: 2026-10-09 | Updated: 2026-10-09 | 20 failing / 33 total
theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) #8181 theory(sieve): C9 measured, t27b builds bit-identical, t27c carries git abbrev and CARGO_HOME (Closes #8148) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 32 total
specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) #8177 specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) | Created: 2026-10-09 | Updated: 2026-10-09 | 28 failing / 32 total
t27b checked: test blocks for 4 specs in specs/functions (1 of 1) #8168 t27b checked: test blocks for 4 specs in specs/functions (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 62 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 41 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 8 failing / 37 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 41 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total

Summary

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

These columns do not partition: 0 + 47 + 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)=557cd271f4e3 != 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).

…loses #8371) (#8372) After the hubs (#8177, #8209) every spec that imported them compiles again. t27c seal --save ran on the 1203 specs missing a v2 seal: - 31 were refused (failing tests); - of the 1172 written, only v2 seals with 0 failed tests and at least one test were kept; - blocked and zero-test seals were reverted (#8354). 727 specs remain, and each one's twin seal files carry the same record. t27c frontier on this branch: 1109 of 1743 reused (636 permille), up from 424 (243 permille) on master; closure 73, missing 520. Co-authored-by: Claude <claude@anthropic.com> Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag mentioned this pull request Oct 9, 2026

specs/base/types.t27 does not compile, so 340 specs rebuild on closure (#8095) #8303

Closed

gHashTag changed the title ~~specs/base/types.t27: compile again at 4 trits per byte (Refs #4817)~~ specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) Oct 9, 2026

gHashTag marked this pull request as ready for review October 9, 2026 19:39

gHashTag enabled auto-merge (squash) October 9, 2026 19:39

This was referenced Oct 9, 2026

course-outreach v3: daily and weekly send cap per network #8308

Open

spec(trinet): tri-bridge v1 -- TRI on every chain, TON the chain of record, lock-and-mint #8304

Merged

gHashTag merged commit b813cca into master Oct 9, 2026
30 of 33 checks passed

gHashTag mentioned this pull request Oct 9, 2026

spec(queen): the actor runtime's decision log as a three-way conformance spec (Closes #8313) #8317

Merged

Navigation Menu

Repository navigation

specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303) - #8177

specs/base/types.t27: compile again at 4 trits per byte, seal v2 (Closes #8303)#8177
gHashTag merged 3 commits into
masterfrom
claude/types-4-trits-4817

gHashTag commented Oct 9, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

gHashTag commented Oct 9, 2026 •

edited

Loading