{"events":[],"records":[{"checks":[],"claim":{"scope":"Metadata discovery only","statement":"Public source indexed; no individual theorem submitted for AMVO independent verification."},"id":"amvo-openai-math-intake","review":{"status":"unreviewed"},"rights":{"mode":"metadata_only","note":"Only a public URL and attribution are included; no rights to republish original manuscripts are asserted."},"schema_version":"0.1","source":{"authors":["OpenAI and listed contributing authors"],"captured_at":"2026-10-13","public":true,"publisher":"OpenAI","title":"OpenAI mathematics repository","url":"https://github.com/openai/math","version":"rolling repository; pin commit before individual claims"},"title":"OpenAI Math public corpus — source intake only","type":"public_source_intake"},{"checks":[],"claim":{"scope":"Source identity only: the pin says which public version a later claim would refer to","statement":"Public source snapshot identified by commit; no individual theorem submitted for AMVO independent verification."},"id":"amvo-openai-math-snapshot-1581d4c","review":{"status":"unreviewed"},"rights":{"mode":"metadata_only","note":"Only the public URL, commit identifier and attribution are recorded; repository contents are not mirrored and no right to republish them is asserted."},"schema_version":"0.1","source":{"authors":["OpenAI and listed contributing authors"],"captured_at":"2026-10-13","pin":{"kind":"git_commit","value":"1581d4cbdd69a0faf34b2089614fe2a814316a6a"},"public":true,"publisher":"OpenAI","title":"OpenAI mathematics repository","url":"https://github.com/openai/math","version":"commit 1581d4cbdd69a0faf34b2089614fe2a814316a6a"},"title":"OpenAI Math public corpus — pinned snapshot 1581d4c (source intake only)","type":"public_source_intake"},{"checks":[{"id":"fractions-exact","kind":"rational_sum","lhs":["1/3","1/6"],"rhs":["1/2"]}],"claim":{"scope":"Finite exact rational arithmetic; not an external research theorem","statement":"1/3 + 1/6 = 1/2"},"id":"amvo-synthetic-fraction","review":{"status":"unreviewed"},"rights":{"mode":"metadata_only","note":"Original synthetic data created for this repository."},"schema_version":"0.1","source":{"authors":["AMVO maintainers"],"captured_at":"2026-10-13","public":true,"publisher":"AMVO fixture","title":"Deterministic arithmetic test case","url":"https://example.org/synthetic-fraction","version":"fixture-v1"},"title":"Synthetic exact rational identity (testing only)","type":"synthetic_fixture"}],"registry":{"claims":[{"claim_type":"computation","evidence":[{"bounded_claim":"the stated finite rational identity holds exactly","id":"amvo-evd-synthetic-fraction-fractions-exact","kind":"rational_sum","result":"pass"}],"formal_kernel":"not_run","formal_targets":[],"id":"amvo-clm-synthetic-fraction","legacy_records":["amvo-synthetic-fraction"],"lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"withdrawn_by":null},"publications":[],"reviews":[],"revision":"amvo-rev-example-org-synthetic-fraction-fixture-v1","scope":"Finite exact rational arithmetic; not an external research theorem","source":"amvo-src-example-org-synthetic-fraction","source_pin":null,"source_pin_status":"no_pin","source_pin_verified":false,"statement":"1/3 + 1/6 = 1/2","statuses":["BOUNDED_PASS","INDEPENDENT_REPLICATION_PENDING"],"theorem_proved":false}],"counts":{"claims":1,"claims_by_type":{"computation":1},"claims_current":1,"current_claims_bounded_pass":1,"current_claims_checks_not_passed":0,"current_claims_not_checked":0,"evidence":1,"formal_kernel_runs":0,"formal_targets":0,"publications":0,"reviews":0,"revisions":2,"revisions_pin_verified":1,"revisions_pinned":1,"sources":2,"sources_by_origin":{"repository":1,"synthetic":1},"theorems_proved":0},"disclaimer":"AMVO v0.1.5 certifies no external theorem. Counts are per layer: a source is not a claim, a claim is not checked until evidence about it is computed, and no formal kernel is run by this engine.","engine":"amvo-stdlib-exact-v0.1.5","report_schema":"0.2","revisions":[{"id":"amvo-rev-example-org-synthetic-fraction-fixture-v1","pin":null,"pin_capture":null,"pin_status":"no_pin","pin_verified":false,"source":"amvo-src-example-org-synthetic-fraction","version_label":"fixture-v1","withdrawn":false},{"id":"amvo-rev-github-com-openai-math-1581d4cbdd69a0fa","pin":{"kind":"git_commit","value":"1581d4cbdd69a0faf34b2089614fe2a814316a6a"},"pin_capture":"20261013T100227Z-git_commit-1581d4cbdd69.json","pin_status":"verified","pin_verified":true,"source":"amvo-src-github-com-openai-math","version_label":"commit 1581d4cbdd69a0faf34b2089614fe2a814316a6a","withdrawn":false}],"sources":[{"authors":["AMVO maintainers"],"canonical_url":"https://example.org/synthetic-fraction","id":"amvo-src-example-org-synthetic-fraction","lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"withdrawn_by":null},"origin_type":"synthetic","publisher":"AMVO fixture","rights":{"mode":"metadata_only","note":"Original synthetic data created for this repository."},"title":"Deterministic arithmetic test case"},{"authors":["OpenAI and listed contributing authors"],"canonical_url":"https://github.com/openai/math","id":"amvo-src-github-com-openai-math","lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"withdrawn_by":null},"origin_type":"repository","publisher":"OpenAI","rights":{"mode":"metadata_only","note":"Only a public URL and attribution are included; no rights to republish original manuscripts are asserted."},"title":"OpenAI mathematics repository"}]},"verification":{"cases":[{"checks":[],"engine":"amvo-stdlib-exact-v0.1.5","formal_kernel":"not_run","id":"amvo-openai-math-intake","independent_theorem_review":"not_assessed","lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"supersedes":[],"withdrawn_by":null},"outcome":"not_checked","record_sha256":"a0f91801ab61b031be10d240ddd7094ea3974640ddfea1df87eb5cdcc833b527","semantic_alignment":"not_assessed","source_pin":null,"source_pin_capture":null,"source_pin_status":"no_pin","source_pin_verified":false,"source_url":"https://github.com/openai/math","source_version":"rolling repository; pin commit before individual claims","theorem_proved":false,"warning":"A passing bounded check is not a proof of an external theorem."},{"checks":[],"engine":"amvo-stdlib-exact-v0.1.5","formal_kernel":"not_run","id":"amvo-openai-math-snapshot-1581d4c","independent_theorem_review":"not_assessed","lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"supersedes":[],"withdrawn_by":null},"outcome":"not_checked","record_sha256":"3c9ddd354a473af478cf9a0e911772d01e19abf1282445c9eec17771b1365886","semantic_alignment":"not_assessed","source_pin":{"kind":"git_commit","value":"1581d4cbdd69a0faf34b2089614fe2a814316a6a"},"source_pin_capture":"20261013T100227Z-git_commit-1581d4cbdd69.json","source_pin_status":"verified","source_pin_verified":true,"source_url":"https://github.com/openai/math","source_version":"commit 1581d4cbdd69a0faf34b2089614fe2a814316a6a","theorem_proved":false,"warning":"A passing bounded check is not a proof of an external theorem."},{"checks":[{"id":"fractions-exact","kind":"rational_sum","result":"pass","scope":"exact, scope-bounded verification"}],"engine":"amvo-stdlib-exact-v0.1.5","formal_kernel":"not_run","id":"amvo-synthetic-fraction","independent_theorem_review":"not_assessed","lineage":{"corrections":[],"events":[],"objections":[],"state":"current","superseded_by":null,"supersedes":[],"withdrawn_by":null},"outcome":"bounded_checks_pass","record_sha256":"919acabaa19ed33bb7aff368a3f8578c86df27455878e9ce9017599ced0d4e3c","semantic_alignment":"not_assessed","source_pin":null,"source_pin_capture":null,"source_pin_status":"no_pin","source_pin_verified":false,"source_url":"https://example.org/synthetic-fraction","source_version":"fixture-v1","theorem_proved":false,"warning":"A passing bounded check is not a proof of an external theorem."}],"disclaimer":"AMVO v0.1.5 certifies no external theorem. A source pin counts as remotely verified only when a live capture on file matches it; that confirms the version exists, not that its mathematics is correct.","engine":"amvo-stdlib-exact-v0.1.5","event_ledger":{"events":0,"head_sha256":"0000000000000000000000000000000000000000000000000000000000000000"},"report_schema":"0.1"},"warning":"This site reports scoped evidence, not global theorem proof."}