Title: Software Design and Empirical Evaluation of a Topological Oracle for Satellite TF-QKD Simulation (Simulation Artifacts v2. 0. 0) Description: This repository contains the official simulation framework, exported datasets, and figure generation tools accompanying the manuscript: "Software Design and Empirical Evaluation of a Topological Oracle for Satellite TF-QKD Simulation", submitted to the 6th International Workshop on Quantum Software Engineering and Technology (Q-SET) at IEEE QCE 2026. (Note: This v2. 0. 0 release focuses on Quantum Software Engineering (QSE) benchmarking, including GEAT integration and rigorous software contracts. For legacy physical-layer analysis and extended Persistent Homology / Topological Data Analysis (TDA) plots, please refer to the v1. 0. 0 release of this repository). Overview To address the software-engineering failure modes of implicit IID (Independent and Identically Distributed) assumptions in quantum network simulators, this artifact implements a strictly decoupled architecture for telemetry gating. By treating post-selection as a first-class software component, this framework exposes security-relevant simulation decisions to auditable, reproducible, and verifiable testing. The simulation framework integrates three core software features: Security-Aware Architecture: Enforces explicit programming contracts (Reference-only input, Causal ordering) to prevent finite-key validation layers from silently bypassing non-IID channel memory. Topological Oracle: A dual-stage validation module combining Koopman Operator temporal linearizations with Cellular Sheaf consistency checks over the network graph. Finite-Key GEAT Ledger: A GEAT (Generalized Entropy Accumulation Theorem) numerical engine that consumes the oracle's immutable binary trace (Ω) to apply rigorous finite-size and non-IID penalties. Repository Contents: simulator/: The core Python engine for the TF-QKD simulation, featuring the HMM block-fading channel and the GEAT LP solver interface. dataₚaper/: The exact exported JSON execution traces, provenance metadata, and the empirical ablation suite dataset used in Section IV of the manuscript. tools/: Python scripts to fully reproduce the QSE ablation benchmarks (Runtime, Volatility, SKR Certification) and the oracle execution traces (Figure 2). By separating telemetry gating from key-rate evaluation and recording auditable execution traces, this framework demonstrates how to render a security-relevant decision explicit and testable in complex satellite TF-QKD simulations.
Vázquez-Pozo et al. (Thu,) studied this question.