{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4LVRRDUOLG5BYYEYXVN6YGYRH7","short_pith_number":"pith:4LVRRDUO","canonical_record":{"source":{"id":"1702.01886","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-07T06:02:50Z","cross_cats_sorted":[],"title_canon_sha256":"ba5af92c2b342f1b12739c48bb7b90adee017f1f8001bc4c1472ee0ebfca8df2","abstract_canon_sha256":"208bcd8e3f442ec14fe8574dc40509e22e6232b1374ba75a8c3e954cf01df4c5"},"schema_version":"1.0"},"canonical_sha256":"e2eb188e8e59ba1c6098bd5bec1b113fe287e09e43a38bda12a0f2495ea0095c","source":{"kind":"arxiv","id":"1702.01886","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01886","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01886v1","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01886","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"pith_short_12","alias_value":"4LVRRDUOLG5B","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4LVRRDUOLG5BYYEY","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4LVRRDUO","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4LVRRDUOLG5BYYEYXVN6YGYRH7","target":"record","payload":{"canonical_record":{"source":{"id":"1702.01886","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-07T06:02:50Z","cross_cats_sorted":[],"title_canon_sha256":"ba5af92c2b342f1b12739c48bb7b90adee017f1f8001bc4c1472ee0ebfca8df2","abstract_canon_sha256":"208bcd8e3f442ec14fe8574dc40509e22e6232b1374ba75a8c3e954cf01df4c5"},"schema_version":"1.0"},"canonical_sha256":"e2eb188e8e59ba1c6098bd5bec1b113fe287e09e43a38bda12a0f2495ea0095c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:10.997996Z","signature_b64":"/ne3OXIgXluBO8jh77OEdnerRaxWi7IsuI436l7Gw5HckksvB2I/bDOC4X3GhRdTN64Y01gYES0huS+PKjJ0Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2eb188e8e59ba1c6098bd5bec1b113fe287e09e43a38bda12a0f2495ea0095c","last_reissued_at":"2026-05-18T00:51:10.997470Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:10.997470Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.01886","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-18T00:51:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vTXiWIGbPTDcmwz2MY3OYxZO5gkYaCsmA60HIWuVe2cQr9k8JzO0W9UGGBcsjGpLznCERqK5X13uw1t03bm6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:19:38.622765Z"},"content_sha256":"73fdbb08cba784d13f9b797000fcd7c43ff7565778b7ad0439da8b59c0b2fbd7","schema_version":"1.0","event_id":"sha256:73fdbb08cba784d13f9b797000fcd7c43ff7565778b7ad0439da8b59c0b2fbd7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4LVRRDUOLG5BYYEYXVN6YGYRH7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"David E. Smith, Fabio Fagnani, Sara Bernardini","submitted_at":"2017-02-07T06:02:50Z","abstract_excerpt":"We present a technique for automatically extracting mutual exclusion invariants from temporal planning instances. It first identifies a set of invariant templates by inspecting the lifted representation of the domain and then checks these templates against properties that assure invariance. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous actions by addressing temporal domains. To deal with time, we formulate invariance conditions that account for the entire structure of the actions and the possib"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01886","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":""},"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:51:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"65GFAiXP5S+1WQtPnBISiUxW6M3RpBDMOtLyKin15lV/DoIBOUOqHqBdGWbjuTWCDO9rbAjz2jERxKGEng2fAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:19:38.623123Z"},"content_sha256":"26125dd4797259c059f8027b2ff466bb68b6f5a2d289ecf9d936f2a9c891646c","schema_version":"1.0","event_id":"sha256:26125dd4797259c059f8027b2ff466bb68b6f5a2d289ecf9d936f2a9c891646c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/bundle.json","state_url":"https://pith.science/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/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-03T23:19:38Z","links":{"resolver":"https://pith.science/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7","bundle":"https://pith.science/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/bundle.json","state":"https://pith.science/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4LVRRDUOLG5BYYEYXVN6YGYRH7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4LVRRDUOLG5BYYEYXVN6YGYRH7","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":"208bcd8e3f442ec14fe8574dc40509e22e6232b1374ba75a8c3e954cf01df4c5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-07T06:02:50Z","title_canon_sha256":"ba5af92c2b342f1b12739c48bb7b90adee017f1f8001bc4c1472ee0ebfca8df2"},"schema_version":"1.0","source":{"id":"1702.01886","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.01886","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"arxiv_version","alias_value":"1702.01886v1","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.01886","created_at":"2026-05-18T00:51:10Z"},{"alias_kind":"pith_short_12","alias_value":"4LVRRDUOLG5B","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4LVRRDUOLG5BYYEY","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4LVRRDUO","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:26125dd4797259c059f8027b2ff466bb68b6f5a2d289ecf9d936f2a9c891646c","target":"graph","created_at":"2026-05-18T00:51:10Z","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":"We present a technique for automatically extracting mutual exclusion invariants from temporal planning instances. It first identifies a set of invariant templates by inspecting the lifted representation of the domain and then checks these templates against properties that assure invariance. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous actions by addressing temporal domains. To deal with time, we formulate invariance conditions that account for the entire structure of the actions and the possib","authors_text":"David E. Smith, Fabio Fagnani, Sara Bernardini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-07T06:02:50Z","title":"Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.01886","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:73fdbb08cba784d13f9b797000fcd7c43ff7565778b7ad0439da8b59c0b2fbd7","target":"record","created_at":"2026-05-18T00:51:10Z","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":"208bcd8e3f442ec14fe8574dc40509e22e6232b1374ba75a8c3e954cf01df4c5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-07T06:02:50Z","title_canon_sha256":"ba5af92c2b342f1b12739c48bb7b90adee017f1f8001bc4c1472ee0ebfca8df2"},"schema_version":"1.0","source":{"id":"1702.01886","kind":"arxiv","version":1}},"canonical_sha256":"e2eb188e8e59ba1c6098bd5bec1b113fe287e09e43a38bda12a0f2495ea0095c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2eb188e8e59ba1c6098bd5bec1b113fe287e09e43a38bda12a0f2495ea0095c","first_computed_at":"2026-05-18T00:51:10.997470Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:10.997470Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/ne3OXIgXluBO8jh77OEdnerRaxWi7IsuI436l7Gw5HckksvB2I/bDOC4X3GhRdTN64Y01gYES0huS+PKjJ0Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:10.997996Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.01886","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73fdbb08cba784d13f9b797000fcd7c43ff7565778b7ad0439da8b59c0b2fbd7","sha256:26125dd4797259c059f8027b2ff466bb68b6f5a2d289ecf9d936f2a9c891646c"],"state_sha256":"a8dba175c21b4ac97720617ded918b2d217706be7cec09fcfa2fc526255a278e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lPJh2hsYkonbxXR0UhHsq+9BomteGoQ8Pf0tL3WlR70ZF+4cwXtyv23ArxL33pg/hdW0x1RdTVKda2WXx1j2Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T23:19:38.625195Z","bundle_sha256":"a7fddb85d1abc72bd0369141556f364e24c878f30cf9fa8e081ff15354b07915"}}