The Viridis core service

From ecological condition to business action. No hidden leap.

A Verified Decision Chain connects ecological evidence to declared business consequences, feasible options, a bounded action state, and the accountable authority in one inspectable record.

Request a reviewed analysis →

Science-to-decision kernel map

The whole corpus, routed without turning every paper into a product.

Every public Canon record is accounted for. A callable kernel requires a DOI, exact proof receipt, closed input schema, declared units, deterministic engine, tests, recomputation warrant, scope boundary, and reviewed decision-family binding. Anything less remains research, review, or a fail-closed hold.

Canon records
215
DOI identities
102
Decision families
4
Ready locally
17
Reviewed no-runtime
37

restoration-design

Restoration and planting design

Where should restoration effort be concentrated, and what supply bottleneck limits delivery?

Restoration — nucleation planting design (Θ go/no-go + n*)
restoration
Ready locally

Deterministic theorem-backed computation; empirical input validity is external.

Run previewBacking DOI
Afforestation — cubic optimal-seeding law + site-prep lever
afforestation
Ready locally

Deterministic theorem-backed computation; empirical input validity is external.

Run previewBacking DOI
Seed-source bottleneck certificate
seed-source-bottleneck
Ready locally

Continuous one-period frozen binary-eligibility network; no field establishment, legality, procurement, or cost claim.

Run previewBacking DOI
Decision boundary: Model outputs do not establish field suitability, seed availability, land rights, permits, or ecological success.

continuity-monitoring

Continuity, monitoring, and intervention timing

Is the ecological function persisting, when should evidence trigger action, and how conservative should the operating limit be?

Carbon Continuity — wildfire recovery threshold diagnostic
carbon-continuity
Ready locally

Deterministic theorem-backed computation; empirical input validity is external.

Run previewBacking DOI
Tempo — stewardship cadence
tempo
Ready locally

Deterministic theorem-backed computation; empirical input validity is external.

Run previewBacking DOI
Moment-robust precautionary capacity certificate
precautionary-capacity
Ready locally

One-period two-moment marginal certificate; support, dependence, and estimation uncertainty require separate treatment.

Run previewBacking DOI
Anytime monitoring change certificate
anytime-change
Ready locally

Single frozen Bernoulli likelihood-ratio process; iid null and fixed model are load-bearing.

Run previewBacking DOI
Directional switching hysteresis certificate
switching-hysteresis
Ready locally

Two-state scalar-evidence myopic model with fixed directional penalties and retain-on-tie choice.

Run previewBacking DOI
Inverse-square shadow-price and capacity planner
shadow-price-capacity
Ready locally

Positive supplied coefficients only; shadow cost, budget tolerance, and P*D/C capacity are model outputs, not field costs or ecological calibration.

Run previewBacking DOI
Decision-information capacity audit
decision-information-capacity
Ready locally

Predictive-richness data ceiling; the thermodynamic minimum is applied only when the caller explicitly declares maintenance or erasure work subject to the Landauer premise.

Run previewBacking DOI
Decision boundary: Thresholds remain conditional on supplied coefficients, observation models, uncertainty moments, and declared switching costs.

governance-coordination

Governance, coordination, and information integrity

Can multiple actors coordinate without exceeding information, dissipation, or reciprocity constraints?

Harmonization — thermodynamic shadow-price coordination
harmonization
Ready locally

Deterministic theorem-backed computation; empirical input validity is external.

Run previewBacking DOI
Shared-channel coverage audit
shared-channel-coverage
Ready locally

Whitened quadratic dissipation model with a fixed orthogonal-projector channel; not empirical task calibration.

Run previewBacking DOI
Forbidden-proxy information capacity audit
invariance-capacity
Ready locally

Finite-variable mutual-information ceiling; leakage budget and measured information remain externally justified inputs.

Run previewBacking DOI
Bilateral-benefit reciprocity corridor
reciprocity-corridor
Ready locally

Two-party one-period linear payoff screen with known positive coefficients and a normative symmetric Nash rule.

Run previewBacking DOI
Multi-ring alignment capacity audit
multi-ring-alignment-capacity
Ready locally

Finite supplied factors in [0,1]; the result audits multiplicative alignment loss and does not validate ring definitions or measurements.

Run previewBacking DOI
Symbiotic reciprocity and surplus audit
symbiotic-surplus
Ready locally

Two-partner supplied-flow screen; mutualistic/parasitic labels apply only inside the declared model and do not establish consent, benefit sharing, or ecological causality.

Run previewBacking DOI
Decision boundary: Formal coordination structure does not prove stakeholder consent, legal authority, fair distribution, or empirical task calibration.

finance-risk

Natural-capital finance and coupled risk

What model-bound risk floor survives diversification, and what evidence is still required before a commercial decision?

Mutualist — natural-capital risk-premium pricing
mutualist
Blocked

Deterministic theorem-backed computation; empirical input validity is external.

Backing DOI
Ecological-thermodynamic capital allocation
thermodynamic-economic-allocation
Ready locally

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.

Run previewBacking DOI
Decision boundary: No module prices insurance, creates a credit, establishes ownership, or supplies underwriting authority without a separate accepted product warrant.

Reference availability is not certification authority.

17 deterministic previews share one unsigned service contract. Mutualist remains blocked behind its separate product warrant, and DOI-free candidates remain outside runtime admission. None of those boundaries is hidden by a runnable preview.

Run decision servicesMachine map
What travels in the chain

Every action keeps its warrant attached.

Ecological condition
What exists, changed, or remains at risk?
Model-scoped condition, function, disturbance, and uncertainty
Evidence strength
What can the organization rely on?
Source, date, method, coverage, authority, contradictions, and gaps
Business consequence
What could the condition mean operationally?
Declared cost, value, obligations, exposure, timing, and assumptions
Available options
Which responses remain feasible?
Alternatives, tradeoffs, dependencies, reversibility, and acceptance criteria
Action state
What can responsibly happen next?
Proceed, redesign, investigate, hold, or refuse
Decision receipt
Can another reviewer inspect the reasoning?
Inputs, model, formal checks, hashes, authority, version, and open questions
Worked kernel example

How one Natural Asset Continuity kernel uses the chain.

Research

Lean-checked Carbon Continuity thresholds define the conditional mathematical relationship.

Evidence

Authorized pre/post-fire observations and supplied records carry source, date, coverage, and gaps.

Compute

The workbench separates physical pools, external treatment, uncertainty, and supplied commercial terms.

Verify

The Decision Record binds method identity, inputs, hashes, limitations, and the reproducible result.

Decide

The accountable project, registry, insurer, or portfolio owner decides what can be relied on next.

Computable

The model and its inputs are explicit enough to calculate, inspect, and test.

Verifiable

Formal constraints and portable receipts expose whether the stated chain holds.

Refusable

A failed gate, absent input, or unsupported conclusion stops instead of becoming confident prose.

The Lean boundary

Formal verification strengthens the chain without pretending the model is the world.

Lean can establish: within the stated formal model, the conclusion follows from its hypotheses and declared axioms.

A recompute receipt can establish: the reference computation deterministically reproduces the published output from the published inputs.

Neither can establish: empirical accuracy, ecological validity, ownership, legal effect, registry acceptance, credit existence, future outcomes, or the correctness of a human value judgment.

New design-partner application

Verified Ecological Compliance Chain

A full-cycle chain connecting a business activity to versioned obligations, attributable evidence, recomputable controls, formal checks, external reviews, a Compliance Decision Record, and re-audit triggers.

See ecological compliance →
Bounded research kernel

Post-Fire Carbon Continuity Kernel

One specialized Natural Asset Continuity instrument for wildfire-exposed forest-carbon projects, beginning with a fixed-fee remote screen.

Inspect the kernel →
Start a decision →