{"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"}