Status
UNVERIFIED — NOT PEER REVIEWED
This release preserves an AI-generated mathematical proof candidate in a
human-curated package. It does not claim that the open problem has been solved.
Changes since v0.1.0
- Expands the Hermitian rank-at-most-two kernel criterion and Parseval
normalization arguments. - Makes projective smoothness, the full differential calculation, and the
embedding-to-normal-bundle interface explicit. - States the integral degree-four Pontryagin relation with its no-2-torsion
justification. - Incorporates minor completeness repairs identified by segmented AI audits.
- Updates source, reproduction instructions, provenance, citation metadata,
and checksums.
The public PDF is byte-for-byte the document labeled v0.2.0-rc1 that
underwent the final AI-only regression audit. The internal label is retained
to preserve the audited file identity.
PROOF_CANDIDATE.pdf SHA-256:
d59b150823fa088754408423935bffb1a4de942ec9ce689fd3b502e21d222ef0
The audit history is provenance about error-finding attempts, not independent
human mathematical validation or formal verification. Version 0.1.0 remains
available unchanged through its existing tag, GitHub Release, and Zenodo
deposit.