Viridis Canon Public research infrastructure

Open canon · Versioned evidence

Research you can
actually inspect.

A living map of Viridis research—showing what is machine-checked, what remains working science, and what has been quarantined. Every public record carries its source fingerprint and honest scope.

Explore the canon Open research map How to read the evidence

Formal verification establishes conditional mathematics. It does not manufacture empirical truth.

CANON / LIVE INDEX deterministic
THE SPINE İ(τ) ≤ min(ρB, P / kBT ln 2)

Intelligence production remains bounded by biospheric information and thermodynamic power.

Verified spine Gate-passed Lean modules
—
Working corpus Visible, not canon-admitted
—
Quarantine Held with reasons
—
Catalog fingerprint loading…
— public records
— theorems + lemmas
— front-facing flagships
SHA-256 source + record integrity

Connected research graph

The canon as a
living mind map.

Explore the relationships among the verified spine, flagships, and working research. Search to isolate a concept, drag any node, zoom with the trackpad or mouse wheel, and select a record to read its abstract and open the full paper or source.

Loading research relationships…

Drag nodes · Scroll to zoom · Select a node to read the abstract

Public research catalog

Follow the evidence,
not the mythology.

Search the formal spine, selected flagships, and the wider working corpus. Status labels are claims about process—not substitutes for peer review or field validation.

0 records visible

Credibility architecture

One label is never enough.

Viridis separates mathematical verification, scientific meaning, and real-world validation. A result moves forward only when its evidence—not its name—earns the next state.

Read the claims matrix
  1. 01
    Verify the mathematics

    Lean compilation, zero sorry, and an explicit axiom allowlist.

  2. 02
    Gate the significance

    Non-vacuous, non-trivial, novel, falsifiable, and honestly scoped.

  3. 03
    Require human publication

    No autonomous minting. Public admission remains an explicit human decision.

  4. 04
    Pursue external validation

    Peer acceptance, credible collaboration, or a real-world adopter—not download counts.

A separate institutional lane

Your research deserves
an evidence operating system.

Viridis Canon Core can index a private institutional corpus with the same deterministic records, review states, provenance, and public/private boundary used here.

  • Private research workspaces
  • Human review and quarantine queues
  • Versioned public releases
  • Machine-readable evidence for agents
Reproduce or challenge a result