{"collections":{"members":{"count":416,"page_size":256,"pages":["numbers/members/20504341e3f978dffb304915.json","numbers/members/4aec6ac000d738a4bc0a30af.json"]},"observations":{"count":416,"page_size":256,"pages":["numbers/members/b51b5ab64f28ffeb40d4fcac.json","numbers/members/f4ddd35dc6460d64b85524e1.json"]},"universe":{"count":416,"page_size":256,"pages":["numbers/members/d7e2c5bfd7bc460a4f961ce4.json","numbers/members/d860950e456a909e35f9a9fa.json"]}},"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","kind":"number-receipt","number":{"aggregation":"count","assessment":{"kind":"agent-drafted-unreviewed","reviewed_by_people":false,"stale":false,"status":"draft","upstream_commit":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb"},"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:890dd47573d7e40e46838ad0d17b37525086dbde95599ab1bd120e375524cad5","source":"curated/scope_coverage.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/challenge_rows"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"scope_statements_classified","rule":"Challenge rows with a recorded draft scope class; this counts classifications, not verified claim matches.","sha256":"sha256:0786657db5010c4bb564fdcdb87fcd0b23e73259e6a1ec46d8269390ffd9cb3b","state":"computed","unit":"draft-classified challenges","value":416},"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"}