Defined universe
Enumerate the sources or objects capable of disproving the absence claim.
Evidence ceiling E3Proof boundary
NEGATIVE FINALITY
No observation is not proof of absence.
A negative claim can become FINAL only when the observation universe is defined, required sources are covered, the observation window is closed and no prohibited match exists.
Required proof
Defined universe → coverage → complete window → no prohibited match.
Missing or unobserved required sources keep the claim PENDING_FINALITY.
Coverage proof
Show every required element was observed.
Completeness contract
Bind the authoritative evidence universe before evaluation.
Time window
The window must close before the absence claim can finalize.
Contradiction
Any prohibited match immediately defeats the negative claim.
Use cases
Revocation, fraud, sanctions, security, privacy and compliance.