# QUALITY GATES

## gate-completeness

- Invariant: required artifacts exist and are non-empty.
- Pass condition: all required files are present with required sections.
- Fail condition: any missing required artifact or empty required section.
- Evidence: file list + section checks in `EVIDENCE_LOG.md`.

## gate-correctness

- Invariant: behavior satisfies spec acceptance criteria.
- Pass condition: mapped tests pass and no unresolved critical failures.
- Fail condition: failing mapped test, unresolved regression, or invalid provenance.
- Evidence: test output and verification report pointers.