Merge branch 'master' into trinity-rust-rings for W403 (Closes #1307)

Resolves conflicts in:
- .trinity/current-issue.md (keep W403 issue #1307)
- .trinity/experience.md (keep W403 learnings + prior waves)
- docs/NOW.md (keep W403 entry + prior waves)
- fpga/HARDWARE_SSOT.md (keep W402 + W403 formal traceability)
- proofs/lean4/Trinity/TernaryFPGABoot.lean (keep W402 base + W403
  BitstreamConfig/ColdPOR/linkage lemmas)

Post-merge verification:
- lake build Trinity.TernaryFPGABoot ✅
- ./scripts/tri test 576/576 PASS

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

Author: Dmitrii Vasilev

.trinity/current_task/activity.md

@@ -1360,3 +1360,7 @@
 - **Commit:** chore(trinity): point current-issue.md to W403 issue #1307 and add decomposed plan
 - **Files:** .claude/plans/wave-loop-403.md,.trinity/experience.md,docs/NOW.md,docs/reports/FPGA_LOOP_COOPERATION_2026-07-06.md,docs/reports/FPGA_LOOP_EVIDENCE_2026-07-06.md,docs/reports/WAVE_LOOP_403_REPORT.md,fpga/HARDWARE_SSOT.md,proofs/lean4/Trinity/TernaryFPGABoot.lean
 
+## 2026-07-04T09:11:36Z — trinity-rust-rings
+- **Commit:** feat(igla): Wave Loop 403 — bitstream config linked to cold-POR decision tree in Lean 4 (Closes #1307)
+- **Files:** 
+