Claims that can be inspected
Lean proof objects, explicit assumptions, permanent DOI records, and exact public source. A passed proof means the conclusion follows from the stated hypotheses.
Viridis publishes the mathematics, preserves the assumptions, and builds the operating layer that lets a partner test whether the research improves a real conservation decision.
Lean proves conditional mathematics; it does not establish empirical inputs, ecological effect sizes, registry eligibility, or commercial outcomes. Those require field data, domain review, and independent validation.
Lean proof objects, explicit assumptions, permanent DOI records, and exact public source. A passed proof means the conclusion follows from the stated hypotheses.
A decision layer that carries source, method version, uncertainty, and verification status alongside each output. It is currently offered for evaluated pilot use.
Parcel, stewardship, monitoring, and report workflows that turn the research discipline into usable conservation operations.
Every public surface has a distinct job: DOI records preserve releases, GitHub exposes executable source, the canon explorer makes scope and limitations legible, and ORCID anchors the human researcher.
For a land trust, restoration developer, or forestry adviser with one real parcel or project. The pilot is paid; scope, inputs, delivery date, and fee are agreed before work begins.
Apply for the founding pilot →Not included: registry accreditation, credit issuance, legal certification, or a claim that machine verification substitutes for ecological or professional review.