{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:QW4QEWKB2PNIYRMCLYUFU5SJEG","short_pith_number":"pith:QW4QEWKB","canonical_record":{"source":{"id":"cs/0601109","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2006-01-25T20:11:11Z","cross_cats_sorted":[],"title_canon_sha256":"8203340a29aa53fd7936fcf7cbce60ad89c8ba8fd95d2e659ddab63cbf4ba818","abstract_canon_sha256":"c55177db5b4ec08b148657b1413c5f0f3ee4d64994fad85184ec5e0ea3221efd"},"schema_version":"1.0"},"canonical_sha256":"85b9025941d3da8c45825e285a764921baa2d4b22920d33f14c21118e5f3cd3a","source":{"kind":"arxiv","id":"cs/0601109","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0601109","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0601109v3","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0601109","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"pith_short_12","alias_value":"QW4QEWKB2PNI","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"QW4QEWKB2PNIYRMC","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"QW4QEWKB","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:QW4QEWKB2PNIYRMCLYUFU5SJEG","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0601109","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2006-01-25T20:11:11Z","cross_cats_sorted":[],"title_canon_sha256":"8203340a29aa53fd7936fcf7cbce60ad89c8ba8fd95d2e659ddab63cbf4ba818","abstract_canon_sha256":"c55177db5b4ec08b148657b1413c5f0f3ee4d64994fad85184ec5e0ea3221efd"},"schema_version":"1.0"},"canonical_sha256":"85b9025941d3da8c45825e285a764921baa2d4b22920d33f14c21118e5f3cd3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:46.751680Z","signature_b64":"NX0ekhZROGAU2CyQK3MjCctzlb4tmSdIydL/TOTWcSwip6/AkE+JCPVdvtOBIwNet0IFLrh8eKWuYQRDGgI4DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85b9025941d3da8c45825e285a764921baa2d4b22920d33f14c21118e5f3cd3a","last_reissued_at":"2026-05-18T00:08:46.751094Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:46.751094Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0601109","source_version":3,"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:08:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ylLaxKUu7Z9vIfADlqVUmnUKQHIDHBttBzF5v9CeSjLBc8R4DijCB1ObydsXN3Dkz/riKNbpYeKDeuUauvMADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:36:51.054250Z"},"content_sha256":"82d88b48cf0d173026cacd0db651e03ac8973fb5491eef3c0ad79543e480e453","schema_version":"1.0","event_id":"sha256:82d88b48cf0d173026cacd0db651e03ac8973fb5491eef3c0ad79543e480e453"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:QW4QEWKB2PNIYRMCLYUFU5SJEG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data","license":"","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Carmen Gervet, Neil Yorke-Smith","submitted_at":"2006-01-25T20:11:11Z","abstract_excerpt":"Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other fields such as reliable computation offer combinations of models and associated meth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0601109","kind":"arxiv","version":3},"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:08:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R1sowA4yy7TU2lob8Ey28QDZZmkxa59V6YAwzowdqpv+Bxj/6nSUOrptWKCaKNehS7K1Noxjv7dTVOc6n0vvAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T04:36:51.054610Z"},"content_sha256":"070f3d89a0c73b568e718cd2f54aae1b26899ef0f3521173b80a8b34c3658a28","schema_version":"1.0","event_id":"sha256:070f3d89a0c73b568e718cd2f54aae1b26899ef0f3521173b80a8b34c3658a28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/bundle.json","state_url":"https://pith.science/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/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-02T04:36:51Z","links":{"resolver":"https://pith.science/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG","bundle":"https://pith.science/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/bundle.json","state":"https://pith.science/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QW4QEWKB2PNIYRMCLYUFU5SJEG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:QW4QEWKB2PNIYRMCLYUFU5SJEG","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":"c55177db5b4ec08b148657b1413c5f0f3ee4d64994fad85184ec5e0ea3221efd","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2006-01-25T20:11:11Z","title_canon_sha256":"8203340a29aa53fd7936fcf7cbce60ad89c8ba8fd95d2e659ddab63cbf4ba818"},"schema_version":"1.0","source":{"id":"cs/0601109","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0601109","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0601109v3","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0601109","created_at":"2026-05-18T00:08:46Z"},{"alias_kind":"pith_short_12","alias_value":"QW4QEWKB2PNI","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"QW4QEWKB2PNIYRMC","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"QW4QEWKB","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:070f3d89a0c73b568e718cd2f54aae1b26899ef0f3521173b80a8b34c3658a28","target":"graph","created_at":"2026-05-18T00:08:46Z","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":"Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other fields such as reliable computation offer combinations of models and associated meth","authors_text":"Carmen Gervet, Neil Yorke-Smith","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2006-01-25T20:11:11Z","title":"Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0601109","kind":"arxiv","version":3},"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:82d88b48cf0d173026cacd0db651e03ac8973fb5491eef3c0ad79543e480e453","target":"record","created_at":"2026-05-18T00:08:46Z","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":"c55177db5b4ec08b148657b1413c5f0f3ee4d64994fad85184ec5e0ea3221efd","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2006-01-25T20:11:11Z","title_canon_sha256":"8203340a29aa53fd7936fcf7cbce60ad89c8ba8fd95d2e659ddab63cbf4ba818"},"schema_version":"1.0","source":{"id":"cs/0601109","kind":"arxiv","version":3}},"canonical_sha256":"85b9025941d3da8c45825e285a764921baa2d4b22920d33f14c21118e5f3cd3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85b9025941d3da8c45825e285a764921baa2d4b22920d33f14c21118e5f3cd3a","first_computed_at":"2026-05-18T00:08:46.751094Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:46.751094Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NX0ekhZROGAU2CyQK3MjCctzlb4tmSdIydL/TOTWcSwip6/AkE+JCPVdvtOBIwNet0IFLrh8eKWuYQRDGgI4DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:46.751680Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0601109","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82d88b48cf0d173026cacd0db651e03ac8973fb5491eef3c0ad79543e480e453","sha256:070f3d89a0c73b568e718cd2f54aae1b26899ef0f3521173b80a8b34c3658a28"],"state_sha256":"6962091b2df881ff47ff5387ccb68a6d37c1006a2b94e278c17da61f34f8ddbf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DCngM8lKb23Koc/NxAp4Z/BWibJYihNU8+6ZMsJWmYlGyF+gEOTJrT0dmEnV2toYAdVpbVq9iKd8gLCW1mnzBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T04:36:51.056667Z","bundle_sha256":"8f4541851da46d525174a8a75f81230212409e78a56aa811359baeb5ec1eb555"}}