Manuscript XV-F@3 · XV-F-v3.tex · remark · d4e74afa
Remark
Source manifest (Gate F0) › The coordinate-response line and the candidate reduction · lines 1283–1288
Proposition prop:reduction is one-directional. The index placement in (eq:K8)–(eq:K9) versus in (eq:K5a) is XIV-I's; no lowering convention is supplied, and none is introduced.