Manuscript XIX-B@1 · XIX-B.tex · remark · b5670709
Remark: Two different failures
Lemma B: the detecting forcing calculation › The solution-jet membership test · lines 767–772
Proposition prop:jet-domain is an equation-space failure for the descended on-shell observable. Lemma lem:B is a forcing mismatch between well-defined off-shell coordinate prescriptions. Neither is a failure of smooth coordinate existence.