Yosuke Yoshimura

Thank you. Your distinction between what a test directly checks and what a broader “done” claim still infers is a clear way to locate the boundary. Stating which conditions were checked and which remain assumptions makes the source of confidence much easier to see.