Mechanism proof
Proof
Separate neural confidence, pathway logic, formal receipts, and biological truth. Each verification surface below is its own focused page.
Figure · schematic
Sections
Pick a focused page on the proof track.
Each section is now its own page. No long-scroll. Each link below is a single, focused destination.
Mechanism verification
Pathway hypotheses, Swift checks, Lean receipts.
Combination controllers
Lean-verified cross-domain combinations.
PeptCheck v8.6 benchmark
56 scored peptide-drug entries; 100.0% full agreement.
Pathway Walk
visionOS proof topology.
Why rail
Inspectable evidence for candidate decisions.
Evidence tutor
Retrieval-grounded peptide reasoning.
In-silico lab
Assessment matrix and rejection gates.
TensFormer
Typed world-model spine.