Skip to content

Commit b0d77b5

Browse files
Dmitrii Vasilevclaude
andcommitted
fix(seals): remove stale fpga_Stdlib.json + Stdlib.json, add coder_igla-coder-prm.json
- Duplicate Stdlib module fixed in prior commit (bebbd42); clean up orphaned seal files. - Add missing seal for specs/igla/coder/prm.t27. - Verify suite: 546/546 PASS, 0 failures. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
1 parent bebbd42 commit b0d77b5

4 files changed

Lines changed: 15 additions & 22 deletions

File tree

.trinity/current_task/activity.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -580,3 +580,7 @@
580580
- **Commit:** docs: Wave Loop 28 Report — #1181 permanent fix, 6 batch closures, stable competitors
581581
- **Files:** .trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,.trinity/seals/fpga_FpgaStdlib.json,.trinity/seals/testbench_Stdlib_Testbench.json,README.md,cli/tri/src/main.rs,docs/COMPETITIVE_POSITIONING_IGLA.md,docs/WAVE_LOOP_REPORT_2026_06_17_ITER14_LOOP13.md,specs/fpga/stdlib.t27,specs/fpga/testbench/stdlib_tb.t27,specs/igla/coder/prm.t27
582582

583+
## 2026-06-16T19:27:47Z — trinity-rust-rings
584+
- **Commit:** feat(igla): Loop 13 — zero production panic vectors, PRM spec, June 2026 intel
585+
- **Files:** .trinity/seals/Stdlib.json,.trinity/seals/coder_igla-coder-prm.json,.trinity/seals/fpga_Stdlib.json
586+

.trinity/seals/Stdlib.json

Lines changed: 0 additions & 11 deletions
This file was deleted.
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:c6d9691c1b6ed50455245ea5178b99be287c8625d7c9b1de9769c3959bf8ff60",
3+
"gen_hash_rust": "sha256:4d662018b68a0a0538f16a3bf676a6310ee2e547f2a9e0b479caa365d57129dc",
4+
"gen_hash_verilog": "sha256:c21f1929c745a02d5283e2bca113532c15fc021f7dabb5c9fd25b34870375301",
5+
"gen_hash_zig": "sha256:ed9cbe3238bdb2ade56bd06bf6eb83018fa0eae376aa74f8d6834f32ed7a65a5",
6+
"module": "igla-coder-prm",
7+
"ring": 12,
8+
"sealed_at": "2026-06-16T19:26:07Z",
9+
"spec_hash": "sha256:c72e5a04d7396a040d53c7532ce5fe3d8d6717867056603df3310b1e44b6dd4d",
10+
"spec_path": "specs/igla/coder/prm.t27"
11+
}

.trinity/seals/fpga_Stdlib.json

Lines changed: 0 additions & 11 deletions
This file was deleted.

0 commit comments

Comments
 (0)