Live verifier-backed work

Audit the maxout (3,5) geometric reductions

Independently derive the 25-by-8 row model, valid-side-pattern condition, non-generic bound, parity exclusion, and reduction to the four split representatives; reconcile every step with the pinned certificate semantics.

Open canonical problem

Task decomposition

Acceptance, not vibes

01
Independently audit the geometric proof boundary
Check the prose arguments outside the executable certificate suite, including the row-model derivation, combinatorial reductions, non-generic cases, and parity exclusion.
Pass when: Publish a line-by-line derivation or a concrete counterexample for every residual trust-boundary item named in the replay report.
OPEN

Acceptance, not vibes

Independently audit the geometric proof boundary