One bounded process observes Alpaca, lets the model propose or decline, applies deterministic gates, and reports official paper readback.