{"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},{"declaration":{"source_id":"source:codetables-stabilizer","native_namespace":"codetables-stabilizer","publisher_or_maintainer":"CodeTables.de","locators":[{"locator_id":"homepage","kind":"homepage","url":"https://codetables.de/"}],"attributed_claims":[{"role":"publisher","name":"CodeTables.de","basis_locator_id":"homepage"}],"source_kind":"problem_collection","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"Current Quantum provenance contains only an attributed CodeTables locator; no license, exact external snapshot, or broader ownership claim is inferred."},"snapshot_policy":{"mode":"reference_only","retention":"none","reason":"The Atlas preserves the external locator only; the exact retained certificate is a separate Repository-local source."},"adapter":{"adapter_id":"problems-data/codetables-stabilizer-reference","version":"1.0.0","mode":"networked_acquisition","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:f3bd1cca47970a9eb9f741e00697245af1b649dd68dd65700b763600192c586f"},"coverage":{"repository_slugs":["math"],"included":["The CodeTables.de locator attributed by the current Quantum open-question Claim"],"omissions":[{"code":"no_external_snapshot","description":"No exact CodeTables table response or archive is currently retained, so no external table coverage is claimed."}]},"declaration_root":"sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972"},"declaration_row_root":"sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:codetables-stabilizer","observation_id":"observation:codetables-stabilizer:6478bf61c04a9cd0","declaration_root":"sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972","acquisition_root":"sha256:6478bf61c04a9cd064adceccfcbe2a3d39c0e1a519c1911707e921ff00f6b1af","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972","content_root":"sha256:66ff0559cc409ef5467d9653cc5af7f9e4dbad58c9d99b0ef7f57b9ced744972","tree":null},"snapshot_root":null,"snapshot_state":"reference_only","projected_record_count":0,"projected_records_root":"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","coverage":{"status":"unobserved","included":["The CodeTables.de locator attributed by the current Quantum open-question Claim"],"native_record_count":null,"projected_record_count":0},"omissions":[{"code":"no_external_snapshot","description":"No exact CodeTables table response or archive is currently retained, so no external table coverage is claimed."}],"observation_root":"sha256:f3dc0e1f405b2b79fd1c3ad114ba59da2bd5e22c1451ab9953573d02314231d5"},"native_record_count":0,"repository_binding_count":0},{"declaration":{"source_id":"source:erdos-ai-contributions-wiki","native_namespace":"erdosproblems-wiki","publisher_or_maintainer":"Erdős Problems wiki contributors","locators":[{"locator_id":"wiki-page","kind":"documentation","url":"https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems"},{"locator_id":"wiki-repository","kind":"git","url":"https://github.com/teorth/erdosproblems.wiki.git"}],"attributed_claims":[{"role":"publisher","name":"Erdős Problems wiki contributors","basis_locator_id":"wiki-page"}],"source_kind":"frozen_reference","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"The historical Repository retains a frozen attributed observation; this declaration does not infer redistribution rights for wiki text."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection binds the frozen commit and content root in its acquisition config and does not reacquire or duplicate the wiki snapshot."},"adapter":{"adapter_id":"problems-data/erdos-ai-contributions-wiki","version":"1.0.0","mode":"retained_snapshot","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:acea82d613786c0303340d31fc18cd254af33af1e97b7d5c9b31df22908c591f"},"coverage":{"repository_slugs":["math"],"included":["The exact retired AI-contributions page observation frozen by the Erdős Repository"],"omissions":[{"code":"later_wiki_history_excluded","description":"No wiki revisions beyond the retained frozen commit are represented."}]},"declaration_root":"sha256:7d04735ab7591a6cb0cce338c36d69942f59d4403f8d89716d5c80a62f558adb"},"declaration_row_root":"sha256:7d04735ab7591a6cb0cce338c36d69942f59d4403f8d89716d5c80a62f558adb","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:erdos-ai-contributions-wiki","observation_id":"observation:erdos-ai-contributions-wiki:0b81e2beacf2bffa","declaration_root":"sha256:7d04735ab7591a6cb0cce338c36d69942f59d4403f8d89716d5c80a62f558adb","acquisition_root":"sha256:0b81e2beacf2bffa5938795fb389e69126009c58a3e043a5b43ef60f422d4f0b","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"c8ad4309d20120c67cb97faa86daa1443acee018","content_root":"sha256:65f7f510a2f2edaafbb73b6a26e365394228bc48b18d3c54e2dee5c01b7bb092","tree":null},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":441,"projected_records_root":"sha256:432ec6f3ae306ec29194c8ac6e45bc243e8441d2d787e25a87bb82d1d79dd988","coverage":{"status":"complete","included":["Every record in the exact retained erdos-ai-wiki structured snapshot."],"native_record_count":441,"projected_record_count":441},"omissions":[{"code":"wiki_narrative_excluded","description":"Narrative wiki prose outside the exact structured registry is not projected."},{"code":"source_labels_remain_attributed","description":"Outcome colors and labels are source attributions, not Vela verification or acceptance."}],"observation_root":"sha256:47a8ec72c6bb195d928489b70e0ee7fdb77b138a1fce00c6dba40623e86e867e"},"native_record_count":441,"repository_binding_count":0},{"declaration":{"source_id":"source:erdos-problems","native_namespace":"erdosproblems","publisher_or_maintainer":"The Erdős Problems project; Thomas Bloom","locators":[{"locator_id":"homepage","kind":"homepage","url":"https://www.erdosproblems.com/"},{"locator_id":"repository","kind":"git","url":"https://github.com/teorth/erdosproblems"},{"locator_id":"problem-data","kind":"artifact","url":"https://raw.githubusercontent.com/teorth/erdosproblems/main/data/problems.yaml"}],"attributed_claims":[{"role":"publisher","name":"The Erdős Problems project","basis_locator_id":"homepage"},{"role":"maintainer","name":"Thomas Bloom","basis_locator_id":"homepage"}],"source_kind":"problem_collection","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"No source license is asserted by this declaration; the Atlas retains identity, roots, and attributed derived coverage only."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The observed problems.yaml commit and content root are bound at acquisition; no second archive is created and no bytes are retained."},"adapter":{"adapter_id":"problems-data/erdos-problems","version":"3.0.0","mode":"exact_git_checkout","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:b8b455e64ab01a6674991b344045a96dd4c1ed057eedfd7125ac6760274fd063"},"coverage":{"repository_slugs":["math"],"included":["Problem numbers, prize, subject tags and OEIS references as the pinned registry declares them","Upstream informal and formal status, and upstream's own derived combination of the two"],"omissions":[{"code":"no_source_truth_import","description":"Upstream labels remain attributed source facts and do not create Vela Standing."},{"code":"no_unobserved_pages","description":"Website content outside the pinned registry is not represented as covered."},{"code":"statement_prose_not_observed","description":"Verbatim problem statements are served by erdosproblems.com, which this source does not observe; records carry a locator to the problem page and no statement text."}]},"declaration_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220"},"declaration_row_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:erdos-problems","observation_id":"observation:erdos-problems:66770ddf3f22ce76","declaration_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220","acquisition_root":"sha256:66770ddf3f22ce76de220528db9609e8cf74b24365ff02a010808d4135c6474d","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","content_root":"sha256:7c5a293d0e685f19ebfbfbdbe96016fc1b4df1d0088644afc52e935d9e1a54b6","tree":"1c0d66a19f4bd7981341d6e6e565785518eeb6a4"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":1217,"projected_records_root":"sha256:df11758de3f6a02cfe88b6872bd5358027d7b9029a6a55b373be3f0da6025f95","coverage":{"status":"complete","included":["Every single-numbered entry in the exact Erdős problem registry the projection acquisition config pins."],"native_record_count":1217,"projected_record_count":1217},"omissions":[{"code":"statement_prose_not_observed","description":"Verbatim problem statements are served by erdosproblems.com, which this source does not observe; records carry a locator to the problem page and no statement text."},{"code":"website_presentation_excluded","description":"Website presentation and mutable discussion outside the pinned registry are not represented as covered."},{"code":"source_labels_remain_attributed","description":"Upstream status, formalization, prize and subject tags remain attributed source facts. None of them is a Vela Standing, and none creates Verification."}],"observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067"},"native_record_count":1217,"repository_binding_count":0},{"declaration":{"source_id":"source:formal-conjectures","native_namespace":"formal-conjectures","publisher_or_maintainer":"Google DeepMind; Formal Conjectures authors","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/google-deepmind/formal-conjectures"},{"locator_id":"published-data","kind":"artifact","url":"https://google-deepmind.github.io/formal-conjectures/data/conjectures.json"},{"locator_id":"license","kind":"documentation","url":"https://github.com/google-deepmind/formal-conjectures/blob/main/LICENSE"}],"attributed_claims":[{"role":"publisher","name":"Google DeepMind","basis_locator_id":"repository"},{"role":"maintainer","name":"Formal Conjectures authors","basis_locator_id":"repository"}],"source_kind":"formal_library","rights":{"status":"declared","license_expression":"Apache-2.0","access":"public","redistribution":"full_under_license","basis":"The upstream repository contains an Apache-2.0 LICENSE file; each retained observation still binds the exact source revision."},"snapshot_policy":{"mode":"retained_exact_bytes","retention":"immutable_artifact","reason":"The published dataset is a Pages build artifact tracked at no ref, and the elaborated statements exist only by running Lean over the pinned checkout; both are retained exactly, under Apache-2.0, so the acquisition is reproducible without refetching either."},"adapter":{"adapter_id":"problems-data/formal-conjectures","version":"3.0.0","mode":"networked_acquisition","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:51e586f4ee04fee9c5d773ffb3b6d5b4fcddfc9a889f467cba65a256095f02c0"},"coverage":{"repository_slugs":["math"],"included":["Observed formal declaration identity, source path, commit, tree, and file root","The elaborated formal statement and docstring of every theorem, read from the pinned checkout by the repository's own extractor","Pinned Lean, Lake, and Mathlib environment identities retained by current Repository records"],"omissions":[{"code":"kernel_not_fidelity","description":"Kernel elaboration is not represented as statement fidelity or scientific acceptance."},{"code":"unretained_source_files","description":"Files not referenced by a declared Repository observation remain outside Atlas coverage."}]},"declaration_root":"sha256:5b802bd7a374f81a315266a79c1bc78a4555258343d4b3f5b377764ae146078c"},"declaration_row_root":"sha256:5b802bd7a374f81a315266a79c1bc78a4555258343d4b3f5b377764ae146078c","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:formal-conjectures","observation_id":"observation:formal-conjectures:c1df9bcd329aa009","declaration_root":"sha256:5b802bd7a374f81a315266a79c1bc78a4555258343d4b3f5b377764ae146078c","acquisition_root":"sha256:c1df9bcd329aa009d55862a184b8158e1d13afa35198ba5a9a5f3bdaebd8f847","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"59f30aa314ba225fcd9268723ce8291616df1ab0","content_root":"sha256:0b3c7ef05089ab9c4d70add3731b1637f7b79b7d8ba3d55fefa971bf12acef4f","tree":"f29ccba1cb8f867f60e4adc07abc530e69750c8e"},"snapshot_root":"sha256:0b3c7ef05089ab9c4d70add3731b1637f7b79b7d8ba3d55fefa971bf12acef4f","snapshot_state":"retained_exact_bytes","projected_record_count":3551,"projected_records_root":"sha256:145aaa928cc9c0e27d3ccf900c37ae774f1460be55fe28ac43695ef216c7f12a","coverage":{"status":"complete","included":["Every theorem record in the exact official published Formal Conjectures dataset."],"native_record_count":3551,"projected_record_count":3551},"omissions":[{"code":"repository_support_code_excluded","description":"Mathlib support code, site assets, tests, and build infrastructure are not conjecture records."},{"code":"published_aggregate_statistics_excluded","description":"Mutable site statistics and contributor aggregates remain outside source-native theorem rows."},{"code":"no_fidelity_or_acceptance_inference","description":"A published or kernel-elaborated formal statement is not represented as statement fidelity or scientific acceptance."},{"code":"source_bytes_not_repackaged","description":"Normalized rows bind each exact Lean source blob but do not duplicate the repository bytes."},{"code":"published_dataset_tracked_at_no_ref","description":"The official published dataset is a GitHub Pages build artifact tracked at no ref, so it cannot be re-fetched at a revision. The adapter binds its byte root, checks out the commit the Pages deployment API names as the one whose build is served, and proves that every referenced source path exists there."}],"observation_root":"sha256:a10796d13044ef5f9700b43b804c4c7ed4f326ad1bd8e204933baa3b53517f2e"},"native_record_count":3551,"repository_binding_count":4},{"declaration":{"source_id":"source:formal-conjectures-pr-audit","native_namespace":"formal-conjectures-pr-audit-v1","publisher_or_maintainer":"William Blair","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/williamjblair/formal-conjectures"},{"locator_id":"audit-packet","kind":"artifact","url":"https://github.com/williamjblair/formal-conjectures/tree/50fb575fadfc710f2da66cba1d3909429f9ba25e/audit/pr-audit-v1"},{"locator_id":"license","kind":"documentation","url":"https://github.com/williamjblair/formal-conjectures/blob/50fb575fadfc710f2da66cba1d3909429f9ba25e/LICENSE"}],"attributed_claims":[{"role":"publisher","name":"William Blair","basis_locator_id":"repository"},{"role":"maintainer","name":"William Blair","basis_locator_id":"repository"}],"source_kind":"frozen_reference","rights":{"status":"declared","license_expression":"Apache-2.0","access":"public","redistribution":"full_under_license","basis":"The exact pinned fork commit includes an Apache-2.0 LICENSE and publicly distributes the bounded audit packet."},"snapshot_policy":{"mode":"reference_only","retention":"none","reason":"The dedicated Formal Conjectures audit projection verifies the ten exact core and observation records through Math custody; the generic native-record plane retains only this pinned package declaration and does not duplicate them."},"adapter":{"adapter_id":"problems-data/formal-conjectures-pr-audit-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:dba911e688fc54d61c0e3b1297baddf10a6323cae97081fbb6ad2cb9f6972303"},"coverage":{"repository_slugs":["math"],"included":["The public audit package identity at commit 50fb575fadfc710f2da66cba1d3909429f9ba25e and tree 7213fa92375028e13797fc89f2cc300fc0568869","The five bounded pull-request audit cases projected separately through exact Math source custody"],"omissions":[{"code":"dedicated_projection_not_duplicated","description":"The generic source-adapter set emits no duplicate native records; the dedicated audit projection owns the exact core and observation record verification."},{"code":"audit_not_authority","description":"Audit dispositions, pull-request state, checks, reviews, and merges do not create a Vela Verification, Decision, Event, or Standing."},{"code":"clean_ground_truth_unmet","description":"The clean-candidate case remains inconclusive because exact-head independent human source-fidelity ground truth is not retained."}]},"declaration_root":"sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a"},"declaration_row_root":"sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:formal-conjectures-pr-audit","observation_id":"observation:formal-conjectures-pr-audit:84368f0fb5fe2e0d","declaration_root":"sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a","acquisition_root":"sha256:84368f0fb5fe2e0de22311cb46a6125d30842276fd3b0ad884b54e60935b1ed5","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a","content_root":"sha256:9b3f6905f2df6ee4b3358fe72f79247b68dfc9c7551b7a8bb1266fa17e12016a","tree":null},"snapshot_root":null,"snapshot_state":"reference_only","projected_record_count":0,"projected_records_root":"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945","coverage":{"status":"unobserved","included":["The public audit package identity at commit 50fb575fadfc710f2da66cba1d3909429f9ba25e and tree 7213fa92375028e13797fc89f2cc300fc0568869","The five bounded pull-request audit cases projected separately through exact Math source custody"],"native_record_count":null,"projected_record_count":0},"omissions":[{"code":"dedicated_projection_not_duplicated","description":"The generic source-adapter set emits no duplicate native records; the dedicated audit projection owns the exact core and observation record verification."},{"code":"audit_not_authority","description":"Audit dispositions, pull-request state, checks, reviews, and merges do not create a Vela Verification, Decision, Event, or Standing."},{"code":"clean_ground_truth_unmet","description":"The clean-candidate case remains inconclusive because exact-head independent human source-fidelity ground truth is not retained."}],"observation_root":"sha256:a0da571025c6f324c4146537df44568a83a3888cc68b16044382b3b838d01461"},"native_record_count":0,"repository_binding_count":0},{"declaration":{"source_id":"source:gpt-erdos","native_namespace":"gpt-erdos","publisher_or_maintainer":"Neel Somani","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/neelsomani/gpt-erdos"}],"attributed_claims":[{"role":"maintainer","name":"Neel Somani","basis_locator_id":"repository"}],"source_kind":"frozen_reference","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"The historical Repository retains an attributed frozen observation; this declaration does not infer redistribution rights for repository bytes."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection binds only the commit and content root named by its acquisition config."},"adapter":{"adapter_id":"problems-data/gpt-erdos","version":"1.0.0","mode":"retained_snapshot","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:26c240093b30c9b3e8be0872025fb317ebd1ef06c98b91e7184768bf0bba0fbb"},"coverage":{"repository_slugs":["math"],"included":["The exact candidate-classification snapshot retained by the Erdős Repository"],"omissions":[{"code":"later_repository_history_excluded","description":"Repository history after the retained commit is outside current declared coverage."}]},"declaration_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891"},"declaration_row_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:gpt-erdos","observation_id":"observation:gpt-erdos:f2593f5c2298443d","declaration_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891","acquisition_root":"sha256:f2593f5c2298443df12264873a2c6cd4873abb5f827eb23d95b355a991a42847","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","content_root":"sha256:c0f626a4792d6b150b79268807ea2f9316f2b09be5475fb6ee1b14f630bc1136","tree":null},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":57,"projected_records_root":"sha256:210ce607924c78da349229a9967fa8b897e56ce5e889ae48132d37cfc137e2fd","coverage":{"status":"complete","included":["Every record in the exact retained gpt-erdos structured snapshot."],"native_record_count":57,"projected_record_count":57},"omissions":[{"code":"unretained_repository_content_excluded","description":"Only the exact retained structured classification snapshot is represented."},{"code":"classification_not_validation","description":"GPT-Erdős categories remain attributed classifications and do not create verification or Standing."}],"observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5"},"native_record_count":57,"repository_binding_count":0},{"declaration":{"source_id":"source:jayyhk-erdos-lean","native_namespace":"jayyhk-erdos-lean","publisher_or_maintainer":"Jayyhk","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/Jayyhk/erdos-lean"},{"locator_id":"problem-manifest","kind":"artifact","url":"https://raw.githubusercontent.com/Jayyhk/erdos-lean/main/data/problems.yaml"}],"attributed_claims":[{"role":"maintainer","name":"Jayyhk","basis_locator_id":"repository"}],"source_kind":"proof_manifest","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"No license is asserted here; only exact source identity and the content root already retained by the Erdős Repository may be projected."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection acquisition config binds the observed proof manifest without authorizing a second archive."},"adapter":{"adapter_id":"problems-data/jayyhk-erdos-lean","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:b9996577fa1afb855b48d5d2566b5b9d75f0b184cf0f118f9a071728a090945c"},"coverage":{"repository_slugs":["math"],"included":["Problem and hosted-proof references observed by the Problems projection acquisition config"],"omissions":[{"code":"proof_bytes_not_archived","description":"The Atlas does not retain or redistribute unlicensed proof-source bytes."}]},"declaration_root":"sha256:244f6d4554ed25ee27b4dc112b4725a384eddc737d4a14d443a157d60daa8ba6"},"declaration_row_root":"sha256:244f6d4554ed25ee27b4dc112b4725a384eddc737d4a14d443a157d60daa8ba6","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:jayyhk-erdos-lean","observation_id":"observation:jayyhk-erdos-lean:0618a55aa70c93b0","declaration_root":"sha256:244f6d4554ed25ee27b4dc112b4725a384eddc737d4a14d443a157d60daa8ba6","acquisition_root":"sha256:0618a55aa70c93b06b8feb28f841d54868735af7e5f58c3087223bd1dc3e5037","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"a5ffc87b3d684fc00ea906b9e746c283740da900","content_root":"sha256:5a7a5f14b2e890be290a71abae326ae257035c2555cd18e2cb4f33ab54c39848","tree":"4072053047a13d59e2b0e96c463e64671eb960f0"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":206,"projected_records_root":"sha256:353f5825a43ae0ca37b0d2af439713fcba861f2d47bf1b673d419fa07d8d6074","coverage":{"status":"complete","included":["Every entry in the exact jayyhk proof manifest retained by the Problems projection acquisition config."],"native_record_count":206,"projected_record_count":206},"omissions":[{"code":"proof_source_bytes_excluded","description":"Proof-source bytes outside the exact manifest are not copied into the Math source projection."},{"code":"source_labels_remain_attributed","description":"Manifest proof and axiom labels remain attributed source metadata and do not create Vela Verification or Standing."}],"observation_root":"sha256:a0e6ffa0c7239b05befb2b05eca3c5f8b55af713cd4648e9c2f91480a290ea2a"},"native_record_count":206,"repository_binding_count":0},{"declaration":{"source_id":"source:oeis-a309370","native_namespace":"oeis","publisher_or_maintainer":"The OEIS Foundation Inc.","locators":[{"locator_id":"sequence","kind":"homepage","url":"https://oeis.org/A309370"},{"locator_id":"sequence-json","kind":"api","url":"https://oeis.org/A309370?fmt=json"},{"locator_id":"foundation","kind":"documentation","url":"https://oeisf.org/"}],"attributed_claims":[{"role":"publisher","name":"The OEIS Foundation Inc.","basis_locator_id":"foundation"}],"source_kind":"sequence_database","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"The Atlas treats A309370 as an attributed native reference and does not infer redistribution rights for OEIS content."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Sidon Repository retains exact witness evidence and an observed OEIS identity; the Atlas does not mirror the OEIS entry."},"adapter":{"adapter_id":"problems-data/oeis-a309370","version":"1.0.0","mode":"networked_acquisition","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:5dc906d276bbf2281dc6f4674d4db9089a7ddc3163185b01e15e974be20bccb6"},"coverage":{"repository_slugs":["math"],"included":["A309370 identity and the exact observed bounds referenced by current Sidon Claims"],"omissions":[{"code":"oeis_entry_not_mirrored","description":"Unreferenced OEIS fields, revision history, comments, and linked sequences are outside declared coverage."}]},"declaration_root":"sha256:448417892c7c46ee5f2b364d11511d746ccf9f3e71114ff363ba17d6b3bbdf36"},"declaration_row_root":"sha256:448417892c7c46ee5f2b364d11511d746ccf9f3e71114ff363ba17d6b3bbdf36","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:oeis-a309370","observation_id":"observation:oeis-a309370:f8a1fec61bd45e16","declaration_root":"sha256:448417892c7c46ee5f2b364d11511d746ccf9f3e71114ff363ba17d6b3bbdf36","acquisition_root":"sha256:f8a1fec61bd45e16a1fc6c35af436faeeb16c6c31cf94b6b42c0a8990c36d684","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"sha256:f0bdf3d29e7230baeb42b53cb7494887c4c7a6660a5dcacc62186cd292a8c744","content_root":"sha256:f0bdf3d29e7230baeb42b53cb7494887c4c7a6660a5dcacc62186cd292a8c744","tree":null},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":1,"projected_records_root":"sha256:95438c0cb00aac63c92be3f103f220d2fd3bde7846021a3c23b6e06722357ae9","coverage":{"status":"complete","included":["The one exact OEIS A309370 sequence record returned by the declared JSON endpoint."],"native_record_count":1,"projected_record_count":1},"omissions":[{"code":"oeis_narrative_fields_not_projected","description":"Comments, formulas, programs, links, examples, and revision history remain outside the normalized row."},{"code":"oeis_source_labels_remain_attributed","description":"OEIS data and comments remain attributed source facts and do not create Vela Verification or Standing."}],"observation_root":"sha256:1da2ea00a9e0ca11d57a78704532db4fe86d4143c892ee9cfc794d4ff3055190"},"native_record_count":1,"repository_binding_count":0},{"declaration":{"source_id":"source:openai-ten-proofs","native_namespace":"openai-ten-proofs:comparator","publisher_or_maintainer":"OpenAI","locators":[{"locator_id":"announcement","kind":"homepage","url":"https://openai.com/index/ten-advances-in-mathematics/"},{"locator_id":"repository","kind":"git","url":"https://github.com/openai/ten-proofs"},{"locator_id":"manuscript","kind":"artifact","url":"https://cdn.openai.com/pdf/ten-proofs-oai.pdf"},{"locator_id":"discovery-notes","kind":"artifact","url":"https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf"},{"locator_id":"license","kind":"documentation","url":"https://github.com/openai/ten-proofs/blob/94bc0feb6a9ff12c7d31d6de640a725c9d43d2b6/LICENSE"}],"attributed_claims":[{"role":"publisher","name":"OpenAI","basis_locator_id":"announcement"},{"role":"maintainer","name":"OpenAI","basis_locator_id":"repository"}],"source_kind":"formal_library","rights":{"status":"declared","license_expression":"Apache-2.0","access":"public","redistribution":"full_under_license","basis":"The exact pinned repository tree includes an Apache-2.0 LICENSE file; manuscript and discovery-note rights remain separate and their bytes are not repackaged."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The adapter binds the exact Git commit, tree, Comparator files, Lean toolchain, and Lake manifests without creating a second repository archive."},"adapter":{"adapter_id":"problems-data/openai-ten-proofs","version":"2.0.0","mode":"exact_git_checkout","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:814b7dd131352f5b14ee66873874bca29a61fa761b1ca8ede3a698e4adae1c96"},"coverage":{"repository_slugs":["math"],"included":["All twelve Comparator profiles declared by formalization.yaml at commit 94bc0feb6a9ff12c7d31d6de640a725c9d43d2b6","Exact challenge, solution, toolchain, Lake manifest, lakefile, formalization manifest, and license roots"],"omissions":[{"code":"no_independent_reproduction","description":"Repository presence and publisher review do not establish an independent Lean build, Comparator result, or Vela Verification."},{"code":"no_fidelity_novelty_or_standing","description":"The adapter does not infer statement fidelity, mathematical novelty, field acceptance, or Vela Standing from formal artifacts."},{"code":"publication_bytes_not_retained","description":"The announcement and PDF locators are attributed release context; their bytes and rights are outside this exact-Git adapter."}]},"declaration_root":"sha256:21707325df8d9f64e7c18dede8f75ab7efa10bc47fafa1a9af1dcaf17120377b"},"declaration_row_root":"sha256:21707325df8d9f64e7c18dede8f75ab7efa10bc47fafa1a9af1dcaf17120377b","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:openai-ten-proofs","observation_id":"observation:openai-ten-proofs:763160eee92857c5","declaration_root":"sha256:21707325df8d9f64e7c18dede8f75ab7efa10bc47fafa1a9af1dcaf17120377b","acquisition_root":"sha256:763160eee92857c5218965a99ff28c73c7f01dbe659e695d3d0b84b4aaee8049","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"94bc0feb6a9ff12c7d31d6de640a725c9d43d2b6","content_root":"sha256:b0c5ee05132a75ec994dec133cdc949f41968fa823300f2806bc4c6da8ca37dd","tree":"174289e4d4958cb0509874e6e53400e098213de7"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":12,"projected_records_root":"sha256:c8902aaf1809f23ae3218c74db615aa0bda5c7580cc07b79ea152f6d0503fa5d","coverage":{"status":"complete","included":["All twelve Comparator profiles declared by formalization.yaml at the exact pinned OpenAI ten-proofs commit and tree."],"native_record_count":12,"projected_record_count":12},"omissions":[{"code":"manuscript_bytes_not_repackaged","description":"The announcement, manuscripts, and discovery-note PDFs remain exact external locators; this Git adapter does not copy publication bytes into the Registry bundle."},{"code":"discovery_process_not_observed","description":"Prompts, rejected attempts, raw model traces, complete human interventions, selection procedure, and per-result cost are not present in this repository release."},{"code":"profile_not_reproduction","description":"Presence of a Comparator profile and Lean source is not an independent build, Comparator run, or Verification Record."},{"code":"formalization_not_fidelity","description":"A checked formal theorem would not by itself establish statement fidelity, novelty, field acceptance, or Vela Standing."},{"code":"publisher_review_is_attributed","description":"The source-declared agent-reviewed label remains publisher-attributed metadata and does not create independent review or authority."}],"observation_root":"sha256:0f510298bff88b5b182133a60d635acc42c5d46dee0fad7973a04af3c9913b02"},"native_record_count":12,"repository_binding_count":0},{"declaration":{"source_id":"source:palomar-registry","native_namespace":"palomar-registry","publisher_or_maintainer":"Palomar Registry","locators":[{"locator_id":"homepage","kind":"homepage","url":"https://palomar-registry.org/"},{"locator_id":"recent-feed","kind":"api","url":"https://data.palomar-registry.org/recent.json"},{"locator_id":"entry","kind":"artifact","url":"https://data.palomar-registry.org/entries/PALOMAR-2026-08-19-000002-v1.json"},{"locator_id":"review-policy","kind":"git","url":"https://github.com/PalomarRegistry/PalomarPolicy"},{"locator_id":"rights","kind":"documentation","url":"https://palomar-registry.org/about"}],"attributed_claims":[{"role":"publisher","name":"Palomar Registry","basis_locator_id":"homepage"}],"source_kind":"formal_library","rights":{"status":"declared","license_expression":"CC0-1.0","access":"public","redistribution":"full_under_license","basis":"Registry metadata is published under CC0, stated on the registry's about page; each record additionally carries the source project's own license identity and license-file digest, which this declaration attributes and does not assert."},"snapshot_policy":{"mode":"retained_exact_bytes","retention":"immutable_artifact","reason":"Palomar publishes no digest or signature over the entry JSON and may re-render older entries to the current schema, so the adapter pins its own consumer-computed root over the exact fetched entry bytes and re-verifies both evidence reports against the digests inside the entry."},"adapter":{"adapter_id":"problems-data/palomar-registry","version":"1.0.0","mode":"networked_acquisition","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:753f8e0579c8df2b00b3252be6e7903828e452f958f62a68c8efc96edfc4cdcb"},"coverage":{"repository_slugs":["math"],"included":["The one registered entry PALOMAR-2026-08-19-000002 v1 (elliotglazer/erdos501, an independence resolution of Erdős problem #501), as exact retained entry bytes","Exact record identity, source commit, formalization surface, verification-run identity, review policy pin and digests, bounded review warnings, preservation locators, and Palomar-local status as the entry declares them"],"omissions":[{"code":"palomar_status_is_external_standing","description":"Palomar's registered status and trust level are Palomar-local external standing; they create no Vela Standing, Verification, acceptance, or admission."},{"code":"palomar_nonclaims_are_registry_level","description":"Palomar claims no novelty, no quality assessment, no peer review, no publication status, and no informal-proof verification; these attributed nonclaims are registry-level prose, not per-record data."},{"code":"palomar_mechanical_pass_is_one_scoped_check","description":"Comparator, Lean-kernel, and NanoDa results are folded into Palomar's single mechanical pass and retained as one scoped external check (palomar-mechanical); Vela re-derives none of them and none is a Vela Verification."},{"code":"palomar_review_is_llm_under_policy","description":"The semantic review is an LLM review under a pinned policy commit; its outcome and bounded findings are attributed observations, never adjudication."},{"code":"palomar_consent_is_asserted_relationship","description":"The submitter relationship is an asserted field; Palomar publishes no signed consent artifact."},{"code":"palomar_admission_process_unobservable","description":"Only the admission outcome — status registered with its timestamps — is observable; the registry's admission decision process is internal."},{"code":"palomar_version_relation_reconstructed","description":"Version relations are reconstructed from the shared registry ID and integer versions; Palomar publishes no supersedes or corrects field, and the reason for a new version is unobservable."},{"code":"palomar_entry_bytes_not_provider_signed","description":"Palomar publishes no digest or signature over the entry JSON; authenticity rests on TLS retrieval plus the consumer-computed retained-bytes root, and version-URL immutability is Palomar's assertion."},{"code":"palomar_challenge_render_not_archived","description":"The challenge render is retained as a locator and provider tree digest only; its bytes are not archived."},{"code":"palomar_evidence_tree_not_archived","description":"Beyond the two digest-verified reports, the evidence tree — comparator log tail, resource usage, Mathlib cache and the rest — is pinned by evidence_tree_sha256 and not archived."}]},"declaration_root":"sha256:0b156480f46fc1e84218fce8f7e96f34a3660111c8c12bedf1c0da8b5ce67963"},"declaration_row_root":"sha256:0b156480f46fc1e84218fce8f7e96f34a3660111c8c12bedf1c0da8b5ce67963","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:palomar-registry","observation_id":"observation:palomar-registry:d5994e671a0ec7cc","declaration_root":"sha256:0b156480f46fc1e84218fce8f7e96f34a3660111c8c12bedf1c0da8b5ce67963","acquisition_root":"sha256:d5994e671a0ec7cc9bf676e7188f01eaf7034d9995bbda3f7367c51120c3a6c0","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"sha256:306220a43c9696396c9f0cbb87ddb3d3352941a4b411988269386911c2492688","content_root":"sha256:306220a43c9696396c9f0cbb87ddb3d3352941a4b411988269386911c2492688","tree":null},"snapshot_root":"sha256:306220a43c9696396c9f0cbb87ddb3d3352941a4b411988269386911c2492688","snapshot_state":"retained_exact_bytes","projected_record_count":1,"projected_records_root":"sha256:d0f87c766291e0ee2876a13e784d5837b144c193c26a796bd4b1bff73591bf7f","coverage":{"status":"complete","included":["The one exact Palomar registry entry served at the declared versioned entry URL, with its two evidence reports re-verified against the digests inside the entry."],"native_record_count":1,"projected_record_count":1},"omissions":[{"code":"palomar_challenge_render_not_archived","description":"The challenge render is retained as a locator and provider tree digest only; its bytes are not archived."},{"code":"palomar_evidence_tree_not_archived","description":"Beyond the two digest-verified reports, the evidence tree — comparator log tail, resource usage, Mathlib cache and the rest — is pinned by evidence_tree_sha256 and not archived."},{"code":"palomar_mechanical_pass_is_one_scoped_check","description":"Comparator, Lean-kernel, and NanoDa results are folded into Palomar's single mechanical pass and retained as one scoped external check (palomar-mechanical); Vela re-derives none of them and none is a Vela Verification."},{"code":"palomar_status_is_external_standing","description":"Palomar's registered status and trust level are Palomar-local external standing; they create no Vela Standing, Verification, acceptance, or admission."},{"code":"palomar_nonclaims_are_registry_level","description":"Palomar claims no novelty, no quality assessment, no peer review, no publication status, and no informal-proof verification; these attributed nonclaims are registry-level prose, not per-record data."},{"code":"palomar_review_is_llm_under_policy","description":"The semantic review is an LLM review under a pinned policy commit; its outcome and bounded findings are attributed observations, never adjudication."},{"code":"palomar_consent_is_asserted_relationship","description":"The submitter relationship is an asserted field; Palomar publishes no signed consent artifact."},{"code":"palomar_admission_process_unobservable","description":"Only the admission outcome — status registered with its timestamps — is observable; the registry's admission decision process is internal."},{"code":"palomar_version_relation_reconstructed","description":"Version relations are reconstructed from the shared registry ID and integer versions; Palomar publishes no supersedes or corrects field, and the reason for a new version is unobservable."},{"code":"palomar_entry_bytes_not_provider_signed","description":"Palomar publishes no digest or signature over the entry JSON; authenticity rests on TLS retrieval plus the consumer-computed retained-bytes root, and version-URL immutability is Palomar's assertion."}],"observation_root":"sha256:a3c53cc7646897e1355ce64ebd16dbdc5eec63e624ae19de3dbf0403ba77c588"},"native_record_count":1,"repository_binding_count":0},{"declaration":{"source_id":"source:physlib","native_namespace":"leanprover-community/physlib:API-map","publisher_or_maintainer":"The Physlib community","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/leanprover-community/physlib"},{"locator_id":"api-map-guide","kind":"documentation","url":"https://github.com/leanprover-community/physlib/blob/ad1d812c1cfd269898282081384bd92aef33b278/docs/API_MAP_GUIDE.md"},{"locator_id":"ai-policy","kind":"documentation","url":"https://github.com/leanprover-community/physlib/blob/ad1d812c1cfd269898282081384bd92aef33b278/AI-POLICY.md"},{"locator_id":"review-guidelines","kind":"documentation","url":"https://github.com/leanprover-community/physlib/blob/ad1d812c1cfd269898282081384bd92aef33b278/docs/ReviewGuidelines.md"},{"locator_id":"api-tracker","kind":"homepage","url":"https://physlib.io/api-tracker"},{"locator_id":"todo-list","kind":"homepage","url":"https://physlib.io/TODOList"},{"locator_id":"license","kind":"documentation","url":"https://github.com/leanprover-community/physlib/blob/ad1d812c1cfd269898282081384bd92aef33b278/LICENSE"}],"attributed_claims":[{"role":"publisher","name":"The Physlib community","basis_locator_id":"repository"},{"role":"maintainer","name":"The Physlib community","basis_locator_id":"repository"}],"source_kind":"formal_library","rights":{"status":"declared","license_expression":"Apache-2.0","access":"public","redistribution":"full_under_license","basis":"The exact pinned repository tree includes an Apache-2.0 LICENSE file. This projection retains roots and source-native metadata rather than a second repository archive."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The adapter binds the exact Git commit, tree, native API maps, toolchain, Lake manifests, license, AI policy, agent guidance, and review guidance without copying the repository."},"adapter":{"adapter_id":"problems-data/physlib-api-maps","version":"3.0.0","mode":"exact_git_checkout","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:3a63c4df376d9f6c8e8e04dc8e9b930805897a0dbb4287193001affbae276854"},"coverage":{"repository_slugs":["math"],"included":["Every requirement in all 20 Physlib/API-map.yaml files at commit ad1d812c1cfd269898282081384bd92aef33b278","Exact source-reported planned or implemented status, location, parent APIs, references, Lean toolchain, and policy roots"],"omissions":[{"code":"native_status_not_vela_standing","description":"A Physlib done flag remains attributed native map state and does not create a Vela Claim, Verification, Decision, or Standing result."},{"code":"mutable_coordination_not_observed","description":"GitHub issues, pull requests, reviewer allocation, generated trackers, and merge state are outside this exact-Git observation."},{"code":"no_independent_native_verification","description":"The adapter does not run Lean, Physlib linters, axiom checks, source-fidelity review, or maintainer review."}]},"declaration_root":"sha256:e8320022f1b34eea75349e0896ae42cd9b78f0191e2f9ea8805743be0accce9c"},"declaration_row_root":"sha256:e8320022f1b34eea75349e0896ae42cd9b78f0191e2f9ea8805743be0accce9c","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:physlib","observation_id":"observation:physlib:071ce76f0a8083cb","declaration_root":"sha256:e8320022f1b34eea75349e0896ae42cd9b78f0191e2f9ea8805743be0accce9c","acquisition_root":"sha256:071ce76f0a8083cb5e0e8baf259fe670fede96885e1918942cd8537ff1c92916","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"e882411d1b6bcbdfdd336d4c509c6cc72e96842d","content_root":"sha256:b1ce1b2dde5a3a974c4730e3ab6696f872dbc8f6993e51520df085992964fc09","tree":"23c105e133d8c28cb5df81a8b6be52f0f25c0247"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":232,"projected_records_root":"sha256:c538042432169640f3732b1b3d066111616d27c21633a3f097b9d75f89ad8ba4","coverage":{"status":"complete","included":["Every requirement in all 20 Physlib/API-map.yaml files at the exact pinned commit and tree."],"native_record_count":232,"projected_record_count":232},"omissions":[{"code":"issues_and_pull_requests_not_observed","description":"GitHub issue, pull-request, reviewer-allocation, and merge state remain outside this exact-Git API-map observation."},{"code":"todo_and_generated_site_not_projected","description":"The broader TODO index and generated physlib.io API tracker are not projected; the adapter covers only native tracked API-map files."},{"code":"physlib_alpha_not_mapped","description":"The observed revision contains no PhyslibAlpha API-map files, so this bundle projects stable Physlib API maps only."},{"code":"done_is_source_attribution","description":"A source-declared done flag reports native API-map state; it is not a Vela Claim, Verification, Decision, or Standing result."},{"code":"declarations_not_independently_checked","description":"The adapter confirms referenced Lean files exist but does not run Lean, the Physlib API-map linter, axiom checks, or declaration-name resolution."},{"code":"policy_not_review","description":"Binding exact AI and review policy bytes does not establish compliance, human understanding, scientific fidelity, or maintainer acceptance."},{"code":"requirement_ids_are_adapter_scoped","description":"Physlib requirements have no native stable IDs; record identities use the exact API-map path and one-based source ordinal at this revision."},{"code":"planned_locations_are_attributed","description":"The adapter preserves planned requirements that name partial or empty locations even when the API-map guide prescribes N/A; it does not normalize or infer completion from those fields."}],"observation_root":"sha256:fce692e559477ec2cbcab6a5931c35bb0a903ff861f4100872eb141f3ed3e6f9"},"native_record_count":232,"repository_binding_count":0},{"declaration":{"source_id":"source:plby-lean-proofs","native_namespace":"plby-lean-proofs","publisher_or_maintainer":"plby","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/plby/lean-proofs"},{"locator_id":"proof-manifest","kind":"artifact","url":"https://raw.githubusercontent.com/plby/lean-proofs/main/data/sources.yaml"}],"attributed_claims":[{"role":"maintainer","name":"plby","basis_locator_id":"repository"}],"source_kind":"proof_manifest","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"No license is asserted here; only exact source identity and the content root already retained by the Erdős Repository may be projected."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection acquisition config binds the observed proof manifest without authorizing a second archive."},"adapter":{"adapter_id":"problems-data/plby-lean-proofs","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:8ec77edf92e574e31e1bf1ccb452ed192531737b2bcd46dfff7809b06734efc9"},"coverage":{"repository_slugs":["math"],"included":["Proof-manifest entries observed by the Problems projection acquisition config"],"omissions":[{"code":"proof_bytes_not_archived","description":"The Atlas does not retain or redistribute unlicensed proof-source bytes."}]},"declaration_root":"sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309"},"declaration_row_root":"sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:plby-lean-proofs","observation_id":"observation:plby-lean-proofs:16b5cd5489a13ab2","declaration_root":"sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309","acquisition_root":"sha256:16b5cd5489a13ab20311b6333a27b062bc0eca9a67b51aa3848e2ae340555dce","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"68da20b96673899166e94638f5a7fffeb7231d35","content_root":"sha256:486189ecf038d26cee1d9f8a90dd0832cc2580f297ef795e2c054b32ad741a40","tree":"1d42e6d9d0fecef7de0c6c2a6e3cf7d58283bab8"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":202,"projected_records_root":"sha256:d9dfa12109c134ccd544774cfc5dcae52f927e411c95de206bc7f904f0901d3c","coverage":{"status":"complete","included":["Every entry in the exact plby proof manifest retained by the Problems projection acquisition config."],"native_record_count":202,"projected_record_count":202},"omissions":[{"code":"proof_source_bytes_excluded","description":"Proof-source bytes outside the exact manifest are not copied into the Math source projection."},{"code":"source_labels_remain_attributed","description":"PLBY author, version, partial, and conditional labels remain attributed source metadata; they are neither Vela Verification nor Standing."}],"observation_root":"sha256:9f3ce8a3289c6e20818279c4c11cb56893962d2f8bd446a9e907f03404ebf279"},"native_record_count":202,"repository_binding_count":0},{"declaration":{"source_id":"source:vibemathed","native_namespace":"vibemathed","publisher_or_maintainer":"Rasmus Lindahl (mrconter1)","locators":[{"locator_id":"homepage","kind":"homepage","url":"https://vibemathed.com"},{"locator_id":"dataset","kind":"api","url":"https://vibemathed.com/api/dataset"},{"locator_id":"methodology","kind":"documentation","url":"https://vibemathed.com/methodology"},{"locator_id":"repository","kind":"git","url":"https://github.com/mrconter1/vibemathed"},{"locator_id":"license","kind":"documentation","url":"https://creativecommons.org/licenses/by/4.0/"}],"attributed_claims":[{"role":"publisher","name":"VibeMathed","basis_locator_id":"homepage"},{"role":"maintainer","name":"Rasmus Lindahl","basis_locator_id":"repository"}],"source_kind":"problem_collection","rights":{"status":"declared","license_expression":"CC-BY-4.0","access":"public","redistribution":"full_under_license","basis":"The repository README licenses the catalogue and the dataset CC BY 4.0 and the site's code MIT; the dataset response repeats the licence in its own `license` field. Only the catalogue is acquired, and every record carries the attribution the licence requires."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The adapter roots each record on the catalogue entry it observed and binds the retrieval that served it; no second archive of the dataset is created."},"adapter":{"adapter_id":"problems-data/vibemathed","version":"1.0.0","mode":"networked_acquisition","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:f1c6dcffe525f93b822d6e4a4256992123cc3e013ea10412a6754ae37da10d4b"},"coverage":{"repository_slugs":["math"],"included":["Every catalogue entry the dataset endpoint serves, with its curatorial labels: resolution, verification rung, AI-contribution tier, and significance score","The problem statement text where the catalogue carries one, retained under CC BY 4.0 with attribution"],"omissions":[{"code":"curatorial_labels_not_vela_standing","description":"Verification rung, AI-contribution tier, significance score and moderator approval are source attributions. None of them creates Vela Standing, Verification, or acceptance."},{"code":"no_pinned_revision","description":"The endpoint serves no commit locator and re-renders its envelope on a cache cycle, so an observation names a retrieval rather than a revision."},{"code":"community_state_not_observed","description":"Votes, comment counts, submitter pseudonyms, edit changelogs, discussion threads and member profiles are mutable site state and are not projected."},{"code":"linked_evidence_not_acquired","description":"The preprints and Lean repositories an entry cites are retained as locators; their bytes and their separate rights are outside this source."}]},"declaration_root":"sha256:24b6a98a77247e3cb6c86107f19cc6da6e90a7a95466c9257f6029a0f9244781"},"declaration_row_root":"sha256:24b6a98a77247e3cb6c86107f19cc6da6e90a7a95466c9257f6029a0f9244781","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:vibemathed","observation_id":"observation:vibemathed:7a86a741ec053c8f","declaration_root":"sha256:24b6a98a77247e3cb6c86107f19cc6da6e90a7a95466c9257f6029a0f9244781","acquisition_root":"sha256:7a86a741ec053c8f441fd74c2dfec3293fb87ad1c29e95a2ab9cbccdc16e7d94","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"sha256:1b075ecdd98f2aad25613e84d61661f7fe173b9e146f9f32a94c69bf9c03f977","content_root":"sha256:1b075ecdd98f2aad25613e84d61661f7fe173b9e146f9f32a94c69bf9c03f977","tree":null},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":599,"projected_records_root":"sha256:ab49490ecd2387398a0ad0a8cd7a263c0c9248924967c6daef732a9128b43f23","coverage":{"status":"complete","included":["Every catalogue entry served by the VibeMathed dataset endpoint at the observed retrieval."],"native_record_count":599,"projected_record_count":599},"omissions":[{"code":"community_state_not_projected","description":"Votes, comment counts, submitter pseudonyms, discussion threads and the field-level edit changelog are mutable site state and are not projected."},{"code":"link_labels_not_retained","description":"An entry's cited links are retained as record locators; their upstream labels and kind tags are not carried as fields."},{"code":"linked_evidence_not_acquired","description":"The preprints and Lean repositories an entry cites are located, never fetched; their bytes and their separate rights are outside this source."},{"code":"source_attributions_remain_attributed","description":"Resolution, verification rung, AI-contribution tier and significance are source attributions, not Vela verification or acceptance."},{"code":"retrieval_is_not_a_revision","description":"The endpoint serves no commit locator, so the recorded revision roots the observed catalogue and names a retrieval rather than an upstream revision."}],"observation_root":"sha256:1586c920e7bb919f66bbae81e6563de4c0e57cbe573d2d181df0ceb5248ae264"},"native_record_count":599,"repository_binding_count":0},{"declaration":{"source_id":"source:williamjblair-lean-proofs","native_namespace":"williamjblair-lean-proofs","publisher_or_maintainer":"William Blair","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/williamjblair/lean-proofs"},{"locator_id":"proof-manifest","kind":"artifact","url":"https://raw.githubusercontent.com/williamjblair/lean-proofs/main/proofs.yaml"}],"attributed_claims":[{"role":"maintainer","name":"William Blair","basis_locator_id":"repository"}],"source_kind":"proof_manifest","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"The declaration does not infer a license from repository access; the Atlas projects only exact retained source identities and roots."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection acquisition config binds the observed proof manifest without creating a second source archive."},"adapter":{"adapter_id":"problems-data/williamjblair-lean-proofs","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:e3b381eaa1c41c39deb5438ef5ffd4b68f82e2d1ec6cb27fffaa6fa44b898fbc"},"coverage":{"repository_slugs":["math"],"included":["Proof-manifest entries observed by the Problems projection acquisition config"],"omissions":[{"code":"working_tree_excluded","description":"Mutable or uncommitted proof work is outside the source observation."}]},"declaration_root":"sha256:ed313062618ae576a06eff3adb470ced9dd0699cada1480fa04dffdb8ae9208e"},"declaration_row_root":"sha256:ed313062618ae576a06eff3adb470ced9dd0699cada1480fa04dffdb8ae9208e","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:williamjblair-lean-proofs","observation_id":"observation:williamjblair-lean-proofs:96e05cfa22d2e84f","declaration_root":"sha256:ed313062618ae576a06eff3adb470ced9dd0699cada1480fa04dffdb8ae9208e","acquisition_root":"sha256:96e05cfa22d2e84f9f644afdd76c36a476391c97e655def3e5079ed53ba01eb6","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"a8c2872a27cf8d11cf6744ca4a2c5b49ace5fea0","content_root":"sha256:c84a59c5a797a7a0031a5e954d2fefae21c6f02edf17e7641a223a49f5e784f2","tree":"dbbe69fa2dbdd73f5e398bbd799115dbbdc9cc27"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":79,"projected_records_root":"sha256:2b57e2ba5efe6fd7fc3878da66d9a5978186f907983d22dd5c13223c96f4a9d0","coverage":{"status":"complete","included":["Every entry in the exact williamjblair proof manifest retained by the Problems projection acquisition config."],"native_record_count":79,"projected_record_count":79},"omissions":[{"code":"proof_source_bytes_excluded","description":"Proof-source bytes outside the exact manifest are not copied into the Math source projection."},{"code":"source_labels_remain_attributed","description":"Manifest proof and axiom labels remain attributed source metadata and do not create Vela Verification or Standing."}],"observation_root":"sha256:7a0dfa901d7e6b7811b50e777c51a608cc1330cc61db750425542bbee3a55bbd"},"native_record_count":79,"repository_binding_count":0}],"native_records":[],"repository_bindings":[],"next_cursor":null,"next_binding_cursor":null}