{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:I5O7E7AESVZPSX34QTAV6DKDA5","short_pith_number":"pith:I5O7E7AE","canonical_record":{"source":{"id":"2504.16209","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-22T18:55:26Z","cross_cats_sorted":[],"title_canon_sha256":"324b7a7ba2eb6d813dba3db12c40b279930df8c322c10f1133fd7916cad3015c","abstract_canon_sha256":"9cb8521ecbaaee8389766051a621e2e4653fd0da8c276d5d2e4a58d34958a163"},"schema_version":"1.0"},"canonical_sha256":"475df27c049572f95f7c84c15f0d43074f4b77ffbd807c93dc49380bd9857bfc","source":{"kind":"arxiv","id":"2504.16209","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16209","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16209v1","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16209","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_12","alias_value":"I5O7E7AESVZP","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_16","alias_value":"I5O7E7AESVZPSX34","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_8","alias_value":"I5O7E7AE","created_at":"2026-07-05T10:52:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:I5O7E7AESVZPSX34QTAV6DKDA5","target":"record","payload":{"canonical_record":{"source":{"id":"2504.16209","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-22T18:55:26Z","cross_cats_sorted":[],"title_canon_sha256":"324b7a7ba2eb6d813dba3db12c40b279930df8c322c10f1133fd7916cad3015c","abstract_canon_sha256":"9cb8521ecbaaee8389766051a621e2e4653fd0da8c276d5d2e4a58d34958a163"},"schema_version":"1.0"},"canonical_sha256":"475df27c049572f95f7c84c15f0d43074f4b77ffbd807c93dc49380bd9857bfc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:43.266379Z","signature_b64":"sLmRAfWrz8nud2IfyYivmKuSIvUhFlWvC8xFq660DORv6xTPuSmqoaTlRxXnChjpvco1Ybq1PeeJr/J8vZtzDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"475df27c049572f95f7c84c15f0d43074f4b77ffbd807c93dc49380bd9857bfc","last_reissued_at":"2026-07-05T10:52:43.265918Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:43.265918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.16209","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-07-05T10:52:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7cPMHuK6ZuLqsaXVFHmRxo0dMhbvQKLZaZmDd6kPXkCNVoyiRmq6gBDEGdHk3hp+faYp8yJIFH/wLwPdUGwsDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:49:13.070648Z"},"content_sha256":"5cb463b196b3db18f4d1c255297cd011928979be7afd1dc38f3d67d14d8d35fd","schema_version":"1.0","event_id":"sha256:5cb463b196b3db18f4d1c255297cd011928979be7afd1dc38f3d67d14d8d35fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:I5O7E7AESVZPSX34QTAV6DKDA5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Dana Nau, Mark Roberts, Paul Zaidins, Robert P. Goldman, Ugur Kuter","submitted_at":"2025-04-22T18:55:26Z","abstract_excerpt":"This paper provides theoretical and empirical comparisons of three recent hierarchical plan repair algorithms: SHOPFixer, IPyHOPPER, and Rewrite. Our theoretical results show that the three algorithms correspond to three different definitions of the plan repair problem, leading to differences in the algorithms' search spaces, the repair problems they can solve, and the kinds of repairs they can make. Understanding these distinctions is important when choosing a repair method for any given application.\n  Building on the theoretical results, we evaluate the algorithms empirically in a series of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16209","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/2504.16209/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-07-05T10:52:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VvoyzHyAH3aJPrpM12IjSsxV25HkQS2C+9LyvWp45WDFPYw6v7jH1e29tBC7SGHuOtOg4JvuDsv++JOwjGbcDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T15:49:13.071263Z"},"content_sha256":"d550a4e1c3e795d0802c95fda17bfd1b9e52c8e15a92d74277401356149084c3","schema_version":"1.0","event_id":"sha256:d550a4e1c3e795d0802c95fda17bfd1b9e52c8e15a92d74277401356149084c3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I5O7E7AESVZPSX34QTAV6DKDA5/bundle.json","state_url":"https://pith.science/pith/I5O7E7AESVZPSX34QTAV6DKDA5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I5O7E7AESVZPSX34QTAV6DKDA5/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-08-21T15:49:13Z","links":{"resolver":"https://pith.science/pith/I5O7E7AESVZPSX34QTAV6DKDA5","bundle":"https://pith.science/pith/I5O7E7AESVZPSX34QTAV6DKDA5/bundle.json","state":"https://pith.science/pith/I5O7E7AESVZPSX34QTAV6DKDA5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I5O7E7AESVZPSX34QTAV6DKDA5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:I5O7E7AESVZPSX34QTAV6DKDA5","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":"9cb8521ecbaaee8389766051a621e2e4653fd0da8c276d5d2e4a58d34958a163","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-22T18:55:26Z","title_canon_sha256":"324b7a7ba2eb6d813dba3db12c40b279930df8c322c10f1133fd7916cad3015c"},"schema_version":"1.0","source":{"id":"2504.16209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.16209","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"arxiv_version","alias_value":"2504.16209v1","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.16209","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_12","alias_value":"I5O7E7AESVZP","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_16","alias_value":"I5O7E7AESVZPSX34","created_at":"2026-07-05T10:52:43Z"},{"alias_kind":"pith_short_8","alias_value":"I5O7E7AE","created_at":"2026-07-05T10:52:43Z"}],"graph_snapshots":[{"event_id":"sha256:d550a4e1c3e795d0802c95fda17bfd1b9e52c8e15a92d74277401356149084c3","target":"graph","created_at":"2026-07-05T10:52:43Z","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/2504.16209/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper provides theoretical and empirical comparisons of three recent hierarchical plan repair algorithms: SHOPFixer, IPyHOPPER, and Rewrite. Our theoretical results show that the three algorithms correspond to three different definitions of the plan repair problem, leading to differences in the algorithms' search spaces, the repair problems they can solve, and the kinds of repairs they can make. Understanding these distinctions is important when choosing a repair method for any given application.\n  Building on the theoretical results, we evaluate the algorithms empirically in a series of ","authors_text":"Dana Nau, Mark Roberts, Paul Zaidins, Robert P. Goldman, Ugur Kuter","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-22T18:55:26Z","title":"HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.16209","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:5cb463b196b3db18f4d1c255297cd011928979be7afd1dc38f3d67d14d8d35fd","target":"record","created_at":"2026-07-05T10:52:43Z","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":"9cb8521ecbaaee8389766051a621e2e4653fd0da8c276d5d2e4a58d34958a163","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-22T18:55:26Z","title_canon_sha256":"324b7a7ba2eb6d813dba3db12c40b279930df8c322c10f1133fd7916cad3015c"},"schema_version":"1.0","source":{"id":"2504.16209","kind":"arxiv","version":1}},"canonical_sha256":"475df27c049572f95f7c84c15f0d43074f4b77ffbd807c93dc49380bd9857bfc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"475df27c049572f95f7c84c15f0d43074f4b77ffbd807c93dc49380bd9857bfc","first_computed_at":"2026-07-05T10:52:43.265918Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:52:43.265918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sLmRAfWrz8nud2IfyYivmKuSIvUhFlWvC8xFq660DORv6xTPuSmqoaTlRxXnChjpvco1Ybq1PeeJr/J8vZtzDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:52:43.266379Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.16209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cb463b196b3db18f4d1c255297cd011928979be7afd1dc38f3d67d14d8d35fd","sha256:d550a4e1c3e795d0802c95fda17bfd1b9e52c8e15a92d74277401356149084c3"],"state_sha256":"4e0f42852d7597333ed56c5545ab35b289f70a324cbb5cac8d37bc11b1d9187e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C5Mrbaqpj05Smox1X1oOrTh5WWGKxxwoSnf51q8q+vXcaZfTMAM7+nTWuMncPD/+MGFcjBXBB42OQ/6SVfFJDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T15:49:13.076613Z","bundle_sha256":"901ca0fa21ba0d9f19600e407c962efbdec1437b61a03d825d8e78d02d6e7555"}}