{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NBYHJMSWIYA2W7AAXFQO2LVRFL","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":"1b299712eb4210d4696524b7dd5353ea3363b3b5a45920abbd52dbd207679db0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-08-30T18:08:21Z","title_canon_sha256":"11d74a82ce742bcd2467cfcc6f6e66fc539cda5540e86ca86db671438bae8329"},"schema_version":"1.0","source":{"id":"1608.08584","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.08584","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"arxiv_version","alias_value":"1608.08584v1","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.08584","created_at":"2026-05-18T01:07:17Z"},{"alias_kind":"pith_short_12","alias_value":"NBYHJMSWIYA2","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NBYHJMSWIYA2W7AA","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NBYHJMSW","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:5b4b8b1c26ed8e69f08a621695085263a2d98dbae23efe6a408da6f14dbd49e1","target":"graph","created_at":"2026-05-18T01:07:17Z","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":"Error invariants are assertions that over-approximate the reachable program states at a given position in an error trace while only capturing states that will still lead to failure if execution of the trace is continued from that position. Such assertions reflect the effect of statements that are involved in the root cause of an error and its propagation, enabling slicing of statements that do not contribute to the error. Previous work on error invariants focused on sequential programs. We generalize error invariants to concurrent traces by augmenting them with additional information about haz","authors_text":"Andreas Holzer, Daniel Schwartz-Narbonne, Georg Weissenbacher, Mitra Tabaei Befrouei, Thomas Wies","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-08-30T18:08:21Z","title":"Error Invariants for Concurrent Traces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.08584","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:0b4bda6460040f9cc70ff735e8f0b6099deff1aecb04c96b80b5ded37391f548","target":"record","created_at":"2026-05-18T01:07:17Z","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":"1b299712eb4210d4696524b7dd5353ea3363b3b5a45920abbd52dbd207679db0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-08-30T18:08:21Z","title_canon_sha256":"11d74a82ce742bcd2467cfcc6f6e66fc539cda5540e86ca86db671438bae8329"},"schema_version":"1.0","source":{"id":"1608.08584","kind":"arxiv","version":1}},"canonical_sha256":"687074b2564601ab7c00b960ed2eb12ae1c2ea17a9c841002d41a4bbfe20bfa7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"687074b2564601ab7c00b960ed2eb12ae1c2ea17a9c841002d41a4bbfe20bfa7","first_computed_at":"2026-05-18T01:07:17.711602Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:07:17.711602Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KeGVmslvEw0NbkZVLfFfEjlL2uosoCIFJsy5FCpGRGON3BSlG8bR1zETbT7NNsZubZVw8VwvZUt+oRCoVYykAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:07:17.712064Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.08584","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b4bda6460040f9cc70ff735e8f0b6099deff1aecb04c96b80b5ded37391f548","sha256:5b4b8b1c26ed8e69f08a621695085263a2d98dbae23efe6a408da6f14dbd49e1"],"state_sha256":"2a0bb155d975fbf625d9be5c877cd858618b5bb38facd3d175fdbcd55ec94c4a"}