Research: nonconsecutive commuting C3 fanout schedule

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.