{"collections":{"members":{"count":719,"page_size":256,"pages":["numbers/members/b8ce753f1a25c52e6a5a6a07.json","numbers/members/cf975a96d2620009eaa15fd9.json","numbers/members/9c5db9d1df4713e3a925b464.json"]},"observations":{"count":719,"page_size":256,"pages":["numbers/members/dc1686143ed7212d3e3a62e5.json","numbers/members/a127cdb84538f1c707087b3d.json","numbers/members/6094e829ebc729df97b17e5c.json"]},"universe":{"count":719,"page_size":256,"pages":["numbers/members/d8425b69c8c6e9500e3ecd9b.json","numbers/members/2f61ce2dab9441b8cd9bcd7e.json","numbers/members/1b9d49f91b49826b9fd598fc.json"]}},"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","kind":"number-receipt","number":{"aggregation":"sum","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:cc051f78a9def390c8504bc276449e72b9b289623643e23d55b1034007f99d6c","source":"data/manuscripts.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/manuscripts"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"paper_environments_lemma","rule":"Sum of source per-manuscript counts for environment kind lemma over current manuscripts; these samples are not the separate canonical statement-row inventory.","sha256":"sha256:59c0e867e2ad175c360f5de03284830a329c55caf03be9e94aebb8dd4966d197","state":"computed","unit":"source environment occurrences","value":12397},"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"}