01
Frame the decision
Set the question, ecological goals, economic constraints and alternatives. Start with what you know.
Viridis Conservation · powered by Viridis Ecological OS
The ecological OS for business, industry and conservation.
Bring your decisions, ecological evidence and economic tradeoffs into one workflow. Viridis helps teams and their agents frame a question, compare supported options, review the evidence and keep an inspectable record of the result.
Free fit checks and illustrative scenarios · scope and fee agreed before reviewed work.
For land stewardship and community conservation, visit VergeCommon .
02
Check the evidence
Identify applicable methods, authorized inputs and gaps. Keep unsupported effects unknown.
03
Compare your options
Explore supported scenarios, declared costs and assumptions. Preserve the evidence with each result.
04
Review and decide
Request a scoped, paid review and agreed report. Your team determines the next action.
Choose your next step
The question leads. The method follows.
Business
Compare ecological investment options against declared budgets and evidence.
Compare investments →Industry
Frame operating alternatives, resource limits and ecological constraints for a fit check.
Evaluate operations →Conservation
Compare protection, restoration and mixed management under stated assumptions.
Prioritize conservation →Your working record
The scenario workspace compares declared budgets and optional resource allocations. Save a scenario on your device or export the report and structured record, with inputs, assumptions and method versions attached.
Open the scenario workspace →Your reviewed engagement
Sign in to track a request, review its scope and quote, and access the agreed deliverable. Evidence review and human judgment are scoped services. Agents can generate an automated report and hand off separately for human review.
Sector examples help frame the work; they are not prevalidated industrial or ecological simulations. Method fit determines what can be computed and what remains unknown.
Inspect the research foundation
The Intelligence Bound is the architectural root.
Every composed decision records the root assessment. Quantitative constraints are applied only when units, assumptions and scientific mapping are justified. Specialized models connect through explicit contracts, with derivation, shared assumptions and constraint compatibility distinguished.
Controlled research-to-product lifecycle
New research produces a reviewable change.
The existing nightly science engine works with established knowledge and formal artifacts. It proposes models and candidate results. Candidate discovery is not accepted science, and a passed proof is not empirical validation.
- 01
Established knowledge
Literature, explicit assumptions, existing formalizations and prior Viridis results.
- 02
Candidate connection
Proposed connections retain citations and novelty uncertainty.
- 03
Explicit model
Definitions, domains, assumptions and failure cases are stated.
- 04
Formal statement
A frozen statement identifies exactly what is being claimed.
- 05
Proof checking
Pinned toolchains, dependencies and exact verification receipts are inspected.
- 06
Implementation & tests
An executable contract is checked against its limited formal model.
- 07
Scientific & engineering review
Publication merit, runtime utility and empirical status are reviewed separately.
- 08
Versioned kernel release
Reviewed source and implementation hashes enter an explicit release lock.
- 09
Adoption by Viridis OS
A deliberate runtime release changes new decisions; saved records retain their pins.
Empirical validation runs as a separate evidence track. Nightly output does not automatically alter production, issue a customer decision, or rewrite a saved scenario.
Explore the supported methods
Inspect a method before applying it.
Viridis Ecological OS provides the versioned analytical foundation. These published methods and public examples expose the inputs, evidence requirements and limits behind a result.
Live product inventory
Science becomes a kernel only after both gates pass.
The scientific gate establishes the bounded mathematics. The product gate separately requires a deterministic engine, closed input schema, units, fixtures, recomputation warrant, scope boundary, and DOI-backed provenance. Research that lacks that operational contract remains visible without being sold as a decision tool.
- Runtime modules ready
- 17
- Comparator-backed wave
- 8
- Published · research only
- 37
- Blocked honestly
- 1
Restoration
ReadyRestoration — nucleation planting design (Θ go/no-go + n*)
Deterministic theorem-backed computation; empirical input validity is external.
Restoration
ReadyAfforestation — cubic optimal-seeding law + site-prep lever
Deterministic theorem-backed computation; empirical input validity is external.
Governance / OS Modules
ReadyHarmonization — thermodynamic shadow-price coordination
Deterministic theorem-backed computation; empirical input validity is external.
Risk & Insurance
ReadyCarbon Continuity — wildfire recovery threshold diagnostic
Deterministic theorem-backed computation; empirical input validity is external.
Stewardship & Governance
ReadyTempo — stewardship cadence
Deterministic theorem-backed computation; empirical input validity is external.
Thermodynamic control
ReadyShared-channel coverage audit
Whitened quadratic dissipation model with a fixed orthogonal-projector channel; not empirical task calibration.
Alignment and information governance
ReadyForbidden-proxy information capacity audit
Finite-variable mutual-information ceiling; leakage budget and measured information remain externally justified inputs.
Stewardship risk
ReadyMoment-robust precautionary capacity certificate
One-period two-moment marginal certificate; support, dependence, and estimation uncertainty require separate treatment.
Symbiotic information exchange
ReadyBilateral-benefit reciprocity corridor
Two-party one-period linear payoff screen with known positive coefficients and a normative symmetric Nash rule.
Monitoring integrity
ReadyAnytime monitoring change certificate
Single frozen Bernoulli likelihood-ratio process; iid null and fixed model are load-bearing.
Restoration
ReadySeed-source bottleneck certificate
Continuous one-period frozen binary-eligibility network; no field establishment, legality, procurement, or cost claim.
Decision stability
ReadyDirectional switching hysteresis certificate
Two-state scalar-evidence myopic model with fixed directional penalties and retain-on-tie choice.
Intervention planning
ReadyInverse-square shadow-price and capacity planner
Positive supplied coefficients only; shadow cost, budget tolerance, and P*D/C capacity are model outputs, not field costs or ecological calibration.
Alignment and information governance
ReadyMulti-ring alignment capacity audit
Finite supplied factors in [0,1]; the result audits multiplicative alignment loss and does not validate ring definitions or measurements.
Symbiotic information exchange
ReadySymbiotic reciprocity and surplus audit
Two-partner supplied-flow screen; mutualistic/parasitic labels apply only inside the declared model and do not establish consent, benefit sharing, or ecological causality.
Monitoring integrity
ReadyDecision-information capacity audit
Predictive-richness data ceiling; the thermodynamic minimum is applied only when the caller explicitly declares maintenance or erasure work subject to the Landauer premise.
Ecological economics & capital allocation
ReadyEcological-thermodynamic capital allocation
Run-139 one-period, divisible-retrofit, fixed-coefficient, quadratic-friction, single-budget scenario. All burden values, prices, costs, and authority flags are user-supplied and remain empirically unvalidated.
View the 37 published papers held as research-only
These papers passed their scientific publication gates. Their reviewed product routes do not justify an operational runtime wrapper, so they remain research inputs rather than customer-facing kernels.
Run-120 · CASTVerified computational methodsRun-121 · ISBVerified computational methodsRun-122 · ZABVerified computational methodsRun-123 · HCFVerified computational methodsRun-124 · PCSVerified computational methodsRun-132 · DSWCVerified computational methodsRun-133 · CODCVerified computational methodsRun-134 · RAACworking-corpusRun-135 · SSCVerified computational methodsRun-136 · RFCVerified computational methodsRun-137 · SACVerified computational methodsRun-138 · GACCVerified computational methodsRun-140 · SORVerified computational methodsRun-141 · SESLThermodynamic control methodsRun-142 · BCANVerified computational methodsRun-143 · RCBNVerified computational methodsRun-144 · SBRNVerified computational methodsRun-145 · ACCNVerified computational methodsRun-146 · DCAEVerified computational methodsRun-147 · TDCILVerified computational methodsRun-148 · FRCSVerified computational methodsRun-149 · SFBVerified computational methodsRun-150 · DPACVerified computational methodsRun-158 · DREAAVerified computational methodsRun-160 · DSURVerified computational methodsRun-156 · MRRNVerified computational methodsRun-161 · RCBXVerified computational methodsRun-164 · RECBVerified computational methodsRun-153 · RRFGVerified computational methodsRun-162 · SARNVerified computational methodsRun-154 · SBCNVerified computational methodsRun-159 · SDPNVerified computational methodsRun-155 · SVONVerified computational methodsRun-157 · TCTSIVerified computational methodsRun-151 · TLRCVerified computational methodsRun-152 · TRSEVerified computational methodsRun-163 · UDWLVerified computational methods
This catalog reports ViridisOS implementation and warrant state. Public previews remain unsigned reference computations; production certification requires a separately authorized, evidence-bound Viridis review.
Example research kernel
Post-Fire Carbon Continuity Kernel
This is one bounded instrument within the Natural Asset Continuity decision family, not the Viridis Conservation platform itself. The public manifest pins the runtime identity, DOI, Lean source hash, evidence requirements, output states, and authority boundary. The source is inspectable; production signing authority is not part of the public runner.
- Runtime
- viridis.carbon-continuity-threshold.v1
- Public authority
- Unsigned · not Viridis-reviewed
- Formal backing
- DOI 10.5281/zenodo.21855690
- Input evidence
- Source, method, date, class, uncertainty
- Fail-closed states
- EVIDENCE_BOUND_MODEL_OUTPUT · HOLD_WEAK_COEFFICIENT_EVIDENCE · DOMAIN_VALIDATION_REFUSAL
Run one published example
See the kernel fail closed.
The runner uses a fixed illustrative test vector. Its coefficients are explicitly assumed, so the result remains held for weak evidence even when the model threshold is met.
a
0.6
d
0.8
r
0.4
p
0.2
Verify for free
Recompute an unsigned receipt.
Paste a public receipt or run the example to load one automatically. Verification checks its schema, kernel output, and digest; it does not turn the receipt into a Viridis-reviewed deliverable.
Where the paid work begins
Real evidence needs accountable judgment.
Viridis defines the decision and acceptance criteria, acquires and reconciles authorized evidence, records unknowns and refusal states, configures the public kernel version, performs human review, and delivers a reviewed report with source provenance and explicit limitations.
Customer data, credentials, and review notes remain outside the public examples. Human review does not turn an unsigned model result into a certified ecological outcome.
Reviewed ecological-economic analysis
Bring one decision, your ecological goals, and the costs or constraints that matter. Viridis confirms evidence, method fit, human review, and a supported deliverable. Agree the scope, fee, timing, and acceptance criteria before paid work begins.
Request a reviewed analysisSee services and pricingAuthority boundary
Public runs are unsigned reference computations. They are not Viridis-reviewed decisions or certificates.
The proof establishes the mathematics within the model. It does not prove field calibration, insurance eligibility, a premium or reserve, credit validity, or an underwriting or registry decision.