The distinction between what is directly observed and what is merely declared is where this tension usually shows up. When a test passes, it confirms an exact condition under controlled inputs, but calling a fix done often leans on unstated assumptions about how the broader system behaves. Explicitly noting whether a condition was directly checked or inferred makes it much easier to see where confidence actually comes from.