Example. A lost evaluator caveat reverses admissibility [ftip-00CU]
Example. A lost evaluator caveat reverses admissibility [ftip-00CU]
Take two complete archives \(A_{\rm exp}\) and \(A_{\rm cert}\). Both contain the same numerical score and candidate record. The first additionally states that the evaluator is safe only for exploration; the second states that the score is independently certified. Let the summary operator omit that status sentence, so \(A_{\rm exp}\sim _C A_{\rm cert}\).
The independently correct decision is ``audit'' for \(A_{\rm exp}\) and ``merge'' for \(A_{\rm cert}\). A summary-only kernel has the same decision law in both cases by Theorem [ftip-00CS]; hence it cannot be correct on both archives with probability one.
This finite witness models an information loss. It does not assert that every compaction loses a decisive caveat.