← Proof
Mechanism proof
Why rail — inspectable evidence for candidate decisions.
The Why rail surfaces the exact evidence that drove every candidate decision, so reviewers can inspect the reasoning.
Evidence inspector
The 'Why' rail makes every candidate decision inspectable.
Decision colour answers whether a candidate can move forward. Evidence rows answer how the claim is supported and which missing assay still blocks handoff.
checkmark.seal
Variant robustness
CuratedG5 pass across GLP1R common variant contacts
info.circle
Pathway fit
Partialbody-model 2 of 3 hooks covered by evidence
exclamationmark.triangle
Safety
Missingblocks wet-lab handoff until protected edge is cleared
More on proof
Related on this track
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.
Evidence tutor
Retrieval-grounded peptide reasoning.
In-silico lab
Assessment matrix and rejection gates.
TensFormer
Typed world-model spine.
← Back to Proof index
All sections on the proof track.