{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PJENOATRUGQPP3PBZIVKCG5UKB","short_pith_number":"pith:PJENOATR","canonical_record":{"source":{"id":"1505.03356","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-05-13T12:30:52Z","cross_cats_sorted":[],"title_canon_sha256":"dfef6d7c486eb6ef4536994cdc6ac0549fab760f0b5fed6fd1d3f5841e36baa6","abstract_canon_sha256":"908d8de027a6763b322cb3f0d5e8c9cdc4670b4cf905fb9bd76215ee99c6f577"},"schema_version":"1.0"},"canonical_sha256":"7a48d70271a1a0f7ede1ca2aa11bb4505e1a46868f91055be361f48d45b412a0","source":{"kind":"arxiv","id":"1505.03356","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.03356","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"arxiv_version","alias_value":"1505.03356v2","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.03356","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"pith_short_12","alias_value":"PJENOATRUGQP","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJENOATRUGQPP3PB","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJENOATR","created_at":"2026-05-18T12:29:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PJENOATRUGQPP3PBZIVKCG5UKB","target":"record","payload":{"canonical_record":{"source":{"id":"1505.03356","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-05-13T12:30:52Z","cross_cats_sorted":[],"title_canon_sha256":"dfef6d7c486eb6ef4536994cdc6ac0549fab760f0b5fed6fd1d3f5841e36baa6","abstract_canon_sha256":"908d8de027a6763b322cb3f0d5e8c9cdc4670b4cf905fb9bd76215ee99c6f577"},"schema_version":"1.0"},"canonical_sha256":"7a48d70271a1a0f7ede1ca2aa11bb4505e1a46868f91055be361f48d45b412a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:55:41.448741Z","signature_b64":"GqRfIj53/iUcbt2jC8aPxK8MMltCAXuNRBDcPqCVNZX3xCT9ge3QHtdk+N16KERmGsGy1lwr+1NC6C8sCU+ZDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a48d70271a1a0f7ede1ca2aa11bb4505e1a46868f91055be361f48d45b412a0","last_reissued_at":"2026-05-18T01:55:41.447917Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:55:41.447917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.03356","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:55:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dqaD3kF3m7sRrOAgyL9b0qnXRHKmT0wBeV3Te9R6Qwu2ZLP6deHR/2k3K8tr8zf0IKI8uNL0QxDD6u6YsdalDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T11:41:53.683656Z"},"content_sha256":"a58eed3ddee212d9ce70c55281dfbbc07d14bad71d8c7649eed5cc3db36fa291","schema_version":"1.0","event_id":"sha256:a58eed3ddee212d9ce70c55281dfbbc07d14bad71d8c7649eed5cc3db36fa291"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PJENOATRUGQPP3PBZIVKCG5UKB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Sagar Chaki, Seyed K. Fayaz, Vyas Sekar, Yoshiaki Tobioka","submitted_at":"2015-05-13T12:30:52Z","abstract_excerpt":"Network operators today spend significant manual effort in ensuring and checking that the network meets their intended policies. While recent work in network verification has made giant strides to reduce this effort, they focus on simple reachability properties and cannot handle context-dependent policies (e.g., how many connections has a host spawned) that operators realize using stateful network functions (NFs). Together, these introduce new expressiveness and scalability challenges that fall outside the scope of existing network verification mechanisms. To address these challenges, we prese"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.03356","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:55:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BsGDmZ2fdUHmAHXGhhF8m9shoJMPOP/hXzxhTVBEqlg7cWbkIEfKx9YjCZUeCqd7u4aqvax6TK+FdRX+JImiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T11:41:53.683989Z"},"content_sha256":"f65602a25406e65c4cf1251c3074cbe27ffe0e0dd27a5ef5f0c594ecc45fbc9d","schema_version":"1.0","event_id":"sha256:f65602a25406e65c4cf1251c3074cbe27ffe0e0dd27a5ef5f0c594ecc45fbc9d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PJENOATRUGQPP3PBZIVKCG5UKB/bundle.json","state_url":"https://pith.science/pith/PJENOATRUGQPP3PBZIVKCG5UKB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PJENOATRUGQPP3PBZIVKCG5UKB/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-27T11:41:53Z","links":{"resolver":"https://pith.science/pith/PJENOATRUGQPP3PBZIVKCG5UKB","bundle":"https://pith.science/pith/PJENOATRUGQPP3PBZIVKCG5UKB/bundle.json","state":"https://pith.science/pith/PJENOATRUGQPP3PBZIVKCG5UKB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PJENOATRUGQPP3PBZIVKCG5UKB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PJENOATRUGQPP3PBZIVKCG5UKB","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":"908d8de027a6763b322cb3f0d5e8c9cdc4670b4cf905fb9bd76215ee99c6f577","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-05-13T12:30:52Z","title_canon_sha256":"dfef6d7c486eb6ef4536994cdc6ac0549fab760f0b5fed6fd1d3f5841e36baa6"},"schema_version":"1.0","source":{"id":"1505.03356","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.03356","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"arxiv_version","alias_value":"1505.03356v2","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.03356","created_at":"2026-05-18T01:55:41Z"},{"alias_kind":"pith_short_12","alias_value":"PJENOATRUGQP","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"PJENOATRUGQPP3PB","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"PJENOATR","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:f65602a25406e65c4cf1251c3074cbe27ffe0e0dd27a5ef5f0c594ecc45fbc9d","target":"graph","created_at":"2026-05-18T01:55:41Z","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":"Network operators today spend significant manual effort in ensuring and checking that the network meets their intended policies. While recent work in network verification has made giant strides to reduce this effort, they focus on simple reachability properties and cannot handle context-dependent policies (e.g., how many connections has a host spawned) that operators realize using stateful network functions (NFs). Together, these introduce new expressiveness and scalability challenges that fall outside the scope of existing network verification mechanisms. To address these challenges, we prese","authors_text":"Sagar Chaki, Seyed K. Fayaz, Vyas Sekar, Yoshiaki Tobioka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-05-13T12:30:52Z","title":"Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.03356","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:a58eed3ddee212d9ce70c55281dfbbc07d14bad71d8c7649eed5cc3db36fa291","target":"record","created_at":"2026-05-18T01:55:41Z","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":"908d8de027a6763b322cb3f0d5e8c9cdc4670b4cf905fb9bd76215ee99c6f577","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2015-05-13T12:30:52Z","title_canon_sha256":"dfef6d7c486eb6ef4536994cdc6ac0549fab760f0b5fed6fd1d3f5841e36baa6"},"schema_version":"1.0","source":{"id":"1505.03356","kind":"arxiv","version":2}},"canonical_sha256":"7a48d70271a1a0f7ede1ca2aa11bb4505e1a46868f91055be361f48d45b412a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a48d70271a1a0f7ede1ca2aa11bb4505e1a46868f91055be361f48d45b412a0","first_computed_at":"2026-05-18T01:55:41.447917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:55:41.447917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GqRfIj53/iUcbt2jC8aPxK8MMltCAXuNRBDcPqCVNZX3xCT9ge3QHtdk+N16KERmGsGy1lwr+1NC6C8sCU+ZDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:55:41.448741Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.03356","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a58eed3ddee212d9ce70c55281dfbbc07d14bad71d8c7649eed5cc3db36fa291","sha256:f65602a25406e65c4cf1251c3074cbe27ffe0e0dd27a5ef5f0c594ecc45fbc9d"],"state_sha256":"8ef4d7fff94c05ed9937d798540ad70d576fc6d728e2451f665768540626b030"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0CDVxqS7xOtRcH/nTu+el4Vq6O07VkSKfr3bnzbDMODISj19GDUsL5uAolKfqhvznSso6I/vhwPnZFEmel7JCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T11:41:53.686192Z","bundle_sha256":"ad60ecfd36bcda28cdc9df00208aa2e0d7f5680a4c612301802f4856d837aaa8"}}