{"schema":"vela.math-source-registry-read.v1","release_root":"sha256:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8","source_registry":{"schema":"vela.math-source-registry-release.v1","declaration_root":"sha256:2d479eb38f6986e93ac05b63237d22557b215e7a98c4a92aa45cc73a6e6987e7","observation_bundle_root":"sha256:0535c7159efac9a0989cc209876b812e80616df2d6be6c8b85a58f8b485114f5","source_adapter_artifact":{"schema":"vela.projection-source-adapter-artifact-reference.v3","set_root":"sha256:0ea01e2806386d0bbf68e0e9960dbc03f9883d7b62f7deeb24171b59bbc46647","artifact_root":"sha256:225c684e4b7e2c38a811d55e12e298af4d3d761d9ce77186c333e404523913e3","retrieval":{"type":"github_release_asset","repository":"vela-science/problems","release_tag":"source-adapter-set-0ea01e2806386d0bbf68e0e9960dbc03f9883d7b62f7deeb24171b59bbc46647","filename":"vela-projection-source-adapters-0ea01e2806386d0bbf68e0e9960dbc03f9883d7b62f7deeb24171b59bbc46647.json","authentication":"none"}},"source_count":15,"observation_count":15,"native_record_count":6631,"release_source_count":15,"repository_binding_count":4},"sources":[{"declaration":{"source_id":"source:alphaproof-nexus-results","native_namespace":"alphaproof-nexus-results","publisher_or_maintainer":"Google DeepMind","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/google-deepmind/alphaproof-nexus-results"}],"attributed_claims":[{"role":"publisher","name":"Google DeepMind","basis_locator_id":"repository"}],"source_kind":"formal_library","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"No license is asserted here; the Erdős Repository pins a commit and tree and retains no AlphaProof bytes, so only source identity may be projected."},"snapshot_policy":{"mode":"reference_only","retention":"none","reason":"The source declaration pins the commit and tree; the audited Lean sources have no single content locator and are not archived here."},"adapter":{"adapter_id":"problems-data/alphaproof-nexus-results-reference","version":"1.0.0","mode":"exact_git_checkout","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:73b36591a9b0a5a4451f65df7f3471a5ef805b18f5aec4165dc882eb6dbf5c01"},"coverage":{"repository_slugs":["math"],"included":["The repository identity and commit the source declaration pins"],"omissions":[{"code":"no_external_snapshot","description":"No AlphaProof Lean source is retained or projected, so no proof-level coverage is claimed."},{"code":"machine_verdicts_not_projected","description":"The Erdős Repository's machine verdicts over this library are Repository-derived evidence and are not published as source records."}]},"declaration_root":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83"},"declaration_row_root":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:alphaproof-nexus-results","observation_id":"observation:alphaproof-nexus-results:a56886d764f14d92","declaration_root":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83","acquisition_root":"sha256:a56886d764f14d92b9ba99e5a0b80510a4acca28ae3caff0e061ccd6123de522","observed_at":"2026-08-27T03:45:03-04:00","native_revision":{"kind":"observation","value":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83","content_root":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83","tree":null},"snapshot_root":null,"snapshot_state":"reference_only","projected_record_count":0,"projected_records_root":"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","coverage":{"status":"unobserved","included":["The repository identity and commit the source declaration pins"],"native_record_count":null,"projected_record_count":0},"omissions":[{"code":"no_external_snapshot","description":"No AlphaProof Lean source is retained or projected, so no proof-level coverage is claimed."},{"code":"machine_verdicts_not_projected","description":"The Erdős Repository's machine verdicts over this library are Repository-derived evidence and are not published as source records."}],"observation_root":"sha256:03fb5322ef3cc980f296ac73d80f9f8eadca6d1136387e7947ea15ac9e3603b2"},"native_record_count":0,"repository_binding_count":0}],"native_records":[],"repository_bindings":[],"next_cursor":null,"next_binding_cursor":null}