Manuscript En07-C@1 · En07-C.tex · section · 3f7e9ebb
Finite matrix certificates
Approximate complement certificates and finite tests › Finite matrix certificates · lines 1177–1182
A positive residual witness establishes dependence on some logical input. It does not establish residual-only recovery of the entire code.