{"schema":"vela.math-source-registry-read.v1","release_root":"sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a","source_registry":{"schema":"vela.math-source-registry-release.v1","declaration_root":"sha256:2d479eb38f6986e93ac05b63237d22557b215e7a98c4a92aa45cc73a6e6987e7","observation_bundle_root":"sha256:9d736ba222fb8bcf3aeb3d4401afd52b2c6d54ff13c8153ebd4cafe19f1da14f","source_adapter_artifact":{"schema":"vela.projection-source-adapter-artifact-reference.v2","set_root":"sha256:4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e","artifact_root":"sha256:f2bb64e99199f250c5a50c2655d45e7ecbbe5ec80d213cb40ae1f9aebe64d778","retrieval":{"type":"github_release_asset","repository":"vela-science/vela-web","release_tag":"source-adapter-set-4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e","filename":"vela-projection-source-adapters-4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e.json","authentication":"required"}},"source_count":15,"observation_count":15,"native_record_count":6598,"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:1fb787df4a98a035","declaration_root":"sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83","acquisition_root":"sha256:1fb787df4a98a035b84aa8e4c947e802fad8a8f0e62aa52f2c7ee852fcc0799d","observed_at":"2026-08-19T14:43:50-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:2be53aa5e39a891f40426f0286ed111804d5b20a7ad7a8180923dd5f4a8dccb9"},"native_record_count":0,"repository_binding_count":0}],"native_records":[],"repository_bindings":[],"next_cursor":null,"next_binding_cursor":null}