{"collections":{"members":{"count":2,"page_size":256,"pages":["numbers/members/77ca069c78a5853768c85b45.json"]},"observations":{"count":2,"page_size":256,"pages":["numbers/members/81a1761dcc1304ca11a301e3.json"]},"universe":{"count":6515,"page_size":256,"pages":["numbers/members/5adf41c194a58a640fa95cba.json","numbers/members/ce5991b12d1ef8e145521d27.json","numbers/members/3f5460452aef9931b93d7699.json","numbers/members/3ac557cbd1f415f5ee51b1df.json","numbers/members/a8c67ab8fcb8d8a0ebfdff56.json","numbers/members/43466331bb258cf644b5661a.json","numbers/members/2f8e6f9ef14a850e4d92712e.json","numbers/members/79306067c6888078e7607a0a.json","numbers/members/dfa4939e9d1bf4766b689789.json","numbers/members/2bbbf194cdabf3c895a0b013.json","numbers/members/0f6803d1164c661a6c9ef3d2.json","numbers/members/6804606d44ce81b5f1a91354.json","numbers/members/14d8b1da6bc657f10120a101.json","numbers/members/46e5efaafd4c237ad363228a.json","numbers/members/316365ed68aabefe3aba5735.json","numbers/members/1b07136d06cc1d218121b275.json","numbers/members/598e28f82ece57c0e294d0e8.json","numbers/members/2f443a1faed4e426e348ceba.json","numbers/members/3d666497202da477aa3c123b.json","numbers/members/61d0ae310caf6030a6a5b6eb.json","numbers/members/6f95d5d92b2adc1b19cb9ca5.json","numbers/members/6eee5f5767edac7b71dae999.json","numbers/members/b8eb694cb1b7d908413817a9.json","numbers/members/bb671409057da446e54eb73d.json","numbers/members/f194a3948333caf8866a1898.json","numbers/members/c4e51d52e856eac8d0e27423.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:f92ce6dec554512f8953cb75a8a870142f8be1ff97a1d8bd0664da08cb5642bb","source":"data/lean_claims.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/lean_claims"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"manuscript_theorems_checked_by_comparator","rule":"Imported manuscript theorem/lemma records with an exact configured target-name match; this is not proof coverage. Textual source inspection; no build or elaboration.","scan_pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","sha256":"sha256:ff954432e6522b1dfe9a2e1eae665359e984a8fdf5349778bd396081dd578c65","state":"computed","unit":"textual source records","value":2},"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"}