Validation and proof in DAROS

A practical guide to evidence levels, runtime observations, and the limits of public assurance claims.</p><p class="text-foreground/60 leading-relaxed mb-4"><h2 class="ds-heading-lg mt-10 mb-4">Key points</h2></p><p class="text-foreground/60 leading-relaxed mb-4"><li class="ml-4 text-foreground/60">Documented scope and explicit limitations</li> <li class="ml-4 text-foreground/60">Operational decisions under human control</li> <li class="ml-4 text-foreground/60">Traceability without absolute guarantees</li> <li class="ml-4 text-foreground/60">Validation adapted to the deployment</li>