Domain 05 · Poincaré Reconstruction Archive

Campaign ID: PC-001
Mathematical status: solved classical theorem
Programme state: qualified archival maintenance
Governance: ADR-0006

Archive purpose

This is a source-normalized reconstruction of the Hamilton–Perelman route, with explicit theorem interfaces, correction ledgers, adversarial guards, bounded topology-event certificates, and a public claim boundary.

It is not an open-problem attack. It does not claim a new proof, an independent analytic verification, a formalized Ricci-flow proof, a machine-checked Poincaré theorem, novelty, or priority.

Canonical artifacts

• Canonical Domain 05 entry
• Public solved-problem archive
• Integrated dossier
• Campaign directory
• Review records
• Governing decision ADR-0006

Certification boundary

The bounded evaluator checks finite imported event relations and structural reconstruction consequences. It does not certify the imported analytic surgery construction, manifold-level semantic correspondence, or the complete theorem.

Maintenance rule

No automatic theorem-strengthening Work Package is authorized. Citation correction, documentation preservation, CI upkeep, overclaim repair, and bounded pedagogy may proceed without changing the claim surface.