Manuscript XIX-D@1 · XIX-D.tex · section · 1f47e33b
Pure-trace tests have an explicit blind sector
Witness data do not determine kernels or admission › Pure-trace tests have an explicit blind sector · lines 608–614
The free solution family in the proof is a comparison domain, not the complete VI solution-jet domain or the inherited XI-G class. The proposition does not assert nonuniqueness of a kernel constructed from a complete set of root inputs.