{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:CB2VPOJIBFQFZCTFK2USROJDVE","short_pith_number":"pith:CB2VPOJI","canonical_record":{"source":{"id":"1408.0016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2014-06-27T01:00:59Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"328e186c4dc100972446d7422c3ffcb0c27dace71ab4d7140057403279f14a04","abstract_canon_sha256":"ab3bf0316817c7363e3abd4787a869ac951fa2105e065f0568dd16a04a37b86a"},"schema_version":"1.0"},"canonical_sha256":"107557b92809605c8a6556a928b923a9363d88fbba9c21bf81161a88519e768a","source":{"kind":"arxiv","id":"1408.0016","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0016","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0016v1","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0016","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"CB2VPOJIBFQF","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CB2VPOJIBFQFZCTF","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CB2VPOJI","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:CB2VPOJIBFQFZCTFK2USROJDVE","target":"record","payload":{"canonical_record":{"source":{"id":"1408.0016","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2014-06-27T01:00:59Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"328e186c4dc100972446d7422c3ffcb0c27dace71ab4d7140057403279f14a04","abstract_canon_sha256":"ab3bf0316817c7363e3abd4787a869ac951fa2105e065f0568dd16a04a37b86a"},"schema_version":"1.0"},"canonical_sha256":"107557b92809605c8a6556a928b923a9363d88fbba9c21bf81161a88519e768a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:46:04.077052Z","signature_b64":"DR28yBEDXZdfAnWAsrLOEbwNSb42ft7NGZhHBeBl8UQzOYWHepLlRzzDvVm6w6sk15XuUgIWDBd+Gsk9H45YBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"107557b92809605c8a6556a928b923a9363d88fbba9c21bf81161a88519e768a","last_reissued_at":"2026-05-18T02:46:04.076431Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:46:04.076431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.0016","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-18T02:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"48ztcAn4lq8qAOIRqhG7I6VZTa7hRl0GJw7s0knmcIGg2fJPgx280AQ5VXJfCOBksF1LWWtbHrBOI2yuxQLJDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:44:57.662458Z"},"content_sha256":"2755266415255ab33311aac54c4ad1035dd4468dd2e322357e38720e96bee64a","schema_version":"1.0","event_id":"sha256:2755266415255ab33311aac54c4ad1035dd4468dd2e322357e38720e96bee64a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:CB2VPOJIBFQFZCTFK2USROJDVE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Architecture of a Web-based Predictive Editor for Controlled Natural Language Processing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Rolf Schwitter, Stephen Guy","submitted_at":"2014-06-27T01:00:59Z","abstract_excerpt":"In this paper, we describe the architecture of a web-based predictive text editor being developed for the controlled natural language PENG$^{ASP)$. This controlled language can be used to write non-monotonic specifications that have the same expressive power as Answer Set Programs. In order to support the writing process of these specifications, the predictive text editor communicates asynchronously with the controlled natural language processor that generates lookahead categories and additional auxiliary information for the author of a specification text. The text editor can display multiple "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0016","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-18T02:46:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8hcsmhDXazCRE8tUyBqpae0uOFEahg6EqShSqsNfHLX6oEDUfPmyP6SAiL8xZRyD1cRxxOFLA3QRrniXIjTBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T15:44:57.662808Z"},"content_sha256":"61d57e1c013d7bba980dd590045733248924341592df8fcbe6b1304e3c92d1e5","schema_version":"1.0","event_id":"sha256:61d57e1c013d7bba980dd590045733248924341592df8fcbe6b1304e3c92d1e5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CB2VPOJIBFQFZCTFK2USROJDVE/bundle.json","state_url":"https://pith.science/pith/CB2VPOJIBFQFZCTFK2USROJDVE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CB2VPOJIBFQFZCTFK2USROJDVE/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-05-28T15:44:57Z","links":{"resolver":"https://pith.science/pith/CB2VPOJIBFQFZCTFK2USROJDVE","bundle":"https://pith.science/pith/CB2VPOJIBFQFZCTFK2USROJDVE/bundle.json","state":"https://pith.science/pith/CB2VPOJIBFQFZCTFK2USROJDVE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CB2VPOJIBFQFZCTFK2USROJDVE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:CB2VPOJIBFQFZCTFK2USROJDVE","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":"ab3bf0316817c7363e3abd4787a869ac951fa2105e065f0568dd16a04a37b86a","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2014-06-27T01:00:59Z","title_canon_sha256":"328e186c4dc100972446d7422c3ffcb0c27dace71ab4d7140057403279f14a04"},"schema_version":"1.0","source":{"id":"1408.0016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0016","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0016v1","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0016","created_at":"2026-05-18T02:46:04Z"},{"alias_kind":"pith_short_12","alias_value":"CB2VPOJIBFQF","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CB2VPOJIBFQFZCTF","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CB2VPOJI","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:61d57e1c013d7bba980dd590045733248924341592df8fcbe6b1304e3c92d1e5","target":"graph","created_at":"2026-05-18T02:46:04Z","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":"In this paper, we describe the architecture of a web-based predictive text editor being developed for the controlled natural language PENG$^{ASP)$. This controlled language can be used to write non-monotonic specifications that have the same expressive power as Answer Set Programs. In order to support the writing process of these specifications, the predictive text editor communicates asynchronously with the controlled natural language processor that generates lookahead categories and additional auxiliary information for the author of a specification text. The text editor can display multiple ","authors_text":"Rolf Schwitter, Stephen Guy","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2014-06-27T01:00:59Z","title":"Architecture of a Web-based Predictive Editor for Controlled Natural Language Processing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0016","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:2755266415255ab33311aac54c4ad1035dd4468dd2e322357e38720e96bee64a","target":"record","created_at":"2026-05-18T02:46:04Z","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":"ab3bf0316817c7363e3abd4787a869ac951fa2105e065f0568dd16a04a37b86a","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2014-06-27T01:00:59Z","title_canon_sha256":"328e186c4dc100972446d7422c3ffcb0c27dace71ab4d7140057403279f14a04"},"schema_version":"1.0","source":{"id":"1408.0016","kind":"arxiv","version":1}},"canonical_sha256":"107557b92809605c8a6556a928b923a9363d88fbba9c21bf81161a88519e768a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"107557b92809605c8a6556a928b923a9363d88fbba9c21bf81161a88519e768a","first_computed_at":"2026-05-18T02:46:04.076431Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:46:04.076431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DR28yBEDXZdfAnWAsrLOEbwNSb42ft7NGZhHBeBl8UQzOYWHepLlRzzDvVm6w6sk15XuUgIWDBd+Gsk9H45YBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:46:04.077052Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.0016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2755266415255ab33311aac54c4ad1035dd4468dd2e322357e38720e96bee64a","sha256:61d57e1c013d7bba980dd590045733248924341592df8fcbe6b1304e3c92d1e5"],"state_sha256":"66f5ba75a544579346e758893a552d9857f2d81236603030c927c53de27f2380"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Avy+ob6CHRTmwJFA7tlKyNdoGegARfTJ6usTUvPLr5wskSIeK82SpBEc5AnFsEfozXdcnk6A+bvGF+j61hCBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T15:44:57.664724Z","bundle_sha256":"2bd5e0902dc94f3aeca3c329f185e6575c566eec67e9f944e1be3f139ddba321"}}