{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:LQIMYDSAI5I3RX5CIEHY7XQVM4","short_pith_number":"pith:LQIMYDSA","canonical_record":{"source":{"id":"1302.3608","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:17:05Z","cross_cats_sorted":[],"title_canon_sha256":"9d9e358d49baacf8d2f823ad204353768df6154a36bec39ebead6161323f66c0","abstract_canon_sha256":"c83374cbe90c39beb215f259ddb1c265b33813c7538e007c71ffff3cb9990ddf"},"schema_version":"1.0"},"canonical_sha256":"5c10cc0e404751b8dfa2410f8fde15671d8bfe21f505c2f9c40eae2074ef6883","source":{"kind":"arxiv","id":"1302.3608","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3608","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3608v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3608","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"LQIMYDSAI5I3","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LQIMYDSAI5I3RX5C","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LQIMYDSA","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:LQIMYDSAI5I3RX5CIEHY7XQVM4","target":"record","payload":{"canonical_record":{"source":{"id":"1302.3608","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:17:05Z","cross_cats_sorted":[],"title_canon_sha256":"9d9e358d49baacf8d2f823ad204353768df6154a36bec39ebead6161323f66c0","abstract_canon_sha256":"c83374cbe90c39beb215f259ddb1c265b33813c7538e007c71ffff3cb9990ddf"},"schema_version":"1.0"},"canonical_sha256":"5c10cc0e404751b8dfa2410f8fde15671d8bfe21f505c2f9c40eae2074ef6883","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:36.450217Z","signature_b64":"2quezzyzeFEmklAOzfz0QB2PucFr9F8NdC1Ehd6VM4VOVwOpSdgs1NGN+UB8cV69wadCJj2DpTMnrKoKM6zlDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c10cc0e404751b8dfa2410f8fde15671d8bfe21f505c2f9c40eae2074ef6883","last_reissued_at":"2026-05-18T03:33:36.449412Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:36.449412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.3608","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-18T03:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T7RJeLT0mixJTEhK8bebDTeAoXn7Uvw/oHl6Q4SHjCsjZvUB+GcrLWoHhrV+usJYzZ+N1iZrBjR8AxUS/LXbCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:42:40.655455Z"},"content_sha256":"4366b80e04e03eb4b3e5bb1d334a24b4359059e35ea8a01b061a06fcc8b057fb","schema_version":"1.0","event_id":"sha256:4366b80e04e03eb4b3e5bb1d334a24b4359059e35ea8a01b061a06fcc8b057fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:LQIMYDSAI5I3RX5CIEHY7XQVM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jean-Paul Krivine, Marie-Odile Cordier, Olivier Jehl, Sylvie Thiebaux","submitted_at":"2013-02-13T14:17:05Z","abstract_excerpt":"Integrating diagnosis and repair is particularly crucial when gaining sufficient information to discriminate between several candidate diagnoses requires carrying out some repair actions.  A typical case is supply restoration in a faulty power distribution system.  This problem, which is a major concern for electricity distributors, features partial observability, and stochastic repair actions which are more elaborate than simple replacement of components.  This paper analyses the difficulties in applying existing work on integrating model-based diagnosis and repair and on planning in partiall"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3608","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-18T03:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0ECCHFnVLR8W8xk1WHQZHFc1Ve+lXN7O1MnpVEajlwTWDprrJftsfdGVZ6OQFGvOXdzrCPd0iac7NiLtZhEBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:42:40.656159Z"},"content_sha256":"d30c8287721a6d8764f7b00e68f0e69541153a4e5d73f6679c8c8b8c68dde565","schema_version":"1.0","event_id":"sha256:d30c8287721a6d8764f7b00e68f0e69541153a4e5d73f6679c8c8b8c68dde565"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/bundle.json","state_url":"https://pith.science/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/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-09T06:42:40Z","links":{"resolver":"https://pith.science/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4","bundle":"https://pith.science/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/bundle.json","state":"https://pith.science/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LQIMYDSAI5I3RX5CIEHY7XQVM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:LQIMYDSAI5I3RX5CIEHY7XQVM4","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":"c83374cbe90c39beb215f259ddb1c265b33813c7538e007c71ffff3cb9990ddf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:17:05Z","title_canon_sha256":"9d9e358d49baacf8d2f823ad204353768df6154a36bec39ebead6161323f66c0"},"schema_version":"1.0","source":{"id":"1302.3608","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3608","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3608v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3608","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"LQIMYDSAI5I3","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LQIMYDSAI5I3RX5C","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LQIMYDSA","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:d30c8287721a6d8764f7b00e68f0e69541153a4e5d73f6679c8c8b8c68dde565","target":"graph","created_at":"2026-05-18T03:33:36Z","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":"Integrating diagnosis and repair is particularly crucial when gaining sufficient information to discriminate between several candidate diagnoses requires carrying out some repair actions.  A typical case is supply restoration in a faulty power distribution system.  This problem, which is a major concern for electricity distributors, features partial observability, and stochastic repair actions which are more elaborate than simple replacement of components.  This paper analyses the difficulties in applying existing work on integrating model-based diagnosis and repair and on planning in partiall","authors_text":"Jean-Paul Krivine, Marie-Odile Cordier, Olivier Jehl, Sylvie Thiebaux","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:17:05Z","title":"Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3608","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:4366b80e04e03eb4b3e5bb1d334a24b4359059e35ea8a01b061a06fcc8b057fb","target":"record","created_at":"2026-05-18T03:33:36Z","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":"c83374cbe90c39beb215f259ddb1c265b33813c7538e007c71ffff3cb9990ddf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:17:05Z","title_canon_sha256":"9d9e358d49baacf8d2f823ad204353768df6154a36bec39ebead6161323f66c0"},"schema_version":"1.0","source":{"id":"1302.3608","kind":"arxiv","version":1}},"canonical_sha256":"5c10cc0e404751b8dfa2410f8fde15671d8bfe21f505c2f9c40eae2074ef6883","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c10cc0e404751b8dfa2410f8fde15671d8bfe21f505c2f9c40eae2074ef6883","first_computed_at":"2026-05-18T03:33:36.449412Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:36.449412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2quezzyzeFEmklAOzfz0QB2PucFr9F8NdC1Ehd6VM4VOVwOpSdgs1NGN+UB8cV69wadCJj2DpTMnrKoKM6zlDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:36.450217Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3608","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4366b80e04e03eb4b3e5bb1d334a24b4359059e35ea8a01b061a06fcc8b057fb","sha256:d30c8287721a6d8764f7b00e68f0e69541153a4e5d73f6679c8c8b8c68dde565"],"state_sha256":"8e5fcf1aab6cd7a22adfedd0b4eab274bbff0b9c4db3e1a9c59c3051839d585a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6lDyObZD3w9FYIXjivhFEOjByG1GVPhNy98kpUQvCci4SZa55rq3lM6wbqotJ35ZQzNeFht2rXqcLtgKe/37CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T06:42:40.660957Z","bundle_sha256":"2d93c452333b39b6cc8c060f42c37b4cdc7096bd87299b81ee4eaae9530c0f22"}}