Manuscript Psy03-C@1 · Psy03-C-v1.tex · proposition · d3380b90

Proposition: Voice-label permutation is invisible to the blend

Probe geometry and exact task references › The unused voice labels · lines 1212–1224 · proof included or linked

Psy03-C@1#prop:voicelabels

Back to manuscript

Changing only the labels attached to the supplied voice coordinates leaves the blended evaluator unchanged.

Proof. evaluate_blended_probe receives visual coordinates, voice coordinates, visual labels, and a blend ratio. It never reads voice labels. Neither the blended coordinates nor their reference labels change under a voice-label permutation.

Nearby in this section