Co-Clearing Shared Distributed-Energy-Resource Flexibility Across TSO and DSO Markets — Verification Bundle: Evaluation Harness, Raw Results, Derived Tables and a Self-Contained Verifier

Complete verification bundle for the manuscript "Co-Clearing Shared Distributed-Energy-Resource Flexibility Across TSO and DSO Markets: A Merit-Order Algorithm with Verifiable Settlement" (submitted to Smart Energy, Elsevier, 2026). The paper analyses what happens when one fleet of small distributed energy resources (DERs) is offered simultaneously to a transmission system operator for balancing and to a distribution system operator for congestion management, so that the two markets contend for the same physical headroom within a single 15-minute interval. This deposit contains everything needed to reproduce every number the paper claims. The bundle is self-contained. The four experiment scripts are pure numpy/scipy generators seeded at 20260629; they read no external data file, require no network access and use no restricted input. Running verify_results.py (Python standard library only) re-derives all 75 headline claims of Sections 6.3–6.5 and Supplementary S3–S6 from the raw results and prints a PASS/FAIL line for each; it exits 0 when every claim reproduces. Re-running the harness reproduces results_raw/ bit-for-bit, with the sole exception of the wall-clock timing fields, which are machine-dependent.