Policy and intent plane
Negotiation, constraints, and contract compilation into deterministic rules.
System design
Architecture overview
ACTEX is organized into three planes so policy, execution, and evidence can evolve without breaking verification portability.
Three-plane model
Execution and verification plane
Runtime execution plus independent verification for settlement gating.
Evidence and export plane
Receipt linking and Casefile packaging for external audit and replay.