Deterministic adjudication and verification kernel for governed execution surfaces.

AEK verifies frozen semantics and contract vectors used by governed execution systems. It is the trust layer behind adjudication, receipts, and replayable verification.

Run the verifier:

./bin/aek verify

Expected output includes verification of the bundled vector files and an "ok": true result.

This public repo is intentionally minimal. It exposes the verifier/kernel path only.

AEK is a verification and trust substrate. It is not the full orchestration stack and does not expose broader internal runtime surfaces.