feat(igla): Wave Loop 437 — dry-run synthetic XADC→PVT validation, verify-lean gate, public PVT resolver

Closes #1405

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: Dmitrii Vasilev

.trinity/current-issue.md

@@ -41,10 +41,10 @@ merge is still too risky to mix with boot-evidence work.
 
 ## Definition of done
 
-- [ ] `cargo check -p tri` passes.
-- [ ] `cargo test -p tri` passes (target: 118+/117, no regressions).
-- [ ] `lake build Trinity.TernaryFPGABoot` passes.
-- [ ] `./scripts/tri test` passes with the documented baseline (7 pre-existing
+- [x] `cargo check -p tri` passes.
+- [x] `cargo test -p tri` passes (123/123, no regressions).
+- [x] `lake build Trinity.TernaryFPGABoot` passes.
+- [x] `./scripts/tri test` passes with the documented baseline (7 pre-existing
       gen-verilog smoke failures; no new failures).
 - [ ] Close-out report and next-wave cooperation variants are written.
 - [ ] Issue/branch for Wave Loop 438 are created.

.trinity/current_task/.commit_count

@@ -1 +1 @@
-1824
+1826

.trinity/current_task/activity.md

@@ -1652,3 +1652,7 @@
 - **Commit:** chore(now): set W436 PR number to #1406
 - **Files:** .trinity/current_task/.commit_count,.trinity/current_task/activity.md,.trinity/current_task/session_log.jsonl,docs/NOW.md
 
+## 2026-07-05T13:35:01Z — wave-loop-437
+- **Commit:** chore(now): set W436 PR number to #1406
+- **Files:** .trinity/current-issue.md,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,cli/tri/src/fpga.rs,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W438_2026-07-01.md,docs/reports/FPGA_LOOP_EVIDENCE_W437_2026-07-01.md,docs/reports/GEN_VERILOG_DEFECTS_REPRO.md,docs/reports/T27_VS_FORMAL_HDL_2026.md,docs/reports/WAVE_LOOP_437_REPORT.md,fpga/HARDWARE_SSOT.md
+

.trinity/current_task/session_log.jsonl

@@ -298,3 +298,5 @@
 {"ts":"2026-07-05T12:23:26Z","branch":"wave-loop-434","msg":"docs(experience): W433 learnings and missing W429-W431 plan files","files":".claude/plans/wave-loop-434.md,.trinity/current-issue.md,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,.trinity/experience.md,cli/tri/src/fpga.rs,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W435_2026-07-01.md,docs/reports/FPGA_LOOP_EVIDENCE_W434_2026-07-01.md,docs/reports/GEN_VERILOG_DEFECTS_REPRO.md,docs/reports/T27_VS_FORMAL_HDL_2026.md,docs/reports/WAVE_LOOP_434_REPORT.md,fpga/HARDWARE_SSOT.md,proofs/lean4/Trinity/TernaryFPGABoot.lean","notebook":"b83263109fb055dc"}
 {"ts":"2026-07-05T13:22:57Z","branch":"wave-loop-436","msg":"chore(now): merge master into wave-loop-435 and update NOW.md for W435 close-out","files":".trinity/current-issue.md,cli/tri/src/fpga.rs,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W437_2026-07-01.md,docs/reports/FPGA_LOOP_EVIDENCE_W436_2026-07-01.md,docs/reports/GEN_VERILOG_DEFECTS_REPRO.md,docs/reports/T27_VS_FORMAL_HDL_2026.md,docs/reports/WAVE_LOOP_436_REPORT.md,fpga/HARDWARE_SSOT.md,proofs/lean4/Trinity/TernaryFPGABoot.lean","notebook":"b83263109fb055dc"}
 {"ts":"2026-07-05T13:23:42Z","branch":"wave-loop-437","msg":"feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports, closed-vocabulary source labels, quantified combined-check theorem","files":".trinity/current-issue.md,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_W437_2026-07-01.md","notebook":"b83263109fb055dc"}
+{"ts":"2026-07-05T13:24:07Z","branch":"wave-loop-437","msg":"chore(w437): update issue references to #1405 after GitHub creation","files":".trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,docs/NOW.md","notebook":"b83263109fb055dc"}
+{"ts":"2026-07-05T13:24:11Z","branch":"wave-loop-437","msg":"chore(now): set W436 PR number to #1406","files":".trinity/current_task/.commit_count,.trinity/current_task/activity.md,.trinity/current_task/session_log.jsonl,docs/NOW.md","notebook":"b83263109fb055dc"}