# SPDX-License-Identifier: PMPL-1.0-or-later
---
### [META]
id: "verification-pillar"
level: 1
parent: "../0-AI-MANIFEST.a2ml"

---
### [AI_MANIFEST]
description: |
  Primary verification pillar. Contains evidence for correctness,
  performance, formal proofs, randomized testing, and aerospace-grade
  high-assurance metrics (MC/DC coverage, traceability, safety cases).

canonical_locations:
  tests: "tests/"
  benchmarks: "benchmarks/"
  proofs: "proofs/"
  fuzzing: "fuzzing/"
  simulations: "simulations/"
  coverage: "coverage/"
  traceability: "traceability/"
  safety_case: "safety_case/"

invariants:
  - "Evidence MUST be reproducible and documented"
  - "High-assurance deployments MUST satisfy traceability and safety_case requirements"
