{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:YGZD4MHJO5YD3NJV4XRVUY62Q7","short_pith_number":"pith:YGZD4MHJ","canonical_record":{"source":{"id":"2605.22092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-05-21T07:32:22Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c55658dfaad2c6a5339c6b3dd2de64f6021ae99d264d5ff869adf2cebef09472","abstract_canon_sha256":"72598af704ccd56214f15c05ce30fc3641c821eb53bc342d8c42fb34c5514cb7"},"schema_version":"1.0"},"canonical_sha256":"c1b23e30e977703db535e5e35a63da87d5397dd2894ec4c0cbacf3ceb7788d37","source":{"kind":"arxiv","id":"2605.22092","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22092","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22092v1","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22092","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"YGZD4MHJO5YD","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"YGZD4MHJO5YD3NJV","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"YGZD4MHJ","created_at":"2026-05-22T01:04:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:YGZD4MHJO5YD3NJV4XRVUY62Q7","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22092","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-05-21T07:32:22Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c55658dfaad2c6a5339c6b3dd2de64f6021ae99d264d5ff869adf2cebef09472","abstract_canon_sha256":"72598af704ccd56214f15c05ce30fc3641c821eb53bc342d8c42fb34c5514cb7"},"schema_version":"1.0"},"canonical_sha256":"c1b23e30e977703db535e5e35a63da87d5397dd2894ec4c0cbacf3ceb7788d37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:25.216192Z","signature_b64":"/+5qB9wfSFkjc3I68fa45QyBfkQfyOc5kk22p/FVHXOdTYrEUyMTlJDQImSTgK8AE+DOklo2Jt8W5mzjBaSbAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1b23e30e977703db535e5e35a63da87d5397dd2894ec4c0cbacf3ceb7788d37","last_reissued_at":"2026-05-22T01:04:25.215375Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:25.215375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22092","source_version":1,"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-22T01:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eMN6KBJyncBIOBdQzolw7GFXC3riWgbq9k813f7biURX9fJfG1DiUgjVY6raojW2gscLYs9B6+I71c2PrN6vDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:37:11.676537Z"},"content_sha256":"75476f6a9f1d229d750ed5cea968ef4cc5f1f14519411dfafae9de0868e338fe","schema_version":"1.0","event_id":"sha256:75476f6a9f1d229d750ed5cea968ef4cc5f1f14519411dfafae9de0868e338fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:YGZD4MHJO5YD3NJV4XRVUY62Q7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Astragalus: Automatic Configuration Repair for Production Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.NI","authors_text":"Peng Zhang, Xing Feng, Xu Liu, Zhenrong Gu","submitted_at":"2026-05-21T07:32:22Z","abstract_excerpt":"Network configurations are prone to errors, which can lead to catastrophic service outages. A tool that can achieve automatic configuration repair (ACR) is highly desired by operators. Existing tools for ACR follow a semantic-driven approach: they model network semantics as a set of SMT constraints, and solve them for a location or fix of the error. Due to the complex semantics of networks, constructing and solving these constraints can be prohibitively expensive, making these tools neither general nor scalable. Inspired by automatic program repair (APR), we explore another direction, i.e., a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22092","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/2605.22092/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"},"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-22T01:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8bQqh3fRqmIgT52dKDpey+Kj5lopjGpN3YoEPpPS/psHSQNOGM6hozaugB/WcWfqhIq/0MKeqEXUqlgNP/e8Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:37:11.676907Z"},"content_sha256":"57fd85a0838fb5d9624667d30a5bf7f1a11b8d4a911ea31de770a35c0210ec53","schema_version":"1.0","event_id":"sha256:57fd85a0838fb5d9624667d30a5bf7f1a11b8d4a911ea31de770a35c0210ec53"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:YGZD4MHJO5YD3NJV4XRVUY62Q7","target":"integrity","payload":{"note":"This paper contains a 40-token span identical to one in arXiv:2605.21374. The two papers share no author per Pith records and neither cites the other. The duplication is the verbatim shared span; the framing makes no claim about intent or directionality.","snippet":"all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the","arxiv_id":"2605.22092","detector":"shingle_duplication","evidence":{"shared_text":"all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the","verdict_class":"incontrovertible","shared_arxiv_id":"2605.21374","shared_token_count":40,"shared_paper_version":1,"shared_offset_in_citing_paper":287},"severity":"advisory","ref_index":null,"audited_at":"2026-05-24T09:50:44.009630Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#shingle_duplication","external_url":null,"finding_type":"prose_duplication","evidence_hash":"aba933d96a413485c0b0a3e059bf737a8ea36cff8b287ce509ee65b905e15e7a","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"0.1.0","detected_arxiv_id":"2605.21374","integrity_event_id":6993,"payload_sha256":"3145442dcc668c7491b130da0486a17ad9087ddd57e9be9a1d60f6e595884297","signature_b64":"t476IfZt3uMinkKxcsBciX1U3rI6u989GoTPTFRdmnEP4ncQ3CmgXx/EL63jVTQKzVjQlTOAHEBNC7Gy47M9Cg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-24T09:53:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yZeaurHtJ/pIh3DAzUUSxnvDpsAv8/h7CASp3V7XqkWazw3v/atTqHgT2mzGTlPJHbUO1WXGZphTyDTXkT3CAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:37:11.677754Z"},"content_sha256":"84527bfd22a03a92bed3848e6f65ceacfa8e60e1a41573956a3e741b7233930f","schema_version":"1.0","event_id":"sha256:84527bfd22a03a92bed3848e6f65ceacfa8e60e1a41573956a3e741b7233930f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/bundle.json","state_url":"https://pith.science/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/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-01T20:37:11Z","links":{"resolver":"https://pith.science/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7","bundle":"https://pith.science/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/bundle.json","state":"https://pith.science/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YGZD4MHJO5YD3NJV4XRVUY62Q7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YGZD4MHJO5YD3NJV4XRVUY62Q7","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"72598af704ccd56214f15c05ce30fc3641c821eb53bc342d8c42fb34c5514cb7","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-05-21T07:32:22Z","title_canon_sha256":"c55658dfaad2c6a5339c6b3dd2de64f6021ae99d264d5ff869adf2cebef09472"},"schema_version":"1.0","source":{"id":"2605.22092","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22092","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22092v1","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22092","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"YGZD4MHJO5YD","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"YGZD4MHJO5YD3NJV","created_at":"2026-05-22T01:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"YGZD4MHJ","created_at":"2026-05-22T01:04:25Z"}],"graph_snapshots":[{"event_id":"sha256:57fd85a0838fb5d9624667d30a5bf7f1a11b8d4a911ea31de770a35c0210ec53","target":"graph","created_at":"2026-05-22T01:04:25Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2605.22092/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Network configurations are prone to errors, which can lead to catastrophic service outages. A tool that can achieve automatic configuration repair (ACR) is highly desired by operators. Existing tools for ACR follow a semantic-driven approach: they model network semantics as a set of SMT constraints, and solve them for a location or fix of the error. Due to the complex semantics of networks, constructing and solving these constraints can be prohibitively expensive, making these tools neither general nor scalable. Inspired by automatic program repair (APR), we explore another direction, i.e., a ","authors_text":"Peng Zhang, Xing Feng, Xu Liu, Zhenrong Gu","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-05-21T07:32:22Z","title":"Astragalus: Automatic Configuration Repair for Production Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22092","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:75476f6a9f1d229d750ed5cea968ef4cc5f1f14519411dfafae9de0868e338fe","target":"record","created_at":"2026-05-22T01:04:25Z","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":"72598af704ccd56214f15c05ce30fc3641c821eb53bc342d8c42fb34c5514cb7","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2026-05-21T07:32:22Z","title_canon_sha256":"c55658dfaad2c6a5339c6b3dd2de64f6021ae99d264d5ff869adf2cebef09472"},"schema_version":"1.0","source":{"id":"2605.22092","kind":"arxiv","version":1}},"canonical_sha256":"c1b23e30e977703db535e5e35a63da87d5397dd2894ec4c0cbacf3ceb7788d37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1b23e30e977703db535e5e35a63da87d5397dd2894ec4c0cbacf3ceb7788d37","first_computed_at":"2026-05-22T01:04:25.215375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:25.215375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/+5qB9wfSFkjc3I68fa45QyBfkQfyOc5kk22p/FVHXOdTYrEUyMTlJDQImSTgK8AE+DOklo2Jt8W5mzjBaSbAw==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:25.216192Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22092","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75476f6a9f1d229d750ed5cea968ef4cc5f1f14519411dfafae9de0868e338fe","sha256:57fd85a0838fb5d9624667d30a5bf7f1a11b8d4a911ea31de770a35c0210ec53","sha256:84527bfd22a03a92bed3848e6f65ceacfa8e60e1a41573956a3e741b7233930f"],"state_sha256":"d482a639dd2c74d76a7cd0a1836fd45aea91d5b977b47e67a8a2d057a2efd72e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hDmA4dKSnD+2akISuj/+6pquclMH4YYrkB9LjmoDs7dNNBZhC+jOFytsnlzDPU04xDNbz95M2U9qjB1bgBDtBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T20:37:11.679556Z","bundle_sha256":"bfab6f029871a453bb714a50ddfc50e5f15ae5ce2dc3d07cfe19e50a445c3b28"}}