Tests written by the caller taken as independent proof

Caller-authored tests cannot independently establish correctness.

Code caller_oracle. Severity: medium.

Guarded today by

Nothing in the library guards against this yet.

No component declares that its own use can cause it.