Digital-Twin-Based Configuration Validation and Configuration-Change Impact Assessment for Campus Routing and Switching Networks: Reproducibility Package

This reproducibility package contains sanitized code, inputs, summaries, and evidence for a digital-twin-based configuration-validation workflow evaluated on emulated campus routing and switching networks. It includes the clean-gated B002/B003/B004 campaigns, bounded robustness and restricted-view baselines, a 360-variant Batfish static-analysis campaign, a 300-pair generated multi-syntax normalization campaign, representative Batfish correction records, runtime-interference experiments, a bounded-parallel state collector benchmark, an intended-state bootstrap prototype, and a descriptive pre-injection impact-index audit. The package does not provide physical-device validation, production-network telemetry, unrestricted vendor-native coverage, mature-verifier parity, probability prediction, or broad human-operator superiority evidence.