Why autonomous coding agents still need deterministic enforcement.