Skip to main content

Module context_update

presolve_compiler

Module context_update 

Source

Structs§

ContextActionUpdatePlan
Compiler-owned re-evaluation work for one completed authored action batch.
ContextUpdatePlan
Immutable G15 update plan. Empty action records are retained so the runtime never infers that an absent Context update is an accidental omission.

Functions§

build_context_update_plan
Build Context updates solely from G7/G9 dependencies, existing computed transitive facts, authored action-batch identities, and G10 bindings.