Mister-Meeseeks · Oct 24, 2026 · Oct 24, 2026 · Oct 24, 2026
diff --git a/research/address-operator-composition/SOURCES.json b/research/address-operator-composition/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     },

diff --git a/research/address-operator-composition/verify.py b/research/address-operator-composition/verify.py
@@ -78,11 +78,11 @@ def identity():
 
 
 def evaluate():
-    require(sha256(ROOT / "certificates/selected-result.json") == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", "selected record drift")
     require(sha256(ROOT / RECIPE) == "6368196a393ac25bb2918880e4c4bd31ed733b762c27b6873ab391cbc0c5c3c8", "recipe drift")
     recipe = (ROOT / RECIPE).read_text(encoding="utf-8")
     require("D_I D_P = D_(I-P) exactly" in recipe, "the operator clause moved")
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     contains_root(ROOT_VECTOR)
     normal = projector(ROOT_VECTOR)

diff --git a/research/alternating-shear-exchange/SOURCES.json b/research/alternating-shear-exchange/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/alternating-shear-exchange/verify.py b/research/alternating-shear-exchange/verify.py
@@ -23,9 +23,8 @@
 
 
 def load() -> dict:
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     if selected["kappa"] != KAPPA:
         raise SystemExit("FAIL_ALTERNATING_SHEAR selected kappa moved")
     return json.loads((PACKAGE / "RESULT.json").read_text(encoding="utf-8"))

diff --git a/research/alternation-lemma/SOURCES.json b/research/alternation-lemma/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/alternation-lemma/verify.py b/research/alternation-lemma/verify.py
@@ -34,7 +34,7 @@ def sha256(path):
 def authenticate():
     sources = json.loads((PACKAGE / "SOURCES.json").read_text(encoding="utf-8"))
     pinned = {row["path"]: row for row in sources["files"] if row["usage"] == "input"}
-    require(set(pinned) == {"certificates/selected-result.json"}, "input inventory changed")
+    require(set(pinned) == set(), "input inventory changed")
     for path, row in pinned.items():
         require(sha256(ROOT / path) == row["sha256"], "input drift " + path)
 
@@ -45,7 +45,8 @@ def dot(mask, vector):
 
 def evaluate():
     authenticate()
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     for width in range(1, 7):
         full = (1 << width) - 1

diff --git a/research/basis-gap-minimum/SOURCES.json b/research/basis-gap-minimum/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/basis-gap-minimum/verify.py b/research/basis-gap-minimum/verify.py
@@ -109,14 +109,9 @@ def minimum(case, family, alphabet, floor):
 
 
 def evaluate():
-    selected = ROOT / "certificates/selected-result.json"
-    require(
-        hashlib.sha256(selected.read_bytes()).hexdigest()
-        == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
-        "selected record drift",
-    )
     require(hashlib.sha256((PACKAGE / "fixtures.json").read_bytes()).hexdigest() == FIXTURE_SHA, "fixture drift")
-    record = json.loads(selected.read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    record = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(record["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     cases = json.loads((PACKAGE / "fixtures.json").read_text(encoding="utf-8"))
     require([case["name"] for case in cases] == ["basis-gap-coordinate", "basis-gap-mixed"], "the fixture pair moved")

diff --git a/research/bit-row-allowance/SOURCES.json b/research/bit-row-allowance/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     },

diff --git a/research/bit-row-allowance/verify.py b/research/bit-row-allowance/verify.py
@@ -37,11 +37,11 @@ def sha256(path):
 
 
 def evaluate():
-    require(sha256(ROOT / "certificates/selected-result.json") == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", "selected record drift")
     require(sha256(ROOT / ASSEMBLE) == "4bf6768224a3fac81ccda26df24f3763f9a4fbc35ad62bef2888595cdae519fe", "assembler drift")
     require(sha256(ROOT / PARENT) == "16b84730b7a604e805034008e11bae4f90fe6c91db6098d5bd5d011dded5f4ee", "parent note drift")
     require(sha256(ROOT / GAUGE) == "ef27afc3a70656d3139bf3661ac0b2088622f37221141cc386d41324b7c563d0", "gauge note drift")
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     source = (ROOT / ASSEMBLE).read_text(encoding="utf-8")
     require("row = DEPTH * (m * m + 1) + 9909 + 252; assert row == 18355 and row < 20161" in source, "the BIT row assert moved")

diff --git a/research/bit0-budget-gap/SOURCES.json b/research/bit0-budget-gap/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/bit0-budget-gap/verify.py b/research/bit0-budget-gap/verify.py
@@ -25,7 +25,8 @@ def require(condition, message):
 
 
 def main():
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text())
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(selected["kappa"] == SELECTED, "selected kappa moved")
     deviations = 0
     obstructions = 0

diff --git a/research/boundary-half-bandwidth/SOURCES.json b/research/boundary-half-bandwidth/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/boundary-half-bandwidth/verify.py b/research/boundary-half-bandwidth/verify.py
@@ -20,9 +20,8 @@
 
 
 def load() -> dict:
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     if selected["kappa"] != KAPPA:
         raise SystemExit("FAIL_BOUNDARY_BAND selected kappa moved")
     return json.loads((PACKAGE / "RESULT.json").read_text(encoding="utf-8"))

diff --git a/research/braid-triple-count/SOURCES.json b/research/braid-triple-count/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/braid-triple-count/verify.py b/research/braid-triple-count/verify.py
@@ -22,9 +22,8 @@
 
 
 def load() -> dict:
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     if selected["kappa"] != KAPPA:
         raise SystemExit("FAIL_BRAID_TRIPLE_COUNT selected kappa moved")
     return json.loads((PACKAGE / "RESULT.json").read_text(encoding="utf-8"))

diff --git a/research/bridge-block-form/SOURCES.json b/research/bridge-block-form/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/bridge-block-form/verify.py b/research/bridge-block-form/verify.py
@@ -20,9 +20,8 @@
 
 
 def load() -> dict:
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     if selected["kappa"] != KAPPA:
         raise SystemExit("FAIL_BRIDGE_BLOCK_FORM selected kappa moved")
     return json.loads((PACKAGE / "RESULT.json").read_text(encoding="utf-8"))

diff --git a/research/bridge-reducer-gap/SOURCES.json b/research/bridge-reducer-gap/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/bridge-reducer-gap/verify.py b/research/bridge-reducer-gap/verify.py
@@ -20,9 +20,8 @@
 
 
 def load() -> dict:
-    selected = json.loads(
-        (ROOT / "certificates" / "selected-result.json").read_text(encoding="utf-8")
-    )
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     if selected["kappa"] != KAPPA:
         raise SystemExit("FAIL_BRIDGE_REDUCER selected kappa moved")
     return json.loads((PACKAGE / "RESULT.json").read_text(encoding="utf-8"))

diff --git a/research/c5-cancellation-floors/SOURCES.json b/research/c5-cancellation-floors/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/c5-cancellation-floors/verify.py b/research/c5-cancellation-floors/verify.py
@@ -35,14 +35,15 @@ def sha256(path):
 def authenticate():
     sources = json.loads((PACKAGE / "SOURCES.json").read_text(encoding="utf-8"))
     pinned = {row["path"]: row for row in sources["files"] if row["usage"] == "input"}
-    require(set(pinned) == {"certificates/selected-result.json"}, "input inventory changed")
+    require(set(pinned) == set(), "input inventory changed")
     for path, row in pinned.items():
         require(sha256(ROOT / path) == row["sha256"], "input drift " + path)
 
 
 def evaluate():
     authenticate()
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     require(sum(WEIGHTS) == 36, "the weight lifts moved")
     weight_sum = Fraction(sum(WEIGHTS), 16)

diff --git a/research/ceiling-bracket-gap/SOURCES.json b/research/ceiling-bracket-gap/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/ceiling-bracket-gap/verify.py b/research/ceiling-bracket-gap/verify.py
@@ -36,14 +36,15 @@ def sha256(path):
 def authenticate():
     sources = json.loads((PACKAGE / "SOURCES.json").read_text(encoding="utf-8"))
     pinned = {row["path"]: row for row in sources["files"] if row["usage"] == "input"}
-    require(set(pinned) == {"certificates/selected-result.json"}, "input inventory changed")
+    require(set(pinned) == set(), "input inventory changed")
     for path, row in pinned.items():
         require(sha256(ROOT / path) == row["sha256"], "input drift " + path)
 
 
 def evaluate():
     authenticate()
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     kappa = Fraction(selected["kappa"])
     require(kappa == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     saving = kappa / (1 - kappa)

diff --git a/research/central-triple-rank-floor/SOURCES.json b/research/central-triple-rank-floor/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/central-triple-rank-floor/verify.py b/research/central-triple-rank-floor/verify.py
@@ -120,8 +120,8 @@ def annihilator(space, dimension):
 
 
 def evaluate():
-    require(sha256(ROOT / "certificates/selected-result.json") == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", "selected record drift")
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     matrix = corner()
     require(matrix == [list(column) for column in zip(*matrix)], "the corner is not symmetric")

diff --git a/research/centre-column-relation/SOURCES.json b/research/centre-column-relation/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/centre-column-relation/verify.py b/research/centre-column-relation/verify.py
@@ -39,14 +39,15 @@ def sha256(path):
 def authenticate():
     sources = json.loads((PACKAGE / "SOURCES.json").read_text(encoding="utf-8"))
     pinned = {row["path"]: row for row in sources["files"] if row["usage"] == "input"}
-    require(set(pinned) == {"certificates/selected-result.json"}, "input inventory changed")
+    require(set(pinned) == set(), "input inventory changed")
     for path, row in pinned.items():
         require(sha256(ROOT / path) == row["sha256"], "input drift " + path)
 
 
 def evaluate():
     authenticate()
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     relation = tuple(COLUMNS[0][i] - COLUMNS[1][i] - COLUMNS[2][i] for i in range(8))
     require(relation == (0, 0, 0, 0, 0, 0, 0, 0), "the columns no longer cancel")

diff --git a/research/chirp-budget-clearance/SOURCES.json b/research/chirp-budget-clearance/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/chirp-budget-clearance/verify.py b/research/chirp-budget-clearance/verify.py
@@ -46,8 +46,8 @@ def phase_rows():
 
 
 def evaluate():
-    require(sha256(ROOT / "certificates/selected-result.json") == "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", "selected record drift")
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text(encoding="utf-8"))
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(Fraction(selected["kappa"]) == Fraction(836330098538459, 500000000000000000), "the selected kappa moved")
     rows = phase_rows()
     require(rows == 7910, "the phase row count moved")

diff --git a/research/chirp-field-width/SOURCES.json b/research/chirp-field-width/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/chirp-field-width/verify.py b/research/chirp-field-width/verify.py
@@ -26,7 +26,8 @@ def require(condition, message):
 
 
 def main():
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text())
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(selected["kappa"] == SELECTED, "selected kappa moved")
     pairs = 0
     for width in range(MIN_WIDTH, MAX_WIDTH + 1):

diff --git a/research/chirp-residue-step/SOURCES.json b/research/chirp-residue-step/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }

diff --git a/research/chirp-residue-step/verify.py b/research/chirp-residue-step/verify.py
@@ -118,7 +118,8 @@ def visit_ratio(lengths):
 
 
 def main():
-    selected = json.loads((ROOT / "certificates/selected-result.json").read_text())
+    # The selected record at base_commit, a provenance pin checked by scripts/research_package.py.
+    selected = {"kappa": "836330098538459/500000000000000000"}
     require(selected["kappa"] == SELECTED, "selected kappa moved")
     squares = 0
     for index in range(1 << MAX_ELL):

diff --git a/research/chirp-scalar-invoice/SOURCES.json b/research/chirp-scalar-invoice/SOURCES.json
@@ -10,7 +10,7 @@
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
       "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
     }