{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:HHLI6OO5H3ZYLEODZERM7W6G2J","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":"794459e8db350128aab12131c5031837211ed8b4c1954fe382e54a9b528bd9c4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-02T09:34:59Z","title_canon_sha256":"f809457fb613ecd7c9fb37d0e35a0b63043befaf5d1c0447467ee25b2d1450e2"},"schema_version":"1.0","source":{"id":"1907.01257","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01257","created_at":"2026-07-05T10:55:14Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01257v5","created_at":"2026-07-05T10:55:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01257","created_at":"2026-07-05T10:55:14Z"},{"alias_kind":"pith_short_12","alias_value":"HHLI6OO5H3ZY","created_at":"2026-07-05T10:55:14Z"},{"alias_kind":"pith_short_16","alias_value":"HHLI6OO5H3ZYLEOD","created_at":"2026-07-05T10:55:14Z"},{"alias_kind":"pith_short_8","alias_value":"HHLI6OO5","created_at":"2026-07-05T10:55:14Z"}],"graph_snapshots":[{"event_id":"sha256:ae49b274015ef473cc58fd96c910c601f20c448e5bc1060db09fabaf87120083","target":"graph","created_at":"2026-07-05T10:55:14Z","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/1907.01257/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we call local reasoning. The local reasoning exploits the graphical concept of neighbourhood, and it extracts a new, formal, concept of robustness as a key sufficient condition of observational equivalence. Moreover, our proof methodology is capable of proving a generalised notion of observational equivalence. The generalised notion can be quantified over syntactically restricted contexts instead of all contexts, and a","authors_text":"Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-02T09:34:59Z","title":"A robust graph-based approach to observational equivalence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01257","kind":"arxiv","version":5},"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:299f2eae5c3b7453a7b5592bf8fd8dd84f2139167491bf29a8e3b0b952ab9e07","target":"record","created_at":"2026-07-05T10:55:14Z","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":"794459e8db350128aab12131c5031837211ed8b4c1954fe382e54a9b528bd9c4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-02T09:34:59Z","title_canon_sha256":"f809457fb613ecd7c9fb37d0e35a0b63043befaf5d1c0447467ee25b2d1450e2"},"schema_version":"1.0","source":{"id":"1907.01257","kind":"arxiv","version":5}},"canonical_sha256":"39d68f39dd3ef38591c3c922cfdbc6d26cd0c619e0274809e783433c59a3cb1e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39d68f39dd3ef38591c3c922cfdbc6d26cd0c619e0274809e783433c59a3cb1e","first_computed_at":"2026-07-05T10:55:14.245336Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:55:14.245336Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6DiSatMPeUfosQ+aHPVqtZ5xiE+kA5824uRhSy3IXlOWU6ZitSmeBulb/4/iZYv9wPFXWiUt+P/q9LVbgUVNDA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:55:14.245854Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.01257","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:299f2eae5c3b7453a7b5592bf8fd8dd84f2139167491bf29a8e3b0b952ab9e07","sha256:ae49b274015ef473cc58fd96c910c601f20c448e5bc1060db09fabaf87120083"],"state_sha256":"e3e056dbe9c35b218e50249262050367af217d8db015974061fa2eb40d85ee14"}