{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:OPR3XXG3HJ4XZUKANBNMB7HGGV","short_pith_number":"pith:OPR3XXG3","canonical_record":{"source":{"id":"1707.05848","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T20:34:36Z","cross_cats_sorted":[],"title_canon_sha256":"bb1c967072fa8892b64172373f34abeee0d8a9204d9a1972e96451ae64f08ee9","abstract_canon_sha256":"cea30df6288e88c33b1619349e51859f986ed4d9937ce94bb6e034f40f4da1e1"},"schema_version":"1.0"},"canonical_sha256":"73e3bbdcdb3a797cd140685ac0fce6354426654cd611ed37bc5aad3deb858821","source":{"kind":"arxiv","id":"1707.05848","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05848","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05848v2","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05848","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"pith_short_12","alias_value":"OPR3XXG3HJ4X","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OPR3XXG3HJ4XZUKA","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OPR3XXG3","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:OPR3XXG3HJ4XZUKANBNMB7HGGV","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05848","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T20:34:36Z","cross_cats_sorted":[],"title_canon_sha256":"bb1c967072fa8892b64172373f34abeee0d8a9204d9a1972e96451ae64f08ee9","abstract_canon_sha256":"cea30df6288e88c33b1619349e51859f986ed4d9937ce94bb6e034f40f4da1e1"},"schema_version":"1.0"},"canonical_sha256":"73e3bbdcdb3a797cd140685ac0fce6354426654cd611ed37bc5aad3deb858821","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:28.775015Z","signature_b64":"Gn2+mowBIwGn+S1eFT1ZfNbUqgSqiPwAfd9QJqedNH6gYGxzZwRdogMSRw5Ti2aSS0ny48rZD+bAG2MEWWCtDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73e3bbdcdb3a797cd140685ac0fce6354426654cd611ed37bc5aad3deb858821","last_reissued_at":"2026-05-18T00:31:28.774144Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:28.774144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05848","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-18T00:31:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UdXm1hlE+qLug4YtieABPs45Gl51tHZYpP6fqjiwrXiqKXbfCiJdjhM0MNtLtm8cPsMl6ljnjp6HM28NMG+gDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:13:04.006129Z"},"content_sha256":"583eb60d04e708c0b3e7a324c0d7a0d123f69fd5b1e522ad116bdc706e913f19","schema_version":"1.0","event_id":"sha256:583eb60d04e708c0b3e7a324c0d7a0d123f69fd5b1e522ad116bdc706e913f19"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:OPR3XXG3HJ4XZUKANBNMB7HGGV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Program Completionin the Input Language of GRINGO","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amelia Harrison, Dhananjay Raju, Vladimir Lifschitz","submitted_at":"2017-07-18T20:34:36Z","abstract_excerpt":"We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the \"reverse engineering\" process of generating a set of conditions that could serve as a specification for it. Accordingly, it may be useful to define completion for a large class of ASP programs and to automate the process of generating and simplifying completion formulas. Examining the output produced by this kind of software may help programmers to see more clearly what their program does, and to what degree its behavior conforms with their expectations. As a step toward this goal, we p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05848","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-18T00:31:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9R0iTuJH0GAiX5rMH5Hfng/MKQnYZbhCzf+owcEiXFUwgonaXc2uwrJ4CoWdZMUW2aajQI6CUD6b+WaOkyIOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:13:04.006796Z"},"content_sha256":"25196d96d48aa493fd91bc25a381e438c008a7cffc59e2cf180eedd1547a9d27","schema_version":"1.0","event_id":"sha256:25196d96d48aa493fd91bc25a381e438c008a7cffc59e2cf180eedd1547a9d27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/bundle.json","state_url":"https://pith.science/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/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-03T13:13:04Z","links":{"resolver":"https://pith.science/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV","bundle":"https://pith.science/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/bundle.json","state":"https://pith.science/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OPR3XXG3HJ4XZUKANBNMB7HGGV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OPR3XXG3HJ4XZUKANBNMB7HGGV","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":"cea30df6288e88c33b1619349e51859f986ed4d9937ce94bb6e034f40f4da1e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T20:34:36Z","title_canon_sha256":"bb1c967072fa8892b64172373f34abeee0d8a9204d9a1972e96451ae64f08ee9"},"schema_version":"1.0","source":{"id":"1707.05848","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05848","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05848v2","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05848","created_at":"2026-05-18T00:31:28Z"},{"alias_kind":"pith_short_12","alias_value":"OPR3XXG3HJ4X","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OPR3XXG3HJ4XZUKA","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OPR3XXG3","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:25196d96d48aa493fd91bc25a381e438c008a7cffc59e2cf180eedd1547a9d27","target":"graph","created_at":"2026-05-18T00:31:28Z","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":"We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the \"reverse engineering\" process of generating a set of conditions that could serve as a specification for it. Accordingly, it may be useful to define completion for a large class of ASP programs and to automate the process of generating and simplifying completion formulas. Examining the output produced by this kind of software may help programmers to see more clearly what their program does, and to what degree its behavior conforms with their expectations. As a step toward this goal, we p","authors_text":"Amelia Harrison, Dhananjay Raju, Vladimir Lifschitz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T20:34:36Z","title":"Program Completionin the Input Language of GRINGO"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05848","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:583eb60d04e708c0b3e7a324c0d7a0d123f69fd5b1e522ad116bdc706e913f19","target":"record","created_at":"2026-05-18T00:31:28Z","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":"cea30df6288e88c33b1619349e51859f986ed4d9937ce94bb6e034f40f4da1e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-18T20:34:36Z","title_canon_sha256":"bb1c967072fa8892b64172373f34abeee0d8a9204d9a1972e96451ae64f08ee9"},"schema_version":"1.0","source":{"id":"1707.05848","kind":"arxiv","version":2}},"canonical_sha256":"73e3bbdcdb3a797cd140685ac0fce6354426654cd611ed37bc5aad3deb858821","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73e3bbdcdb3a797cd140685ac0fce6354426654cd611ed37bc5aad3deb858821","first_computed_at":"2026-05-18T00:31:28.774144Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:28.774144Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gn2+mowBIwGn+S1eFT1ZfNbUqgSqiPwAfd9QJqedNH6gYGxzZwRdogMSRw5Ti2aSS0ny48rZD+bAG2MEWWCtDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:28.775015Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05848","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:583eb60d04e708c0b3e7a324c0d7a0d123f69fd5b1e522ad116bdc706e913f19","sha256:25196d96d48aa493fd91bc25a381e438c008a7cffc59e2cf180eedd1547a9d27"],"state_sha256":"6f709d5d8a08011967cf75f73c4c95addf8c5c3c600a562d433bc94d7b891744"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aBeW+XN/Ln1opnyqG/AxI/N8Rou4Mal2pxRDORgJD9KKSvWlFAPywqZyz8x3EF07IqGFS+cVS51HmnW/ge05DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T13:13:04.011047Z","bundle_sha256":"229cd16196c6cc205f47012d65aa999bf008c6d98772069fdd3db2696992ec18"}}