{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RL5BQEPM5ZEKAMIJ36DVSG3H3D","short_pith_number":"pith:RL5BQEPM","schema_version":"1.0","canonical_sha256":"8afa1811ecee48a03109df87591b67d8ef9dab418e146b0c393b1f55fad507d7","source":{"kind":"arxiv","id":"2607.09637","version":1},"attestation_state":"computed","paper":{"title":"Network Analysis with Parametric NetKAT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Walker, Han Xu, Zachary Kincaid","submitted_at":"2026-07-10T17:35:06Z","abstract_excerpt":"Network engineers often need to perform network diagnosis and inference tasks, which frequently require answers to enumeration questions such as \"Which packets from the Internet arrive at host C?\" or \"Which single-link failures disconnect my network?\" Parametric NetKAT is a new domain-specific language that combines elements of NetKAT, Relational NetKAT, and Weighted NetKAT into a single system and extends them with parameters, allowing users to pose such enumeration questions directly over network models. This paper presents the design and semantics of Parametric NetKAT and illustrates its ut"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.09637","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-10T17:35:06Z","cross_cats_sorted":[],"title_canon_sha256":"85efec5129e9b6753eaed00eae370ddd30692a128586aff965c80dd30355e809","abstract_canon_sha256":"82200f8fee8760fc2a237f1d15ad05464714a3b1d778ce98d9ae0f3fbbb380f0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T01:20:25.885921Z","signature_b64":"ig8X31Tm8XsQS9IoZhvsX1ClE11y0pX7YP0tcFgwLqH9RpZmyACVxbQKU8URFIOD15Eel4zqK9p+OYpkmjRPDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8afa1811ecee48a03109df87591b67d8ef9dab418e146b0c393b1f55fad507d7","last_reissued_at":"2026-07-13T01:20:25.884918Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T01:20:25.884918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Network Analysis with Parametric NetKAT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Walker, Han Xu, Zachary Kincaid","submitted_at":"2026-07-10T17:35:06Z","abstract_excerpt":"Network engineers often need to perform network diagnosis and inference tasks, which frequently require answers to enumeration questions such as \"Which packets from the Internet arrive at host C?\" or \"Which single-link failures disconnect my network?\" Parametric NetKAT is a new domain-specific language that combines elements of NetKAT, Relational NetKAT, and Weighted NetKAT into a single system and extends them with parameters, allowing users to pose such enumeration questions directly over network models. This paper presents the design and semantics of Parametric NetKAT and illustrates its ut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09637","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.09637/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.09637","created_at":"2026-07-13T01:20:25.885424+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.09637v1","created_at":"2026-07-13T01:20:25.885424+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09637","created_at":"2026-07-13T01:20:25.885424+00:00"},{"alias_kind":"pith_short_12","alias_value":"RL5BQEPM5ZEK","created_at":"2026-07-13T01:20:25.885424+00:00"},{"alias_kind":"pith_short_16","alias_value":"RL5BQEPM5ZEKAMIJ","created_at":"2026-07-13T01:20:25.885424+00:00"},{"alias_kind":"pith_short_8","alias_value":"RL5BQEPM","created_at":"2026-07-13T01:20:25.885424+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D","json":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D.json","graph_json":"https://pith.science/api/pith-number/RL5BQEPM5ZEKAMIJ36DVSG3H3D/graph.json","events_json":"https://pith.science/api/pith-number/RL5BQEPM5ZEKAMIJ36DVSG3H3D/events.json","paper":"https://pith.science/paper/RL5BQEPM"},"agent_actions":{"view_html":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D","download_json":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D.json","view_paper":"https://pith.science/paper/RL5BQEPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.09637&json=true","fetch_graph":"https://pith.science/api/pith-number/RL5BQEPM5ZEKAMIJ36DVSG3H3D/graph.json","fetch_events":"https://pith.science/api/pith-number/RL5BQEPM5ZEKAMIJ36DVSG3H3D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D/action/storage_attestation","attest_author":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D/action/author_attestation","sign_citation":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D/action/citation_signature","submit_replication":"https://pith.science/pith/RL5BQEPM5ZEKAMIJ36DVSG3H3D/action/replication_record"}},"created_at":"2026-07-13T01:20:25.885424+00:00","updated_at":"2026-07-13T01:20:25.885424+00:00"}