{"schema_version":"source-reader-v1","record":{"source_id":"mathlib-poincare-wanted","versions":[{"work":{"authors":["Mathlib contributors"],"kind":"research_project","publication":"project","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"not_reported","ai_note":"AI use is not reported in the selected source.","artifacts":[]},"id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","source_id":"mathlib-poincare-wanted","title":"Mathlib · wanted Poincaré statements","owner":"Mathlib contributors","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","subject_scope":"Mathlib · wanted Poincaré statements","revision":"9454a4c25a2b923eb55dba3098f2d6ae0484d09b","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","attribution":"Mathlib contributors","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}],"entries":[{"id":"poincare-conjecture:entry:wanted-statements:v1","source_version_id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","item_id":"SimplyConnectedSpace.nonempty_homeomorph_sphere_three and nonempty_sdiffeomorph_sphere_three","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","wording":"This Mathlib revision declares the three-dimensional topological and smooth Poincaré statements with proof_wanted. These are formal statements seeking library proofs, not evidence of a completed proof in Mathlib.","wording_kind":"paraphrase","locator":"SimplyConnectedSpace.nonempty_homeomorph_sphere_three and nonempty_sdiffeomorph_sphere_three","supersedes":null}],"problems":[{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13}],"selected_version_id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","available_versions":[{"id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","revision":"9454a4c25a2b923eb55dba3098f2d6ae0484d09b","observed_on":"2026-10-12","title":"Mathlib · wanted Poincaré statements","publication":"project","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-23f70f6e2c5af22bb659","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Topological statement · Mathlib wanted theorem","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":{"title":"Topological statement · Mathlib wanted theorem","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","note":"This revision uses proof_wanted for the exact statement. A wanted declaration is not a completed Mathlib proof; the external projects above have separate source and verification evidence.","target":{"id":"claim-poincare-three-topological","version":2},"proof_status":"statement_only","source_entry_ids":["poincare-conjecture:entry:wanted-statements:v1"],"declaration":"SimplyConnectedSpace.nonempty_homeomorph_sphere_three","source_commit":"9454a4c25a2b923eb55dba3098f2d6ae0484d09b","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-d24efb33459928560690","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Smooth statement · Mathlib wanted theorem","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":{"title":"Smooth statement · Mathlib wanted theorem","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","note":"This revision uses proof_wanted for the exact statement. A wanted declaration is not a completed Mathlib proof; the external projects above have separate source and verification evidence.","target":{"id":"claim-poincare-three-smooth","version":2},"proof_status":"statement_only","source_entry_ids":["poincare-conjecture:entry:wanted-statements:v1"],"declaration":"SimplyConnectedSpace.nonempty_sdiffeomorph_sphere_three","source_commit":"9454a4c25a2b923eb55dba3098f2d6ae0484d09b","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-bced5602982fd1fc03b1","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"question","title":"Poincaré conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-16407e7e48bf5c7beb06","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"scope","title":"The smooth three-dimensional theorem","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-964d8b4484e6cce14094","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"scope","title":"The topological three-dimensional Poincaré theorem","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-500019ac3aad8c4f2655","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"statement","title":"The smooth three-dimensional theorem","claim":{"id":"claim-poincare-three-smooth","version":2,"slug":"poincare-three-smooth","title":"The smooth three-dimensional theorem"},"fragment":"claim-poincare-three-smooth","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-bb73f81b9ef2a3fed2f9","entry_id":"poincare-conjecture:entry:wanted-statements:v1","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"statement","title":"The topological three-dimensional Poincaré theorem","claim":{"id":"claim-poincare-three-topological","version":2,"slug":"poincare-three-topological","title":"The topological three-dimensional Poincaré theorem"},"fragment":"claim-poincare-three-topological","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[{"id":"poincare-conjecture:entry:wanted-statements:v1","source_version_id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","item_id":"SimplyConnectedSpace.nonempty_homeomorph_sphere_three and nonempty_sdiffeomorph_sphere_three","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","wording":"This Mathlib revision declares the three-dimensional topological and smooth Poincaré statements with proof_wanted. These are formal statements seeking library proofs, not evidence of a completed proof in Mathlib.","wording_kind":"paraphrase","locator":"SimplyConnectedSpace.nonempty_homeomorph_sphere_three and nonempty_sdiffeomorph_sphere_three","supersedes":null}],"linked_sources":[{"work":{"authors":["Mathlib contributors"],"kind":"research_project","publication":"project","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"not_reported","ai_note":"AI use is not reported in the selected source.","artifacts":[]},"id":"mathlib-poincare-wanted@9454a4c25a2b923eb55dba3098f2d6ae0484d09b","source_id":"mathlib-poincare-wanted","title":"Mathlib · wanted Poincaré statements","owner":"Mathlib contributors","url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","subject_scope":"Mathlib · wanted Poincaré statements","revision":"9454a4c25a2b923eb55dba3098f2d6ae0484d09b","content_sha256":null,"update_method":"Manual source review; publish new observations with immutable versions","identifier_policy":"Source revision plus exact passage or declaration; no fuzzy identity merge","observed_on":"2026-10-12","source_updated_on":null,"rights":"metadata-link","license":"Metadata, links and original OpenMath paraphrases only","terms_url":"https://github.com/leanprover-community/mathlib4/blob/9454a4c25a2b923eb55dba3098f2d6ae0484d09b/Wanted/Geometry/Manifold/PoincareConjecture.lean","attribution":"Mathlib contributors","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}]}}