fix(witness): resolve the wide-rung pack defaults inside the repository

[gHashTag]

The six wide-rung witness decode references default to an absolute path under /home/user/workspace when run with no argument:

if __name__ == "__main__":
    p = sys.argv[1] if len(sys.argv) > 1 else \
        "/home/user/workspace/gf128_work/gf128_pack.json"

gf128/gf128_decode_ref.py:161     /home/user/workspace/gf128_work/gf128_pack.json
gf96/gf96_decode_ref.py:161       /home/user/workspace/gf96_work/gf96_pack.json
gf512/gf512_decode_ref.py:161     /home/user/workspace/gf512_work/gf512_pack.json
gf1024/gf1024_decode_ref.py:161   /home/user/workspace/gf1024_work/gf1024_pack.json
gf256/gf256_decode_ref.py:155     /home/user/workspace/gf256_witness/gf256_wide_pack.json
gf48_fp64/gf48_decode_ref.py:164  /home/user/workspace/t27/conformance/vectors/gf48_conformance_v0.json

So the file a witnesses[] entry names fails on every machine but the one it was written on:

$ python3 gf128_decode_ref.py
FileNotFoundError: [Errno 2] No such file or directory:
  '/home/user/workspace/gf128_work/gf128_pack.json'

This matters more than an ordinary broken default, because these are the artifacts honesty rule #10 points a sceptical reader at. Following the witness trail and running the named file is the first thing anyone checking the corpus does, and it currently fails.

The witnesses themselves are sound

Passing the in-repo pack explicitly gives the claimed result immediately:

$ python3 gf128_decode_ref.py ../../vectors/gf128_conformance_v0.json
gf128 golden (Fraction exact oracle) vs pack: 15/15 exact  [e=49 m=78 bias=281474976710655]
VERDICT: gf128 Fraction-oracle path agrees with pack, abs_error=0

Nothing about the decoding is wrong — only where the default input is looked up. The cross_check_representative.py scripts are unaffected, since they import these modules rather than invoking __main__; all three reproduce 201,512/201,512 agreeing codes.

Fix

Resolve the default relative to the script's own location. After the change all six run standalone:

gf48_fp64   gf48 golden (Fraction, FP64-target) vs pack: 15/15 exact
gf96        VERDICT: gf96 Fraction-oracle path agrees with pack, abs_error=0
gf128       VERDICT: gf128 Fraction-oracle path agrees with pack, abs_error=0
gf256       VERDICT: gf256 Fraction-oracle path agrees with pack, abs_error=0
gf512       VERDICT: gf512 Fraction-oracle path agrees with pack, abs_error=0
gf1024      VERDICT: gf1024 Fraction-oracle path agrees with pack, abs_error=0

Related, not fixed here

A wider sweep of scripts/ found 32 files carrying /Users/playra/t27 — another absolute home directory, on a machine that is not the repository. None is referenced by any workflow, so CI is unaffected, and they are left alone rather than bulk-edited. Reported for visibility: scripts/gen_w367_lean.py through gen_w392_lean.py and scripts/fix_v09_latex.py among them.

Closes #1581

[github-actions]

PR Dashboard

Generated at: 2026-07-31 17:23:22 UTC

• fix(witness): resolve the wide-rung pack defaults inside the repository #1582 fix(witness): resolve the wide-rung pack defaults inside the repository | Created: 2026-07-31 | Updated: 2026-07-31 | 9 failing / 19 total
• ci(conformance): gate INDEX_all_formats.json against the packs it summarises #1578 ci(conformance): gate INDEX_all_formats.json against the packs it summarises | Created: 2026-07-31 | Updated: 2026-07-31 | 1 failing / 19 total
• fix(conformance): make the pack generator runnable from a clean checkout #1576 fix(conformance): make the pack generator runnable from a clean checkout | Created: 2026-07-31 | Updated: 2026-07-31 | 1 failing / 23 total
• feat(igla): Wave Loop 822 — module-scope [463][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1572 feat(igla): Wave Loop 822 — module-scope [463][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-30 | Updated: 2026-07-30 | 1 failing / 3 total
• feat(igla): Wave Loop 821 — module-scope [461][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1571 feat(igla): Wave Loop 821 — module-scope [461][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-30 | Updated: 2026-07-30 | 1 failing / 3 total
• feat(igla): Wave Loop 820 — module-scope [459][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1569 feat(igla): Wave Loop 820 — module-scope [459][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-30 | Updated: 2026-07-30 | 1 failing / 3 total
• feat(igla): Wave Loop 819 — module-scope [457][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1567 feat(igla): Wave Loop 819 — module-scope [457][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-30 | Updated: 2026-07-30 | 1 failing / 3 total
• feat(igla): Wave Loop 818 — module-scope [455][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1566 feat(igla): Wave Loop 818 — module-scope [455][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-07-30 | Updated: 2026-07-30 | 1 failing / 3 total
• feat(igla): Wave Loop 817 — module-scope [453][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1563 feat(igla): Wave Loop 817 — module-scope [453][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 | 1 failing / 3 total
• feat(igla): Wave Loop 816 — module-scope [451][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1560 feat(igla): Wave Loop 816 — module-scope [451][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 | 1 failing / 3 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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	41
PRs with All Checks Green	9
READY	1
FAILING	41
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=d6b51a3bcc20 != 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.