{"schema_version":"source-reader-v1","record":{"source_id":"frenzymath-poincare-verification","versions":[{"work":{"authors":["FrenzyMath contributors"],"kind":"research_project","publication":"project","publication_note":"Project-supplied verification report at the pinned documentation revision. The 28 September date describes verification, not publication; publication date is not established.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[{"kind":"formal_code","title":"Reported verified proof revision","url":"https://github.com/frenzymath/Poincare-Conjecture/tree/1876d7dc2c85325a3f62ce9776af98f910c5db04","version":"1876d7dc2c85325a3f62ce9776af98f910c5db04","assessment":"external_report","note":"Project reports successful Comparator, Lean and Nanoda checks; OpenMath has not reproduced them."}]},"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","source_id":"frenzymath-poincare-verification","title":"Poincaré comparator integration verification","owner":"FrenzyMath contributors","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","subject_scope":"Poincaré comparator integration verification","revision":"432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12","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/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","attribution":"FrenzyMath contributors","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}],"entries":[{"id":"poincare-conjecture:entry:frenzy-verification:v2","source_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","item_id":"Local integration verification; verification.json beside README","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","wording":"The project’s report records successful statement comparison and Lean/Nanoda checks on 28 September 2026 for proof commit 1876d7dc2c85325a3f62ce9776af98f910c5db04, permitting only the three standard axioms. Later documentation and import commits are not the tested revision; the report is project-supplied evidence.","wording_kind":"paraphrase","locator":"Local integration verification; verification.json beside README","supersedes":"poincare-conjecture:entry:frenzy-verification:v1"}],"problems":[{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13}],"selected_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","available_versions":[{"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","revision":"432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12","observed_on":"2026-10-12","title":"Poincaré comparator integration verification","publication":"project","content_sha256":null,"used_in_current_publications":true},{"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a","revision":"432c38f2aa5a30efb13871292d17b4a3309a496a","observed_on":"2026-10-12","title":"Poincaré comparator integration verification","publication":"project","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-71cc942b549712f51bb5","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"activity","title":"Verification date distinguished from publication date","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"poincare-verification-date-correction","title":"Verification date distinguished from publication date","kind":"source_correction","source_entry_ids":["poincare-conjecture:entry:frenzy-verification:v2"],"summary":"The project report records checks on 28 September 2026. Its publication date is not established, and that verification event is not used as a bibliographic date.","limitation":"This metadata correction changes no mathematical statement, tested proof commit or externally reported check outcome.","related_claim_ids":["claim-poincare-three-smooth","claim-poincare-three-topological"]}},{"id":"source-use-b817fa70f93cd5e35f79","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"activity","title":"Two public formalization projects","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"poincare-external-formalization","title":"Two public formalization projects","kind":"formalization","source_entry_ids":["poincare-conjecture:entry:qin-formal:v1","poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"summary":"The selected 2026 projects report complete smooth and topological three-dimensional proofs, with exact release or verification revisions.","limitation":"These source reports do not constitute OpenMath executions or independently reviewed mathematical correspondence.","related_claim_ids":["claim-poincare-three-topological","claim-poincare-three-smooth"]}},{"id":"source-use-867e19f89ebaad18581e","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Topological theorem · FrenzyMath reported verified revision","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 theorem · FrenzyMath reported verified revision","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/1876d7dc2c85325a3f62ce9776af98f910c5db04/PoincareConjecture/Comparator/Solution.lean","note":"Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.","target":{"id":"claim-poincare-three-topological","version":2},"proof_status":"reported_complete","source_entry_ids":["poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"declaration":"PoincareConjecture.ComparatorTargets.topologicalPoincareSkeleton","source_commit":"1876d7dc2c85325a3f62ce9776af98f910c5db04","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-cb02b6e3e011aa95719e","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"formalization","title":"Smooth theorem · FrenzyMath reported verified revision","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 theorem · FrenzyMath reported verified revision","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/1876d7dc2c85325a3f62ce9776af98f910c5db04/PoincareConjecture/Comparator/Solution.lean","note":"Project evidence reports successful statement comparison and Lean/Nanoda verification for this proof commit. The later report revision is cited separately; OpenMath has not rerun these checks or completed independent mathematical review.","target":{"id":"claim-poincare-three-smooth","version":2},"proof_status":"reported_complete","source_entry_ids":["poincare-conjecture:entry:frenzy-formal:v1","poincare-conjecture:entry:frenzy-verification:v2"],"declaration":"PoincareConjecture.ComparatorTargets.smoothPoincareSkeleton","source_commit":"1876d7dc2c85325a3f62ce9776af98f910c5db04","alignment":"candidate","checked_on":"2026-10-12"},"update":null},{"id":"source-use-1f79d429c8673590028d","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","problem":{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13},"kind":"milestone","title":"External comparator verification is reported","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d56761832d1b2898f2b8","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","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-851c4dab48c3899b62bd","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","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-cddd9ff0ab7e33b6a5df","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","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-7b0b41735169f3c495f6","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","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-c47d3e27621c1e5a647e","entry_id":"poincare-conjecture:entry:frenzy-verification:v2","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:frenzy-formal:v1","source_version_id":"frenzymath-poincare@arxiv-2610.08329v1","item_id":"Formal theorem endpoints and verification discussion","url":"https://arxiv.org/abs/2610.08329v1","wording":"The team reports an AI-assisted Lean formalization of both the smooth and topological three-dimensional theorem, with public verification resources.","wording_kind":"paraphrase","locator":"Formal theorem endpoints and verification discussion","supersedes":null},{"id":"poincare-conjecture:entry:frenzy-verification:v2","source_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","item_id":"Local integration verification; verification.json beside README","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","wording":"The project’s report records successful statement comparison and Lean/Nanoda checks on 28 September 2026 for proof commit 1876d7dc2c85325a3f62ce9776af98f910c5db04, permitting only the three standard axioms. Later documentation and import commits are not the tested revision; the report is project-supplied evidence.","wording_kind":"paraphrase","locator":"Local integration verification; verification.json beside README","supersedes":"poincare-conjecture:entry:frenzy-verification:v1"}],"linked_sources":[{"work":{"authors":["FrenzyMath contributors"],"kind":"research_project","publication":"project","publication_note":"Project-supplied verification report at the pinned documentation revision. The 28 September date describes verification, not publication; publication date is not established.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[{"kind":"formal_code","title":"Reported verified proof revision","url":"https://github.com/frenzymath/Poincare-Conjecture/tree/1876d7dc2c85325a3f62ce9776af98f910c5db04","version":"1876d7dc2c85325a3f62ce9776af98f910c5db04","assessment":"external_report","note":"Project reports successful Comparator, Lean and Nanoda checks; OpenMath has not reproduced them."}]},"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a-metadata-v2","source_id":"frenzymath-poincare-verification","title":"Poincaré comparator integration verification","owner":"FrenzyMath contributors","url":"https://github.com/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","subject_scope":"Poincaré comparator integration verification","revision":"432c38f2aa5a30efb13871292d17b4a3309a496a; bibliographic metadata corrected 2026-10-12","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/frenzymath/Poincare-Conjecture/blob/432c38f2aa5a30efb13871292d17b4a3309a496a/archive/PoincareConjecture/references/ricci-flow/mapher/integration-verification/README.md","attribution":"FrenzyMath contributors","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90},{"work":{"authors":["Zhiyuan Zhang","Axel Delaval","Leheng Chen","Jinxuan Chen","Jie Xu","Yuxuan Liao","Jiedong Jiang","Chunlei Liu","Bin Dong"],"kind":"research_paper","publication":"preprint","publication_note":"Source-backed selection; publication and proof assessment are separate.","ai_role":"self_reported","ai_note":"Authors report automated assistance; OpenMath has not independently assessed that workflow.","artifacts":[],"published":{"value":"2026-10-06"}},"id":"frenzymath-poincare@arxiv-2610.08329v1","source_id":"frenzymath-poincare","title":"An AI-Assisted Formalization of the Poincaré Conjecture","owner":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","url":"https://arxiv.org/abs/2610.08329v1","subject_scope":"An AI-Assisted Formalization of the Poincaré Conjecture","revision":"arxiv-2610.08329v1","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://arxiv.org/abs/2610.08329v1","attribution":"Zhiyuan Zhang; Axel Delaval; Leheng Chen; Jinxuan Chen; Jie Xu; Yuxuan Liao; Jiedong Jiang; Chunlei Liu; Bin Dong","rights_note":"Follow the original source for authoritative statements and reuse terms.","check_interval_days":90}]}}