# SPDX-License-Identifier: PMPL-1.0-or-later
---
### [META]
id: "interface-seams-unit"
level: 2
parent: "../0.1-AI-MANIFEST.a2ml"

---
### [AI_MANIFEST]
description: |
  Consolidated "Verified Interface Seams" unit. This directory unifies the
  formal specification (ABI), the bridge implementation (FFI), and the
  resulting artifacts (Generated).

canonical_locations:
  abi: "abi/"
  ffi: "ffi/"
  generated: "generated/"

invariants:
  - "ABI MUST be Idris2 (.idr)"
  - "FFI MUST be Zig (.zig)"
  - "Generated artifacts MUST be C-compatible"
  - "The 'Truth' lives in abi/; the 'Implementation' lives in ffi/"
