Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
What the templates prove
Patch C: collision coordinates and correction-role formulas › What the templates prove · lines 1118–1125
P2 is therefore complete as an explicit role-formula ledger. It does not pass the stronger frozen-parameter recovery condition. Calling the displayed parameters “specified” would not change this conclusion. The actual values must be supplied.