[d6g8k5htny-coder]

Review record only. Scientific effect NONE. Does not change STATUS, GRAPH, lemma_closed, prizes, PROOF_INDEX, or any author source.

Companion to merged Math-#117, which consumes scaled-ball (C2) as a first-moment input to (I5). This PR records the source-bound review of that companion and of the off-pin second factorial moment.

Recorded verdicts

• Collar first moment: ACCEPT existential on C(η,R).
• Scaled-ball synthesis: ACCEPT as punctured-pin + collar at η=1/4.
• Off-pin E N_η(N_η-1) ≤ C_η r^5: ACCEPT at fixed η>0.
• Torus-wide E N(N-1): CANDIDATE pending review and test (catalog C6). Not accepted.
• Thin-tube first moment: superseded by the scaled-ball bound.

Exact finite ranks and the Gram identity are recorded in reviews/d5_collar_count_20260928/REVIEW.md. Continuum Kac–Rice remains the written AAL citation; continuum_verified is false.

Same-account review; no organizational independence is claimed. Do not treat merge of this record as a STATUS flip.

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

[d6g8k5htny-coder]

Review-record check only. Scientific effect NONE.

Exact head e69144c1b7ce3313a64eff7815487030a749e1a0. Six added files under reviews/; no author source, STATUS, GRAPH, lemma_closed, prize, or PROOF_INDEX edit.

Gram polynomial u^2 v^4 + v^6/4 = v^4(4u^2+v^2)/4 is an identity. Verdicts match the merged #117 consumption of scaled-ball (C2) and keep torus-wide E N(N-1) as catalog C6 (candidate, not accepted). Thin-tube marked superseded.

continuum_verified is false in both RESULTS.json files. Merge of this record is not a theorem acceptance.

Same-account note: this is not organizational independence.