AggPartitionPastGrant	crates/gravity/driver/src/mem/batch.rs	pin_region	lifetime	D3582	a batched owner's partition whose records alone pass the grant is folded whole in a region grown for it, one partition level (seed correction, main 2026-10-12T06:16:02Z (Q1))	hash aggregate	A GROUP BY hash aggregate that spilled and reads its groups back one batch at a time still holds a whole partition in memory when that partition alone passes its memory share, where PostgreSQL splits such a batch again, so it can use more memory than PostgreSQL; when the server has no more memory to give it, Gravity holds that partition in a temporary file instead, more slowly, and the statement still answers.
