{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:P3C4B67SJL762NAWRYN5CYKRYV","short_pith_number":"pith:P3C4B67S","canonical_record":{"source":{"id":"1011.0233","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-11-01T01:02:39Z","cross_cats_sorted":[],"title_canon_sha256":"f494c2d9eef7f614dcab8ba1a291b8e8552668914f718626a18ee45c2a4730d7","abstract_canon_sha256":"b1cd93c53f1876c876e4d82d93e14340bbfe2a623fba877892f913d5d561c34c"},"schema_version":"1.0"},"canonical_sha256":"7ec5c0fbf24affed34168e1bd16151c5658d0aad0a96fa1022234a7388e0465a","source":{"kind":"arxiv","id":"1011.0233","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0233","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0233v2","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0233","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"pith_short_12","alias_value":"P3C4B67SJL76","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"P3C4B67SJL762NAW","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"P3C4B67S","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:P3C4B67SJL762NAWRYN5CYKRYV","target":"record","payload":{"canonical_record":{"source":{"id":"1011.0233","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-11-01T01:02:39Z","cross_cats_sorted":[],"title_canon_sha256":"f494c2d9eef7f614dcab8ba1a291b8e8552668914f718626a18ee45c2a4730d7","abstract_canon_sha256":"b1cd93c53f1876c876e4d82d93e14340bbfe2a623fba877892f913d5d561c34c"},"schema_version":"1.0"},"canonical_sha256":"7ec5c0fbf24affed34168e1bd16151c5658d0aad0a96fa1022234a7388e0465a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:37:09.828757Z","signature_b64":"Wh80Mr4D7JiNb/zKIuLoDexBeyE6/mu1CzDdykYGiBl2LuZmGFIoEi6OkLNodjzcGIBpAf5jloiDCqMZJr+hAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ec5c0fbf24affed34168e1bd16151c5658d0aad0a96fa1022234a7388e0465a","last_reissued_at":"2026-05-18T04:37:09.828273Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:37:09.828273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.0233","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-18T04:37:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dhF8x9kLKNM+uod9n2UJyfZskJRmVw21pId++etkjndireAUFJ2h7iMi4yi8ftD6kFEHMSdppzZZRR6dBpjVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:47:42.015756Z"},"content_sha256":"d7f4228b54d92e904c2fe8477d1c14171e33cf6e5f668b906c6cec843993f32a","schema_version":"1.0","event_id":"sha256:d7f4228b54d92e904c2fe8477d1c14171e33cf6e5f668b906c6cec843993f32a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:P3C4B67SJL762NAWRYN5CYKRYV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning about Cardinal Directions between Extended Objects: The Hardness Result","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Sanjiang Li, Weiming Liu","submitted_at":"2010-11-01T01:02:39Z","abstract_excerpt":"The cardinal direction calculus (CDC) proposed by Goyal and Egenhofer is a very expressive qualitative calculus for directional information of extended objects. Early work has shown that consistency checking of complete networks of basic CDC constraints is tractable while reasoning with the CDC in general is NP-hard. This paper shows, however, if allowing some constraints unspecified, then consistency checking of possibly incomplete networks of basic CDC constraints is already intractable. This draws a sharp boundary between the tractable and intractable subclasses of the CDC. The result is ac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0233","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-18T04:37:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QfswNb+EvBOZWFw1LE+lmH7TRNdOHASZFY9oRvz0fKhsN3Y3pfecb7N+qJqFKT1shgTTFt2/o0rPgTNbfolbDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:47:42.016103Z"},"content_sha256":"985b454932c3d4f4321e9996a1ebc8d23f40a5a1bc016cd4fde82a6b362f0ed6","schema_version":"1.0","event_id":"sha256:985b454932c3d4f4321e9996a1ebc8d23f40a5a1bc016cd4fde82a6b362f0ed6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P3C4B67SJL762NAWRYN5CYKRYV/bundle.json","state_url":"https://pith.science/pith/P3C4B67SJL762NAWRYN5CYKRYV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P3C4B67SJL762NAWRYN5CYKRYV/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-02T15:47:42Z","links":{"resolver":"https://pith.science/pith/P3C4B67SJL762NAWRYN5CYKRYV","bundle":"https://pith.science/pith/P3C4B67SJL762NAWRYN5CYKRYV/bundle.json","state":"https://pith.science/pith/P3C4B67SJL762NAWRYN5CYKRYV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P3C4B67SJL762NAWRYN5CYKRYV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:P3C4B67SJL762NAWRYN5CYKRYV","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":"b1cd93c53f1876c876e4d82d93e14340bbfe2a623fba877892f913d5d561c34c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-11-01T01:02:39Z","title_canon_sha256":"f494c2d9eef7f614dcab8ba1a291b8e8552668914f718626a18ee45c2a4730d7"},"schema_version":"1.0","source":{"id":"1011.0233","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.0233","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"arxiv_version","alias_value":"1011.0233v2","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.0233","created_at":"2026-05-18T04:37:09Z"},{"alias_kind":"pith_short_12","alias_value":"P3C4B67SJL76","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"P3C4B67SJL762NAW","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"P3C4B67S","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:985b454932c3d4f4321e9996a1ebc8d23f40a5a1bc016cd4fde82a6b362f0ed6","target":"graph","created_at":"2026-05-18T04:37:09Z","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 cardinal direction calculus (CDC) proposed by Goyal and Egenhofer is a very expressive qualitative calculus for directional information of extended objects. Early work has shown that consistency checking of complete networks of basic CDC constraints is tractable while reasoning with the CDC in general is NP-hard. This paper shows, however, if allowing some constraints unspecified, then consistency checking of possibly incomplete networks of basic CDC constraints is already intractable. This draws a sharp boundary between the tractable and intractable subclasses of the CDC. The result is ac","authors_text":"Sanjiang Li, Weiming Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-11-01T01:02:39Z","title":"Reasoning about Cardinal Directions between Extended Objects: The Hardness Result"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.0233","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:d7f4228b54d92e904c2fe8477d1c14171e33cf6e5f668b906c6cec843993f32a","target":"record","created_at":"2026-05-18T04:37:09Z","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":"b1cd93c53f1876c876e4d82d93e14340bbfe2a623fba877892f913d5d561c34c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-11-01T01:02:39Z","title_canon_sha256":"f494c2d9eef7f614dcab8ba1a291b8e8552668914f718626a18ee45c2a4730d7"},"schema_version":"1.0","source":{"id":"1011.0233","kind":"arxiv","version":2}},"canonical_sha256":"7ec5c0fbf24affed34168e1bd16151c5658d0aad0a96fa1022234a7388e0465a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ec5c0fbf24affed34168e1bd16151c5658d0aad0a96fa1022234a7388e0465a","first_computed_at":"2026-05-18T04:37:09.828273Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:37:09.828273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wh80Mr4D7JiNb/zKIuLoDexBeyE6/mu1CzDdykYGiBl2LuZmGFIoEi6OkLNodjzcGIBpAf5jloiDCqMZJr+hAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:37:09.828757Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.0233","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7f4228b54d92e904c2fe8477d1c14171e33cf6e5f668b906c6cec843993f32a","sha256:985b454932c3d4f4321e9996a1ebc8d23f40a5a1bc016cd4fde82a6b362f0ed6"],"state_sha256":"762d4fedf9460da5570e94c9683aaf66d2ec133c75c4dcea85ec5565e89ab0c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IQAZR7QWHBoqgJioJKMJIdZnDRWKj8/PjGFo6N5vNwX0Ou46w7/7SZIT1GJ+IMvr60bACw1D5c3GhFc/AMwgCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T15:47:42.018186Z","bundle_sha256":"eb0d1e7a7a959f7bb0a39d6b3a5c68151e264d1c2eda0b4c13115087a24acc72"}}