{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IU4447AKLNPI65CCNWQHFVAKWY","short_pith_number":"pith:IU4447AK","canonical_record":{"source":{"id":"2607.29247","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T10:20:08Z","cross_cats_sorted":[],"title_canon_sha256":"0fa3cdb36166d680875df4d99b52a4b8b9ec780e801b632c1300c8f9aeb69d57","abstract_canon_sha256":"b2cdbde9a902762a9d6001eaf3b3be2fcfd7e32e76d2b1841f98ce6fbd467ad0"},"schema_version":"1.0"},"canonical_sha256":"4539ce7c0a5b5e8f74426da072d40ab62678a0a3345bc5812a5246d45e066f64","source":{"kind":"arxiv","id":"2607.29247","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.29247","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"arxiv_version","alias_value":"2607.29247v1","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.29247","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_12","alias_value":"IU4447AKLNPI","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_16","alias_value":"IU4447AKLNPI65CC","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_8","alias_value":"IU4447AK","created_at":"2026-08-03T01:22:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IU4447AKLNPI65CCNWQHFVAKWY","target":"record","payload":{"canonical_record":{"source":{"id":"2607.29247","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T10:20:08Z","cross_cats_sorted":[],"title_canon_sha256":"0fa3cdb36166d680875df4d99b52a4b8b9ec780e801b632c1300c8f9aeb69d57","abstract_canon_sha256":"b2cdbde9a902762a9d6001eaf3b3be2fcfd7e32e76d2b1841f98ce6fbd467ad0"},"schema_version":"1.0"},"canonical_sha256":"4539ce7c0a5b5e8f74426da072d40ab62678a0a3345bc5812a5246d45e066f64","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-03T01:22:26.760460Z","signature_b64":"E0FJOmL8Y4eab3sdZLZrQY7Do0LcKI3NcUdH39ee6ynKy+nOmG/yM6r9CPrLX38tACxAfDsdkHIUppHDF0i+CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4539ce7c0a5b5e8f74426da072d40ab62678a0a3345bc5812a5246d45e066f64","last_reissued_at":"2026-08-03T01:22:26.758811Z","signature_status":"signed_v1","first_computed_at":"2026-08-03T01:22:26.758811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.29247","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-08-03T01:22:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/+7SjhplFFXBHZxBTvEKGuG01qnriHnUunreeswHF/w/L4QIZaqKjlK2vEBr8vk2bIXhebf0tceZZrRRoxuKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:59:32.722008Z"},"content_sha256":"91af03300f1ac23ed3016cf897d89d83a398c666adaef14155eda2cbec98cde1","schema_version":"1.0","event_id":"sha256:91af03300f1ac23ed3016cf897d89d83a398c666adaef14155eda2cbec98cde1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IU4447AKLNPI65CCNWQHFVAKWY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Metamorphic Testing of Transpilers via Mutation Consistency of Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Enea Raffaele Ilario Papaleo, Giovanni Denaro, Luca Guglielmo","submitted_at":"2026-07-31T10:20:08Z","abstract_excerpt":"Transpilers are increasingly used for software development, especially in industrial domains that rely on domain-specific languages (DSLs), to allow engineers to work with familiar concepts and appropriate abstractions. Ensuring the correctness of these instruments is therefore critical in many industrial settings. This paper observes that existing approaches for compiler testing hardly generalize to transpilers. Differential testing approaches are hindered as multiple equivalent implementations of the transpiler under test are seldom available in practice. The approaches based on metamorphic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.29247","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.29247/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-08-03T01:22:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o8WoHiAqmLfw1Bs4Morj36VpxbMDWXQh7HLMcC8jjlU2dIwbFkEkH5bWG2fvhc2nXAcJZLbrmQ1VFRlGa8MPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:59:32.722520Z"},"content_sha256":"38e2cd2762185bbe349a76d8ca1fc999325750c372dd520549ff1bfc10516b74","schema_version":"1.0","event_id":"sha256:38e2cd2762185bbe349a76d8ca1fc999325750c372dd520549ff1bfc10516b74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IU4447AKLNPI65CCNWQHFVAKWY/bundle.json","state_url":"https://pith.science/pith/IU4447AKLNPI65CCNWQHFVAKWY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IU4447AKLNPI65CCNWQHFVAKWY/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-08-04T11:59:32Z","links":{"resolver":"https://pith.science/pith/IU4447AKLNPI65CCNWQHFVAKWY","bundle":"https://pith.science/pith/IU4447AKLNPI65CCNWQHFVAKWY/bundle.json","state":"https://pith.science/pith/IU4447AKLNPI65CCNWQHFVAKWY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IU4447AKLNPI65CCNWQHFVAKWY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IU4447AKLNPI65CCNWQHFVAKWY","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":"b2cdbde9a902762a9d6001eaf3b3be2fcfd7e32e76d2b1841f98ce6fbd467ad0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T10:20:08Z","title_canon_sha256":"0fa3cdb36166d680875df4d99b52a4b8b9ec780e801b632c1300c8f9aeb69d57"},"schema_version":"1.0","source":{"id":"2607.29247","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.29247","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"arxiv_version","alias_value":"2607.29247v1","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.29247","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_12","alias_value":"IU4447AKLNPI","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_16","alias_value":"IU4447AKLNPI65CC","created_at":"2026-08-03T01:22:26Z"},{"alias_kind":"pith_short_8","alias_value":"IU4447AK","created_at":"2026-08-03T01:22:26Z"}],"graph_snapshots":[{"event_id":"sha256:38e2cd2762185bbe349a76d8ca1fc999325750c372dd520549ff1bfc10516b74","target":"graph","created_at":"2026-08-03T01:22:26Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.29247/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Transpilers are increasingly used for software development, especially in industrial domains that rely on domain-specific languages (DSLs), to allow engineers to work with familiar concepts and appropriate abstractions. Ensuring the correctness of these instruments is therefore critical in many industrial settings. This paper observes that existing approaches for compiler testing hardly generalize to transpilers. Differential testing approaches are hindered as multiple equivalent implementations of the transpiler under test are seldom available in practice. The approaches based on metamorphic ","authors_text":"Enea Raffaele Ilario Papaleo, Giovanni Denaro, Luca Guglielmo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T10:20:08Z","title":"Metamorphic Testing of Transpilers via Mutation Consistency of Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.29247","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:91af03300f1ac23ed3016cf897d89d83a398c666adaef14155eda2cbec98cde1","target":"record","created_at":"2026-08-03T01:22:26Z","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":"b2cdbde9a902762a9d6001eaf3b3be2fcfd7e32e76d2b1841f98ce6fbd467ad0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-31T10:20:08Z","title_canon_sha256":"0fa3cdb36166d680875df4d99b52a4b8b9ec780e801b632c1300c8f9aeb69d57"},"schema_version":"1.0","source":{"id":"2607.29247","kind":"arxiv","version":1}},"canonical_sha256":"4539ce7c0a5b5e8f74426da072d40ab62678a0a3345bc5812a5246d45e066f64","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4539ce7c0a5b5e8f74426da072d40ab62678a0a3345bc5812a5246d45e066f64","first_computed_at":"2026-08-03T01:22:26.758811Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-03T01:22:26.758811Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E0FJOmL8Y4eab3sdZLZrQY7Do0LcKI3NcUdH39ee6ynKy+nOmG/yM6r9CPrLX38tACxAfDsdkHIUppHDF0i+CA==","signature_status":"signed_v1","signed_at":"2026-08-03T01:22:26.760460Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.29247","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91af03300f1ac23ed3016cf897d89d83a398c666adaef14155eda2cbec98cde1","sha256:38e2cd2762185bbe349a76d8ca1fc999325750c372dd520549ff1bfc10516b74"],"state_sha256":"15ea637a6317e9fc47b4cd630388b3293291630b0df9af8bc528232124f89d83"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eL1yZVY7FLEq5aUIgzXibx9PdxsVXBT56r9ZIYy2v5uIvx36uxpeQIsZL0MBA4r8O5rUxPrGkHczhhvQ6jakAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:59:32.726195Z","bundle_sha256":"2d58351ae36c7a04ba7e1b61d6f46674c5165cde2347946233a4d54d64515c92"}}