v11.0.0 — Conditionally complete

v11.0.0 — Conditionally complete

Version DOI: 10.5281/zenodo.22281075

This release closes the repository as a stable conditional theorem assembly.
The final theorem proves BealConjecture from exactly five named inputs:

1. J0DecompositionSoundness_26;
2. MwrankCertificateSoundness_26;
3. FormalImmersionSoundness_26;
4. FreyCurveExists;
5. LevelLowering_26.

It does not claim those inputs have been constructed.

The mod-3 matrix is derived from the normalized level-26 eigenform coefficient
lines and the explicit basis change (P), proving (PC_3=M_3). The remaining
geometric theorem is named
QExpansionCotangentCompatibilityAtInfinity26; it must identify that
coefficient map with the actual Abel--Jacobi cotangent map at the cusp.

The Selmer-cardinality module proves cardinality one for an explicitly
supplied carrier from a triviality theorem or a genuine ledger equivalence.
Its identification with the cohomological Selmer group remains an external
mathematical input; the finite audit is not relabeled as that comparison.

The companion Foundations release
10.5281/zenodo.22272714 contains
the corrected computable v1 evidence. The two repositories are companion
works, not versions of one another.