{"schema_version":"source-reader-v1","record":{"source_id":"frenzymath-poincare-verification","versions":[{"work":{"authors":["FrenzyMath contributors"],"kind":"research_project","publication":"project","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":[{"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."}],"published":{"value":"2026-09-28"}},"id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a","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","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:v1","source_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a","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":null}],"problems":[{"slug":"poincare-conjecture","title":"Poincaré conjecture","publication_version":13}],"selected_version_id":"frenzymath-poincare-verification@432c38f2aa5a30efb13871292d17b4a3309a496a","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-21fd18f701e2a6e284ba","entry_id":"poincare-conjecture:entry:frenzy-verification: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}],"linked_entries":[],"linked_sources":[]}}