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 compute-and-verification layer that connects ecological evidence to a model-bound economic or land 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.
The V1 public foundation carries source, method version, uncertainty, limitations, formal backing, and receipt status alongside each output. External adoption remains unproven.
Viridis Conservation connects appropriate research, ecological evidence, economic computation, and human approvals into one accountable chain for a real parcel or project.
Each mapping names the product contribution, its current maturity, and the next external gate. Publication or formal proof never activates a customer claim by itself.
Supplies the Lean-checked threshold, pool-accounting boundary, and reproducibility requirements used in the first packaged Decision Review.
Next gate: Authorized project evidence, decision-owner review, and field or institutional validation appropriate to the claim
Boundary: Formal verification does not establish field coefficients, registry treatment, credit validity, insurance treatment, or commercial value.
Supplies bounded ecological-condition, connectivity, and conservation-priority calculations for a Decision Record.
Next gate: Partner review, field calibration, and held-out ecological validation for the intended landscape
Boundary: A model score does not establish title, permanence, field condition, legal protection, or registry acceptance.
Supplies graph structure, corridor calculations, remote-observation seams, and attestation inputs for working-forest review.
Next gate: One field-reviewed parcel, live provider evidence, and independent ecological review
Boundary: The idealized corridor result and software checks do not prove ecological performance on a real property.
Provides candidate design laws for concentrating limited establishment effort and comparing planting geometry.
Next gate: Site-specific ecological calibration, field trial, and qualified practitioner review
Boundary: The formal model is not a universal planting prescription and has not been activated as a customer method.
Supplies grassland-specific condition, disturbance, carbon-floor, and woody-encroachment rules.
Next gate: Local ecology, grazing or fire expertise, counsel review, field evidence, and partner acceptance
Boundary: The covenant design is not a registry-approved method, executed legal instrument, or universal field rule.
Provides a candidate constraint for keeping intervention within a living system's assimilation and recovery capacity.
Next gate: Model-specific calibration, domain review, and monitored field application
Boundary: The principle is not an independently validated universal management law or active customer method.
Supplies digest-checked public research records, DOI and source links, validation state, and bounded evidence exports used by ViridisOS.
Next gate: Outside reuse, independent replication, accepted data license, and decision-specific evidence review
Boundary: Publication, downloads, repository traffic, or assistant retrieval do not establish adoption, empirical validation, or decision value.
Binds source, method version, computation, uncertainty, limitations, review state, and reproducibility receipt to the output.
Next gate: Independent verification, outside integration, repeat organizational use, and accepted delivery evidence
Boundary: A valid receipt establishes integrity and traceability, not empirical truth, institutional acceptance, adoption, or conservation impact.
Defines guarded state transitions that could connect verified stewardship evidence to externally authorized finance.
Next gate: Executed legal instrument, qualified holder, live parcel evidence, registry authority, buyer acceptance, settlement, KYC, and payout receipt
Boundary: No public credit issuance, sale, owner payout, recorded conserved acreage, or live conservation-finance network is active.
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. Research enters the workflow only when its evidence state and limitations fit the decision.
Check project fit →Not included: registry accreditation, credit issuance, legal certification, or a claim that machine verification substitutes for ecological or professional review.