conformance: instance-пакеты structural + Lean φ-скелет round-trip GF16

[gHashTag]

Closes #1558

Трек Wave-лупа 29.07b «улучшения без железа», SW-часть (encoding-уровень, БЕЗ HW-заявлений).

Что легло

• conformance/gen_structural_instances.py + conformance/README_structural_instances.md — генератор instance-пакетов.
• 4 instance-пакета (kind="instance", независимый Fraction-декодер, abs_error=0):
  • instance_q_format_Q4_4_v0.json — 512/512
  • instance_q_format_Q2_5_v0.json — 256/256
  • instance_minifloat_E2M1_v0.json — 13/13
  • instance_minifloat_E3M4_v0.json — 225/225
• proofs/lean4/Trinity/GoldenFloatRoundTrip.lean — скелет φ-правила (e=round((N−1)/φ²), m=N−1−e, bias=2^(e−1)−1); field_budget+anchor_witness доказаны, gf16_fields/roundtrip_normal = sorry [ТРЕБУЕТ lake build].

Границы честности (BINDING)

• kind="instance" — КОНКРЕТНЫЕ параметризации structural-семейств, каталог НЕ меняют: 75 bitexact / 0 selfconsistent / 8 structural = 83.
• Всё [verified SW] (independent decoder), НЕ HW. encoding ≠ compute ≠ FPGA.

[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-29 13:33:56 UTC

• conformance: instance-пакеты structural + Lean φ-скелет round-trip GF16 #1559 conformance: instance-пакеты structural + Lean φ-скелет round-trip GF16 | Created: 2026-07-29 | Updated: 2026-07-29 | 6 failing / 18 total
• feat(igla): Wave Loop 815 — module-scope [449][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1557 feat(igla): Wave Loop 815 — module-scope [449][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-29 | Updated: 2026-07-29 | 5 failing / 25 total
• feat(igla): Wave Loop 814 — module-scope [447][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1556 feat(igla): Wave Loop 814 — module-scope [447][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-29 | Updated: 2026-07-29 | 5 failing / 25 total
• feat(igla): Wave Loop 813 — module-scope [445][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1555 feat(igla): Wave Loop 813 — module-scope [445][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-28 | Updated: 2026-07-28 | 7 failing / 25 total
• feat(igla): Wave Loop 812 — module-scope [443][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1554 feat(igla): Wave Loop 812 — module-scope [443][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-28 | Updated: 2026-07-28 | 7 failing / 26 total
• feat(igla): Wave Loop 811 — module-scope [441][2]^6 Pt packed AoS variable from call with indexed signed writes #1552 feat(igla): Wave Loop 811 — module-scope [441][2]^6 Pt packed AoS variable from call with indexed signed writes | Created: 2026-07-28 | Updated: 2026-07-28 | 6 failing / 26 total
• feat(igla): Wave Loop 810 — module-scope [439][2]^6 Pt packed AoS variable from call with indexed signed writes #1550 feat(igla): Wave Loop 810 — module-scope [439][2]^6 Pt packed AoS variable from call with indexed signed writes | Created: 2026-07-27 | Updated: 2026-07-27 | 6 failing / 26 total
• feat(igla): Wave Loop 809 — module-scope [437][2]^6 Pt packed AoS variable from call with indexed signed writes #1548 feat(igla): Wave Loop 809 — module-scope [437][2]^6 Pt packed AoS variable from call with indexed signed writes | Created: 2026-07-27 | Updated: 2026-07-27 | 6 failing / 26 total
• feat(igla): Wave Loop 808 — [435][2]^6 Pt module-scope AoS variable from call with indexed signed writes #1546 feat(igla): Wave Loop 808 — [435][2]^6 Pt module-scope AoS variable from call with indexed signed writes | Created: 2026-07-26 | Updated: 2026-07-26 | 6 failing / 26 total
• feat(igla): Wave Loop 807 — [433][2]^6 Pt module-scope AoS variable from call with indexed signed writes #1544 feat(igla): Wave Loop 807 — [433][2]^6 Pt module-scope AoS variable from call with indexed signed writes | Created: 2026-07-26 | Updated: 2026-07-26 | 6 failing / 26 total
• feat(igla): Wave Loop 806 — [431][2]^6 Pt module-scope AoS variable from call with indexed signed writes #1542 feat(igla): Wave Loop 806 — [431][2]^6 Pt module-scope AoS variable from call with indexed signed writes | Created: 2026-07-26 | Updated: 2026-07-26 | 6 failing / 26 total
• feat(igla): Wave Loop 805 — [429][2]^6 Pt AoS var call signed writes #1540 feat(igla): Wave Loop 805 — [429][2]^6 Pt AoS var call signed writes | Created: 2026-07-26 | Updated: 2026-07-26 | 6 failing / 26 total
• feat(igla): Wave Loop 804 — [427][2]^6 Pt AoS var call signed writes #1538 feat(igla): Wave Loop 804 — [427][2]^6 Pt AoS var call signed writes | Created: 2026-07-26 | Updated: 2026-07-26 | 6 failing / 26 total
• feat(igla): Wave Loop 803 — [425][2]^6 Pt AoS var call signed writes #1536 feat(igla): Wave Loop 803 — [425][2]^6 Pt AoS var call signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 5 failing / 26 total
• feat(igla): Wave Loop 802 — [423][2]^6 Pt AoS var call signed writes #1534 feat(igla): Wave Loop 802 — [423][2]^6 Pt AoS var call signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 5 failing / 26 total
• feat(igla): Wave Loop 801 — module-scope [421][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes #1532 feat(igla): Wave Loop 801 — module-scope [421][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 5 failing / 25 total
• feat(igla): Wave Loop 800 — module-scope [419][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes #1530 feat(igla): Wave Loop 800 — module-scope [419][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 5 failing / 25 total
• feat(igla): Wave Loop 799 — module-scope [417][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1528 feat(igla): Wave Loop 799 — module-scope [417][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 0 failing / 8 total
• feat(igla): Wave Loop 798 — module-scope [415][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1526 feat(igla): Wave Loop 798 — module-scope [415][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 5 failing / 25 total
• feat(igla): Wave Loop 797 — module-scope [413][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1524 feat(igla): Wave Loop 797 — module-scope [413][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 4 failing / 25 total
• feat(igla): Wave Loop 796 — module-scope [411][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1522 feat(igla): Wave Loop 796 — module-scope [411][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 4 failing / 25 total
• Wave Loop 795 — module-scope [409][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1520 Wave Loop 795 — module-scope [409][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-25 | Updated: 2026-07-25 | 4 failing / 25 total
• Wave Loop 794 — module-scope [407][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1518 Wave Loop 794 — module-scope [407][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
• Wave Loop 793 — module-scope [405][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1516 Wave Loop 793 — module-scope [405][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
• docs(trinity): Wave Loop 792 closeout — [403][2]^6 Pt module-scope AoS (Closes #1513) #1514 docs(trinity): Wave Loop 792 closeout — [403][2]^6 Pt module-scope AoS (Closes #1513) | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• Wave Loop 791 — module-scope [401][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1512 Wave Loop 791 — module-scope [401][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 790 — module-scope [399][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1510 feat(igla): Wave Loop 790 — module-scope [399][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 789 — module-scope [397][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1508 feat(igla): Wave Loop 789 — module-scope [397][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 788 — module-scope [395][2]^6 Pt non-power-of-two outer-dimension AoS var from call #1506 feat(igla): Wave Loop 788 — module-scope [395][2]^6 Pt non-power-of-two outer-dimension AoS var from call | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 787 — module-scope [393][2]^6 Pt non-power-of-two outer-dimension AoS var from call #1504 feat(igla): Wave Loop 787 — module-scope [393][2]^6 Pt non-power-of-two outer-dimension AoS var from call | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• Wave Loop 786: module-scope [391][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable #1502 Wave Loop 786: module-scope [391][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• Wave Loop 785: module-scope [389][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable #1500 Wave Loop 785: module-scope [389][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable | Created: 2026-07-24 | Updated: 2026-07-24 | 4 failing / 25 total
• feat(igla): Wave Loop 784 — module-scope [387][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1498 feat(igla): Wave Loop 784 — module-scope [387][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 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 | 4 failing / 25 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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	48
PRs with All Checks Green	2
READY	1
FAILING	48
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).