@hozu/validator 0.1.0

package/dist/rules/states.js

@@ -0,0 +1,167 @@
+import { at, resolveAt } from '@hozu/core/ir';
+import { closest, didYouMean } from '../suggest.js';
+import { featurePointer, transitionsOf, walkView } from '../walk.js';
+export function reachability(ctx) {
+    for (const f of Object.values(ctx.ir.features)) {
+        const m = f.machine;
+        if (!m || !Object.hasOwn(m.states, m.initial))
+            continue;
+        const edges = new Map();
+        for (const site of transitionsOf(f)) {
+            const list = edges.get(site.state);
+            if (list)
+                list.push(site.transition.target);
+            else
+                edges.set(site.state, [site.transition.target]);
+        }
+        const seen = new Set([m.initial]);
+        const queue = [m.initial];
+        for (let i = 0; i < queue.length; i++)
+            for (const next of edges.get(queue[i]) ?? [])
+                if (!seen.has(next) && Object.hasOwn(m.states, next)) {
+                    seen.add(next);
+                    queue.push(next);
+                }
+        for (const state of Object.keys(m.states)) {
+            if (seen.has(state))
+                continue;
+            const p = featurePointer(f.id, 'machine', 'states', state);
+            ctx.report('HZ001', f.id, p, `State "${state}" is unreachable from "${m.initial}"`, 'No transition from a reachable state targets it (on, invoke done/failed or after).', {
+                summary: `Add a transition that targets "${state}", or remove the state`,
+                snippet: `on(SomeEvent, { target: '${state}' })`,
+                patch: [{ op: 'remove', path: resolveAt(p) }],
+            });
+        }
+    }
+}
+export function deadEnds(ctx) {
+    for (const f of Object.values(ctx.ir.features))
+        for (const [state, s] of Object.entries(f.machine?.states ?? {})) {
+            if (s.final || s.invoke || s.after.length || Object.values(s.on).some((l) => l.length))
+                continue;
+            const p = featurePointer(f.id, 'machine', 'states', state);
+            ctx.report('HZ010', f.id, p, `State "${state}" has no way out`, 'It is not final and has no on, invoke or after transitions.', {
+                summary: `Mark "${state}" as final or add a transition out of it`,
+                snippet: `${state}: { final: true }`,
+                patch: [{ op: 'replace', path: resolveAt(at(p, 'final')), value: true }],
+            });
+        }
+}
+export function stateNames(ctx) {
+    for (const f of Object.values(ctx.ir.features)) {
+        const m = f.machine;
+        const names = Object.keys(m?.states ?? {});
+        const known = (s) => m !== null && Object.hasOwn(m.states, s);
+        const dangling = (p, name, what) => {
+            const guess = closest(name, names);
+            ctx.report('HZ007', f.id, p, `Unknown state "${name}" in ${what}.${didYouMean(guess)}`, `States of ${f.id}: ${names.join(', ') || '(no machine)'}.`, {
+                summary: guess ? `Use "${guess}"` : 'Use one of the declared states',
+                snippet: null,
+                patch: guess ? [{ op: 'replace', path: resolveAt(p), value: guess }] : null,
+            });
+        };
+        if (m && !known(m.initial))
+            dangling(featurePointer(f.id, 'machine', 'initial'), m.initial, 'initial');
+        for (const site of transitionsOf(f))
+            if (!known(site.transition.target))
+                dangling(site.at('target'), site.transition.target, 'a transition target');
+        for (const [cid, c] of Object.entries(f.contracts)) {
+            if (!known(c.given.state))
+                dangling(featurePointer(f.id, 'contracts', cid, 'given', 'state'), c.given.state, 'contract given');
+            if (!known(c.expect.state))
+                dangling(featurePointer(f.id, 'contracts', cid, 'expect', 'state'), c.expect.state, 'contract expect');
+        }
+        for (const [vid, view] of Object.entries(f.views)) {
+            if (view.machine !== null && view.machine !== f.id)
+                ctx.report('HZ006', f.id, featurePointer(f.id, 'views', vid, 'machine'), `View ${f.id}.${vid} is bound to the machine of "${view.machine}"`, 'A view may only bind to its own feature machine.', {
+                    summary: 'Bind the view to this feature machine',
+                    snippet: null,
+                    patch: [
+                        {
+                            op: 'replace',
+                            path: resolveAt(featurePointer(f.id, 'views', vid, 'machine')),
+                            value: m ? f.id : null,
+                        },
+                    ],
+                });
+            else if (view.machine === f.id && !m)
+                ctx.report('HZ007', f.id, featurePointer(f.id, 'views', vid, 'machine'), `View ${f.id}.${vid} is bound to a machine but ${f.id} has none`, 'Add the machine to feature({ declarations }) or remove machine from the view.', {
+                    summary: 'Unbind the view',
+                    snippet: null,
+                    patch: [
+                        { op: 'replace', path: resolveAt(featurePointer(f.id, 'views', vid, 'machine')), value: null },
+                    ],
+                });
+            walkView(ctx.ir, f, vid, view, ({ node, pointer }) => {
+                if (node.kind !== 'when')
+                    return;
+                node.states.forEach((s, i) => {
+                    if (!known(s))
+                        dangling(at(pointer, 'states', i), s, 'when()');
+                });
+            });
+        }
+    }
+}
+const firstShadowed = (list) => {
+    for (let i = 0; i < list.length - 1; i++)
+        if (list[i].guard === null)
+            return i;
+    return -1;
+};
+export function shadowing(ctx) {
+    const check = (feature, base, list, label) => {
+        const first = firstShadowed(list);
+        if (first < 0)
+            return;
+        const shadowed = list.map((_, i) => i).filter((i) => i > first);
+        for (const i of shadowed)
+            ctx.report('HZ009', feature, at(base, i), `Transition ${i} for ${label} can never run`, `Transition ${first} has no guard and is tried first.`, {
+                summary: 'Move the guardless transition last, or give it a guard',
+                snippet: null,
+                patch: [...shadowed]
+                    .reverse()
+                    .map((j) => ({ op: 'remove', path: resolveAt(at(base, j)) })),
+            });
+    };
+    for (const f of Object.values(ctx.ir.features)) {
+        const states = f.machine?.states;
+        if (!states)
+            continue;
+        for (const state in states) {
+            const s = states[state];
+            const base = featurePointer(f.id, 'machine', 'states', state);
+            for (const event in s.on) {
+                const list = s.on[event];
+                if (firstShadowed(list) >= 0)
+                    check(f.id, at(base, 'on', event), list, `${event} in "${state}"`);
+            }
+            if (s.invoke) {
+                if (firstShadowed(s.invoke.done) >= 0)
+                    check(f.id, at(base, 'invoke', 'done'), s.invoke.done, `done in "${state}"`);
+                for (const error in s.invoke.failed) {
+                    const list = s.invoke.failed[error];
+                    if (firstShadowed(list) >= 0)
+                        check(f.id, at(base, 'invoke', 'failed', error), list, `failed.${error} in "${state}"`);
+                }
+            }
+            for (let i = 1; i < s.after.length; i++) {
+                const a = s.after[i];
+                const unguarded = s.after.findIndex((b) => b.ms === a.ms && b.transition.guard === null);
+                if (unguarded < 0 || unguarded >= i)
+                    continue;
+                const shadowed = s.after
+                    .map((b, j) => (b.ms === a.ms && j > unguarded ? j : -1))
+                    .filter((j) => j >= 0);
+                ctx.report('HZ009', f.id, at(base, 'after', i), `after(${a.ms}) transition ${i} in "${state}" can never run`, `after entry ${unguarded} has the same delay and no guard.`, {
+                    summary: 'Remove the shadowed entry or guard the earlier one',
+                    snippet: null,
+                    patch: shadowed
+                        .reverse()
+                        .map((j) => ({ op: 'remove', path: resolveAt(at(base, 'after', j)) })),
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=states.js.map

package/dist/rules/states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.js","sourceRoot":"","sources":["../../src/rules/states.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,EAAE,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEtD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEpE,MAAM,UAAU,YAAY,CAAC,GAAQ;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAA;QACnB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;YAAE,SAAQ;QACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAA;QACzC,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;;gBACtC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YACnC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE;gBAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACrD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACd,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClB,CAAC;QACL,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAC7B,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC1D,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,UAAU,KAAK,0BAA0B,CAAC,CAAC,OAAO,GAAG,EACrD,oFAAoF,EACpF;gBACE,OAAO,EAAE,kCAAkC,KAAK,wBAAwB;gBACxE,OAAO,EAAE,4BAA4B,KAAK,MAAM;gBAChD,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAQ;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAE,SAAQ;YAChG,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC1D,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,UAAU,KAAK,kBAAkB,EACjC,6DAA6D,EAC7D;gBACE,OAAO,EAAE,SAAS,KAAK,0CAA0C;gBACjE,OAAO,EAAE,GAAG,KAAK,mBAAmB;gBACpC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;aACzE,CACF,CAAA;QACH,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAA;QACnB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAA;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;QACrE,MAAM,QAAQ,GAAG,CAAC,CAAK,EAAE,IAAY,EAAE,IAAY,EAAE,EAAE;YACrD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAClC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,kBAAkB,IAAI,QAAQ,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,EACzD,aAAa,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,GAAG,EAC3D;gBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,gCAAgC;gBACpE,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI;aAC5E,CACF,CAAA;QACH,CAAC,CAAA;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;QACtG,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;gBAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;QAC9E,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBACvB,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;YACrG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;gBACxB,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;QAC1G,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE;gBAChD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,EAC7C,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,gCAAgC,IAAI,CAAC,OAAO,GAAG,EAClE,kDAAkD,EAClD;oBACE,OAAO,EAAE,uCAAuC;oBAChD,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE;wBACL;4BACE,EAAE,EAAE,SAAS;4BACb,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;4BAC9D,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;yBACvB;qBACF;iBACF,CACF,CAAA;iBACE,IAAI,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAClC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,EAC7C,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,8BAA8B,CAAC,CAAC,EAAE,WAAW,EAChE,+EAA+E,EAC/E;oBACE,OAAO,EAAE,iBAAiB;oBAC1B,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE;wBACL,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;qBAC/F;iBACF,CACF,CAAA;YACH,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAM;gBAChC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC3B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;wBAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;gBAChE,CAAC,CAAC,CAAA;YACJ,CAAC,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,IAAmC,EAAU,EAAE;IACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,CAAA;IAC/E,OAAO,CAAC,CAAC,CAAA;AACX,CAAC,CAAA;AAED,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,MAAM,KAAK,GAAG,CAAC,OAAe,EAAE,IAAQ,EAAE,IAAmC,EAAE,KAAa,EAAE,EAAE;QAC9F,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,KAAK,GAAG,CAAC;YAAE,OAAM;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAA;QAC/D,KAAK,MAAM,CAAC,IAAI,QAAQ;YACtB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,EACP,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EACX,cAAc,CAAC,QAAQ,KAAK,gBAAgB,EAC5C,cAAc,KAAK,mCAAmC,EACtD;gBACE,OAAO,EAAE,wDAAwD;gBACjE,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC;qBACjB,OAAO,EAAE;qBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAiB,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACzE,CACF,CAAA;IACL,CAAC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAA;QAChC,IAAI,CAAC,MAAM;YAAE,SAAQ;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAE,CAAA;YACxB,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAE,CAAA;gBACzB,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,QAAQ,KAAK,GAAG,CAAC,CAAA;YAClG,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,IAAI,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;oBACnC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,KAAK,GAAG,CAAC,CAAA;gBAC9E,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBACpC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAE,CAAA;oBACpC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1B,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,KAAK,QAAQ,KAAK,GAAG,CAAC,CAAA;gBAC3F,CAAC;YACH,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAA;gBACrB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;gBACxF,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,IAAI,CAAC;oBAAE,SAAQ;gBAC7C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK;qBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;qBACxD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;gBACxB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,EACpB,SAAS,CAAC,CAAC,EAAE,gBAAgB,CAAC,QAAQ,KAAK,iBAAiB,EAC5D,eAAe,SAAS,mCAAmC,EAC3D;oBACE,OAAO,EAAE,oDAAoD;oBAC7D,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,QAAQ;yBACZ,OAAO,EAAE;yBACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAiB,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBAClF,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/rules/text.d.ts

@@ -0,0 +1,3 @@
+import type { Ctx } from '../context.ts';
+export declare function domText(ctx: Ctx): void;
+//# sourceMappingURL=text.d.ts.map

package/dist/rules/text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../src/rules/text.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AAmFxC,wBAAgB,OAAO,CAAC,GAAG,EAAE,GAAG,QA+D/B"}

package/dist/rules/text.js

@@ -0,0 +1,148 @@
+import { at, } from '@hozu/core/ir';
+import { eventSchema } from '../env.js';
+import { resolvePath } from '../schema.js';
+import { walkView } from '../walk.js';
+const obj = (v) => v && typeof v === 'object' && !Array.isArray(v) ? v : null;
+function choices(s) {
+    if ('const' in s)
+        return typeof s.const === 'string' ? [s.const] : null;
+    if (Array.isArray(s.enum))
+        return s.enum.filter((e) => typeof e === 'string');
+    for (const k of ['anyOf', 'oneOf'])
+        if (Array.isArray(s[k])) {
+            const parts = s[k].map(obj).filter((x) => x !== null && x.type !== 'null');
+            const all = parts.map(choices);
+            if (all.length && all.every((c) => c !== null))
+                return all.flat();
+        }
+    return null;
+}
+const kindOf = (s) => {
+    if (choices(s))
+        return 'choice';
+    const types = typeof s.type === 'string' ? [s.type] : Array.isArray(s.type) ? s.type : [];
+    if (types.includes('number') || types.includes('integer'))
+        return 'number';
+    if (types.includes('boolean'))
+        return 'boolean';
+    for (const k of ['anyOf', 'oneOf'])
+        if (Array.isArray(s[k]))
+            for (const v of s[k]) {
+                const o = obj(v);
+                if (o && o.type !== 'null')
+                    return kindOf(o);
+            }
+    return 'text';
+};
+function descendants(node, visit) {
+    let fixed = true;
+    const walk = (n) => {
+        if (n.kind === 'el') {
+            visit(n);
+            n.children.forEach(walk);
+        }
+        else if (n.kind === 'when')
+            n.children.forEach(walk);
+        else if (n.kind === 'if')
+            [...n.ifTrue, ...n.ifFalse].forEach(walk);
+        else if (n.kind === 'each' || n.kind === 'query')
+            fixed = false;
+    };
+    walk(node);
+    return fixed;
+}
+const literal = (v) => v && 'literal' in v && typeof v.literal === 'string' ? v.literal : null;
+function optionsOf(control) {
+    const values = [];
+    const fixed = descendants(control, (el) => {
+        if (el.tag !== 'option')
+            return;
+        const text = el.children.length === 1 && el.children[0].kind === 'text' ? literal(el.children[0].value) : null;
+        const v = literal(el.attrs.value) ?? text;
+        if (v !== null)
+            values.push(v);
+    });
+    return { values, fixed };
+}
+function namedChoices(form, name) {
+    const values = [];
+    let found = false;
+    let fixed = true;
+    descendants(form, (el) => {
+        if (literal(el.attrs.name) !== name)
+            return;
+        found = true;
+        if (el.tag === 'select') {
+            const o = optionsOf(el);
+            values.push(...o.values);
+            fixed &&= o.fixed;
+        }
+        else if (el.tag === 'input' && literal(el.attrs.type) === 'radio') {
+            const v = literal(el.attrs.value);
+            if (v === null)
+                fixed = false;
+            else
+                values.push(v);
+        }
+        else
+            fixed = false;
+    });
+    return { values, fixed, found };
+}
+export function domText(ctx) {
+    const { ir } = ctx;
+    for (const f of Object.values(ir.features))
+        for (const [vid, view] of Object.entries(f.views))
+            walkView(ir, f, vid, view, ({ node, pointer }) => {
+                if (node.kind !== 'el')
+                    return;
+                for (const [dom, send] of Object.entries(node.on)) {
+                    const root = eventSchema(ir, send.event);
+                    const visit = (v, path, p) => {
+                        if ('object' in v) {
+                            for (const [k, x] of Object.entries(v.object))
+                                visit(x, [...path, k], at(p, 'object', k));
+                            return;
+                        }
+                        if (!('ref' in v) || v.ref !== 'dom' || (v.path[0] !== 'value' && v.path[0] !== 'form'))
+                            return;
+                        const r = resolvePath(root, path);
+                        const schema = r.ok ? r.schema : null;
+                        if (!schema)
+                            return;
+                        const kind = kindOf(schema);
+                        if (kind === 'text')
+                            return;
+                        const field = path.join('.') || 'payload';
+                        const source = v.path[0] === 'form' ? `ui.dom.form('${v.path[1]}')` : 'ui.dom.value';
+                        const report = (message, cause, summary) => ctx.report('HZ033', f.id, p, message, cause, { summary, snippet: null, patch: null });
+                        if (kind === 'number') {
+                            report(`${source} is text, but ${send.event}.${field} is a number`, 'DOM values are strings; a number field would receive text.', 'Send ui.dom.valueAsNumber from the input’s own event instead');
+                            return;
+                        }
+                        if (kind === 'boolean') {
+                            report(`${source} is text, but ${send.event}.${field} is a boolean`, 'DOM values are strings; a boolean field would receive text.', 'Send ui.dom.checked instead');
+                            return;
+                        }
+                        const allowed = choices(schema);
+                        const found = v.path[0] === 'form'
+                            ? namedChoices(node, v.path[1] ?? '')
+                            : node.tag === 'select'
+                                ? { ...optionsOf(node), found: true }
+                                : { values: [], fixed: false, found: false };
+                        const outside = found.values.filter((x) => !allowed.includes(x));
+                        if (found.found && found.fixed && !outside.length && found.values.length)
+                            return;
+                        report(`${source} may not be one of ${allowed.map((x) => `"${x}"`).join(', ')} (${send.event}.${field})`, !found.found
+                            ? v.path[0] === 'form'
+                                ? `No select or radio group named "${v.path[1]}" was found in this form.`
+                                : 'Only a <select> guarantees its value; free text can be anything.'
+                            : outside.length
+                                ? `These option values are not allowed: ${outside.map((x) => `"${x}"`).join(', ')}.`
+                                : 'The options are not all literal, so they cannot be checked.', `Use a <select> (or radio inputs) whose literal option values are exactly ${allowed.map((x) => `"${x}"`).join(', ')}`);
+                    };
+                    visit(send.payload, [], at(pointer, 'on', dom, 'payload'));
+                }
+            });
+}
+//# sourceMappingURL=text.js.map

package/dist/rules/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../src/rules/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,EAAE,GAMH,MAAM,eAAe,CAAA;AAEtB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErC,MAAM,GAAG,GAAG,CAAC,CAAmB,EAAqB,EAAE,CACrD,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAgB,CAAC,CAAC,CAAC,IAAI,CAAA;AAE5E,SAAS,OAAO,CAAC,CAAa;IAC5B,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACvE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;IAC1F,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAI,CAAC,CAAC,CAAC,CAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;YACvG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC9B,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;gBAAE,OAAO,GAAG,CAAC,IAAI,EAAc,CAAA;QAC/E,CAAC;IACH,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,CAAa,EAA4C,EAAE;IACzE,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAA;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,IAAiB,CAAC,CAAC,CAAC,EAAE,CAAA;IACvG,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,CAAA;IAC1E,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAA;IAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;gBAChB,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;YAC9C,CAAC;IACL,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,SAAS,WAAW,CAAC,IAAc,EAAE,KAAgC;IACnE,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,EAAE;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,KAAK,CAAC,CAAC,CAAC,CAAA;YACR,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC1B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;aACjD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;aAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,GAAG,KAAK,CAAA;IACjE,CAAC,CAAA;IACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACV,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAwB,EAAE,EAAE,CAC3C,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAA;AAEzE,SAAS,SAAS,CAAC,OAAoB;IACrC,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE;QACxC,IAAI,EAAE,CAAC,GAAG,KAAK,QAAQ;YAAE,OAAM;QAC/B,MAAM,IAAI,GACR,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACrG,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;QACzC,IAAI,CAAC,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,IAAiB,EAAE,IAAY;IACnD,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE;QACvB,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAM;QAC3C,KAAK,GAAG,IAAI,CAAA;QACZ,IAAI,EAAE,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;YACvB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAA;YACxB,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA;QACnB,CAAC;aAAM,IAAI,EAAE,CAAC,GAAG,KAAK,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;YACpE,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACjC,IAAI,CAAC,KAAK,IAAI;gBAAE,KAAK,GAAG,KAAK,CAAA;;gBACxB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACrB,CAAC;;YAAM,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACjC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAQ;IAC9B,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAClB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/C,QAAQ,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;oBAAE,OAAM;gBAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAClD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;oBACxC,MAAM,KAAK,GAAG,CAAC,CAAY,EAAE,IAAc,EAAE,CAAK,EAAE,EAAE;wBACpD,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;4BAClB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;gCAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAA;4BACzF,OAAM;wBACR,CAAC;wBACD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;4BAAE,OAAM;wBAC/F,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;wBACjC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;wBACrC,IAAI,CAAC,MAAM;4BAAE,OAAM;wBACnB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;wBAC3B,IAAI,IAAI,KAAK,MAAM;4BAAE,OAAM;wBAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,CAAA;wBACzC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAA;wBACpF,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAe,EAAE,EAAE,CACjE,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;wBACvF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;4BACtB,MAAM,CACJ,GAAG,MAAM,iBAAiB,IAAI,CAAC,KAAK,IAAI,KAAK,cAAc,EAC3D,4DAA4D,EAC5D,8DAA8D,CAC/D,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;4BACvB,MAAM,CACJ,GAAG,MAAM,iBAAiB,IAAI,CAAC,KAAK,IAAI,KAAK,eAAe,EAC5D,6DAA6D,EAC7D,6BAA6B,CAC9B,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAE,CAAA;wBAChC,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;4BAClB,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;4BACrC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ;gCACrB,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;gCACrC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;wBAClD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;wBAChE,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM;4BAAE,OAAM;wBAChF,MAAM,CACJ,GAAG,MAAM,sBAAsB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,KAAK,GAAG,EACjG,CAAC,KAAK,CAAC,KAAK;4BACV,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;gCACpB,CAAC,CAAC,mCAAmC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B;gCACzE,CAAC,CAAC,kEAAkE;4BACtE,CAAC,CAAC,OAAO,CAAC,MAAM;gCACd,CAAC,CAAC,wCAAwC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gCACpF,CAAC,CAAC,6DAA6D,EACnE,4EAA4E,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtH,CAAA;oBACH,CAAC,CAAA;oBACD,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAA;gBAC5D,CAAC;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/rules/widgets.d.ts

@@ -0,0 +1,3 @@
+import type { Ctx } from '../context.ts';
+export declare function widgetEvents(ctx: Ctx): void;
+//# sourceMappingURL=widgets.d.ts.map

package/dist/rules/widgets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"widgets.d.ts","sourceRoot":"","sources":["../../src/rules/widgets.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AAKxC,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,QA+BpC"}

package/dist/rules/widgets.js

@@ -0,0 +1,33 @@
+import { at, resolveAt } from '@hozu/core/ir';
+import { resolveRef } from '../resolve.js';
+import { closest, didYouMean } from '../suggest.js';
+import { walkView } from '../walk.js';
+export function widgetEvents(ctx) {
+    const { ir } = ctx;
+    for (const f of Object.values(ir.features))
+        for (const [vid, view] of Object.entries(f.views))
+            walkView(ir, f, vid, view, ({ node, pointer }) => {
+                if (node.kind !== 'widget')
+                    return;
+                const r = resolveRef(ir, node.widget, 'widget');
+                const declared = r ? Object.keys(r.feature.widgets[r.symbol].events) : null;
+                if (!declared)
+                    return;
+                for (const name of Object.keys(node.on)) {
+                    if (declared.includes(name))
+                        continue;
+                    const guess = closest(name, declared);
+                    ctx.report('HZ029', f.id, at(pointer, 'on', name), `Widget ${node.widget} does not emit "${name}".${didYouMean(guess)}`, declared.length ? `Declared events: ${declared.join(', ')}.` : 'The widget declares no events.', {
+                        summary: guess ? `Handle "${guess}"` : 'Declare the event on the widget or remove the handler',
+                        snippet: null,
+                        patch: guess
+                            ? [
+                                { op: 'add', path: resolveAt(at(pointer, 'on', guess)), value: node.on[name] },
+                                { op: 'remove', path: resolveAt(at(pointer, 'on', name)) },
+                            ]
+                            : null,
+                    });
+                }
+            });
+}
+//# sourceMappingURL=widgets.js.map

package/dist/rules/widgets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"widgets.js","sourceRoot":"","sources":["../../src/rules/widgets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErC,MAAM,UAAU,YAAY,CAAC,GAAQ;IACnC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAClB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/C,QAAQ,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAM;gBAClC,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;gBAC/C,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBAC5E,IAAI,CAAC,QAAQ;oBAAE,OAAM;gBACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBACxC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;wBAAE,SAAQ;oBACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;oBACrC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EACvB,UAAU,IAAI,CAAC,MAAM,mBAAmB,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EACpE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,gCAAgC,EAC/F;wBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,uDAAuD;wBAC9F,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,KAAK;4BACV,CAAC,CAAC;gCACE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAU,EAAE;gCACvF,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE;6BAC3D;4BACH,CAAC,CAAC,IAAI;qBACT,CACF,CAAA;gBACH,CAAC;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,19 @@
+import type { Json, JsonSchema } from '@hozu/core/ir';
+export type PathResult = {
+    ok: true;
+    schema: JsonSchema | null;
+} | {
+    ok: false;
+    index: number;
+    segment: string;
+    candidates: string[];
+};
+export declare function resolvePath(root: JsonSchema | null, path: readonly string[]): PathResult;
+export declare function itemsOf(s: JsonSchema | null): JsonSchema | null;
+export interface Mismatch {
+    path: string[];
+    expected: string;
+    options: string[];
+}
+export declare function mismatch(s: JsonSchema | null, v: Json, path?: string[]): Mismatch | null;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAErD,MAAM,MAAM,UAAU,GAClB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;CAAE,GACvC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,CAAA;AAoDvE,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,CAkBxF;AAcD,wBAAgB,OAAO,CAAC,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,CAO/D;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,EAAE,CAAA;CAClB;AAQD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,UAAU,GAAG,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAE,MAAM,EAAO,GAAG,QAAQ,GAAG,IAAI,CA2C5F"}

package/dist/schema.js

@@ -0,0 +1,142 @@
+const obj = (v) => v && typeof v === 'object' && !Array.isArray(v) ? v : null;
+const types = (s) => typeof s.type === 'string' ? [s.type] : Array.isArray(s.type) ? s.type : [];
+function step(s, segment) {
+    if ('$ref' in s)
+        return { ok: true, schema: null };
+    const variants = ['anyOf', 'oneOf', 'allOf'].flatMap((k) => Array.isArray(s[k]) ? s[k] : []);
+    if (variants.length) {
+        const candidates = [];
+        for (const v of variants) {
+            const vs = obj(v);
+            if (!vs || (types(vs).length === 1 && types(vs)[0] === 'null'))
+                continue;
+            const r = step(vs, segment);
+            if (r.ok)
+                return r;
+            candidates.push(...r.candidates);
+        }
+        return { ok: false, candidates };
+    }
+    const t = types(s);
+    const properties = obj(s.properties);
+    if (t.includes('object') || properties) {
+        const prop = properties?.[segment];
+        if (prop !== undefined)
+            return { ok: true, schema: obj(prop) };
+        const extra = obj(s.additionalProperties);
+        if (extra)
+            return { ok: true, schema: extra };
+        if (!properties && s.additionalProperties !== false)
+            return { ok: true, schema: null };
+        return { ok: false, candidates: Object.keys(properties ?? {}) };
+    }
+    if (t.includes('array') || 'items' in s) {
+        if (segment === 'length')
+            return { ok: true, schema: { type: 'integer' } };
+        if (/^\d+$/.test(segment))
+            return { ok: true, schema: obj(s.items) };
+        return { ok: false, candidates: ['length'] };
+    }
+    if (t.length === 0)
+        return { ok: true, schema: null };
+    return { ok: false, candidates: [] };
+}
+const memo = new WeakMap();
+export function resolvePath(root, path) {
+    if (!root || path.length === 0)
+        return { ok: true, schema: root };
+    let node = memo.get(root);
+    if (!node) {
+        node = {};
+        memo.set(root, node);
+    }
+    for (const segment of path) {
+        node.next ??= new Map();
+        let child = node.next.get(segment);
+        if (!child) {
+            child = {};
+            node.next.set(segment, child);
+        }
+        node = child;
+    }
+    node.result ??= walkPath(root, path);
+    return node.result;
+}
+function walkPath(root, path) {
+    let current = root;
+    for (let i = 0; i < path.length; i++) {
+        if (!current)
+            return { ok: true, schema: null };
+        const segment = path[i];
+        const r = step(current, segment);
+        if (!r.ok)
+            return { ok: false, index: i, segment, candidates: r.candidates };
+        current = r.schema;
+    }
+    return { ok: true, schema: current };
+}
+export function itemsOf(s) {
+    if (!s)
+        return null;
+    if (obj(s.items))
+        return obj(s.items);
+    for (const k of ['anyOf', 'oneOf'])
+        if (Array.isArray(s[k]))
+            for (const v of s[k])
+                if (obj(v) && itemsOf(obj(v)))
+                    return itemsOf(obj(v));
+    return null;
+}
+const typeOfJson = (v) => v === null ? 'null' : Array.isArray(v) ? 'array' : Number.isInteger(v) ? 'integer' : typeof v;
+const typeMatches = (t, v) => t === typeOfJson(v) || (t === 'number' && typeof v === 'number') || (t === 'integer' && Number.isInteger(v));
+export function mismatch(s, v, path = []) {
+    if (!s || '$ref' in s)
+        return null;
+    for (const k of ['anyOf', 'oneOf'])
+        if (Array.isArray(s[k])) {
+            const found = s[k].map((x) => mismatch(obj(x), v, path));
+            if (found.some((m) => m === null))
+                return null;
+            return {
+                path,
+                expected: found.map((m) => m.expected).join(' | '),
+                options: found.flatMap((m) => (m.path.length === path.length ? m.options : [])),
+            };
+        }
+    if (Array.isArray(s.allOf))
+        for (const x of s.allOf) {
+            const m = mismatch(obj(x), v, path);
+            if (m)
+                return m;
+        }
+    if ('const' in s && JSON.stringify(s.const) !== JSON.stringify(v))
+        return { path, expected: JSON.stringify(s.const), options: typeof s.const === 'string' ? [s.const] : [] };
+    if (Array.isArray(s.enum) && !s.enum.some((e) => JSON.stringify(e) === JSON.stringify(v))) {
+        const options = s.enum.filter((e) => typeof e === 'string');
+        return { path, expected: s.enum.map((e) => JSON.stringify(e)).join(' | '), options };
+    }
+    const t = types(s);
+    if (t.length && !t.some((x) => typeMatches(x, v)))
+        return { path, expected: t.join(' | '), options: [] };
+    if (v !== null && typeof v === 'object' && !Array.isArray(v)) {
+        const properties = obj(s.properties) ?? {};
+        for (const [k, x] of Object.entries(v)) {
+            const p = obj(properties[k]) ?? obj(s.additionalProperties);
+            if (!p && s.additionalProperties === false && !(k in properties))
+                return { path: [...path, k], expected: 'no such property', options: Object.keys(properties) };
+            const m = mismatch(p, x, [...path, k]);
+            if (m)
+                return m;
+        }
+    }
+    if (Array.isArray(v)) {
+        const items = obj(s.items);
+        for (let i = 0; i < v.length; i++) {
+            const m = mismatch(items, v[i], [...path, String(i)]);
+            if (m)
+                return m;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAMA,MAAM,GAAG,GAAG,CAAC,CAAmB,EAAqB,EAAE,CACrD,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAgB,CAAC,CAAC,CAAC,IAAI,CAAA;AAE5E,MAAM,KAAK,GAAG,CAAC,CAAa,EAAY,EAAE,CACxC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,IAAiB,CAAC,CAAC,CAAC,EAAE,CAAA;AAI3F,SAAS,IAAI,CAAC,CAAa,EAAE,OAAe;IAC1C,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IAClD,MAAM,QAAQ,GAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACpE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,EAAE,CAC5C,CAAA;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;YACjB,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;gBAAE,SAAQ;YACxE,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;YAC3B,IAAI,CAAC,CAAC,EAAE;gBAAE,OAAO,CAAC,CAAA;YAClB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAA;QAClC,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;IAClC,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IAClB,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACpC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC,OAAO,CAAC,CAAA;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAA;QAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAA;QACzC,IAAI,KAAK;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QAC7C,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,oBAAoB,KAAK,KAAK;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;QACtF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAA;QAC1E,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;QACpE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAA;IAC9C,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACrD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;AACtC,CAAC;AAOD,MAAM,IAAI,GAAG,IAAI,OAAO,EAAoB,CAAA;AAE5C,MAAM,UAAU,WAAW,CAAC,IAAuB,EAAE,IAAuB;IAC1E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACjE,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACzB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,EAAE,CAAA;QACT,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACtB,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,KAAK,IAAI,GAAG,EAAE,CAAA;QACvB,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,CAAA;YACV,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC/B,CAAC;QACD,IAAI,GAAG,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACpC,OAAO,IAAI,CAAC,MAAM,CAAA;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAgB,EAAE,IAAuB;IACzD,IAAI,OAAO,GAAsB,IAAI,CAAA;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAChC,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAA;QAC5E,OAAO,GAAG,CAAC,CAAC,MAAM,CAAA;IACpB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAoB;IAC1C,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACrC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAW;gBAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACzF,OAAO,IAAI,CAAA;AACb,CAAC;AAQD,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,EAAE,CAC7B,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;AAE/F,MAAM,WAAW,GAAG,CAAC,CAAS,EAAE,CAAO,EAAE,EAAE,CACzC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AAE9G,MAAM,UAAU,QAAQ,CAAC,CAAoB,EAAE,CAAO,EAAE,IAAI,GAAa,EAAE;IACzE,IAAI,CAAC,CAAC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAI,CAAC,CAAC,CAAC,CAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YACpE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;YAC9C,OAAO;gBACL,IAAI;gBACJ,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBACnD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aAClF,CAAA;QACH,CAAC;IACH,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAe,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;YACnC,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAA;QACjB,CAAC;IACH,IAAI,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IAC3G,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;QACxE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAA;IACtF,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IAClB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACxG,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;QAC1C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAA;YAC3D,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;gBAC9D,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAA;YAC/F,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;YACtC,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACtD,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAA;QACjB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/sites.d.ts

@@ -0,0 +1,15 @@
+import { type At, type FeatureIR, type GuardExpr, type ProjectIR, type ValueExpr } from '@hozu/core/ir';
+import type { RefKind } from './resolve.ts';
+export interface RefSite {
+    feature: FeatureIR;
+    pointer: At;
+    ref: string;
+    kind: RefKind;
+    key: boolean;
+}
+export declare const hasRefs: (value: ValueExpr) => boolean;
+export declare const guardHasRefs: (guard: GuardExpr) => boolean;
+export declare function valueRefs(value: ValueExpr, pointer: At, out: (ref: string, pointer: At) => void): void;
+export declare function guardRefs(guard: GuardExpr, pointer: At, out: (ref: string, pointer: At) => void): void;
+export declare function refSites(ir: ProjectIR): RefSite[];
+//# sourceMappingURL=sites.d.ts.map

package/dist/sites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sites.d.ts","sourceRoot":"","sources":["../src/sites.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,EAAM,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAA;AAC3G,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAG3C,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,SAAS,CAAA;IAClB,OAAO,EAAE,EAAE,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,OAAO,CAAA;CACb;AAED,eAAO,MAAM,OAAO,UAAW,SAAS,KAAG,OAC+B,CAAA;AAE1E,eAAO,MAAM,YAAY,UAAW,SAAS,KAAG,OACsB,CAAA;AAEtE,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,IAAI,QAW/F;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,IAAI,QAiB/F;AAED,wBAAgB,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,OAAO,EAAE,CAqGjD"}