Enclosures are code objects. Trays group basic blocks. Each small box is one opcode; arrows inside a tray show instruction order. Gold: taken branch · green: continuation/jump · dashed violet: observed Python call.