{"collections":{"members":{"count":196,"page_size":256,"pages":["numbers/members/7af328139a451e33cdfe64b0.json"]},"observations":{"count":196,"page_size":256,"pages":["numbers/members/f6c29d676552bc771e0e1850.json"]},"universe":{"count":196,"page_size":256,"pages":["numbers/members/6dbc56281c1bf4fc75971d94.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":"model_statement_projects_linked_to_a_family","rule":"Distinct recorded project paths among model_statement_projects_linked_to_a_family source records; no claim about all Lean library projects.","scan_pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","sha256":"sha256:697995101f86f800a8032ec5ad50f368d8d5484a61bb1e84ddbca16727726011","state":"computed","unit":"source project paths","value":196},"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"}