{"collections":{"members":{"count":671,"page_size":256,"pages":["numbers/members/e0856ca1758eb51d17655b60.json","numbers/members/62d8e8d77833123a51f4744a.json","numbers/members/02fc2eb766ece0ba9dd1dbc8.json"]},"observations":{"count":671,"page_size":256,"pages":["numbers/members/aae404a0c3837aacab49a705.json","numbers/members/c9dce0e04a9d84392b7426d6.json","numbers/members/c838c6d2472afd73a75a4164.json"]},"universe":{"count":671,"page_size":256,"pages":["numbers/members/defc52f5231a5cc960b62802.json","numbers/members/4661fbd266c33715f4144bf0.json","numbers/members/6fd474bc3769a6f8fc4b8e9e.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:e5c8a6b6fd3c9e082fec710d3bc7316506148c2d334654d51cef3ba8b25fa5f4","source":"curated/community.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/community"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"community_findings","rule":"Each attributed community findings record; reports are not verified mathematical errors or backend diagnostics.","sha256":"sha256:910cd0c2a30c33f01fa56f40c8f4651c3417de145c4b13d54f7fb1594b2c3a84","state":"computed","unit":"attributed records","value":671},"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"}