v0.2.0 — Unverified AI-Generated Proof Candidate

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.

v0.1.0 — Unverified AI-Generated Proof Candidate

First public proof-candidate release.

Status: UNVERIFIED and NOT PEER REVIEWED. This release does not claim that the open problem has been solved.

Included artifacts:

• six-page candidate manuscript
• source archive and reproducible build instructions
• provenance summary and private-archive hashes
• AI-contribution and validation disclosures
• SHA-256 file-identity manifest

A tag, GitHub Release, successful build, or later DOI does not constitute mathematical verification or peer review.