This archive contains the reproducibility artifact for the paper “Statistical Model Checking of the Keynes+Schumpeter Model: A Transient Sensitivity Analysis of a Macroeconomic ABM”. The artifact provides all material needed to reproduce the final paper-facing experimental campaign, consisting of twelve experiments (E1..E12) over three observables: unemployment, GDP growth, and firm-1 market share. The package includes: - the artifact source files and documentation; - the runtime payload and execution scripts; - a prebuilt container image for offline evaluation; - the paper PDF included in the AE submission package. The recommended evaluation workflow is to load the included prebuilt container image and run the provided scripts for: - a quick check; - a representative subset of the paper experiments; - the full experimental campaign.