test(specs): exact encodings and non-P cases so constant bodies fail (Closes #7575) by dmitrii-f-t27 · Pull Request #7583 · gHashTag/t27

dmitrii-f-t27 · 2026-10-07T17:16:42Z

Three functions passed their own tests with a constant body. Only tests change; function bodies are untouched.

What changes

specs/fpga/assembler.t27: tests encode_r_type and encode_i_type asserted > 0. They now assert the exact words: r_instruction(1, 5, 6, 7) -> 78002176, i_instruction(2, 5, 6, 42) -> 145096746 (the arithmetic is in a comment above each test).
specs/ternary/gft_mlp2.t27: both tests expected P(2). Added all_neg_out (expects N, 0) and cancel (expects Z, 1).
.trinity/seals/fpga_Assembler.json, its twin Assembler.json, and ternary_GftMlp2.json: regenerated with t27c seal --save, using the t27c built from this tree (cargo build --release -p t27c at the PR commit). Only spec_hash, gen_hash_c and gen_hash_zig move (tests are emitted into C and Zig); Rust and Verilog hashes are unchanged.
conformance/fpga_assembler.json: the two case descriptions name the exact words. Prose only; the vector-data census is unchanged.

Checks (local, t27c built from this tree, Zig 0.16.0)

check	result
`t27c test-report specs/fpga/assembler.t27`	tests 19, pass 19, FAIL 0
`t27c test-report specs/ternary/gft_mlp2.t27`	tests 4, pass 4, FAIL 0
`t27c parse-complete --show` on both specs	nothing discarded
`t27c seal <spec> --verify` on both specs	all hashes MATCH (both matched on master before the edit)
`tools/ci/check_specs_still_parse.py --base origin/master --head HEAD`	2 changed, 0 newly unparseable
`tools/check_json_parses.py`	OK, 2299 files
`tools/check_vector_data.py`, `check_assertionless_spec_tests.py`, `check_seal_coverage.py`	OK
`tools/check_seal_currency.py`	STALE generated-code hash: 0

Constant-body probe (body replaced by return <c>;, then test-report):

function	original	`return 0;`	`return 1;`	`return 2;`
encode_r_type	pass 19/19	fail 18/19	fail 18/19	fail 18/19
encode_i_type	pass 19/19	fail 18/19	fail 18/19	fail 18/19
gft_mlp2 on_comb	pass 4/4	fail 1/4	fail 1/4	fail 2/4

On master the same probe passes return 1; and return 2; for both encoders (19/19) and return 2; for on_comb (2/2).

Not covered here

tools/dupe_scan.py reports five groups (bytes32_eq, bytes64_eq, nibble, price_tokens, run_die_level_with) in specs this PR does not touch.
specs/fpga/formal.t27 (is_posedge) was also flagged during the bench run, but the whole spec is blocked_compile with this t27c, so its tests could not be judged; left out of this PR.

🤖 Generated with Claude Code

…loses #7575) encode_r_type and encode_i_type in specs/fpga/assembler.t27 were tested only for `> 0`, so `return 1;` passed 19/19. They now assert the exact words 78002176 and 145096746. on_comb in specs/ternary/gft_mlp2.t27 had two tests, both expecting P(2), so `return 2;` passed; two tests now expect N(0) and Z(1). Function bodies are unchanged. The three seal files are regenerated with the t27c built from this tree; the conformance descriptions name the exact words. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

dmitrii-f-t27 · 2026-10-07T18:09:58Z

t27b-native-ratchet is red here for a reason inherited from master, not from this PR.

This PR's run (450923f): https://github.com/gHashTag/t27/actions/runs/37657826533 — red -- run 450923f93 vs ledger b94f48659: UNEXPECTED FAILURE 0, UNEXPECTED PASS 2, UNLISTED 13, STALE 0, OVER CAP 0, BAD REASON 0, MOVED 2.
The base commit's run (76a9de9 on master): https://github.com/gHashTag/t27/actions/runs/37655433974 — the same verdict and the same 17 rows (weight_bram, fuzz, zig_field_syntax, gen_canvas, and 13 UNLISTED specs).
None of the rows names a spec this PR touches (specs/fpga/assembler.t27, specs/ternary/gft_mlp2.t27).

Needed action, outside this PR: re-bless the t27b ledger on master (tri t27b ratchet against a fresh run). The check is not in the required set (validate, check-linked-issue, parse-ratchet).

github-actions · 2026-10-07T20:12:26Z

PR Dashboard

Generated at: 2026-10-07 20:12:16 UTC

chore(release): t27c 0.5.0 -- the Verified Compute tool chain reaches the registry (Closes #7602) #7603 chore(release): t27c 0.5.0 -- the Verified Compute tool chain reaches the registry (Closes #7602) | Created: 2026-10-07 | Updated: 2026-10-07 | 28 failing / 31 total
verified: t27c run-record reports independence across dies, from independence.t27 -- R3-3 tool half (Closes #7600) #7601 verified: t27c run-record reports independence across dies, from independence.t27 -- R3-3 tool half (Closes #7600) | Created: 2026-10-07 | Updated: 2026-10-07 | 29 failing / 32 total
theory(sieve): re-read the t27c and t27b cells after T741's fix issues closed, 11 FALSE -> 7 (Closes #7597) #7599 theory(sieve): re-read the t27c and t27b cells after T741's fix issues closed, 11 FALSE -> 7 (Closes #7597) | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
verified: the R3-2 live run is citable -- ternary_link re-sealed with built_by, three signed receipts naming die 050d58218fd9854 (Closes #7452) #7598 verified: the R3-2 live run is citable -- ternary_link re-sealed with built_by, three signed receipts naming die 050d58218fd9854 (Closes #7452) | Created: 2026-10-07 | Updated: 2026-10-07 | 23 failing / 24 total
verified: t27c signs, verifies and hashes with the .t27 crypto; ed25519-dalek and sha2 leave the build (Refs #7332) #7594 verified: t27c signs, verifies and hashes with the .t27 crypto; ed25519-dalek and sha2 leave the build (Refs #7332) | Created: 2026-10-07 | Updated: 2026-10-07 | 29 failing / 32 total
docs(skills): the .agents/ copies and t27/wave-audit open with the Only-t27 rule (Closes #7592) #7593 docs(skills): the .agents/ copies and t27/wave-audit open with the Only-t27 rule (Closes #7592) | Created: 2026-10-07 | Updated: 2026-10-07 | 22 failing / 23 total
crm-first-screen v1: the CRM work tab opens on the first person waiting (Closes #7590) #7591 crm-first-screen v1: the CRM work tab opens on the first person waiting (Closes #7590) | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
docs(skills): every skill opens with the Only-t27 rule (Closes #7588) #7589 docs(skills): every skill opens with the Only-t27 rule (Closes #7588) | Created: 2026-10-07 | Updated: 2026-10-07 | 23 failing / 25 total
verified: signed t27b corpus receipts and a base-vs-head compare (Closes #7576) #7587 verified: signed t27b corpus receipts and a base-vs-head compare (Closes #7576) | Created: 2026-10-07 | Updated: 2026-10-07 | 30 failing / 33 total
fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) #7586 fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) | Created: 2026-10-07 | Updated: 2026-10-07 | 18 failing / 31 total
tools: ledger the five helper bodies copied today (Refs #6831) #7584 tools: ledger the five helper bodies copied today (Refs #6831) | Created: 2026-10-07 | Updated: 2026-10-07 | 6 failing / 23 total
test(specs): exact encodings and non-P cases so constant bodies fail (Closes #7575) #7583 test(specs): exact encodings and non-P cases so constant bodies fail (Closes #7575) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 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 | 8 failing / 29 total
fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) #7579 fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) | Created: 2026-10-07 | Updated: 2026-10-07 | 11 failing / 35 total
port: scripts/gen_w635.py as specs/port/scripts/gen_w635.t27 (Closes #7026) #7574 port: scripts/gen_w635.py as specs/port/scripts/gen_w635.t27 (Closes #7026) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 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
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-07 | 13 failing / 37 total
t27b: bitmask_imm, logic_imm and mov_imm come from specs/tri/t27b/a64.t27 (Closes #7549) #7564 t27b: bitmask_imm, logic_imm and mov_imm come from specs/tri/t27b/a64.t27 (Closes #7549) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 32 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
t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) #7530 t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) | Created: 2026-10-07 | Updated: 2026-10-07 | 9 failing / 38 total
spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things #7496 spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things | Created: 2026-10-07 | Updated: 2026-10-07 | 8 failing / 30 total
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-07 | 6 failing / 47 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 40 total
specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) #7490 specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 40 total
t27b: module vars that hold a string or start undefined (Closes #7448) #7470 t27b: module vars that hold a string or start undefined (Closes #7448) | Created: 2026-10-07 | Updated: 2026-10-07 | 8 failing / 43 total
t27b: a run-time @log calls compiler_rt log written in t27 (Closes #7217) #7466 t27b: a run-time @log calls compiler_rt log written in t27 (Closes #7217) | Created: 2026-10-07 | Updated: 2026-10-07 | 1 failing / 2 total
t27b: @setEvalBranchQuota is a compile-time no-op, 823 -> 825 (Closes #7410) #7459 t27b: @setEvalBranchQuota is a compile-time no-op, 823 -> 825 (Closes #7410) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 48 total
t27b: a test local named for a module var (Closes #7668) #7447 t27b: a test local named for a module var, and a test that writes a local it declared (Closes #7422) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 44 total
t27b: integer constants wider than 64 bits, folded at compile time (Closes #7423) #7440 t27b: integer constants wider than 64 bits, folded at compile time (Closes #7423) | Created: 2026-10-07 | Updated: 2026-10-07 | 35 failing / 40 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 total
t27b: a run-time @exp calls compiler_rt's exp written in t27 (Closes #7391) #7426 t27b: a run-time @exp calls compiler_rt's exp written in t27 (Closes #7391) | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 41 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
specs: layernorm, wrapup-auto and ternary_mac_synth test what they claim (Closes #7404) #7418 specs: layernorm, wrapup-auto and ternary_mac_synth test what they claim (Closes #7404) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 38 total
t27b: @intCast with an integer result type is a checked cast; gen_fuzz passes (Closes #7412) #7417 t27b: @intCast with an integer result type is a checked cast; gen_fuzz passes (Closes #7412) | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 3 total
specs(trios-mesh packet): serialise takes a slice, as the source's buffer has a length (Closes #7413) #7414 specs(trios-mesh packet): serialise takes a slice, as the source's buffer has a length (Closes #7413) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 38 total
t27b: @abs, @max, @min and std.math.pi lower; dqn and string_dualities pass (Closes #7394) #7411 t27b: @abs, @max, @min and std.math.pi lower; dqn and string_dualities pass (Closes #7394) | Created: 2026-10-07 | Updated: 2026-10-07 | 13 failing / 41 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 1 total
t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) #7331 t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 41 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 30 total

Summary

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

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

Seal Status

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

dmitrii-f-t27 · 2026-10-07T20:14:57Z

duplicate-bodies is also inherited from master, not from this PR.

python3 tools/dupe_scan.py on the base commit 76a9de9 prints the same five errors as this PR's run (https://github.com/gHashTag/t27/actions/runs/37657826580): groups bytes32_eq, bytes64_eq, nibble, price_tokens, run_die_level_with. They live in specs/tri/crypto/*.t27, specs/automation/token-wallet.t27 and specs/verified/die_binding.t27, which this PR does not touch; the last green duplicate-bodies run on master is from 2026-10-06. Needed action, outside this PR: reuse the bodies or python3 tools/dupe_scan.py --bless on master. The check is not in the required set.

dmitrii-f-t27 requested a review from gHashTag as a code owner October 7, 2026 17:16

dmitrii-f-t27 enabled auto-merge (squash) October 7, 2026 18:01

This was referenced Oct 7, 2026

Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/gateway.ts (TypeScript, 3 functions) to specs/por #6795

Open

Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) #6823

Open

dmitrii-f-t27 merged commit f751d75 into master Oct 7, 2026
33 of 35 checks passed

Navigation Menu

Repository navigation

test(specs): exact encodings and non-P cases so constant bodies fail (Closes #7575) - #7583

test(specs): exact encodings and non-P cases so constant bodies fail (Closes #7575)#7583
dmitrii-f-t27 merged 1 commit into
masterfrom
fix/7575-constant-tests

dmitrii-f-t27 commented Oct 7, 2026

Uh oh!

dmitrii-f-t27 commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

dmitrii-f-t27 commented Oct 7, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

dmitrii-f-t27 commented Oct 7, 2026

What changes

Checks (local, t27c built from this tree, Zig 0.16.0)

Not covered here

Uh oh!

dmitrii-f-t27 commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

dmitrii-f-t27 commented Oct 7, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant