AEK Kernel

Deterministic adjudication and verification kernel for governed execution surfaces.

What it does

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

Quickstart

Run the verifier:

./bin/aek verify

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

Included surface

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

Scope

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