{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VUQX6UTSZUQS5X37EKNPW5FOF7","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":"e82066ba0c602f3727415b4d47d41a836a3c3f758d9e1c29b61ac14705d1ab5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:10:07Z","title_canon_sha256":"9f7f2a801f0536666b7da1253bec356a0307cad7e633374a8f4b113e8d70b197"},"schema_version":"1.0","source":{"id":"2606.23377","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23377","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23377v1","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23377","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"VUQX6UTSZUQS","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_16","alias_value":"VUQX6UTSZUQS5X37","created_at":"2026-06-23T03:14:18Z"},{"alias_kind":"pith_short_8","alias_value":"VUQX6UTS","created_at":"2026-06-23T03:14:18Z"}],"graph_snapshots":[{"event_id":"sha256:e82df8610cac8ecddba2b86b7b5ab2f60fc0e3837a1c3e1e4915f01efea7080b","target":"graph","created_at":"2026-06-23T03:14:18Z","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/2606.23377/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Process-Oriented Programming is a software development approach that emphasizes the management of control systems through abstractions of processes and their states, enabling these systems to be described in terms of real physical processes. This native description of control is particularly important for industrial systems consisting of hundreds or thousands of processes. For such systems, safety is critical. To ensure the reliability and safety of these systems, formal verification methods must be applied. One such method is deductive verification, which involves formalizing programs and the","authors_text":"Artyom Ishchenko, Igor Anureev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:10:07Z","title":"Partial Automation of Verification Condition Proving for Reflex Programs (Draft)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23377","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:c6f1696f87e39d15e0ffee10c1e2d8b3bcfa9776f87fd97779c6d7b57e672d0d","target":"record","created_at":"2026-06-23T03:14:18Z","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":"e82066ba0c602f3727415b4d47d41a836a3c3f758d9e1c29b61ac14705d1ab5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T14:10:07Z","title_canon_sha256":"9f7f2a801f0536666b7da1253bec356a0307cad7e633374a8f4b113e8d70b197"},"schema_version":"1.0","source":{"id":"2606.23377","kind":"arxiv","version":1}},"canonical_sha256":"ad217f5272cd212edf7f229afb74ae2fd65feba9fdd5d7bd36163ed2a4153128","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad217f5272cd212edf7f229afb74ae2fd65feba9fdd5d7bd36163ed2a4153128","first_computed_at":"2026-06-23T03:14:18.107145Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:18.107145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qMr/LzAAYhFdixNcseM9s5HCuA4iu48Pt1MUlrhZ86IzGAkljMdf9prgVD6jCzWk4J3s4BYgmBuBSZQMHzWBCA==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:18.107495Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23377","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c6f1696f87e39d15e0ffee10c1e2d8b3bcfa9776f87fd97779c6d7b57e672d0d","sha256:e82df8610cac8ecddba2b86b7b5ab2f60fc0e3837a1c3e1e4915f01efea7080b"],"state_sha256":"7c6e133648640c352d52124a057ff55ac5764ad9258d3ce86ea0be6b4872b688"}