Safety — research-use boundaries.

DiscoveryLab is for drug research, discovery planning, and candidate prioritization. It is not a substitute for regulatory review, clinical judgment, laboratory validation, toxicology, or controlled studies. Formal verification means the encoded claims follow from encoded assumptions; it does not prove that the biology is complete or clinically true. The claim ledger keeps heuristic triage, reduced physics, calibration artifacts, formal checks, and wet-lab observations separate.

• ▢no clinical claims
• ▢no diagnostic use
• ▢no automated prescribing
• ▢formal claims tied to assumptions
• ▢no calibrated probability without artifact
• ▢evidence gaps surfaced explicitly
• ▢heuristics labelled as triage only