t27b: ledger rows carry the host-free verdict key; bless rewrites only rows that moved (Closes #8186) by gHashTag · Pull Request #8218 · gHashTag/t27

gHashTag · 2026-10-09T14:21:36Z

Closes #8186. Step 3 of verdict reuse, epic #8095 (t27b epic #6063). Builds on #8208 (merged).

The three rules (decided on #8186), in .t27 first

The ledger stores the host-free key. specs/tri/t27b/verdict_key.t27 adds ledger_key(spec, generated, output, runner, zig). It is the t27b: key reference verdicts by the generated code, not the t27c binary (Closes #8176) #8208 verdict key without the host part. Its own LEDGER_SCHEMA (3) means it can never equal a cache key, and a spec t27c cannot generate is keyed by a "not generated" marker, not by the t27c binary. The host stays only in the reference cache. 10 tests.
Bless rewrites a row only when its key, verdict or blocker moved. specs/tri/t27b/steward.t27 adds bless_writes. A row where nothing moved stays byte for byte.
Bless only from a source that carries keys. bless_source_ok refuses a run unless every row the reference passes carries a key, instead of guessing.
9 tests and the invariant bless_never_guesses_from_a_keyless_source. The test report gives steward 137/137 and verdict_key 10/10 (Railway lab).

Glue (generated code plus thin I/O)

t27b keys <dir> --reference <t27c> prints the ledger key per file (21 s for 1707 specs on the lab, all distinct, stable across runs).
Corpus records carry "key". On the lab, the corpus keys equal the keys output on 96 of 96 records.
The lab publishes the key per row (lab.py).
tri t27b ratchet --bless keeps unmoved rows and refuses a keyless source.

Host-free, measured

The ledger key from an aarch64 t27c (cross-built, run under qemu) is compared with the key from an x86_64 t27c on the same tree: so far 400 of 400 compared rows are equal. That is the claim that lets x86_64 lab rows bless an aarch64 CI ledger. The final count follows in a comment.

Budget

Foreign lines: blockers.rs 14, main.rs 16, lab.py 13, t27b.py 13, t27b_rules.py 2, and the test 14 once #8216 lands: 72 of 80.

Order

Draft until #8216 (the test's own-language exception, #8214) merges. Then the test commit lands here and auto-merge goes on. After this merges, the lab needs a redeploy before bless works. The first keyed bless rewrites every row once, to add the key.

🤖 Generated with Claude Code

…y rows that moved (Closes #8186) Step 3 of verdict reuse (epic #8095). verdict_key.t27 gains ledger_key, the verdict key without the host part. steward.t27 gains bless_source_ok (bless refuses a source without a key on every row the reference passes) and bless_writes (a row is rewritten only when its key, verdict or blocker moved). t27b gets a `keys` subcommand, corpus records and lab rows carry the key, and tri t27b ratchet --bless keeps unmoved rows byte for byte. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…8214) Step 3 of verdict reuse (#8186) makes bless refuse a keyless source; the test that drives it must change with the rule. Budget 40/80 still applies. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…tion' into claude/t27b-bless-by-key-2

…y-key-2

github-actions · 2026-10-09T14:51:32Z

PR Dashboard

Generated at: 2026-10-09 14:51:23 UTC

spec-guards: score on the base only what t27c frontier cannot reuse (Closes #8225) #8226 spec-guards: score on the base only what t27c frontier cannot reuse (Closes #8225) | Created: 2026-10-09 | Updated: 2026-10-09 | 23 failing / 24 total
t27core: L3 and L4 as t27c runs them, and under strict_laws as the constitution states them (Closes #8103) #8224 t27core: L3 and L4 as t27c runs them, and under strict_laws as the constitution states them (Closes #8103) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
proofs: drop the Lean models of the 22 spec stubs #8054 deleted (Closes #8222) #8223 proofs: drop the Lean models of the 22 spec stubs #8054 deleted (Closes #8222) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 31 total
specs(crons): real tests for 13 cron cards, launchd, t27 and trinity (Closes #8220) #8221 specs(crons): real tests for 13 cron cards, launchd, t27 and trinity (Closes #8220) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 30 total
t27b ledger: five pass specs get a row, cap stays 21 (Closes #8215) #8219 t27b ledger: five pass specs get a row, cap stays 21 (Closes #8215) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 29 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 | 15 failing / 36 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 | 8 failing / 35 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 | 3 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 (Refs #8095) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 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 | 1 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 | 5 failing / 32 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 | 3 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 | 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 | 27 failing / 29 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 | 29 failing / 37 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 | 17 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 | 6 failing / 62 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 | 7 failing / 32 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
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 | 29 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 | 3 failing / 40 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 / 42 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/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 | 3 failing / 42 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 | 3 failing / 42 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

Summary

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

These columns do not partition: 0 + 45 + 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)=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).

gHashTag · 2026-10-10T10:59:56Z

Parking this branch under the 2026-10-09 foreign-budget shrink rule (hand-written non-t27 line count may not grow; no exception and no label lifts it -- specs/policy/own_language.t27). Not closing: the work is blocked, not dead.

Why the base is unusable as-is: the two-dot diff vs master is ~1495 files of unrelated working-tree noise (inherited Pair type reds, stray specs) -- the poisoned-branch disease of 2026-10-09. The real commits are 08de493a2 (LEDGER_SCHEMA=3 host-free verdict key across specs/tri/t27b/verdict_key.t27 + gen + bless-by-key logic in scripts/tri_loop/t27b.py) and a55554b88 (foreign-exceptions entry, closes #8214).

Clean rebuild attempt (branch claude/t27b-bless-by-key-3 from fresh master 1830512a2): the spec applies cleanly (its base is byte-identical to master), only the seal conflicts -- and then the lefthook foreign-budget gate refuses the commit:

glue net growth: cli/t27b/src/blockers.rs +14/-4, cli/t27b/src/main.rs +16/-0, contrib/railway/t27b-lab/lab.py +13/-0, scripts/tri_loop/t27b.py +13/-6, scripts/tri_loop/t27b_rules.py +2/-0 -- +48 net hand-written foreign lines
per-file cap (16 <= 40) and PR budget (58 <= 80) pass; only the shrink clause fails, and it postdates commit 08de493a2 by ~1h45m (rule landed in policy: hand-written code in any language but t27 may only shrink (Closes #8227) #8236)
a55554b88 additionally needs the owner-only owner-approved-foreign label -- the same gate that keeps policy: list the t27b bless test as an own-language exception (Closes #8214) #8216 red right now

Unblock paths (either one):

Pair the rebuild with a port of >= 48 hand-written foreign lines to .t27 in the same diff -- the rule's prescribed remedy. Nothing in the bless domain is big enough to port (observed/ledger_counts/honest/anomalies are already spec-driven plumbing), so the port has to come from elsewhere in cli/t27b or scripts/tri_loop.
Owner decision to waive for this glue.

Preserved state: the fully-resolved cherry-pick is staged in steward worktree blesskey3-20261010T0912 (bless-by-key-rebuild-resolved.patch + the commit message next to it). Seals for both verdict_key.t27 and steward.t27 need lab regen before any push. Refs #8186.

gHashTag and others added 4 commits October 9, 2026 21:00

Merge remote-tracking branch 'origin/claude/t27b-bless-key-test-excep…

1e9de30

…tion' into claude/t27b-bless-by-key-2

Merge remote-tracking branch 'origin/master' into claude/t27b-bless-b…

fd68af5

…y-key-2

This was referenced Oct 9, 2026

t27b ledger: five pass specs get a row, cap stays 21 (Closes #8215) #8219

Merged

t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086

Merged

gHashTag mentioned this pull request Oct 9, 2026

policy: hand-written code in any language but t27 may only shrink -- check_budget denies a net gain #8227

Closed

Navigation Menu

Repository navigation

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)#8218
gHashTag wants to merge 4 commits into
masterfrom
claude/t27b-bless-by-key-2

gHashTag commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

gHashTag commented Oct 10, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 9, 2026

The three rules (decided on #8186), in .t27 first

Glue (generated code plus thin I/O)

Host-free, measured

Budget

Order

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 10, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant