feat(fpga): Wave Loop 415 reland — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library

[gHashTag]

Closes #1343

Relands Wave Loop 415 onto current master. The original PR #1346 became dirty after master moved ahead; this replacement PR contains the same two commits rebased cleanly.

What changed

• --pvt-context ctx.json for tri fpga measure-cclk --validate and tri fpga measured-to-lean.
• VCD parser hardening: multi-line $var, mixed scalar/bus, duplicate transition de-duplication, $dumpoff/$dumpon skip.
• OSCFSEL 0..7 nominal and worst-case PVT measured-CCLK theorems in Lean 4.
• Updated fpga/HARDWARE_SSOT.md, docs/NOW.md, .trinity/experience.md.

Verification

• cargo test -p tri fpga::tests: 32/32 PASS.
• lake build Trinity.TernaryFPGABoot: PASS.
• ./scripts/tri test: parse/typecheck/gen/seal PASS; 16 pre-existing gen-verilog-yosys-smoke failures.

Supersedes #1346.

🤖 Generated with Claude Code

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-07-04 16:26:49 UTC

• feat(fpga): Wave Loop 415 reland — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library #1351 feat(fpga): Wave Loop 415 reland — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library | Created: 2026-07-04 | Updated: 2026-07-04 | 12 failing / 17 total
• fix(build): downgrade docs/*.md Cyrillic check panic→warning (unblocks downstream) #1348 fix(build): downgrade docs/*.md Cyrillic check panic→warning (unblocks downstream) | Created: 2026-07-04 | Updated: 2026-07-04 | 8 failing / 27 total
• feat(fpga): Wave Loop 15 — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library #1346 feat(fpga): Wave Loop 15 — PVT-aware CCLK validation, VCD robustness, OSCFSEL theorem library | Created: 2026-07-04 | Updated: 2026-07-04 | 5 failing / 26 total
• feat(igla): Wave Loop 410 - measured-duty formal link and Rust JSON export #1330 feat(igla): Wave Loop 410 - measured-duty formal link and Rust JSON export | Created: 2026-07-04 | Updated: 2026-07-04 | 0 failing / 3 total
• Wave Loop 409 — per-OSCFSEL SPI transaction lookup + tighter duty bound #1324 Wave Loop 409 — per-OSCFSEL SPI transaction lookup + tighter duty bound | Created: 2026-07-04 | Updated: 2026-07-04 | 0 failing / 4 total
• Wave Loop 408 — real P12 CCLK attempt + SPI transaction model in Lean 4 #1322 Wave Loop 408 — real P12 CCLK attempt + SPI transaction model in Lean 4 | Created: 2026-07-04 | Updated: 2026-07-04 | 0 failing / 4 total
• feat(igla): Wave Loop 407 — deeper N25Q128 SPI timing in Lean 4 + synthetic CCLK fixture #1317 feat(igla): Wave Loop 407 — deeper N25Q128 SPI timing in Lean 4 + synthetic CCLK fixture | Created: 2026-07-04 | Updated: 2026-07-04 | 5 failing / 26 total
• feat(igla): Wave Loop 406 — live CCLK capture + OSCFSEL/CCLK flash-spec safety in Lean 4 #1315 feat(igla): Wave Loop 406 — live CCLK capture + OSCFSEL/CCLK flash-spec safety in Lean 4 | Created: 2026-07-04 | Updated: 2026-07-04 | 5 failing / 25 total
• chore(ci)(deps): bump actions/download-artifact from 4 to 8 #1238 chore(ci)(deps): bump actions/download-artifact from 4 to 8 | Created: 2026-07-01 | Updated: 2026-07-01 | 3 failing / 26 total
• chore(ci)(deps): bump docker/build-push-action from 6 to 7 #1237 chore(ci)(deps): bump docker/build-push-action from 6 to 7 | Created: 2026-07-01 | Updated: 2026-07-01 | 0 failing / 17 total
• chore(ci)(deps): bump actions/upload-artifact from 4 to 7 #1236 chore(ci)(deps): bump actions/upload-artifact from 4 to 7 | Created: 2026-07-01 | Updated: 2026-07-01 | 4 failing / 29 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.23.4 #1227 chore(deps)(deps): bump uuid from 1.23.2 to 1.23.4 | Created: 2026-06-29 | Updated: 2026-06-29 | 3 failing / 25 total
• chore(deps)(deps): bump candle-nn from 0.10.2 to 0.11.0 #1226 chore(deps)(deps): bump candle-nn from 0.10.2 to 0.11.0 | Created: 2026-06-29 | Updated: 2026-06-29 | 3 failing / 25 total
• docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-06-28 | 3 failing / 17 total
• chore(deps)(deps): bump tower-http from 0.6.8 to 0.7.0 #1220 chore(deps)(deps): bump tower-http from 0.6.8 to 0.7.0 | Created: 2026-06-22 | Updated: 2026-06-22 | 3 failing / 25 total
• conformance: promote gf10/gf256 to bitexact_selfconsistent (WP-34) #1216 conformance: promote gf10/gf256 to bitexact_selfconsistent (WP-34) | Created: 2026-06-19 | Updated: 2026-06-19 | 0 failing / 19 total
• chore(deps)(deps): bump ignore from 0.4.25 to 0.4.26 #1145 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.26 | Created: 2026-06-15 | Updated: 2026-06-15 | 1 failing / 25 total
• chore(deps)(deps): bump regex from 1.12.3 to 1.12.4 #1143 chore(deps)(deps): bump regex from 1.12.3 to 1.12.4 | Created: 2026-06-15 | Updated: 2026-06-15 | 1 failing / 25 total
• conformance(gf14): add 14 bit-exact GF14 vectors (52 -> 53) #1142 conformance(gf14): add 14 bit-exact GF14 vectors (52 -> 53) | Created: 2026-06-15 | Updated: 2026-06-15 | 0 failing / 19 total
• ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-06-15 | 3 failing / 17 total
• fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 #1128 fix(gen): untrack stale gen/numeric catalog artifacts (committed gen drifts 77 vs SSOT 83) -- Closes #1120 | Created: 2026-06-14 | Updated: 2026-06-14 | 0 failing / 21 total

Summary

Status	Count
Total Open PRs	21
PRs with Failing Checks	13
PRs with All Checks Green	8
READY	7
FAILING	13
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=621b9883e268 != manifest seal=49e55df6d444.
  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).

[gHashTag]

Superseded by #1352 — the Wave Loop 416 merge already contains the W415 commits rebased onto current master.