{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:GNR3GDINEQI3NN4HXZXLNHKAWE","short_pith_number":"pith:GNR3GDIN","canonical_record":{"source":{"id":"1212.3501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-12-14T15:28:45Z","cross_cats_sorted":[],"title_canon_sha256":"0e7ce403efe78a331989cd757a8c53bbf7877f06c9ad9a96af07d5a37b280320","abstract_canon_sha256":"458f347e691fc2181b1dcfb9de8ea703339563c34e83a3513e49a39026bbf8af"},"schema_version":"1.0"},"canonical_sha256":"3363b30d0d2411b6b787be6eb69d40b12a38576c78486a0b400ad2b60aabed8d","source":{"kind":"arxiv","id":"1212.3501","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3501","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3501v1","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3501","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"GNR3GDINEQI3","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GNR3GDINEQI3NN4H","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GNR3GDIN","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:GNR3GDINEQI3NN4HXZXLNHKAWE","target":"record","payload":{"canonical_record":{"source":{"id":"1212.3501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-12-14T15:28:45Z","cross_cats_sorted":[],"title_canon_sha256":"0e7ce403efe78a331989cd757a8c53bbf7877f06c9ad9a96af07d5a37b280320","abstract_canon_sha256":"458f347e691fc2181b1dcfb9de8ea703339563c34e83a3513e49a39026bbf8af"},"schema_version":"1.0"},"canonical_sha256":"3363b30d0d2411b6b787be6eb69d40b12a38576c78486a0b400ad2b60aabed8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:24.461760Z","signature_b64":"CykhzEpl0EV8vMsLLgGYS3W+zWqdgZyKzK1UNIrUvqP8ZdURdqqIiZkgJVwB9/bTdV4ggIjbYJohaNHgIr/HCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3363b30d0d2411b6b787be6eb69d40b12a38576c78486a0b400ad2b60aabed8d","last_reissued_at":"2026-05-18T03:38:24.461121Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:24.461121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.3501","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-18T03:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jgkwv+zOZxwPJluBRssiu+bJxp3hNpRwhqpJERtXoDEt8SX92T31BbAdpH76nghkgApEkC7JYDCsvidI3FbXAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:33:46.336372Z"},"content_sha256":"3fc0ea7e3f6c79cba5437db35db172dcaec187f7220360c3e5cc67406a36587d","schema_version":"1.0","event_id":"sha256:3fc0ea7e3f6c79cba5437db35db172dcaec187f7220360c3e5cc67406a36587d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:GNR3GDINEQI3NN4HXZXLNHKAWE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On optimum left-to-right strategies for active context-free games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Henrik Bj\\\"orklund, Joscha Kulbatzki, Martin Schuster, Thomas Schwentick","submitted_at":"2012-12-14T15:28:45Z","abstract_excerpt":"Active context-free games are two-player games on strings over finite alphabets with one player trying to rewrite the input string to match a target specification. These games have been investigated in the context of exchanging Active XML (AXML) data. While it was known that the rewriting problem is undecidable in general, it is shown here that it is EXPSPACE-complete to decide for a given context-free game, whether all safely rewritable strings can be safely rewritten in a left-to-right manner, a problem that was previously considered by Abiteboul et al. Furthermore, it is shown that the corr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3501","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-18T03:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KIRcOl6fCyaN7ovzRKhtzae+qgpuSR+YsXgghvY+gjNTzjEWnr4ufHbdn/7uvpDxFylIk/A1xUy/IvTIT3LjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:33:46.336828Z"},"content_sha256":"a868da7466230d44f42026a77f05a2e91fac05804f3b150ab67acc74e9f0d627","schema_version":"1.0","event_id":"sha256:a868da7466230d44f42026a77f05a2e91fac05804f3b150ab67acc74e9f0d627"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/bundle.json","state_url":"https://pith.science/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/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-03T07:33:46Z","links":{"resolver":"https://pith.science/pith/GNR3GDINEQI3NN4HXZXLNHKAWE","bundle":"https://pith.science/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/bundle.json","state":"https://pith.science/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GNR3GDINEQI3NN4HXZXLNHKAWE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:GNR3GDINEQI3NN4HXZXLNHKAWE","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":"458f347e691fc2181b1dcfb9de8ea703339563c34e83a3513e49a39026bbf8af","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-12-14T15:28:45Z","title_canon_sha256":"0e7ce403efe78a331989cd757a8c53bbf7877f06c9ad9a96af07d5a37b280320"},"schema_version":"1.0","source":{"id":"1212.3501","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3501","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3501v1","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3501","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"GNR3GDINEQI3","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GNR3GDINEQI3NN4H","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GNR3GDIN","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:a868da7466230d44f42026a77f05a2e91fac05804f3b150ab67acc74e9f0d627","target":"graph","created_at":"2026-05-18T03:38:24Z","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":"Active context-free games are two-player games on strings over finite alphabets with one player trying to rewrite the input string to match a target specification. These games have been investigated in the context of exchanging Active XML (AXML) data. While it was known that the rewriting problem is undecidable in general, it is shown here that it is EXPSPACE-complete to decide for a given context-free game, whether all safely rewritable strings can be safely rewritten in a left-to-right manner, a problem that was previously considered by Abiteboul et al. Furthermore, it is shown that the corr","authors_text":"Henrik Bj\\\"orklund, Joscha Kulbatzki, Martin Schuster, Thomas Schwentick","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-12-14T15:28:45Z","title":"On optimum left-to-right strategies for active context-free games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3501","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:3fc0ea7e3f6c79cba5437db35db172dcaec187f7220360c3e5cc67406a36587d","target":"record","created_at":"2026-05-18T03:38:24Z","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":"458f347e691fc2181b1dcfb9de8ea703339563c34e83a3513e49a39026bbf8af","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-12-14T15:28:45Z","title_canon_sha256":"0e7ce403efe78a331989cd757a8c53bbf7877f06c9ad9a96af07d5a37b280320"},"schema_version":"1.0","source":{"id":"1212.3501","kind":"arxiv","version":1}},"canonical_sha256":"3363b30d0d2411b6b787be6eb69d40b12a38576c78486a0b400ad2b60aabed8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3363b30d0d2411b6b787be6eb69d40b12a38576c78486a0b400ad2b60aabed8d","first_computed_at":"2026-05-18T03:38:24.461121Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:24.461121Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CykhzEpl0EV8vMsLLgGYS3W+zWqdgZyKzK1UNIrUvqP8ZdURdqqIiZkgJVwB9/bTdV4ggIjbYJohaNHgIr/HCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:24.461760Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.3501","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3fc0ea7e3f6c79cba5437db35db172dcaec187f7220360c3e5cc67406a36587d","sha256:a868da7466230d44f42026a77f05a2e91fac05804f3b150ab67acc74e9f0d627"],"state_sha256":"4010a8b1584a079c1a35ef92f2beb169cbe56231648f4f75b28306aa15177586"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jIgpERSuKNlAZw6/JgSqmqP0ukIcVcKsZh4HayqjwAoHbx/XYrhzhBpIELya+5CKxLIwnmppHzQcs/0lLUdhDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:33:46.338849Z","bundle_sha256":"738a9719ea179706fd6a7964c463e4b39ba7d367591a664c2137da83b0bf3fd5"}}