Module execution_plan 

Execution plan for evaluated specs

Provides a complete self-contained execution plan ready for the evaluator. The plan contains all facts, rules flattened into executable branches, and execution order - no spec structure needed during evaluation.

Reliability model:

• SpecSchema is the IO contract surface for consumers (facts and rule outputs).
• plan_hash() is the behavior lock (semantic fingerprint of what the plan does). IO compatibility and behavior pinning are separate guarantees.

Structs

Branch

A branch in an executable rule

ExecutableRule

An executable rule with flattened branches

ExecutionPlan

A complete execution plan ready for the evaluator

SpecId

Identifies a dependency spec by name and its computed plan hash.

SpecSchema

A spec’s public interface: its facts (inputs) and rules (outputs) with full structured type information.