{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:4UJ7UZKEL7MWTL4PAFOQL7R4WN","short_pith_number":"pith:4UJ7UZKE","canonical_record":{"source":{"id":"2604.15698","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-04-17T04:53:04Z","cross_cats_sorted":["cs.LO","math.IT"],"title_canon_sha256":"6775e3babd19c57650fc882b8f5499d91cc3905b2697440ad7040d0510e8806d","abstract_canon_sha256":"06446932f44eadab39b370f9719d0701b7853284aa3b53347496832e192dc1d3"},"schema_version":"1.0"},"canonical_sha256":"e513fa65445fd969af8f015d05fe3cb36987ea2dcb6372ca20eb5b7f14464f2b","source":{"kind":"arxiv","id":"2604.15698","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.15698","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"2604.15698v4","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.15698","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"4UJ7UZKEL7MW","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_16","alias_value":"4UJ7UZKEL7MWTL4P","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_8","alias_value":"4UJ7UZKE","created_at":"2026-05-29T01:05:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:4UJ7UZKEL7MWTL4PAFOQL7R4WN","target":"record","payload":{"canonical_record":{"source":{"id":"2604.15698","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-04-17T04:53:04Z","cross_cats_sorted":["cs.LO","math.IT"],"title_canon_sha256":"6775e3babd19c57650fc882b8f5499d91cc3905b2697440ad7040d0510e8806d","abstract_canon_sha256":"06446932f44eadab39b370f9719d0701b7853284aa3b53347496832e192dc1d3"},"schema_version":"1.0"},"canonical_sha256":"e513fa65445fd969af8f015d05fe3cb36987ea2dcb6372ca20eb5b7f14464f2b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-29T01:05:09.952661Z","signature_b64":"faHWKqXPyQo4ZymhVlu7/05BhojWVLHKBABW0Oe1PjrSexHzMZhOnpgrt1W+MJ3+qTn/MqWa1VqzbBu1Z4xrDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e513fa65445fd969af8f015d05fe3cb36987ea2dcb6372ca20eb5b7f14464f2b","last_reissued_at":"2026-05-29T01:05:09.951849Z","signature_status":"signed_v1","first_computed_at":"2026-05-29T01:05:09.951849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.15698","source_version":4,"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-05-29T01:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5TkwH6lQ0VlbZKAXUa5gDwYsTGZdBR+RAx9sO8x2KeGYBtsLszHbnZd/jCw/ADhOhHUJQdqgmxjOn59MwRTJBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:26:32.579228Z"},"content_sha256":"21f4a58bb01fa05164aa2d9411142dd3eacc5709bb7cf80790629ac2dd8eeba3","schema_version":"1.0","event_id":"sha256:21f4a58bb01fa05164aa2d9411142dd3eacc5709bb7cf80790629ac2dd8eeba3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:4UJ7UZKEL7MWTL4PAFOQL7R4WN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rate-Distortion Theory for Deductive Sources under Closure Fidelity","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core.","cross_cats":["cs.LO","math.IT"],"primary_cat":"cs.IT","authors_text":"Jianfeng Xu","submitted_at":"2026-04-17T04:53:04Z","abstract_excerpt":"We study lossy compression of a finite statement source generated in a fixed deductive environment. The source symbols are statements in a knowledge base endowed with a shared proof system, and reconstruction fidelity is measured by preservation of deductive closure rather than by symbolwise equality. Fixing the proof system and a canonical scan order yields a decomposition of the source alphabet into an irredundant core and redundant stored consequences. At zero distortion, each core symbol induces a set of distortion-free reconstructions. In the nonconfusable (disjoint-core) regime, we show "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"the minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core. For reconstruction alphabets contained in the deductive closure of the source knowledge base, the full rate-distortion function depends only on the core.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"natural disjointness condition on zero-distortion reconstruction sets; order-robustness assumption identifying the chosen core with the order-free essential set.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The rate-distortion function for deductive sources depends only on their irredundant core, with zero-distortion rate equal to core mass times conditional entropy under closure fidelity.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"567ab927d3c69216a04af93db19fe7389ebcab92bac1789f1990ce1e6ff56a3d"},"source":{"id":"2604.15698","kind":"arxiv","version":4},"verdict":{"id":"caa70108-686a-4ac3-ab39-7c326273fbf9","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T08:20:03.810100Z","strongest_claim":"the minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core. For reconstruction alphabets contained in the deductive closure of the source knowledge base, the full rate-distortion function depends only on the core.","one_line_summary":"The rate-distortion function for deductive sources depends only on their irredundant core, with zero-distortion rate equal to core mass times conditional entropy under closure fidelity.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"natural disjointness condition on zero-distortion reconstruction sets; order-robustness assumption identifying the chosen core with the order-free essential set.","pith_extraction_headline":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2604.15698/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":"caa70108-686a-4ac3-ab39-7c326273fbf9"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-29T01:05:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tZKQOImXSmd9SSPZzZuembkgsgUFGTRZicg0JKu1mNjLCfBs8cTh481mecD2GXCcbCK58Ntd1mC/on++iorXBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T05:26:32.579723Z"},"content_sha256":"018a328caa97f0511d37b8e1c53b8b527362690ecb2c80dc27631a03d2139839","schema_version":"1.0","event_id":"sha256:018a328caa97f0511d37b8e1c53b8b527362690ecb2c80dc27631a03d2139839"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/bundle.json","state_url":"https://pith.science/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/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-06-02T05:26:32Z","links":{"resolver":"https://pith.science/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN","bundle":"https://pith.science/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/bundle.json","state":"https://pith.science/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4UJ7UZKEL7MWTL4PAFOQL7R4WN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4UJ7UZKEL7MWTL4PAFOQL7R4WN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"06446932f44eadab39b370f9719d0701b7853284aa3b53347496832e192dc1d3","cross_cats_sorted":["cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-04-17T04:53:04Z","title_canon_sha256":"6775e3babd19c57650fc882b8f5499d91cc3905b2697440ad7040d0510e8806d"},"schema_version":"1.0","source":{"id":"2604.15698","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.15698","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"arxiv_version","alias_value":"2604.15698v4","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.15698","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_12","alias_value":"4UJ7UZKEL7MW","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_16","alias_value":"4UJ7UZKEL7MWTL4P","created_at":"2026-05-29T01:05:09Z"},{"alias_kind":"pith_short_8","alias_value":"4UJ7UZKE","created_at":"2026-05-29T01:05:09Z"}],"graph_snapshots":[{"event_id":"sha256:018a328caa97f0511d37b8e1c53b8b527362690ecb2c80dc27631a03d2139839","target":"graph","created_at":"2026-05-29T01:05:09Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"the minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core. For reconstruction alphabets contained in the deductive closure of the source knowledge base, the full rate-distortion function depends only on the core."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"natural disjointness condition on zero-distortion reconstruction sets; order-robustness assumption identifying the chosen core with the order-free essential set."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The rate-distortion function for deductive sources depends only on their irredundant core, with zero-distortion rate equal to core mass times conditional entropy under closure fidelity."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core."}],"snapshot_sha256":"567ab927d3c69216a04af93db19fe7389ebcab92bac1789f1990ce1e6ff56a3d"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2604.15698/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study lossy compression of a finite statement source generated in a fixed deductive environment. The source symbols are statements in a knowledge base endowed with a shared proof system, and reconstruction fidelity is measured by preservation of deductive closure rather than by symbolwise equality. Fixing the proof system and a canonical scan order yields a decomposition of the source alphabet into an irredundant core and redundant stored consequences. At zero distortion, each core symbol induces a set of distortion-free reconstructions. In the nonconfusable (disjoint-core) regime, we show ","authors_text":"Jianfeng Xu","cross_cats":["cs.LO","math.IT"],"headline":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-04-17T04:53:04Z","title":"Rate-Distortion Theory for Deductive Sources under Closure Fidelity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.15698","kind":"arxiv","version":4},"verdict":{"created_at":"2026-05-10T08:20:03.810100Z","id":"caa70108-686a-4ac3-ab39-7c326273fbf9","model_set":{"reader":"grok-4.3"},"one_line_summary":"The rate-distortion function for deductive sources depends only on their irredundant core, with zero-distortion rate equal to core mass times conditional entropy under closure fidelity.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core.","strongest_claim":"the minimum zero-distortion rate equals the source mass of the core times the entropy of the source conditioned on that core. For reconstruction alphabets contained in the deductive closure of the source knowledge base, the full rate-distortion function depends only on the core.","weakest_assumption":"natural disjointness condition on zero-distortion reconstruction sets; order-robustness assumption identifying the chosen core with the order-free essential set."}},"verdict_id":"caa70108-686a-4ac3-ab39-7c326273fbf9"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:21f4a58bb01fa05164aa2d9411142dd3eacc5709bb7cf80790629ac2dd8eeba3","target":"record","created_at":"2026-05-29T01:05:09Z","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":"06446932f44eadab39b370f9719d0701b7853284aa3b53347496832e192dc1d3","cross_cats_sorted":["cs.LO","math.IT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IT","submitted_at":"2026-04-17T04:53:04Z","title_canon_sha256":"6775e3babd19c57650fc882b8f5499d91cc3905b2697440ad7040d0510e8806d"},"schema_version":"1.0","source":{"id":"2604.15698","kind":"arxiv","version":4}},"canonical_sha256":"e513fa65445fd969af8f015d05fe3cb36987ea2dcb6372ca20eb5b7f14464f2b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e513fa65445fd969af8f015d05fe3cb36987ea2dcb6372ca20eb5b7f14464f2b","first_computed_at":"2026-05-29T01:05:09.951849Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T01:05:09.951849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"faHWKqXPyQo4ZymhVlu7/05BhojWVLHKBABW0Oe1PjrSexHzMZhOnpgrt1W+MJ3+qTn/MqWa1VqzbBu1Z4xrDQ==","signature_status":"signed_v1","signed_at":"2026-05-29T01:05:09.952661Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.15698","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21f4a58bb01fa05164aa2d9411142dd3eacc5709bb7cf80790629ac2dd8eeba3","sha256:018a328caa97f0511d37b8e1c53b8b527362690ecb2c80dc27631a03d2139839"],"state_sha256":"2e40f9074de7dce031116ca53ceb7b058b442a23fa2edeaf945085369a978661"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NkBjJUdwEWu1FqoGgSLEwW/mgk5wwqExvD/jGhhIDVxHxdxWJWaHgywxBAvHbzIevyIdfrjli9RkdOKPVoEPCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T05:26:32.582120Z","bundle_sha256":"d9a3b0ff2b2d4a3103d1b734cc207f77d43604de7e64288f1586843e6e16c227"}}