ATF-Compliant
- ATF-INV-001 — Monotonic Authority Reduction enforced
- ATF-INV-002 — ML-DSA-65 signature on every receipt
- ATF-INV-003 — Chain traces to TIER-1 human root
- ATF-INV-004 — Budget ceiling respected
- ATF-INV-005 — SHA-256 content hash on all receipts
- ATF-INV-006 — Offline independent verifiability
Badge for your README or documentation:
ATF-RGC-Compliant
- All Tier 1 (ATF-INV-001–006) requirements
- RGC-INV-001 — CES = T×0.30 + B×0.30 + D×0.20 + I×0.20 (fixed)
- RGC-INV-002 — RCR chain integrity with predecessor linkage
- RGC-INV-003 — HALT protocol when CES < 10.0
- RGC-INV-004 — Escalation event integrity
- RGC-INV-005 — Authority Fragmentation Guard
- RGC-INV-006 — Reauthorization challenge integrity
- RGC-INV-007/008 — Threshold immutability + TAR anchor
Badge for your README or documentation:
ATF-FEI-Compliant
- All Tier 1 + Tier 2 requirements
- GPIL-INV-001–003 — Policy interoperability at 3 levels
- ELR-INV-001–004 — Evidence lifecycle + tier ordering
- EAP-INV-001–007 — Merkle-chained archive pipeline
- OEP-INV-001–006 — Self-contained evidence packages
- FEA-INV-001–005 — RBAC export gate + key isolation
- FVP-INV-007 — Two-plane verification independence
Badge for your README or documentation:
How to claim conformance
The conformance process is self-certification backed by the public conformance test suite.
Run the Conformance Suite
Clone the repository and run the conformance test vectors against your implementation.
Get test vectors →All Vectors Must Pass
For your chosen profile, all positive vectors must PASS and all negative vectors must produce the documented error.
Use the verifier →Add the Badge
Copy the Markdown badge for your declared profile tier and add it to your README or documentation.
Submit to IMPLEMENTATIONS.md
Open a Pull Request adding your implementation to the public implementations registry.
IMPLEMENTATIONS.md →Conformance test vectors
66 machine-readable test vectors in conformance/conformance_vectors.json. Each vector specifies the input, the expected verdict, and the invariant being exercised.
| Vector ID | Profile | Invariant | Type | Description |
|---|---|---|---|---|
| V-ATF-001-P | ATF-Compliant | ATF-INV-001 | PASS | Valid DR with budget_granted < budget_delegator |
| V-ATF-001-N | ATF-Compliant | ATF-INV-001 | FAIL | budget_granted > budget_delegator — MAR violation |
| V-ATF-002-P | ATF-Compliant | ATF-INV-001 | PASS | Equal budget — boundary case, still valid |
| V-ATF-005-N | ATF-Compliant | ATF-INV-005 | FAIL | content_hash tampered — hash mismatch detection |
| V-RGC-001-P | ATF-RGC-Compliant | RGC-INV-001 | PASS | RCR with CES = T×0.30+B×0.30+D×0.20+I×0.20 |
| V-RGC-003-P | ATF-RGC-Compliant | RGC-INV-002 | PASS | HALT status with escalation_event_id |
| V-RGC-002-N | ATF-RGC-Compliant | RGC-INV-002 | FAIL | CES manipulation — declared ≠ computed |
| V-FEI-001-P | ATF-FEI-Compliant | EAP-INV-005 | PASS | Valid OEP bundle with package signature |
| V-FEI-004-N | ATF-FEI-Compliant | FVP-INV-007 | FAIL | Two-plane result inconsistency |
| + 57 more vectors · View all in GitHub → | ||||