One bounded process observes Alpaca, lets the model propose or decline, applies deterministic gates, and reports read-only evidence.