A terminal coding agent that takes permissions seriously — and the Python agent runtime …