claims
Unknown State
Missing evidence does not become a safe claim.
public-now
limitation-backed
Lack of evidence is not treated as safe success
When the runtime cannot observe enough evidence, Ardur must return a denial or unknown state instead of claiming a compliant result. This is part of the security model and known-limits story.