Cuts a prompt to its minimum effective length — same behavior, fewer tokens, receipts for every cut.