Core concept
Trust chain: from checkout attempt to clean audit trail
ACTEX separates execution from trust by producing deterministic artifacts at each step of a run.
Contract → Result → Verification → Receipt → Casefile
What each link proves
- Contract: policy bounds and allowed outcomes.
- Result: what happened during execution.
- Verification: whether execution satisfied policy.
- Receipt: canonical evidence pointer set.
- Casefile: export bundle external teams can verify.
Why this matters
The chain gives platform, risk, and compliance teams a shared timeline they can audit without replaying internal logs. A clean, offline-verifiable audit trail is the product outcome.