{"collections":{"members":{"count":14,"page_size":256,"pages":["numbers/members/9a06b3d46b6ba07bc13d3ee3.json"]},"observations":{"count":14,"page_size":256,"pages":["numbers/members/b6ff2e0fd1dee93713106266.json"]},"universe":{"count":372,"page_size":256,"pages":["numbers/members/045e27641913ed387fa61d9f.json","numbers/members/63876833c074aeef1a31548c.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:eb49d29733173039adccb27b75e56b3d8a77b07aab80c2c9d9a769c9a2c56bc8","source":"data/summary.json"},{"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:2c90a33675d6e8a37b8ab7c2e2107f358dd73fbc4c74dc1e183c17efa0e16267","source":"data/families.json"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/source_baseline_summary"},{"path":"../ledger.json","pointer":"/families"}]},"hash_scope":"complete-receipt-except-sha256","issues":[],"key":"scope_families_with_lean_but_no_headline_coverage","membership_detail":{"path":"../ledger.json","pointer":"/source_baseline_summary/scope_coverage/families_with_lean_but_no_headline_coverage"},"rule":"Distinct family IDs in the imported AI-draft scope list families_with_lean_but_no_headline_coverage; retain its stated freshness and review status.","sha256":"sha256:0751e79d95a11962ac83bb95b58c4e6b47908b63ff882ba30d4954c13e8e1eea","state":"computed","unit":"families in a draft assessment","value":14},"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"}