Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45
A global gap does not provide a subsystem gap
Stage 4: hypothesis tests on explicit models › A global gap does not provide a subsystem gap · lines 1049–1053
Adding a subsystem-gap assumption would change the frozen theorem. It is not a harmless audit convenience.