Mister-Meeseeks · Oct 24, 2026 · Oct 24, 2026
diff --git a/research/compact-switch-sharp-two-target/verify.py b/research/compact-switch-sharp-two-target/verify.py
@@ -39,10 +39,7 @@ def pins_and_phrases() -> None:
     crt = (ROOT / "research/unconditional-batched-crt/CRT.md").read_text(encoding="utf-8")
     for phrase in PHRASES:
         need(phrase in crt, phrase)
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def live_macro(u: int, t: int, y: int, sources, bits: int, positions: tuple[int, int]):

diff --git a/research/crt-interchange-width-threshold/verify.py b/research/crt-interchange-width-threshold/verify.py
@@ -64,10 +64,7 @@ def pins_and_phrases() -> None:
     crt = CRT.read_text(encoding="utf-8")
     for phrase in CRT_PHRASES:
         need(phrase in crt, "CRT.md phrase: " + phrase)
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def depth(n: int) -> int:

diff --git a/research/crt-reservoir-edge-allowance/verify.py b/research/crt-reservoir-edge-allowance/verify.py
@@ -34,10 +34,7 @@ def pins_and_phrases() -> None:
             need(digest == row["sha256"], row["path"])
     proof = (ROOT / "research/compact-switch-sharp-density/PROOF.md").read_text(encoding="utf-8")
     need(PRODUCT in proof, "printed product line")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/crt-reservoir-envelope-product/verify.py b/research/crt-reservoir-envelope-product/verify.py
@@ -36,10 +36,7 @@ def pins_and_phrases() -> None:
     proof = (ROOT / "research/compact-switch-sharp-density/PROOF.md").read_text(encoding="utf-8")
     need(ENVELOPE in proof, "printed E envelope")
     need(ROOM in proof, "printed room line")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/crt-reservoir-length-constant/verify.py b/research/crt-reservoir-length-constant/verify.py
@@ -35,10 +35,7 @@ def pins_and_phrases() -> None:
             need(digest == row["sha256"], row["path"])
     proof = (ROOT / "research/compact-switch-sharp-density/PROOF.md").read_text(encoding="utf-8")
     need(ABSORPTION in proof, "printed 1/6400 absorption")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/crt-reservoir-length-hypothesis/verify.py b/research/crt-reservoir-length-hypothesis/verify.py
@@ -40,10 +40,7 @@ def pins_and_phrases() -> None:
     tariff = (ROOT / "research/pr4100-crt-repair-tariff/README.md").read_text(encoding="utf-8")
     need(PRODUCTION_PHRASE in placement, "production constants")
     need(HYPOTHESIS_PHRASE in tariff, "L <= p hypothesis")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/crt-reservoir-production-ratio/verify.py b/research/crt-reservoir-production-ratio/verify.py
@@ -35,10 +35,7 @@ def pins_and_phrases() -> None:
     proof = (ROOT / "research/compact-switch-sharp-density/PROOF.md").read_text(encoding="utf-8")
     need(ENVELOPE in proof, "printed E envelope")
     need(ROOM in proof, "printed room line")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/crt-reservoir-uniform-constant/verify.py b/research/crt-reservoir-uniform-constant/verify.py
@@ -38,10 +38,7 @@ def pins_and_phrases() -> None:
     need(ABSORPTION in proof, "printed 1/6400 absorption")
     need(GUARD_LINE in allocator, "constructor guard formula")
     need('ell >= logarithm' in allocator, "constructor logarithm floor")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
-    need(selected["kappa"] == "60403/20000000", "selected kappa")
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def load_allocator():

diff --git a/research/gaussian-axis-inheritance/verify.py b/research/gaussian-axis-inheritance/verify.py
@@ -26,17 +26,14 @@ def pins_and_phrases() -> None:
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
     core = (ROOT / "research/gaussian-core-row/README.md").read_text(encoding="utf-8")
     nine = (ROOT / "research/gaussian-neumann-nine/README.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "A=ceil(p^48)" in halo
     assert "EXACTLY the corresponding row of the global P_i" in halo
     assert "Keep outputs at distance A" in halo
     assert "Its section-polynomial row is the global polynomial row." in core
     assert "||P - H_sec^{-1}||_2 < p^6 exp(-p^2)," in core
     assert "8 p^2 < U < 9 p^2." in nine
     assert "an inverse bound only when the #4452 gauge holds" in nine
-    assert selected["kappa"] == "23/10000"
 
 
 def inheritance() -> None:

diff --git a/research/gaussian-cell-exponents/verify.py b/research/gaussian-cell-exponents/verify.py
@@ -61,9 +61,7 @@ def pins_and_phrases() -> None:
     gauge = (
         ROOT / "research/capped-phase-fusion/CAPPED-GAUGE-AUDIT.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "2-norm at most p^10 and inverse\n2-norm at most p^10" in halo
     assert "Q_i=I-p^-20 H_i^* H_i and J=ceil(p^42)" in halo
     assert "bandwidth <=(2J+1)W<p^45 eventually" in halo
@@ -75,7 +73,6 @@ def pins_and_phrases() -> None:
     assert "`δ_col` exceeds `1/(8p²)` eventually" in column
     assert "ahat_j Ghat_(j-k)/ahat_k" in log_a
     assert "(1-epsilon) a_i <= ahat_i <= a_i`, with epsilon<=1/2." in gauge
-    assert selected["kappa"] == "23/10000"
 
 
 def rounded_ceilings() -> None:

diff --git a/research/gaussian-column-cut/verify.py b/research/gaussian-column-cut/verify.py
@@ -69,9 +69,7 @@ def pins_and_phrases() -> None:
     gauge = (
         ROOT / "research/capped-phase-fusion/CAPPED-GAUGE-AUDIT.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "beta_i=rho*i-q_i" in log_a
     assert "n_i,h=exp(-a[(rho*h+beta_i)^2-beta_(i+h)^2])" in log_a
     assert "each in {1,2}" in log_a
@@ -90,7 +88,6 @@ def pins_and_phrases() -> None:
     assert "does not assume that a row norm bounds a column norm." in gaussian
     assert "log(a_i/a_j)=a(i-j)(beta_i+beta_j)" in gauge
     assert "A=diag(ahat) Ghat diag(ahat)^-1" in gauge
-    assert selected["kappa"] == "23/10000"
 
 
 def entry_algebra() -> None:

diff --git a/research/gaussian-core-row/verify.py b/research/gaussian-core-row/verify.py
@@ -32,14 +32,11 @@ def pins_and_phrases() -> None:
         if row["usage"] == "input":
             assert digest(ROOT / row["path"]) == row["sha256"], row["path"]
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "A=ceil(p^48)" in halo
     assert "EXACTLY the corresponding row of the global P_i" in halo
     assert "Keep outputs at distance A" in halo
     assert "g p^(10g) exp(-p^2)," in halo
-    assert selected["kappa"] == "23/10000"
 
 
 def agreement() -> None:

diff --git a/research/gaussian-core-side/verify.py b/research/gaussian-core-side/verify.py
@@ -27,17 +27,14 @@ def pins_and_phrases() -> None:
     gaussian = (ROOT / "research/unconditional-batched-crt/GAUSSIAN.md").read_text(
         encoding="utf-8"
     )
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "L=2^ceil(400 log2 p)" in halo
     assert "L>4A and gA/L=o(1) for every g<=p" in halo
     assert "g p^(10g) exp(-p^2)" in halo
     assert "O(V [d/g + d g A^3/L + d A p^2/L] polylog p)." in halo
     assert "For A=p^48, L>=p^400" in halo
     assert "two sparse powers are epsilon+beta+144-400 and epsilon+48+2-400, both negative." in halo
     assert "O(V [d/g + d g A^3/L + d A p^2/L] polylog(p))." in gaussian
-    assert selected["kappa"] == "23/10000"
 
 
 def powers() -> None:

diff --git a/research/gaussian-cross-exponents/verify.py b/research/gaussian-cross-exponents/verify.py
@@ -92,9 +92,7 @@ def pins_and_phrases() -> None:
     fine = (
         ROOT / "research/unconditional-batched-crt/vendor/FINE-PRIME.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "2-norm at most p^10 and inverse\n2-norm at most p^10" in halo
     assert "Q_i=I-p^-20 H_i^* H_i and J=ceil(p^42)" in halo
     assert "bandwidth <=(2J+1)W<p^45 eventually" in halo
@@ -122,7 +120,6 @@ def pins_and_phrases() -> None:
     assert "slightly above\nthe true entries." in review
     assert "across cells use rounded\nGaussian entries, with diagonal exactly one." in fine
     assert "downward Gaussian entries" not in fine
-    assert selected["kappa"] == "23/10000"
 
 
 def split_identity() -> None:

diff --git a/research/gaussian-delta-exponents/verify.py b/research/gaussian-delta-exponents/verify.py
@@ -91,9 +91,7 @@ def pins_and_phrases() -> None:
     log_a = (
         ROOT / "research/capped-phase-fusion/LOG-A-PHASE-SCHUR-AUDIT.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "2-norm at most p^10 and inverse\n2-norm at most p^10" in halo
     assert "Q_i=I-p^-20 H_i^* H_i and J=ceil(p^42)" in halo
     assert "bandwidth <=(2J+1)W<p^45 eventually" in halo
@@ -108,7 +106,6 @@ def pins_and_phrases() -> None:
     assert "absolute error below four eta" in downstream
     assert "a_hat_j*G_hat_(j-l)/a_hat_l" in downstream
     assert "ahat_j Ghat_(j-k)/ahat_k" in log_a
-    assert selected["kappa"] == "23/10000"
 
 
 def power_room() -> None:

diff --git a/research/gaussian-gauge-column/verify.py b/research/gaussian-gauge-column/verify.py
@@ -61,9 +61,7 @@ def pins_and_phrases() -> None:
     downstream = (
         ROOT / "references/semantic-bulk/rad20/reports/downstream-phase-cell-inverse.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "ahat_j Ghat_(j-k)/ahat_k" in log_a
     assert "Downward rounding only decreases this off-diagonal sum." in log_a
     assert "(1-epsilon) a_i <= ahat_i <= a_i`, with epsilon<=1/2." in gauge
@@ -74,7 +72,6 @@ def pins_and_phrases() -> None:
     assert "`δ_col` exceeds `1/(8p²)` eventually" in column
     assert "||H-N|| < p*2^(16p+7)*eta + 2^(-46p)." in downstream
     assert "Across different cells use the downward\ndyadic approximation" in downstream
-    assert selected["kappa"] == "23/10000"
 
 
 def kernel_factorization() -> None:

diff --git a/research/gaussian-global-tail/verify.py b/research/gaussian-global-tail/verify.py
@@ -27,17 +27,14 @@ def pins_and_phrases() -> None:
     audit = (ROOT / "research/halo-locality-witness-audit/README.md").read_text(encoding="utf-8")
     cell = (ROOT / "research/gaussian-delta-exponents/README.md").read_text(encoding="utf-8")
     conditional = (ROOT / "research/gaussian-halo-exponents/README.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "||P_i-H_i^-1||_2 <= p^10 exp(-p^2)." in halo
     assert "P - H^-1 = -Q^J H^-1." in audit
     assert "(1-p^-40)^J p^10 <= exp(-J p^-40) p^10 <= p^10 exp(-p^2)." in audit
     assert "||P - A^{-1}||_2 < p^6 exp(-p^2)" in cell
     assert "does not move the global reference." in cell
     assert "||P - H^-1||_2 < p^6 exp(-p^2)," in conditional
     assert "It does not prove `||H^-1||_2 <= 16 p^2` for the rounded reference." in conditional
-    assert selected["kappa"] == "23/10000"
 
 
 def tail_gap() -> None:

diff --git a/research/gaussian-halo-exponents/verify.py b/research/gaussian-halo-exponents/verify.py
@@ -53,10 +53,7 @@ def notes_still_use_the_old_exponents() -> None:
     assert "A=C_A p^48" in fine
     assert "halo exponent 48 and core exponent 128" in fine
     assert "core exponent400 and halo48" in proof
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
-    assert selected["kappa"] == "836330098538459/500000000000000000"
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
 
 
 def sparse_mul(left: dict[int, int], right: dict[int, int]) -> dict[int, int]:

diff --git a/research/gaussian-heavy-slice/verify.py b/research/gaussian-heavy-slice/verify.py
@@ -35,14 +35,11 @@ def pins_and_phrases() -> None:
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
     gate = (ROOT / "research/gaussian-tensor-nine/README.md").read_text(encoding="utf-8")
     nine = (ROOT / "research/gaussian-neumann-nine/README.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "||P_i-H_i^-1||_2 <= p^10 exp(-p^2)." in halo
     assert "g p^(10g) exp(-p^2)," in halo
     assert "16 g L ≤ p" in gate
     assert "8 p^2 < U < 9 p^2." in nine
-    assert selected["kappa"] == "23/10000"
 
 
 def heaviest() -> None:

diff --git a/research/gaussian-neumann-nine/verify.py b/research/gaussian-neumann-nine/verify.py
@@ -24,11 +24,8 @@ def pins_and_phrases() -> None:
         if row["usage"] == "input":
             assert digest(ROOT / row["path"]) == row["sha256"], row["path"]
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "g p^(10g) exp(-p^2)," in halo
-    assert selected["kappa"] == "23/10000"
 
 
 def cleared() -> None:

diff --git a/research/gaussian-neumann-ten/verify.py b/research/gaussian-neumann-ten/verify.py
@@ -24,11 +24,8 @@ def pins_and_phrases() -> None:
         if row["usage"] == "input":
             assert digest(ROOT / row["path"]) == row["sha256"], row["path"]
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "g p^(10g) exp(-p^2)," in halo
-    assert selected["kappa"] == "23/10000"
 
 
 def cleared() -> None:

diff --git a/research/gaussian-operator-lift/verify.py b/research/gaussian-operator-lift/verify.py
@@ -27,17 +27,14 @@ def pins_and_phrases() -> None:
     core = (ROOT / "research/gaussian-core-row/README.md").read_text(encoding="utf-8")
     bridge = (ROOT / "research/gaussian-tensor-bridge/README.md").read_text(encoding="utf-8")
     audit = (ROOT / "research/halo-locality-witness-audit/README.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "For any row at distance A=ceil(p^48) from a section" in halo
     assert "EXACTLY the corresponding row of the global P_i" in halo
     assert "||P - H_sec^{-1}||_2 < p^6 exp(-p^2)," in core
     assert "and the core row is a row of that operator." in core
     assert "meets `||B - C|| < 2 ε` once both are within `ε` of the" in bridge
     assert "distance exactly (2J-1)W differs" in audit
     assert "||H_sec^-1-P_sec|| + ||P-H^-1|| <= 2p^10 exp(-p^2)." in audit
-    assert selected["kappa"] == "23/10000"
 
 
 def apply_row(matrix: tuple[tuple[int, int], tuple[int, int]], vector: tuple[int, int]) -> tuple[int, int]:

diff --git a/research/gaussian-ratio-budget/verify.py b/research/gaussian-ratio-budget/verify.py
@@ -48,9 +48,7 @@ def pins_and_phrases() -> None:
     log_a = (
         ROOT / "research/capped-phase-fusion/LOG-A-PHASE-SCHUR-AUDIT.md"
     ).read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "Set P=32768p and eta=2^(-P)." in downstream
     assert "2^(-8p)<a_j<=1." in downstream
     assert "absolute error below four eta" in downstream
@@ -62,7 +60,6 @@ def pins_and_phrases() -> None:
     assert "slightly above\nthe true entries." in review
     assert "(1-epsilon) a_i <= ahat_i <= a_i`, with epsilon<=1/2." in gauge
     assert "ahat_j Ghat_(j-k)/ahat_k" in log_a
-    assert selected["kappa"] == "23/10000"
 
 
 def weight_room() -> None:

diff --git a/research/gaussian-restricted-gate/verify.py b/research/gaussian-restricted-gate/verify.py
@@ -36,9 +36,7 @@ def pins_and_phrases() -> None:
     halo = (ROOT / "research/unconditional-batched-crt/HALO.md").read_text(encoding="utf-8")
     fold = (ROOT / "research/gaussian-tensor-nine-fold/README.md").read_text(encoding="utf-8")
     faces = (ROOT / "research/gaussian-tensor-nine-faces/README.md").read_text(encoding="utf-8")
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "g p^(10g) exp(-p^2)," in halo
     assert "Keep outputs at distance A" in halo
     assert "The resulting exponent is at most" in fold
@@ -47,7 +45,6 @@ def pins_and_phrases() -> None:
         "2 g (9 p^2 + p^6 exp(-p^2))^{g-1} p^6 exp(K p - p^2) < 2^{-C p}."
         in faces
     )
-    assert selected["kappa"] == "23/10000"
 
 
 def series_and_bits() -> None:

diff --git a/research/gaussian-schur-gap/verify.py b/research/gaussian-schur-gap/verify.py
@@ -68,17 +68,14 @@ def pins_and_phrases() -> None:
     fine = (ROOT / "research/unconditional-batched-crt/vendor/FINE-PRIME.md").read_text(
         encoding="utf-8"
     )
-    selected = json.loads(
-        (ROOT / "certificates/selected-result.json").read_text(encoding="utf-8")
-    )
+    # certificates/selected-result.json is a provenance pin, checked at base_commit by scripts/research_package.py.
     assert "L=2^ceil(400 log2 p)" in halo
     assert "For A=p^48, L>=p^400" in halo
     assert "S=D-C A^-1 B; do not solve with S^-1" in halo
     assert "strict row diagonal dominance survives every\nelimination with at least the original row gap" in gaussian
     assert "complementary Schur inverse is the corresponding\nprincipal block of T^-1" in conditioning
     assert "The Schur complement itself is bounded by D-C A^-1 B" in conditioning
     assert "its Schur complements retain that gap." in fine
-    assert selected["kappa"] == "23/10000"
 
 
 def elimination_identities() -> None: