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

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

The six wide-rung witness decode references defaulted to an absolute 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:

  FileNotFoundError: '/home/user/workspace/gf128_work/gf128_pack.json'

That matters more than an ordinary broken default. These are the artifacts honesty
rule #10 points a sceptical reader at, and running the named file is the first
thing anyone checking the corpus does.

The witnesses themselves are sound. Passing the in-repo pack explicitly already
gave the claimed result -- gf128 15/15 exact, abs_error=0 -- so nothing about the
decoding changes here, only where the default input is looked up. The
cross_check_representative.py scripts were never affected, since they import these
modules rather than invoking __main__.

The default now resolves relative to the script's own location. All six run
standalone afterwards and print their own verdict at abs_error=0, gf48 through
gf1024.

Found by extending the pass-49 "just run everything" sweep to tools/ and scripts/,
after triaging 300 files by side effect so only the 79 with no write, exec, network
or git call were executed unattended.

Closes #1581

* docs(now): record #1582 in the coordination anchor

now-sync-gate requires every PR to master to update docs/NOW.md.
This PR predates my knowing that; the entry describes what it
lands and states its honesty limits, in the file's existing shape.

---------

Co-authored-by: gHashTag <admin@t27.ai>

Author: gHashTag

conformance/witness/gf1024/gf1024_decode_ref.py

@@ -34,6 +34,7 @@
 """
 import json
 import re
+import os
 import sys
 from fractions import Fraction
 
@@ -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}]")

conformance/witness/gf128/gf128_decode_ref.py

@@ -34,6 +34,7 @@
 """
 import json
 import re
+import os
 import sys
 from fractions import Fraction
 
@@ -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}]")

conformance/witness/gf256/gf256_decode_ref.py

@@ -36,6 +36,7 @@
 """
 import json
 import re
+import os
 import sys
 from fractions import Fraction
 
@@ -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}]")

conformance/witness/gf48_fp64/gf48_decode_ref.py

@@ -1,3 +1,4 @@
+import os
 #!/usr/bin/env python3
 # -*- coding: utf-8 -*-
 """
@@ -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:

conformance/witness/gf512/gf512_decode_ref.py

@@ -34,6 +34,7 @@
 """
 import json
 import re
+import os
 import sys
 from fractions import Fraction
 
@@ -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}]")

conformance/witness/gf96/gf96_decode_ref.py

@@ -34,6 +34,7 @@
 """
 import json
 import re
+import os
 import sys
 from fractions import Fraction
 
@@ -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}]")

docs/NOW.md

@@ -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