← Proof
Mechanism proof
Pathway Walk — visionOS proof topology.
The visionOS proof-topology view, walking a reviewer through the verified mechanism step by step.
visionOS · Pathway Walk
Walk the proof. The pathway is the room.
The canonical GLP-1 to insulin secretion walk lays six proof nodes around the viewer. Lean theorem certificates render next to verified waypoints, the blocked adverse edge glows red, and the comparison toggle renders a ghosted peptide beside the active candidate.
GLP-1 pathway topology · 6 proof nodes · 1 blocked adverse edge
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.
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.
← Back to Proof index
All sections on the proof track.