{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:OCQLOJUPGECVFWSB3SQKJ2SEMW","short_pith_number":"pith:OCQLOJUP","canonical_record":{"source":{"id":"1011.5640","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-25T15:11:42Z","cross_cats_sorted":[],"title_canon_sha256":"4924480bb983019449c75c70b431fd2a82c8e46de0b298c4fc5613933a0f05f7","abstract_canon_sha256":"cccee56eaa578300fa9d9afea71fc4e9d0b69b9a5e1f60b27f70452b68298be1"},"schema_version":"1.0"},"canonical_sha256":"70a0b7268f310552da41dca0a4ea44658e6803b09cc66ef55ed6a10abd57b8f1","source":{"kind":"arxiv","id":"1011.5640","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.5640","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"arxiv_version","alias_value":"1011.5640v1","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.5640","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"pith_short_12","alias_value":"OCQLOJUPGECV","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OCQLOJUPGECVFWSB","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OCQLOJUP","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:OCQLOJUPGECVFWSB3SQKJ2SEMW","target":"record","payload":{"canonical_record":{"source":{"id":"1011.5640","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-25T15:11:42Z","cross_cats_sorted":[],"title_canon_sha256":"4924480bb983019449c75c70b431fd2a82c8e46de0b298c4fc5613933a0f05f7","abstract_canon_sha256":"cccee56eaa578300fa9d9afea71fc4e9d0b69b9a5e1f60b27f70452b68298be1"},"schema_version":"1.0"},"canonical_sha256":"70a0b7268f310552da41dca0a4ea44658e6803b09cc66ef55ed6a10abd57b8f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:34:45.447362Z","signature_b64":"vuw+tqb09JYs7Fie6MTtDmGvbbYBgw8hQ7LgSse1ZVHUNct06Ivj1CtSYrEknT7GWzeJQpY6nBKv4R/BW7lTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70a0b7268f310552da41dca0a4ea44658e6803b09cc66ef55ed6a10abd57b8f1","last_reissued_at":"2026-05-18T04:34:45.446838Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:34:45.446838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.5640","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:34:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uI734sJksDWjTI/OLyj2RMwNpRjKV52V6mbv4o4bH1bpIICW3mWXdg/II7wYbcIohZp1dNCFJ7yelsahqCBlCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:53:51.287758Z"},"content_sha256":"d73b531c76060ab3570f84b60f23b04432866fabb287fb471de7e1f29a17e636","schema_version":"1.0","event_id":"sha256:d73b531c76060ab3570f84b60f23b04432866fabb287fb471de7e1f29a17e636"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:OCQLOJUPGECVFWSB3SQKJ2SEMW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SICStus Prolog -- the first 25 years","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Mats Carlsson, Per Mildner","submitted_at":"2010-11-25T15:11:42Z","abstract_excerpt":"SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort. We reflect on the impact of this effort and role model implementations on our development. After summarizing the development history, we give a guided tour of the system anatomy, exposing some designs that were not published before. We give an overview of our new interactive development environment"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.5640","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:34:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4SFKhwnfm85JOqpNFgVLyiR/+VU2yVsJAtbGyx1evfCdWWHBxenSzEgw005wzJL1nFSFhMaJPdv1DioAMuAfBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:53:51.288086Z"},"content_sha256":"aa59e246f6ce7b881b942dfda5f9cf8c4ca1e537d94af4691f5ef73ee9b85869","schema_version":"1.0","event_id":"sha256:aa59e246f6ce7b881b942dfda5f9cf8c4ca1e537d94af4691f5ef73ee9b85869"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/bundle.json","state_url":"https://pith.science/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/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-02T06:53:51Z","links":{"resolver":"https://pith.science/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW","bundle":"https://pith.science/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/bundle.json","state":"https://pith.science/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCQLOJUPGECVFWSB3SQKJ2SEMW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:OCQLOJUPGECVFWSB3SQKJ2SEMW","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":"cccee56eaa578300fa9d9afea71fc4e9d0b69b9a5e1f60b27f70452b68298be1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-25T15:11:42Z","title_canon_sha256":"4924480bb983019449c75c70b431fd2a82c8e46de0b298c4fc5613933a0f05f7"},"schema_version":"1.0","source":{"id":"1011.5640","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.5640","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"arxiv_version","alias_value":"1011.5640v1","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.5640","created_at":"2026-05-18T04:34:45Z"},{"alias_kind":"pith_short_12","alias_value":"OCQLOJUPGECV","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OCQLOJUPGECVFWSB","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OCQLOJUP","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:aa59e246f6ce7b881b942dfda5f9cf8c4ca1e537d94af4691f5ef73ee9b85869","target":"graph","created_at":"2026-05-18T04:34:45Z","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":"SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect camps and a fledgling standardization effort. We reflect on the impact of this effort and role model implementations on our development. After summarizing the development history, we give a guided tour of the system anatomy, exposing some designs that were not published before. We give an overview of our new interactive development environment","authors_text":"Mats Carlsson, Per Mildner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-25T15:11:42Z","title":"SICStus Prolog -- the first 25 years"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.5640","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:d73b531c76060ab3570f84b60f23b04432866fabb287fb471de7e1f29a17e636","target":"record","created_at":"2026-05-18T04:34:45Z","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":"cccee56eaa578300fa9d9afea71fc4e9d0b69b9a5e1f60b27f70452b68298be1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-11-25T15:11:42Z","title_canon_sha256":"4924480bb983019449c75c70b431fd2a82c8e46de0b298c4fc5613933a0f05f7"},"schema_version":"1.0","source":{"id":"1011.5640","kind":"arxiv","version":1}},"canonical_sha256":"70a0b7268f310552da41dca0a4ea44658e6803b09cc66ef55ed6a10abd57b8f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"70a0b7268f310552da41dca0a4ea44658e6803b09cc66ef55ed6a10abd57b8f1","first_computed_at":"2026-05-18T04:34:45.446838Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:34:45.446838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vuw+tqb09JYs7Fie6MTtDmGvbbYBgw8hQ7LgSse1ZVHUNct06Ivj1CtSYrEknT7GWzeJQpY6nBKv4R/BW7lTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:34:45.447362Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.5640","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d73b531c76060ab3570f84b60f23b04432866fabb287fb471de7e1f29a17e636","sha256:aa59e246f6ce7b881b942dfda5f9cf8c4ca1e537d94af4691f5ef73ee9b85869"],"state_sha256":"d88a7438ed5aa5bdcb774c6f37ad50a9f45f39ff756a2542198c909af3049791"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cJ7lL+EsslvqDJWeHKAofv4/Dn2iaH5PYHEPGHRbcllqN355zjK21SMXCmEan/GmZ1zjDPGj1tXEDjgIIy05Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:53:51.289954Z","bundle_sha256":"86e2b93a9094b4b3a78b999e4a6cd3190e9129177471da9d99b12d575a3e41e7"}}