{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:HXB35JF2YDLNEZA4XACZOVS253","short_pith_number":"pith:HXB35JF2","canonical_record":{"source":{"id":"2607.01544","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2026-07-01T23:45:41Z","cross_cats_sorted":["math.CO","math.LO"],"title_canon_sha256":"41b1675e8ec0f672962bb379e017a557a0356bc1d9b8dd4feff8e56705c901ec","abstract_canon_sha256":"bdefee971c58260db65c089a37d63c04bdf729c806fcc4527416eca974717d15"},"schema_version":"1.0"},"canonical_sha256":"3dc3bea4bac0d6d2641cb80597565aeef0ab34cd8c999be37f6872eae6e2564c","source":{"kind":"arxiv","id":"2607.01544","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01544","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01544v1","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01544","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_12","alias_value":"HXB35JF2YDLN","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_16","alias_value":"HXB35JF2YDLNEZA4","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_8","alias_value":"HXB35JF2","created_at":"2026-07-03T00:17:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:HXB35JF2YDLNEZA4XACZOVS253","target":"record","payload":{"canonical_record":{"source":{"id":"2607.01544","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2026-07-01T23:45:41Z","cross_cats_sorted":["math.CO","math.LO"],"title_canon_sha256":"41b1675e8ec0f672962bb379e017a557a0356bc1d9b8dd4feff8e56705c901ec","abstract_canon_sha256":"bdefee971c58260db65c089a37d63c04bdf729c806fcc4527416eca974717d15"},"schema_version":"1.0"},"canonical_sha256":"3dc3bea4bac0d6d2641cb80597565aeef0ab34cd8c999be37f6872eae6e2564c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T00:17:03.622071Z","signature_b64":"AhuU7/58Ja9DI/pNbCcZnsAWVOQkDZ02gaJk0scjlDpzOCyIEeczWjuB4ZE3Yxlz3lhUvTAhqmEKJ2WzpnQqCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dc3bea4bac0d6d2641cb80597565aeef0ab34cd8c999be37f6872eae6e2564c","last_reissued_at":"2026-07-03T00:17:03.621623Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T00:17:03.621623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.01544","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-03T00:17:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"66oI4mQrtcDIATOiIAAuxbehzM+JGkHytDMXn/BH4sW+PvuxPDzHSbajzFxIKdDkGNt1m74jB4LiWGY2AOYYDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:33:48.280440Z"},"content_sha256":"194be8ba337f0864eddbe009ea9bfdffb96f02742433a5c502995c8a10f7fe3a","schema_version":"1.0","event_id":"sha256:194be8ba337f0864eddbe009ea9bfdffb96f02742433a5c502995c8a10f7fe3a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:HXB35JF2YDLNEZA4XACZOVS253","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CO","math.LO"],"primary_cat":"math.NT","authors_text":"Kenny Lau, Ken Ono, Seewoo Lee","submitted_at":"2026-07-01T23:45:41Z","abstract_excerpt":"The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01544","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.01544/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-03T00:17:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NCJtt3NP+9jbj7rFpq2qtPRZxjmS4VXBk1A9HoTV65DQWUYW2HASgaUs18PKyl9du50osYIP75HILcbW3ZRDDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:33:48.281354Z"},"content_sha256":"f81daea2cf6a0505bf582f2876aae4fa149287fb4caffb9db895042986d595c3","schema_version":"1.0","event_id":"sha256:f81daea2cf6a0505bf582f2876aae4fa149287fb4caffb9db895042986d595c3"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:HXB35JF2YDLNEZA4XACZOVS253","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1142/725224) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Chan, H. H. (2009). Analytic Number Theory for Undergraduates. In Monographs in number theory. https://doi.org/10.1142/7252 24, 32","arxiv_id":"2607.01544","detector":"doi_compliance","evidence":{"ref_index":11,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Chan, H. H. (2009). Analytic Number Theory for Undergraduates. In Monographs in number theory. https://doi.org/10.1142/7252 24, 32","reconstructed_doi":"10.1142/725224"},"severity":"advisory","ref_index":11,"audited_at":"2026-07-09T09:00:00.163820Z","event_type":"pith.integrity.v1","detected_doi":"10.1142/725224","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"5ee1701602be4cc0115fc5ed85e2940ca13b2213ca862e615b6f061a95fc891f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":8123,"payload_sha256":"483b4dac8c148710c1ec4a4e3e43f9a7028e6bb6b469ce742bb4757a4016927e","signature_b64":"V3z0hpJEC0NDt7ZeFGspFBftdKVZQTjrOjHBXSUT9r6zyPYwhrJ1avL1UBODidQtEaPuzg8UexMsQGzhPu6sDw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-09T09:02:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gusOF80dPaHQ4j7us8VS43H7QmcqmCybT3/bfXnWEcuLKqICL7mt/kMAdSahS7ThAx3WgrogMGNwNJpV/Dh+DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:33:48.284014Z"},"content_sha256":"d1b8ecd2f90bd564c6354e539a9fffa999fdae932d9fea5e74927dbf17e24021","schema_version":"1.0","event_id":"sha256:d1b8ecd2f90bd564c6354e539a9fffa999fdae932d9fea5e74927dbf17e24021"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HXB35JF2YDLNEZA4XACZOVS253/bundle.json","state_url":"https://pith.science/pith/HXB35JF2YDLNEZA4XACZOVS253/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HXB35JF2YDLNEZA4XACZOVS253/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T18:33:48Z","links":{"resolver":"https://pith.science/pith/HXB35JF2YDLNEZA4XACZOVS253","bundle":"https://pith.science/pith/HXB35JF2YDLNEZA4XACZOVS253/bundle.json","state":"https://pith.science/pith/HXB35JF2YDLNEZA4XACZOVS253/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HXB35JF2YDLNEZA4XACZOVS253/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:HXB35JF2YDLNEZA4XACZOVS253","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bdefee971c58260db65c089a37d63c04bdf729c806fcc4527416eca974717d15","cross_cats_sorted":["math.CO","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2026-07-01T23:45:41Z","title_canon_sha256":"41b1675e8ec0f672962bb379e017a557a0356bc1d9b8dd4feff8e56705c901ec"},"schema_version":"1.0","source":{"id":"2607.01544","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01544","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01544v1","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01544","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_12","alias_value":"HXB35JF2YDLN","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_16","alias_value":"HXB35JF2YDLNEZA4","created_at":"2026-07-03T00:17:03Z"},{"alias_kind":"pith_short_8","alias_value":"HXB35JF2","created_at":"2026-07-03T00:17:03Z"}],"graph_snapshots":[{"event_id":"sha256:f81daea2cf6a0505bf582f2876aae4fa149287fb4caffb9db895042986d595c3","target":"graph","created_at":"2026-07-03T00:17:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.01544/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal a","authors_text":"Kenny Lau, Ken Ono, Seewoo Lee","cross_cats":["math.CO","math.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2026-07-01T23:45:41Z","title":"Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01544","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:194be8ba337f0864eddbe009ea9bfdffb96f02742433a5c502995c8a10f7fe3a","target":"record","created_at":"2026-07-03T00:17:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"bdefee971c58260db65c089a37d63c04bdf729c806fcc4527416eca974717d15","cross_cats_sorted":["math.CO","math.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.NT","submitted_at":"2026-07-01T23:45:41Z","title_canon_sha256":"41b1675e8ec0f672962bb379e017a557a0356bc1d9b8dd4feff8e56705c901ec"},"schema_version":"1.0","source":{"id":"2607.01544","kind":"arxiv","version":1}},"canonical_sha256":"3dc3bea4bac0d6d2641cb80597565aeef0ab34cd8c999be37f6872eae6e2564c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3dc3bea4bac0d6d2641cb80597565aeef0ab34cd8c999be37f6872eae6e2564c","first_computed_at":"2026-07-03T00:17:03.621623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T00:17:03.621623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AhuU7/58Ja9DI/pNbCcZnsAWVOQkDZ02gaJk0scjlDpzOCyIEeczWjuB4ZE3Yxlz3lhUvTAhqmEKJ2WzpnQqCQ==","signature_status":"signed_v1","signed_at":"2026-07-03T00:17:03.622071Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.01544","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:194be8ba337f0864eddbe009ea9bfdffb96f02742433a5c502995c8a10f7fe3a","sha256:f81daea2cf6a0505bf582f2876aae4fa149287fb4caffb9db895042986d595c3","sha256:d1b8ecd2f90bd564c6354e539a9fffa999fdae932d9fea5e74927dbf17e24021"],"state_sha256":"42f3a1108e5540adb7d7aaef8eaa1e4fedcd073f0a3242dab299e3677eaf553e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Jpy6CBiJX28gCscnPxYNmc0/CtG5Ls1I2q4SJoaDP34c2p+T4y5QpbJ1VJeM1d6ZkeKJiW7rYZ6hcYycKiKAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:33:48.287642Z","bundle_sha256":"6f311772d8facbecfc2e36a0c87f9f0e82c60a134c9ff17525cc7420e2a03f1d"}}