Auditable Zone-Resolved Dual-Memory Moisture-Admissibility Control: Formal Results, Figure Source Data, and Audit Records (v0.9.22)

This dataset accompanies the study “Auditable Zone-Resolved Dual-Memory Moisture-Admissibility Control: Formal Results, Figure Source Data, and Audit Records” (v0.9.22). The deposit contains the frozen C3 formal-number-lock files, ten-run aggregate results, S4 state summaries, D1/D2 threshold-sensitivity data, figure-source CSV/JSON files, selected audit workbooks, deterministic figure-generation scripts, equation and novelty audits, citation audits, and anonymization/provenance records. The files support verification of the reported aggregate results, regeneration of the source data used for the figures, and inspection of the methodological and provenance checks. Scientific values and units were retained. Only project-specific local paths and identifying strings were scrubbed. The deposit does not include the complete project-specific EnergyPlus model, EPW weather files, SQL/ESO/RDD/MDD outputs, internal manuscript files, author metadata, credentials, or private project information. Data and audit records are released under the Creative Commons Attribution 4.0 International license (CC BY 4.0). The included figure-generation code is released under the MIT License. Version: v0.9.22.