{"schema_version":"source-reader-v1","record":{"source_id":"schiffer-pompeiu-certificate","versions":[{"work":{"authors":["Matthew J. Colbrook","George Stepaniants"],"kind":"research_project","publication":"project","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"not_reported","ai_note":"No specific AI contribution is attributed by this source record.","artifacts":[{"kind":"code","title":"Frozen numerical certificate archive","url":"https://github.com/MColbrook/Pompeiu_Schiffer/tree/2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d/pompeiu_validation_certificate","version":"2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d","assessment":"not_executed","note":"Source reports rigorous interval and exact rational verification. OpenMath has not run the certificate or reproduced its numerical audits."}]},"id":"schiffer-pompeiu:source:certificate:v1","source_id":"schiffer-pompeiu-certificate","title":"Numerical certificate and reproduction report","owner":"Matthew J. Colbrook, George Stepaniants","url":"https://github.com/MColbrook/Pompeiu_Schiffer/tree/2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d/pompeiu_validation_certificate","subject_scope":"The exact dyadic input centre, interval audits, tail bounds and standalone checker support the computer-assisted witness.","revision":"2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d","content_sha256":"66b8c4fcf6bf61f9a529ad70af05de7cdfc8970d3d92bfbf2bfa911033f5f0be","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://github.com/MColbrook/Pompeiu_Schiffer/tree/2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d/pompeiu_validation_certificate","attribution":"Matthew J. Colbrook, George Stepaniants","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"schiffer-pompeiu:entry:certificate:v1","source_version_id":"schiffer-pompeiu:source:certificate:v1","item_id":"certificate","url":"https://github.com/MColbrook/Pompeiu_Schiffer/tree/2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d/pompeiu_validation_certificate","wording":"The exact dyadic input centre, interval audits, tail bounds and standalone checker support the computer-assisted witness.","wording_kind":"paraphrase","locator":"REPRODUCTION_REPORT.md; validation archive; Zenodo DOI 10.5281/zenodo.21765287","supersedes":null}],"problems":[{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7}],"selected_version_id":"schiffer-pompeiu:source:certificate:v1","available_versions":[{"id":"schiffer-pompeiu:source:certificate:v1","revision":"2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d","observed_on":"2026-10-13","title":"Numerical certificate and reproduction report","publication":"project","content_sha256":"66b8c4fcf6bf61f9a529ad70af05de7cdfc8970d3d92bfbf2bfa911033f5f0be","used_in_current_publications":true}],"usages":[{"id":"source-use-751bfb705cdf6d0e4b54","entry_id":"schiffer-pompeiu:entry:certificate:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"activity","title":"Compare the two evidence routes","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"schiffer-pompeiu-certification","title":"Compare the two evidence routes","kind":"formalization","source_entry_ids":["schiffer-pompeiu:entry:certificate:v1","schiffer-pompeiu:entry:lean:v1","schiffer-pompeiu:entry:computer-lean:v1"],"summary":"The analytic witness has frozen numerical input data and a certificate; the bifurcation construction has a separate C² formal theorem.","limitation":"Neither external project has been executed by OpenMath.","related_claim_ids":["claim-schiffer-analytic-tenfold-witness","claim-schiffer-normalized-c2-witness"]}},{"id":"source-use-7e95ae5a3b744004e00a","entry_id":"schiffer-pompeiu:entry:certificate:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"milestone","title":"An analytic computer-assisted construction","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f01401432f66f68f1600","entry_id":"schiffer-pompeiu:entry:certificate:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"question","title":"Schiffer and Pompeiu conjectures","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b40bb9350d658eb5aaca","entry_id":"schiffer-pompeiu:entry:certificate:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"scope","title":"An analytic tenfold counterexample","claim":{"id":"claim-schiffer-analytic-tenfold-witness","version":2,"slug":"schiffer-analytic-tenfold-witness","title":"An analytic tenfold counterexample"},"fragment":"claim-schiffer-analytic-tenfold-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3e6bc2414345d8d98322","entry_id":"schiffer-pompeiu:entry:certificate:v1","problem":{"slug":"schiffer-pompeiu","title":"Schiffer and Pompeiu conjectures","publication_version":7},"kind":"statement","title":"An analytic tenfold counterexample","claim":{"id":"claim-schiffer-analytic-tenfold-witness","version":2,"slug":"schiffer-analytic-tenfold-witness","title":"An analytic tenfold counterexample"},"fragment":"claim-schiffer-analytic-tenfold-witness","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}