@hozu/validator 0.1.0

package/dist/rules/dom.js

@@ -0,0 +1,104 @@
+import { at, eventFields, resolveAt, } from '@hozu/core/ir';
+import { closest, didYouMean } from '../suggest.js';
+import { walkView } from '../walk.js';
+function domRefs(v, pointer, visit) {
+    if ('ref' in v) {
+        if (v.ref === 'dom')
+            visit(v.path[0] ?? '', at(pointer, 'path', 0));
+    }
+    else if ('object' in v)
+        for (const k in v.object)
+            domRefs(v.object[k], at(pointer, 'object', k), visit);
+    else if ('fn' in v)
+        domRefs(v.arg, at(pointer, 'arg'), visit);
+    else if ('test' in v)
+        guardDomRefs(v.test, at(pointer, 'test'), visit);
+    else if ('link' in v) {
+        domRefs(v.params, at(pointer, 'params'), visit);
+        domRefs(v.search, at(pointer, 'search'), visit);
+    }
+}
+function guardDomRefs(g, pointer, visit) {
+    switch (g.op) {
+        case 'and':
+        case 'or':
+            g.args.forEach((a, i) => guardDomRefs(a, at(pointer, 'args', i), visit));
+            return;
+        case 'not':
+            guardDomRefs(g.arg, at(pointer, 'arg'), visit);
+            return;
+        case 'fn':
+            domRefs(g.arg, at(pointer, 'arg'), visit);
+            return;
+        default:
+            domRefs(g.left, at(pointer, 'left'), visit);
+            domRefs(g.right, at(pointer, 'right'), visit);
+    }
+}
+export function domFields(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 }) => {
+                const outside = (field, p) => ctx.report('HZ027', f.id, p, `ui.dom.${field} is read outside an event handler`, 'DOM fields only exist while an event is being handled: read them in ui.send(…) payloads.', {
+                    summary: 'Send the DOM value into the machine and read it from context',
+                    snippet: null,
+                    patch: null,
+                });
+                const fieldsFor = (on, pointer) => {
+                    for (const [event, send] of Object.entries(on)) {
+                        const allowed = eventFields[event] ?? [];
+                        domRefs(send.payload, at(pointer, 'on', event, 'payload'), (field, p) => {
+                            if (allowed.includes(field))
+                                return;
+                            const guess = closest(field, allowed);
+                            ctx.report('HZ027', f.id, p, `"${event}" events have no DOM field "${field}".${didYouMean(guess)}`, allowed.length
+                                ? `Fields available on ${event}: ${allowed.join(', ')}.`
+                                : `${event} events carry no DOM fields.`, {
+                                summary: guess ? `Read ui.dom.${guess}` : 'Remove the DOM field from the payload',
+                                snippet: null,
+                                patch: guess ? [{ op: 'replace', path: resolveAt(p), value: guess }] : null,
+                            });
+                        });
+                    }
+                };
+                switch (node.kind) {
+                    case 'widget':
+                        domRefs(node.props, at(pointer, 'props'), outside);
+                        for (const key of ['toggle', 'vars'])
+                            for (const [name, v] of Object.entries(node[key]))
+                                domRefs(v, at(pointer, key, name), outside);
+                        for (const [event, send] of Object.entries(node.on))
+                            domRefs(send.payload, at(pointer, 'on', event, 'payload'), (field, p) => {
+                                if (field !== 'detail')
+                                    ctx.report('HZ027', f.id, p, `Widget event "${event}" carries only its detail`, 'Read the widget event payload through the handler argument: (detail) => ui.send(…, { x: detail.x }).');
+                            });
+                        return;
+                    case 'el':
+                        for (const key of ['attrs', 'toggle', 'vars'])
+                            for (const [name, v] of Object.entries(node[key]))
+                                domRefs(v, at(pointer, key, name), outside);
+                        fieldsFor(node.on, pointer);
+                        return;
+                    case 'text':
+                    case 'html':
+                        domRefs(node.value, at(pointer, 'value'), outside);
+                        return;
+                    case 'if':
+                        guardDomRefs(node.test, at(pointer, 'test'), outside);
+                        return;
+                    case 'global':
+                        fieldsFor(node.on, pointer);
+                        return;
+                    case 'each':
+                        domRefs(node.source, at(pointer, 'source'), outside);
+                        return;
+                    case 'query':
+                        domRefs(node.input, at(pointer, 'input'), outside);
+                        return;
+                    default:
+                        return;
+                }
+            });
+}
+//# sourceMappingURL=dom.js.map

package/dist/rules/dom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dom.js","sourceRoot":"","sources":["../../src/rules/dom.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,EAAE,EACF,WAAW,EAEX,SAAS,GAGV,MAAM,eAAe,CAAA;AAEtB,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAIrC,SAAS,OAAO,CAAC,CAAY,EAAE,OAAW,EAAE,KAAY;IACtD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK;YAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAA;IACrE,CAAC;SAAM,IAAI,QAAQ,IAAI,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;SACrG,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;SACxD,IAAI,MAAM,IAAI,CAAC;QAAE,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;SACjE,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAA;QAC/C,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAA;IACjD,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,CAAY,EAAE,OAAW,EAAE,KAAY;IAC3D,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;YACxE,OAAM;QACR,KAAK,KAAK;YACR,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;YAC9C,OAAM;QACR,KAAK,IAAI;YACP,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;YACzC,OAAM;QACR;YACE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;YAC3C,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAA;IACjD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,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,MAAM,OAAO,GAAU,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAClC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,UAAU,KAAK,mCAAmC,EAClD,0FAA0F,EAC1F;oBACE,OAAO,EAAE,8DAA8D;oBACvE,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;gBACH,MAAM,SAAS,GAAG,CAAC,EAA0B,EAAE,OAAW,EAAE,EAAE;oBAC5D,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC/C,MAAM,OAAO,GAAsB,WAAW,CAAC,KAAiC,CAAC,IAAI,EAAE,CAAA;wBACvF,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;4BACtE,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;gCAAE,OAAM;4BACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;4BACrC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,IAAI,KAAK,+BAA+B,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EACrE,OAAO,CAAC,MAAM;gCACZ,CAAC,CAAC,uBAAuB,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gCACxD,CAAC,CAAC,GAAG,KAAK,8BAA8B,EAC1C;gCACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC,CAAC,uCAAuC;gCACjF,OAAO,EAAE,IAAI;gCACb,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;6BAC5E,CACF,CAAA;wBACH,CAAC,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC,CAAA;gBACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,KAAK,QAAQ;wBACX,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;wBAClD,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAU;4BAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gCAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;wBAChG,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;4BACjD,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gCACtE,IAAI,KAAK,KAAK,QAAQ;oCACpB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,iBAAiB,KAAK,2BAA2B,EACjD,sGAAsG,CACvG,CAAA;4BACL,CAAC,CAAC,CAAA;wBACJ,OAAM;oBACR,KAAK,IAAI;wBACP,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAU;4BACpD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gCAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;wBAChG,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;wBAC3B,OAAM;oBACR,KAAK,MAAM,CAAC;oBACZ,KAAK,MAAM;wBACT,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;wBAClD,OAAM;oBACR,KAAK,IAAI;wBACP,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;wBACrD,OAAM;oBACR,KAAK,QAAQ;wBACX,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;wBAC3B,OAAM;oBACR,KAAK,MAAM;wBACT,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAA;wBACpD,OAAM;oBACR,KAAK,OAAO;wBACV,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;wBAClD,OAAM;oBACR;wBACE,OAAM;gBACV,CAAC;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/rules/errors.d.ts

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

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

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

package/dist/rules/errors.js

@@ -0,0 +1,97 @@
+import { at, resolveAt } from '@hozu/core/ir';
+import { effectSchemas } from '../env.js';
+import { resolveRef } from '../resolve.js';
+import { closest, didYouMean } from '../suggest.js';
+import { featurePointer, walkView } from '../walk.js';
+const required = (errors) => [...Object.keys(errors), 'Unexpected'];
+export function declaredErrors(ctx) {
+    for (const f of Object.values(ctx.ir.features)) {
+        const initial = f.machine?.initial ?? '';
+        for (const [state, s] of Object.entries(f.machine?.states ?? {})) {
+            if (!s.invoke)
+                continue;
+            const schemas = effectSchemas(ctx.ir, s.invoke.effect);
+            if (!schemas)
+                continue;
+            const names = required(schemas.errors);
+            const base = featurePointer(f.id, 'machine', 'states', state, 'invoke', 'failed');
+            const template = s.invoke.failed.Unexpected?.length
+                ? s.invoke.failed.Unexpected
+                : [{ guard: null, target: initial, assign: [], navigate: null }];
+            for (const name of names) {
+                if (s.invoke.failed[name]?.length)
+                    continue;
+                ctx.report('HZ004', f.id, at(base, name), `"${state}" invokes ${s.invoke.effect} but does not handle its "${name}" error`, `${s.invoke.effect} declares errors ${names.join(', ')}; every one needs a failed transition.`, {
+                    summary: `Add failed.${name}`,
+                    snippet: `failed: { ${name}: [{ target: '${template[0].target}' }] }`,
+                    patch: [{ op: 'add', path: resolveAt(at(base, name)), value: template }],
+                });
+            }
+            for (const name of Object.keys(s.invoke.failed)) {
+                if (names.includes(name) || (name === 'Invalid' && schemas.invalid))
+                    continue;
+                const guess = closest(name, names);
+                ctx.report('HZ007', f.id, at(base, name), `${s.invoke.effect} has no error "${name}".${didYouMean(guess)}`, `Declared errors: ${names.join(', ')}.`, {
+                    summary: 'Remove the handler',
+                    snippet: null,
+                    patch: [{ op: 'remove', path: resolveAt(at(base, name)) }],
+                });
+            }
+        }
+        for (const [vid, view] of Object.entries(f.views))
+            walkView(ctx.ir, f, vid, view, ({ node, pointer }) => {
+                if (node.kind !== 'query')
+                    return;
+                const r = resolveRef(ctx.ir, node.query, 'query');
+                if (!r)
+                    return;
+                const names = required(r.feature.queries[r.symbol].errors);
+                for (const name of names) {
+                    if (node.failed[name])
+                        continue;
+                    const template = node.failed.Unexpected ?? {
+                        id: `${node.id}/failed/${name}`,
+                        kind: 'text',
+                        value: { literal: '' },
+                    };
+                    ctx.report('HZ004', f.id, at(pointer, 'failed', name), `Query ${node.query} can fail with "${name}" but the view does not render it`, `Declared errors: ${names.join(', ')}.`, {
+                        summary: `Add failed.${name}`,
+                        snippet: `failed: { ${name}: () => ui.p({}, ['…']) }`,
+                        patch: [
+                            {
+                                op: 'add',
+                                path: resolveAt(at(pointer, 'failed', name)),
+                                value: template,
+                            },
+                        ],
+                    });
+                }
+                for (const name of Object.keys(node.failed))
+                    if (!names.includes(name))
+                        ctx.report('HZ007', f.id, at(pointer, 'failed', name), `${node.query} has no error "${name}"`, `Declared errors: ${names.join(', ')}.`, {
+                            summary: 'Remove the branch',
+                            snippet: null,
+                            patch: [{ op: 'remove', path: resolveAt(at(pointer, 'failed', name)) }],
+                        });
+            });
+        for (const [cid, c] of Object.entries(f.contracts))
+            c.when.forEach((step, i) => {
+                if (!('failed' in step))
+                    return;
+                const schemas = effectSchemas(ctx.ir, step.failed);
+                if (!schemas)
+                    return;
+                const names = required(schemas.errors);
+                if (names.includes(step.error) || (step.error === 'Invalid' && schemas.invalid))
+                    return;
+                const guess = closest(step.error, names);
+                const p = featurePointer(f.id, 'contracts', cid, 'when', i, 'error');
+                ctx.report('HZ007', f.id, p, `${step.failed} has no error "${step.error}".${didYouMean(guess)}`, `Declared errors: ${names.join(', ')}.`, {
+                    summary: guess ? `Use "${guess}"` : 'Use a declared error',
+                    snippet: null,
+                    patch: guess ? [{ op: 'replace', path: resolveAt(p), value: guess }] : null,
+                });
+            });
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/rules/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/rules/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAa,SAAS,EAAoC,MAAM,eAAe,CAAA;AAE1F,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErD,MAAM,QAAQ,GAAG,CAAC,MAA8B,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAA;AAE3F,MAAM,UAAU,cAAc,CAAC,GAAQ;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAA;QACxC,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,CAAC,MAAM;gBAAE,SAAQ;YACvB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACtD,IAAI,CAAC,OAAO;gBAAE,SAAQ;YACtB,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACtC,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;YACjF,MAAM,QAAQ,GAAmB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM;gBACjE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU;gBAC5B,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;YAClE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM;oBAAE,SAAQ;gBAC3C,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EACd,IAAI,KAAK,aAAa,CAAC,CAAC,MAAM,CAAC,MAAM,6BAA6B,IAAI,SAAS,EAC/E,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,wCAAwC,EAC9F;oBACE,OAAO,EAAE,cAAc,IAAI,EAAE;oBAC7B,OAAO,EAAE,aAAa,IAAI,iBAAiB,QAAQ,CAAC,CAAC,CAAE,CAAC,MAAM,QAAQ;oBACtE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,QAA2B,EAAE,CAAC;iBAC5F,CACF,CAAA;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;oBAAE,SAAQ;gBAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBAClC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EACd,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,kBAAkB,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EAChE,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACvC;oBACE,OAAO,EAAE,oBAAoB;oBAC7B,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;iBAC3D,CACF,CAAA;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/C,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,OAAO;oBAAE,OAAM;gBACjC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;gBACjD,IAAI,CAAC,CAAC;oBAAE,OAAM;gBACd,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,MAAM,CAAC,CAAA;gBAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;wBAAE,SAAQ;oBAC/B,MAAM,QAAQ,GAAa,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI;wBACnD,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,WAAW,IAAI,EAAE;wBAC/B,IAAI,EAAE,MAAM;wBACZ,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;qBACvB,CAAA;oBACD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAC3B,SAAS,IAAI,CAAC,KAAK,mBAAmB,IAAI,mCAAmC,EAC7E,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACvC;wBACE,OAAO,EAAE,cAAc,IAAI,EAAE;wBAC7B,OAAO,EAAE,aAAa,IAAI,2BAA2B;wBACrD,KAAK,EAAE;4BACL;gCACE,EAAE,EAAE,KAAK;gCACT,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gCAC5C,KAAK,EAAE,QAA2B;6BACnC;yBACF;qBACF,CACF,CAAA;gBACH,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;oBACzC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACvB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAC3B,GAAG,IAAI,CAAC,KAAK,kBAAkB,IAAI,GAAG,EACtC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACvC;4BACE,OAAO,EAAE,mBAAmB;4BAC5B,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;yBACxE,CACF,CAAA;YACP,CAAC,CAAC,CAAA;QACJ,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBACzB,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;oBAAE,OAAM;gBAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;gBAClD,IAAI,CAAC,OAAO;oBAAE,OAAM;gBACpB,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;gBACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC;oBAAE,OAAM;gBACvF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACxC,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;gBACpE,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,GAAG,IAAI,CAAC,MAAM,kBAAkB,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,EAClE,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACvC;oBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,sBAAsB;oBAC1D,OAAO,EAAE,IAAI;oBACb,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;iBAC5E,CACF,CAAA;YACH,CAAC,CAAC,CAAA;IACN,CAAC;AACH,CAAC"}

package/dist/rules/events.d.ts

@@ -0,0 +1,5 @@
+import type { Ctx } from '../context.ts';
+export declare function unhandledEvents(ctx: Ctx): void;
+export declare function viewEvents(ctx: Ctx): void;
+export declare function conflictingIgnores(ctx: Ctx): void;
+//# sourceMappingURL=events.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/rules/events.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AAIxC,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,QAkCvC;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,QA4ClC;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,GAAG,QAoB1C"}

package/dist/rules/events.js

@@ -0,0 +1,87 @@
+import { at, resolveAt } from '@hozu/core/ir';
+import { resolveRef } from '../resolve.js';
+import { featurePointer, walkView } from '../walk.js';
+export function unhandledEvents(ctx) {
+    for (const f of Object.values(ctx.ir.features)) {
+        const states = Object.values(f.machine?.states ?? {});
+        for (const symbol of Object.keys(f.events)) {
+            const ref = `${f.id}.${symbol}`;
+            if (states.some((s) => s.on[ref]?.length))
+                continue;
+            const p = featurePointer(f.id, 'events', symbol);
+            const exported = f.exports.events.indexOf(symbol);
+            ctx.report('HZ002', f.id, p, `Event ${ref} is declared but no state handles it`, f.machine
+                ? `No state of the ${f.id} machine has on(${symbol}, …).`
+                : `${f.id} has no machine, so its events can never be handled.`, {
+                summary: `Handle ${symbol} in a state, or remove the event`,
+                snippet: `on(${symbol}, { target: '${f.machine?.initial ?? 'someState'}' })`,
+                patch: [
+                    ...(exported >= 0
+                        ? [
+                            {
+                                op: 'remove',
+                                path: resolveAt(featurePointer(f.id, 'exports', 'events', exported)),
+                            },
+                        ]
+                        : []),
+                    { op: 'remove', path: resolveAt(p) },
+                ],
+            });
+        }
+    }
+}
+export function viewEvents(ctx) {
+    for (const f of Object.values(ctx.ir.features))
+        for (const [vid, view] of Object.entries(f.views))
+            walkView(ctx.ir, f, vid, view, ({ node, pointer, visible }) => {
+                if (node.kind !== 'el' && node.kind !== 'widget' && node.kind !== 'global')
+                    return;
+                for (const [dom, send] of Object.entries(node.on)) {
+                    const r = resolveRef(ctx.ir, send.event, 'event');
+                    const m = r?.feature.machine;
+                    if (!r || !m)
+                        continue;
+                    const own = r.feature.id === f.id && visible !== null;
+                    const shown = own ? visible : Object.keys(m.states);
+                    const handling = new Set(Object.entries(m.states)
+                        .filter(([, s]) => s.on[send.event]?.length || s.ignore.includes(send.event))
+                        .map(([n]) => n));
+                    const missing = shown.filter((s) => !handling.has(s));
+                    if (!missing.length)
+                        continue;
+                    ctx.report('HZ005', f.id, at(pointer, 'on', dom), `${send.event} can be sent while ${r.feature.id} is in ${missing.map((s) => `"${s}"`).join(', ')}, where it is not handled`, own
+                        ? 'A node may only send an event when every state in which it is visible handles that event.'
+                        : `The sender cannot observe the state of ${r.feature.id}, so every one of its states must handle ${send.event}.`, own
+                        ? {
+                            summary: `Ignore ${send.event} in ${missing.join(', ')} (ignore: [${send.event.split('.')[1]}]), or show the node only in the states that handle it`,
+                            snippet: `ignore: [${send.event.split('.')[1]}]`,
+                            patch: missing.map((s) => ({
+                                op: 'add',
+                                path: resolveAt(featurePointer(r.feature.id, 'machine', 'states', s, 'ignore', '-')),
+                                value: send.event,
+                            })),
+                        }
+                        : {
+                            summary: `Handle ${send.event} in ${missing.join(', ')}, or stop sending it from here`,
+                            snippet: null,
+                            patch: [{ op: 'remove', path: resolveAt(at(pointer, 'on', dom)) }],
+                        });
+                }
+            });
+}
+export function conflictingIgnores(ctx) {
+    for (const f of Object.values(ctx.ir.features))
+        for (const [name, s] of Object.entries(f.machine?.states ?? {}))
+            s.ignore.forEach((event, i) => {
+                if (!s.on[event]?.length)
+                    return;
+                ctx.report('HZ034', f.id, featurePointer(f.id, 'machine', 'states', name, 'ignore', i), `State "${name}" both handles and ignores ${event}`, 'An ignored event is dropped; a handled one takes a transition. A state must choose one.', {
+                    summary: `Remove ${event} from ignore`,
+                    snippet: null,
+                    patch: [
+                        { op: 'remove', path: resolveAt(featurePointer(f.id, 'machine', 'states', name, 'ignore', i)) },
+                    ],
+                });
+            });
+}
+//# sourceMappingURL=events.js.map

package/dist/rules/events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/rules/events.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErD,MAAM,UAAU,eAAe,CAAC,GAAQ;IACtC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,CAAA;QACrD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,MAAM,EAAE,CAAA;YAC/B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;gBAAE,SAAQ;YACnD,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;YAChD,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACjD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,SAAS,GAAG,sCAAsC,EAClD,CAAC,CAAC,OAAO;gBACP,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,mBAAmB,MAAM,OAAO;gBACzD,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,sDAAsD,EACjE;gBACE,OAAO,EAAE,UAAU,MAAM,kCAAkC;gBAC3D,OAAO,EAAE,MAAM,MAAM,gBAAgB,CAAC,CAAC,OAAO,EAAE,OAAO,IAAI,WAAW,MAAM;gBAC5E,KAAK,EAAE;oBACL,GAAG,CAAC,QAAQ,IAAI,CAAC;wBACf,CAAC,CAAC;4BACE;gCACE,EAAE,EAAE,QAAiB;gCACrB,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;6BACrE;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE;iBACrC;aACF,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/C,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAM;gBAClF,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAClD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;oBACjD,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,OAAO,CAAA;oBAC5B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;wBAAE,SAAQ;oBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,OAAO,KAAK,IAAI,CAAA;oBACrD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;oBACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;yBACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;yBAC5E,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACnB,CAAA;oBACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;oBACrD,IAAI,CAAC,OAAO,CAAC,MAAM;wBAAE,SAAQ;oBAC7B,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,EACtB,GAAG,IAAI,CAAC,KAAK,sBAAsB,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,EAC3H,GAAG;wBACD,CAAC,CAAC,2FAA2F;wBAC7F,CAAC,CAAC,0CAA0C,CAAC,CAAC,OAAO,CAAC,EAAE,4CAA4C,IAAI,CAAC,KAAK,GAAG,EACnH,GAAG;wBACD,CAAC,CAAC;4BACE,OAAO,EAAE,UAAU,IAAI,CAAC,KAAK,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,wDAAwD;4BACpJ,OAAO,EAAE,YAAY,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;4BAChD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gCACzB,EAAE,EAAE,KAAc;gCAClB,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gCACpF,KAAK,EAAE,IAAI,CAAC,KAAK;6BAClB,CAAC,CAAC;yBACJ;wBACH,CAAC,CAAC;4BACE,OAAO,EAAE,UAAU,IAAI,CAAC,KAAK,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gCAAgC;4BACtF,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;yBACnE,CACN,CAAA;gBACH,CAAC;YACH,CAAC,CAAC,CAAA;AACR,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAQ;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;YAC7D,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM;oBAAE,OAAM;gBAChC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,EAC5D,UAAU,IAAI,8BAA8B,KAAK,EAAE,EACnD,yFAAyF,EACzF;oBACE,OAAO,EAAE,UAAU,KAAK,cAAc;oBACtC,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE;wBACL,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;qBAChG;iBACF,CACF,CAAA;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/rules/forms.d.ts

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

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

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

package/dist/rules/forms.js

@@ -0,0 +1,19 @@
+import { at, formRunnable } from '@hozu/core/ir';
+import { walkView } from '../walk.js';
+export function progressiveForms(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' || node.tag !== 'form' || !node.on.submit)
+                    return;
+                if (formRunnable(node.on.submit.payload))
+                    return;
+                ctx.report('HZ036', f.id, at(pointer, 'on', 'submit', 'payload'), `This form only works with JavaScript: its ${node.on.submit.event} payload reads values the server cannot see`, 'Without JavaScript the browser posts the named form fields; the server can use those, context, params and search, but not other DOM fields or each/query bindings.', {
+                    summary: "Read the fields with ui.dom.form('name') so the form also works before hydration and without JavaScript",
+                    snippet: null,
+                    patch: null,
+                });
+            });
+}
+//# sourceMappingURL=forms.js.map

package/dist/rules/forms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forms.js","sourceRoot":"","sources":["../../src/rules/forms.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAEhD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErC,MAAM,UAAU,gBAAgB,CAAC,GAAQ;IACvC,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,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM;oBAAE,OAAM;gBACxE,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;oBAAE,OAAM;gBAChD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,EACtC,6CAA6C,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,6CAA6C,EAC9G,oKAAoK,EACpK;oBACE,OAAO,EACL,yGAAyG;oBAC3G,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/rules/html.d.ts

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

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

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

package/dist/rules/html.js

@@ -0,0 +1,55 @@
+import { anyRef, at, resolveAt } from '@hozu/core/ir';
+import { featurePointer } from '../walk.js';
+const untrusted = (v, tainted) => anyRef(v, (r) => r.ref === 'context' ||
+    r.ref === 'dom' ||
+    r.ref === 'params' ||
+    (r.ref === 'binding' && tainted[r.depth] === true));
+export function unsafeHtml(ctx) {
+    for (const f of Object.values(ctx.ir.features))
+        for (const [vid, view] of Object.entries(f.views)) {
+            const walk = (n, pointer, tainted) => {
+                const kids = (list, key) => list.forEach((c, i) => walk(c, at(pointer, key, i), tainted));
+                switch (n.kind) {
+                    case 'html':
+                        if (untrusted(n.value, tainted))
+                            ctx.report('HZ030', f.id, at(pointer, 'value'), 'ui.html renders a value the client or URL controls', 'Context, DOM fields and route params can carry user input; rendering them as HTML allows script injection (XSS). Only query results (sanitized by the server) and literals may be rendered as HTML.', {
+                                summary: 'Render it as text, or sanitize it on the server and read it from a query',
+                                snippet: null,
+                                patch: [
+                                    {
+                                        op: 'replace',
+                                        path: resolveAt(pointer),
+                                        value: { id: n.id, kind: 'text', value: n.value },
+                                    },
+                                ],
+                            });
+                        return;
+                    case 'el':
+                    case 'when':
+                    case 'widget':
+                        kids(n.children, 'children');
+                        return;
+                    case 'if':
+                        kids(n.ifTrue, 'ifTrue');
+                        kids(n.ifFalse, 'ifFalse');
+                        return;
+                    case 'each':
+                        walk(n.item, at(pointer, 'item'), [...tainted, untrusted(n.source, tainted)]);
+                        return;
+                    case 'query': {
+                        const input = untrusted(n.input, tainted);
+                        walk(n.ready, at(pointer, 'ready'), [...tainted, false]);
+                        if (n.pending)
+                            walk(n.pending, at(pointer, 'pending'), tainted);
+                        for (const [name, c] of Object.entries(n.failed))
+                            walk(c, at(pointer, 'failed', name), [...tainted, input]);
+                        return;
+                    }
+                    default:
+                        return;
+                }
+            };
+            walk(view.root, featurePointer(f.id, 'views', vid, 'root'), []);
+        }
+}
+//# sourceMappingURL=html.js.map

package/dist/rules/html.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"html.js","sourceRoot":"","sources":["../../src/rules/html.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,MAAM,EAAE,EAAE,EAAE,SAAS,EAAiC,MAAM,eAAe,CAAA;AAE7F,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,MAAM,SAAS,GAAG,CAAC,CAAY,EAAE,OAAkB,EAAE,EAAE,CACrD,MAAM,CACJ,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,GAAG,KAAK,SAAS;IACnB,CAAC,CAAC,GAAG,KAAK,KAAK;IACf,CAAC,CAAC,GAAG,KAAK,QAAQ;IAClB,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CACrD,CAAA;AAEH,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,CAAC,CAAW,EAAE,OAAW,EAAE,OAAkB,EAAE,EAAE;gBAC5D,MAAM,IAAI,GAAG,CAAC,IAAgB,EAAE,GAAW,EAAE,EAAE,CAC7C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;gBAC/D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;oBACf,KAAK,MAAM;wBACT,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC;4BAC7B,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EACpB,oDAAoD,EACpD,qMAAqM,EACrM;gCACE,OAAO,EAAE,0EAA0E;gCACnF,OAAO,EAAE,IAAI;gCACb,KAAK,EAAE;oCACL;wCACE,EAAE,EAAE,SAAS;wCACb,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;wCACxB,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;qCAClD;iCACF;6BACF,CACF,CAAA;wBACH,OAAM;oBACR,KAAK,IAAI,CAAC;oBACV,KAAK,MAAM,CAAC;oBACZ,KAAK,QAAQ;wBACX,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;wBAC5B,OAAM;oBACR,KAAK,IAAI;wBACP,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;wBACxB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;wBAC1B,OAAM;oBACR,KAAK,MAAM;wBACT,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;wBAC7E,OAAM;oBACR,KAAK,OAAO,EAAE,CAAC;wBACb,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;wBACzC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;wBACxD,IAAI,CAAC,CAAC,OAAO;4BAAE,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,CAAA;wBAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;4BAC9C,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;wBAC3D,OAAM;oBACR,CAAC;oBACD;wBACE,OAAM;gBACV,CAAC;YACH,CAAC,CAAA;YACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAA;QACjE,CAAC;AACL,CAAC"}

package/dist/rules/http.d.ts

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

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

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

package/dist/rules/http.js

@@ -0,0 +1,71 @@
+import { join, routePattern } from '@hozu/core/ir';
+const RESERVED = new Set([
+    'content-type',
+    'content-length',
+    'cache-control',
+    'vary',
+    'location',
+    'set-cookie',
+    'content-security-policy',
+    'x-hozu-cache',
+]);
+const TOKEN = /^[a-z0-9!#$%&'*+.^_`|~-]+$/;
+const BASE = /^(\/[A-Za-z0-9._~-]+)+$/;
+const overlaps = (a, b) => {
+    const [x, y] = [routePattern(a), routePattern(b)];
+    return x.pattern.test(y.sample) || y.pattern.test(x.sample);
+};
+export function httpRules(ctx) {
+    const { http } = ctx.ir;
+    if (http.basePath !== '' && !BASE.test(http.basePath))
+        ctx.report('HZ039', null, join('', 'http', 'basePath'), `basePath "${http.basePath}" is not a path prefix`, 'The prefix is joined to every URL, so it must be empty or /segment[/segment…] without a trailing slash.', {
+            summary: 'Use a prefix such as "/shop"',
+            snippet: null,
+            patch: [
+                {
+                    op: 'replace',
+                    path: join('', 'http', 'basePath'),
+                    value: `/${http.basePath.split('/').filter(Boolean).join('/')}`.replace(/^\/$/, ''),
+                },
+            ],
+        });
+    const pages = Object.keys(ctx.ir.pages).flatMap((id) => ctx.ir.routes[id] ? [[id, ctx.ir.routes[id].path]] : []);
+    http.redirects.forEach((r, i) => {
+        const at = join('', 'http', 'redirects', i);
+        const remove = {
+            summary: 'Remove this redirect',
+            snippet: null,
+            patch: [{ op: 'remove', path: at }],
+        };
+        const invalid = (message, cause) => ctx.report('HZ037', null, at, message, cause, remove);
+        if (!r.from.startsWith('/'))
+            return invalid(`Redirect "${r.from}" is not a path`, 'A redirect matches a request path.');
+        const page = pages.find(([, path]) => overlaps(r.from, path));
+        if (page)
+            return invalid(`Redirect "${r.from}" matches route "${page[0]}" (${page[1]})`, 'A URL has one owner: a redirect never hides a page.');
+        const other = http.redirects.slice(0, i).find((o) => overlaps(r.from, o.from));
+        if (other)
+            return invalid(`Redirect "${r.from}" overlaps redirect "${other.from}"`, 'Two redirects for one URL make the target depend on order.');
+        if ('link' in r.to && !ctx.ir.routes[r.to.link])
+            return invalid(`Redirect "${r.from}" targets an unknown route`, 'Point `to` at a registered route with ui.link.');
+        if ('literal' in r.to && typeof r.to.literal === 'string' && r.to.literal.startsWith('/'))
+            ctx.report('HZ032', null, join(at, 'to'), `Redirect "${r.from}" targets the internal path "${r.to.literal}" as a string`, 'Internal URLs are built from route declarations so they stay typed and canonical.', { summary: 'Use to: (params) => ui.link(route, params)', snippet: null, patch: null });
+    });
+    http.headers.forEach((rule, i) => {
+        for (const [name, value] of Object.entries(rule.set)) {
+            const at = join('', 'http', 'headers', i, 'set', name);
+            const why = RESERVED.has(name)
+                ? `Header "${name}" is owned by the framework`
+                : !TOKEN.test(name)
+                    ? `Header name "${name}" is not a lowercase token`
+                    : /[\r\n]/.test(value)
+                        ? `Header "${name}" has a line break in its value`
+                        : null;
+            if (why)
+                ctx.report('HZ038', null, at, why, RESERVED.has(name)
+                    ? 'It is derived (cache-control, content-type), set by sessions (set-cookie) or configured on the server (content-security-policy).'
+                    : 'Header names are lowercase tokens and values are one line.', { summary: 'Remove the header', snippet: null, patch: [{ op: 'remove', path: at }] });
+        }
+    });
+}
+//# sourceMappingURL=http.js.map

package/dist/rules/http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.js","sourceRoot":"","sources":["../../src/rules/http.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAGlD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,cAAc;IACd,gBAAgB;IAChB,eAAe;IACf,MAAM;IACN,UAAU;IACV,YAAY;IACZ,yBAAyB;IACzB,cAAc;CACf,CAAC,CAAA;AACF,MAAM,KAAK,GAAG,4BAA4B,CAAA;AAC1C,MAAM,IAAI,GAAG,yBAAyB,CAAA;AAEtC,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;IACxC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,CAAA;IACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QACnD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,IAAI,EACJ,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,EAC5B,aAAa,IAAI,CAAC,QAAQ,wBAAwB,EAClD,yGAAyG,EACzG;YACE,OAAO,EAAE,8BAA8B;YACvC,OAAO,EAAE,IAAI;YACb,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC;oBAClC,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;iBACpF;aACF;SACF,CACF,CAAA;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CACrD,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD,CAAA;IACD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;QAC3C,MAAM,MAAM,GAAG;YACb,OAAO,EAAE,sBAAsB;YAC/B,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;SAC7C,CAAA;QACD,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACzG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YACzB,OAAO,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,iBAAiB,EAAE,oCAAoC,CAAC,CAAA;QAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAK,CAAC,CAAC,CAAA;QAC9D,IAAI,IAAI;YACN,OAAO,OAAO,CACZ,aAAa,CAAC,CAAC,IAAI,oBAAoB,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,EAC9D,qDAAqD,CACtD,CAAA;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QAC9E,IAAI,KAAK;YACP,OAAO,OAAO,CACZ,aAAa,CAAC,CAAC,IAAI,wBAAwB,KAAK,CAAC,IAAI,GAAG,EACxD,4DAA4D,CAC7D,CAAA;QACH,IAAI,MAAM,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7C,OAAO,OAAO,CACZ,aAAa,CAAC,CAAC,IAAI,4BAA4B,EAC/C,gDAAgD,CACjD,CAAA;QACH,IAAI,SAAS,IAAI,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YACvF,GAAG,CAAC,MAAM,CACR,OAAO,EACP,IAAI,EACJ,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EACd,aAAa,CAAC,CAAC,IAAI,gCAAgC,CAAC,CAAC,EAAE,CAAC,OAAO,eAAe,EAC9E,mFAAmF,EACnF,EAAE,OAAO,EAAE,4CAA4C,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CACtF,CAAA;IACL,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;YACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC5B,CAAC,CAAC,WAAW,IAAI,6BAA6B;gBAC9C,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjB,CAAC,CAAC,gBAAgB,IAAI,4BAA4B;oBAClD,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;wBACpB,CAAC,CAAC,WAAW,IAAI,iCAAiC;wBAClD,CAAC,CAAC,IAAI,CAAA;YACZ,IAAI,GAAG;gBACL,GAAG,CAAC,MAAM,CACR,OAAO,EACP,IAAI,EACJ,EAAE,EACF,GAAG,EACH,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAChB,CAAC,CAAC,kIAAkI;oBACpI,CAAC,CAAC,4DAA4D,EAChE,EAAE,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CACrF,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/rules/i18n.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"i18n.d.ts","sourceRoot":"","sources":["../../src/rules/i18n.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AA+ExC,wBAAgB,IAAI,CAAC,GAAG,EAAE,GAAG,QA4K5B"}