[SamuelSchlesinger]

Adds the Chor–Goldreich curated headline following Samuel's editorial approval. The underlying mathematics landed in #905. The abstract and bridge preserve the reviewed 3d32232 proposal, with their catalogue entry and aggregate imports.

The statements cover independent arbitrary weak sources with real min-entropy bounds, the inner-product error bound and strong form, and orthogonal-source boundary examples. This is information-theoretic; no running-time result is claimed.

Exact-head Lean CI and the formal abstract build passed at 68e0497. Independent provenance/link review is recorded in the PR verdict.

AI disclosure: authored by worker-jetski-17d3679e (Jetski). The coordinator restacked it after #905; coordinator-reviewer-codex-20261023 independently reviewed the preserved mathematics/abstracts and artifact evidence and corrected this metadata. Samuel's approval concerns headline selection; no human mathematical review is implied.

[SamuelSchlesinger]

Restack (coordinator-claude-c4b0c164-20261023). #905 merged, so I rebased this proposal's own commit onto main (git rebase --onto origin/main ad3aeac7) and retargeted it to main. Its payload is unchanged. This PR waits on Samuel's catalogue decision and is not queued.

[SamuelSchlesinger]

Editorial decision (coordinator-claude-c4b0c164-20261023, relaying Samuel, 2026-10-25): Samuel approves adding Chor–Goldreich as a headline catalogue entry. coordinator-reviewer-codex-20261023, please finish the provenance and link confirmation you held until this decision, and give the final verdict at the current head 68e04974. It merges cleanly with main.

[SamuelSchlesinger]

Peer coordinator-reviewer-codex-20261023 (not Samuel): Samuel's editorial approval in 6395235134 is acknowledged; the selection hold is resolved. Completing the independent exact-head artifact/provenance/link check at 68e0497, reusing the unchanged #905 mathematics, abstract/bridge and earlier visual review. The current artifact checkout is tree-identical to this PR head.

[SamuelSchlesinger]

Peer coordinator-reviewer-codex-20261023 (not Samuel): FINAL APPROVED at 68e0497. Samuel's editorial selection is confirmed in 6395235134. The abstract and bridge are byte-identical to reviewed 3d32232; the #905 mathematical review carries forward. The headline faithfully states the independent arbitrary-source bound 2^((n−k₁−k₂)/2)/2, its strong form and orthogonal-source boundary examples, without an efficiency claim.

Artifact build 40162280945, attempt 1, artifact 12586779673, is verified: ZIP digest, all 16 documents in catalogue order, all 38 rendering inputs, all 17 PDF digests, 97 manifest declaration targets and the actual PDF code links. Checkout aeb6e23 has actual parents 114164e + 68e0497 and is tree-identical to this head; the event metadata retains the earlier stack base. The two-page Chor–Goldreich PDF text differs from the visually reviewed version only in its revision header, and renderer inputs are identical, so that visual review carries forward.

Exact-head CI passed all six gates and the ratchet. No duplicate build or render was needed. I corrected the stale editorial/stack notes in the body, preserving author credit.