{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AY3JG6CZ2W3COJHRZZ7LV75OYH","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":"25008d24153e2c17cca56991ec80d96ff2975c088958670d72fe0ba5890cdaa0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-02-23T19:57:13Z","title_canon_sha256":"f0a136c65008826aaadaa5106d1f32a9e87c5980c45fa825769c00f89ddb800f"},"schema_version":"1.0","source":{"id":"1702.07375","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07375","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07375v1","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07375","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"AY3JG6CZ2W3C","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"AY3JG6CZ2W3COJHR","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"AY3JG6CZ","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:e888f9e4bddda33cfd05d7e9b8cef0adcae999cf456b910b1d6aea65c70aa589","target":"graph","created_at":"2026-05-18T00:49: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":"Real-time network verification promises to automatically detect violations of network-wide reachability invariants on the data plane. To be useful in practice, these violations need to be detected in the order of milliseconds, without raising false alarms. To date, most real-time data plane checkers address this problem by exploiting at least one of the following two observations: (i) only small parts of the network tend to be affected by typical changes to the data plane, and (ii) many different packets tend to share the same forwarding behaviour in the entire network. This paper shows how to","authors_text":"Alex Horn, Ali Kheradmand, Mukul R. Prasad","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-02-23T19:57:13Z","title":"Delta-net: Real-time Network Verification Using Atoms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07375","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:cfb03ef4d036bb21f6ab402215f15873c81b2aadf537b8b189777d31034dbc07","target":"record","created_at":"2026-05-18T00:49: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":"25008d24153e2c17cca56991ec80d96ff2975c088958670d72fe0ba5890cdaa0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2017-02-23T19:57:13Z","title_canon_sha256":"f0a136c65008826aaadaa5106d1f32a9e87c5980c45fa825769c00f89ddb800f"},"schema_version":"1.0","source":{"id":"1702.07375","kind":"arxiv","version":1}},"canonical_sha256":"0636937859d5b62724f1ce7ebaffaec1f7a3e3c468300d66d3fbe7c073776143","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0636937859d5b62724f1ce7ebaffaec1f7a3e3c468300d66d3fbe7c073776143","first_computed_at":"2026-05-18T00:49:46.378464Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:46.378464Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nBHAUwZeWqjL0cKRI03uSDF/F5+wMBG/lpcCVy3iEFU9bEPUy/Ji0kjQ8Z48mlyEfrwTqCEU/qfRwbCNR1k0BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:46.379309Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.07375","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cfb03ef4d036bb21f6ab402215f15873c81b2aadf537b8b189777d31034dbc07","sha256:e888f9e4bddda33cfd05d7e9b8cef0adcae999cf456b910b1d6aea65c70aa589"],"state_sha256":"7acbd351fa974948df3a27e1f6b48653a28f83724d6c54fc1dc61d0f4aea4830"}