canon_generator 0.37.0

Code generator for canon — emits the typed Screen, Hop, and verb surface from the spec enum.

canon_generator

Code generator for canon — emits the typed Screen, Hop, and verb surface from the @screens spec, the id extension types from @IDs, and the data surface from the REGENCY (@canon const app = Regency({...})): the ledger global (Ledger.root(app) — the RUNTIME splices rows and wires the merge edges the projections carry), one typed getter per reader row (ledger.products, sugar over ledger.at(const Products()), named by the row class minus its mechanical suffix), a scope-entry FACT per id-keyed screen (<Screen>EnteredMsg, dispatched on committed navigation), and — when the graph holds a NavUnit() row — ledger-owned navigation: verbs route through the queue, the unit folds, the graph mirrors. Per id node it emits the IDENTITY face (ProductID.of/navOf/screenOf/itemOf/on — the capital-ID canon stamp; Flutter consumers only) with deictic verbs on IdNav<K>: go() to the self screen, component projections on composites (goUser via id.user), REVERSE composite verbs (the other component read from the live chain), and the claimed handle gated by generated <Node>On chain markers — a chain that evidences nothing about the identity is a compile error. bind() node-tags every store, so ambient reads resolve by MATCH, never by distance. Build-time checks keep the spec honest: every read(const X()) in a guard must name a regent of the graph, every store's entity must be a row of @entities, and every row's message type must be sealed.

The example is the family's showcase (an ecommerce domain): welcome.dart is the minimal ledger, showcase.dart the full surface.

Build workflow note

Generated types (ids, the Screen facade, store globals, the identity faces) are part of your source's vocabulary, so a spec change can need TWO passes: run build_runner, adjust the hand-written code that referenced the old shapes, and build again. On a first generation the hand-written references may not resolve until the builder has run once — that's the normal bootstrap, not an error in your spec.