{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XQBN3U2HNLML2JHYE3VY64UJV3","short_pith_number":"pith:XQBN3U2H","canonical_record":{"source":{"id":"1201.6057","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-29T16:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"e2f02d2dd74a9a8e2bfcf4c5f20e2e3b1a74a1176a8c0c3ff05e2b63e81b948c","abstract_canon_sha256":"8e6522664b333b1513cfd5a683048aafe921f700449c1bdca19439e3add07896"},"schema_version":"1.0"},"canonical_sha256":"bc02ddd3476ad8bd24f826eb8f7289aec99791ee647d0def5beaae063716e93a","source":{"kind":"arxiv","id":"1201.6057","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.6057","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"arxiv_version","alias_value":"1201.6057v1","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.6057","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"pith_short_12","alias_value":"XQBN3U2HNLML","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XQBN3U2HNLML2JHY","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XQBN3U2H","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XQBN3U2HNLML2JHYE3VY64UJV3","target":"record","payload":{"canonical_record":{"source":{"id":"1201.6057","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-29T16:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"e2f02d2dd74a9a8e2bfcf4c5f20e2e3b1a74a1176a8c0c3ff05e2b63e81b948c","abstract_canon_sha256":"8e6522664b333b1513cfd5a683048aafe921f700449c1bdca19439e3add07896"},"schema_version":"1.0"},"canonical_sha256":"bc02ddd3476ad8bd24f826eb8f7289aec99791ee647d0def5beaae063716e93a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:03:33.807946Z","signature_b64":"rOsp1wvJuGI/foMIqfaBU0DgcZJdNPSLT6Wg810wf1C0d38sig6XU6vPWDtYhyLQSnxbu2T8ru176XzDxgf4CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc02ddd3476ad8bd24f826eb8f7289aec99791ee647d0def5beaae063716e93a","last_reissued_at":"2026-05-18T04:03:33.807207Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:03:33.807207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.6057","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:03:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zTnViIBUBxOcxvF1oCv0BHlfA+6FtPksKbibnt8Aj3vyVANZeFaWZHTnuHERkAAOeOV3+sT0+ZJ8VqydghM+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:54:24.509982Z"},"content_sha256":"22ed75d44b749f38f69ea3eca2ca1589873b903154663e8ded80992d314ac813","schema_version":"1.0","event_id":"sha256:22ed75d44b749f38f69ea3eca2ca1589873b903154663e8ded80992d314ac813"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XQBN3U2HNLML2JHYE3VY64UJV3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Programming errors in traversal programs over structured data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Markus Kaiser, Ralf Laemmel, Simon Thompson","submitted_at":"2012-01-29T16:50:15Z","abstract_excerpt":"Traversal strategies \\'a la Stratego (also \\'a la Strafunski and  'Scrap Your Boilerplate') provide an exceptionally versatile and  uniform means of querying and transforming deeply nested and  heterogeneously structured data including terms in functional   programming and rewriting, objects in OO programming, and XML  documents in XML programming.   However, the resulting traversal programs are prone to programming   errors. We are specifically concerned with errors that go beyond   conservative type errors; examples we examine include divergent   traversals, prematurely terminated traversals"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.6057","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:03:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nIj41zVjg2CWAqEfxSGSGU2v8X+Xq6makuSU/pxjeQAv8fW9OJD8uaLAbsz6WjDjQTBiO6Enz5a86Pz02HE/Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T04:54:24.510342Z"},"content_sha256":"f8c726926d96ce6e2981e386c4c90a56b8dd9fd5f62ced5270fd61f9d54faa62","schema_version":"1.0","event_id":"sha256:f8c726926d96ce6e2981e386c4c90a56b8dd9fd5f62ced5270fd61f9d54faa62"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQBN3U2HNLML2JHYE3VY64UJV3/bundle.json","state_url":"https://pith.science/pith/XQBN3U2HNLML2JHYE3VY64UJV3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQBN3U2HNLML2JHYE3VY64UJV3/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-03T04:54:24Z","links":{"resolver":"https://pith.science/pith/XQBN3U2HNLML2JHYE3VY64UJV3","bundle":"https://pith.science/pith/XQBN3U2HNLML2JHYE3VY64UJV3/bundle.json","state":"https://pith.science/pith/XQBN3U2HNLML2JHYE3VY64UJV3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQBN3U2HNLML2JHYE3VY64UJV3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XQBN3U2HNLML2JHYE3VY64UJV3","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":"8e6522664b333b1513cfd5a683048aafe921f700449c1bdca19439e3add07896","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-29T16:50:15Z","title_canon_sha256":"e2f02d2dd74a9a8e2bfcf4c5f20e2e3b1a74a1176a8c0c3ff05e2b63e81b948c"},"schema_version":"1.0","source":{"id":"1201.6057","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.6057","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"arxiv_version","alias_value":"1201.6057v1","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.6057","created_at":"2026-05-18T04:03:33Z"},{"alias_kind":"pith_short_12","alias_value":"XQBN3U2HNLML","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XQBN3U2HNLML2JHY","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XQBN3U2H","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:f8c726926d96ce6e2981e386c4c90a56b8dd9fd5f62ced5270fd61f9d54faa62","target":"graph","created_at":"2026-05-18T04:03:33Z","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":"Traversal strategies \\'a la Stratego (also \\'a la Strafunski and  'Scrap Your Boilerplate') provide an exceptionally versatile and  uniform means of querying and transforming deeply nested and  heterogeneously structured data including terms in functional   programming and rewriting, objects in OO programming, and XML  documents in XML programming.   However, the resulting traversal programs are prone to programming   errors. We are specifically concerned with errors that go beyond   conservative type errors; examples we examine include divergent   traversals, prematurely terminated traversals","authors_text":"Markus Kaiser, Ralf Laemmel, Simon Thompson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-29T16:50:15Z","title":"Programming errors in traversal programs over structured data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.6057","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:22ed75d44b749f38f69ea3eca2ca1589873b903154663e8ded80992d314ac813","target":"record","created_at":"2026-05-18T04:03:33Z","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":"8e6522664b333b1513cfd5a683048aafe921f700449c1bdca19439e3add07896","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-29T16:50:15Z","title_canon_sha256":"e2f02d2dd74a9a8e2bfcf4c5f20e2e3b1a74a1176a8c0c3ff05e2b63e81b948c"},"schema_version":"1.0","source":{"id":"1201.6057","kind":"arxiv","version":1}},"canonical_sha256":"bc02ddd3476ad8bd24f826eb8f7289aec99791ee647d0def5beaae063716e93a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc02ddd3476ad8bd24f826eb8f7289aec99791ee647d0def5beaae063716e93a","first_computed_at":"2026-05-18T04:03:33.807207Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:03:33.807207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rOsp1wvJuGI/foMIqfaBU0DgcZJdNPSLT6Wg810wf1C0d38sig6XU6vPWDtYhyLQSnxbu2T8ru176XzDxgf4CA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:03:33.807946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.6057","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22ed75d44b749f38f69ea3eca2ca1589873b903154663e8ded80992d314ac813","sha256:f8c726926d96ce6e2981e386c4c90a56b8dd9fd5f62ced5270fd61f9d54faa62"],"state_sha256":"f38af30f95c7e702540460fc66c214c0b42fbcc0b5a9abe1aa3bdd8df5ff9213"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qGGqU3j6xdupjhnI8MJ7o34efbDpGuHbyK7w4cwT5qxjC7asQcc8z9N5nvBFlmTM4U5fRSQ0P3ikd8I8wOxPBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T04:54:24.512251Z","bundle_sha256":"9902375e074f18d1356e0bb833cd2cedf90149673591451f36c0036ece6ca7fb"}}