feat(igla): Wave Loop 418 — PVT regression, VCD/CSV hardening, standalone Lean integration

[gHashTag]

Closes #1353

Wave Loop 418 (Variant C fallback) delivers:

• PVT-envelope lower-bound regression test in Rust + matching Lean 4 lemma.
• VCD parser hardening for multi-line $date/$version/$comment headers.
• Analog CSV voltage-column auto-detection by header name.
• Standalone Lean integration test that builds a generated theorem in a temporary lake package.
• Updated fpga/HARDWARE_SSOT.md with first-real-capture checklist and PVT coefficient replacement recipe.
• W418 report, evidence, and W419 cooperation variants.

Verification:

• cargo test -p tri pvt: PASS
• cargo test -p tri vcd: PASS
• cargo test -p tri csv: PASS
• cargo test -p tri test_measured_to_lean_standalone_lake_package_builds: PASS
• lake build Trinity.TernaryFPGABoot: PASS
• ./scripts/tri test: 576/576 core phases PASS; 16 pre-existing gen-verilog-yosys-smoke failures (weak point gen-verilog: 5 lowering defects block iverilog-clean RTL from non-trivial specs #1245, unrelated to W418).

🤖 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:58:11 UTC

• feat(igla): Wave Loop 418 — PVT regression, VCD/CSV hardening, standalone Lean integration #1356 feat(igla): Wave Loop 418 — PVT regression, VCD/CSV hardening, standalone Lean integration | Created: 2026-07-04 | Updated: 2026-07-04 | 11 failing / 15 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 | 4 failing / 29 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	15
PRs with Failing Checks	10
PRs with All Checks Green	5
READY	4
FAILING	10
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).