Announcement_9

New blog post: What the agent may do — verified authority envelopes for AI agents in GitHub workflows. A Lean-verified checker decides, for sessions of any length, what a coding agent’s session is permitted to do; the model is validated against the action’s own code and measured across public workflows. Code, benchmark, and corpus.