@hozu/validator 0.7.0 → 0.9.0

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"}

package/dist/contracts/run.js

@@ -1,4 +1,28 @@
-import { enter, equal, transition } from '@hozu/machine';
+import { enter, equal, transition, } from '@hozu/machine';
+function tracing(machine, evaluated) {
+    const wrap = (ts) => ts.map((t) => {
+        const guard = t.guard;
+        if (!guard)
+            return t;
+        return {
+            ...t,
+            guard: (env) => {
+                evaluated.add(t.id);
+                return guard(env);
+            },
+        };
+    });
+    const each = (m) => new Map([...m].map(([k, ts]) => [k, wrap(ts)]));
+    return {
+        ...machine,
+        states: machine.states.map((s) => ({
+            ...s,
+            on: each(s.on),
+            after: each(s.after),
+            invoke: s.invoke && { ...s.invoke, done: wrap(s.invoke.done), failed: each(s.invoke.failed) },
+        })),
+    };
+}
 class Stop extends Error {
     failure;
     constructor(failure) {
@@ -29,7 +53,10 @@ function firstDifference(expected, actual, path = []) {
 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) {
+export function runContract(compiled, contract, checks) {
+    const evaluated = new Set();
+    const machine = tracing(compiled, evaluated);
+    const guards = () => [...evaluated].sort();
     const taken = [];
     const invokes = [];
     const validate = (key, value, tokens, what, check = checks[key]) => {
@@ -121,13 +148,14 @@ export function runContract(machine, contract, checks) {
                     : `{ effect: ${e.effect.slice(e.effect.indexOf('.') + 1)}, input: ${JSON.stringify(e.input)} }`)
                     .join(', ')}],`,
             });
-        return { taken, failure: null };
+        return { taken, guards: guards(), failure: null };
     }
     catch (error) {
         if (error instanceof Stop)
-            return { taken, failure: error.failure };
+            return { taken, guards: guards(), failure: error.failure };
         return {
             taken,
+            guards: guards(),
             failure: {
                 code: 'HZ015',
                 tokens: [],

package/dist/contracts/run.js.map

@@ -1 +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;AAexG,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,MAAM,IAAI,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7B,OAAO,EAAE,8DAA8D;gBACvE,KAAK,EAAE,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;gBACxE,OAAO,EAAE,aAAa,OAAO;qBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,UAAU,IAAI,CAAC;oBACb,CAAC,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI;oBAC/C,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAClG;qBACA,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB,CAAC,CAAA;QACJ,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"}
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/contracts/run.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,EACL,KAAK,EAGL,UAAU,GACX,MAAM,eAAe,CAAA;AAgBtB,SAAS,OAAO,CAAC,OAAwB,EAAE,SAAsB;IAC/D,MAAM,IAAI,GAAG,CAAC,EAAwB,EAAE,EAAE,CACxC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACX,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;QACrB,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,CAAA;QACpB,OAAO;YACL,GAAG,CAAC;YACJ,KAAK,EAAE,CAAC,GAAgC,EAAE,EAAE;gBAC1C,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACnB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAA;YACnB,CAAC;SACF,CAAA;IACH,CAAC,CAAC,CAAA;IACJ,MAAM,IAAI,GAAG,CAAI,CAA+B,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACpG,OAAO;QACL,GAAG,OAAO;QACV,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,CAAC;YACJ,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACd,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YACpB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;SAC9F,CAAC,CAAC;KACJ,CAAA;AACH,CAAC;AAED,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,QAAyB,EACzB,QAAoB,EACpB,MAA6B;IAE7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;IAC5C,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;IAC1C,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,MAAM,IAAI,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;gBAC7B,OAAO,EAAE,8DAA8D;gBACvE,KAAK,EAAE,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;gBACxE,OAAO,EAAE,aAAa,OAAO;qBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,UAAU,IAAI,CAAC;oBACb,CAAC,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI;oBAC/C,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAClG;qBACA,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB,CAAC,CAAA;QACJ,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QACrF,OAAO;YACL,KAAK;YACL,MAAM,EAAE,MAAM,EAAE;YAChB,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/verify.d.ts

@@ -1,5 +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, accept?: boolean): Lockfile;
+import type { LockfileV2 } from './record.ts';
+export declare function verifyContracts(ctx: Ctx, bindings: Bindings, lock: unknown, accept?: boolean): LockfileV2;
 //# sourceMappingURL=verify.d.ts.map

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

@@ -1 +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;AAuBvE,wBAAgB,eAAe,CAC7B,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,QAAQ,GAAG,IAAI,EACrB,MAAM,UAAQ,GACb,QAAQ,CA+EV"}
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,QAAQ,EAAyD,MAAM,eAAe,CAAA;AAEpG,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,eAAe,CAAA;AAGxC,OAAO,KAAK,EAAkB,UAAU,EAAE,MAAM,aAAa,CAAA;AA6O7D,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,UAAQ,GAAG,UAAU,CA+DvG"}

package/dist/contracts/verify.js

@@ -1,30 +1,195 @@
-import { join, routeTable } from '@hozu/core/ir';
+import { hashJson, join, routeTable } from '@hozu/core/ir';
 import { compileMachine } from '@hozu/machine';
-import { drift, lockOf } from './lock.js';
-import { isMechanical, locate } from './mechanical.js';
+import { isV2, lockChanges, lockOf, pagesChanges } from './lock.js';
+import { decides, locate, showAssign, showEnters, showFns, showGuard, showValue } from './mechanical.js';
 import { runContract } from './run.js';
 import { skeleton } from './skeleton.js';
 const transitionPointer = (feature, id) => join('', 'features', feature, 'machine', 'states', ...id.split('/'));
+const machinePointer = (feature) => join('', 'features', feature, 'machine');
 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.');
+        ctx.report('HZ015', feature.id, machinePointer(feature.id), `Machine cannot run: ${error.message}`, 'Contracts need an executable machine.');
         return null;
     }
 }
+function duplicates(ctx, feature) {
+    const seen = new Map();
+    for (const name of Object.keys(feature.contracts).sort()) {
+        const hash = hashJson(feature.contracts[name]);
+        const first = seen.get(hash);
+        if (!first) {
+            seen.set(hash, name);
+            continue;
+        }
+        const pointer = join('', 'features', feature.id, 'contracts', name);
+        ctx.report('HZ064', feature.id, pointer, `Contract ${name} is identical to ${first}`, 'Two contracts with the same IR specify the same behaviour twice; the copy reviews nothing (ADR 0043 G).', { summary: `Remove ${name}`, snippet: null, patch: [{ op: 'remove', path: pointer }] });
+    }
+}
+function withoutDecision(ctx, feature, found) {
+    if (!found.length)
+        return;
+    const names = found.map((c) => c.name);
+    const shown = names.length > 3 ? `${names.slice(0, 3).join(', ')} …` : names.join(', ');
+    const entries = [...new Set(found.flatMap((c) => c.taken))].sort();
+    ctx.report('HZ058', feature.id, join('', 'features', feature.id, 'contracts', names[0]), `${names.length} contract${names.length === 1 ? ' covers' : 's cover'} no decision: ${shown}`, [
+        'Every transition these contracts fire only copies values, and they evaluate no guard; hozu.lock.json already reviews those transitions (ADR 0043 G).',
+        ...found.map((c) => `${c.name}: ${c.taken.join(' → ')}`),
+    ].join('\n'), {
+        summary: 'Contracts belong where a transition decides (a guard, a navigate, a computed value). The lock entries below review these transitions',
+        snippet: entries.map((id) => `hozu.lock.json ${feature.id} ${id}`).join('\n'),
+        patch: null,
+    });
+}
+function previousFeature(feature, id, record) {
+    const f = structuredClone(feature);
+    const { transition } = locate(f, id);
+    transition.guard = record.guard;
+    transition.assign = record.assign;
+    transition.navigate = record.navigate;
+    transition.target = record.enters.state;
+    const target = f.machine.states[record.enters.state];
+    if (target) {
+        const { effect, input, timers, final } = record.enters;
+        if (effect === null)
+            target.invoke = null;
+        else if (target.invoke && input)
+            target.invoke = { ...target.invoke, effect, input };
+        target.after = target.after.filter((a) => timers.includes(a.ms));
+        target.final = final;
+    }
+    return f;
+}
+function specified(ctx, bindings, feature, change) {
+    const before = change.before;
+    const covering = Object.keys(change.after.contracts);
+    if (!covering.length)
+        return false;
+    if (change.fields.includes('fns')) {
+        const known = new Set(Object.values(before.contracts));
+        if (covering.some((c) => !known.has(change.after.contracts[c])))
+            return true;
+    }
+    let machine;
+    try {
+        machine = compileMachine(previousFeature(feature, change.id, before.fields), bindings.fns, routeTable(ctx.ir));
+    }
+    catch {
+        return true;
+    }
+    return covering.some((c) => runContract(machine, feature.contracts[c], bindings.checks).failure !== null);
+}
+const fieldText = {
+    guard: (r) => (r.guard ? showGuard(r.guard) : 'none'),
+    assign: (r) => showAssign(r.assign) || 'none',
+    navigate: (r) => (r.navigate ? showValue(r.navigate) : 'none'),
+    enters: (r) => [r.enters.state, showEnters(r.enters)].filter(Boolean).join(' · '),
+    fns: (r) => showFns(r.fns) || 'none',
+};
+function unspecified(ctx, feature, change) {
+    const before = change.before;
+    const after = change.after;
+    const covering = Object.keys(after.contracts);
+    ctx.report('HZ018', feature.id, transitionPointer(feature.id, change.id), `Behavior of ${change.id} changed (${change.fields.join(', ')}) and no covering contract specifies it`, [
+        ...change.fields.map((k) => `${k}: was ${fieldText[k](before.fields)}; now ${fieldText[k](after.fields)}`),
+        `was: ${before.summary}`,
+        `now: ${after.summary}`,
+        covering.length
+            ? `Covered by ${covering.join(', ')}: each passes against the previous behaviour too, so none specifies the change. Renaming or copying a contract does not count.`
+            : 'No contract covers it, and it decides (principle 5).',
+    ].join('\n'), {
+        summary: 'Change or add a contract that fails against the previous behaviour and passes now, then run hozu check --update-lock',
+        snippet: skeleton(ctx.ir, feature, change.id),
+        patch: null,
+    });
+}
+const lineOf = (c) => {
+    const names = (e) => Object.entries(e?.contracts ?? {})
+        .map(([n, h]) => (c.before?.contracts[n] && c.before.contracts[n] !== h ? `${n}*` : n))
+        .join(', ') || 'none';
+    switch (c.kind) {
+        case 'new':
+            return `new ${c.id} · now: ${c.after.summary}`;
+        case 'removed':
+            return `removed ${c.id} · was: ${c.before.summary}`;
+        case 'changed':
+            return `changed ${c.id} (${c.fields.join(', ') || 'summary'}) · was: ${c.before.summary} · now: ${c.after.summary}`;
+        default:
+            return `contracts ${c.id}: was ${names(c.before)}; now ${names(c.after)}`;
+    }
+};
+const UPDATE_FIX = {
+    summary: 'If every listed change is intended, run hozu check --update-lock, then list the accepted now: lines in your final summary for the owner to review',
+    snippet: 'hozu check --update-lock',
+    patch: null,
+};
+function outOfDate(ctx, fid, changes, why) {
+    const states = ctx.ir.features[fid]?.machine?.states ?? {};
+    const counts = ['changed', 'new', 'removed', 'contracts']
+        .map((k) => [k, changes.filter((c) => c.kind === k).length])
+        .filter(([, n]) => n > 0)
+        .map(([k, n]) => (k === 'contracts' ? `${n} contract map${n === 1 ? '' : 's'}` : `${n} ${k}`))
+        .join(', ');
+    const owner = changes[0].id.split('/')[0];
+    const pointer = why || !states[owner]
+        ? ctx.ir.features[fid]?.machine
+            ? machinePointer(fid)
+            : join('', 'features', fid)
+        : join('', 'features', fid, 'machine', 'states', owner);
+    ctx.report('HZ057', fid, pointer, why === 'missing'
+        ? `hozu.lock.json is missing; ${fid} has ${changes.length} transitions to review`
+        : why === 'v1'
+            ? `hozu.lock.json is version 1; ${fid} has ${changes.length} transitions to review in the 0.8 format`
+            : `hozu.lock.json is out of date for ${fid}: ${counts}`, [
+        'The lock must equal the computed lock, so every copy-only change, new or removed transition and contract map is reviewed (ADR 0043 G).',
+        ...changes.map(lineOf),
+    ].join('\n'), UPDATE_FIX);
+}
+function reviewLock(ctx, bindings, lock, next, skipped, accept) {
+    const previous = isV2(lock) ? lock : null;
+    const why = lock === null ? 'missing' : previous ? null : 'v1';
+    if (why === 'missing' && !Object.keys(next.features).length)
+        return;
+    const removed = Object.keys(previous?.features ?? {}).filter((fid) => !next.features[fid] && !skipped.has(fid));
+    const byFeature = new Map();
+    for (const change of lockChanges(previous, next, removed)) {
+        if (skipped.has(change.feature))
+            continue;
+        const feature = ctx.ir.features[change.feature];
+        const deciding = change.kind === 'changed' && (change.before.decides || change.after.decides);
+        if (feature && deciding && !specified(ctx, bindings, feature, change))
+            unspecified(ctx, feature, change);
+        else
+            byFeature.set(change.feature, [...(byFeature.get(change.feature) ?? []), change]);
+    }
+    if (accept)
+        return;
+    for (const [fid, changes] of byFeature)
+        outOfDate(ctx, fid, changes, why);
+    const pages = pagesChanges(previous, next);
+    if (pages.length && why !== 'missing')
+        ctx.report('HZ057', null, '/pages', `hozu.lock.json pages are out of date: ${pages.length} change${pages.length === 1 ? '' : 's'}`, [
+            'Head error maps, endpoint statuses and redirects are reviewed through the lock (ADR 0043 D, G).',
+            ...pages,
+        ].join('\n'), UPDATE_FIX);
+}
 export function verifyContracts(ctx, bindings, lock, accept = false) {
     const coverage = new Map();
+    const skipped = new Set();
     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))
+        if (!feature.machine)
             continue;
-        const machine = compile(ctx, feature, bindings);
-        if (!machine)
+        const machine = invalid.has(feature.id) ? null : compile(ctx, feature, bindings);
+        if (!machine) {
+            skipped.add(feature.id);
             continue;
+        }
         const cov = new Map(machine.transitions.map((id) => [id, new Set()]));
-        for (const [name, contract] of Object.entries(feature.contracts)) {
+        const noDecision = [];
+        for (const [name, contract] of Object.entries(feature.contracts).sort(([a], [b]) => a.localeCompare(b))) {
             const run = runContract(machine, contract, bindings.checks);
             for (const id of run.taken)
                 cov.get(id)?.add(name);
@@ -36,16 +201,19 @@ export function verifyContracts(ctx, bindings, lock, accept = false) {
                     snippet: run.failure.snippet ?? null,
                     patch: null,
                 });
+            else if (run.taken.length && !run.guards.length && !run.taken.some((id) => decides(feature, id)))
+                noDecision.push({ name, taken: run.taken });
         }
-        const shape = (id) => {
-            const kind = id.split('/').slice(1, -1).join('/');
-            const { from, transition } = locate(feature, id);
-            return `${kind} ${JSON.stringify({ ...transition, target: transition.target === from ? '@self' : transition.target })}`;
+        duplicates(ctx, feature);
+        withoutDecision(ctx, feature, noDecision);
+        const source = (id) => {
+            const pointer = transitionPointer(feature.id, id);
+            return bindings.copies[pointer] ?? pointer;
         };
-        const coveredShapes = new Set([...cov].filter(([, c]) => c.size > 0).map(([id]) => shape(id)));
+        const coveredSources = new Set([...cov].filter(([, c]) => c.size > 0).map(([id]) => source(id)));
         for (const [id, contracts] of cov)
-            if (contracts.size === 0 && !isMechanical(feature, id) && !coveredShapes.has(shape(id)))
-                ctx.report('HZ016', feature.id, transitionPointer(feature.id, id), `Transition ${id} is not covered by any contract`, 'It makes a decision (a guard, a navigation or a computed value), so a contract must specify it (ADR 0037). Transitions that only copy values are reviewed through the lock instead.', {
+            if (contracts.size === 0 && decides(feature, id) && !coveredSources.has(source(id)))
+                ctx.report('HZ016', feature.id, transitionPointer(feature.id, id), `Transition ${id} is not covered by any contract`, 'It decides (a guard, a navigation, or a fn, comparison or computing operator in its values), so a contract must specify it (ADR 0037, ADR 0043 G). Transitions that only copy values are reviewed through the lock instead.', {
                     summary: `Add a contract that fires ${id}`,
                     snippet: skeleton(ctx.ir, feature, id),
                     patch: null,
@@ -53,25 +221,8 @@ export function verifyContracts(ctx, bindings, lock, accept = false) {
         coverage.set(feature.id, cov);
     }
     const next = lockOf(ctx.ir, coverage);
-    if (lock)
-        for (const d of drift(lock, next)) {
-            const feature = ctx.ir.features[d.feature];
-            const mechanical = d.contracts.length === 0 && isMechanical(feature, d.id);
-            if (mechanical && accept)
-                continue;
-            const change = d.before ? `was: ${d.before}; now: ${d.after}` : `now: ${d.after}`;
-            ctx.report('HZ018', d.feature, transitionPointer(d.feature, d.id), mechanical
-                ? `Transition ${d.id} changed (${change})`
-                : `Behavior of ${d.id} changed but none of its contracts did`, mechanical
-                ? 'Principle 5: a behavior change must be reviewed. This transition only copies values, so accepting it into the lock is the review.'
-                : `Covered by ${d.contracts.join(', ') || 'no contract'}; principle 5 requires every behavior change that makes a decision to change a contract (${change}).`, {
-                summary: mechanical
-                    ? 'If the change is intended, run hozu validate --update-lock'
-                    : 'Update or add a contract that specifies the new behavior, then run hozu validate --update-lock',
-                snippet: null,
-                patch: null,
-            });
-        }
+    if (lock !== undefined)
+        reviewLock(ctx, bindings, lock, next, skipped, accept);
     return next;
 }
 //# sourceMappingURL=verify.js.map

package/dist/contracts/verify.js.map

@@ -1 +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,YAAY,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACtD,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,CAC7B,GAAQ,EACR,QAAkB,EAClB,IAAqB,EACrB,MAAM,GAAG,KAAK;IAEd,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,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI;oBACpC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;QACL,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE;YAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACjD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;YAChD,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,CAAA;QACzH,CAAC,CAAA;QACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAC9F,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,GAAG;YAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACrF,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EACjC,cAAc,EAAE,iCAAiC,EACjD,qLAAqL,EACrL;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,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAE,CAAA;YAC3C,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YAC1E,IAAI,UAAU,IAAI,MAAM;gBAAE,SAAQ;YAClC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAA;YACjF,GAAG,CAAC,MAAM,CACR,OAAO,EACP,CAAC,CAAC,OAAO,EACT,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAClC,UAAU;gBACR,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,aAAa,MAAM,GAAG;gBAC1C,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,wCAAwC,EAC/D,UAAU;gBACR,CAAC,CAAC,mIAAmI;gBACrI,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,4FAA4F,MAAM,IAAI,EAC/J;gBACE,OAAO,EAAE,UAAU;oBACjB,CAAC,CAAC,4DAA4D;oBAC9D,CAAC,CAAC,gGAAgG;gBACpG,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,IAAI;aACZ,CACF,CAAA;QACH,CAAC;IACH,OAAO,IAAI,CAAA;AACb,CAAC"}
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,QAAQ,EAAa,IAAI,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACpG,OAAO,EAAwB,cAAc,EAAE,MAAM,eAAe,CAAA;AAEpE,OAAO,EAAiB,IAAI,EAAmB,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AACnG,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAExG,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,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;AAEpF,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,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,EAC1B,uBAAwB,KAAe,CAAC,OAAO,EAAE,EACjD,uCAAuC,CACxC,CAAA;QACD,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,GAAQ,EAAE,OAAkB;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAoB,CAAC,CAAA;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACpB,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;QACnE,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,OAAO,EACP,YAAY,IAAI,oBAAoB,KAAK,EAAE,EAC3C,yGAAyG,EACzG,EAAE,OAAO,EAAE,UAAU,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CACvF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAAQ,EAAE,OAAkB,EAAE,KAA0C;IAC/F,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAM;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvF,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAClE,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,EACxD,GAAG,KAAK,CAAC,MAAM,YAAY,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,iBAAiB,KAAK,EAAE,EAC7F;QACE,sJAAsJ;QACtJ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;KACzD,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ;QACE,OAAO,EACL,sIAAsI;QACxI,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,kBAAkB,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7E,KAAK,EAAE,IAAI;KACZ,CACF,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAkB,EAAE,EAAU,EAAE,MAAsB;IAC7E,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACpC,UAAU,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAA;IAC/B,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;IACjC,UAAU,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAA;IACvC,MAAM,MAAM,GAAG,CAAC,CAAC,OAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,MAAM,CAAA;QACtD,IAAI,MAAM,KAAK,IAAI;YAAE,MAAM,CAAC,MAAM,GAAG,IAAI,CAAA;aACpC,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK;YAAE,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QACpF,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAChE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,SAAS,CAAC,GAAQ,EAAE,QAAkB,EAAE,OAAkB,EAAE,MAAkB;IACrF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAO,CAAA;IAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAM,CAAC,SAAS,CAAC,CAAA;IACrD,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IAClC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAA;QACtD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAM,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;IAChF,CAAC;IACD,IAAI,OAAwB,CAAA;IAC5B,IAAI,CAAC;QACH,OAAO,GAAG,cAAc,CACtB,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAClD,QAAQ,CAAC,GAAG,EACZ,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CACnB,CAAA;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAA;AAC5G,CAAC;AAED,MAAM,SAAS,GAAgE;IAC7E,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM;IAC7C,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACjF,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM;CACrC,CAAA;AAED,SAAS,WAAW,CAAC,GAAQ,EAAE,OAAkB,EAAE,MAAkB;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAO,CAAA;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAM,CAAA;IAC3B,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC7C,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,EACxC,eAAe,MAAM,CAAC,EAAE,aAAa,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,EACtG;QACE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CACrF;QACD,QAAQ,MAAM,CAAC,OAAO,EAAE;QACxB,QAAQ,KAAK,CAAC,OAAO,EAAE;QACvB,QAAQ,CAAC,MAAM;YACb,CAAC,CAAC,cAAc,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,gIAAgI;YACnK,CAAC,CAAC,sDAAsD;KAC3D,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ;QACE,OAAO,EACL,sHAAsH;QACxH,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7C,KAAK,EAAE,IAAI;KACZ,CACF,CAAA;AACH,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,CAAa,EAAU,EAAE;IACvC,MAAM,KAAK,GAAG,CAAC,CAAuB,EAAE,EAAE,CACxC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;SAC/B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACtF,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAA;IACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,KAAM,CAAC,OAAO,EAAE,CAAA;QACjD,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,MAAO,CAAC,OAAO,EAAE,CAAA;QACtD,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,YAAY,CAAC,CAAC,MAAO,CAAC,OAAO,WAAW,CAAC,CAAC,KAAM,CAAC,OAAO,EAAE,CAAA;QACvH;YACE,OAAO,aAAa,CAAC,CAAC,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;IAC7E,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG;IACjB,OAAO,EACL,mJAAmJ;IACrJ,OAAO,EAAE,0BAA0B;IACnC,KAAK,EAAE,IAAI;CACZ,CAAA;AAED,SAAS,SAAS,CAAC,GAAQ,EAAE,GAAW,EAAE,OAAqB,EAAE,GAA4B;IAC3F,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,IAAI,EAAE,CAAA;IAC1D,MAAM,MAAM,GAAI,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAW;SACjE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAU,CAAC;SACpE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC7F,IAAI,CAAC,IAAI,CAAC,CAAA;IACb,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAA;IAC3C,MAAM,OAAO,GACX,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO;YAC7B,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC;QAC7B,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC3D,GAAG,CAAC,MAAM,CACR,OAAO,EACP,GAAG,EACH,OAAO,EACP,GAAG,KAAK,SAAS;QACf,CAAC,CAAC,8BAA8B,GAAG,QAAQ,OAAO,CAAC,MAAM,wBAAwB;QACjF,CAAC,CAAC,GAAG,KAAK,IAAI;YACZ,CAAC,CAAC,gCAAgC,GAAG,QAAQ,OAAO,CAAC,MAAM,0CAA0C;YACrG,CAAC,CAAC,qCAAqC,GAAG,KAAK,MAAM,EAAE,EAC3D;QACE,wIAAwI;QACxI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;KACvB,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,UAAU,CACX,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CACjB,GAAQ,EACR,QAAkB,EAClB,IAAa,EACb,IAAgB,EAChB,OAAoB,EACpB,MAAe;IAEf,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IACzC,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IAC9D,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM;QAAE,OAAM;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC1D,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAClD,CAAA;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAA;IACjD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1D,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,SAAQ;QACzC,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAO,CAAC,OAAO,IAAI,MAAM,CAAC,KAAM,CAAC,OAAO,CAAC,CAAA;QAC/F,IAAI,OAAO,IAAI,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC;YAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;;YACnG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;IACxF,CAAC;IACD,IAAI,MAAM;QAAE,OAAM;IAClB,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,SAAS;QAAE,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;IACzE,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC1C,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,KAAK,SAAS;QACnC,GAAG,CAAC,MAAM,CACR,OAAO,EACP,IAAI,EACJ,QAAQ,EACR,yCAAyC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAC9F;YACE,iGAAiG;YACjG,GAAG,KAAK;SACT,CAAC,IAAI,CAAC,IAAI,CAAC,EACZ,UAAU,CACX,CAAA;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAQ,EAAE,QAAkB,EAAE,IAAa,EAAE,MAAM,GAAG,KAAK;IACzF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,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;YAAE,SAAQ;QAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAChF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,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,MAAM,UAAU,GAAwC,EAAE,CAAA;QAC1D,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxG,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,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI;oBACpC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;iBACE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC9F,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;QAC/C,CAAC;QACD,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;QACxB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;QACzC,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE;YAC5B,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;YACjD,OAAO,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAA;QAC5C,CAAC,CAAA;QACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAChG,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,GAAG;YAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjF,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EACjC,cAAc,EAAE,iCAAiC,EACjD,6NAA6N,EAC7N;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,KAAK,SAAS;QAAE,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;IAC9E,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/env.d.ts.map

@@ -1 +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,CAiBxF;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"}
+{"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,CAkBxF;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"}

package/dist/env.js

@@ -50,6 +50,8 @@ export function valueSchema(ir, env, value) {
             return { type: 'number' };
         if (value.fn === '%concat')
             return { type: 'string' };
+        if (value.fn === '%includes')
+            return { type: 'boolean' };
         if (value.fn.startsWith('%'))
             return null;
         const r = resolveRef(ir, value.fn, 'fn');

package/dist/env.js.map

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

package/dist/index.d.ts

@@ -1,23 +1,31 @@
 import type { Bindings, Diagnostic, ProjectIR, SourceIndex } from '@hozu/core/ir';
-import type { Lockfile } from './contracts/lock.ts';
-export type { Drift, LockEntry, Lockfile } from './contracts/lock.ts';
-export { isMechanical, summaryOf } from './contracts/mechanical.ts';
+import type { ClassStyle } from './context.ts';
+import type { LockfileV2 } from './contracts/record.ts';
+export type { ClassStyle } from './context.ts';
+export type { ChangeKind, LockChange } from './contracts/lock.ts';
+export { decides, summaryOf } from './contracts/mechanical.ts';
+export type { BehaviorRecord, EndpointLockV2, EnteredRecord, LockEntryV2, LockfileV2, PagesLockV2, } from './contracts/record.ts';
+export { behaviorOf, contractHash, recordOf } from './contracts/record.ts';
 export type { ContractRun, Failure } from './contracts/run.ts';
 export { runContract } from './contracts/run.ts';
 export type { Impact, ImpactKind, ImpactQuery, ImpactUse } from './impact.ts';
 export { impact, UnknownSymbolError } from './impact.ts';
+export { classVariant, exclusive, important } from './rules/styles.ts';
 export { closest, distance } from './suggest.ts';
 export interface ValidateOptions {
     sources?: SourceIndex;
     feature?: string;
     bindings?: Bindings;
-    lock?: Lockfile | null;
+    /** The parsed hozu.lock.json, `null` when the file is missing; omit it to skip the lock review. */
+    lock?: unknown;
     accept?: boolean;
     unknownClasses?: Map<string, string | null> | null;
+    /** CSS properties per class from the CSS stage (`compileStyles(...).classes`); HZ072, HZ075–HZ077 and HZ079 need it. */
+    classes?: Map<string, ClassStyle> | null;
 }
 export interface Verification {
     diagnostics: Diagnostic[];
-    lock: Lockfile | null;
+    lock: LockfileV2 | null;
 }
 export declare function verify(ir: ProjectIR, options?: ValidateOptions): Verification;
 export declare const validate: (ir: ProjectIR, options?: ValidateOptions) => Diagnostic[];

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAyBnD,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AACrE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAyChD,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACtB,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;CACnD;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAA;CACtB;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,YAAY,CAejF;AAED,eAAO,MAAM,QAAQ,OAAQ,SAAS,YAAW,eAAe,KAAQ,UAAU,EACjD,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAE9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AA2BvD,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC9D,YAAY,EACV,cAAc,EACd,cAAc,EACd,aAAa,EACb,WAAW,EACX,UAAU,EACV,WAAW,GACZ,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAC1E,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC7E,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAkDhD,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,EAAE,WAAW,CAAA;IACrB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,mGAAmG;IACnG,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;IAClD,wHAAwH;IACxH,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,IAAI,CAAA;CACzC;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAA;CACxB;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,OAAO,GAAE,eAAoB,GAAG,YAAY,CAiBjF;AAED,eAAO,MAAM,QAAQ,OAAQ,SAAS,YAAW,eAAe,KAAQ,UAAU,EACjD,CAAA"}

package/dist/index.js

@@ -1,18 +1,20 @@
 import { Ctx } from './context.js';
 import { verifyContracts } from './contracts/verify.js';
 import { classNames } from './rules/classes.js';
-import { invalidations, sessions } from './rules/data.js';
+import { componentEmits } from './rules/clients.js';
+import { getEndpointWrites, invalidations, queryFreshness, sessions } from './rules/data.js';
 import { domFields } from './rules/dom.js';
-import { endpoints } from './rules/endpoints.js';
+import { endpointLinks, endpoints } from './rules/endpoints.js';
 import { declaredErrors } from './rules/errors.js';
 import { conflictingIgnores, unhandledEvents, viewEvents } from './rules/events.js';
-import { progressiveForms } from './rules/forms.js';
+import { formFields, progressiveForms } from './rules/forms.js';
 import { unsafeHtml } from './rules/html.js';
 import { httpRules } from './rules/http.js';
 import { i18n } from './rules/i18n.js';
 import { imageDimensions } from './rules/images.js';
 import { internalLinks } from './rules/links.js';
 import { literals } from './rules/literals.js';
+import { headFailures, unservedRoutes } from './rules/pages.js';
 import { paths } from './rules/paths.js';
 import { offlinePage } from './rules/pwa.js';
 import { featureLinks, references, routes } from './rules/refs.js';
@@ -20,11 +22,13 @@ import { rendering } from './rules/rendering.js';
 import { routeParams, searchSchemas } from './rules/routes.js';
 import { seed } from './rules/seed.js';
 import { deadEnds, reachability, shadowing, stateNames } from './rules/states.js';
+import { classConflicts, componentStyles, leadingImportant } from './rules/styles.js';
 import { domText } from './rules/text.js';
-import { widgetEvents } from './rules/widgets.js';
-export { isMechanical, summaryOf } from './contracts/mechanical.js';
+export { decides, summaryOf } from './contracts/mechanical.js';
+export { behaviorOf, contractHash, recordOf } from './contracts/record.js';
 export { runContract } from './contracts/run.js';
 export { impact, UnknownSymbolError } from './impact.js';
+export { classVariant, exclusive, important } from './rules/styles.js';
 export { closest, distance } from './suggest.js';
 const rules = [
     endpoints,
@@ -42,12 +46,17 @@ const rules = [
     deadEnds,
     invalidations,
     sessions,
+    queryFreshness,
+    getEndpointWrites,
     rendering,
     routeParams,
     searchSchemas,
     domFields,
     classNames,
-    widgetEvents,
+    leadingImportant,
+    classConflicts,
+    componentStyles,
+    componentEmits,
     imageDimensions,
     unsafeHtml,
     literals,
@@ -55,19 +64,25 @@ const rules = [
     conflictingIgnores,
     domText,
     progressiveForms,
+    formFields,
     httpRules,
     i18n,
     offlinePage,
+    headFailures,
+    unservedRoutes,
+    endpointLinks,
 ];
 const order = (a, b) => (a.location.feature ?? '').localeCompare(b.location.feature ?? '') ||
     a.location.pointer.localeCompare(b.location.pointer) ||
     a.code.localeCompare(b.code);
 export function verify(ir, options = {}) {
     const ctx = new Ctx(ir, options.sources ?? {}, options.unknownClasses ?? null, options.bindings?.assets ?? {});
+    ctx.classes = options.classes ?? null;
+    ctx.components = options.bindings?.components ?? null;
     for (const rule of rules)
         rule(ctx);
     const lock = options.bindings
-        ? verifyContracts(ctx, options.bindings, options.lock ?? null, options.accept === true)
+        ? verifyContracts(ctx, options.bindings, options.lock, options.accept === true)
         : null;
     const out = options.feature
         ? ctx.diagnostics.filter((d) => d.location.feature === options.feature)