{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GMSS2YW3UD3HPAKITTM7PUPJGE","short_pith_number":"pith:GMSS2YW3","canonical_record":{"source":{"id":"2605.05368","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-06T18:49:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"04f9c8924fd44a2d6288f99c88e206799348bfa048247007a4b9c4ce211592be","abstract_canon_sha256":"c4ac3ddc6d4b93a32da704308cd0cb644241342aab782db5bc36d934b8ceb4e3"},"schema_version":"1.0"},"canonical_sha256":"33252d62dba0f67781489cd9f7d1e9310a809dcc01e770a05c0f0e6d3daeb6cc","source":{"kind":"arxiv","id":"2605.05368","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.05368","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"arxiv_version","alias_value":"2605.05368v3","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.05368","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_12","alias_value":"GMSS2YW3UD3H","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_16","alias_value":"GMSS2YW3UD3HPAKI","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_8","alias_value":"GMSS2YW3","created_at":"2026-05-20T00:03:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GMSS2YW3UD3HPAKITTM7PUPJGE","target":"record","payload":{"canonical_record":{"source":{"id":"2605.05368","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-06T18:49:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"04f9c8924fd44a2d6288f99c88e206799348bfa048247007a4b9c4ce211592be","abstract_canon_sha256":"c4ac3ddc6d4b93a32da704308cd0cb644241342aab782db5bc36d934b8ceb4e3"},"schema_version":"1.0"},"canonical_sha256":"33252d62dba0f67781489cd9f7d1e9310a809dcc01e770a05c0f0e6d3daeb6cc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:03:14.202251Z","signature_b64":"SPzIlvqfuOnzUhvoHs+CG5UuhXqf2gyWhb8jY+Y+WMk+oxVD7HnUyYKcEaQDCCMvFY0Zyz8172WN9vk9TY0BCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33252d62dba0f67781489cd9f7d1e9310a809dcc01e770a05c0f0e6d3daeb6cc","last_reissued_at":"2026-05-20T00:03:14.201343Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:03:14.201343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.05368","source_version":3,"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-20T00:03:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lCpSMzGxcVWdvQhsH5EtSsG1dK59QRE7vvICYLvqaSPxB+jBviI0xnzEpC3Squ67tufGZBlNY3gpAoYK7Z6rAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T00:44:38.422485Z"},"content_sha256":"4efe039f7acecc79715ef1961092fe2adcbfeb0de033202ee7fd3c3a53f3e275","schema_version":"1.0","event_id":"sha256:4efe039f7acecc79715ef1961092fe2adcbfeb0de033202ee7fd3c3a53f3e275"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GMSS2YW3UD3HPAKITTM7PUPJGE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Replacing truth with inferability yields the inferon as information's primitive unit","cross_cats":["cs.AI"],"primary_cat":"math.LO","authors_text":"David Pym, Matthew Collinson, Timo Eckhardt","submitted_at":"2026-05-06T18:49:02Z","abstract_excerpt":"Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems upon which the society depends. We seek to rectify this by taking a first step towards developing an inferentialist semantic theory of information. There are three key interacting components. First, conceptual analysis: the metaphysics of information. Dretske expressed the key concepts of"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That replacing truth with inferability in existing information concepts, realized via proof-theoretic semantics, yields a coherent and useful theory for information in distributed systems.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"An inferentialist account of information is outlined using proof-theoretic semantics to introduce the inferon and model inference-based information flow in distributed systems.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Replacing truth with inferability yields the inferon as information's primitive unit","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"fef7b847dcde619af851ef763ce1bee08394522e7c20eff87ec9edad1a78960b"},"source":{"id":"2605.05368","kind":"arxiv","version":3},"verdict":{"id":"a3c17bfd-d74b-4247-8105-e226ae157e32","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-11T01:42:31.561867Z","strongest_claim":"Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'.","one_line_summary":"An inferentialist account of information is outlined using proof-theoretic semantics to introduce the inferon and model inference-based information flow in distributed systems.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That replacing truth with inferability in existing information concepts, realized via proof-theoretic semantics, yields a coherent and useful theory for information in distributed systems.","pith_extraction_headline":"Replacing truth with inferability yields the inferon as information's primitive unit"},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.05368/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T21:01:19.474434Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T13:38:47.034421Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"5bc7b5edc2829083a19ea173b40f41ff5bf6281e3ebffed714dffe43f447ac5e"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"9cf9f2f068a8237453c5917ba67b5358582a27763307f52ce476713c0b8744cb"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"a3c17bfd-d74b-4247-8105-e226ae157e32"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:03:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"873sDUA1Au13mfZlrfXoYQh4f4JnSitgOx2ySKA0I9XRQWhxlu45xSv8cR63vyf9213bd62/utX5pYm8FNc8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T00:44:38.423308Z"},"content_sha256":"9e2d2d3989d3df4f3e8a24785670b2e1ef4125a011336ab72bc6101eacfbc384","schema_version":"1.0","event_id":"sha256:9e2d2d3989d3df4f3e8a24785670b2e1ef4125a011336ab72bc6101eacfbc384"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/bundle.json","state_url":"https://pith.science/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/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-05T00:44:38Z","links":{"resolver":"https://pith.science/pith/GMSS2YW3UD3HPAKITTM7PUPJGE","bundle":"https://pith.science/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/bundle.json","state":"https://pith.science/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMSS2YW3UD3HPAKITTM7PUPJGE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GMSS2YW3UD3HPAKITTM7PUPJGE","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":"c4ac3ddc6d4b93a32da704308cd0cb644241342aab782db5bc36d934b8ceb4e3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-06T18:49:02Z","title_canon_sha256":"04f9c8924fd44a2d6288f99c88e206799348bfa048247007a4b9c4ce211592be"},"schema_version":"1.0","source":{"id":"2605.05368","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.05368","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"arxiv_version","alias_value":"2605.05368v3","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.05368","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_12","alias_value":"GMSS2YW3UD3H","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_16","alias_value":"GMSS2YW3UD3HPAKI","created_at":"2026-05-20T00:03:14Z"},{"alias_kind":"pith_short_8","alias_value":"GMSS2YW3","created_at":"2026-05-20T00:03:14Z"}],"graph_snapshots":[{"event_id":"sha256:9e2d2d3989d3df4f3e8a24785670b2e1ef4125a011336ab72bc6101eacfbc384","target":"graph","created_at":"2026-05-20T00:03:14Z","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":"Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That replacing truth with inferability in existing information concepts, realized via proof-theoretic semantics, yields a coherent and useful theory for information in distributed systems."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"An inferentialist account of information is outlined using proof-theoretic semantics to introduce the inferon and model inference-based information flow in distributed systems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Replacing truth with inferability yields the inferon as information's primitive unit"}],"snapshot_sha256":"fef7b847dcde619af851ef763ce1bee08394522e7c20eff87ec9edad1a78960b"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"9cf9f2f068a8237453c5917ba67b5358582a27763307f52ce476713c0b8744cb"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T21:01:19.474434Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T13:38:47.034421Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.05368/integrity.json","findings":[],"snapshot_sha256":"5bc7b5edc2829083a19ea173b40f41ff5bf6281e3ebffed714dffe43f447ac5e","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems upon which the society depends. We seek to rectify this by taking a first step towards developing an inferentialist semantic theory of information. There are three key interacting components. First, conceptual analysis: the metaphysics of information. Dretske expressed the key concepts of","authors_text":"David Pym, Matthew Collinson, Timo Eckhardt","cross_cats":["cs.AI"],"headline":"Replacing truth with inferability yields the inferon as information's primitive unit","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-06T18:49:02Z","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.05368","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-11T01:42:31.561867Z","id":"a3c17bfd-d74b-4247-8105-e226ae157e32","model_set":{"reader":"grok-4.3"},"one_line_summary":"An inferentialist account of information is outlined using proof-theoretic semantics to introduce the inferon and model inference-based information flow in distributed systems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Replacing truth with inferability yields the inferon as information's primitive unit","strongest_claim":"Using P-tS, we develop the first steps towards a mathematical-logical theory of an inferentialist primitive unit of information, the 'inferon'.","weakest_assumption":"That replacing truth with inferability in existing information concepts, realized via proof-theoretic semantics, yields a coherent and useful theory for information in distributed systems."}},"verdict_id":"a3c17bfd-d74b-4247-8105-e226ae157e32"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4efe039f7acecc79715ef1961092fe2adcbfeb0de033202ee7fd3c3a53f3e275","target":"record","created_at":"2026-05-20T00:03:14Z","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":"c4ac3ddc6d4b93a32da704308cd0cb644241342aab782db5bc36d934b8ceb4e3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-06T18:49:02Z","title_canon_sha256":"04f9c8924fd44a2d6288f99c88e206799348bfa048247007a4b9c4ce211592be"},"schema_version":"1.0","source":{"id":"2605.05368","kind":"arxiv","version":3}},"canonical_sha256":"33252d62dba0f67781489cd9f7d1e9310a809dcc01e770a05c0f0e6d3daeb6cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33252d62dba0f67781489cd9f7d1e9310a809dcc01e770a05c0f0e6d3daeb6cc","first_computed_at":"2026-05-20T00:03:14.201343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:03:14.201343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SPzIlvqfuOnzUhvoHs+CG5UuhXqf2gyWhb8jY+Y+WMk+oxVD7HnUyYKcEaQDCCMvFY0Zyz8172WN9vk9TY0BCg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:03:14.202251Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.05368","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4efe039f7acecc79715ef1961092fe2adcbfeb0de033202ee7fd3c3a53f3e275","sha256:9e2d2d3989d3df4f3e8a24785670b2e1ef4125a011336ab72bc6101eacfbc384"],"state_sha256":"1d62b16a378603e5d5db04332eb6462ec1b2b95b5b1bf45e783c04892f0d1bd9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ywNKf4sAnD1cDc6M80gZt+B45ZILznMRgEI2hCXhCJwEspM7U7nC2KbmBuZsQUkgDH7X44LF70xT8Eukwdo4Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T00:44:38.426916Z","bundle_sha256":"d25d6775eec588a45e784cf18c90278ad972b8253d2edf0529c6a267eb2f0d92"}}