{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:GIM6XU5B5SHWIQLRISTYPAQUSV","short_pith_number":"pith:GIM6XU5B","canonical_record":{"source":{"id":"1301.7694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:26:09Z","cross_cats_sorted":[],"title_canon_sha256":"7422afb19534ff0626524f111a5bc30a7dc7759a431385987e93651aa2b61231","abstract_canon_sha256":"cd941485f226c41d3113e80534c5e34fe81c9a720583150349f6033577b0b028"},"schema_version":"1.0"},"canonical_sha256":"3219ebd3a1ec8f64417144a7878214956beed42a5cd3470780cab9a32714b02c","source":{"kind":"arxiv","id":"1301.7694","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7694","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7694v1","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7694","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"GIM6XU5B5SHW","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GIM6XU5B5SHWIQLR","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GIM6XU5B","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:GIM6XU5B5SHWIQLRISTYPAQUSV","target":"record","payload":{"canonical_record":{"source":{"id":"1301.7694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:26:09Z","cross_cats_sorted":[],"title_canon_sha256":"7422afb19534ff0626524f111a5bc30a7dc7759a431385987e93651aa2b61231","abstract_canon_sha256":"cd941485f226c41d3113e80534c5e34fe81c9a720583150349f6033577b0b028"},"schema_version":"1.0"},"canonical_sha256":"3219ebd3a1ec8f64417144a7878214956beed42a5cd3470780cab9a32714b02c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:48.904267Z","signature_b64":"3gulmi2hStjKzu8WjUL3TsiFdWBU12n/naTKsDyndzBbt4ZEviln6lYRj3JIMeGm4bVXgEOv2Y9/TkI36TO1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3219ebd3a1ec8f64417144a7878214956beed42a5cd3470780cab9a32714b02c","last_reissued_at":"2026-05-18T03:34:48.903564Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:48.903564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.7694","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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TsDqW1ctcL3w//CBuC9d6f6Xjxtkoqac8L5QNnHRCc1jdvrGM5HxI1wq1efIVUo2kSYfPH6NSXvNA7KW2iViCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:06:00.606945Z"},"content_sha256":"be5f6298e4a1549dccbf6d4ade98f4f2197937e45de2be246d9398d0ceacb9ac","schema_version":"1.0","event_id":"sha256:be5f6298e4a1549dccbf6d4ade98f4f2197937e45de2be246d9398d0ceacb9ac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:GIM6XU5B5SHWIQLRISTYPAQUSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reversible Language Extensions and their Application in Debugging","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Zo\\'e Drey","submitted_at":"2013-01-31T17:26:09Z","abstract_excerpt":"A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages. A simple yet powerful technique is based on source-to-source transformations interleaved across the compilation passes of a base language. Despite being a successful approach, it has the main drawback that the input source code is lost in the process. When considering the whole workflow of program development (warning and error reporting, debugging, or even program analysis), program translations are no more powerful than a glorified macro language."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7694","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:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HeDUnu9+zMSNIHu2iF8+MDV5p6MYHtrHo6zVBdXfbo5+Tt1RvEmthVta9KtthOjIutC7myexk8FkisTt5ztNBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:06:00.607287Z"},"content_sha256":"70fdf76037472ca81839db062a03ae8b1a1bf414988a3c3052f811a404ef6b41","schema_version":"1.0","event_id":"sha256:70fdf76037472ca81839db062a03ae8b1a1bf414988a3c3052f811a404ef6b41"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/bundle.json","state_url":"https://pith.science/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/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-03T22:06:00Z","links":{"resolver":"https://pith.science/pith/GIM6XU5B5SHWIQLRISTYPAQUSV","bundle":"https://pith.science/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/bundle.json","state":"https://pith.science/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GIM6XU5B5SHWIQLRISTYPAQUSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:GIM6XU5B5SHWIQLRISTYPAQUSV","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":"cd941485f226c41d3113e80534c5e34fe81c9a720583150349f6033577b0b028","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:26:09Z","title_canon_sha256":"7422afb19534ff0626524f111a5bc30a7dc7759a431385987e93651aa2b61231"},"schema_version":"1.0","source":{"id":"1301.7694","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.7694","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"1301.7694v1","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.7694","created_at":"2026-05-18T03:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"GIM6XU5B5SHW","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GIM6XU5B5SHWIQLR","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GIM6XU5B","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:70fdf76037472ca81839db062a03ae8b1a1bf414988a3c3052f811a404ef6b41","target":"graph","created_at":"2026-05-18T03:34:48Z","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":"A range of methodologies and techniques are available to guide the design and implementation of language extensions and domain-specific languages. A simple yet powerful technique is based on source-to-source transformations interleaved across the compilation passes of a base language. Despite being a successful approach, it has the main drawback that the input source code is lost in the process. When considering the whole workflow of program development (warning and error reporting, debugging, or even program analysis), program translations are no more powerful than a glorified macro language.","authors_text":"Jos\\'e F. Morales, Manuel V. Hermenegildo, Zo\\'e Drey","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:26:09Z","title":"Reversible Language Extensions and their Application in Debugging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.7694","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:be5f6298e4a1549dccbf6d4ade98f4f2197937e45de2be246d9398d0ceacb9ac","target":"record","created_at":"2026-05-18T03:34:48Z","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":"cd941485f226c41d3113e80534c5e34fe81c9a720583150349f6033577b0b028","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-01-31T17:26:09Z","title_canon_sha256":"7422afb19534ff0626524f111a5bc30a7dc7759a431385987e93651aa2b61231"},"schema_version":"1.0","source":{"id":"1301.7694","kind":"arxiv","version":1}},"canonical_sha256":"3219ebd3a1ec8f64417144a7878214956beed42a5cd3470780cab9a32714b02c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3219ebd3a1ec8f64417144a7878214956beed42a5cd3470780cab9a32714b02c","first_computed_at":"2026-05-18T03:34:48.903564Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:48.903564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3gulmi2hStjKzu8WjUL3TsiFdWBU12n/naTKsDyndzBbt4ZEviln6lYRj3JIMeGm4bVXgEOv2Y9/TkI36TO1Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:48.904267Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.7694","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:be5f6298e4a1549dccbf6d4ade98f4f2197937e45de2be246d9398d0ceacb9ac","sha256:70fdf76037472ca81839db062a03ae8b1a1bf414988a3c3052f811a404ef6b41"],"state_sha256":"05319b877a277aa709963b40353364f618154cf8d8105dcbbab3015ca94c9c48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xzZBdU/CNZVbCOOk/p0eBucV6TYMnHQaWjjzg+OG3OY3VjwJ1RqV4zSsh3tR6/C5b23++43rSxSYsaEGPZIQCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:06:00.609238Z","bundle_sha256":"e8b52f3a1cff60c6dcb7dba1535c1bcd6a9dd12bb22df68fc969ab658aff2a2e"}}