{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HQC4NOWOT2ON52J7FLSS2D3EDD","short_pith_number":"pith:HQC4NOWO","canonical_record":{"source":{"id":"2301.10807","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-25T19:51:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"650b6fb76eb6862d571ed02e1fb84c398c1f035b4309cc9221416dcf276d0275","abstract_canon_sha256":"9f1b3b7be355e88086b846759a71adb3b8886d8ca936df8902255bdd3b6ac750"},"schema_version":"1.0"},"canonical_sha256":"3c05c6bace9e9cdee93f2ae52d0f6418fb8e3cd212be31f7e43dabb1300882d5","source":{"kind":"arxiv","id":"2301.10807","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.10807","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"2301.10807v1","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.10807","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"HQC4NOWOT2ON","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_16","alias_value":"HQC4NOWOT2ON52J7","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_8","alias_value":"HQC4NOWO","created_at":"2026-07-05T05:35:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HQC4NOWOT2ON52J7FLSS2D3EDD","target":"record","payload":{"canonical_record":{"source":{"id":"2301.10807","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-25T19:51:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"650b6fb76eb6862d571ed02e1fb84c398c1f035b4309cc9221416dcf276d0275","abstract_canon_sha256":"9f1b3b7be355e88086b846759a71adb3b8886d8ca936df8902255bdd3b6ac750"},"schema_version":"1.0"},"canonical_sha256":"3c05c6bace9e9cdee93f2ae52d0f6418fb8e3cd212be31f7e43dabb1300882d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:35:55.184806Z","signature_b64":"cHOna7bdXyTCJ3Xo2tPZS8ZJNcLATby85pJAOvyirewHItz08ar+PHQky/Lb/HEv40GnPK84T5E5LbmfDFHRAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c05c6bace9e9cdee93f2ae52d0f6418fb8e3cd212be31f7e43dabb1300882d5","last_reissued_at":"2026-07-05T05:35:55.184309Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:35:55.184309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.10807","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-05T05:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W1hwPgLTBHuoSM12w99qdWiXkzIwj+aEVN7JuhUMDEHCF2WClko4wsTtkh9TTO+W29KURKPeemklGX7wNtXWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T18:37:50.590648Z"},"content_sha256":"3bd0795452dcbecf92f0ac58ffb1986565dbcd4f49b8a205a8b06d7637569e51","schema_version":"1.0","event_id":"sha256:3bd0795452dcbecf92f0ac58ffb1986565dbcd4f49b8a205a8b06d7637569e51"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HQC4NOWOT2ON52J7FLSS2D3EDD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interpreting Knowledge-based Programs (Extended Version with Proofs)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Alexander Knapp, Bernhard Reus, Heribert M\\\"uhlberger","submitted_at":"2023-01-25T19:51:38Z","abstract_excerpt":"Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environment. Their interpretation involves a non-monotone mutual dependency between the evaluation of epistemic guards over the reachable states and the derivation of the reachable states depending on the evaluation of epistemic guards. We apply the technique of a must/cannot analysis invented for synchronous programming languages to the interpretation problem of knowledge-based programs and demonstrate that the resulting co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.10807","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/2301.10807/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-05T05:35:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/0Nel2KBnVOzIJ5aTMagGFJIpNb0Zl/POYAxCyqQ0QZo4EWtjx8AmN+wDs7W33akSp5rTGZ2nPXvFCHC31lBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T18:37:50.591022Z"},"content_sha256":"8c79d6008fa496bf67a2c9fcb959c717eebf091e8aec80a36d3f83f883dac42a","schema_version":"1.0","event_id":"sha256:8c79d6008fa496bf67a2c9fcb959c717eebf091e8aec80a36d3f83f883dac42a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/bundle.json","state_url":"https://pith.science/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/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-07-12T18:37:50Z","links":{"resolver":"https://pith.science/pith/HQC4NOWOT2ON52J7FLSS2D3EDD","bundle":"https://pith.science/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/bundle.json","state":"https://pith.science/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HQC4NOWOT2ON52J7FLSS2D3EDD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HQC4NOWOT2ON52J7FLSS2D3EDD","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":"9f1b3b7be355e88086b846759a71adb3b8886d8ca936df8902255bdd3b6ac750","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-25T19:51:38Z","title_canon_sha256":"650b6fb76eb6862d571ed02e1fb84c398c1f035b4309cc9221416dcf276d0275"},"schema_version":"1.0","source":{"id":"2301.10807","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.10807","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"2301.10807v1","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.10807","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"HQC4NOWOT2ON","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_16","alias_value":"HQC4NOWOT2ON52J7","created_at":"2026-07-05T05:35:55Z"},{"alias_kind":"pith_short_8","alias_value":"HQC4NOWO","created_at":"2026-07-05T05:35:55Z"}],"graph_snapshots":[{"event_id":"sha256:8c79d6008fa496bf67a2c9fcb959c717eebf091e8aec80a36d3f83f883dac42a","target":"graph","created_at":"2026-07-05T05:35:55Z","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/2301.10807/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other agents and the environment. Their interpretation involves a non-monotone mutual dependency between the evaluation of epistemic guards over the reachable states and the derivation of the reachable states depending on the evaluation of epistemic guards. We apply the technique of a must/cannot analysis invented for synchronous programming languages to the interpretation problem of knowledge-based programs and demonstrate that the resulting co","authors_text":"Alexander Knapp, Bernhard Reus, Heribert M\\\"uhlberger","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-25T19:51:38Z","title":"Interpreting Knowledge-based Programs (Extended Version with Proofs)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.10807","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:3bd0795452dcbecf92f0ac58ffb1986565dbcd4f49b8a205a8b06d7637569e51","target":"record","created_at":"2026-07-05T05:35:55Z","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":"9f1b3b7be355e88086b846759a71adb3b8886d8ca936df8902255bdd3b6ac750","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-01-25T19:51:38Z","title_canon_sha256":"650b6fb76eb6862d571ed02e1fb84c398c1f035b4309cc9221416dcf276d0275"},"schema_version":"1.0","source":{"id":"2301.10807","kind":"arxiv","version":1}},"canonical_sha256":"3c05c6bace9e9cdee93f2ae52d0f6418fb8e3cd212be31f7e43dabb1300882d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c05c6bace9e9cdee93f2ae52d0f6418fb8e3cd212be31f7e43dabb1300882d5","first_computed_at":"2026-07-05T05:35:55.184309Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:35:55.184309Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cHOna7bdXyTCJ3Xo2tPZS8ZJNcLATby85pJAOvyirewHItz08ar+PHQky/Lb/HEv40GnPK84T5E5LbmfDFHRAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:35:55.184806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.10807","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bd0795452dcbecf92f0ac58ffb1986565dbcd4f49b8a205a8b06d7637569e51","sha256:8c79d6008fa496bf67a2c9fcb959c717eebf091e8aec80a36d3f83f883dac42a"],"state_sha256":"3d0879d5a41b3a4ff3285552b2aedf213b7009762d298fc8a2069e3e396279ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hGa4Bq/ZV4S8HKyf4zkbcV5wmiWtx+ySTldkvQlYyvjsu+PZAv0EfG2BgMDgMeNbIe+RVld87tNAyBClkJ+JCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-12T18:37:50.593115Z","bundle_sha256":"52e71180bf35c6e16b340cf081fc432b44ceab04f5023029355f5575171f5ef3"}}