{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:G5PFWRBDSQBU4YIBW3RJYJPVJF","short_pith_number":"pith:G5PFWRBD","canonical_record":{"source":{"id":"1809.05730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-09-15T15:30:39Z","cross_cats_sorted":[],"title_canon_sha256":"56bfaef077bdea892ad9be37696c6580380598b71722fb32f5f7914d2edd79dc","abstract_canon_sha256":"391216653fbfde3c3d8760c2322368197105b9c883dd359a184dec088feff5f6"},"schema_version":"1.0"},"canonical_sha256":"375e5b442394034e6101b6e29c25f549794861111096fbcef9c8b56f2426974b","source":{"kind":"arxiv","id":"1809.05730","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.05730","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"1809.05730v1","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.05730","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"G5PFWRBDSQBU","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"G5PFWRBDSQBU4YIB","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"G5PFWRBD","created_at":"2026-05-18T12:32:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:G5PFWRBDSQBU4YIBW3RJYJPVJF","target":"record","payload":{"canonical_record":{"source":{"id":"1809.05730","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-09-15T15:30:39Z","cross_cats_sorted":[],"title_canon_sha256":"56bfaef077bdea892ad9be37696c6580380598b71722fb32f5f7914d2edd79dc","abstract_canon_sha256":"391216653fbfde3c3d8760c2322368197105b9c883dd359a184dec088feff5f6"},"schema_version":"1.0"},"canonical_sha256":"375e5b442394034e6101b6e29c25f549794861111096fbcef9c8b56f2426974b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:36.703122Z","signature_b64":"aOVFVZ2UPPNhnIvzZ/yqc1iup7u9PKFhk9KKzd+6EimMr31PCp/Sd4TM3HC6hSN8SGF2HvQyhvU9SKU+68Z7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"375e5b442394034e6101b6e29c25f549794861111096fbcef9c8b56f2426974b","last_reissued_at":"2026-05-18T00:05:36.702704Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:36.702704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.05730","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-18T00:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"10LvXUzy1ZuScHOE4oTAxLm1n4xSP5JaSsmyC/qDy81NNqNzc9GzV5Xeq0Dj7F/ZWX0QoCtisizRWkUoRPHrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:44:52.611855Z"},"content_sha256":"2766a7202e4e8f27226958ccb2119dd66f8828edb79690f2269fd249c0edc1f8","schema_version":"1.0","event_id":"sha256:2766a7202e4e8f27226958ccb2119dd66f8828edb79690f2269fd249c0edc1f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:G5PFWRBDSQBU4YIBW3RJYJPVJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"XML Navigation and Transformation by Tree-Walking Automata and Transducers with Visible and Invisible Pebbles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Bart Samwel, Hendrik Jan Hoogeboom, Joost Engelfriet","submitted_at":"2018-09-15T15:30:39Z","abstract_excerpt":"The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of \"invisible\" pebbles (as opposed to the usual \"visible\" ones). The resulting pebble tree automata recognize the regular tree languages (i.e., can validate all generalized DTD's) and hence can find all matches of MSO definable patterns. Moreover, when viewed as a navigational device, they lead to an XPath-like formalism that has a path expression for every MSO definable binary pattern. The resulting pebble tree transducers can apply arbitrary MSO definable tests to (the observabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.05730","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-18T00:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"83rB/n+9zpc2VdA27ssR4ysK5tnYhfGNIv9AyYk2BqjhSLuGnxScKVmEiBfJTodh/AfxeHbupeMvSq+AwMATCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:44:52.612524Z"},"content_sha256":"951daa519acc9067efb185fffaeddf634a38e9c947ed16aa5c2e50b0495bcd9a","schema_version":"1.0","event_id":"sha256:951daa519acc9067efb185fffaeddf634a38e9c947ed16aa5c2e50b0495bcd9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/bundle.json","state_url":"https://pith.science/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/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-05T19:44:52Z","links":{"resolver":"https://pith.science/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF","bundle":"https://pith.science/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/bundle.json","state":"https://pith.science/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G5PFWRBDSQBU4YIBW3RJYJPVJF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:G5PFWRBDSQBU4YIBW3RJYJPVJF","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":"391216653fbfde3c3d8760c2322368197105b9c883dd359a184dec088feff5f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-09-15T15:30:39Z","title_canon_sha256":"56bfaef077bdea892ad9be37696c6580380598b71722fb32f5f7914d2edd79dc"},"schema_version":"1.0","source":{"id":"1809.05730","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.05730","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"1809.05730v1","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.05730","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"G5PFWRBDSQBU","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"G5PFWRBDSQBU4YIB","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"G5PFWRBD","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:951daa519acc9067efb185fffaeddf634a38e9c947ed16aa5c2e50b0495bcd9a","target":"graph","created_at":"2026-05-18T00:05:36Z","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":"The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of \"invisible\" pebbles (as opposed to the usual \"visible\" ones). The resulting pebble tree automata recognize the regular tree languages (i.e., can validate all generalized DTD's) and hence can find all matches of MSO definable patterns. Moreover, when viewed as a navigational device, they lead to an XPath-like formalism that has a path expression for every MSO definable binary pattern. The resulting pebble tree transducers can apply arbitrary MSO definable tests to (the observabl","authors_text":"Bart Samwel, Hendrik Jan Hoogeboom, Joost Engelfriet","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-09-15T15:30:39Z","title":"XML Navigation and Transformation by Tree-Walking Automata and Transducers with Visible and Invisible Pebbles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.05730","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:2766a7202e4e8f27226958ccb2119dd66f8828edb79690f2269fd249c0edc1f8","target":"record","created_at":"2026-05-18T00:05:36Z","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":"391216653fbfde3c3d8760c2322368197105b9c883dd359a184dec088feff5f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-09-15T15:30:39Z","title_canon_sha256":"56bfaef077bdea892ad9be37696c6580380598b71722fb32f5f7914d2edd79dc"},"schema_version":"1.0","source":{"id":"1809.05730","kind":"arxiv","version":1}},"canonical_sha256":"375e5b442394034e6101b6e29c25f549794861111096fbcef9c8b56f2426974b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"375e5b442394034e6101b6e29c25f549794861111096fbcef9c8b56f2426974b","first_computed_at":"2026-05-18T00:05:36.702704Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:36.702704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aOVFVZ2UPPNhnIvzZ/yqc1iup7u9PKFhk9KKzd+6EimMr31PCp/Sd4TM3HC6hSN8SGF2HvQyhvU9SKU+68Z7Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:36.703122Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.05730","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2766a7202e4e8f27226958ccb2119dd66f8828edb79690f2269fd249c0edc1f8","sha256:951daa519acc9067efb185fffaeddf634a38e9c947ed16aa5c2e50b0495bcd9a"],"state_sha256":"2bb423b824ce340bef8cf2b0e997f8485542aeaaa2261c140b4e9dbcff70f7b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sdgKKeFWufoQNmmXI+rqUUNiNHyitwYnA2h3TH+ytxmO16Vw8Xq2Bc4RPROwMmS1PXRd+J7lUleciXooDNWGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T19:44:52.616911Z","bundle_sha256":"464fa4cd7588154eaabec3f0cdf44740f5660d89618468a5500dbcce67d5579c"}}