Open formal research · applied with an evidence boundary

From machine-checked claims to verifiable decisions about nature.

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.

Evidence boundary

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.

The research-to-field chain

One claim, one evidence trail, one accountable decision.

01Open research
Viridis Research

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.

02V1 · public foundation
ViridisOS

Evidence that can be reproduced

The V1 public foundation carries source, method version, uncertainty, limitations, formal backing, and receipt status alongside each output. External adoption remains unproven.

03Controlled beta
Viridis Conservation

Verified Decision Chains

Viridis Conservation connects appropriate research, ecological evidence, economic computation, and human approvals into one accountable chain for a real parcel or project.

Science Foundry → products

Research contributes a method—not automatic product truth.

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.

Science Foundry

Carbon Continuity after wildfire

Product
Carbon Continuity
Remote Remaining-Asset Screen
Contribution

Supplies the Lean-checked threshold, pool-accounting boundary, and reproducibility requirements used in the first packaged Decision Review.

activeRung 4 · controlled beta

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.

Science Foundry

D-Score and biodiversity condition

Product
MEASURE
Ecological condition and priority evidence
Contribution

Supplies bounded ecological-condition, connectivity, and conservation-priority calculations for a Decision Record.

candidateRung 4 · calibration required

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.

Science Foundry

HDFM and dendritic corridor mathematics

Product
VERIFY
Working-forest corridor and monitoring evidence
Contribution

Supplies graph structure, corridor calculations, remote-observation seams, and attestation inputs for working-forest review.

candidateRung 4 · field validation required

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.

Science Foundry

Afforestation and forest nucleation

Product
Stewardship
Restoration design candidate
Contribution

Provides candidate design laws for concentrating limited establishment effort and comparing planting geometry.

candidateRung 4 · research candidate

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.

Science Foundry

Native grassland stewardship

Product
Stewardship
Grassland Decision Review module
Contribution

Supplies grassland-specific condition, disturbance, carbon-floor, and woody-encroachment rules.

candidateRung 3 · legal and field review required

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.

Science Foundry

Wu Wei stewardship

Product
Stewardship
Bounded-intervention planning candidate
Contribution

Provides a candidate constraint for keeping intervention within a living system's assimilation and recovery capacity.

backlogRung 3 · research candidate

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.

Science Foundry

Public Canon and reproducible research records

Product
DATA
Public research assistant and evidence exports
Contribution

Supplies digest-checked public research records, DOI and source links, validation state, and bounded evidence exports used by ViridisOS.

activeRung 4 · controlled beta

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.

Science Foundry

Provenance, attestation, and evidence-state design

Product
ViridisOS
Every Verified Decision Chain
Contribution

Binds source, method version, computation, uncertainty, limitations, review state, and reproducibility receipt to the output.

activeRung 4 · public foundation

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.

Science Foundry

EcoChain and conservation-finance architecture

Product
FINANCE
Future legal permanence, aggregation, settlement, and payment path
Contribution

Defines guarded state transitions that could connect verified stewardship evidence to externally authorized finance.

backlogRung 3 · future held

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.

Public research record

Inspect before you trust.

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.

From research to one decision

Bring one consequential land decision. We will make its reasoning reproducible.

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 →
What you receive
  • ✓ A scoped Verified Decision Chain for one parcel or restoration project
  • ✓ Inputs, assumptions, uncertainty, and provenance kept visible
  • ✓ A reproducible method version and partner review session
  • ✓ A clear list of evidence still needed before operational use

Not included: registry accreditation, credit issuance, legal certification, or a claim that machine verification substitutes for ecological or professional review.

Justin D. Hart, founder and research lead. Research questions, replication results, and institutional partnerships: justin@viridisconservation.com