The block reduction's shared records: warp w's (value, token, invalid
count) at word 12 w. LDS and STS as the encoder emits them count the
address register in words (SM86.MachineModel.machineSharedAddress: byte
4 R + offset), so record w starts at byte 48 w and the eight span 384
bytes, not the 96 the records' own twelve bytes each would suggest -- the
figure this was until 2026-10-12, which only an allocation granularity
above it hid on the card.
228def greedyArgmaxSM86SharedBytes =
229 (naturalMultiply 4 (naturalMultiply 12 8))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.