All 284 empirical tests are fully reproducible from public data sources. The test suite downloads data from FRED, BEA, World Bank, OECD, Census, and other public APIs, then runs statistical tests against CES theory predictions.
git clone https://github.com/jonsmirl/thesis-tests.git
cd thesis-testspython -m venv .venv
source .venv/bin/activate # Linux/macOS
# .venv\Scripts\activate # Windows
pip install -r requirements.txtcp .env.example .env
# Edit .env and fill in your API keys:
# FRED_API_KEY=your_fred_key_here
# BEA_API_KEY=your_bea_key_hereThis fetches data from all public APIs and builds compiled datasets. Takes 5-15 minutes on first run.
python download_data.py --source allTo verify data without re-downloading:
python download_data.py --verify-onlypython run_all.pyResults are saved to results/scorecard.json.
# Run a single test
python run_all.py --test test_aggregation_puzzle
# Run all tests in a folder
python run_all.py --folder foundations
# Print last scorecard
python run_all.py --scorecard-onlyThe download script fetches from these public APIs:
A small number of hand-compiled datasets (literature values, academic paper tables) are committed in data/compiled/.
Tests are organized into 8 folders mirroring the Lean formalization:
| Folder | Paper | Tests |
|---|---|---|
foundations/ | Paper 1 | CES emergence, correlation, estimation |
curvature_roles/ | Paper 1 | Auctions, natural gradient, phase transitions |
potential/ | Paper 2 | Akerlof, Arrow, H-O, Tsallis, institutions |
dynamics/ | Paper 3 | Business cycles, crises, Onsager, Minsky |
hierarchy/ | Paper 4 | Damping, dispersion, Leontief, EMD |
entry_exit/ | Paper 6 | Firm dynamics, diversity, variety |
macro/ | Macro | Two-factor CES, growth, tax, Ramsey |
applications/ | Papers 6-7 | AI transition, stablecoins, trade |