@hozu/validator 0.1.0

package/dist/env.js

@@ -0,0 +1,79 @@
+import { INVALID_ERROR_SCHEMA, UNEXPECTED_ERROR_SCHEMA, } from '@hozu/core/ir';
+import { resolveRef } from './resolve.js';
+import { resolvePath } from './schema.js';
+export const schemaIn = (feature, hash) => (feature && hash !== undefined ? feature.schemas[hash] : undefined) ?? null;
+const invalidSchema = (input) => ({
+    ...INVALID_ERROR_SCHEMA,
+    properties: {
+        message: { type: 'string' },
+        fields: {
+            type: 'object',
+            properties: Object.fromEntries(Object.keys(input?.properties ?? {}).map((k) => [
+                k,
+                { type: ['string', 'null'] },
+            ])),
+            additionalProperties: false,
+        },
+    },
+});
+export function effectSchemas(ir, ref) {
+    const r = resolveRef(ir, ref, 'effect');
+    if (!r)
+        return null;
+    const effect = r.registry === 'queries' ? r.feature.queries[r.symbol] : r.feature.mutations[r.symbol];
+    return {
+        input: schemaIn(r.feature, effect.input),
+        output: schemaIn(r.feature, effect.output),
+        errors: effect.errors,
+        invalid: r.registry === 'mutations',
+        error: (name) => name === 'Unexpected'
+            ? UNEXPECTED_ERROR_SCHEMA
+            : name === 'Invalid' && r.registry === 'mutations' && !effect.errors.Invalid
+                ? invalidSchema(schemaIn(r.feature, effect.input))
+                : schemaIn(r.feature, effect.errors[name]),
+    };
+}
+export function valueSchema(ir, env, value) {
+    if ('ref' in value) {
+        const base = value.ref === 'binding' ? env.bindings[value.depth] : env.sources[value.ref];
+        const r = resolvePath(base ?? null, value.path);
+        return r.ok ? r.schema : null;
+    }
+    if ('test' in value)
+        return { type: 'boolean' };
+    if ('link' in value)
+        return { type: 'string' };
+    if ('fn' in value) {
+        if (value.fn.startsWith('#'))
+            return { type: 'string' };
+        const r = resolveRef(ir, value.fn, 'fn');
+        return r ? schemaIn(r.feature, r.feature.fns[r.symbol].output) : null;
+    }
+    return null;
+}
+export function contextEnv(feature) {
+    return { feature, sources: { context: schemaIn(feature, feature.machine?.context) }, bindings: [] };
+}
+export function triggerEnv(ctx, feature, site) {
+    const key = site.envKey;
+    const trigger = site.trigger;
+    let env = ctx.envs.get(key);
+    if (env)
+        return env;
+    const base = contextEnv(feature);
+    const sources = { ...base.sources };
+    if (trigger.kind === 'on')
+        sources.event = eventSchema(ctx.ir, trigger.event);
+    else if (trigger.kind === 'done')
+        sources.result = effectSchemas(ctx.ir, trigger.effect)?.output ?? null;
+    else if (trigger.kind === 'failed')
+        sources.error = effectSchemas(ctx.ir, trigger.effect)?.error(trigger.error) ?? null;
+    env = { ...base, sources };
+    ctx.envs.set(key, env);
+    return env;
+}
+export function eventSchema(ir, ref) {
+    const r = resolveRef(ir, ref, 'event');
+    return r ? schemaIn(r.feature, r.feature.events[r.symbol].payload) : null;
+}
+//# sourceMappingURL=env.js.map

package/dist/env.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.js","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,oBAAoB,EAIpB,uBAAuB,GAExB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAQzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAA8B,EAAE,IAAwB,EAAqB,EAAE,CACtG,CAAC,OAAO,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,CAAA;AAE7E,MAAM,aAAa,GAAG,CAAC,KAAwB,EAAc,EAAE,CAAC,CAAC;IAC/D,GAAG,oBAAoB;IACvB,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC3B,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,IAAI,CAAE,KAAK,EAAE,UAAiC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACtE,CAAC;gBACD,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;aAC7B,CAAC,CACH;YACD,oBAAoB,EAAE,KAAK;SAC5B;KACF;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,EAAa,EAAE,GAAW;IACtD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAA;IACvC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAE,CAAA;IACvG,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;QACxC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,CAAC,CAAC,QAAQ,KAAK,WAAW;QACnC,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CACtB,IAAI,KAAK,YAAY;YACnB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;gBAC1E,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAClD,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KACjD,CAAA;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAQ,EAAE,KAAgB;IACnE,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACzF,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,IAAI,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/B,CAAC;IACD,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IAC/C,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC9C,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;QAClB,IAAI,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACvD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACxC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACxE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAkB;IAC3C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;AACrG,CAAC;AAQD,MAAM,UAAU,UAAU,CACxB,GAA8C,EAC9C,OAAkB,EAClB,IAA0C;IAE1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAA;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,IAAI,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC3B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAA;IACnB,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;IACnC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;SACxE,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI,CAAA;SACnG,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;IACrF,GAAG,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAA;IAC1B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACtB,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAa,EAAE,GAAW;IACpD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC5E,CAAC"}

package/dist/impact.d.ts

@@ -0,0 +1,27 @@
+import { type ProjectIR } from '@hozu/core/ir';
+export type ImpactKind = 'event' | 'query' | 'mutation' | 'tag' | 'fn' | 'view';
+export interface ImpactQuery {
+    ref: string;
+    tag: string;
+    precision: 'exact' | 'param-dependent';
+}
+export interface ImpactUse {
+    feature: string;
+    at: string;
+    via: string;
+}
+export interface Impact {
+    target: string;
+    kind: ImpactKind;
+    tags: string[];
+    queries: ImpactQuery[];
+    invalidatedBy: string[];
+    uses: ImpactUse[];
+    features: string[];
+}
+export declare class UnknownSymbolError extends Error {
+    readonly suggestions: string[];
+    constructor(message: string, suggestions: string[]);
+}
+export declare function impact(ir: ProjectIR, target: string): Impact;
+//# sourceMappingURL=impact.d.ts.map

package/dist/impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../src/impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAA6B,MAAM,eAAe,CAAA;AAKzE,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,CAAA;AAE/E,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,SAAS,EAAE,OAAO,GAAG,iBAAiB,CAAA;CACvC;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,MAAM;IACrB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,IAAI,EAAE,SAAS,EAAE,CAAA;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAA;CACnB;AAWD,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAA;IAC9B,YAAY,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAGjD;CACF;AAsBD,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAqG5D"}

package/dist/impact.js

@@ -0,0 +1,154 @@
+import { resolveAt } from '@hozu/core/ir';
+import { guardRefs, valueRefs } from './sites.js';
+import { closest } from './suggest.js';
+import { transitionsOf, walkView } from './walk.js';
+const registries = [
+    ['event', 'events'],
+    ['query', 'queries'],
+    ['mutation', 'mutations'],
+    ['tag', 'tags'],
+    ['fn', 'fns'],
+    ['view', 'views'],
+];
+export class UnknownSymbolError extends Error {
+    suggestions;
+    constructor(message, suggestions) {
+        super(message);
+        this.suggestions = suggestions;
+    }
+}
+function kindOf(ir, target) {
+    const dot = target.indexOf('.');
+    const [fid, symbol] = dot < 0 ? [target, ''] : [target.slice(0, dot), target.slice(dot + 1)];
+    const feature = ir.features[fid];
+    const all = Object.values(ir.features).flatMap((f) => registries.flatMap(([, r]) => Object.keys(f[r]).map((s) => `${f.id}.${s}`)));
+    if (feature)
+        for (const [kind, registry] of registries)
+            if (Object.hasOwn(feature[registry], symbol))
+                return kind;
+    const guess = closest(target, all);
+    throw new UnknownSymbolError(`Unknown symbol "${target}"`, guess ? [guess] : all);
+}
+const sameParam = (a, b) => a.param === null && b.param === null
+    ? true
+    : a.param !== null && b.param !== null && 'literal' in a.param && 'literal' in b.param
+        ? JSON.stringify(a.param.literal) === JSON.stringify(b.param.literal)
+        : null;
+export function impact(ir, target) {
+    const kind = kindOf(ir, target);
+    const features = Object.values(ir.features);
+    const tags = [];
+    const queries = [];
+    const invalidatedBy = new Set();
+    const uses = [];
+    const queriesWith = (tag) => {
+        for (const f of features)
+            for (const [sym, q] of Object.entries(f.queries))
+                for (const t of q.tags)
+                    if (t.tag === tag.tag) {
+                        const same = sameParam(tag, t);
+                        if (same !== false)
+                            queries.push({
+                                ref: `${f.id}.${sym}`,
+                                tag: t.tag,
+                                precision: same ? 'exact' : 'param-dependent',
+                            });
+                    }
+    };
+    const mutationsWith = (tag) => {
+        for (const f of features)
+            for (const [sym, m] of Object.entries(f.mutations))
+                if (m.invalidates.some((t) => t.tag === tag))
+                    invalidatedBy.add(`${f.id}.${sym}`);
+    };
+    const reads = new Set();
+    if (kind === 'mutation') {
+        const [fid, sym] = target.split('.');
+        for (const t of ir.features[fid].mutations[sym].invalidates) {
+            tags.push(t.tag);
+            queriesWith(t);
+        }
+        for (const q of queries)
+            reads.add(q.ref);
+    }
+    else if (kind === 'query') {
+        const [fid, sym] = target.split('.');
+        for (const t of ir.features[fid].queries[sym].tags) {
+            tags.push(t.tag);
+            mutationsWith(t.tag);
+        }
+        reads.add(target);
+    }
+    else if (kind === 'tag') {
+        tags.push(target);
+        queriesWith({ tag: target, param: null });
+        for (const q of queries)
+            q.precision = 'param-dependent';
+        mutationsWith(target);
+        for (const q of queries)
+            reads.add(q.ref);
+    }
+    const effects = kind === 'mutation' ? new Set([target, ...reads]) : reads;
+    for (const f of features) {
+        for (const site of transitionsOf(f)) {
+            if (kind === 'event' && site.trigger.kind === 'on' && site.trigger.event === target)
+                uses.push({ feature: f.id, at: site.pointer, via: `handled in "${site.state}"` });
+            if (kind === 'fn') {
+                const found = (ref) => {
+                    if (ref === target)
+                        uses.push({ feature: f.id, at: site.pointer, via: `used by ${site.state} transition` });
+                };
+                if (site.transition.guard)
+                    guardRefs(site.transition.guard, '', found);
+                for (const a of site.transition.assign)
+                    valueRefs(a.value, '', found);
+            }
+        }
+        for (const [state, s] of Object.entries(f.machine?.states ?? {}))
+            if (s.invoke && effects.has(s.invoke.effect))
+                uses.push({
+                    feature: f.id,
+                    at: `/features/${f.id}/machine/states/${state}/invoke`,
+                    via: `"${state}" invokes ${s.invoke.effect}`,
+                });
+        for (const [vid, view] of Object.entries(f.views))
+            walkView(ir, f, vid, view, ({ node, pointer }) => {
+                const at = resolveAt(pointer);
+                if (node.kind === 'query' && reads.has(node.query))
+                    uses.push({ feature: f.id, at, via: `${node.id} reads ${node.query}` });
+                if (node.kind === 'embed' && kind === 'view' && node.view === target)
+                    uses.push({ feature: f.id, at, via: `${node.id} embeds ${target}` });
+                if (node.kind === 'el' && kind === 'event')
+                    for (const send of Object.values(node.on))
+                        if (send.event === target)
+                            uses.push({ feature: f.id, at, via: `${node.id} sends ${target}` });
+                if (kind === 'fn') {
+                    const found = (ref) => {
+                        if (ref === target)
+                            uses.push({ feature: f.id, at, via: `${node.id} uses ${target}` });
+                    };
+                    if (node.kind === 'text')
+                        valueRefs(node.value, '', found);
+                    if (node.kind === 'each')
+                        valueRefs(node.source, '', found);
+                }
+            });
+    }
+    const touched = new Set([target.split('.')[0]]);
+    for (const q of queries)
+        touched.add(q.ref.split('.')[0]);
+    for (const m of invalidatedBy)
+        touched.add(m.split('.')[0]);
+    for (const u of uses)
+        touched.add(u.feature);
+    return {
+        target,
+        kind,
+        tags: [...new Set(tags)],
+        queries,
+        invalidatedBy: [...invalidatedBy].sort(),
+        uses,
+        features: [...touched].sort(),
+    };
+}
+//# sourceMappingURL=impact.js.map

package/dist/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../src/impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,SAAS,EAAkB,MAAM,eAAe,CAAA;AACzE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AA0BnD,MAAM,UAAU,GAAkF;IAChG,CAAC,OAAO,EAAE,QAAQ,CAAC;IACnB,CAAC,OAAO,EAAE,SAAS,CAAC;IACpB,CAAC,UAAU,EAAE,WAAW,CAAC;IACzB,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,IAAI,EAAE,KAAK,CAAC;IACb,CAAC,MAAM,EAAE,OAAO,CAAC;CAClB,CAAA;AAED,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAClC,WAAW,CAAU;IAC9B,YAAY,OAAe,EAAE,WAAqB;QAChD,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;IAChC,CAAC;CACF;AAED,SAAS,MAAM,CAAC,EAAa,EAAE,MAAc;IAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAC/B,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5F,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAChC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACnD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAC5E,CAAA;IACD,IAAI,OAAO;QACT,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU;YAAE,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAA;IACtG,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IAClC,MAAM,IAAI,kBAAkB,CAAC,mBAAmB,MAAM,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AACnF,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,CAAY,EAAE,CAAY,EAAE,EAAE,CAC/C,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;IAClC,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,SAAS,IAAI,CAAC,CAAC,KAAK;QACpF,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACrE,CAAC,CAAC,IAAI,CAAA;AAEZ,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,MAAc;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,MAAM,IAAI,GAAgB,EAAE,CAAA;IAC5B,MAAM,WAAW,GAAG,CAAC,GAAc,EAAE,EAAE;QACrC,KAAK,MAAM,CAAC,IAAI,QAAQ;YACtB,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBACpB,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC;wBACtB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;wBAC9B,IAAI,IAAI,KAAK,KAAK;4BAChB,OAAO,CAAC,IAAI,CAAC;gCACX,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE;gCACrB,GAAG,EAAE,CAAC,CAAC,GAAG;gCACV,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB;6BAC9C,CAAC,CAAA;oBACN,CAAC;IACT,CAAC,CAAA;IACD,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,EAAE;QACpC,KAAK,MAAM,CAAC,IAAI,QAAQ;YACtB,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBAChD,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;oBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IACvF,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAA;QACxD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC,SAAS,CAAC,GAAG,CAAE,CAAC,WAAW,EAAE,CAAC;YAC9D,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;YAChB,WAAW,CAAC,CAAC,CAAC,CAAA;QAChB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC3C,CAAC;SAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAA;QACxD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,IAAI,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;YAChB,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACtB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACnB,CAAC;SAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACjB,WAAW,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACzC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,CAAC,CAAC,SAAS,GAAG,iBAAiB,CAAA;QACxD,aAAa,CAAC,MAAM,CAAC,CAAA;QACrB,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC3C,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IACzE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM;gBACjF,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,eAAe,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAA;YACnF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;oBAC5B,IAAI,GAAG,KAAK,MAAM;wBAChB,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,WAAW,IAAI,CAAC,KAAK,aAAa,EAAE,CAAC,CAAA;gBAC3F,CAAC,CAAA;gBACD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK;oBAAE,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;gBACtE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM;oBAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;YACvE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;YAC9D,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC;oBACR,OAAO,EAAE,CAAC,CAAC,EAAE;oBACb,EAAE,EAAE,aAAa,CAAC,CAAC,EAAE,mBAAmB,KAAK,SAAS;oBACtD,GAAG,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE;iBAC7C,CAAC,CAAA;QACN,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,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;gBAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAChD,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACzE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAClE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,WAAW,MAAM,EAAE,EAAE,CAAC,CAAA;gBACtE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO;oBACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBACvC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM;4BAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,UAAU,MAAM,EAAE,EAAE,CAAC,CAAA;gBAClG,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;wBAC5B,IAAI,GAAG,KAAK,MAAM;4BAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,CAAA;oBACxF,CAAC,CAAA;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;oBAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;wBAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;gBAC7D,CAAC;YACH,CAAC,CAAC,CAAA;IACN,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IACxD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IAC1D,KAAK,MAAM,CAAC,IAAI,aAAa;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO;QACL,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO;QACP,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE;QACxC,IAAI;QACJ,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KAC9B,CAAA;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,22 @@
+import type { Bindings, Diagnostic, ProjectIR, SourceIndex } from '@hozu/core/ir';
+import type { Lockfile } from './contracts/lock.ts';
+export type { Drift, LockEntry, Lockfile } from './contracts/lock.ts';
+export type { ContractRun, Failure } from './contracts/run.ts';
+export { runContract } from './contracts/run.ts';
+export type { Impact, ImpactKind, ImpactQuery, ImpactUse } from './impact.ts';
+export { impact, UnknownSymbolError } from './impact.ts';
+export { closest, distance } from './suggest.ts';
+export interface ValidateOptions {
+    sources?: SourceIndex;
+    feature?: string;
+    bindings?: Bindings;
+    lock?: Lockfile | null;
+    unknownClasses?: Map<string, string | null> | null;
+}
+export interface Verification {
+    diagnostics: Diagnostic[];
+    lock: Lockfile | null;
+}
+export declare function verify(ir: ProjectIR, options?: ValidateOptions): Verification;
+export declare const validate: (ir: ProjectIR, options?: ValidateOptions) => Diagnostic[];
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAuBnD,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACrE,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAuChD,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACtB,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;CACnD;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAA;CACtB;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,YAAY,CAajF;AAED,eAAO,MAAM,QAAQ,OAAQ,SAAS,YAAW,eAAe,KAAQ,UAAU,EACjD,CAAA"}

package/dist/index.js

@@ -0,0 +1,71 @@
+import { Ctx } from './context.js';
+import { verifyContracts } from './contracts/verify.js';
+import { classNames } from './rules/classes.js';
+import { invalidations, sessions } from './rules/data.js';
+import { domFields } from './rules/dom.js';
+import { declaredErrors } from './rules/errors.js';
+import { conflictingIgnores, unhandledEvents, viewEvents } from './rules/events.js';
+import { progressiveForms } from './rules/forms.js';
+import { unsafeHtml } from './rules/html.js';
+import { httpRules } from './rules/http.js';
+import { i18n } from './rules/i18n.js';
+import { imageDimensions } from './rules/images.js';
+import { internalLinks } from './rules/links.js';
+import { literals } from './rules/literals.js';
+import { paths } from './rules/paths.js';
+import { offlinePage } from './rules/pwa.js';
+import { featureLinks, references, routes } from './rules/refs.js';
+import { rendering } from './rules/rendering.js';
+import { routeParams, searchSchemas } from './rules/routes.js';
+import { deadEnds, reachability, shadowing, stateNames } from './rules/states.js';
+import { domText } from './rules/text.js';
+import { widgetEvents } from './rules/widgets.js';
+export { runContract } from './contracts/run.js';
+export { impact, UnknownSymbolError } from './impact.js';
+export { closest, distance } from './suggest.js';
+const rules = [
+    featureLinks,
+    references,
+    routes,
+    stateNames,
+    reachability,
+    unhandledEvents,
+    declaredErrors,
+    viewEvents,
+    paths,
+    shadowing,
+    deadEnds,
+    invalidations,
+    sessions,
+    rendering,
+    routeParams,
+    searchSchemas,
+    domFields,
+    classNames,
+    widgetEvents,
+    imageDimensions,
+    unsafeHtml,
+    literals,
+    internalLinks,
+    conflictingIgnores,
+    domText,
+    progressiveForms,
+    httpRules,
+    i18n,
+    offlinePage,
+];
+const order = (a, b) => (a.location.feature ?? '').localeCompare(b.location.feature ?? '') ||
+    a.location.pointer.localeCompare(b.location.pointer) ||
+    a.code.localeCompare(b.code);
+export function verify(ir, options = {}) {
+    const ctx = new Ctx(ir, options.sources ?? {}, options.unknownClasses ?? null, options.bindings?.assets ?? {});
+    for (const rule of rules)
+        rule(ctx);
+    const lock = options.bindings ? verifyContracts(ctx, options.bindings, options.lock ?? null) : null;
+    const out = options.feature
+        ? ctx.diagnostics.filter((d) => d.location.feature === options.feature)
+        : ctx.diagnostics;
+    return { diagnostics: out.sort(order), lock };
+}
+export const validate = (ir, options = {}) => verify(ir, options).diagnostics;
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAElC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAChD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AACjF,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAIjD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAEhD,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEhD,MAAM,KAAK,GAAG;IACZ,YAAY;IACZ,UAAU;IACV,MAAM;IACN,UAAU;IACV,YAAY;IACZ,eAAe;IACf,cAAc;IACd,UAAU;IACV,KAAK;IACL,SAAS;IACT,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,SAAS;IACT,WAAW;IACX,aAAa;IACb,SAAS;IACT,UAAU;IACV,YAAY;IACZ,eAAe;IACf,UAAU;IACV,QAAQ;IACR,aAAa;IACb,kBAAkB;IAClB,OAAO;IACP,gBAAgB;IAChB,SAAS;IACT,IAAI;IACJ,WAAW;CACZ,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,CAAa,EAAE,CAAa,EAAE,EAAE,CAC7C,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;IAClE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AAe9B,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,OAAO,GAAoB,EAAE;IACjE,MAAM,GAAG,GAAG,IAAI,GAAG,CACjB,EAAE,EACF,OAAO,CAAC,OAAO,IAAI,EAAE,EACrB,OAAO,CAAC,cAAc,IAAI,IAAI,EAC9B,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAC/B,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACnG,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO;QACzB,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC;QACvE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAA;IACnB,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,EAAa,EAAE,OAAO,GAAoB,EAAE,EAAgB,EAAE,CACrF,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,WAAW,CAAA"}

package/dist/resolve.d.ts

@@ -0,0 +1,13 @@
+import type { FeatureIR, ProjectIR } from '@hozu/core/ir';
+export type RefKind = 'event' | 'query' | 'mutation' | 'effect' | 'tag' | 'fn' | 'view' | 'widget';
+export type Registry = 'events' | 'queries' | 'mutations' | 'tags' | 'fns' | 'views' | 'widgets';
+export declare const registriesOf: Record<RefKind, Registry[]>;
+export interface Resolved {
+    feature: FeatureIR;
+    symbol: string;
+    registry: Registry;
+}
+export declare const splitRef: (ref: string) => [string, string];
+export declare function resolveRef(ir: ProjectIR, ref: string, kind: RefKind): Resolved | null;
+export declare function candidatesFor(ir: ProjectIR, from: FeatureIR, kind: RefKind): string[];
+//# sourceMappingURL=resolve.d.ts.map

package/dist/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAa,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEpE,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,GAAG,KAAK,GAAG,IAAI,GAAG,MAAM,GAAG,QAAQ,CAAA;AAElG,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,SAAS,CAAA;AAEhG,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,CASpD,CAAA;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,SAAS,CAAA;IAClB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,CAAA;CACnB;AAED,eAAO,MAAM,QAAQ,QAAS,MAAM,KAAG,CAAC,MAAM,EAAE,MAAM,CAGrD,CAAA;AAID,wBAAgB,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAgBrF;AAWD,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,EAAE,CAWrF"}

package/dist/resolve.js

@@ -0,0 +1,58 @@
+export const registriesOf = {
+    event: ['events'],
+    query: ['queries'],
+    mutation: ['mutations'],
+    effect: ['queries', 'mutations'],
+    tag: ['tags'],
+    fn: ['fns'],
+    view: ['views'],
+    widget: ['widgets'],
+};
+export const splitRef = (ref) => {
+    const dot = ref.indexOf('.');
+    return dot < 0 ? [ref, ''] : [ref.slice(0, dot), ref.slice(dot + 1)];
+};
+const memo = new WeakMap();
+export function resolveRef(ir, ref, kind) {
+    let byKind = memo.get(ir);
+    if (!byKind) {
+        byKind = {};
+        memo.set(ir, byKind);
+    }
+    let cache = byKind[kind];
+    if (!cache) {
+        cache = new Map();
+        byKind[kind] = cache;
+    }
+    const hit = cache.get(ref);
+    if (hit !== undefined)
+        return hit;
+    const resolved = lookup(ir, ref, kind);
+    cache.set(ref, resolved);
+    return resolved;
+}
+function lookup(ir, ref, kind) {
+    const [fid, symbol] = splitRef(ref);
+    const feature = ir.features[fid];
+    if (!feature)
+        return null;
+    for (const registry of registriesOf[kind])
+        if (Object.hasOwn(feature[registry], symbol))
+            return { feature, symbol, registry };
+    return null;
+}
+export function candidatesFor(ir, from, kind) {
+    const out = [];
+    for (const registry of registriesOf[kind]) {
+        for (const symbol of Object.keys(from[registry]))
+            out.push(`${from.id}.${symbol}`);
+        for (const fid of from.imports) {
+            const other = ir.features[fid];
+            if (other)
+                for (const symbol of other.exports[registry] ?? [])
+                    out.push(`${fid}.${symbol}`);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=resolve.js.map

package/dist/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,YAAY,GAAgC;IACvD,KAAK,EAAE,CAAC,QAAQ,CAAC;IACjB,KAAK,EAAE,CAAC,SAAS,CAAC;IAClB,QAAQ,EAAE,CAAC,WAAW,CAAC;IACvB,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,GAAG,EAAE,CAAC,MAAM,CAAC;IACb,EAAE,EAAE,CAAC,KAAK,CAAC;IACX,IAAI,EAAE,CAAC,OAAO,CAAC;IACf,MAAM,EAAE,CAAC,SAAS,CAAC;CACpB,CAAA;AAQD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAoB,EAAE;IACxD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;AACtE,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,IAAI,OAAO,EAAqE,CAAA;AAE7F,MAAM,UAAU,UAAU,CAAC,EAAa,EAAE,GAAW,EAAE,IAAa;IAClE,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACzB,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,EAAE,CAAA;QACX,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACtB,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IACxB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;QACjB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IACtB,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC1B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAA;IACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACtC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACxB,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,MAAM,CAAC,EAAa,EAAE,GAAW,EAAE,IAAa;IACvD,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IACzB,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC;QACvC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;IACpF,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAa,EAAE,IAAe,EAAE,IAAa;IACzE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,MAAM,EAAE,CAAC,CAAA;QAClF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,KAAK;gBACP,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,QAA2B,CAAC,IAAI,EAAE;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,MAAM,EAAE,CAAC,CAAA;QACvG,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/rules/classes.d.ts

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

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

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

package/dist/rules/classes.js

@@ -0,0 +1,60 @@
+import { at, motionClasses, resolveAt } from '@hozu/core/ir';
+import { didYouMean } from '../suggest.js';
+import { walkView } from '../walk.js';
+const tokens = (value) => value.split(/\s+/).filter(Boolean);
+export function classNames(ctx) {
+    const unknown = ctx.unknownClasses;
+    if (!unknown?.size)
+        return;
+    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 === 'when' || node.kind === 'each' || node.kind === 'if') && node.motion) {
+                    if (motionClasses(node.motion).every((c) => unknown.has(c)))
+                        ctx.report('HZ026', f.id, at(pointer, 'motion'), `Motion "${node.motion}" has no CSS`, `Define at least ${node.motion}-enter-active / ${node.motion}-leave-active (and optionally -from, -to, -move) in a stylesheet.`, {
+                            summary: `Add transition classes for "${node.motion}"`,
+                            snippet: `.${node.motion}-enter-active, .${node.motion}-leave-active { transition: opacity 200ms; }\n.${node.motion}-enter-from, .${node.motion}-leave-to { opacity: 0; }`,
+                            patch: null,
+                        });
+                    return;
+                }
+                if (node.kind !== 'el' && node.kind !== 'widget')
+                    return;
+                const lists = [];
+                if (node.class)
+                    lists.push([
+                        node.class,
+                        at(pointer, 'class'),
+                        (fixed) => [{ op: 'replace', path: resolveAt(at(pointer, 'class')), value: fixed }],
+                    ]);
+                for (const key of Object.keys(node.toggle))
+                    lists.push([
+                        key,
+                        at(pointer, 'toggle', key),
+                        (fixed) => [
+                            { op: 'add', path: resolveAt(at(pointer, 'toggle', fixed)), value: node.toggle[key] },
+                            { op: 'remove', path: resolveAt(at(pointer, 'toggle', key)) },
+                        ],
+                    ]);
+                for (const [value, p, patch] of lists) {
+                    const bad = tokens(value).filter((c) => unknown.has(c));
+                    if (!bad.length)
+                        continue;
+                    const fixes = bad.map((c) => unknown.get(c) ?? null);
+                    const fixed = fixes.every((x) => x !== null)
+                        ? tokens(value)
+                            .map((c) => unknown.get(c) ?? c)
+                            .join(' ')
+                        : null;
+                    ctx.report('HZ026', f.id, p, bad.length === 1
+                        ? `Class "${bad[0]}" produces no CSS.${didYouMean(fixes[0])}`
+                        : `Classes ${bad.map((c) => `"${c}"`).join(', ')} produce no CSS`, 'Every class must be a Tailwind utility or a class defined in the project stylesheets. Use data-* attributes as script hooks.', {
+                        summary: fixed ? `Use "${fixed}"` : 'Fix the class name or define it in a stylesheet',
+                        snippet: null,
+                        patch: fixed ? patch(fixed) : null,
+                    });
+                }
+            });
+}
+//# sourceMappingURL=classes.js.map

package/dist/rules/classes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../src/rules/classes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,EAAE,EAAY,aAAa,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAE/E,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAIrC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAEpE,MAAM,UAAU,UAAU,CAAC,GAAQ;IACjC,MAAM,OAAO,GAAG,GAAG,CAAC,cAAc,CAAA;IAClC,IAAI,CAAC,OAAO,EAAE,IAAI;QAAE,OAAM;IAC1B,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,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBACxF,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACzD,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EACrB,WAAW,IAAI,CAAC,MAAM,cAAc,EACpC,mBAAmB,IAAI,CAAC,MAAM,mBAAmB,IAAI,CAAC,MAAM,mEAAmE,EAC/H;4BACE,OAAO,EAAE,+BAA+B,IAAI,CAAC,MAAM,GAAG;4BACtD,OAAO,EAAE,IAAI,IAAI,CAAC,MAAM,mBAAmB,IAAI,CAAC,MAAM,kDAAkD,IAAI,CAAC,MAAM,iBAAiB,IAAI,CAAC,MAAM,2BAA2B;4BAC1K,KAAK,EAAE,IAAI;yBACZ,CACF,CAAA;oBACH,OAAM;gBACR,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAM;gBACxD,MAAM,KAAK,GAA6C,EAAE,CAAA;gBAC1D,IAAI,IAAI,CAAC,KAAK;oBACZ,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,CAAC,KAAK;wBACV,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;wBACpB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;qBACpF,CAAC,CAAA;gBACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;oBACxC,KAAK,CAAC,IAAI,CAAC;wBACT,GAAG;wBACH,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC;wBAC1B,CAAC,KAAK,EAAE,EAAE,CAAC;4BACT,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,EAAE;4BACtF,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,EAAE;yBAC9D;qBACF,CAAC,CAAA;gBACJ,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;oBACvD,IAAI,CAAC,GAAG,CAAC,MAAM;wBAAE,SAAQ;oBACzB,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAA;oBACpD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;wBAC1C,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;6BACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;6BAC/B,IAAI,CAAC,GAAG,CAAC;wBACd,CAAC,CAAC,IAAI,CAAA;oBACR,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,GAAG,CAAC,MAAM,KAAK,CAAC;wBACd,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,qBAAqB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE;wBAC9D,CAAC,CAAC,WAAW,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EACnE,8HAA8H,EAC9H;wBACE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,iDAAiD;wBACrF,OAAO,EAAE,IAAI;wBACb,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;qBACnC,CACF,CAAA;gBACH,CAAC;YACH,CAAC,CAAC,CAAA;AACR,CAAC"}

package/dist/rules/data.d.ts

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

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

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

package/dist/rules/data.js

@@ -0,0 +1,34 @@
+import { resolveAt } from '@hozu/core/ir';
+import { featurePointer } from '../walk.js';
+export function invalidations(ctx) {
+    const carried = new Set();
+    for (const f of Object.values(ctx.ir.features))
+        for (const q of Object.values(f.queries))
+            for (const t of q.tags)
+                carried.add(t.tag);
+    for (const f of Object.values(ctx.ir.features))
+        for (const [sym, m] of Object.entries(f.mutations))
+            m.invalidates.forEach((t, i) => {
+                if (t.tag === '?' || carried.has(t.tag))
+                    return;
+                const p = featurePointer(f.id, 'mutations', sym, 'invalidates', i);
+                ctx.report('HZ019', f.id, p, `${f.id}.${sym} invalidates ${t.tag}, but no query carries that tag`, 'The invalidation has no effect; either a query is missing the tag or the mutation names the wrong one.', {
+                    summary: 'Tag the affected query, or remove this invalidation',
+                    snippet: null,
+                    patch: [{ op: 'remove', path: resolveAt(p) }],
+                });
+            });
+}
+export function sessions(ctx) {
+    if (ctx.ir.session !== null)
+        return;
+    for (const f of Object.values(ctx.ir.features))
+        for (const [sym, q] of Object.entries(f.queries))
+            if (q.scope === 'user')
+                ctx.report('HZ020', f.id, featurePointer(f.id, 'queries', sym, 'scope'), `${f.id}.${sym} is user-scoped but the project declares no session`, 'User-scoped data needs an authenticated identity to partition its cache (ADR 0005 D2).', {
+                    summary: "Declare project({ session: schema }), or decide the data is public and change scope to 'public'",
+                    snippet: 'session: z.object({ userId: z.string() })',
+                    patch: null,
+                });
+}
+//# sourceMappingURL=data.js.map

package/dist/rules/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../src/rules/data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAEzC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,MAAM,UAAU,aAAa,CAAC,GAAQ;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACtF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;YAChD,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBAAE,OAAM;gBAC/C,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;gBAClE,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,CAAC,EACD,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,gBAAgB,CAAC,CAAC,GAAG,iCAAiC,EACpE,wGAAwG,EACxG;oBACE,OAAO,EAAE,qDAAqD;oBAC9D,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9C,CACF,CAAA;YACH,CAAC,CAAC,CAAA;AACR,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAQ;IAC/B,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI;QAAE,OAAM;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAC9C,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM;gBACpB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,EAAE,EACJ,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,EAC7C,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,qDAAqD,EACnE,wFAAwF,EACxF;oBACE,OAAO,EACL,iGAAiG;oBACnG,OAAO,EAAE,2CAA2C;oBACpD,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;AACT,CAAC"}

package/dist/rules/dom.d.ts

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

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

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