aoa-verification

aoa-verification

Intent

Start from owner meaning and observed behavior, then choose the smallest evidence form whose green result has an explicit claim limit.

Trigger boundary

Use this skill when:

• a stable producer-consumer seam, an important invariant, or a property across many inputs/states needs evidence that can reveal a meaningful break

Do not use this skill when:

• behavior or ownership is undefined, the change is private, the request is a generic test strategy, or automation would exist only to produce green status

Inputs

• owner rule, system/boundary under review, named consumers where relevant
• manual cases or failures, current checks, and available oracle

Outputs

• exactly one typed mode result: evidence package, gaps, smallest authorized durable check or no-check decision, claim limit, and termination

Procedure

1. Read references/contract.yaml and choose exactly one mode:

   Mode	Select when	Required procedure
   contract	A named consumer relies on a stable ABI, receipt, schema, tool result, or handoff.	references/contract.md
   coverage-audit	Checks exist and the question is what stable invariant they truly constrain.	references/coverage-audit.md
   property	Correctness must hold across many inputs or states.	references/property.md

2. Read the selected reference completely. Do not load unrelated mode procedures.

3. Read the authoritative owner rule before the subject implementation, checks, examples, or generated views. Use exact supplied paths directly; search only for a missing required input, not for ritual workspace orientation. Exercise expected, rejected, and motivating failure cases manually and state the oracle. Do not collect repository-wide inventories, hashes, or status unless the claim or effect boundary needs them.

4. When the exact evaluation surface is unknown or must be selected/applied, use a task-local DAG: aoa-eval.select -> aoa-eval.apply -> the chosen verification mode. A named check may be run directly as evidence inside a verification task; cross-surface discovery and application remain aoa-eval responsibilities.

5. Create durable automation only after manual evidence establishes a repeated or owner-declared long-lived rule and the active task authorizes the write. Remove session-only probes after learning.