{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UK2W43GCPNUUGRNBTDNLSSAF6Y","short_pith_number":"pith:UK2W43GC","canonical_record":{"source":{"id":"1607.01835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-06T22:46:53Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9e2e62b4be94252069ac6a8b0b353d4d3ebf7011a6ee5b11b5db6afa8a2df506","abstract_canon_sha256":"6c9811d351384f2c575696b137ebb86327766594f24e1705be4e2a775a2db758"},"schema_version":"1.0"},"canonical_sha256":"a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49","source":{"kind":"arxiv","id":"1607.01835","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.01835","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"1607.01835v1","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.01835","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"UK2W43GCPNUU","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UK2W43GCPNUUGRNB","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UK2W43GC","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UK2W43GCPNUUGRNBTDNLSSAF6Y","target":"record","payload":{"canonical_record":{"source":{"id":"1607.01835","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-06T22:46:53Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9e2e62b4be94252069ac6a8b0b353d4d3ebf7011a6ee5b11b5db6afa8a2df506","abstract_canon_sha256":"6c9811d351384f2c575696b137ebb86327766594f24e1705be4e2a775a2db758"},"schema_version":"1.0"},"canonical_sha256":"a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:23.163164Z","signature_b64":"FLGPEoOOHpzOyCVMfmf8GbeYXwCnKJUsNHD3SRPGnEUgj9oQo9vmYst2FerLwobWhg5fJEQ9YzchuloPOcpSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49","last_reissued_at":"2026-05-18T01:11:23.162305Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:23.162305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.01835","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-18T01:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4shmZcVuw2cYn0/NP/ZbUgg4kIh4G8mf+6dDqghc41kVYJH/0iRxKJXnrFTylCjONZuRysY1192WzIbOOrwhBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T14:39:02.348845Z"},"content_sha256":"9afa5d571c8fa0c9876ff1dfccc0e9495b104cdeec2c1a4a3aaf2a64eafb4a76","schema_version":"1.0","event_id":"sha256:9afa5d571c8fa0c9876ff1dfccc0e9495b104cdeec2c1a4a3aaf2a64eafb4a76"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UK2W43GCPNUUGRNBTDNLSSAF6Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings of the Fourth International Workshop on Verification and Program Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Alexei Lisitsa (The University of Liverpool, Andrei P. Nemytykh (Program Systems Institute of RAS, Geoff Hamilton (Dublin City University, Republic of Ireland), Russia), UK)","submitted_at":"2016-07-06T22:46:53Z","abstract_excerpt":"This volume contains the revised versions of papers presented at the Fourth International Workshop on Verification and Program Transformation (VPT 2016) on April 2, 2016 in Eindhoven, The Netherlands. The workshop is an event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016).\n  The aim of the VPT workshops is to provide a forum where people from the area of program transformation and the area of program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields. The research papers which have been rece"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.01835","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-18T01:11:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9osxrZsf0k/tpOfSjpxhPC55dMcs1qxWAfcbamAUg7wdfSY1kJqp673aRWO0Eve6b+c8AawipST6AF0X8mfwDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T14:39:02.349735Z"},"content_sha256":"a581e453285c20debb2a654f18efb7ba86ae252949145ede6c84421ad1664c46","schema_version":"1.0","event_id":"sha256:a581e453285c20debb2a654f18efb7ba86ae252949145ede6c84421ad1664c46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/bundle.json","state_url":"https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/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-05-29T14:39:02Z","links":{"resolver":"https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y","bundle":"https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/bundle.json","state":"https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UK2W43GCPNUUGRNBTDNLSSAF6Y","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":"6c9811d351384f2c575696b137ebb86327766594f24e1705be4e2a775a2db758","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-06T22:46:53Z","title_canon_sha256":"9e2e62b4be94252069ac6a8b0b353d4d3ebf7011a6ee5b11b5db6afa8a2df506"},"schema_version":"1.0","source":{"id":"1607.01835","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.01835","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"1607.01835v1","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.01835","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"UK2W43GCPNUU","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UK2W43GCPNUUGRNB","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UK2W43GC","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:a581e453285c20debb2a654f18efb7ba86ae252949145ede6c84421ad1664c46","target":"graph","created_at":"2026-05-18T01:11:23Z","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":"This volume contains the revised versions of papers presented at the Fourth International Workshop on Verification and Program Transformation (VPT 2016) on April 2, 2016 in Eindhoven, The Netherlands. The workshop is an event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016).\n  The aim of the VPT workshops is to provide a forum where people from the area of program transformation and the area of program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields. The research papers which have been rece","authors_text":"Alexei Lisitsa (The University of Liverpool, Andrei P. Nemytykh (Program Systems Institute of RAS, Geoff Hamilton (Dublin City University, Republic of Ireland), Russia), UK)","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-06T22:46:53Z","title":"Proceedings of the Fourth International Workshop on Verification and Program Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.01835","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:9afa5d571c8fa0c9876ff1dfccc0e9495b104cdeec2c1a4a3aaf2a64eafb4a76","target":"record","created_at":"2026-05-18T01:11:23Z","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":"6c9811d351384f2c575696b137ebb86327766594f24e1705be4e2a775a2db758","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-06T22:46:53Z","title_canon_sha256":"9e2e62b4be94252069ac6a8b0b353d4d3ebf7011a6ee5b11b5db6afa8a2df506"},"schema_version":"1.0","source":{"id":"1607.01835","kind":"arxiv","version":1}},"canonical_sha256":"a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49","first_computed_at":"2026-05-18T01:11:23.162305Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:23.162305Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FLGPEoOOHpzOyCVMfmf8GbeYXwCnKJUsNHD3SRPGnEUgj9oQo9vmYst2FerLwobWhg5fJEQ9YzchuloPOcpSAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:23.163164Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.01835","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9afa5d571c8fa0c9876ff1dfccc0e9495b104cdeec2c1a4a3aaf2a64eafb4a76","sha256:a581e453285c20debb2a654f18efb7ba86ae252949145ede6c84421ad1664c46"],"state_sha256":"6d690670601a1bfb511ad24dc245cbd115746c2c4e5647c37c871d9cbb2a7c06"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9cDAmzoG7J8AoJDkCuvWfUI55IH//PZWOGlF+SUjWvaVUWOakCPb8zsSJvwl142KjnViIkSUnETlnmKoYE8PCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T14:39:02.353805Z","bundle_sha256":"fb2db2d53193da566076efde4516421dc9e94bed5d17e8df9a4f7537ecce9da3"}}