Conditional κ = 0.00296 via query-thinned productive controllers (+10.18%)

docs/ci-verification.md

@@ -2,6 +2,18 @@
 
 ## Current selected-family replay
 
+Resolve the [selected record](../certificates/selected-result.json) before
+running a historical checkpoint. The current cold replay is
+`make frontier4359-verify`, using the
+[proof review](research/pr-intake-evidence/pr4359/PROOF-REVIEW.md),
+[validation](research/pr-intake-evidence/pr4359/VALIDATION.json) and
+[source manifest](../certificates/frontier4359-source.json).
+The [frontier4359 workflow](../.github/workflows/frontier4359.yml) provides
+hosted replay evidence. Metadata and source-pin checks are separate from
+operator replay and do not discharge the inherited theorem assumptions.
+
+## Historical frontier1094 replay
+
 Start with the [selected record](../certificates/selected-result.json). Its
 `reproduce`, `review`, `source_manifest` and `validation` fields identify the
 replay command, scoped assessment, source bindings and integration evidence.

docs/research/current-status.md

@@ -1,12 +1,14 @@
 # Current reviewed status
 
-Selected conditional κ: **0.0023 = 23/10000**, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.
+Selected conditional κ: **0.0023** (= 23/10000), zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage.
 
 [Selected record](../../certificates/selected-result.json) · [Proof review](pr-intake-evidence/pr4359/PROOF-REVIEW.md) · [Integration receipt](pr-intake-evidence/pr4359/INTEGRATION.json) · [Contributors](community-productive4359-contributors.md).
 
 Cold replay: `make frontier4359-verify`. The fresh 23-stage replay and 59 normalized artifacts pass; the changed interfaces have an AI-assisted proof review under retained analytic/native/fixed-tape hypotheses. Winning uniform templates are not materialized. This is not a complete formal or independent human verification. #4404 independently checks a narrower arithmetic/flow scope.
 
-## Historical selected status through #1094
+All sections below are a historical snapshot; the selected-result.json record above is authoritative.
+
+## Historical checkpoint through #1094
 
 Historical selected conditional κ: **0.001672660197076918**, Rohan Arun's #1094 on Jeremy Kothe's #1087 packing and the cumulative k8/slot/T16 construction. The bit supplier remains #589 on #555.
 

research/d8-mixed-target-seeda97c8e/SOURCES.json

@@ -4,25 +4,25 @@
   "files": [
     {
       "path": "autoresearch.md",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "8d5403e0f10f68a61d0cb9294fa2e83e872d1d82",
       "sha256": "215b3222f6a943edc69422a28ac21ea1f397ddf54770f1d87ac4195385d73699"
     },
     {
       "path": "certificates/selected-result.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11",
       "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32"
     },
     {
       "path": "docs/research/agent-task-catalog.json",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1",
       "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075"
     },
     {
       "path": "docs/research/current-status.md",
-      "usage": "input",
+      "usage": "provenance",
       "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c",
       "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77"
     },

research/d8-mixed-target-seeda97c8e/VERIFY.json

@@ -4,10 +4,6 @@
   "python": "3.12",
   "requirements": [],
   "inputs": [
-    "autoresearch.md",
-    "certificates/selected-result.json",
-    "docs/research/agent-task-catalog.json",
-    "docs/research/current-status.md",
     "research/bit-three-register-lower-bound/README.md",
     "research/d8-mixed-target-seeda97c8e/verify.py"
   ],

research/historical-1042-link/RESULT.json

@@ -2,8 +2,9 @@
   "historical_href": "../../certificates/selected-result.json",
   "checkpoint": "certificates/checkpoints/frontier1042.json",
   "historical_kappa": "1672188119205421/1000000000000000000",
-  "live_kappa": "836330098538459/500000000000000000",
+  "live_kappa": "23/10000",
   "same_href": true,
   "kappas_differ": true,
-  "no_new_kappa": true
+  "no_new_kappa": true,
+  "intermediate_checkpoint": "certificates/checkpoints/frontier1094.json"
 }

research/historical-1042-link/SOURCES.json

@@ -11,20 +11,29 @@
     {
       "path": "docs/research/current-status.md",
       "usage": "input",
-      "git_blob": "4e0a8b7cdacc1d9680f7f81d03624118bb20416d",
-      "sha256": "00a08925c51b26d168b8099ddeed659ac4381f7e04f3c7fd0e9de8e71f206823"
+      "git_blob": "532af84312cbfeb39a1e4659d8398deb560f1e4a",
+      "sha256": "54c843968d0b178369a7e56161be44c4692935c3f46ce261678aeedadb309891",
+      "pin": "head:f3b4a3abfbf0aad28e4737be7ec38345f439c5fc:docs/research/current-status.md"
     },
     {
       "path": "certificates/selected-result.json",
       "usage": "input",
-      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
-      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+      "git_blob": "ed33caef5c5827693e9572d252a66f99cbb73d40",
+      "sha256": "5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9",
+      "pin": "head:f3b4a3abfbf0aad28e4737be7ec38345f439c5fc:certificates/selected-result.json"
     },
     {
       "path": "certificates/checkpoints/frontier1042.json",
       "usage": "input",
       "git_blob": "f451ced6626a1f03aba6915ce23a136b01ebe51d",
       "sha256": "207d1f49f113c585024b9d3c17eadbb8b1be17c1321e3d190aabe2f18ce1c5b7"
+    },
+    {
+      "path": "certificates/checkpoints/frontier1094.json",
+      "usage": "input",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129",
+      "pin": "head:f3b4a3abfbf0aad28e4737be7ec38345f439c5fc:certificates/checkpoints/frontier1094.json"
     }
   ]
 }

research/historical-1042-link/VERIFY.json

@@ -6,16 +6,25 @@
   "inputs": [
     "docs/research/current-status.md",
     "certificates/selected-result.json",
-    "certificates/checkpoints/frontier1042.json"
+    "certificates/checkpoints/frontier1042.json",
+    "certificates/checkpoints/frontier1094.json"
   ],
   "commands": [
     {
-      "argv": ["{python}", "-B", "{package}/verify.py"],
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/verify.py"
+      ],
       "timeout_seconds": 30,
       "checks": "Compare the #1042 status link with the live record and the frontier1042 checkpoint."
     },
     {
-      "argv": ["{python}", "-B", "{package}/test_verify.py"],
+      "argv": [
+        "{python}",
+        "-B",
+        "{package}/test_verify.py"
+      ],
       "timeout_seconds": 30,
       "checks": "Check the printed decimal and the historical section cut."
     }

research/historical-1042-link/verify.py

@@ -2,7 +2,8 @@
 """Separate the #1042 status link from the live selected record.
 
 The historical section states the #1042 kappa and links to the live record.
-The matching checkpoint is the selected record's previous_record field.
+The matching checkpoint is reached through the selected record's historical
+previous_record chain (currently via frontier1094).
 """
 
 import hashlib
@@ -16,6 +17,7 @@
 MARKER = "PASS_HISTORICAL_1042_LINK kappas_differ=true no_new_kappa"
 HREF = "../../certificates/selected-result.json"
 CHECKPOINT = "certificates/checkpoints/frontier1042.json"
+INTERMEDIATE = "certificates/checkpoints/frontier1094.json"
 SHOWN = "0.001672188119205421"
 
 
@@ -43,6 +45,7 @@ def authenticate():
         "docs/research/current-status.md",
         "certificates/selected-result.json",
         "certificates/checkpoints/frontier1042.json",
+        "certificates/checkpoints/frontier1094.json",
     }
     require(set(pinned) == expected, "input inventory changed")
     for path, row in pinned.items():
@@ -64,12 +67,15 @@ def evaluate():
     require(HREF in section, "the historical section lost the live-record link")
     require(SHOWN in section, "the historical kappa sentence moved")
     require(Fraction(SHOWN) == Fraction(old["kappa"]), "the checkpoint kappa left the printed decimal")
-    require(live["previous_record"] == CHECKPOINT, "the previous-record pointer moved")
+    require(live["previous_record"] == INTERMEDIATE, "the live previous-record pointer moved")
+    intermediate = json.loads((ROOT / INTERMEDIATE).read_text(encoding="utf-8"))
+    require(intermediate["previous_record"] == CHECKPOINT, "the checkpoint ancestry link moved")
     require(Fraction(live["kappa"]) != Fraction(old["kappa"]), "the live and historical kappas agree")
     require(text.index(HREF) < text.index("# Historical status through #1042"), "the live section lost its record link")
     return {
         "historical_href": HREF,
         "checkpoint": CHECKPOINT,
+        "intermediate_checkpoint": INTERMEDIATE,
         "historical_kappa": old["kappa"],
         "live_kappa": live["kappa"],
         "same_href": True,