entire[1] + entire[2] appeared at six call sites across math/ and trove/, each
one a positional index into a six-tuple with no accessor. They agreed, and nothing made them
agree: an upstream reorder of getEntireDebtAndColl's return would have moved all seven
silently and identically, which is the failure mode docs/08-conventions.md ยง11 exists to
refuse. The ABI is generated, so a reorder is a regeneration away.
Name the tuple once (MK-094).
entire[1] + entire[2]appeared at six call sites acrossmath/andtrove/, each one a positional index into a six-tuple with no accessor. They agreed, and nothing made them agree: an upstream reorder ofgetEntireDebtAndColl's return would have moved all seven silently and identically, which is the failure modedocs/08-conventions.mdยง11 exists to refuse. The ABI is generated, so a reorder is a regeneration away.