Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion conformance/witness/gf1024/gf1024_decode_ref.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
"""
import json
import re
import os
import sys
from fractions import Fraction

Expand Down Expand Up @@ -158,7 +159,8 @@ def check_pack(pack_path):

if __name__ == "__main__":
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/gf1024_work/gf1024_pack.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf1024_conformance_v0.json")
ok, tot, fails = check_pack(p)
print(f"gf1024 golden (Fraction exact oracle) vs pack: {ok}/{tot} exact "
f"[e={E} m={M} bias={BIAS}]")
Expand Down
4 changes: 3 additions & 1 deletion conformance/witness/gf128/gf128_decode_ref.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
"""
import json
import re
import os
import sys
from fractions import Fraction

Expand Down Expand Up @@ -158,7 +159,8 @@ def check_pack(pack_path):

if __name__ == "__main__":
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/gf128_work/gf128_pack.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf128_conformance_v0.json")
ok, tot, fails = check_pack(p)
print(f"gf128 golden (Fraction exact oracle) vs pack: {ok}/{tot} exact "
f"[e={E} m={M} bias={BIAS}]")
Expand Down
4 changes: 3 additions & 1 deletion conformance/witness/gf256/gf256_decode_ref.py
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@
"""
import json
import re
import os
import sys
from fractions import Fraction

Expand Down Expand Up @@ -152,7 +153,8 @@ def check_pack(pack_path):

if __name__ == "__main__":
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/gf256_witness/gf256_wide_pack.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf256_conformance_v0.json")
ok, tot, fails = check_pack(p)
print(f"gf256 golden (Fraction exact oracle) vs pack: {ok}/{tot} exact "
f"[e={E} m={M} bias={BIAS}]")
Expand Down
4 changes: 3 additions & 1 deletion conformance/witness/gf48_fp64/gf48_decode_ref.py
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
import os
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Expand Down Expand Up @@ -161,7 +162,8 @@ def python_check_pack(pack_path):
if __name__ == "__main__":
import sys
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/t27/conformance/vectors/gf48_conformance_v0.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf48_conformance_v0.json")
ok, tot, fails = python_check_pack(p)
print(f"gf48 golden (Fraction, FP64-target) vs pack: {ok}/{tot} exact")
for lbl, msg in fails:
Expand Down
4 changes: 3 additions & 1 deletion conformance/witness/gf512/gf512_decode_ref.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
"""
import json
import re
import os
import sys
from fractions import Fraction

Expand Down Expand Up @@ -158,7 +159,8 @@ def check_pack(pack_path):

if __name__ == "__main__":
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/gf512_work/gf512_pack.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf512_conformance_v0.json")
ok, tot, fails = check_pack(p)
print(f"gf512 golden (Fraction exact oracle) vs pack: {ok}/{tot} exact "
f"[e={E} m={M} bias={BIAS}]")
Expand Down
4 changes: 3 additions & 1 deletion conformance/witness/gf96/gf96_decode_ref.py
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
"""
import json
import re
import os
import sys
from fractions import Fraction

Expand Down Expand Up @@ -158,7 +159,8 @@ def check_pack(pack_path):

if __name__ == "__main__":
p = sys.argv[1] if len(sys.argv) > 1 else \
"/home/user/workspace/gf96_work/gf96_pack.json"
os.path.join(os.path.dirname(os.path.abspath(__file__)),
"..", "..", "vectors", "gf96_conformance_v0.json")
ok, tot, fails = check_pack(p)
print(f"gf96 golden (Fraction exact oracle) vs pack: {ok}/{tot} exact "
f"[e={E} m={M} bias={BIAS}]")
Expand Down
20 changes: 20 additions & 0 deletions docs/NOW.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,23 @@
# NOW — witness: wide-rung decode refs resolve their pack inside the repository (2026-08-01)

Last updated: 2026-08-01

## witness: wide-rung decode refs resolve their pack inside the repository (Closes #1581)

- Branch: `fix/witness-default-paths`
- Issue: #1581
- PR: #1582

### Что легло
- All six wide-rung witness decode references defaulted to a path under `/home/user/workspace` when run with no argument, so the file a `witnesses[]` entry names failed on every machine but the one it was written on. The default now resolves relative to the script's own location.

### Границы честности (BINDING)
- The witnesses themselves were sound: given the in-repo pack explicitly, gf128 already reported 15/15 exact at abs_error=0. Only the default lookup was wrong; no decoding changes.
- All six run standalone afterwards, gf48 through gf1024, each at abs_error=0.
- The `cross_check_representative.py` scripts were never affected — they import these modules and never reach `__main__`.

---

# NOW — ci: gate INDEX_all_formats.json against the packs it summarises (2026-08-01)

Last updated: 2026-08-01
Expand Down
Loading