{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:Z4Z2Z3M7RNXV5NFTKRE5QKUYA6","short_pith_number":"pith:Z4Z2Z3M7","canonical_record":{"source":{"id":"1612.04164","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-13T13:38:24Z","cross_cats_sorted":[],"title_canon_sha256":"181c28e58cb30cc3d227e2c513009f61b401e557a177cf012c3d9bd270a31108","abstract_canon_sha256":"7b6947ef61a52335a550da660d7ca129d975956e3ebc30d7d4c9408b5730f5aa"},"schema_version":"1.0"},"canonical_sha256":"cf33aced9f8b6f5eb4b35449d82a9807a708a688e3e1517de1f03ced666aef2e","source":{"kind":"arxiv","id":"1612.04164","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04164","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04164v1","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04164","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"pith_short_12","alias_value":"Z4Z2Z3M7RNXV","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"Z4Z2Z3M7RNXV5NFT","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"Z4Z2Z3M7","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:Z4Z2Z3M7RNXV5NFTKRE5QKUYA6","target":"record","payload":{"canonical_record":{"source":{"id":"1612.04164","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-13T13:38:24Z","cross_cats_sorted":[],"title_canon_sha256":"181c28e58cb30cc3d227e2c513009f61b401e557a177cf012c3d9bd270a31108","abstract_canon_sha256":"7b6947ef61a52335a550da660d7ca129d975956e3ebc30d7d4c9408b5730f5aa"},"schema_version":"1.0"},"canonical_sha256":"cf33aced9f8b6f5eb4b35449d82a9807a708a688e3e1517de1f03ced666aef2e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:46.338242Z","signature_b64":"7hw9ZoOh+WmeC0HtQCgcorWg84brf/N7aTKk20XDjIXxePl1anb1q55p4RYUHJDtzJeivGhIJqrjJm6GmZlGBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cf33aced9f8b6f5eb4b35449d82a9807a708a688e3e1517de1f03ced666aef2e","last_reissued_at":"2026-05-18T00:30:46.337659Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:46.337659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.04164","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:30:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"poWvKBpVP/JnXTJzrjBJZvUqsLPhh2uJghSr2EoUplr9gmTlAtqYfRXBnyab/gONo1/kiS/geI1IAcUS3xKqDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:43:09.963677Z"},"content_sha256":"3754a35f86a24d7c1d0bbcdda1cdfa190799f4c7ba8ea9d2d59b7342eb3f288d","schema_version":"1.0","event_id":"sha256:3754a35f86a24d7c1d0bbcdda1cdfa190799f4c7ba8ea9d2d59b7342eb3f288d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:Z4Z2Z3M7RNXV5NFTKRE5QKUYA6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Keeping Continuous Deliveries Safe","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Sebastian V\\\"ost, Stefan Wagner","submitted_at":"2016-12-13T13:38:24Z","abstract_excerpt":"Allowing swift release cycles, Continuous Delivery has become popular in application software development and is starting to be applied in safety-critical domains such as the automotive industry. These domains require thorough analysis regarding safety constraints, which can be achieved by formal verification and the execution of safety tests resulting from a safety analysis on the product. With continuous delivery in place, such tests need to be executed with every build to ensure the latest software still fulfills all safety requirements. Even more though, the safety analysis has to be updat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04164","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:30:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eiSwUBtE5ZuuBQCOBkqZ2mm0l1mk1TL6aSQEta9FvFngH4bBmeUt7FOn3B8ekNv78Bh1Vrh20e63Fitf7rB9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:43:09.964063Z"},"content_sha256":"af2dec64e73d01f89327a228658647deae9cd6efb7e08ecd8665246d1a0016d7","schema_version":"1.0","event_id":"sha256:af2dec64e73d01f89327a228658647deae9cd6efb7e08ecd8665246d1a0016d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/bundle.json","state_url":"https://pith.science/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/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-01T23:43:09Z","links":{"resolver":"https://pith.science/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6","bundle":"https://pith.science/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/bundle.json","state":"https://pith.science/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z4Z2Z3M7RNXV5NFTKRE5QKUYA6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Z4Z2Z3M7RNXV5NFTKRE5QKUYA6","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":"7b6947ef61a52335a550da660d7ca129d975956e3ebc30d7d4c9408b5730f5aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-13T13:38:24Z","title_canon_sha256":"181c28e58cb30cc3d227e2c513009f61b401e557a177cf012c3d9bd270a31108"},"schema_version":"1.0","source":{"id":"1612.04164","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04164","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04164v1","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04164","created_at":"2026-05-18T00:30:46Z"},{"alias_kind":"pith_short_12","alias_value":"Z4Z2Z3M7RNXV","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"Z4Z2Z3M7RNXV5NFT","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"Z4Z2Z3M7","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:af2dec64e73d01f89327a228658647deae9cd6efb7e08ecd8665246d1a0016d7","target":"graph","created_at":"2026-05-18T00:30:46Z","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":"Allowing swift release cycles, Continuous Delivery has become popular in application software development and is starting to be applied in safety-critical domains such as the automotive industry. These domains require thorough analysis regarding safety constraints, which can be achieved by formal verification and the execution of safety tests resulting from a safety analysis on the product. With continuous delivery in place, such tests need to be executed with every build to ensure the latest software still fulfills all safety requirements. Even more though, the safety analysis has to be updat","authors_text":"Sebastian V\\\"ost, Stefan Wagner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-13T13:38:24Z","title":"Keeping Continuous Deliveries Safe"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04164","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:3754a35f86a24d7c1d0bbcdda1cdfa190799f4c7ba8ea9d2d59b7342eb3f288d","target":"record","created_at":"2026-05-18T00:30:46Z","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":"7b6947ef61a52335a550da660d7ca129d975956e3ebc30d7d4c9408b5730f5aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-13T13:38:24Z","title_canon_sha256":"181c28e58cb30cc3d227e2c513009f61b401e557a177cf012c3d9bd270a31108"},"schema_version":"1.0","source":{"id":"1612.04164","kind":"arxiv","version":1}},"canonical_sha256":"cf33aced9f8b6f5eb4b35449d82a9807a708a688e3e1517de1f03ced666aef2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf33aced9f8b6f5eb4b35449d82a9807a708a688e3e1517de1f03ced666aef2e","first_computed_at":"2026-05-18T00:30:46.337659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:46.337659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7hw9ZoOh+WmeC0HtQCgcorWg84brf/N7aTKk20XDjIXxePl1anb1q55p4RYUHJDtzJeivGhIJqrjJm6GmZlGBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:46.338242Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.04164","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3754a35f86a24d7c1d0bbcdda1cdfa190799f4c7ba8ea9d2d59b7342eb3f288d","sha256:af2dec64e73d01f89327a228658647deae9cd6efb7e08ecd8665246d1a0016d7"],"state_sha256":"c6d16c84206852e92c7f54c6f1f5952791e02b0ce5a308c36b7f30b60d82474c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V0jmnEg+kvy4gK7fQt8KLYZRHtlNMdkbRLCw4p0mDrMkZwDVV5g+H8USeEhixuCfF7Z5VhJjX4br3C7BpNqQBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:43:09.966032Z","bundle_sha256":"ad71b1beefabf1b3d1688daf1740345fb38995f402de407a9989f10bd7c816ff"}}