The Seed-Source Bottleneck Certificate: A cut condition for climate-aligned afforestation supply networks

Abstract

Proof-reconciled generated exploration applying an established capacitated Hall/min-cut construction to declared seed-routing inputs. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty have not been independently established.