Bilevel renovation-subsidy design for the EPBD trajectory: model, data and results of record (P4, version pl12)

Julia/Gurobi implementation of a bilevel (Stackelberg) model in which the state sets renovation-subsidy rates by measure, income group and tenure to bring a national residential building stock onto its EPBD primary-energy trajectory at minimum public spending, while owner-occupiers and public and private landlords decide on renovation in their own economic interest. Poland case on the 2021 census stock; version pl12 fixes the 2020-2025 history and designs subsidies from 2026. The release contains the model code, the search and local-proof scripts, the input data (except third-party source documents), the pl12 results of record (all run folders, certificate logs, summary tables, figures, the numbers sheet of the paper) and the review follow-ups of 8-9 November 2026 (prefix rev12). Code under MIT; data, results and figures under CC BY 4.0; Invert/EE-Lab-derived inputs published with the permission of e-think energy research (November 2026; see INVERT_DERIVED.md).