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}
  • broadcast_suboptimal: {propext, Classical.choice, Quot.sound}
  • FNT_nonvacuous: {propext, Classical.choice, Quot.sound}

Expected SHA-256

0be501a280a9737d8303f1548180be36f2dd0582793f55eca40e35f7e9fd5e3e

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}
  • sower_IB_ceiling: {propext, Classical.choice, Quot.sound}
  • seeding_efficiency_eq_cos2_theta: {propext, Classical.choice, Quot.sound}

Expected SHA-256

2e5c9544389fc3d6c534abd5c2a3296bd55261f038763ce18de0e01da2773126

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_scalar_price_minimal_sufficient: {propext, Classical.choice, Quot.sound}
  • ght_harmonization_bandwidth_from_IB: {propext, Classical.choice, Quot.sound}
  • ght_bandwidth_antitone_temp: {propext, Classical.choice, Quot.sound}
  • ght_wuwei_robustness_ratio_ge_one: {propext, Classical.choice, Quot.sound}
  • ght_wuwei_robustness_strict: {propext, Classical.choice, Quot.sound}
  • ght_nonvacuous: {propext, Classical.choice, Quot.sound}

Expected SHA-256

34e13dc64eab90af7f5b140c5073a919aa06e80e6147145efa209d1fe46eefb8

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.