Numerical Evidence Dataset for Compositional Residual Abstractions for Stateful Services in Safety-Critical Networked Control

Publication-facing numerical evidence dataset supporting the article “Compositional Residual Abstractions for Stateful Services in Safety-Critical Networked Control: Semantics, Viability, and Information Complexity”. The dataset contains numerical evidence for the UAV, nonlinear CSTR, and finite full-history task studies, including calibrated parameter tables, exact finite task-value profiles, certified conflict-graph data, residual/task evidence, and sanitized provenance summaries. The dataset is derived from the canonical R13 numerical freeze. Exact finite-domain conclusions apply only to the declared finite plant-anchor, action, service-transition, and horizon sets specified in the associated article. Finite-grid safety certification is not identified with a continuous-state maximal viability kernel, and coordinate metrics are not identified with behavioral residual metrics without an explicit comparison result. Third-party raw packet captures are not redistributed. Internal development logs, failed or temporary runs, machine-local paths, duplicated archives, and internal formal-audit material are excluded.