{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:F2UM4HRGBM4ZOTLBJMWFNTH7K4","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":"1cdd6e7f0e2b23e0a200d109458220cb7f9533c4adb3ed4a518a94c7527bbed9","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-10T15:16:50Z","title_canon_sha256":"8a6f8127a48f01bca1909321dbf0b8da91f366c92a4b0cb336ab7f9196059fd6"},"schema_version":"1.0","source":{"id":"1502.02942","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02942","created_at":"2026-05-18T02:27:30Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02942v1","created_at":"2026-05-18T02:27:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02942","created_at":"2026-05-18T02:27:30Z"},{"alias_kind":"pith_short_12","alias_value":"F2UM4HRGBM4Z","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"F2UM4HRGBM4ZOTLB","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"F2UM4HRG","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:d39b9df779a5e3d50122b6a3bc17e558a9f6ec2014e72f9d4178ba7293911da2","target":"graph","created_at":"2026-05-18T02:27:30Z","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":"We introduce skipping refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation system. One then shows that every behavior allowed by the implementation is also allowed by the specification. Due to the difference in abstraction levels, it is often the case that the implementation requires many steps to match one step of the specification, hence, it is quite useful for refinement to directly account for stuttering","authors_text":"Mitesh Jain, Panagiotis Manolios","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-10T15:16:50Z","title":"Skipping Refinement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02942","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:b29b02327e31374333242caf53972e0938e5540dfd5943913bf637492f2a1b9c","target":"record","created_at":"2026-05-18T02:27:30Z","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":"1cdd6e7f0e2b23e0a200d109458220cb7f9533c4adb3ed4a518a94c7527bbed9","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-10T15:16:50Z","title_canon_sha256":"8a6f8127a48f01bca1909321dbf0b8da91f366c92a4b0cb336ab7f9196059fd6"},"schema_version":"1.0","source":{"id":"1502.02942","kind":"arxiv","version":1}},"canonical_sha256":"2ea8ce1e260b39974d614b2c56ccff5703bc25a4484de9204132c3f4d04d7997","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ea8ce1e260b39974d614b2c56ccff5703bc25a4484de9204132c3f4d04d7997","first_computed_at":"2026-05-18T02:27:30.293993Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:30.293993Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GIyKl0tKnWhSwG2YTrYAP8RZ06NY45JRX2Pzm7P8FRtPArc5hF4EZMjTafb8MsnnoJsiEPSmdwSFNwnsXKhYAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:30.294808Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.02942","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b29b02327e31374333242caf53972e0938e5540dfd5943913bf637492f2a1b9c","sha256:d39b9df779a5e3d50122b6a3bc17e558a9f6ec2014e72f9d4178ba7293911da2"],"state_sha256":"e0fc908fa810091aa5349ba02f3aa1dc9baf3bd61df9dda12dafb0bda86e8f8e"}