docs: record reviewed zeta slice C replay

docs/REPRODUCE.md

@@ -67,9 +67,11 @@ Gaussian-process short-bar statistics. Those runs need the pinned
 `requirements.txt` (numpy and mpmath) and the script commands in
 [the packet's §8](../experiments/zeta_fold_exploration/README.md#8-reproduce);
 `test_numeric` (six numeric smoke tests) skips without those modules. The packet
-makes no claim of progress toward the Riemann Hypothesis, and its §9 lists
-independent numerical reproduction (review slice C) as open; the packet records
-no slice C result.
+makes no claim of progress toward the Riemann Hypothesis, and its §9 records
+independent numerical reproduction (review slice C) as only partly done: a
+different-provider replay of its 59 commands is performed (record PASS, scoped),
+but the different-seed or independent Riemann–Siegel check, including the Edwards
+coefficients, is still open.
 
 ### Math- packages and the hardening branch
 

docs/RESEARCH_INDEX.md

@@ -20,7 +20,7 @@ Checked on 12 October 2026 against main `8977619e86d2f395b8e4947cf9a5e34082cc2c2
 
 6. **Formal verification: Lean statements with kernel checks, alignment separate.** The [cap-first-exit packet](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/cap_first_exit_lean_20261002/README.md) (author Anthropic Claude) has 152 Lean targets in its [manifest](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/cap_first_exit_lean_20261002/MANIFEST.json). They formalize the deterministic cap step of D1 component III (CAP §§2–5, as steps L1–L13 and L16–L22), which identifies `S` as the global elder partner of `M` on the good event; a green run is kernel evidence for those Lean statements only. Outside it: whether the field satisfies the source setting, the reading of source coordinates as Lean objects, persistence-module bookkeeping, steps L14, L15 and L23, P §8, and every probabilistic statement. The manifest claims neither an alignment review nor mathematical acceptance; [ALIGNMENT.md](https://github.com/d6g8k5htny-coder/Math-/blob/79cb314d5b9f6b8b410bfd0df200414314f6b8c7/frontiers/cap_first_exit_lean_20261002/ALIGNMENT.md) records the earlier scoped read of the v1.4 statements and what a non-Claude review must cover. Main's own formal layer is under [Open work](#open-work). Read after that check, at Math- `a0323b94`: the statement-only [Lean specifications](https://github.com/d6g8k5htny-coder/Math-/blob/a0323b94ae54a78f3d2878dc9c358dc40cdfe1dc/specifications/lean_statements_20261010/README.md) of registered claims and their [proof packet](https://github.com/d6g8k5htny-coder/Math-/blob/a0323b94ae54a78f3d2878dc9c358dc40cdfe1dc/specifications/lean_statement_proofs_20261011/README.md) (author Anthropic Claude) landed through Math- [#419](https://github.com/d6g8k5htny-coder/Math-/pull/419), [#422](https://github.com/d6g8k5htny-coder/Math-/pull/422), [#423](https://github.com/d6g8k5htny-coder/Math-/pull/423), [#434](https://github.com/d6g8k5htny-coder/Math-/pull/434) and [#439](https://github.com/d6g8k5htny-coder/Math-/pull/439) on 12 October, after the Math- commit checked above; the packet holds 75 theorems, each kernel-checked by a hosted pull-request run, of 74 of the register's 141 Props, including `FullTransformedPriceBudget`, the Prop the register gives for Theorem F's display (F2) (see [P15 combinatorics](#p15-combinatorics)), with alignment PENDING_INDEPENDENT_REVIEW, organizational-independence credit 0 and scientific effect NONE; each theorem is evidence about its Lean statement only and establishes neither Theorem F nor any other parent claim, and the register's labels are unchanged (every Prop and structure of the statement packet stays `specified` and no claim-level label changes; the register adds the packet's theorems as entries of kind `theorem` labelled `proved`).
 
-7. **Zeta-zero heat-flow folds and a CUE short-bar control: exploratory packet; scientific effect NONE.** The [zeta fold exploration packet](../experiments/zeta_fold_exploration/README.md) (author Anthropic Claude), landed through [main #373](https://github.com/d6g8k5htny-coder/main/pull/373) after the main commit checked above, checks an external note's proposed links between zeta zeros and the project's short-bar law: near the collision time, nondegenerate zero collisions of the de Bruijn–Newman heat flow follow the generic cubic fold, and a finite-window short-bar statistic of a Hardy-Z primitive is compared with CUE and one-dimensional Gaussian controls. It makes no claim of progress toward the Riemann Hypothesis. OpenAI/Codex nonauthor reads of its slices A/D (mathematics, wording) and B (citations) returned AMEND, and their delta readbacks returned scoped PASS; independent numerical reproduction (slice C) has not been performed.
+7. **Zeta-zero heat-flow folds and a CUE short-bar control: exploratory packet; scientific effect NONE.** The [zeta fold exploration packet](../experiments/zeta_fold_exploration/README.md) (author Anthropic Claude), landed through [main #373](https://github.com/d6g8k5htny-coder/main/pull/373) after the main commit checked above, checks an external note's proposed links between zeta zeros and the project's short-bar law: near the collision time, nondegenerate zero collisions of the de Bruijn–Newman heat flow follow the generic cubic fold, and a finite-window short-bar statistic of a Hardy-Z primitive is compared with CUE and one-dimensional Gaussian controls. It makes no claim of progress toward the Riemann Hypothesis. OpenAI/Codex nonauthor reads of its slices A/D (mathematics, wording) and B (citations) returned AMEND, and their delta readbacks returned scoped PASS; for independent numerical reproduction (slice C), a different-provider replay of its 59 commands was performed on 20 October ([main #458](https://github.com/d6g8k5htny-coder/main/pull/458)) with a scoped record PASS, but the different-seed or independent Riemann–Siegel check is still open.
 
 The [public-text catalog](PUBLIC_MATHEMATICS.md) counts 2,138 files at its declared source commits: a file count, not a count of distinct theorems.
 

docs/WORKSPACE.md

@@ -17,7 +17,9 @@ As of 12 October 2026, new work lands through pull requests to this repository's
 [`experiments/zeta_fold_exploration/`](../experiments/zeta_fold_exploration/README.md),
 the last an exploratory packet whose scientific effect is NONE, which makes no
 claim of progress toward the Riemann Hypothesis and whose independent numerical
-reproduction (review slice C) is open. None of the three reports a held-out
+reproduction (review slice C) is only partly done: a different-provider replay of
+its 59 commands is performed (record PASS, scoped), but the different-seed or
+independent Riemann–Siegel check is still open. None of the three reports a held-out
 confirmation run; each README states its own scope. Two older branches remain
 readable context. The legacy [hardening research branch](https://github.com/d6g8k5htny-coder/main/tree/a01c72f1937875b94bfd78e183a6dbbdb2b04da4) (`chatgpt/drive-github-hardening-20260919`, frozen; pinned tip `a01c72f1`)
 holds the earlier research software and evidence; its last merge was on

experiments/zeta_fold_exploration/MANIFEST.json

@@ -9,7 +9,7 @@
  },
  "generated_by": "make_manifest.py",
  "note": "committed_files lists every file meant to be committed (this manifest excluded). raw_files are regenerable samples written to results/raw/ and not committed; their hashes are from the exploratory run; regeneration is expected to be byte-identical only with OMP_NUM_THREADS=1 OPENBLAS_NUM_THREADS=1 (README section 8).",
- "committed_total_bytes": 545985,
+ "committed_total_bytes": 547335,
  "committed_files": [
   {
    "path": "CLAIMS.md",
@@ -18,8 +18,8 @@
   },
   {
    "path": "README.md",
-   "bytes": 99120,
-   "sha256": "d9416dc35e198de3a1c2799b6c5fd23f5e93a16d054b35c403604a3a2728913c"
+   "bytes": 100470,
+   "sha256": "ccbe69d64ad16c0dbf0c7bf7e9e64b0896d3000ba426782c001b0c8598f87c66"
   },
   {
    "path": "dbn/check_collision.py",

experiments/zeta_fold_exploration/README.md

@@ -11,8 +11,9 @@ de Bruijn–Newman constant Λ beyond known results. None should be read into it
   here (§10). Delta readbacks at `0969b327`: slices A/D **PASS (scoped)** (review 5487707101);
   slice B **PASS (scoped)** (review 5487692150). Integrated into main as `3e589ae0` on
   12 October 2026 by a third OpenAI lane, distinct from both reviewers (§9). Automatic Codex
-  review: **NOT_RUN** (quota). Slice C (independent numerical reproduction): **NOT_PERFORMED;
-  still open** (§9). Dylan's personal reading: **PENDING**.
+  review: **NOT_RUN** (quota). Slice C (independent numerical reproduction): different-provider
+  replay of the packet's 59 commands **PERFORMED; record PASS (scoped)**; the different-seed or
+  independent Riemann–Siegel check is **still open** (§9). Dylan's personal reading: **PENDING**.
 - Object: `ZETA-FOLD-EXPLORATION-20261012`, draft v2 as read back at `0969b327` and landed at
   `3e589ae0` (README blob `b367aecd`; v1 carried the same-provider passes, v2 adds the slice A,
   B and D amendments, §10), plus post-integration edits that neither readback covers: the §6.2
@@ -1204,10 +1205,16 @@ A nonauthor read from a non-Anthropic provider was requested, in four slices:
   only, its coefficients being left to slice C. **Delta readback: PASS (scoped)** (review
   5487692150 at `0969b327`).
 - **C.** The numerics, re-run independently, with zero counts checked against `nzeros` and a
-  different seed or an independent Riemann–Siegel check. **NOT_PERFORMED; still open** (offered to
-  GROK-H01 in main#373 comment 6118393130 and again after landing in main#307 comment
-  6123501853; not picked up as of 12 October 2026), so no read from a different provider has
-  reproduced the numerics.
+  different seed or an independent Riemann–Siegel check. **Different-provider replay
+  PERFORMED; record PASS (scoped).** Cursor/xAI Grok 4.7 replayed all 59 commands from the
+  source-bound packet at `5cab7663`; all exited 0, 50 committed outputs were byte-identical,
+  14 were timing-only, two residual trails differed, and all nine raw-sample hashes matched.
+  The replay re-executed the packet's own `mpmath.siegelz`/`zetazero`/`nzeros` comparisons with
+  the packet's same fixed seeds. It added neither a different seed nor an independent
+  Riemann–Siegel check beyond the packet's existing validation, so that part of slice C,
+  including the Edwards coefficients left to it above, remains open. See the
+  [replay delivery](https://github.com/d6g8k5htny-coder/main/pull/458#issuecomment-6282286422)
+  and exact-head nonauthor [PASS_RECORD_SCOPED review](https://github.com/d6g8k5htny-coder/main/pull/458#pullrequestreview-5581698876).
 - **D.** A wording audit of the non-claims. **Read: AMEND** (the same review, §10.1). **Delta
   readback: PASS (scoped)** (review 5487707101, with slice A).
 
@@ -1229,9 +1236,17 @@ is an acceptance or a numerical reproduction. The same-provider passes (§10.3)
 Anthropic Claude reading Anthropic Claude work and earn no organizational-independence
 credit.
 
+The slice C performer reported Cursor/xAI Grok 4.7; the record review was a separate OpenAI
+Codex lane, source-exposed and not blind, with organizational-independence credit 0. The
+review checked the 59-command multiset, hashes, counts, environment, discrepancies and packet
+binding at exact replay head `78976ae7`. It did not independently reapply timing masks to 13
+timing-only replay byte streams that were not retained. The replay used the same programs and
+fixed inputs: it is not a second implementation or a scientific acceptance. Both residual
+trails remain unexplained. Scientific effect stays NONE.
+
 The packet was integrated into main as `3e589ae0` on 12 October 2026 by a third OpenAI dot /
 Codex lane (`/root/integrate_zeta_exploration_packet`), distinct from both reviewer lanes. The
-automatic Codex review did not run (NOT_RUN, quota), and slice C has not been performed.
+automatic Codex review did not run (NOT_RUN, quota).
 Integration changes no scientific status: the scientific effect stays NONE.
 
 ## 10. Review findings applied