Exporters: feed SDPA's boolean mask to ONNX as an additive one
torchlib guards its boolean-mask softmax with an IsNaN/Where over the whole
(query, key) weight matrix; the patch already zeroes fully masked rows, so the
guard only costs time (2x on a 2520-patch vision attention on ORT CPU).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>