Commands target real identity
State and parameter IDs are unique, command operations are known, and every target resolves before runtime generation.
PROVE · REFERENCE · GENERATE
Concrete route contracts now prove every state, command, effect, binding, condition, list, ownership, and capability edge before Kudzu selects artifacts or generates browser code.
FAIL-CLOSED CONTRACTS
State and parameter IDs are unique, command operations are known, and every target resolves before runtime generation.
Effect state, captures, derived dependencies, keyed item fields, list ownership, and lifetimes validate together.
Bindings, conditions, nested scope bindings, captures, and owned branch states use one checked reactive descriptor boundary.
List IDs, keys, row templates, children, parent fields, duplicate ownership, and cycles fail deterministically.
CapabilityIR counts and flags are checked independently and against an exact recomputation from RouteBuildRecord inputs.
The next migration-backed investigation is property-level derived dependencies over ordinary object state.
UPGRADE
npm install @kudzujs/core@^0.8.39