{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:6H7PCSYNZAWLG242VWAAKNGKNX","short_pith_number":"pith:6H7PCSYN","canonical_record":{"source":{"id":"1607.03385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","cross_cats_sorted":[],"title_canon_sha256":"7452639f74c777c260418fadb786fc10b9de3fc58552de7441d59e4cefa45394","abstract_canon_sha256":"c4bc5c50c2c31901ac58a448284754c98f3be10c74d8ca29f318516aa8c9ecbd"},"schema_version":"1.0"},"canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","source":{"kind":"arxiv","id":"1607.03385","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.03385","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"1607.03385v2","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03385","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"6H7PCSYNZAWL","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6H7PCSYNZAWLG242","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6H7PCSYN","created_at":"2026-05-18T12:30:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:6H7PCSYNZAWLG242VWAAKNGKNX","target":"record","payload":{"canonical_record":{"source":{"id":"1607.03385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","cross_cats_sorted":[],"title_canon_sha256":"7452639f74c777c260418fadb786fc10b9de3fc58552de7441d59e4cefa45394","abstract_canon_sha256":"c4bc5c50c2c31901ac58a448284754c98f3be10c74d8ca29f318516aa8c9ecbd"},"schema_version":"1.0"},"canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:01.620736Z","signature_b64":"aph10buweoWGnHA8ahrPKGtyov1UF271cZbb89wU7GdRMj06JdnapjY7acujB8RN516B6GT7Oow+XB2xd2Y9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","last_reissued_at":"2026-05-18T01:11:01.620101Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:01.620101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.03385","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DngzniRtIkaDEf5Sov4avT8oik2ZRDQD5z+cDUDdtOQfH69CIMM3WfWYo95nf1j+6D7BaKIZE6XOqIXeUL0ZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T14:59:54.140762Z"},"content_sha256":"b49b3a905f861954aa8bf9cb4371d980258b8752c0abf46d2e2799153858f0a0","schema_version":"1.0","event_id":"sha256:b49b3a905f861954aa8bf9cb4371d980258b8752c0abf46d2e2799153858f0a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:6H7PCSYNZAWLG242VWAAKNGKNX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compiling Stateful Network Properties for Runtime Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Nicholas DeMarinis, Rodrigo Fonseca, Shriram Krishnamurthi, Tim Nelson, Timothy Adam Hoff","submitted_at":"2016-07-12T14:56:21Z","abstract_excerpt":"Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest of all network events be sent to a server, incurring enormous cost.\n  We present a network monitoring"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03385","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6y6BeKu33k/Am2KgXXHHMWEAcjZu+5qkmLBgD2Acq4grJ6+lKIWSC9FAHfW2n2g1RVFyVV1lcsyxN/lF/8X9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T14:59:54.141113Z"},"content_sha256":"b552c1e2ddc52b6f5db7e186c5a0b6214c6e66e75c9e9f215fe01a49e2ed6297","schema_version":"1.0","event_id":"sha256:b552c1e2ddc52b6f5db7e186c5a0b6214c6e66e75c9e9f215fe01a49e2ed6297"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/bundle.json","state_url":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6H7PCSYNZAWLG242VWAAKNGKNX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-30T14:59:54Z","links":{"resolver":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX","bundle":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/bundle.json","state":"https://pith.science/pith/6H7PCSYNZAWLG242VWAAKNGKNX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6H7PCSYNZAWLG242VWAAKNGKNX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6H7PCSYNZAWLG242VWAAKNGKNX","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":"c4bc5c50c2c31901ac58a448284754c98f3be10c74d8ca29f318516aa8c9ecbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","title_canon_sha256":"7452639f74c777c260418fadb786fc10b9de3fc58552de7441d59e4cefa45394"},"schema_version":"1.0","source":{"id":"1607.03385","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.03385","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"arxiv_version","alias_value":"1607.03385v2","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03385","created_at":"2026-05-18T01:11:01Z"},{"alias_kind":"pith_short_12","alias_value":"6H7PCSYNZAWL","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6H7PCSYNZAWLG242","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6H7PCSYN","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:b552c1e2ddc52b6f5db7e186c5a0b6214c6e66e75c9e9f215fe01a49e2ed6297","target":"graph","created_at":"2026-05-18T01:11:01Z","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":"Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest of all network events be sent to a server, incurring enormous cost.\n  We present a network monitoring","authors_text":"Nicholas DeMarinis, Rodrigo Fonseca, Shriram Krishnamurthi, Tim Nelson, Timothy Adam Hoff","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","title":"Compiling Stateful Network Properties for Runtime Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03385","kind":"arxiv","version":2},"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:b49b3a905f861954aa8bf9cb4371d980258b8752c0abf46d2e2799153858f0a0","target":"record","created_at":"2026-05-18T01:11:01Z","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":"c4bc5c50c2c31901ac58a448284754c98f3be10c74d8ca29f318516aa8c9ecbd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2016-07-12T14:56:21Z","title_canon_sha256":"7452639f74c777c260418fadb786fc10b9de3fc58552de7441d59e4cefa45394"},"schema_version":"1.0","source":{"id":"1607.03385","kind":"arxiv","version":2}},"canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1fef14b0dc82cb36b9aad800534ca6dea1dded62487f050ded7de65e1529378","first_computed_at":"2026-05-18T01:11:01.620101Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:01.620101Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aph10buweoWGnHA8ahrPKGtyov1UF271cZbb89wU7GdRMj06JdnapjY7acujB8RN516B6GT7Oow+XB2xd2Y9Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:01.620736Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.03385","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b49b3a905f861954aa8bf9cb4371d980258b8752c0abf46d2e2799153858f0a0","sha256:b552c1e2ddc52b6f5db7e186c5a0b6214c6e66e75c9e9f215fe01a49e2ed6297"],"state_sha256":"2a8741a3515071faf183904872326e0bc16f4181018ede09b320af04db309746"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TX3yKMpAZk8Tp8K8iypqczipmT3DbRXDaiJJbtbSDjlT1anso+nJLuF/VcMAl2keRyfLQtnUW+ryP5cBxl5aAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T14:59:54.143016Z","bundle_sha256":"d497fe91f25815fd6786db258ed01c0b3d0bae276ded9ea8caa957a6c5385053"}}