Architecture-Bound Autonomy Logic