90 seconds led by proof, structure, and spatial reasoning.
The reel opens with the thesis, follows a candidate through claim-bounded evidence gates, then moves into the visionOS Pathway Walk where Lean theorem certificates become the room.
The thesis
A drug-discovery workbench that proves what its candidates — and their combinations — are allowed to claim.
Program
Five-workspace macOS canvas with progress-ribbon navigation, recommendation card, and next-best-action decision.
Discover
BioScout left rail, compact working set, and selected candidate lineage in one canvas.
Evidence
Scientific claim ledger, calibration state, Lean audit drawer, checksum-bound theorem receipts, and assay status.
Molecule
AlphaFold DB receptor ribbon, contact-labelled pocket, residue-first inspector, and candidate comparison.
Pathway Walk
visionOS room-scale GLP-1 proof walk with one blocked adverse edge.
Handoff
LabSpace batch handoff returns wet-lab results into the portfolio.
Apple Design Awards · Innovation
Formal mechanism proofs become spatial architecture in visionOS.
Apple Design Awards · Inclusivity
Evidence confidence, decision state, and missing claims are visible without requiring domain memory.
Information is Beautiful
The app turns invisible assay preconditions into auditable, navigable evidence surfaces.
Core77 Interaction
One workflow connects program setup, discovery, evidence, portfolio decisions, and handoff.