@hozu/validator 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 olevatorr
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,15 @@
+# @hozu/validator
+
+Hozu validator: structured diagnostics with fixes, contract runner and behaviour lock.
+
+Part of [Hozu](https://github.com/olevatorr/Hozu#readme), an AI-first web framework. Most apps start from
+`npm create hozu@latest`, which installs the right packages and sets up Claude Code or `AGENTS.md` agents.
+
+```sh
+npm install @hozu/validator
+```
+
+Requires Node 22.18 or newer. Documentation: the [README](https://github.com/olevatorr/Hozu#readme) and the
+agent skill that `create-hozu` writes into each app.
+
+MIT © olevatorr

package/dist/context.d.ts

@@ -0,0 +1,13 @@
+import { type At, type Bindings, type Diagnostic, type DiagnosticCode, type Fix, type ProjectIR, type SourceIndex } from '@hozu/core/ir';
+import type { Env } from './env.ts';
+export declare class Ctx {
+    readonly ir: ProjectIR;
+    readonly sources: SourceIndex;
+    readonly diagnostics: Diagnostic[];
+    readonly unknownClasses: Map<string, string | null> | null;
+    readonly assets: Bindings['assets'];
+    readonly envs: Map<string, Env>;
+    constructor(ir: ProjectIR, sources: SourceIndex, unknownClasses?: Map<string, string | null> | null, assets?: Bindings['assets']);
+    report(code: DiagnosticCode, feature: string | null, pointer: At, message: string, cause: string, fix?: Fix | null): void;
+}
+//# sourceMappingURL=context.d.ts.map

package/dist/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAAE,EACP,KAAK,QAAQ,EAEb,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,GAAG,EACR,KAAK,SAAS,EAGd,KAAK,WAAW,EACjB,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,qBAAa,GAAG;IACd,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAK;IACvC,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;IAC1D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACnC,QAAQ,CAAC,IAAI,mBAAyB;IAEtC,YACE,EAAE,EAAE,SAAS,EACb,OAAO,EAAE,WAAW,EACpB,cAAc,GAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAW,EACxD,MAAM,GAAE,QAAQ,CAAC,QAAQ,CAAM,EAMhC;IAED,MAAM,CACJ,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,GAAG,GAAE,GAAG,GAAG,IAAW,QAWvB;CACF"}

package/dist/context.js

@@ -0,0 +1,27 @@
+import { codes, resolveAt, resolveSource, } from '@hozu/core/ir';
+export class Ctx {
+    ir;
+    sources;
+    diagnostics = [];
+    unknownClasses;
+    assets;
+    envs = new Map();
+    constructor(ir, sources, unknownClasses = null, assets = {}) {
+        this.ir = ir;
+        this.sources = sources;
+        this.unknownClasses = unknownClasses;
+        this.assets = assets;
+    }
+    report(code, feature, pointer, message, cause, fix = null) {
+        const p = resolveAt(pointer);
+        this.diagnostics.push({
+            code,
+            severity: codes[code].severity,
+            message,
+            location: { feature, pointer: p, source: resolveSource(this.sources, p) },
+            cause,
+            fix,
+        });
+    }
+}
+//# sourceMappingURL=context.js.map

package/dist/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../src/context.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,EAKL,SAAS,EACT,aAAa,GAEd,MAAM,eAAe,CAAA;AAGtB,MAAM,OAAO,GAAG;IACL,EAAE,CAAW;IACb,OAAO,CAAa;IACpB,WAAW,GAAiB,EAAE,CAAA;IAC9B,cAAc,CAAmC;IACjD,MAAM,CAAoB;IAC1B,IAAI,GAAG,IAAI,GAAG,EAAe,CAAA;IAEtC,YACE,EAAa,EACb,OAAoB,EACpB,cAAc,GAAsC,IAAI,EACxD,MAAM,GAAuB,EAAE;QAE/B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAA;QACZ,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,cAAc,GAAG,cAAc,CAAA;QACpC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;IAED,MAAM,CACJ,IAAoB,EACpB,OAAsB,EACtB,OAAW,EACX,OAAe,EACf,KAAa,EACb,GAAG,GAAe,IAAI;QAEtB,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;QAC5B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,IAAI;YACJ,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ;YAC9B,OAAO;YACP,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE;YACzE,KAAK;YACL,GAAG;SACJ,CAAC,CAAA;IACJ,CAAC;CACF"}

package/dist/contracts/lock.d.ts

@@ -0,0 +1,19 @@
+import { type FeatureIR, type ProjectIR } from '@hozu/core/ir';
+export interface LockEntry {
+    behavior: string;
+    contracts: Record<string, string>;
+}
+export interface Lockfile {
+    version: 1;
+    features: Record<string, Record<string, LockEntry>>;
+}
+export type Coverage = Map<string, Set<string>>;
+export declare function behaviorOf(ir: ProjectIR, feature: FeatureIR, id: string): string;
+export declare function lockOf(ir: ProjectIR, coverage: Map<string, Coverage>): Lockfile;
+export interface Drift {
+    feature: string;
+    id: string;
+    contracts: string[];
+}
+export declare function drift(previous: Lockfile, next: Lockfile): Drift[];
+//# sourceMappingURL=lock.d.ts.map

package/dist/contracts/lock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAuB,KAAK,SAAS,EAAkB,MAAM,eAAe,CAAA;AAInG,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,CAAC,CAAA;IACV,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;CACpD;AAED,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;AAK/C,wBAAgB,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CA6BhF;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAiB/E;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,MAAM,EAAE,CAAA;CACpB;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,GAAG,KAAK,EAAE,CAUjE"}

package/dist/contracts/lock.js

@@ -0,0 +1,61 @@
+import { hashJson } from '@hozu/core/ir';
+import { resolveRef } from '../resolve.js';
+import { guardRefs, valueRefs } from '../sites.js';
+const at = (value, tokens) => tokens.reduce((node, t) => node?.[t], value);
+export function behaviorOf(ir, feature, id) {
+    const tokens = id.split('/');
+    const states = feature.machine.states;
+    const raw = at(states, tokens);
+    const transition = (tokens[1] === 'after' ? raw.transition : raw);
+    const target = states[transition.target];
+    const fns = new Set();
+    const collect = (ref) => fns.add(ref);
+    if (transition.guard)
+        guardRefs(transition.guard, '', collect);
+    for (const a of transition.assign)
+        valueRefs(a.value, '', collect);
+    if (target?.invoke)
+        valueRefs(target.invoke.input, '', collect);
+    const sources = Object.fromEntries([...fns].sort().map((ref) => {
+        const r = resolveRef(ir, ref, 'fn');
+        return [ref, r ? r.feature.fns[r.symbol].sourceHash : null];
+    }));
+    return hashJson({
+        id,
+        transition: raw,
+        enters: target
+            ? { invoke: target.invoke, timers: target.after.map((a) => a.ms), final: target.final }
+            : null,
+        fns: sources,
+    }).slice(0, 16);
+}
+export function lockOf(ir, coverage) {
+    const features = {};
+    for (const [fid, cov] of [...coverage].sort(([a], [b]) => a.localeCompare(b))) {
+        const feature = ir.features[fid];
+        const entries = {};
+        for (const [id, contracts] of [...cov].sort(([a], [b]) => a.localeCompare(b)))
+            entries[id] = {
+                behavior: behaviorOf(ir, feature, id),
+                contracts: Object.fromEntries([...contracts]
+                    .sort()
+                    .map((c) => [c, hashJson(feature.contracts[c]).slice(0, 16)])),
+            };
+        features[fid] = entries;
+    }
+    return { version: 1, features };
+}
+export function drift(previous, next) {
+    const out = [];
+    for (const [fid, entries] of Object.entries(next.features))
+        for (const [id, entry] of Object.entries(entries)) {
+            const before = previous.features[fid]?.[id];
+            if (!before || before.behavior === entry.behavior)
+                continue;
+            const changed = Object.entries(entry.contracts).some(([c, hash]) => before.contracts[c] !== hash);
+            if (!changed)
+                out.push({ feature: fid, id, contracts: Object.keys(entry.contracts) });
+        }
+    return out;
+}
+//# sourceMappingURL=lock.js.map

package/dist/contracts/lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,QAAQ,EAA6C,MAAM,eAAe,CAAA;AACnG,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAclD,MAAM,EAAE,GAAG,CAAC,KAAc,EAAE,MAAgB,EAAW,EAAE,CACvD,MAAM,CAAC,MAAM,CAAU,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAE,IAA4C,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AAEhG,MAAM,UAAU,UAAU,CAAC,EAAa,EAAE,OAAkB,EAAE,EAAU;IACtE,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAA;IACtC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,CAA4B,CAAA;IACzD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAI/D,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7C,IAAI,UAAU,CAAC,KAAK;QAAE,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC9D,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAClE,IAAI,MAAM,EAAE,MAAM;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1B,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;QACnC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC9D,CAAC,CAAC,CACH,CAAA;IACD,OAAO,QAAQ,CAAC;QACd,EAAE;QACF,UAAU,EAAE,GAAW;QACvB,MAAM,EAAE,MAAM;YACZ,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACvF,CAAC,CAAC,IAAI;QACR,GAAG,EAAE,OAAO;KACM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,QAA+B;IACnE,MAAM,QAAQ,GAAyB,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAA;QACjC,MAAM,OAAO,GAA8B,EAAE,CAAA;QAC7C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3E,OAAO,CAAC,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;gBACrC,SAAS,EAAE,MAAM,CAAC,WAAW,CAC3B,CAAC,GAAG,SAAS,CAAC;qBACX,IAAI,EAAE;qBACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACnF;aACF,CAAA;QACH,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;IACzB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAA;AACjC,CAAC;AAQD,MAAM,UAAU,KAAK,CAAC,QAAkB,EAAE,IAAc;IACtD,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QACxD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC3C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAAE,SAAQ;YAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;YACjG,IAAI,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACvF,CAAC;IACH,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/contracts/run.d.ts

@@ -0,0 +1,14 @@
+import type { Check, ContractIR } from '@hozu/core/ir';
+import { type CompiledMachine } from '@hozu/machine';
+export interface Failure {
+    code: 'HZ015' | 'HZ017';
+    tokens: (string | number)[];
+    message: string;
+    cause: string;
+}
+export interface ContractRun {
+    taken: string[];
+    failure: Failure | null;
+}
+export declare function runContract(machine: CompiledMachine, contract: ContractIR, checks: Record<string, Check>): ContractRun;
+//# sourceMappingURL=run.d.ts.map

package/dist/contracts/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAsB,MAAM,eAAe,CAAA;AAC1E,OAAO,EAAE,KAAK,eAAe,EAAsD,MAAM,eAAe,CAAA;AAExG,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;IACvB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3B,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;CACxB;AAuCD,wBAAgB,WAAW,CACzB,OAAO,EAAE,eAAe,EACxB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAC5B,WAAW,CA0Hb"}

package/dist/contracts/run.js

@@ -0,0 +1,130 @@
+import { enter, equal, transition } from '@hozu/machine';
+class Stop extends Error {
+    failure;
+    constructor(failure) {
+        super(failure.message);
+        this.failure = failure;
+    }
+}
+const stop = (code, tokens, message, cause) => {
+    throw new Stop({ code, tokens, message, cause });
+};
+const show = (value) => JSON.stringify(value);
+function firstDifference(expected, actual, path = []) {
+    if (expected !== null &&
+        actual !== null &&
+        typeof expected === 'object' &&
+        typeof actual === 'object' &&
+        Array.isArray(expected) === Array.isArray(actual)) {
+        const keys = new Set([...Object.keys(expected), ...Object.keys(actual)]);
+        for (const key of [...keys].sort()) {
+            const e = expected[key] ?? null;
+            const a = actual[key] ?? null;
+            if (!equal(e, a))
+                return firstDifference(e, a, [...path, key]);
+        }
+    }
+    return `context${path.length ? `.${path.join('.')}` : ''}: expected ${show(expected)}, got ${show(actual)}`;
+}
+const unexpectedCheck = (value) => value !== null && typeof value === 'object' && typeof value.message === 'string'
+    ? null
+    : ['(root): Unexpected errors carry { message: string }'];
+export function runContract(machine, contract, checks) {
+    const taken = [];
+    const invokes = [];
+    const validate = (key, value, tokens, what, check = checks[key]) => {
+        const issues = check?.(value);
+        if (issues)
+            stop('HZ017', tokens, `${what} does not match its schema`, issues.join('; '));
+    };
+    const stateOf = (s) => machine.states[machine.index.get(s.state)];
+    try {
+        const feature = machine.feature;
+        if (!machine.index.has(contract.given.state))
+            stop('HZ015', ['given', 'state'], `Unknown state "${contract.given.state}"`, `States: ${[...machine.index.keys()].join(', ')}.`);
+        validate(`${feature}#context`, contract.given.context, ['given', 'context'], 'given.context');
+        let snapshot = enter(machine, contract.given.state, contract.given.context).snapshot;
+        let elapsed = 0;
+        let fired = new Set();
+        const apply = (step) => {
+            if (!step.taken)
+                return;
+            taken.push(step.taken);
+            snapshot = step.snapshot;
+            elapsed = 0;
+            fired = new Set();
+            for (const e of step.effects)
+                if (e.type === 'invoke')
+                    invokes.push({ effect: e.effect, input: e.input });
+                else if (e.type === 'navigate')
+                    invokes.push({ navigate: e.url });
+        };
+        const pending = (effect, i) => {
+            const invoke = stateOf(snapshot).invoke;
+            if (invoke?.effect !== effect)
+                stop('HZ015', ['when', i], `No pending ${effect} in state "${snapshot.state}"`, invoke ? `"${snapshot.state}" invokes ${invoke.effect}.` : `"${snapshot.state}" invokes nothing.`);
+        };
+        contract.when.forEach((step, i) => {
+            if ('send' in step) {
+                validate(`${step.send}#payload`, step.payload, ['when', i, 'payload'], `Payload of ${step.send}`);
+                apply(transition(machine, snapshot, { type: 'event', event: step.send, payload: step.payload }));
+            }
+            else if ('done' in step) {
+                pending(step.done, i);
+                validate(`${step.done}#output`, step.result, ['when', i, 'result'], `Result of ${step.done}`);
+                apply(transition(machine, snapshot, { type: 'done', entry: snapshot.entry, result: step.result }));
+            }
+            else if ('failed' in step) {
+                pending(step.failed, i);
+                const check = step.error === 'Unexpected' ? unexpectedCheck : checks[`${step.failed}#error:${step.error}`];
+                validate('', step.data, ['when', i, 'data'], `${step.failed} error ${step.error}`, check);
+                apply(transition(machine, snapshot, {
+                    type: 'failed',
+                    entry: snapshot.entry,
+                    error: step.error,
+                    data: step.data,
+                }));
+            }
+            else {
+                let remaining = step.elapse;
+                for (;;) {
+                    const state = stateOf(snapshot);
+                    const next = state.final
+                        ? undefined
+                        : state.timers.find((ms) => !fired.has(ms) && ms >= elapsed && ms - elapsed <= remaining);
+                    if (next === undefined) {
+                        elapsed += remaining;
+                        break;
+                    }
+                    remaining -= next - elapsed;
+                    elapsed = next;
+                    fired.add(next);
+                    apply(transition(machine, snapshot, { type: 'timer', entry: snapshot.entry, ms: next }));
+                }
+            }
+        });
+        const path = taken.length ? `Transitions taken: ${taken.join(' → ')}.` : 'No transition fired.';
+        const { expect } = contract;
+        if (snapshot.state !== expect.state)
+            stop('HZ015', ['expect', 'state'], `Expected state "${expect.state}", machine is in "${snapshot.state}"`, path);
+        if (expect.context !== null && !equal(expect.context, snapshot.context))
+            stop('HZ015', ['expect', 'context'], 'Context differs from the expectation', `${firstDifference(expect.context, snapshot.context)}. ${path}`);
+        if (expect.effects !== null && !equal(expect.effects, invokes))
+            stop('HZ015', ['expect', 'effects'], 'Effects (invokes and navigation) differ from the expectation', `Expected ${show(expect.effects)}, got ${show(invokes)}. ${path}`);
+        return { taken, failure: null };
+    }
+    catch (error) {
+        if (error instanceof Stop)
+            return { taken, failure: error.failure };
+        return {
+            taken,
+            failure: {
+                code: 'HZ015',
+                tokens: [],
+                message: `Contract threw: ${error instanceof Error ? error.message : String(error)}`,
+                cause: 'An fn() implementation or the machine raised an exception while running this contract.',
+            },
+        };
+    }
+}
+//# sourceMappingURL=run.js.map

package/dist/contracts/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,KAAK,EAAE,KAAK,EAA4B,UAAU,EAAE,MAAM,eAAe,CAAA;AAcxG,MAAM,IAAK,SAAQ,KAAK;IACb,OAAO,CAAS;IACzB,YAAY,OAAgB;QAC1B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,IAAqB,EAAE,MAAyB,EAAE,OAAe,EAAE,KAAa,EAAS,EAAE;IACvG,MAAM,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAClD,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AAEtD,SAAS,eAAe,CAAC,QAAc,EAAE,MAAY,EAAE,IAAI,GAAa,EAAE;IACxE,IACE,QAAQ,KAAK,IAAI;QACjB,MAAM,KAAK,IAAI;QACf,OAAO,QAAQ,KAAK,QAAQ;QAC5B,OAAO,MAAM,KAAK,QAAQ;QAC1B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EACjD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACxE,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,GAAI,QAAiC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;YACzD,MAAM,CAAC,GAAI,MAA+B,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;YACvD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;AAC7G,CAAC;AAED,MAAM,eAAe,GAAU,CAAC,KAAK,EAAE,EAAE,CACvC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAA+B,CAAC,OAAO,KAAK,QAAQ;IACzG,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAA;AAE7D,MAAM,UAAU,WAAW,CACzB,OAAwB,EACxB,QAAoB,EACpB,MAA6B;IAE7B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,MAAM,QAAQ,GAAG,CACf,GAAW,EACX,KAAW,EACX,MAAyB,EACzB,IAAY,EACZ,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EACnB,EAAE;QACF,MAAM,MAAM,GAAG,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,MAAM;YAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,4BAA4B,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAA;IACD,MAAM,OAAO,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAE,CAAA;IAC7E,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;QAC/B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1C,IAAI,CACF,OAAO,EACP,CAAC,OAAO,EAAE,OAAO,CAAC,EAClB,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,EACzC,WAAW,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnD,CAAA;QACH,QAAQ,CAAC,GAAG,OAAO,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,eAAe,CAAC,CAAA;QAC7F,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAA;QACpF,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC7B,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,EAAE;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,OAAM;YACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACtB,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;YACxB,OAAO,GAAG,CAAC,CAAA;YACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAA;YACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;gBAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;qBACtE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;QACrE,CAAC,CAAA;QACD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,CAAS,EAAE,EAAE;YAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAA;YACvC,IAAI,MAAM,EAAE,MAAM,KAAK,MAAM;gBAC3B,IAAI,CACF,OAAO,EACP,CAAC,MAAM,EAAE,CAAC,CAAC,EACX,cAAc,MAAM,cAAc,QAAQ,CAAC,KAAK,GAAG,EACnD,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,aAAa,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,oBAAoB,CAClG,CAAA;QACL,CAAC,CAAA;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAChC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;gBACjG,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;YAClG,CAAC;iBAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBACrB,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;gBAC7F,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YACpG,CAAC;iBAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;gBACvB,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;gBAC9F,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAA;gBACzF,KAAK,CACH,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE;oBAC5B,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CACH,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,SAAS,GAAG,IAAI,CAAC,MAAM,CAAA;gBAC3B,SAAS,CAAC;oBACR,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;oBAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK;wBACtB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,OAAO,IAAI,EAAE,GAAG,OAAO,IAAI,SAAS,CAAC,CAAA;oBAC3F,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,OAAO,IAAI,SAAS,CAAA;wBACpB,MAAK;oBACP,CAAC;oBACD,SAAS,IAAI,IAAI,GAAG,OAAO,CAAA;oBAC3B,OAAO,GAAG,IAAI,CAAA;oBACd,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;oBACf,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBAC1F,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,sBAAsB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAA;QAC/F,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAA;QAC3B,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;YACjC,IAAI,CACF,OAAO,EACP,CAAC,QAAQ,EAAE,OAAO,CAAC,EACnB,mBAAmB,MAAM,CAAC,KAAK,qBAAqB,QAAQ,CAAC,KAAK,GAAG,EACrE,IAAI,CACL,CAAA;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;YACrE,IAAI,CACF,OAAO,EACP,CAAC,QAAQ,EAAE,SAAS,CAAC,EACrB,sCAAsC,EACtC,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAChE,CAAA;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAA0B,EAAE,OAA0B,CAAC;YAClG,IAAI,CACF,OAAO,EACP,CAAC,QAAQ,EAAE,SAAS,CAAC,EACrB,8DAA8D,EAC9D,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAClE,CAAA;QACH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACjC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QACnE,OAAO;YACL,KAAK;YACL,OAAO,EAAE;gBACP,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,EAAE;gBACV,OAAO,EAAE,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACpF,KAAK,EAAE,wFAAwF;aAChG;SACF,CAAA;IACH,CAAC;AACH,CAAC"}

package/dist/contracts/skeleton.d.ts

@@ -0,0 +1,4 @@
+import { type FeatureIR, type Json, type JsonSchema, type ProjectIR } from '@hozu/core/ir';
+export declare function example(s: JsonSchema | null): Json;
+export declare function skeleton(ir: ProjectIR, feature: FeatureIR, id: string): string;
+//# sourceMappingURL=skeleton.d.ts.map

package/dist/contracts/skeleton.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"skeleton.d.ts","sourceRoot":"","sources":["../../src/contracts/skeleton.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EACd,KAAK,IAAI,EACT,KAAK,UAAU,EACf,KAAK,SAAS,EAEf,MAAM,eAAe,CAAA;AAOtB,wBAAgB,OAAO,CAAC,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CA4BlD;AAyBD,wBAAgB,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CA8C9E"}

package/dist/contracts/skeleton.js

@@ -0,0 +1,108 @@
+import { UNEXPECTED_ERROR_SCHEMA, } from '@hozu/core/ir';
+import { effectSchemas, eventSchema } from '../env.js';
+import { splitRef } from '../resolve.js';
+const obj = (v) => v && typeof v === 'object' && !Array.isArray(v) ? v : null;
+export function example(s) {
+    if (!s)
+        return null;
+    if ('const' in s)
+        return s.const;
+    if (Array.isArray(s.enum))
+        return (s.enum[0] ?? null);
+    for (const k of ['anyOf', 'oneOf'])
+        if (Array.isArray(s[k])) {
+            const variants = s[k].map(obj).filter((v) => v !== null);
+            return example(variants.find((v) => v.type !== 'null') ?? variants[0] ?? null);
+        }
+    const type = Array.isArray(s.type) ? s.type.find((t) => t !== 'null') : s.type;
+    switch (type) {
+        case 'string':
+            return '';
+        case 'number':
+        case 'integer':
+            return 0;
+        case 'boolean':
+            return false;
+        case 'array':
+            return [];
+        case 'object': {
+            const out = {};
+            for (const [k, v] of Object.entries(obj(s.properties) ?? {}))
+                out[k] = example(obj(v));
+            return out;
+        }
+        default:
+            return null;
+    }
+}
+const ts = (v) => JSON.stringify(v, null, 1)
+    .replace(/\n\s*/g, ' ')
+    .replace(/"([A-Za-z_$][\w$]*)":/g, '$1:')
+    .replace(/"/g, "'");
+function changes(initial, paths) {
+    const out = {};
+    for (const path of paths) {
+        let target = out;
+        let source = initial;
+        for (const [i, key] of path.entries()) {
+            source = source && typeof source === 'object' && !Array.isArray(source) ? (source[key] ?? null) : null;
+            if (i === path.length - 1)
+                target[key] = source;
+            else {
+                target[key] ??= {};
+                target = target[key];
+            }
+        }
+    }
+    return out;
+}
+export function skeleton(ir, feature, id) {
+    const [state, kind, key, ...rest] = id.split('/');
+    const m = feature.machine;
+    const s = m.states[state];
+    const local = (ref) => splitRef(ref)[1];
+    let step;
+    let t = s.after[Number(key)]?.transition;
+    if (kind === 'on') {
+        t = s.on[key][Number(rest[0])];
+        step = `{ send: ${local(key)}, payload: ${ts(example(eventSchema(ir, key)))} }`;
+    }
+    else if (kind === 'after')
+        step = `{ elapse: ${s.after[Number(key)].ms} }`;
+    else if (key === 'done') {
+        t = s.invoke.done[Number(rest[0])];
+        step = `{ done: ${local(s.invoke.effect)}, result: ${ts(example(effectSchemas(ir, s.invoke.effect)?.output ?? null))} }`;
+    }
+    else {
+        const error = rest[0];
+        t = s.invoke.failed[error][Number(rest[1])];
+        const schema = error === 'Unexpected'
+            ? UNEXPECTED_ERROR_SCHEMA
+            : (effectSchemas(ir, s.invoke.effect)?.error(error) ?? null);
+        step = `{ failed: ${local(s.invoke.effect)}, error: '${error}', data: ${ts(example(schema))} }`;
+    }
+    const target = t?.target ?? state;
+    const entered = m.states[target]?.invoke;
+    const calls = [];
+    if (t?.navigate && 'link' in t.navigate)
+        calls.push(`{ navigate: '${ir.routes[t.navigate.link]?.path ?? '/'}' }`);
+    if (entered)
+        calls.push(`{ effect: ${local(entered.effect)}, input: ${ts(example(effectSchemas(ir, entered.effect)?.input ?? null))} }`);
+    const assigned = (t?.assign ?? []).map((a) => a.path);
+    const expect = [`state: '${target}'`];
+    if (assigned.length)
+        expect.push(`changes: ${ts(changes(m.initialContext, assigned))}`);
+    if (calls.length)
+        expect.push(`effects: [${calls.join(', ')}]`);
+    return [
+        'contract(machine, {',
+        `  given: { state: '${state}' },`,
+        `  when: [${step}],`,
+        `  expect: { ${expect.join(', ')} },`,
+        '})',
+        assigned.length
+            ? `// decide the expected ${assigned.map((p) => p.join('.')).join(', ')}; example values above are placeholders`
+            : '// example values above are placeholders',
+    ].join('\n');
+}
+//# sourceMappingURL=skeleton.js.map

package/dist/contracts/skeleton.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skeleton.js","sourceRoot":"","sources":["../../src/contracts/skeleton.ts"],"names":[],"mappings":"AAAA,OAAO,EAKL,uBAAuB,GACxB,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,MAAM,GAAG,GAAG,CAAC,CAAmB,EAAqB,EAAE,CACrD,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAgB,CAAC,CAAC,CAAC,IAAI,CAAA;AAE5E,MAAM,UAAU,OAAO,CAAC,CAAoB;IAC1C,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,KAAa,CAAA;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAS,CAAA;IAC7D,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAU;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAI,CAAC,CAAC,CAAC,CAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;YACrF,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAA;QAChF,CAAC;IACH,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,IAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5F,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,EAAE,CAAA;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,CAAC,CAAA;QACV,KAAK,SAAS;YACZ,OAAO,KAAK,CAAA;QACd,KAAK,OAAO;YACV,OAAO,EAAE,CAAA;QACX,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,GAAG,GAAyB,EAAE,CAAA;YACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YACtF,OAAO,GAAG,CAAA;QACZ,CAAC;QACD;YACE,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAED,MAAM,EAAE,GAAG,CAAC,CAAO,EAAU,EAAE,CAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;KACvB,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC;KACtB,OAAO,CAAC,wBAAwB,EAAE,KAAK,CAAC;KACxC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AAEvB,SAAS,OAAO,CAAC,OAAa,EAAE,KAAgD;IAC9E,MAAM,GAAG,GAAyB,EAAE,CAAA;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,MAAM,GAAG,GAAG,CAAA;QAChB,IAAI,MAAM,GAAS,OAAO,CAAA;QAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YACtG,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAA;iBAC1C,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAA;gBAClB,MAAM,GAAG,MAAM,CAAC,GAAG,CAAyB,CAAA;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAa,EAAE,OAAkB,EAAE,EAAU;IACpE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAA0C,CAAA;IAC1F,MAAM,CAAC,GAAG,OAAO,CAAC,OAAQ,CAAA;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,IAAI,IAAY,CAAA;IAChB,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAA;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/B,IAAI,GAAG,WAAW,KAAK,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA;IACjF,CAAC;SAAM,IAAI,IAAI,KAAK,OAAO;QAAE,IAAI,GAAG,aAAa,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAE,CAAC,EAAE,IAAI,CAAA;SACxE,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACxB,CAAC,GAAG,CAAC,CAAC,MAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACnC,IAAI,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI,CAAA;IAC5H,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;QACtB,CAAC,GAAG,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7C,MAAM,MAAM,GACV,KAAK,KAAK,YAAY;YACpB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAA;QACjE,IAAI,GAAG,aAAa,KAAK,CAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAA;IAClG,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,KAAK,CAAA;IACjC,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,CAAC,EAAE,QAAQ,IAAI,MAAM,IAAI,CAAC,CAAC,QAAQ;QACrC,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,GAAG,KAAK,CAAC,CAAA;IAC1E,IAAI,OAAO;QACT,KAAK,CAAC,IAAI,CACR,aAAa,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAChH,CAAA;IACH,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,CAAC,WAAW,MAAM,GAAG,CAAC,CAAA;IACrC,IAAI,QAAQ,CAAC,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;IACvF,IAAI,KAAK,CAAC,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC/D,OAAO;QACL,qBAAqB;QACrB,sBAAsB,KAAK,MAAM;QACjC,YAAY,IAAI,IAAI;QACpB,eAAe,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QACrC,IAAI;QACJ,QAAQ,CAAC,MAAM;YACb,CAAC,CAAC,0BAA0B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC;YAChH,CAAC,CAAC,0CAA0C;KAC/C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC"}

package/dist/contracts/verify.d.ts

@@ -0,0 +1,5 @@
+import { type Bindings } from '@hozu/core/ir';
+import type { Ctx } from '../context.ts';
+import { type Lockfile } from './lock.ts';
+export declare function verifyContracts(ctx: Ctx, bindings: Bindings, lock: Lockfile | null): Lockfile;
+//# sourceMappingURL=verify.d.ts.map

package/dist/contracts/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAoC,MAAM,eAAe,CAAA;AAE/E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAwB,KAAK,QAAQ,EAAU,MAAM,WAAW,CAAA;AAsBvE,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI,GAAG,QAAQ,CA+D7F"}

package/dist/contracts/verify.js

@@ -0,0 +1,58 @@
+import { join, routeTable } from '@hozu/core/ir';
+import { compileMachine } from '@hozu/machine';
+import { drift, lockOf } from './lock.js';
+import { runContract } from './run.js';
+import { skeleton } from './skeleton.js';
+const transitionPointer = (feature, id) => join('', 'features', feature, 'machine', 'states', ...id.split('/'));
+function compile(ctx, feature, bindings) {
+    try {
+        return compileMachine(feature, bindings.fns, routeTable(ctx.ir));
+    }
+    catch (error) {
+        ctx.report('HZ015', feature.id, join('', 'features', feature.id, 'machine'), `Machine cannot run: ${error.message}`, 'Contracts need an executable machine.');
+        return null;
+    }
+}
+export function verifyContracts(ctx, bindings, lock) {
+    const coverage = new Map();
+    const invalid = new Set(ctx.diagnostics.filter((d) => d.severity === 'error').map((d) => d.location.feature));
+    for (const feature of Object.values(ctx.ir.features)) {
+        if (!feature.machine || invalid.has(feature.id))
+            continue;
+        const machine = compile(ctx, feature, bindings);
+        if (!machine)
+            continue;
+        const cov = new Map(machine.transitions.map((id) => [id, new Set()]));
+        for (const [name, contract] of Object.entries(feature.contracts)) {
+            const run = runContract(machine, contract, bindings.checks);
+            for (const id of run.taken)
+                cov.get(id)?.add(name);
+            if (run.failure)
+                ctx.report(run.failure.code, feature.id, join('', 'features', feature.id, 'contracts', name, ...run.failure.tokens), `Contract ${name}: ${run.failure.message}`, run.failure.cause, {
+                    summary: run.failure.code === 'HZ017'
+                        ? 'Make the contract data match the declared schema'
+                        : 'Decide which is intended: fix the machine, or update the contract to specify the new behavior',
+                    snippet: null,
+                    patch: null,
+                });
+        }
+        for (const [id, contracts] of cov)
+            if (contracts.size === 0)
+                ctx.report('HZ016', feature.id, transitionPointer(feature.id, id), `Transition ${id} is not covered by any contract`, 'Every transition must be exercised by at least one contract (ADR 0004).', {
+                    summary: `Add a contract that fires ${id}`,
+                    snippet: skeleton(ctx.ir, feature, id),
+                    patch: null,
+                });
+        coverage.set(feature.id, cov);
+    }
+    const next = lockOf(ctx.ir, coverage);
+    if (lock)
+        for (const d of drift(lock, next))
+            ctx.report('HZ018', d.feature, transitionPointer(d.feature, d.id), `Behavior of ${d.id} changed but none of its contracts did`, `Covered by ${d.contracts.join(', ') || 'no contract'}; principle 5 requires every behavior change to change a contract.`, {
+                summary: 'Update or add a contract that specifies the new behavior, then run hozu validate --update-lock',
+                snippet: null,
+                patch: null,
+            });
+    return next;
+}
+//# sourceMappingURL=verify.js.map

package/dist/contracts/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,IAAI,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/E,OAAO,EAAwB,cAAc,EAAE,MAAM,eAAe,CAAA;AAEpE,OAAO,EAAiB,KAAK,EAAiB,MAAM,EAAE,MAAM,WAAW,CAAA;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAE,EAAU,EAAE,EAAE,CACxD,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;AAEtE,SAAS,OAAO,CAAC,GAAQ,EAAE,OAAkB,EAAE,QAAkB;IAC/D,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAC3C,uBAAwB,KAAe,CAAC,OAAO,EAAE,EACjD,uCAAuC,CACxC,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAQ,EAAE,QAAkB,EAAE,IAAqB;IACjF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CACrF,CAAA;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAQ;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO;YAAE,SAAQ;QACtB,MAAM,GAAG,GAAa,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,CAAA;QACvF,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACjE,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;YAC3D,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;YAClD,IAAI,GAAG,CAAC,OAAO;gBACb,GAAG,CAAC,MAAM,CACR,GAAG,CAAC,OAAO,CAAC,IAAI,EAChB,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAC1E,YAAY,IAAI,KAAK,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAC1C,GAAG,CAAC,OAAO,CAAC,KAAK,EACjB;oBACE,OAAO,EACL,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;wBAC1B,CAAC,CAAC,kDAAkD;wBACpD,CAAC,CAAC,+FAA+F;oBACrG,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;QACL,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,GAAG;YAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;gBACtB,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EACjC,cAAc,EAAE,iCAAiC,EACjD,yEAAyE,EACzE;oBACE,OAAO,EAAE,6BAA6B,EAAE,EAAE;oBAC1C,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;QACL,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;IACrC,IAAI,IAAI;QACN,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;YAC/B,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,OAAO,EACT,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAClC,eAAe,CAAC,CAAC,EAAE,wCAAwC,EAC3D,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,oEAAoE,EACzH;gBACE,OAAO,EACL,gGAAgG;gBAClG,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,IAAI;aACZ,CACF,CAAA;IACL,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/env.d.ts

@@ -0,0 +1,40 @@
+import { type FeatureIR, type JsonSchema, type ProjectIR, type RefSource, type ValueExpr } from '@hozu/core/ir';
+export interface Env {
+    feature: FeatureIR;
+    sources: Partial<Record<RefSource, JsonSchema | null>>;
+    bindings: (JsonSchema | null)[];
+}
+export declare const schemaIn: (feature: FeatureIR | undefined, hash: string | undefined) => JsonSchema | null;
+export declare function effectSchemas(ir: ProjectIR, ref: string): {
+    input: JsonSchema | null;
+    output: JsonSchema | null;
+    errors: Record<string, string>;
+    invalid: boolean;
+    error: (name: string) => JsonSchema | null;
+} | null;
+export declare function valueSchema(ir: ProjectIR, env: Env, value: ValueExpr): JsonSchema | null;
+export declare function contextEnv(feature: FeatureIR): Env;
+type Trigger = {
+    kind: 'on';
+    event: string;
+} | {
+    kind: 'done';
+    effect: string;
+} | {
+    kind: 'failed';
+    effect: string;
+    error: string;
+} | {
+    kind: 'after';
+    ms: number;
+};
+export declare function triggerEnv(ctx: {
+    ir: ProjectIR;
+    envs: Map<string, Env>;
+}, feature: FeatureIR, site: {
+    trigger: Trigger;
+    envKey: string;
+}): Env;
+export declare function eventSchema(ir: ProjectIR, ref: string): JsonSchema | null;
+export {};
+//# sourceMappingURL=env.d.ts.map

package/dist/env.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"env.d.ts","sourceRoot":"","sources":["../src/env.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,SAAS,EAEd,KAAK,SAAS,EACf,MAAM,eAAe,CAAA;AAItB,MAAM,WAAW,GAAG;IAClB,OAAO,EAAE,SAAS,CAAA;IAClB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,CAAA;IACtD,QAAQ,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAA;CAChC;AAED,eAAO,MAAM,QAAQ,YAAa,SAAS,GAAG,SAAS,QAAQ,MAAM,GAAG,SAAS,KAAG,UAAU,GAAG,IACpB,CAAA;AAmB7E,wBAAgB,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM;;;;;kBAStC,MAAM;SAOvB;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,IAAI,CAcxF;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,SAAS,GAAG,GAAG,CAElD;AAED,KAAK,OAAO,GACR;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjC,wBAAgB,UAAU,CACxB,GAAG,EAAE;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;CAAE,EAC9C,OAAO,EAAE,SAAS,EAClB,IAAI,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzC,GAAG,CAcL;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAGzE"}