Introduction

Deterministic Execution

The Kernel decides; the Operator executes.

Only decisions verified as admissible MAY drive state transitions. Routing is total and deny-by-default: any unmapped outcome routes to a safe terminal. Nothing executes until interpretation is resolved.

Validation is deterministic: the same Artifact and Agentic Protocol always yield the same verdict, independent of model, sampling, runtime, or environment.

example

while not terminal:
    result = objective(ctx)              # produce Artifact
    next   = switchboard[key(result)]    # route on the verdict
    objective = next                     # admissible only