{"collections":{"members":{"count":586,"page_size":256,"pages":["numbers/members/a1be34de3fb8f9a1c17a2557.json","numbers/members/5beedcc7216ccf9cc193e3ff.json","numbers/members/c4f796592f2f2c95cc8b0694.json"]},"observations":{"count":586,"page_size":256,"pages":["numbers/members/1d0c08532a7951fb015c4282.json","numbers/members/b66b2e4a6ae08350b5e2f100.json","numbers/members/227bd8026d2a8aecc2731e8b.json"]},"universe":{"count":586,"page_size":256,"pages":["numbers/members/db9c3e1473884a039ed27c48.json","numbers/members/d58445b43973d7be9304a683.json","numbers/members/ccc136325b9aa75731cf54a2.json"]}},"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","kind":"number-receipt","number":{"aggregation":"count","credit":{"boundary":"Inventory or textual extraction; no proof execution, scope review or exhaustive discovery is implied.","inputs":[{"credit":"Will Cook, OpenAI Math Atlas; source manuscripts and Lean quotations credited to OpenAI.","kind":"attributed-extraction","license":"Apache-2.0","pin":"8056826bbd00caea871ad036bd295182e2bef3e2","sha256":"sha256:5471da166dd7c640d3172e2734822ba73efaba6d9b66d65e88edbf36c6fd5779","source":"data/graph.json"},{"credit":"Will Cook, OpenAI Math Atlas; source manuscripts and Lean quotations credited to OpenAI.","kind":"attributed-extraction","license":"Apache-2.0","pin":"8056826bbd00caea871ad036bd295182e2bef3e2","sha256":"sha256:cc051f78a9def390c8504bc276449e72b9b289623643e23d55b1034007f99d6c","source":"data/manuscripts.json"},{"detail":{"path":"../ledger.json","pointer":"/extraction_delta"},"extraction":{"attribution":"Adapted from OpenAI Math Atlas build_data.py, Apache-2.0","complete":false,"kind":"native","owner":"sources.py","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb"},"kind":"native-extraction-delta","provenance":{"kind":"computed","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","source":"sources.py::_augment_native"},"sha256":"sha256:9bdbfd7109c250253eb21f1a8d11945eee52a3cbb2ddcfea2c4a9f572672fd5b"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/citation_edges"},{"path":"../ledger.json","pointer":"/manuscripts"},{"path":"../ledger.json","pointer":"/extraction_delta"}]},"extraction_delta":{"path":"../ledger.json","pointer":"/extraction_delta"},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"internal_citation_edges","rule":"Distinct directed (source manuscript, target manuscript) pairs. Citation is not logical dependency.","selection":"All citation edges in the current captured ledger, including explicitly recorded native additions; map exclusions do not apply.","sha256":"sha256:900a5c7bc82dc2c8af5e6430992d21e61968fc53301e29ef82a08021f636159d","source_comparison":{"boundary":"Reported comparison only; the computed value uses the receipt membership and selection rule.","credit":{"boundary":"Inventory or textual extraction; no proof execution, scope review or exhaustive discovery is implied.","inputs":[{"credit":"Will Cook, OpenAI Math Atlas; source manuscripts and Lean quotations credited to OpenAI.","kind":"attributed-extraction","license":"Apache-2.0","pin":"8056826bbd00caea871ad036bd295182e2bef3e2","sha256":"sha256:eb49d29733173039adccb27b75e56b3d8a77b07aab80c2c9d9a769c9a2c56bc8","source":"data/summary.json"}],"kind":"attributed-source-report","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/source_baseline_summary"}]},"definition":"Bibliography entries in a manuscript's TeX sources that point to another manuscript in the collection (an openai/math preprint link or an OAI: key), counted once per citing and cited manuscript.","detail":{"path":"../ledger.json","pointer":"/source_baseline_summary/internal_citation_edges"},"kind":"source-reported-aggregate","reported_receipts":[{"key":"internal_citation_edges","rule":"Bibliography entries pointing to another manuscript in the collection. A citation records a reference; it does not establish that a proof uses the cited result.","source":"scripts/build_data.py","unit":"citing and cited manuscript pairs","universe":"openai/math at fd4aeeb2ee4f, current manuscripts' bibliographies","value":579}],"value":579},"state":"computed","unit":"directed manuscript pairs","universe_detail":{"path":"../ledger.json","pointer":"/citation_edges"},"value":586},"pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","reconstruction":"Concatenate each named collection in page order and restore it on number. The logical receipt digest binds the complete record; page hashes alone do not establish the aggregate.","release_id":"openai-math","schema":"statement-map-web/2"}