{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:4P6OADKZ553DM2HC74TY3XDXZ3","short_pith_number":"pith:4P6OADKZ","canonical_record":{"source":{"id":"2605.26883","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T11:45:03Z","cross_cats_sorted":[],"title_canon_sha256":"500f8810f7d3f5bdd29047bfd7c902cb5d727da2c0ff763dad014b1cac16dae8","abstract_canon_sha256":"4c0572f959f69c63eb37bc25a3c088c8174e63bfd6706944d1af380c98fbc8c7"},"schema_version":"1.0"},"canonical_sha256":"e3fce00d59ef763668e2ff278ddc77cecb8861f5f0fd0216ec37d545ca76c6fd","source":{"kind":"arxiv","id":"2605.26883","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.26883","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"arxiv_version","alias_value":"2605.26883v1","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26883","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_12","alias_value":"4P6OADKZ553D","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_16","alias_value":"4P6OADKZ553DM2HC","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_8","alias_value":"4P6OADKZ","created_at":"2026-05-27T01:06:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:4P6OADKZ553DM2HC74TY3XDXZ3","target":"record","payload":{"canonical_record":{"source":{"id":"2605.26883","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T11:45:03Z","cross_cats_sorted":[],"title_canon_sha256":"500f8810f7d3f5bdd29047bfd7c902cb5d727da2c0ff763dad014b1cac16dae8","abstract_canon_sha256":"4c0572f959f69c63eb37bc25a3c088c8174e63bfd6706944d1af380c98fbc8c7"},"schema_version":"1.0"},"canonical_sha256":"e3fce00d59ef763668e2ff278ddc77cecb8861f5f0fd0216ec37d545ca76c6fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:06:18.014897Z","signature_b64":"mU+L8XnMtSXWPPGaehpFfllL5HsftOqBjaSg+aHZrQg3RJV/zXnm1q7VR8a8jNVEvY7k6P2r48PgcymOhFwXDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3fce00d59ef763668e2ff278ddc77cecb8861f5f0fd0216ec37d545ca76c6fd","last_reissued_at":"2026-05-27T01:06:18.014158Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:06:18.014158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.26883","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-05-27T01:06:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u/9lkKWLrG8MI1HOcUrGjDLhzk1T6f7it6wPUVhJzDuzahYMtDDPsv2N9KM/KGbfhgGA9rn+LF2gma+5wSLFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T14:22:15.373286Z"},"content_sha256":"e513cc9f45a401eeb7f3addd574d1f5672e8f22eaaff04532d92b471fbaa4136","schema_version":"1.0","event_id":"sha256:e513cc9f45a401eeb7f3addd574d1f5672e8f22eaaff04532d92b471fbaa4136"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:4P6OADKZ553DM2HC74TY3XDXZ3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Dynamic Deontic Simplicial Logic for Joint Commitments","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Giorgio Cignarale, Hugo Rincon Galeana","submitted_at":"2026-05-26T11:45:03Z","abstract_excerpt":"In this paper we introduce the novel Deontic Simplicial Logic (DSL), a deontic logic for group obligations based on simplicial complexes. We provide the first deontic interpretation of simplicial models in which vertices represent individual commitments and higher-dimensional simplices represent joint obligations of groups of agents. We further extend DSL to the Dynamic Deontic Simplicial Logic (DDSL), resulting in the first dynamic logic based on simplicial complexes. DDSL models agents' choices among mutually exclusive commitments and captures the effects of individual and joint actions via "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26883","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/2605.26883/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-05-27T01:06:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1S7Gm64sdedRhX6if0dVTRO0NiVk1zrcUcyo5De10Tz3SdBRFwwNq+3RcHJiUV59idVDstzBrWUzzwwlcJN7AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T14:22:15.374089Z"},"content_sha256":"edfebf6479f0c43036fc20b1d1bc789afab93413a401af5b1a2a04d346bdde87","schema_version":"1.0","event_id":"sha256:edfebf6479f0c43036fc20b1d1bc789afab93413a401af5b1a2a04d346bdde87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4P6OADKZ553DM2HC74TY3XDXZ3/bundle.json","state_url":"https://pith.science/pith/4P6OADKZ553DM2HC74TY3XDXZ3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4P6OADKZ553DM2HC74TY3XDXZ3/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-05-31T14:22:15Z","links":{"resolver":"https://pith.science/pith/4P6OADKZ553DM2HC74TY3XDXZ3","bundle":"https://pith.science/pith/4P6OADKZ553DM2HC74TY3XDXZ3/bundle.json","state":"https://pith.science/pith/4P6OADKZ553DM2HC74TY3XDXZ3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4P6OADKZ553DM2HC74TY3XDXZ3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4P6OADKZ553DM2HC74TY3XDXZ3","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":"4c0572f959f69c63eb37bc25a3c088c8174e63bfd6706944d1af380c98fbc8c7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T11:45:03Z","title_canon_sha256":"500f8810f7d3f5bdd29047bfd7c902cb5d727da2c0ff763dad014b1cac16dae8"},"schema_version":"1.0","source":{"id":"2605.26883","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.26883","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"arxiv_version","alias_value":"2605.26883v1","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26883","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_12","alias_value":"4P6OADKZ553D","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_16","alias_value":"4P6OADKZ553DM2HC","created_at":"2026-05-27T01:06:18Z"},{"alias_kind":"pith_short_8","alias_value":"4P6OADKZ","created_at":"2026-05-27T01:06:18Z"}],"graph_snapshots":[{"event_id":"sha256:edfebf6479f0c43036fc20b1d1bc789afab93413a401af5b1a2a04d346bdde87","target":"graph","created_at":"2026-05-27T01:06:18Z","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/2605.26883/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we introduce the novel Deontic Simplicial Logic (DSL), a deontic logic for group obligations based on simplicial complexes. We provide the first deontic interpretation of simplicial models in which vertices represent individual commitments and higher-dimensional simplices represent joint obligations of groups of agents. We further extend DSL to the Dynamic Deontic Simplicial Logic (DDSL), resulting in the first dynamic logic based on simplicial complexes. DDSL models agents' choices among mutually exclusive commitments and captures the effects of individual and joint actions via ","authors_text":"Giorgio Cignarale, Hugo Rincon Galeana","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T11:45:03Z","title":"A Dynamic Deontic Simplicial Logic for Joint Commitments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26883","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:e513cc9f45a401eeb7f3addd574d1f5672e8f22eaaff04532d92b471fbaa4136","target":"record","created_at":"2026-05-27T01:06:18Z","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":"4c0572f959f69c63eb37bc25a3c088c8174e63bfd6706944d1af380c98fbc8c7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-26T11:45:03Z","title_canon_sha256":"500f8810f7d3f5bdd29047bfd7c902cb5d727da2c0ff763dad014b1cac16dae8"},"schema_version":"1.0","source":{"id":"2605.26883","kind":"arxiv","version":1}},"canonical_sha256":"e3fce00d59ef763668e2ff278ddc77cecb8861f5f0fd0216ec37d545ca76c6fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3fce00d59ef763668e2ff278ddc77cecb8861f5f0fd0216ec37d545ca76c6fd","first_computed_at":"2026-05-27T01:06:18.014158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:06:18.014158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mU+L8XnMtSXWPPGaehpFfllL5HsftOqBjaSg+aHZrQg3RJV/zXnm1q7VR8a8jNVEvY7k6P2r48PgcymOhFwXDw==","signature_status":"signed_v1","signed_at":"2026-05-27T01:06:18.014897Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.26883","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e513cc9f45a401eeb7f3addd574d1f5672e8f22eaaff04532d92b471fbaa4136","sha256:edfebf6479f0c43036fc20b1d1bc789afab93413a401af5b1a2a04d346bdde87"],"state_sha256":"ed36c38156dae4ef4567d36642eabe829a917622b58df349e3b4005ab35c862d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o3ou4AoOWYZnajHvUZmwe9jkg9uTQ0vNLE0nXBX9A3Nm3DgmtB3K+B5hQxHBVIXcoU/Lxdxa3YB7999RHbhxAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T14:22:15.378762Z","bundle_sha256":"80a57856dd3491b8c34d4fec4d3c14de7e53654833d46d68fcec35868d59f1e0"}}