Port scripts/reseal-apply.sh to specs/port/scripts/reseal-apply.t27 (Closes #6649) by dmitrii-f-t27 · Pull Request #6743 · gHashTag/t27

dmitrii-f-t27 · 2026-10-06T11:20:35Z

Ports the decisions of scripts/reseal-apply.sh: preconditions (exit 3), already-fresh (exit 0), confirmation by RESEAL_YES / TTY / answer (exit 1), regeneration failure and non-fresh verification (exit 2). Hashing, file I/O, prompt and the two reseal steps stay plumbing (main is undefined, no test calls it).

Checked locally with t27c built from this tree: parse OK, spec-status IMPLEMENTED, typecheck 0 errors, gen 98 lines with 0 'not yet implemented', test-report 7/7 pass, 0 BLOCKED, coverage: only main untested.

Closes #6649

🤖 Generated with Claude Code

Ports the decisions of the explicit NMSE reseal action: preconditions (exit 3), already-fresh (exit 0), confirmation via RESEAL_YES/TTY/answer (exit 1), regeneration failure and non-fresh verification (exit 2). Closes #6649 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-06T11:38:01Z

PR Dashboard

Generated at: 2026-10-06 11:37:54 UTC

Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753 Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Implement the 6 empty function bodies in specs/numeric/formats.t27 #6752 Implement the 6 empty function bodies in specs/numeric/formats.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por #6751 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 #6750 Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749 tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 #6748 Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #6747 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 22 failing / 25 total
Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn #6746 Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn | Created: 2026-10-06 | Updated: 2026-10-06 | 18 failing / 25 total
tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) #6745 tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 18 failing / 25 total
Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 #6744 Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 25 total
Port scripts/reseal-apply.sh to specs/port/scripts/reseal-apply.t27 (Closes #6649) #6743 Port scripts/reseal-apply.sh to specs/port/scripts/reseal-apply.t27 (Closes #6649) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr #6742 Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 #6741 Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 #6740 Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 #6739 Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 #6738 Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 #6737 Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 #6736 Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 #6735 Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 #6734 Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (1 of 5) #6733 t27b checked: test blocks for 7 specs in specs/functions (1 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #6730 Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 #6729 Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 #6728 Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 #6727 Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 34 total
Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 #6726 Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 #6725 Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 #6724 Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (4 of 8) #6723 t27b checked: test blocks for 7 specs in specs/crons (4 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (5 of 8) #6722 t27b checked: test blocks for 7 specs in specs/crons (5 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (6 of 8) #6721 t27b checked: test blocks for 7 specs in specs/crons (6 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 #6718 Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) #6695 feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 37 total
fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap #6686 fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 33 total
fix(proofs): real Lean model for ar_ternary_logic, theorem = false; leave the ledger #6684 fix(proofs): real Lean model for ar_ternary_logic, theorem = false; leave the ledger | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 35 total
t27b checked: test blocks for 1 specs in specs/docs (1 of 1) #6623 t27b checked: test blocks for 1 specs in specs/docs (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 1 failing / 26 total
t27b checked: test blocks for 1 specs in specs/tools/trinity/tri (1 of 1) #6622 t27b checked: test blocks for 1 specs in specs/tools/trinity/tri (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 1 failing / 27 total
t27b checked: test blocks for 5 specs in specs/agents (4 of 4) #6620 t27b checked: test blocks for 5 specs in specs/agents (4 of 4) | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 26 total
feat(gen-ts): list skipped fns/tests in __NOT_EMITTED__; opt-in --fn lowers pure fn bodies (#6559) #6613 feat(gen-ts): list skipped fns/tests in NOT_EMITTED; opt-in --fn lowers pure fn bodies (#6559) | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 37 total
feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] #6577 feat(t27c): every gen path runs typecheck first (Closes #6446) [needs owner label] | Created: 2026-10-05 | Updated: 2026-10-05 | 7 failing / 37 total
bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 26 total
security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token #6433 security: lefthook + gitleaks secret gate (pre-commit, pre-push, CI); remove OSF token | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct #6399 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/hermes/hermes-provider-map.ts (TypeScript, 2 funct | Created: 2026-10-05 | Updated: 2026-10-05 | 3 failing / 25 total
Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 #6208 Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 #6206 Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 25 total
Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 #6205 Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total

Summary

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

These columns do not partition: 2 + 39 + 0 + 0 = 41, 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).

dmitrii-f-t27 requested a review from gHashTag as a code owner October 6, 2026 11:20

dmitrii-f-t27 merged commit 5bad205 into master Oct 6, 2026
25 of 26 checks passed

github-actions Bot mentioned this pull request Oct 6, 2026

tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749

Merged

Navigation Menu

Repository navigation

Port scripts/reseal-apply.sh to specs/port/scripts/reseal-apply.t27 (Closes #6649) - #6743

Port scripts/reseal-apply.sh to specs/port/scripts/reseal-apply.t27 (Closes #6649)#6743
dmitrii-f-t27 merged 1 commit into
masterfrom
port-reseal-apply

dmitrii-f-t27 commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

dmitrii-f-t27 commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant