ACTEX concepts
Portable proof starts with a deterministic object chain.
ACTEX separates agent execution from trust by recording stable artifacts at each stage of the workflow lifecycle.
Contract → Result → Verification → Receipt → Casefile
- Contract: policy envelope, participants, and expected outcomes.
- Result: structured execution output from an agent workflow.
- Verification: settlement-gating evaluation against policy.
- Receipt: canonical reference that links final evidence objects.
- Casefile: portable export bundle for external verification.
Architecture at a glance
ACTEX is organized into three planes — policy and intent, execution and verification, and evidence and export — so each layer can evolve without breaking verification portability.
Try it now
Check API health directly against the backend service.
curl -s "$ACTEX_BASE_URL/health"