{"collections":{"members":{"count":0,"page_size":256,"pages":[]},"observations":{"count":0,"page_size":256,"pages":[]},"universe":{"count":0,"page_size":256,"pages":[]}},"generation_id":"sha256:e44fe048bf34d4e55b76af0e42f931ce1121c5c189edf0e8cd6061a5902b3e47","kind":"number-receipt","number":{"aggregation":"reported","boundary":"Scalar report only; the ledger does not contain the full file/project inventory. No build or elaboration.","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"}],"kind":"computed-from-captured-ledger","pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","repository":"https://github.com/openai/math","source_fields":[{"path":"../ledger.json","pointer":"/source_baseline_summary"}]},"detail":{"path":"../ledger.json","pointer":"/source_baseline_summary/lean_claim_layer/lean_files"},"hash_scope":"complete-receipt-except-sha256","key":"lean_files","membership":"unavailable","rule":"Recorded source library inventory aggregate.","scan_pin":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","sha256":"sha256:a1325855fc9f92c89bed32c81f40712658fb6e66594503e2afff9a9efdda3064","state":"reported","unit":"source-reported inventory count","value":122458},"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"}