gHashTag · gHashTag · Jul 4, 2026 · Jul 4, 2026
@@ -11,7 +11,9 @@
 | Relay / power switch + cable | Variant B |
 | Nothing | Variant C |
 
-Current state (2026-07-01): **nothing** — P12 unwired, DLC10 cable missing. Default to **Variant C** unless the bench state changes at the start of the wave.
+Current state (2026-07-01): **nothing** — P12 unwired, DLC10 cable missing, no USB relay detected. Confirmed by `dlc10 idcode` (`VID=0x03FD` not found) and `system_profiler SPUSBDataType` (no FTDI/relay/serial signatures). Default to **Variant C** for W415.
+
+Execution status: **Variant C completed**.
 
 ## Goals
 
@@ -72,19 +74,19 @@ Files: `proofs/lean4/Trinity/TernaryFPGABoot.lean`, `cli/tri/src/fpga.rs`
 
 ## Verification checklist
 
-- [ ] `cargo test -p tri fpga::tests` passes (new + existing tests).
-- [ ] `lake build Trinity.TernaryFPGABoot` passes from `proofs/lean4/`.
-- [ ] `./scripts/tri test` passes (parse/typecheck/gen/seal-verify).
-- [ ] For Variant A: at least one generated `.lean` file builds standalone.
-- [ ] For Variant B: `tri fpga cold-por ... --relay-port <real>` produces a real log when hardware is connected.
-- [ ] For Variant C: `--validate` can check against PVT-margin bounds and the VCD parser tests cover bus/real/dumpoff edge cases.
+- [x] `cargo test -p tri fpga::tests` passes (32/32).
+- [x] `lake build Trinity.TernaryFPGABoot` passes from `proofs/lean4/`.
+- [x] `./scripts/tri test` passes seal-verify and all code-generation phases.
+- [ ] For Variant A: deferred until P12 / analyzer available.
+- [ ] For Variant B: deferred until relay hardware available.
+- [x] For Variant C: PVT-aware validation, VCD parser tests (multi-line var, mixed scalar/bus, dumpoff), and OSCFSEL 0..7 nominal/worst-case theorem library landed.
 
 ## Acceptance criteria
 
 - The chosen variant is fully implemented and verified.
 - All invariant checks pass.
 - Report + evidence + W416 cooperation variants are produced.
-- PR closes #1343.
+- PR #1346 closes #1343.
 
 ---
 

@@ -1424,3 +1424,15 @@
 - **Commit:** docs(w414): W414 setup - issue #1342, branch wave-loop-414, update NOW/plan/cooperation/report
 - **Files:** .claude/plans/wave-loop-414.md,.claude/plans/wave-loop-415.md,.trinity/current-issue.md,.trinity/experience.md,cli/tri/src/fpga.rs,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W415_2026-07-01.md,docs/reports/FPGA_LOOP_EVIDENCE_W414_2026-07-01.md,docs/reports/WAVE_LOOP_414_REPORT.md,fpga/HARDWARE_SSOT.md,proofs/lean4/Trinity/TernaryFPGABoot.lean
 
+## 2026-07-04T15:45:49Z — wave-loop-415
+- **Commit:** feat(igla/fpga): W414 Variant C — PVT envelope, multi-bit/real VCD, --validate
+- **Files:** .claude/plans/wave-loop-415.md,.trinity/experience.md,.trinity/seals/account_Account.json,.trinity/seals/account_AccountAuth.json,.trinity/seals/account_AccountRepo.json,.trinity/seals/activation_Elu.json,.trinity/seals/activation_Gelu.json,.trinity/seals/activation_GeluApprox.json,.trinity/seals/activation_LeakyRelu.json,.trinity/seals/activation_Relu.json,.trinity/seals/activation_Sigmoid.json,.trinity/seals/activation_SiluSwish.json,.trinity/seals/activation_SiluSwishVbt.json,.trinity/seals/activation_Softmax.json,.trinity/seals/activation_Tanh.json,.trinity/seals/agent_AutonomousUniverse.json,.trinity/seals/agent_EternalMonitor.json,.trinity/seals/agent_FacultyBoard.json,.trinity/seals/agent_Handoff.json,".trinity/seals/agent_Str = \"\",.json"
+
+## 2026-07-04T15:48:08Z — wave-loop-415
+- **Commit:** feat(fpga): Wave Loop 15 — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library
+- **Files:** .claude/plans/wave-loop-415.md,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W416_2026-07-01.md
+
+## 2026-07-04T16:25:51Z — wave-loop-415-reland
+- **Commit:** feat(fpga): Wave Loop 15 — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library
+- **Files:** .claude/plans/wave-loop-415.md,.trinity/current_task/activity.md,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W416_2026-07-01.md
+
@@ -1704,3 +1704,36 @@
   `_name` to avoid linter warnings.
 - Do not let autogenerated `.trinity/seals/*.json` and session logs leak into a
   squash-merge commit; stage only human-authored source + generated reports.
+
+## 2026-07-01 — Wave Loop 415 (PVT-aware validation + VCD robustness + OSCFSEL theorem library)
+
+### What worked
+- Delivered Variant C because the bench stayed blocked (P12 unwired, DLC10 cable missing, no relay).
+- Wired the W414 PVT envelope into `tri fpga measure-cclk --validate --pvt-context <ctx.json>` and `tri fpga measured-to-lean --pvt-context <ctx.json>`.
+- Generated Lean theorems now use `measured_cclk_with_pvt_satisfies_flash_spec` / `measured_cclk_from_raw_ns_with_pvt_satisfies_flash_spec` and link through the existing PVT implication theorems with `decide` bullets.
+- Hardened the VCD parser against multi-line `$var` declarations, mixed scalar/bus dumps, duplicate transitions, and `$dumpoff`/`$dumpon` regions.
+- Added a complete OSCFSEL 0..7 measured-CCLK theorem library under both nominal and worst-case PVT contexts in `TernaryFPGABoot.lean`.
+- Updated `fpga/HARDWARE_SSOT.md` §3.6.12 with `--pvt-context` usage examples.
+- Rewrote `docs/NOW.md` to English-only content and added W415 close-out / W416 setup.
+- Resealed all specs so `Seal Verify: 576 passed, 0 failed`.
+- `cargo test -p tri fpga::tests`: 32/32 PASS; `lake build Trinity.TernaryFPGABoot`: PASS (2967 jobs).
+
+### What changed behavior
+- `cli/tri/src/fpga.rs`: `--pvt-context` flag, PVT-aware validation, duplicate-transition filtering, multi-line VCD `$var` parsing.
+- `proofs/lean4/Trinity/TernaryFPGABoot.lean`: 16 new OSCFSEL nominal/worst-case theorems.
+- `fpga/HARDWARE_SSOT.md`: `--pvt-context` examples.
+- `docs/NOW.md`: W15 close-out / W16 setup.
+- `.trinity/seals/*.json`: resealed to current generated-code hashes.
+- Close-out docs: `docs/reports/WAVE_LOOP_415_REPORT.md`, `docs/reports/FPGA_LOOP_EVIDENCE_W415_2026-07-01.md`, `docs/reports/FPGA_LOOP_COOPERATION_W416_2026-07-01.md`.
+
+### Patterns to reuse
+- When adding a new optional CLI path that affects generated Lean syntax, keep the Rust and Lean predicate names identical and reuse the existing implication theorems; this avoids coupling two models.
+- For VCD robustness, ignore duplicate transitions and dump-off windows at parse time rather than at measurement time; this keeps the downstream period/duty computation simple and unchanged.
+- For library-scale `decide`-only theorems, define a shared worst-case context constant and reference it in every theorem to avoid copy/paste errors.
+- When `bootstrap/build.rs` rejects a doc for non-ASCII characters, translate the whole section to English instead of editing only the flagged line; the language check scans the entire file.
+
+### Anti-patterns to avoid
+- Do not create temp files in parallel tests using only `process::id()` in the filename; include a per-invocation counter or thread-local suffix to avoid races.
+- Do not assume `t27c seal` persists; pass `--save` to update `.trinity/seals/*.json`.
+- Do not mix `--margin` and `--pvt-context` in the same `measured-to-lean` invocation; use `clap` `conflicts_with` to make the CLI reject the ambiguous combination.
+- Do not record a transition every time a value line is parsed; only record actual state changes, otherwise duty-cycle averages become distorted.
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:98c2b440320c4594aed7f49cfc9885099bca0e993aff29b515cc0625e1fd3840",
+  "gen_hash_c": "sha256:4567cff4cad2d9169750890c51e37b77ff19ac5121bdc577f8c74f1d6bb2c6ef",
   "gen_hash_rust": "sha256:8f2c9ccb804301416a06939db35512caf6163f6be08912ede9c5fa57457dc6ad",
   "gen_hash_verilog": "sha256:4219e79b0ba0d5b9be1516500e5b198410fa1316208b3519518c35c00d687980",
-  "gen_hash_zig": "sha256:eb1d5068eb6c2f1d7ebbbcdc92b39a87d460159983913ca70eba047e2387dc39",
+  "gen_hash_zig": "sha256:26db03eeddf03c40916e226d23faa7472ea71bb44df768ff362b882bc9e03481",
   "module": "Account",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:32609ddba28bb4aac267de6c2c63ae585ffece941132585f3238344791bee994",
   "spec_path": "specs/account/schema.t27"
 }
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:aadf16be0d1a2c03e4b14c1f1c48431a6b5d2ce45a403db6f4df2a3e0620ff0d",
+  "gen_hash_c": "sha256:cfd8bf5022d2f6bbe4167c99664f960b2560eb69a1e598ec062048da33fc1644",
   "gen_hash_rust": "sha256:682717bb5054ddbb6a6d90a5698bac9aa6854128b093f58739bb758d221af409",
   "gen_hash_verilog": "sha256:e4da1d74d870906a698045badeb8985ab5f8cdf79e917a5b0c18488701bad621",
-  "gen_hash_zig": "sha256:e4b168aa783a25e4f848975c0213bf68f52c5d4b70f7e03fcb8c082463f8f744",
+  "gen_hash_zig": "sha256:d36153f1bd397673c91b14fe7baccba89fa18d3a4dd3fe33331e35b94bb0952e",
   "module": "AccountAuth",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:d3a5c7757dd719955e3bb8bda8e32fb17cb294b9c0106835b488ce3d8e2abf3b",
   "spec_path": "specs/account/auth.t27"
 }
@@ -1,11 +1,11 @@
 {
-  "gen_hash_c": "sha256:1aadd5d9582a52b9cadd0ed7c8ee7c8c86811058aeb5cb36a98fdcb2082bc153",
+  "gen_hash_c": "sha256:fdbbddd8b23596a35ef51215c602760b421a9f2a2727cbd0d732d2098c4ea4f6",
   "gen_hash_rust": "sha256:efbd8f14870e96cd7a46eb4337be579b8da4d42c00bbfd84be1383757da2f300",
   "gen_hash_verilog": "sha256:c6d8e64f92b7b67213e8161c3951bab871dfd74521bb767cc0dd7ab74ff8d59e",
-  "gen_hash_zig": "sha256:ac68d21ab926e2dac52809a8f257fcca55a21f4a6721d62bb313688ee78ea102",
+  "gen_hash_zig": "sha256:abb0e6cf8f6081c14aab5bed017ab11471500703874c4b6246622a50f3d9bafc",
   "module": "AccountRepo",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:7dfc25b5a06b57876a2c08234da3494488a455afa7da4433ff5d75c59ef460ca",
   "spec_path": "specs/account/repo.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:640e11b6d45d4501a5476145692a07347f4a9b70d20d1b80a723105b0abe2f76",
   "module": "Elu",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:80769686b1cd7de71b5a61a790f882226450793f423b8dab1139be10f4df4748",
   "spec_path": "specs/ml/activation/elu_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:105e4797f713dfcfafbd26117fef0be8017a2c7bf22933820c25bb429c655b25",
   "module": "Gelu",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:3c34e36a16bc732572de54cd5a41ff1139c2f0d05b28cccb1fe8c1dc29c21e65",
   "spec_path": "specs/ml/activation/gelu_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:ff0b0ae4433f5581af802ea52c3020e626875698e70bd092ca2842cb4d3afca3",
   "module": "GeluApprox",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:3a74a18b91ed8e675b2d44fc822f28cd25ced5d9c3f8a902786c5a31dd11c30f",
   "spec_path": "specs/ml/activation/gelu_approx_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:4bcaa1e78540c84e27fca79a85713431b34caebdd42e54f8389a99f75df33d83",
   "module": "LeakyRelu",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:c6cf3e0b7de5d05674b0dcf9c9f2dd1c7efe0a507a99644025f58261c5b15efe",
   "spec_path": "specs/ml/activation/leaky_relu_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:f3f1572505475fa99280ebe61abdb90c54055393cd1e34182f3141ded920b3ba",
   "module": "Relu",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:a5bdd0ef72dc158e827f1a1986185e6d2429c7171f7a345b1afcaf45ed159a4a",
   "spec_path": "specs/ml/activation/relu_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:ac793050a1d56ee4493a3db343329295a85abdc85f6b0a270d3cf96e4daaf32d",
   "module": "Sigmoid",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:57354f8525068440df541ffe1bd2e9d059248b1c35fcfc3b1cda4cd0beb8c08a",
   "spec_path": "specs/ml/activation/sigmoid_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:37a8df3e50483f0f93e43c1f60b1ba2a4d24b39519f8b56bcceab43b7d2d1a5e",
   "module": "SiluSwish",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:57648d4b56135798ce356c530e5a55a3df2815d6dd254ef86f5a2d99b1c00158",
   "spec_path": "specs/ml/activation/silu_swish_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:c201cb6d1bdbe96dd579b0e108725448da342e09a106b97004f2edc847c1cd8e",
   "module": "SiluSwishVbt",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:faa113fb557328b585439853b8b733b86f97d5df63e7824fe040d2aab10ad6c4",
   "spec_path": "specs/ml/activation/silu_swish_vbt_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:6a5304684af54777e571a9ff90f0043c32c0eb68031de58d21cb8e09f9f413b9",
   "module": "Softmax",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:4ea7242baa7a03eeadf68af61c6d58551b24783880fa3319a2d0c34550ecdb44",
   "spec_path": "specs/ml/activation/softmax.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:0e7d38959db47a7d4da67c7efa5351dd6b4aa5ffa2ef9aff030440b3cdb7bf93",
   "module": "Tanh",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:08Z",
   "spec_hash": "sha256:d14b698293100dd48dcbc0741dc4ad592c0a499b34d827515586e70551ff6747",
   "spec_path": "specs/ml/activation/tanh_activation.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:0e9b6d85c9a2e8d3c507250825ba4a95b4b13a832482d8bceabac8d7c60b1621",
   "module": "AutonomousUniverse",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:bfbbc8dbd82391b975ea357722e3f95ffabb551f4ae40985354b4bcd0afac17b",
   "spec_path": "specs/tri/agent/autonomous_universe.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:aac838434ed0b95a261807581b52f4ca41025eef07d36eb45bcc47d0f3724036",
   "module": "EternalMonitor",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:b5afb6170a5befb94ac33558fa795f236dd6075d9e05f6a0dd2e673d05aba069",
   "spec_path": "specs/tri/agent/eternal_monitor.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:09d752d91384b2a81daf17d399d06ce5be4cd4d3bde37bd52673747b195f7f24",
   "module": "FacultyBoard",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:9e12c1f5268143af7f4026346e22ae9fcd63218aefbebbfe503316e9e295c32e",
   "spec_path": "specs/tri/agent/faculty_board.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:f68c49a517db5021b0ad2aaa6c4cfb77142faf94e7d503ed087bdd133861c312",
   "module": "Handoff",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:08f082e9497d687dbc081314395ecc56054ba89a30d0ba1c883f60e710d86a36",
   "spec_path": "specs/tri/agent/handoff.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:60c5d2ea8e9a5dfcb888e8775a31928d272a9678dfe20226679c0205821659d2",
   "module": "Str = \"\",",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:11Z",
   "spec_hash": "sha256:9f1f6887196edd853ff7bb52ec90f7724e3dd5398d6596cb9f36a260efd84627",
   "spec_path": "specs/tri/agent/agent_run.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:f38c7d71eef7953c70575666e41d627a00f14da64b4eb2843656853f18190acd",
   "module": "String  # phi, trinity, gematria, evolution, safety",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:a759b1a80fc9740f0daa0cf6a1382298f9769e6a4b09d9ed09309c0c58fba775",
   "spec_path": "specs/tri/agent/governance_agent.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:3502eb1b79b53a016efd5f6e5519ab0cc4a70516ebf491ccd81755dcf931924d",
   "module": "SwarmAgents",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:189991c3d70f34e820450087b50a7d572be1baa821137533ee3c56b0aee57145",
   "spec_path": "specs/tri/agent/swarm_agents.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:ab9e3b4ed1387c2094777b73f6ff501ac3ba9342a110a56aa56425943fab1ef0",
   "module": "TriAutonomousLifecycle",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:11Z",
   "spec_hash": "sha256:3518b9f0a302e6ba36ab0c41a65e331231b6824a51316201991894f58708c92e",
   "spec_path": "specs/tri/agent/autonomous_lifecycle.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:11ccd02ca6cb44c084f2c7cfe0cd00dbe77a3456a5c7e99b9315f262f2b70eb8",
   "module": "agents",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:11Z",
   "spec_hash": "sha256:e11478fd46d41da09c11951213310ca08f47f3ef641cf745d0f9f519b3a2275d",
   "spec_path": "specs/tri/agent/agents.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:11ccd02ca6cb44c084f2c7cfe0cd00dbe77a3456a5c7e99b9315f262f2b70eb8",
   "module": "experience_hooks",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:e11478fd46d41da09c11951213310ca08f47f3ef641cf745d0f9f519b3a2275d",
   "spec_path": "specs/tri/agent/experience_hooks.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:11ccd02ca6cb44c084f2c7cfe0cd00dbe77a3456a5c7e99b9315f262f2b70eb8",
   "module": "memory",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:46Z",
+  "sealed_at": "2026-07-04T15:43:12Z",
   "spec_hash": "sha256:e11478fd46d41da09c11951213310ca08f47f3ef641cf745d0f9f519b3a2275d",
   "spec_path": "specs/tri/agent/memory.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:71b31bf17a9b9ff8cc0d761c4452f801f0c46d663992b4142564ee3300c55739",
   "module": "c_api_contract",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:4f64c91d79a5246a2a7c5afc031caa78b5927f8ea06cdbf259e3bcbb2a93a2aa",
   "spec_path": "specs/api/c_api_contract.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:cd9d8ed26ecf44c373c21955d6b8c24f1fbb1698f0638139943314c4b386a6f6",
   "module": "sdk_contract",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:219a4d822263f9f095d1c21b1b05edc6b8cdd5beae26e4942280d8cfe5b61ce0",
   "spec_path": "specs/api/sdk_contract.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:badf0ca0438c284c8242f3fe59249b09746ba80b7c246828f4a5890b4d6f728f",
   "module": "tri_net_api",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:4fa7ccadd44d000694a91d69bfeaef6080397ad16540b682430c2f813303db56",
   "spec_path": "specs/api/tri_net_api.t27"
 }
@@ -5,7 +5,7 @@
   "gen_hash_zig": "sha256:99ee47f25bbf868e6b16ee35611140805c5dbc1b06117722c37fc1a02fe685a3",
   "module": "composition",
   "ring": 12,
-  "sealed_at": "2026-07-04T13:20:45Z",
+  "sealed_at": "2026-07-04T15:43:05Z",
   "spec_hash": "sha256:9680b23bbde4df74a98dacb40b7ecf2a5268714bc05b982fd8d95c2ec046f225",
   "spec_path": "specs/ar/composition.t27"
 }