Execution Semantics

Planned — Phase 3

Contents

Expansion loop, frontier policy, budget enforcement, circuit breaker, resumability.

Core semantics, not configuration

A growing graph has no natural stopping condition. Budget and frontier policy live in the type system. An expansion path that can bypass the budget is a severity-one bug.