feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

[gHashTag]

Closes #1495

Wave Loop 783 closes the next rung of the module-scope packed-array-of-struct ladder with a [385][2]^6 Pt variable initialized from a function call and exercised with indexed signed field writes. The witness is 788,480 bits (~0.752 MiBit) and required zero compiler, reference-model, or FROZEN_HASH changes.

This closeout also fixes one actionable weak point from the 2026-07-24 audit: bootstrap/tests/verilog_const_array.rs:166 now accepts the current richer TODO marker format (TODO: array literal / TODO: struct literal) instead of stale exact strings.

Validation

• cargo build --release -p t27c: OK
• cargo clippy -p t27c: OK (780 warnings, 0 errors)
• cargo test -p t27c --bin t27c: 1494/0/2
• cargo test -p tri: 78/0
• cargo test -p flash-spi: 2/0
• cargo test -p t27c --test bitnet_pipeline: 20/0
• cargo test -p t27c --test bitnet_top: 17/0
• cargo test -p t27c --test icarus_lowerable: 243/0
• cargo test -p t27c --test verilog_const_array: 2/0
• t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --save W783: PASS
• FROZEN_HASH: unchanged

Files added/changed

• specs/scratch/w783_bench_module_385x2p6_aos_var_call_write.t27
• scripts/gen_w783.py
• bootstrap/tests/icarus_lowerable.rs
• bootstrap/tests/verilog_const_array.rs
• .trinity/seals/scratch_w783_bench_module_385x2p6_aos_var_call_write.json
• docs/reports/FPGA_LOOP_CLOSEOUT_W783_2026-07-24.md
• .claude/plans/wave-loop-784.md
• .trinity/experience.md, .trinity/current-issue.md, .claude/skills/t27-wave-loop.md, docs/NOW.md

φ² + 1/φ² = 3 | TRINITY

[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-24 15:37:16 UTC

• feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1496 feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 12 failing / 16 total
• feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes #1494 feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 777 — module-scope [373][2]^6 Pt non-power-of-two packed AoS variable with indexed signed writes #1491 feat(igla): Wave Loop 777 — module-scope [373][2]^6 Pt non-power-of-two packed AoS variable with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• Merge Wave Loop Ladder W774-W776 + README update #1489 Merge Wave Loop Ladder W774-W776 + README update | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• feat(igla): Wave Loop 776 — module-scope [371][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1488 feat(igla): Wave Loop 776 — module-scope [371][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• feat(igla): Wave Loop 775 — module-scope [369][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1486 feat(igla): Wave Loop 775 — module-scope [369][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1484 feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 #1470 chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 #1469 chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 #1468 chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466 chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
• ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) #1454 ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) | Created: 2026-07-08 | Updated: 2026-07-08 | 1 failing / 17 total
• chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 #1437 chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 | Created: 2026-07-07 | Updated: 2026-07-07 | 23 failing / 44 total
• Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma #1434 Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters #1432 feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays #1430 feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems #1426 Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 26 total
• feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) #1406 feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) | Created: 2026-07-05 | Updated: 2026-07-05 | 5 failing / 27 total
• feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix #1403 feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix | Created: 2026-07-05 | Updated: 2026-07-06 | 10 failing / 52 total
• feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline #1400 feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline | Created: 2026-07-05 | Updated: 2026-07-06 | 1 failing / 6 total
• Wave Loop 433: formal bridge fallback (closes #1393) #1396 Wave Loop 433: formal bridge fallback (closes #1393) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out #1394 feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
• feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening #1392 feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
• Wave Loop 430 — live XADC readout and PVT-envelope bridge #1390 Wave Loop 430 — live XADC readout and PVT-envelope bridge | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation #1387 Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh #1384 Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) #1382 feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 4 total
• Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) #1378 Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems #1375 feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems | Created: 2026-07-05 | Updated: 2026-07-06 | 4 failing / 27 total
• feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup #1373 feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup | Created: 2026-07-05 | Updated: 2026-07-06 | 8 failing / 49 total
• feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh #1372 feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
• Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound #1369 Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
• feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot #1364 feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot | Created: 2026-07-04 | Updated: 2026-07-06 | 7 failing / 48 total
• feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity #1362 feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity | Created: 2026-07-04 | Updated: 2026-07-06 | 3 failing / 26 total
• docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-07-06 | 6 failing / 31 total
• ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-07-06 | 6 failing / 31 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-07-06 | 0 failing / 22 total

Summary

Status	Count
Total Open PRs	39
PRs with Failing Checks	29
PRs with All Checks Green	10
READY	9
FAILING	29
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=68a0b933c00b != manifest seal=87e5cbd3ad94.
  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).

[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-24 15:37:42 UTC

• feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1496 feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 10 failing / 16 total
• feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes #1494 feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 777 — module-scope [373][2]^6 Pt non-power-of-two packed AoS variable with indexed signed writes #1491 feat(igla): Wave Loop 777 — module-scope [373][2]^6 Pt non-power-of-two packed AoS variable with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• Merge Wave Loop Ladder W774-W776 + README update #1489 Merge Wave Loop Ladder W774-W776 + README update | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• feat(igla): Wave Loop 776 — module-scope [371][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1488 feat(igla): Wave Loop 776 — module-scope [371][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 3 failing / 25 total
• feat(igla): Wave Loop 775 — module-scope [369][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1486 feat(igla): Wave Loop 775 — module-scope [369][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1484 feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 #1470 chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 #1469 chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 #1468 chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 #1467 chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 #1466 chore(deps)(deps): bump regex from 1.12.3 to 1.13.0 | Created: 2026-07-13 | Updated: 2026-07-13 | 3 failing / 25 total
• fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) #1456 fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455) | Created: 2026-07-10 | Updated: 2026-07-10 | 3 failing / 30 total
• ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) #1454 ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT) | Created: 2026-07-08 | Updated: 2026-07-08 | 1 failing / 17 total
• chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 #1437 chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0 | Created: 2026-07-07 | Updated: 2026-07-07 | 23 failing / 44 total
• Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma #1434 Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters #1432 feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays #1430 feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 27 total
• Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems #1426 Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems | Created: 2026-07-06 | Updated: 2026-07-06 | 5 failing / 26 total
• feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) #1406 feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402) | Created: 2026-07-05 | Updated: 2026-07-05 | 5 failing / 27 total
• feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix #1403 feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix | Created: 2026-07-05 | Updated: 2026-07-06 | 10 failing / 52 total
• feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline #1400 feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline | Created: 2026-07-05 | Updated: 2026-07-06 | 1 failing / 6 total
• Wave Loop 433: formal bridge fallback (closes #1393) #1396 Wave Loop 433: formal bridge fallback (closes #1393) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out #1394 feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
• feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening #1392 feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 7 total
• Wave Loop 430 — live XADC readout and PVT-envelope bridge #1390 Wave Loop 430 — live XADC readout and PVT-envelope bridge | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation #1387 Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh #1384 Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) #1382 feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 4 total
• Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) #1378 Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376) | Created: 2026-07-05 | Updated: 2026-07-06 | 0 failing / 5 total
• feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems #1375 feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems | Created: 2026-07-05 | Updated: 2026-07-06 | 4 failing / 27 total
• feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup #1373 feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup | Created: 2026-07-05 | Updated: 2026-07-06 | 8 failing / 49 total
• feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh #1372 feat(igla): Wave Loop 423 — CSV time units, VCD slope filter, PVT worst-case, competitor refresh | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
• Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound #1369 Wave Loop 422 — live XC7A200T SRAM boot, Verilog keyword escape, PVT worst-case bound | Created: 2026-07-05 | Updated: 2026-07-06 | 6 failing / 50 total
• feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot #1364 feat(igla): Wave Loop 421 — VCD $timescale exact terminator, combined PVT monotonicity, competitor snapshot | Created: 2026-07-04 | Updated: 2026-07-06 | 7 failing / 48 total
• feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity #1362 feat(igla): Wave Loop 420 — VCD exact-terminator + auto-threshold, PVT process-corner monotonicity | Created: 2026-07-04 | Updated: 2026-07-06 | 3 failing / 26 total
• docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) #1225 docs(metrics): сводка ключевых метрик 83 числовых форматов (SSOT-derived) | Created: 2026-06-28 | Updated: 2026-07-06 | 6 failing / 31 total
• ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases #1141 ci(trust): OpenSSF Scorecard + SBOM + Sigstore signed releases | Created: 2026-06-15 | Updated: 2026-07-06 | 6 failing / 31 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-07-06 | 0 failing / 22 total

Summary

Status	Count
Total Open PRs	39
PRs with Failing Checks	29
PRs with All Checks Green	10
READY	9
FAILING	29
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=68a0b933c00b != manifest seal=87e5cbd3ad94.
  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).