Coverage-certified absence
CCA makes the basis of a record-side absence statement machine-verifiable. It records what sources or partitions were actually searched, the state of that coverage, the subject bindings used, relevant time scope, and the rules controlling how strong a conclusion may be.
The supplementary architecture extends the concept into comparative and aggregate intelligence, where the validity of a ranking or portfolio-level conclusion depends on the coverage supporting every subject involved.
