Research · independent recomputation

Recompute the reference outputs

These static files require Python 3 only. No Viridis account, API, or Viridis infrastructure is required, and the downloads carry no download telemetry.

Reproducing a published hash verifies computational reproducibility of the reference runtime output and the stated conditional mathematics only. It does not validate empirical inputs, ecological validity, registry status, or the existence of any credit. A matching hash is not, by itself, proof that Python and Lean are equivalent implementations.

Restoration

Backing theorem: Forest Nucleation Theorem (FNT) · 10.5281/zenodo.20982979

Kernel-emitted per-theorem axiom sets
  • critical_nucleus: {propext, Classical.choice, Quot.sound}
  • barrier_half_identity: {propext, Classical.choice, Quot.sound}
  • FNT_nonvacuous: {propext, Classical.choice, Quot.sound}

Expected SHA-256

4ff23dad0639b69ddcb8fd19d4e3aace8116fa6dd85bfb07ab4f62c43e030fb7

Download published_inputs.jsonDownload recompute.pyDownload receipt

Run exactly

python3 recompute.py --inputs published_inputs.json --output expected_output.json
shasum -a 256 expected_output.json

Afforestation

Backing theorem: Afforestation Stewardship Theorem (AST) · 10.5281/zenodo.21168224

Kernel-emitted per-theorem axiom sets
  • establishment_efficiency_cubic_in_drive_over_tension: {propext, Classical.choice, Quot.sound}
  • site_prep_halving_sigma_eightfolds_efficiency: {propext, Classical.choice, Quot.sound}
  • homogeneous_limit_recovers_fnt: {propext, Classical.choice, Quot.sound}

Expected SHA-256

000c236842d2868dd99204c8df5fd0fdc7fee30d8289a4e91092ce4bf709fed5

Download published_inputs.jsonDownload recompute.pyDownload receipt

Run exactly

python3 recompute.py --inputs published_inputs.json --output expected_output.json
shasum -a 256 expected_output.json

Harmonization

Backing theorem: Gaian Harmonization Theorem (GHT) · 10.5281/zenodo.21168212

Kernel-emitted per-theorem axiom sets
  • ght_best_response_minimizes: {propext, Classical.choice, Quot.sound}
  • ght_market_clears: {propext, Classical.choice, Quot.sound}
  • ght_equimarginal: {propext, Classical.choice, Quot.sound}
  • ght_strong_duality_decentralized_eq_centralized: {propext, Classical.choice, Quot.sound}
  • ght_nonvacuous: {propext, Classical.choice, Quot.sound}

Expected SHA-256

0616595802dfcf28a062e6360b789c9dae9febf10b48c538205baccb6f73039f

Download published_inputs.jsonDownload recompute.pyDownload receipt

Run exactly

python3 recompute.py --inputs published_inputs.json --output expected_output.json
shasum -a 256 expected_output.json

Carbon Continuity

Backing theorem: Carbon Continuity Theorem · 10.5281/zenodo.21855690

Kernel-emitted per-theorem axiom sets
  • carbon_continuity_boundary_stationary: {propext, Classical.choice, Quot.sound}
  • carbon_continuity_nonvacuous: {propext, Classical.choice, Quot.sound}
  • carbon_continuity_strict_threshold_growth: {propext, Classical.choice, Quot.sound}
  • carbon_continuity_threshold_iff: {propext, Classical.choice, Quot.sound}
  • carbon_continuity_threshold_necessary: {propext, Classical.choice, Quot.sound}
  • carbon_continuity_threshold_sufficient: {propext, Classical.choice, Quot.sound}

Expected SHA-256

fc040d2a05834898b28d5115bd40a00c0e8e8b8248cbe9a5718a143808ddd270

Download published_inputs.jsonDownload recompute.pyDownload receipt

Run exactly

python3 recompute.py --inputs published_inputs.json --output expected_output.json
shasum -a 256 expected_output.json

Tempo

Backing theorem: Stewardship Tempo Theorem · 10.5281/zenodo.20705183

Kernel-emitted per-theorem axiom sets
  • Sigma_strictConvexOn: {propext, Classical.choice, Quot.sound}
  • tempo_floor: {propext, Classical.choice, Quot.sound}
  • tempo_optimum: {propext, Classical.choice, Quot.sound}
  • tempo_unique_minimizer: {propext, Classical.choice, Quot.sound}
  • haste_neglect_cosh: {propext, Classical.choice, Quot.sound}
  • governability_tax: {propext, Classical.choice, Quot.sound}

Expected SHA-256

117469bb2ba8c5831bfd0d5455cf9044cbed8dbd9c8fa9966ce37c1238b9c0db

Download published_inputs.jsonDownload recompute.pyDownload receipt

Run exactly

python3 recompute.py --inputs published_inputs.json --output expected_output.json
shasum -a 256 expected_output.json

Read the broader claim boundary in Research and Methodology.

Start a decision →