Verify

Run the builder-owned proof that a completed change boots, passes guardrails, and survives the real surface before independent review.

Principles

• Keep proof layers separate: local guardrails, focused regression checks, real-surface runtime proof, CI, and live/deploy evidence are related but not interchangeable

Boundaries

• This pass reports readiness for independent review; it never decides whether to ship.
• No stable boot, smoke, or interaction path → report blocked, name every missing prerequisite, and specify the smallest durable install, boot, test, smoke, or interaction surface required.
• Auditing existing code, a diff, branch, or PR you did not author is independent review work.
• Stale AGENTS.md, README, specs, or repo docs outside the changed contract are out of scope; report the exact drift unless it blocks verification.

Before You Start