Release: v1.2.2 (repository) | Specification: v1.2.0 | Conformance bundle: v1.0.2
Steward: FERZ, Inc.
License: CC BY-NC-ND 4.0 (specification/docs), MIT (schemas/examples/tools/test vectors)
A conformance layer for verifiable AI governance
Ensure consequential AI decisions are stop-capable, owned, replayable, escalation-capable, and grounded in inputs of established origin.
Verifiable AI Governance: The Five Tests Standard (5TS) and Proof-Carrying Decisions
Edward Meyman | October 2025; revised June 2026
Available on:
Establishes the formal specification, theoretical foundations, and conformance framing for verifiable AI governance through proof-carrying decisions.
How to Cite:
Meyman, E. (2025). Verifiable AI Governance: The Five Tests Standard (5TS)
and Proof-Carrying Decisions. SSRN. https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5688982
Cite the standard:
Meyman, E. (2026). The Five Tests Standard (5TS). Zenodo.
Concept DOI (all versions, resolves to the latest release): https://doi.org/10.5281/zenodo.21040295
Specification version DOI (v1.2.0): https://doi.org/10.5281/zenodo.21040296
The Five Tests Standard (5TS) is a vendor-neutral technical specification for verifiable AI governance. It enables organizations to produce verifiable evidence that AI decisions in regulated industries are governed under a specific policy and authority, through:
- Proof-Carrying Decisions (PCDs): Canonical JSON objects encoding all information needed to verify governance at decision boundaries
- Deterministic Verification: Mathematical acceptance criteria that produce consistent results independent of who verifies
- Two Replay Modes: State-Replay for byte-exact reproduction, Protocol-Replay for gate-based validation
- Fail-Closed Design: Actions are blocked by default unless authorization can be established and verified
| Test | Requirement | Enforced Through |
|---|---|---|
| STOP | System can be halted before side-effects | Effect-token issuance gated by authorization verdict |
| OWNERSHIP | Each consequential decision maps to named accountable authority | Policy and runtime attestations preserve accountability and key separation |
| REPLAY | Decision can be reproduced at boundary | State-Replay or Protocol-Replay modes |
| ESCALATION | Control transfers at defined policy boundaries | Explicit routing to authorized human authority when policy authority is exceeded |
| PROVENANCE (normative; conformance deferred) | Inputs grounding a verdict have an established origin | Origin, not truth; conformance vectors deferred to a later bundle |
5TS v1.2.0 specifies five normative tests. The machine-checkable conformance bundle remains v1.0.2 and tests four of them; Provenance conformance is not yet assertable and lands in a later bundle once input-origin binding is defined. Existing four-test conformance claims remain valid.
Scope of Provenance. The Provenance test concerns the origin of the inputs grounding an authorization verdict. It is not a content-provenance, watermarking, or media-labeling requirement, and it makes no claim of coverage under any content-disclosure regime. Systems subject to content-provenance obligations address those separately.
A governance system that only warns is a monitoring system. Deterministic governance requires the ability to stop actions, not merely flag them. Every decision boundary must resolve to one of three verdicts:
| Verdict | Meaning | Operational Effect |
|---|---|---|
| ALLOW | Action authorized under governing policy | Execution may proceed; an effect-token is issued where an external effect is authorized |
| DENY | Policy violation identified | Execution halted; no side-effects permitted |
| ABSTAIN | Policy cannot resolve the action to ALLOW or DENY | Authority returned; action blocked pending authorized human resolution |
ABSTAIN is the system's explicit acknowledgment of its own epistemic boundaries: a controlled handoff of authority rather than an uncertain guess. Systems that always answer are optimizing for completion. Systems that know when not to answer are optimizing for correctness.
Operational contract:
ABSTAINtriggers mandatory escalation, routing to an authorized human review queue, policy authority review, or other designated escalation path- In regulated contexts,
ABSTAINis fail-closed: the action does not proceed unless and until an authorized party renders a definitive verdict ABSTAINis not a soft "maybe"; it is a hard gate that transfers decision authority while preventing unauthorized execution- Default behavior:
ABSTAINblocks execution unless and until an authorized override resolves the held action.
Schema mapping. In the v1.0.2 PCD schema, ALLOW maps to approved, DENY maps to denied, and ABSTAIN maps to escalated. The field value escalated records an ABSTAIN verdict and its mandatory transfer of authority; ESCALATE is not a verdict.
Enable auditors to verify governance decisions through deterministic evidence rather than sampling.
# Clone the repository
git clone https://github.com/edmeyman/4ts-standard.git
cd 4ts-standard
# Install dependencies (Python 3.10+)
pip install -r requirements.txt# Validate against test vectors
python tools/validator/quickstart_validate.py --json examples/model-deployment-state-replay.json
# Expected output: PASScat examples/model-deployment-state-replay.jsonUse this file as the starting point for your own PCD and validate it with the quickstart validator.
4ts-standard/
├── README.md # This file
├── SPECIFICATION.md # Complete technical specification (§§0-11)
├── LICENSE.md # Dual license (CC BY-NC-ND 4.0 + MIT)
├── CHANGELOG.md # Version history
├── CONTRIBUTING.md # How to contribute
│
├── schemas/ # JSON Schema definitions
│ ├── pcd.schema.json # PCD structure (draft 2020-12)
│ └── verifier.config.schema.json # Verifier configuration
│
├── examples/ # Concrete PCD examples
│ ├── model-deployment-state-replay.json
│ ├── rag-system-protocol-replay.json
│ ├── llm-tool-inference.json
│ └── etl-pipeline-batch.json
│
├── test-vectors/ # Conformance test suite
│ ├── positive/ # Must PASS (3 vectors)
│ │ ├── PCD-A1_state_auto_approve.json
│ │ ├── PCD-A2_protocol_with_gates.json
│ │ └── PCD-A3_fail_closed_denial.json
│ ├── negative/ # Must FAIL with specific errors (5 vectors)
│ │ ├── NC-1_posthoc_signature.json
│ │ ├── NC-2_missing_custody.json
│ │ ├── NC-3_key_separation.json
│ │ ├── NC-4_untyped_lineage.json
│ │ └── NC-5_side_effect_on_denial.json
│ └── MANIFEST.json # Bundle file hashes and expected results
│
├── tools/ # Reference implementations
│ ├── validator/ # Quickstart conformance validator
│ │ └── quickstart_validate.py
│ └── canonicalizer/ # JSON canonicalization
│ └── canonicalize.py
│
└── docs/ # Additional documentation
├── quickstart.md # Getting started guide
├── implementation-guide.md # Detailed implementation patterns
├── faq.md # Frequently asked questions
└── error-catalog.md # Complete error code reference
5TS supports diverse AI deployment patterns:
| Profile | PCD Emission | Replay Mode | Key Considerations |
|---|---|---|---|
| LLM Tools | Per tool action with external effects | State or Protocol | Typed lineage for tool I/O |
| RAG Systems | Per response triggering workflows | Protocol (frozen index) | Gates on answerability/attribution |
| Model Deployment | At deployment and policy changes | State or Protocol (eval gates) | Pre-exec policy signature required |
| BPMN/ETL | Per job with external writes | State or Protocol | Compensating actions for rollbacks |
| Agentic Systems | Per plan execution | Protocol with explicit gates | Sub-PCDs for high-risk steps |
To claim conformance to the v1.0.2 conformance bundle (four of the five tests), implementers must:
- Pass all test vectors: 3 positive (PASS), 5 negative (expected failures with correct error codes)
- Publish conformance claim:
Tool@Version • PCD-1 • Bundle-1.0.2 • 8/8 • sha256:<bundle_hash> • logs_link - Implement core verification: PCD schema validation, signature verification, replay logic, fail-closed enforcement
Provenance conformance, and full five-test conformance, are not yet assertable; see §7.4. See SPECIFICATION.md §7 for complete conformance requirements.
- Boundary: Model deployment for diagnostic/treatment decisions
- Replay: State-Replay with frozen training/test sets
- Gates: AUROC, calibration error, demographic parity
- Regulatory: FDA 510(k), EU MDR alignment
- Boundary: Inference-level for credit/trading decisions
- Replay: Protocol-Replay with deterministic risk metrics
- Gates: Accuracy, fairness (disparate impact), attribution
- Regulatory: SR 11-7, ECOA, MiFID II alignment
- Boundary: Deploy and policy-change for mission-critical systems
- Replay: State-Replay with air-gapped verification
- Gates: Security clearance checks, operational safety thresholds
- Regulatory: NIST AI RMF, DoD AI principles
- Complete Specification - Full technical standard (§§0-11)
- Quick Start Guide - 10-minute implementation tutorial
- Implementation Guide - Detailed patterns and best practices
- FAQ - Common questions and answers
- Error Catalog - All error codes with triggers and recovery
- Issues & Bugs: GitHub Issues
- Discussions: GitHub Discussions
- Email: info@ferz.ai
- Website: https://ferz.ai
We welcome contributions! Please see CONTRIBUTING.md for:
- Code of conduct
- How to submit issues and pull requests
- Development workflow
- Testing requirements
- Deterministic AI Governance - Executive Guide - Business rationale and minimum governance bar
- JSON Schema draft 2020-12 - Schema specification standard
- RFC 3339 (ISO 8601) - Timestamp format
- SHA-256 (FIPS 180-4) - Cryptographic hashing
- EdDSA/ECDSA - Digital signature algorithms
| Version | Date | Changes |
|---|---|---|
| 1.0.0 | 2025-09 | Initial release with core standard |
| 1.0.1 | 2025-10 | Added adoption profiles, clarified gate format, expanded error codes |
| 1.0.2 | 2025-11 | Added traceability matrix, glossary, concrete PCD examples |
| 1.0.3 | 2026-02 | Added Enforcement Triad (ALLOW/DENY/ABSTAIN) with ABSTAIN operational contract |
| 1.2.0 | 2026-06 | Renamed 4TS to 5TS; added Provenance as fifth normative test; Provenance conformance deferred; conformance bundle unchanged at v1.0.2 |
| 1.2.1 | 2026-07 | Documentation and licensing changes only; specification remains v1.2.0 and conformance bundle remains v1.0.2 |
| 1.2.2 | 2026-08 | Documentation only: added Provenance scope note and corresponding FAQ entry. Specification remains v1.2.0; conformance bundle remains v1.0.2 |
See CHANGELOG.md for detailed changes.
Note on v1.0.3 references: A v1.0.3 Git tag and an associated Zenodo record created during July 2026 repository cleanup were erroneous and do not represent the historical 4TS v1.0.3 release (2026-02, Enforcement Triad). The 4TS v1.0.3 release itself, as documented above and in the changelog, remains valid history; its state is available in the repository commit history. Do not rely on the erroneous tag or record as a version reference.
-
Specification Text and Documentation: CC BY-NC-ND 4.0
- Attribution required
- Non-commercial use
- No derivatives
-
Schemas, Examples, Tools, and Test Vectors: MIT License
- Permissive use of the published code (patent rights reserved; see LICENSE.md)
See LICENSE.md for complete terms.
For commercial licensing inquiries: info@ferz.ai
© 2025–2026 FERZ, Inc. | Vendor-neutral published standard for verifiable AI governance