Observation-Preserving Runtime Gates and Semantics for Adaptive Learning (higher-categorical-semantics.pages.dev)