QA & Proof Review
Avorelo can grade proof, preserve redacted runtime evidence, and carry adapter-backed validation summaries into the runtime session and control center. In 0.3.0 this is a real, test-backed execution path with limitations, not a blanket claim that every verification mode is fully automated.
What exists today
Proof reports are built from local evidence, savings claims are refused unless comparative evidence exists, and tool-adapter proof metadata can be summarized for browser proof, CI proof, and security scan proof where those adapters are available.
Claim boundary
Avorelo does not claim tests passed without proof. If proof is missing, the result stays incomplete, skipped, blocked, or limited instead of being upgraded to done.
What it does not do
It is not a universal external test observer, and it does not mean every QA flow already has full Pro-tier end-to-end entitlement coverage. The current canonical path proves graded proof summaries and adapter-backed evidence where supported.