{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:LC323GHMBHQMIZAJQ4JNZXB6GX","short_pith_number":"pith:LC323GHM","canonical_record":{"source":{"id":"cs/0409038","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-09-21T11:48:47Z","cross_cats_sorted":[],"title_canon_sha256":"b8429bb10c5d8b65faa67156d426a6190967ea6f47766a6b67ed09616147b745","abstract_canon_sha256":"52a061462dbcc3c29fdafe92bc49a3561d2cf0856cdce8131e9f3d2f284e4c45"},"schema_version":"1.0"},"canonical_sha256":"58b7ad98ec09e0c464098712dcdc3e35f49527f791d48906bfcecc578fc91f2b","source":{"kind":"arxiv","id":"cs/0409038","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0409038","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0409038v1","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0409038","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"pith_short_12","alias_value":"LC323GHMBHQM","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"LC323GHMBHQMIZAJ","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"LC323GHM","created_at":"2026-05-18T12:25:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:LC323GHMBHQMIZAJQ4JNZXB6GX","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0409038","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-09-21T11:48:47Z","cross_cats_sorted":[],"title_canon_sha256":"b8429bb10c5d8b65faa67156d426a6190967ea6f47766a6b67ed09616147b745","abstract_canon_sha256":"52a061462dbcc3c29fdafe92bc49a3561d2cf0856cdce8131e9f3d2f284e4c45"},"schema_version":"1.0"},"canonical_sha256":"58b7ad98ec09e0c464098712dcdc3e35f49527f791d48906bfcecc578fc91f2b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:26.410795Z","signature_b64":"/qnFUWsGz/t9xvA3mpIpXuZyhsU31E02c3pRdS26c1U9ESzEp6KBi5cXLNdDQ/IRiUs8H9bshzhzNSUn8g6TBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58b7ad98ec09e0c464098712dcdc3e35f49527f791d48906bfcecc578fc91f2b","last_reissued_at":"2026-05-18T04:41:26.410217Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:26.410217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0409038","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-18T04:41:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qlBSX7Piscscs8VSl635wx4UZ/ZUzn+9yzHg9k+1LMqJcpLbhDP1bBv3U755DD63GZLYQryEn2+PhmSAVwRRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T13:14:56.486891Z"},"content_sha256":"829c8172d71d62a7277e74c513e1159c14987e14114351e8d77bbe3ffdf73ded","schema_version":"1.0","event_id":"sha256:829c8172d71d62a7277e74c513e1159c14987e14114351e8d77bbe3ffdf73ded"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:LC323GHMBHQMIZAJQ4JNZXB6GX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Checking modes of HAL programs","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Bart Demoen, Kim Marriott, Maria Garcia de la Banda, Peter J. Stuckey, Warwick Harvey","submitted_at":"2004-09-21T11:48:47Z","abstract_excerpt":"Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation of efficient target code and the detection of many errors at compile-time. Unfortunately, mode checking in such languages is difficult. One of the main reasons is that, for each predicate mode declaration, the compiler is required to appropriately re-order literals in the predicate's definition. The task is further complicated by the need to handle complex instantiations (which interact with type declarations and hi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0409038","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-18T04:41:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ox4F7C+0zOsLSkoF9rIxaP8E90FIvznm/UMyxv6tbSHf/B38xnJRMUz1qBz1O6FQ98RCZAQ4yV26380uzA5kDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T13:14:56.487234Z"},"content_sha256":"9b25caa4c6b0dead9003776dc180667f5ddabdcf3d895dc1f33edd2bbf915350","schema_version":"1.0","event_id":"sha256:9b25caa4c6b0dead9003776dc180667f5ddabdcf3d895dc1f33edd2bbf915350"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/bundle.json","state_url":"https://pith.science/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/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-04T13:14:56Z","links":{"resolver":"https://pith.science/pith/LC323GHMBHQMIZAJQ4JNZXB6GX","bundle":"https://pith.science/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/bundle.json","state":"https://pith.science/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LC323GHMBHQMIZAJQ4JNZXB6GX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:LC323GHMBHQMIZAJQ4JNZXB6GX","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":"52a061462dbcc3c29fdafe92bc49a3561d2cf0856cdce8131e9f3d2f284e4c45","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-09-21T11:48:47Z","title_canon_sha256":"b8429bb10c5d8b65faa67156d426a6190967ea6f47766a6b67ed09616147b745"},"schema_version":"1.0","source":{"id":"cs/0409038","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0409038","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0409038v1","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0409038","created_at":"2026-05-18T04:41:26Z"},{"alias_kind":"pith_short_12","alias_value":"LC323GHMBHQM","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"LC323GHMBHQMIZAJ","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"LC323GHM","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:9b25caa4c6b0dead9003776dc180667f5ddabdcf3d895dc1f33edd2bbf915350","target":"graph","created_at":"2026-05-18T04:41:26Z","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":"Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation of efficient target code and the detection of many errors at compile-time. Unfortunately, mode checking in such languages is difficult. One of the main reasons is that, for each predicate mode declaration, the compiler is required to appropriately re-order literals in the predicate's definition. The task is further complicated by the need to handle complex instantiations (which interact with type declarations and hi","authors_text":"Bart Demoen, Kim Marriott, Maria Garcia de la Banda, Peter J. Stuckey, Warwick Harvey","cross_cats":[],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2004-09-21T11:48:47Z","title":"Checking modes of HAL programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0409038","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:829c8172d71d62a7277e74c513e1159c14987e14114351e8d77bbe3ffdf73ded","target":"record","created_at":"2026-05-18T04:41:26Z","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":"52a061462dbcc3c29fdafe92bc49a3561d2cf0856cdce8131e9f3d2f284e4c45","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-09-21T11:48:47Z","title_canon_sha256":"b8429bb10c5d8b65faa67156d426a6190967ea6f47766a6b67ed09616147b745"},"schema_version":"1.0","source":{"id":"cs/0409038","kind":"arxiv","version":1}},"canonical_sha256":"58b7ad98ec09e0c464098712dcdc3e35f49527f791d48906bfcecc578fc91f2b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58b7ad98ec09e0c464098712dcdc3e35f49527f791d48906bfcecc578fc91f2b","first_computed_at":"2026-05-18T04:41:26.410217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:26.410217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/qnFUWsGz/t9xvA3mpIpXuZyhsU31E02c3pRdS26c1U9ESzEp6KBi5cXLNdDQ/IRiUs8H9bshzhzNSUn8g6TBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:26.410795Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0409038","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:829c8172d71d62a7277e74c513e1159c14987e14114351e8d77bbe3ffdf73ded","sha256:9b25caa4c6b0dead9003776dc180667f5ddabdcf3d895dc1f33edd2bbf915350"],"state_sha256":"f0a118d0dd0e6b6c44ae2fb464ee3ae5844d4e0136bd0702d70cf1c741b86948"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SUogNYXh2EpPHvCH4BdP0jyXcUWGqMAjMTCcv0sG9gwCz3UKXT5YtwMpAMmCaCzGyEe1HIIfY2Q6gVvUWdY6CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T13:14:56.489161Z","bundle_sha256":"45fea340da752d71dd6abf5027d9c7840848784500a2773c8fc249d99869ce3c"}}