@hozu/validator 0.6.0 → 0.8.0

package/dist/contracts/lock.d.ts

@@ -1,22 +1,19 @@
-import { type FeatureIR, type ProjectIR } from '@hozu/core/ir';
-export interface LockEntry {
-    behavior: string;
-    summary: string;
-    contracts: Record<string, string>;
-}
-export interface Lockfile {
-    version: 1;
-    features: Record<string, Record<string, LockEntry>>;
-}
+import { type ProjectIR } from '@hozu/core/ir';
+import { type BehaviorRecord, type LockEntryV2, type LockfileV2 } from './record.ts';
 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 {
+export declare function lockOf(ir: ProjectIR, coverage: Map<string, Coverage>): LockfileV2;
+export type ChangeKind = 'new' | 'removed' | 'changed' | 'contracts';
+export interface LockChange {
     feature: string;
     id: string;
-    contracts: string[];
-    before: string | null;
-    after: string;
+    kind: ChangeKind;
+    before: LockEntryV2 | null;
+    after: LockEntryV2 | null;
+    fields: (keyof BehaviorRecord)[];
 }
-export declare function drift(previous: Lockfile, next: Lockfile): Drift[];
+export declare const isV2: (lock: unknown) => lock is LockfileV2;
+export declare function changedFields(before: BehaviorRecord, after: BehaviorRecord): (keyof BehaviorRecord)[];
+/** Every difference between the lock on disk and the computed one, for the features that were computed. */
+export declare function lockChanges(previous: LockfileV2 | null, next: LockfileV2, removedFeatures: string[]): LockChange[];
+export declare function pagesChanges(previous: LockfileV2 | null, next: LockfileV2): string[];
 //# sourceMappingURL=lock.d.ts.map

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

@@ -1 +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;AAKnG,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,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,CAkB/E;AAED,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CACd;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,GAAG,KAAK,EAAE,CAiBjE"}
+{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,KAAK,SAAS,EAAc,MAAM,eAAe,CAAA;AAE/E,OAAO,EACL,KAAK,cAAc,EAGnB,KAAK,WAAW,EAChB,KAAK,UAAU,EAEhB,MAAM,aAAa,CAAA;AAEpB,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;AAE/C,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,UAAU,CAqBjF;AAED,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,CAAA;AAEpE,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,WAAW,GAAG,IAAI,CAAA;IAC1B,KAAK,EAAE,WAAW,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,CAAC,MAAM,cAAc,CAAC,EAAE,CAAA;CACjC;AAID,eAAO,MAAM,IAAI,SAAU,OAAO,KAAG,IAAI,IAAI,UAC+C,CAAA;AAI5F,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,CAAC,MAAM,cAAc,CAAC,EAAE,CAErG;AAED,2GAA2G;AAC3G,wBAAgB,WAAW,CACzB,QAAQ,EAAE,UAAU,GAAG,IAAI,EAC3B,IAAI,EAAE,UAAU,EAChB,eAAe,EAAE,MAAM,EAAE,GACxB,UAAU,EAAE,CAyBd;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,EAAE,CAapF"}

package/dist/contracts/lock.js

@@ -1,69 +1,71 @@
-import { hashJson } from '@hozu/core/ir';
-import { resolveRef } from '../resolve.js';
-import { guardRefs, valueRefs } from '../sites.js';
-import { summaryOf } from './mechanical.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);
-}
+import { hashJson, pageTables } from '@hozu/core/ir';
+import { decides, summaryOf } from './mechanical.js';
+import { behaviorOf, contractHash, recordOf, } from './record.js';
 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 initial = feature.machine.initialContext;
         const entries = {};
-        for (const [id, contracts] of [...cov].sort(([a], [b]) => a.localeCompare(b)))
+        for (const [id, contracts] of [...cov].sort(([a], [b]) => a.localeCompare(b))) {
+            const fields = recordOf(ir, feature, id);
             entries[id] = {
-                behavior: behaviorOf(ir, feature, id),
-                summary: summaryOf(feature, id),
-                contracts: Object.fromEntries([...contracts]
-                    .sort()
-                    .map((c) => [c, hashJson(feature.contracts[c]).slice(0, 16)])),
+                behavior: behaviorOf(id, fields),
+                summary: summaryOf(feature, id, fields),
+                decides: decides(feature, id),
+                fields,
+                contracts: Object.fromEntries([...contracts].sort().map((c) => [c, contractHash(feature.contracts[c], initial)])),
             };
+        }
         features[fid] = entries;
     }
-    return { version: 1, features };
+    return { version: 2, features, pages: pageTables(ir) };
 }
-export function drift(previous, next) {
+const same = (a, b) => hashJson(a) === hashJson(b);
+export const isV2 = (lock) => typeof lock === 'object' && lock !== null && lock.version === 2;
+const recordKeys = ['guard', 'assign', 'navigate', 'enters', 'fns'];
+export function changedFields(before, after) {
+    return recordKeys.filter((k) => !same(before[k], after[k]));
+}
+/** Every difference between the lock on disk and the computed one, for the features that were computed. */
+export function lockChanges(previous, next, removedFeatures) {
     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)
+    const features = [...new Set([...Object.keys(next.features), ...removedFeatures])].sort();
+    for (const fid of features) {
+        const before = previous?.features[fid] ?? {};
+        const after = next.features[fid] ?? {};
+        for (const id of [...new Set([...Object.keys(before), ...Object.keys(after)])].sort()) {
+            const b = before[id] ?? null;
+            const a = after[id] ?? null;
+            if (!b)
+                out.push({ feature: fid, id, kind: 'new', before: null, after: a, fields: [] });
+            else if (!a)
+                out.push({ feature: fid, id, kind: 'removed', before: b, after: null, fields: [] });
+            else if (b.behavior !== a.behavior || !same(b.fields, a.fields) || b.summary !== a.summary)
                 out.push({
                     feature: fid,
                     id,
-                    contracts: Object.keys(entry.contracts),
-                    before: before.summary ?? null,
-                    after: entry.summary,
+                    kind: 'changed',
+                    before: b,
+                    after: a,
+                    fields: changedFields(b.fields, a.fields),
                 });
+            else if (!same(b.contracts, a.contracts) || b.decides !== a.decides)
+                out.push({ feature: fid, id, kind: 'contracts', before: b, after: a, fields: [] });
         }
+    }
+    return out;
+}
+export function pagesChanges(previous, next) {
+    const out = [];
+    const prev = previous?.pages ?? { head: {}, endpoints: {}, redirects: {} };
+    for (const section of ['head', 'endpoints', 'redirects']) {
+        const b = prev[section];
+        const a = next.pages[section];
+        for (const key of [...new Set([...Object.keys(b), ...Object.keys(a)])].sort())
+            if (!same(b[key] ?? null, a[key] ?? null))
+                out.push(`${section} ${key}: ${b[key] === undefined ? 'new' : `was ${JSON.stringify(b[key])}`}; ${a[key] === undefined ? 'removed' : `now ${JSON.stringify(a[key])}`}`);
+    }
     return out;
 }
 //# sourceMappingURL=lock.js.map

package/dist/contracts/lock.js.map

@@ -1 +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,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAe3C,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,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC/B,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;AAUD,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;gBACV,GAAG,CAAC,IAAI,CAAC;oBACP,OAAO,EAAE,GAAG;oBACZ,EAAE;oBACF,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;oBACvC,MAAM,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;oBAC9B,KAAK,EAAE,KAAK,CAAC,OAAO;iBACrB,CAAC,CAAA;QACN,CAAC;IACH,OAAO,GAAG,CAAA;AACZ,CAAC"}
+{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../src/contracts/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA6B,UAAU,EAAE,MAAM,eAAe,CAAA;AAC/E,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,EAEL,UAAU,EACV,YAAY,EAGZ,QAAQ,GACT,MAAM,aAAa,CAAA;AAIpB,MAAM,UAAU,MAAM,CAAC,EAAa,EAAE,QAA+B;IACnE,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAC3C,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,GAAG,OAAO,CAAC,OAAQ,CAAC,cAAc,CAAA;QAC/C,MAAM,OAAO,GAAgC,EAAE,CAAA;QAC/C,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,EAAE,CAAC;YAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,CAAA;YACxC,OAAO,CAAC,EAAE,CAAC,GAAG;gBACZ,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC;gBAChC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC;gBACvC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC7B,MAAM;gBACN,SAAS,EAAE,MAAM,CAAC,WAAW,CAC3B,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CACpF;aACF,CAAA;QACH,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;IACzB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,CAAA;AACxD,CAAC;AAaD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAS,CAAC,KAAK,QAAQ,CAAC,CAAS,CAAC,CAAA;AAEpF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAsB,EAAE,CACxD,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAK,IAA8B,CAAC,OAAO,KAAK,CAAC,CAAA;AAE5F,MAAM,UAAU,GAA6B,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;AAE7F,MAAM,UAAU,aAAa,CAAC,MAAsB,EAAE,KAAqB;IACzE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7D,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,WAAW,CACzB,QAA2B,EAC3B,IAAgB,EAChB,eAAyB;IAEzB,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACzF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QACtC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACtF,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,CAAA;YAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAA;YAC3B,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;iBAClF,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;iBAC3F,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBACxF,GAAG,CAAC,IAAI,CAAC;oBACP,OAAO,EAAE,GAAG;oBACZ,EAAE;oBACF,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,CAAC;oBACT,KAAK,EAAE,CAAC;oBACR,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;iBAC1C,CAAC,CAAA;iBACC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBACjE,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;QACtF,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,QAA2B,EAAE,IAAgB;IACxE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,QAAQ,EAAE,KAAK,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAC1E,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,CAAU,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAyB,CAAA;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAyB,CAAA;QACrD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC3E,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;gBACvC,GAAG,CAAC,IAAI,CACN,GAAG,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAC9J,CAAA;IACP,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/contracts/mechanical.d.ts

@@ -1,4 +1,5 @@
 import type { FeatureIR, GuardExpr, StateIR, TransitionIR, ValueExpr } from '@hozu/core/ir';
+import type { BehaviorRecord } from './record.ts';
 export interface Located {
     from: string;
     trigger: string;
@@ -6,8 +7,13 @@ export interface Located {
     target: StateIR | undefined;
 }
 export declare function locate(feature: FeatureIR, id: string): Located;
-export declare function isMechanical(feature: FeatureIR, id: string): boolean;
+export declare function computes(value: ValueExpr): boolean;
+/** ADR 0043 G: a guard, a navigate, or a fn / comparison / computing builtin in an assign value or the entered invoke input. */
+export declare function decides(feature: FeatureIR, id: string): boolean;
 export declare function showValue(v: ValueExpr): string;
 export declare function showGuard(g: GuardExpr): string;
-export declare function summaryOf(feature: FeatureIR, id: string): string;
+export declare const showAssign: (assign: BehaviorRecord['assign']) => string;
+export declare const showEnters: ({ effect, input, timers, final }: BehaviorRecord['enters']) => string;
+export declare const showFns: (fns: BehaviorRecord['fns']) => string;
+export declare function summaryOf(feature: FeatureIR, id: string, record: BehaviorRecord): string;
 //# sourceMappingURL=mechanical.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"mechanical.d.ts","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAG3F,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,YAAY,CAAA;IACxB,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;CAC5B;AAID,wBAAgB,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAoB9D;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAUpE;AAID,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAU9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAY9C;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAmBhE"}
+{"version":3,"file":"mechanical.d.ts","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAEjD,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,YAAY,CAAA;IACxB,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;CAC5B;AAID,wBAAgB,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAoB9D;AAcD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAOlD;AAgBD,gIAAgI;AAChI,wBAAgB,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAK/D;AAkBD,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAa9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAY9C;AAED,eAAO,MAAM,UAAU,WAAY,cAAc,CAAC,QAAQ,CAAC,KAAG,MAS/C,CAAA;AAEf,eAAO,MAAM,UAAU,qCAAsC,cAAc,CAAC,QAAQ,CAAC,KAAG,MAOxE,CAAA;AAEhB,eAAO,MAAM,OAAO,QAAS,cAAc,CAAC,KAAK,CAAC,KAAG,MAGtC,CAAA;AAEf,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,MAAM,CAUxF"}

package/dist/contracts/mechanical.js

@@ -1,4 +1,3 @@
-import { valueRefs } from '../sites.js';
 const short = (ref) => ref.slice(ref.indexOf('.') + 1);
 export function locate(feature, id) {
     const [from, kind, ...rest] = id.split('/');
@@ -24,21 +23,69 @@ export function locate(feature, id) {
     }
     return { from, trigger, transition, target: feature.machine.states[transition.target] };
 }
-export function isMechanical(feature, id) {
+const computingBuiltins = new Set([
+    '%plus',
+    '%minus',
+    '%concat',
+    '%cond',
+    '%coalesce',
+    '%includes',
+    '%length',
+]);
+const computingFn = (fn) => computingBuiltins.has(fn) || !/^[%#]/.test(fn);
+export function computes(value) {
+    if ('fn' in value)
+        return computingFn(value.fn) || computes(value.arg);
+    if ('object' in value)
+        return Object.values(value.object).some(computes);
+    if ('test' in value)
+        return guardComputes(value.test);
+    if ('link' in value)
+        return computes(value.params) || computes(value.search);
+    if ('endpoint' in value)
+        return value.input !== null && computes(value.input);
+    return false;
+}
+function guardComputes(guard) {
+    switch (guard.op) {
+        case 'and':
+        case 'or':
+            return guard.args.some(guardComputes);
+        case 'not':
+            return guardComputes(guard.arg);
+        case 'fn':
+            return computingFn(guard.fn) || computes(guard.arg);
+        default:
+            return true;
+    }
+}
+/** ADR 0043 G: a guard, a navigate, or a fn / comparison / computing builtin in an assign value or the entered invoke input. */
+export function decides(feature, id) {
     const { transition, target } = locate(feature, id);
     if (transition.guard || transition.navigate)
-        return false;
-    let computes = false;
-    const found = () => {
-        computes = true;
-    };
-    for (const a of transition.assign)
-        valueRefs(a.value, '', found);
-    if (target?.invoke)
-        valueRefs(target.invoke.input, '', found);
-    return !computes;
+        return true;
+    if (transition.assign.some((a) => a.op === 'inc' || computes(a.value)))
+        return true;
+    return target?.invoke ? computes(target.invoke.input) : false;
 }
 const names = { context: 'ctx' };
+const infix = { '%plus': '+', '%minus': '-', '%coalesce': '??' };
+function showCall(fn, arg) {
+    const o = 'object' in arg ? arg.object : null;
+    if (o && infix[fn] && o.a && o.b)
+        return `(${showValue(o.a)} ${infix[fn]} ${showValue(o.b)})`;
+    if (o && fn === '%cond' && o.c && o.a && o.b)
+        return `(${showValue(o.c)} ? ${showValue(o.a)} : ${showValue(o.b)})`;
+    if (o && fn === '%concat')
+        return `(${Object.values(o).map(showValue).join(' + ')})`;
+    if (o && fn === '%length' && o.v)
+        return `${showValue(o.v)}.length`;
+    if (o && fn === '%includes' && o.l && o.v)
+        return `${showValue(o.l)}.includes(${showValue(o.v)})`;
+    if (o && fn === '%truthy' && o.v)
+        return `!!${showValue(o.v)}`;
+    return `${short(fn)}(${showValue(arg)})`;
+}
 export function showValue(v) {
     if ('literal' in v)
         return JSON.stringify(v.literal);
@@ -49,10 +96,15 @@ export function showValue(v) {
             .map(([k, x]) => `${k}: ${showValue(x)}`)
             .join(', ')} }`;
     if ('fn' in v)
-        return `${short(v.fn)}(${showValue(v.arg)})`;
+        return showCall(v.fn, v.arg);
     if ('test' in v)
         return showGuard(v.test);
-    return `link(${v.link}, ${showValue(v.params)})`;
+    if ('endpoint' in v)
+        return `link(${v.endpoint}${v.input ? `, ${showValue(v.input)}` : ''})`;
+    if ('formRef' in v)
+        return `formRef(${v.formRef})`;
+    const search = 'literal' in v.search && v.search.literal === null ? '' : `, ${showValue(v.search)}`;
+    return `link(${v.link}, ${showValue(v.params)}${search})`;
 }
 export function showGuard(g) {
     switch (g.op) {
@@ -62,28 +114,42 @@ export function showGuard(g) {
         case 'not':
             return `not ${showGuard(g.arg)}`;
         case 'fn':
-            return `${short(g.fn)}(${showValue(g.arg)})`;
+            return showCall(g.fn, g.arg);
         default:
             return `${showValue(g.left)} ${g.op} ${showValue(g.right)}`;
     }
 }
-export function summaryOf(feature, id) {
-    const { from, trigger, transition, target } = locate(feature, id);
-    const parts = [`${from} --${trigger}--> ${transition.target}`];
-    if (transition.guard)
-        parts.push(`if ${showGuard(transition.guard)}`);
-    if (transition.assign.length)
-        parts.push(transition.assign
-            .map((a) => a.op === 'set'
-            ? `${a.path.join('.')} := ${showValue(a.value)}`
-            : a.op === 'removeWhere'
-                ? `${a.path.join('.')} -= where ${a.key} = ${showValue(a.value)}`
-                : `${a.path.join('.')} ${a.op === 'inc' ? '+=' : 'append'} ${showValue(a.value)}`)
-            .join(', '));
-    if (transition.navigate)
-        parts.push(`navigate ${showValue(transition.navigate)}`);
-    if (target?.invoke)
-        parts.push(`invoke ${short(target.invoke.effect)}(${showValue(target.invoke.input)})`);
+export const showAssign = (assign) => assign
+    .map((a) => a.op === 'set'
+    ? `${a.path.join('.')} := ${showValue(a.value)}`
+    : a.op === 'removeWhere'
+        ? `${a.path.join('.')} -= where ${a.key ?? 'item'} = ${showValue(a.value)}`
+        : `${a.path.join('.')} ${a.op === 'inc' ? '+=' : 'append'} ${showValue(a.value)}`)
+    .join(', ');
+export const showEnters = ({ effect, input, timers, final }) => [
+    effect ? `invoke ${short(effect)}(${input ? showValue(input) : ''})` : '',
+    timers.length ? `after ${timers.map((ms) => `${ms}ms`).join(', ')}` : '',
+    final ? 'final' : '',
+]
+    .filter(Boolean)
+    .join(' · ');
+export const showFns = (fns) => Object.entries(fns)
+    .map(([ref, hash]) => `${short(ref)}@${hash ? hash.slice(0, 8) : '?'}`)
+    .join(', ');
+export function summaryOf(feature, id, record) {
+    const { from, trigger } = locate(feature, id);
+    const parts = [`${from} --${trigger}--> ${record.enters.state}`];
+    if (record.guard)
+        parts.push(`if ${showGuard(record.guard)}`);
+    if (record.assign.length)
+        parts.push(showAssign(record.assign));
+    if (record.navigate)
+        parts.push(`navigate ${showValue(record.navigate)}`);
+    const enters = showEnters(record.enters);
+    if (enters)
+        parts.push(enters);
+    if (Object.keys(record.fns).length)
+        parts.push(`fns ${showFns(record.fns)}`);
     return parts.join(' · ');
 }
 //# sourceMappingURL=mechanical.js.map

package/dist/contracts/mechanical.js.map

@@ -1 +1 @@
-{"version":3,"file":"mechanical.js","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AASvC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9D,MAAM,UAAU,MAAM,CAAC,OAAkB,EAAE,EAAU;IACnD,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAkC,CAAA;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,IAAI,CAAE,CAAA;IAC5C,IAAI,UAAwB,CAAA;IAC5B,IAAI,OAAe,CAAA;IACnB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,UAAU,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAClD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAA;IAC3B,CAAC;SAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC3C,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,OAAO,GAAG,SAAS,KAAK,CAAC,EAAE,IAAI,CAAA;IACjC,CAAC;SAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QAC9B,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QACjD,OAAO,GAAG,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,EAAE,CAAA;IACjD,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC9D,OAAO,GAAG,UAAU,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAkB,EAAE,EAAU;IACzD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAClD,IAAI,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IACzD,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,QAAQ,GAAG,IAAI,CAAA;IACjB,CAAC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM;QAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAChE,IAAI,MAAM,EAAE,MAAM;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA;IAC7D,OAAO,CAAC,QAAQ,CAAA;AAClB,CAAC;AAED,MAAM,KAAK,GAA2B,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAExD,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpG,IAAI,QAAQ,IAAI,CAAC;QACf,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;aACjC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IACnB,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA;IAC3D,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACzC,OAAO,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAA;QACvD,KAAK,KAAK;YACR,OAAO,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;QAClC,KAAK,IAAI;YACP,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA;QAC9C;YACE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;IAC/D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAkB,EAAE,EAAU;IACtD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACjE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,MAAM,OAAO,OAAO,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9D,IAAI,UAAU,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACrE,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM;QAC1B,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,MAAM;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,EAAE,KAAK,KAAK;YACZ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;YAChD,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa;gBACtB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;gBACjE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACtF;aACA,IAAI,CAAC,IAAI,CAAC,CACd,CAAA;IACH,IAAI,UAAU,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACjF,IAAI,MAAM,EAAE,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC1G,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC"}
+{"version":3,"file":"mechanical.js","sourceRoot":"","sources":["../../src/contracts/mechanical.ts"],"names":[],"mappings":"AAUA,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;AAE9D,MAAM,UAAU,MAAM,CAAC,OAAkB,EAAE,EAAU;IACnD,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAkC,CAAA;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,IAAI,CAAE,CAAA;IAC5C,IAAI,UAAwB,CAAA;IAC5B,IAAI,OAAe,CAAA;IACnB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,UAAU,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAClD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAA;IAC3B,CAAC;SAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC3C,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,OAAO,GAAG,SAAS,KAAK,CAAC,EAAE,IAAI,CAAA;IACjC,CAAC;SAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QAC9B,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QACjD,OAAO,GAAG,QAAQ,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,EAAE,CAAA;IACjD,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAA;QAC9D,OAAO,GAAG,UAAU,KAAK,CAAC,KAAK,CAAC,MAAO,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,OAAO;IACP,QAAQ;IACR,SAAS;IACT,OAAO;IACP,WAAW;IACX,WAAW;IACX,SAAS;CACV,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAElF,MAAM,UAAU,QAAQ,CAAC,KAAgB;IACvC,IAAI,IAAI,IAAI,KAAK;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACtE,IAAI,QAAQ,IAAI,KAAK;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACxE,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACrD,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC5E,IAAI,UAAU,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC7E,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAgB;IACrC,QAAQ,KAAK,CAAC,EAAE,EAAE,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACvC,KAAK,KAAK;YACR,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACjC,KAAK,IAAI;YACP,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACrD;YACE,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,OAAO,CAAC,OAAkB,EAAE,EAAU;IACpD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAClD,IAAI,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAA;IACxD,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnF,OAAO,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAC/D,CAAC;AAED,MAAM,KAAK,GAA2B,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAExD,MAAM,KAAK,GAA2B,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;AAExF,SAAS,QAAQ,CAAC,EAAU,EAAE,GAAc;IAC1C,MAAM,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7C,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IAC7F,IAAI,CAAC,IAAI,EAAE,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1C,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IACtE,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;IACpF,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,IAAI,CAAC,IAAI,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IACjG,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACpG,IAAI,QAAQ,IAAI,CAAC;QACf,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;aACjC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IACnB,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC3C,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAA;IAC5F,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,CAAC,OAAO,GAAG,CAAA;IAClD,MAAM,MAAM,GAAG,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAA;IACnG,OAAO,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,CAAA;AAC3D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAA;QACvD,KAAK,KAAK;YACR,OAAO,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;QAClC,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9B;YACE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;IAC/D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAgC,EAAU,EAAE,CACrE,MAAM;KACH,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,EAAE,KAAK,KAAK;IACZ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;IAChD,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa;QACtB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,GAAG,IAAI,MAAM,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;QAC3E,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CACtF;KACA,IAAI,CAAC,IAAI,CAAC,CAAA;AAEf,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAA4B,EAAU,EAAE,CAC/F;IACE,MAAM,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;IACzE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IACxE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;CACrB;KACE,MAAM,CAAC,OAAO,CAAC;KACf,IAAI,CAAC,KAAK,CAAC,CAAA;AAEhB,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAA0B,EAAU,EAAE,CAC5D,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;KAChB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;KACtE,IAAI,CAAC,IAAI,CAAC,CAAA;AAEf,MAAM,UAAU,SAAS,CAAC,OAAkB,EAAE,EAAU,EAAE,MAAsB;IAC9E,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAC7C,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,MAAM,OAAO,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IAChE,IAAI,MAAM,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/D,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACzE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACxC,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC5E,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAC1B,CAAC"}

package/dist/contracts/record.d.ts

@@ -0,0 +1,45 @@
+import { type AssignOp, type ContractIR, type EndpointMode, type EndpointStatus, type FeatureIR, type GuardExpr, type HeadFailureIR, type Json, type ProjectIR, type ValueExpr } from '@hozu/core/ir';
+export interface EnteredRecord {
+    state: string;
+    effect: string | null;
+    input: ValueExpr | null;
+    timers: number[];
+    final: boolean;
+}
+export interface BehaviorRecord {
+    guard: GuardExpr | null;
+    assign: AssignOp[];
+    navigate: ValueExpr | null;
+    enters: EnteredRecord;
+    fns: Record<string, string | null>;
+}
+export interface LockEntryV2 {
+    behavior: string;
+    summary: string;
+    decides: boolean;
+    fields: BehaviorRecord;
+    contracts: Record<string, string>;
+}
+export interface EndpointLockV2 {
+    mode: EndpointMode;
+    failed: Record<string, EndpointStatus>;
+}
+export interface PagesLockV2 {
+    head: Record<string, Record<string, HeadFailureIR>>;
+    endpoints: Record<string, EndpointLockV2>;
+    redirects: Record<string, {
+        to: string;
+        permanent: boolean;
+    }>;
+}
+export interface LockfileV2 {
+    version: 2;
+    features: Record<string, Record<string, LockEntryV2>>;
+    pages: PagesLockV2;
+}
+export declare function recordOf(ir: ProjectIR, feature: FeatureIR, id: string): BehaviorRecord;
+export declare const behaviorOf: (id: string, record: BehaviorRecord) => string;
+export declare function patchOf(base: Json, value: Json): Json;
+/** The contract body as authored: given over initialContext, expect over given; renames and context growth keep it. */
+export declare function contractHash(contract: ContractIR, initialContext: Json): string;
+//# sourceMappingURL=record.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/contracts/record.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,SAAS,EAEd,KAAK,SAAS,EACd,KAAK,aAAa,EAElB,KAAK,IAAI,EACT,KAAK,SAAS,EAEd,KAAK,SAAS,EACf,MAAM,eAAe,CAAA;AAKtB,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;IACvB,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;IACvB,MAAM,EAAE,QAAQ,EAAE,CAAA;IAClB,QAAQ,EAAE,SAAS,GAAG,IAAI,CAAA;IAC1B,MAAM,EAAE,aAAa,CAAA;IACrB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,cAAc,CAAA;IACtB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAA;IAClB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CACvC;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAA;IACnD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAC9D;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,CAAC,CAAA;IACV,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAA;IACrD,KAAK,EAAE,WAAW,CAAA;CACnB;AAeD,wBAAgB,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,cAAc,CA2BtF;AAED,eAAO,MAAM,UAAU,OAAQ,MAAM,UAAU,cAAc,KAAG,MACH,CAAA;AAK7D,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,CAUrD;AAED,uHAAuH;AACvH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,GAAG,MAAM,CAW/E"}

package/dist/contracts/record.js

@@ -0,0 +1,79 @@
+import { foldSearch, hashJson, searchDefaults, } from '@hozu/core/ir';
+import { resolveRef } from '../resolve.js';
+import { guardRefs, valueRefs } from '../sites.js';
+import { locate } from './mechanical.js';
+function foldLinks(ir, v) {
+    if ('link' in v)
+        return {
+            link: v.link,
+            params: foldLinks(ir, v.params),
+            search: foldSearch(foldLinks(ir, v.search), searchDefaults(ir.routes[v.link]?.search ?? null)),
+        };
+    if ('object' in v)
+        return { object: Object.fromEntries(Object.entries(v.object).map(([k, x]) => [k, foldLinks(ir, x)])) };
+    if ('fn' in v)
+        return { fn: v.fn, arg: foldLinks(ir, v.arg) };
+    return v;
+}
+export function recordOf(ir, feature, id) {
+    const { transition, target } = locate(feature, id);
+    const refs = new Set();
+    const collect = (ref) => refs.add(ref);
+    if (transition.guard)
+        guardRefs(transition.guard, '', collect);
+    for (const a of transition.assign)
+        valueRefs(a.value, '', collect);
+    if (transition.navigate)
+        valueRefs(transition.navigate, '', collect);
+    if (target?.invoke)
+        valueRefs(target.invoke.input, '', collect);
+    const fns = {};
+    for (const ref of [...refs].sort()) {
+        if (/^[%#]/.test(ref))
+            continue;
+        const r = resolveRef(ir, ref, 'fn');
+        fns[ref] = r ? (r.feature.fns[r.symbol]?.sourceHash ?? null) : null;
+    }
+    return {
+        guard: transition.guard,
+        assign: transition.assign,
+        navigate: transition.navigate ? foldLinks(ir, transition.navigate) : null,
+        enters: {
+            state: transition.target,
+            effect: target?.invoke?.effect ?? null,
+            input: target?.invoke?.input ?? null,
+            timers: target?.after.map((a) => a.ms) ?? [],
+            final: target?.final ?? false,
+        },
+        fns,
+    };
+}
+export const behaviorOf = (id, record) => hashJson({ id, ...record }).slice(0, 16);
+const isObject = (v) => v !== null && typeof v === 'object' && !Array.isArray(v);
+export function patchOf(base, value) {
+    if (!isObject(base) || !isObject(value))
+        return hashJson(base) === hashJson(value) ? {} : value;
+    const out = {};
+    for (const key of Object.keys(value).sort()) {
+        const b = base[key] ?? null;
+        const v = value[key];
+        if (hashJson(b) === hashJson(v))
+            continue;
+        out[key] = isObject(b) && isObject(v) ? patchOf(b, v) : v;
+    }
+    return out;
+}
+/** The contract body as authored: given over initialContext, expect over given; renames and context growth keep it. */
+export function contractHash(contract, initialContext) {
+    const { given, when, expect } = contract;
+    return hashJson({
+        given: { state: given.state, context: patchOf(initialContext, given.context) },
+        when,
+        expect: {
+            state: expect.state,
+            changes: expect.context === null ? null : patchOf(given.context, expect.context),
+            effects: expect.effects,
+        },
+    }).slice(0, 16);
+}
+//# sourceMappingURL=record.js.map

package/dist/contracts/record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/contracts/record.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,UAAU,EAGV,QAAQ,EAGR,cAAc,GAEf,MAAM,eAAe,CAAA;AACtB,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AA2CxC,SAAS,SAAS,CAAC,EAAa,EAAE,CAAY;IAC5C,IAAI,MAAM,IAAI,CAAC;QACb,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC;YAC/B,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;SAC/F,CAAA;IACH,IAAI,QAAQ,IAAI,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACxG,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAA;IAC7D,OAAO,CAAC,CAAA;AACV,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAAa,EAAE,OAAkB,EAAE,EAAU;IACpE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAClD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC9C,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,UAAU,CAAC,QAAQ;QAAE,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IACpE,IAAI,MAAM,EAAE,MAAM;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;IAC/D,MAAM,GAAG,GAAkC,EAAE,CAAA;IAC7C,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;QACnC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACrE,CAAC;IACD,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;QACzE,MAAM,EAAE;YACN,KAAK,EAAE,UAAU,CAAC,MAAM;YACxB,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,IAAI;YACtC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,IAAI,IAAI;YACpC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE;YAC5C,KAAK,EAAE,MAAM,EAAE,KAAK,IAAI,KAAK;SAC9B;QACD,GAAG;KACJ,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAE,MAAsB,EAAU,EAAE,CACvE,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,EAAqB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAE7D,MAAM,QAAQ,GAAG,CAAC,CAAO,EAA6B,EAAE,CACtD,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAE1D,MAAM,UAAU,OAAO,CAAC,IAAU,EAAE,KAAW;IAC7C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;IAC/F,MAAM,GAAG,GAAyB,EAAE,CAAA;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAA;QAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAE,CAAA;QACrB,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAQ;QACzC,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,YAAY,CAAC,QAAoB,EAAE,cAAoB;IACrE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAA;IACxC,OAAO,QAAQ,CAAC;QACd,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;QAC9E,IAAI;QACJ,MAAM,EAAE;YACN,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,OAAO,EAAE,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;YAChF,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB;KACiB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACpC,CAAC"}

package/dist/contracts/run.d.ts

@@ -9,7 +9,8 @@ export interface Failure {
 }
 export interface ContractRun {
     taken: string[];
+    guards: string[];
     failure: Failure | null;
 }
-export declare function runContract(machine: CompiledMachine, contract: ContractIR, checks: Record<string, Check>): ContractRun;
+export declare function runContract(compiled: CompiledMachine, contract: ContractIR, checks: Record<string, Check>): ContractRun;
 //# sourceMappingURL=run.d.ts.map

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

@@ -1 +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;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;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,CAiIb"}
+{"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,EACL,KAAK,eAAe,EAOrB,MAAM,eAAe,CAAA;AAEtB,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;IACb,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;CACxB;AAgED,wBAAgB,WAAW,CACzB,QAAQ,EAAE,eAAe,EACzB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAC5B,WAAW,CAqIb"}