{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CJKVD2SQ6VHC5GJ422TJFWFF4M","short_pith_number":"pith:CJKVD2SQ","canonical_record":{"source":{"id":"1703.11005","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-31T17:53:06Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"933596b83651a502a7409753da15f05e8ceae31bf753b74a3e673e71304d944e","abstract_canon_sha256":"5f6d203c7943906d7e8f2a4e75b75c2f9d783919768947de74805559c52881d1"},"schema_version":"1.0"},"canonical_sha256":"125551ea50f54e2e993cd6a692d8a5e32a35998ecbb206e4383e9055b06c3c31","source":{"kind":"arxiv","id":"1703.11005","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.11005","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"arxiv_version","alias_value":"1703.11005v2","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.11005","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"pith_short_12","alias_value":"CJKVD2SQ6VHC","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CJKVD2SQ6VHC5GJ4","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CJKVD2SQ","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CJKVD2SQ6VHC5GJ422TJFWFF4M","target":"record","payload":{"canonical_record":{"source":{"id":"1703.11005","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-31T17:53:06Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"933596b83651a502a7409753da15f05e8ceae31bf753b74a3e673e71304d944e","abstract_canon_sha256":"5f6d203c7943906d7e8f2a4e75b75c2f9d783919768947de74805559c52881d1"},"schema_version":"1.0"},"canonical_sha256":"125551ea50f54e2e993cd6a692d8a5e32a35998ecbb206e4383e9055b06c3c31","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:19.444931Z","signature_b64":"Yd/MmODugi3dX8l4NVw3Q/opRhp5nGr8PzP77RTA+5AeHyb01qR8EIjJXlfJwoKqkezTGu/MLtcEDhWY0PWBDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"125551ea50f54e2e993cd6a692d8a5e32a35998ecbb206e4383e9055b06c3c31","last_reissued_at":"2026-05-18T00:47:19.444033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:19.444033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.11005","source_version":2,"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-18T00:47:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cnSyGexKQXrCGyW94p7qxdUvqpPVw368NaqorPvjOg6VJGLrsBu8Qj+rhcM5mIo40pZaz5izJJGYVtQGcP8pAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:26:47.208274Z"},"content_sha256":"67091ce34b04988b315f2dc500483d486419937e3d40ccaecbd9e3a8a246da7d","schema_version":"1.0","event_id":"sha256:67091ce34b04988b315f2dc500483d486419937e3d40ccaecbd9e3a8a246da7d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CJKVD2SQ6VHC5GJ422TJFWFF4M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.DC","authors_text":"Eric Goubault, Sergio Rajsbaum","submitted_at":"2017-03-31T17:53:06Z","abstract_excerpt":"The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in the Kripke graph, by using as a model its dual, a chromatic simplicial complex. For each state of the Kripke model there is a facet in the complex, with one vertex per agent. If an edge (u,v) is labeled with a set of agents S, the facets corresponding to u and v intersect in a simplex consisting of one vertex for each agent of S. Then we use dynamic epistemic logic to stud"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.11005","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-18T00:47:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ScXbSTEqTTUh+sQZv8NMro20cfccbQhSg6bOSwy6KWbuMCnAyZpGdHL2F2q4rdymS6WMFUko6JfPVHHuWR6JDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T01:26:47.209065Z"},"content_sha256":"4d6955546742e7550dbaed724cce95a382858f0cd924cdfbb7a7e67185435799","schema_version":"1.0","event_id":"sha256:4d6955546742e7550dbaed724cce95a382858f0cd924cdfbb7a7e67185435799"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/bundle.json","state_url":"https://pith.science/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/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-26T01:26:47Z","links":{"resolver":"https://pith.science/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M","bundle":"https://pith.science/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/bundle.json","state":"https://pith.science/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CJKVD2SQ6VHC5GJ422TJFWFF4M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CJKVD2SQ6VHC5GJ422TJFWFF4M","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":"5f6d203c7943906d7e8f2a4e75b75c2f9d783919768947de74805559c52881d1","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-31T17:53:06Z","title_canon_sha256":"933596b83651a502a7409753da15f05e8ceae31bf753b74a3e673e71304d944e"},"schema_version":"1.0","source":{"id":"1703.11005","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.11005","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"arxiv_version","alias_value":"1703.11005v2","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.11005","created_at":"2026-05-18T00:47:19Z"},{"alias_kind":"pith_short_12","alias_value":"CJKVD2SQ6VHC","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CJKVD2SQ6VHC5GJ4","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CJKVD2SQ","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:4d6955546742e7550dbaed724cce95a382858f0cd924cdfbb7a7e67185435799","target":"graph","created_at":"2026-05-18T00:47:19Z","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"},"paper":{"abstract_excerpt":"The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in the Kripke graph, by using as a model its dual, a chromatic simplicial complex. For each state of the Kripke model there is a facet in the complex, with one vertex per agent. If an edge (u,v) is labeled with a set of agents S, the facets corresponding to u and v intersect in a simplex consisting of one vertex for each agent of S. Then we use dynamic epistemic logic to stud","authors_text":"Eric Goubault, Sergio Rajsbaum","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-31T17:53:06Z","title":"A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.11005","kind":"arxiv","version":2},"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:67091ce34b04988b315f2dc500483d486419937e3d40ccaecbd9e3a8a246da7d","target":"record","created_at":"2026-05-18T00:47:19Z","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":"5f6d203c7943906d7e8f2a4e75b75c2f9d783919768947de74805559c52881d1","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-03-31T17:53:06Z","title_canon_sha256":"933596b83651a502a7409753da15f05e8ceae31bf753b74a3e673e71304d944e"},"schema_version":"1.0","source":{"id":"1703.11005","kind":"arxiv","version":2}},"canonical_sha256":"125551ea50f54e2e993cd6a692d8a5e32a35998ecbb206e4383e9055b06c3c31","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"125551ea50f54e2e993cd6a692d8a5e32a35998ecbb206e4383e9055b06c3c31","first_computed_at":"2026-05-18T00:47:19.444033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:19.444033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yd/MmODugi3dX8l4NVw3Q/opRhp5nGr8PzP77RTA+5AeHyb01qR8EIjJXlfJwoKqkezTGu/MLtcEDhWY0PWBDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:19.444931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.11005","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67091ce34b04988b315f2dc500483d486419937e3d40ccaecbd9e3a8a246da7d","sha256:4d6955546742e7550dbaed724cce95a382858f0cd924cdfbb7a7e67185435799"],"state_sha256":"27913df4e222575acebecd57893fb49449ca8c8758c812cdadd69632d61c5e7b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Erv9wN88az6Gvvu0NBSxv07YSAwH9lWfwH6c4Gzm8BOejM7uEIZVO49KTohpERHBWpru2lR+ZzNV3u6bTOMZDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T01:26:47.213088Z","bundle_sha256":"ed30cfdf4099ab89a289607b1e0237b06f7c2a0b464ca005d7ff30993634137e"}}