{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2J34RHN7KBY24A3MMNUU5DIOZF","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":"0546f036cc5bcdee7756587fd5e0b6affd71583e5a276f70defd133966f71b6a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:55Z","title_canon_sha256":"f838b463906e64ab00aacbdd5b77f775e6546578d6ebbcf9e2ef12719c4fde40"},"schema_version":"1.0","source":{"id":"2606.31861","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31861","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31861v1","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31861","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_12","alias_value":"2J34RHN7KBY2","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_16","alias_value":"2J34RHN7KBY24A3M","created_at":"2026-07-01T01:18:17Z"},{"alias_kind":"pith_short_8","alias_value":"2J34RHN7","created_at":"2026-07-01T01:18:17Z"}],"graph_snapshots":[{"event_id":"sha256:0f71c51c629fa088c1d020b252c6e4d9a8db80fae070fd066303d2e3e013624a","target":"graph","created_at":"2026-07-01T01:18:17Z","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/2606.31861/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dynamic epistemic logic represents belief change via model transformations induced by epistemic events. Its standard formulation (Baltag, Moss, Solecki, 1998) provides a natural account of belief expansion through the elimination of possibilities, but it cannot model belief contraction about factual propositions. A classic response enriches Kripke models with plausibility orderings, representing contraction as an update that promotes certain possibilities over others. We show that this approach has expressive limitations. In particular, the approach cannot model belief that violates positive i","authors_text":"California), Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:55Z","title":"Belief Contraction in Dynamic Epistemic Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31861","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:dfe473d98603afb8da980c5624ac47959d968feaf969b0fdb6ef8e1e0fd29e7f","target":"record","created_at":"2026-07-01T01:18:17Z","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":"0546f036cc5bcdee7756587fd5e0b6affd71583e5a276f70defd133966f71b6a","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T15:53:55Z","title_canon_sha256":"f838b463906e64ab00aacbdd5b77f775e6546578d6ebbcf9e2ef12719c4fde40"},"schema_version":"1.0","source":{"id":"2606.31861","kind":"arxiv","version":1}},"canonical_sha256":"d277c89dbf5071ae036c63694e8d0ec9565879cf002fd06c7fc896cc8bb4dba4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d277c89dbf5071ae036c63694e8d0ec9565879cf002fd06c7fc896cc8bb4dba4","first_computed_at":"2026-07-01T01:18:17.790611Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:17.790611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YHDx7ZqMdG0BfFYCSC+QRd71x27fuwJbrclyUXdbfbAknFK5S4HbzeEbRzWQBe6+tbBpQLbwIVTLAWsl3g1uBw==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:17.791093Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31861","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfe473d98603afb8da980c5624ac47959d968feaf969b0fdb6ef8e1e0fd29e7f","sha256:0f71c51c629fa088c1d020b252c6e4d9a8db80fae070fd066303d2e3e013624a"],"state_sha256":"378596d5789445704c915a3a07e079fd38860c7cf61cbb6cf0555c9cbf4d68ac"}