Loop Contract Skill

An implementation of loop engineering for Claude Code: an agent is bounded by its verifier, not its model. Frozen scope, an oracle written red before the work, one proof per item, and a gate that runs the check instead of trusting a claim.