Every claim on this page is public, versioned, and reproducible — code, tests, and reports are one click away.
The core properties AIC is designed to guarantee, with the evidence that exercises them.
| Claim | Status | Evidence |
|---|---|---|
| Delegation Integrity Every granted capability traces to a principal signature covering it. |
Verified | Conformance vectors + end-to-end tests |
| Issuer / Principal Separation CA compromise alone cannot mint new principal authorization. |
Verified | Design review + adversarial tests |
| Monotonic Delegation Effective capability only shrinks along a delegation chain. |
Verified | Permission-matrix tests |
| Gateway Non-Expansion P_effective ⊆ P_principal ∩ C_agent ∩ P_gateway. |
Verified | End-to-end permission matrix |
| Expiration After validity ends, ALLOW = false. |
Verified | Validity + revocation tests |
| Replay Resistance Nonce uniqueness plus verifier-side tracking. |
Verified | Anti-replay tests |
Documented hardware (32 GB RAM, MariaDB persistence), rerunnable from the repository.
An independently implemented EMILIA crossing profile reproduced 13/13 positive and adversarial cases; the joint conformance kit is being published.