Verified spine
Gate-passed Lean modules
—
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.
Formal verification establishes conditional mathematics. It does not manufacture empirical truth.
CANON / LIVE INDEX
deterministic
THE SPINE
İ(τ) ≤ min(ρB, P / kBT ln 2)
Given the named Landauer and richness premises, the certified model bounds learning rate by the minimum of these limits.
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
Published corrections
Read the scoped releases.
These links identify the corrected publications and their stated premises. Their certificates apply to the bound claims; they do not admit older repository modules into the verified spine.
Weekly Methods Digest
Read the individually scoped notes.
Each shared DOI collects notes with their exact statements, model premises and certification labels. The collection has no aggregate theorem certificate and does not admit repository modules into the verified spine.
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.
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
The catalog could not be loaded. The repository data file may be unavailable.
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-
01
Verify the mathematics
Lean compilation, zero
sorry, and an explicit axiom allowlist. -
02
Gate the significance
Non-vacuous, non-trivial, novel, falsifiable, and honestly scoped.
-
03
Require human publication
No autonomous minting. Public admission remains an explicit human decision.
-
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