01
Inspect
Read the kernel identity, formal backing, assumptions, states, and source.
ViridisOS · open verification infrastructure
Inspect the kernel. Verify the receipt. Pay for accountable application.
ViridisOS makes the computation and its limits inspectable. Viridis Conservation scopes the question, reconciles authorized evidence, configures the kernel, reviews uncertainty, and delivers the signed, versioned custom report.
02
Run
Execute one fixed illustrative input without an account or customer data.
03
Verify
Recompute the output and receipt digest through the public verifier.
04
Apply
Bring real evidence into a scoped, paid, human-reviewed engagement.
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 signed custom report with its provenance.
Customer data, credentials, review notes, and production signing keys remain outside the public system.
Viridis Conservation engagement
Bring one bounded ecological decision. Viridis scopes the evidence, kernel fit, human review, and accountable deliverable before work begins.
Check project fitAuthority 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.