@hozu/validator 0.27.0 → 0.28.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (8) hide show
  1. package/dist/contracts/mechanical.d.ts +5 -0
  2. package/dist/contracts/mechanical.d.ts.map +1 -1
  3. package/dist/contracts/mechanical.js +30 -0
  4. package/dist/contracts/mechanical.js.map +1 -1
  5. package/dist/contracts/verify.d.ts.map +1 -1
  6. package/dist/contracts/verify.js +8 -4
  7. package/dist/contracts/verify.js.map +1 -1
  8. package/package.json +3 -3
package/dist/contracts/mechanical.d.ts CHANGED
@@ -10,6 +10,11 @@ export declare function locate(feature: FeatureIR, id: string): Located;
10
10
  export declare function computes(value: ValueExpr): boolean;
11
11
  /** ADR 0043 G: a guard, a navigate, or a fn / comparison / computing builtin in an assign value or the entered invoke input. */
12
12
  export declare function decides(feature: FeatureIR, id: string): boolean;
13
+ /**
14
+ * The assigned values that make a transition decide only through `??` or `?:` (ADR 0082 A8): when the value could be
15
+ * copied as it is, the transition would not decide and the lock would review it instead of a contract.
16
+ */
17
+ export declare function onlyOperators(feature: FeatureIR, id: string): string[];
13
18
  export declare function showValue(v: ValueExpr): string;
14
19
  export declare function showGuard(g: GuardExpr): string;
15
20
  export declare const showAssign: (assign: BehaviorRecord['assign']) => string;
package/dist/contracts/mechanical.d.ts.map CHANGED
@@ -1 +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,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACtG,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,CAyB9D;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,CAW/D;AAsBD,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,eAAO,MAAM,WAAW,SAAU,SAAS,EAAE,KAAG,MACiD,CAAA;AAEjG,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,MAAM,CAaxF"}
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,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACtG,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,CAyB9D;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,CAW/D;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAsBtE;AAsBD,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,eAAO,MAAM,WAAW,SAAU,SAAS,EAAE,KAAG,MACiD,CAAA;AAEjG,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,MAAM,CAaxF"}
package/dist/contracts/mechanical.js CHANGED
@@ -78,6 +78,36 @@ export function decides(feature, id) {
78
78
  return true;
79
79
  return target?.invoke ? computes(target.invoke.input) : false;
80
80
  }
81
+ /**
82
+ * The assigned values that make a transition decide only through `??` or `?:` (ADR 0082 A8): when the value could be
83
+ * copied as it is, the transition would not decide and the lock would review it instead of a contract.
84
+ */
85
+ export function onlyOperators(feature, id) {
86
+ const { transition, target } = locate(feature, id);
87
+ if (transition.guard ||
88
+ transition.navigate ||
89
+ transition.replace ||
90
+ transition.copy ||
91
+ transition.refresh?.length)
92
+ return [];
93
+ if (target?.invoke && computes(target.invoke.input))
94
+ return [];
95
+ const hits = [];
96
+ for (const a of transition.assign) {
97
+ if (a.op === 'inc')
98
+ return [];
99
+ if (!computes(a.value))
100
+ continue;
101
+ const v = a.value;
102
+ if (!('fn' in v) || (v.fn !== '%coalesce' && v.fn !== '%cond'))
103
+ return [];
104
+ const o = 'object' in v.arg ? v.arg.object : {};
105
+ if (Object.values(o).some(computes))
106
+ return [];
107
+ hits.push(showValue(v));
108
+ }
109
+ return hits;
110
+ }
81
111
  const names = { context: 'ctx' };
82
112
  const infix = { '%plus': '+', '%minus': '-', '%coalesce': '??' };
83
113
  function showCall(fn, arg) {
package/dist/contracts/mechanical.js.map CHANGED
@@ -1 +1 @@
1
- {"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;QACL,IAAI;QACJ,OAAO;QACP,UAAU;QACV,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;KACjF,CAAA;AACH,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,IAAI,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAA;IACnE,IACE,CAAC,UAAU,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9C,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAE7D,OAAO,IAAI,CAAA;IACb,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,IAAI,CAAC,IAAI,EAAE,KAAK,QAAQ;QACtB,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IACnB,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,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAU,EAAE,CACvD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEjG,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,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IACxF,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,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7D,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtE,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"}
1
+ {"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;QACL,IAAI;QACJ,OAAO;QACP,UAAU;QACV,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;KACjF,CAAA;AACH,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,IAAI,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAA;IACnE,IACE,CAAC,UAAU,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9C,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAE7D,OAAO,IAAI,CAAA;IACb,OAAO,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAC/D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAkB,EAAE,EAAU;IAC1D,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IAClD,IACE,UAAU,CAAC,KAAK;QAChB,UAAU,CAAC,QAAQ;QACnB,UAAU,CAAC,OAAO;QAClB,UAAU,CAAC,IAAI;QACf,UAAU,CAAC,OAAO,EAAE,MAAM;QAE1B,OAAO,EAAE,CAAA;IACX,IAAI,MAAM,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC9D,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,SAAQ;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;QACjB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,IAAI,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC;YAAE,OAAO,EAAE,CAAA;QACzE,MAAM,CAAC,GAAG,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;QAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAA;QAC9C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC;IACD,OAAO,IAAI,CAAA;AACb,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,IAAI,CAAC,IAAI,EAAE,KAAK,QAAQ;QACtB,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IACnB,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,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAU,EAAE,CACvD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEjG,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,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IACxF,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,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACxE,IAAI,MAAM,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7D,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtE,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/verify.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"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;AAYxC,OAAO,KAAK,EAAkB,UAAU,EAAE,MAAM,aAAa,CAAA;AAqM7D,8HAA8H;AAC9H,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,EAAE,CAOtE;AA+ED,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,UAAQ,GAAG,UAAU,CA+DvG"}
1
+ {"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;AAaxC,OAAO,KAAK,EAAkB,UAAU,EAAE,MAAM,aAAa,CAAA;AAqM7D,8HAA8H;AAC9H,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,GAAG,MAAM,EAAE,CAOtE;AA+ED,wBAAgB,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,UAAQ,GAAG,UAAU,CAmEvG"}
package/dist/contracts/verify.js CHANGED
@@ -1,7 +1,7 @@
1
1
  import { hashJson, join, routeTable } from '@hozu/core/ir';
2
2
  import { compileMachine } from '@hozu/machine';
3
3
  import { isV2, lockChanges, lockOf, pagesChanges } from './lock.js';
4
- import { decides, locate, showAssign, showEnters, showFns, showGuard, showRefresh, showValue, } from './mechanical.js';
4
+ import { decides, locate, onlyOperators, showAssign, showEnters, showFns, showGuard, showRefresh, showValue, } from './mechanical.js';
5
5
  import { runContract } from './run.js';
6
6
  import { skeleton } from './skeleton.js';
7
7
  const transitionPointer = (feature, id) => join('', 'features', feature, 'machine', 'states', ...id.split('/'));
@@ -262,12 +262,16 @@ export function verifyContracts(ctx, bindings, lock, accept = false) {
262
262
  };
263
263
  const coveredSources = new Set([...cov].filter(([, c]) => c.size > 0).map(([id]) => source(id)));
264
264
  for (const [id, contracts] of cov)
265
- if (contracts.size === 0 && decides(feature, id) && !coveredSources.has(source(id)))
266
- 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.', {
267
- summary: `Add a contract that fires ${id}`,
265
+ if (contracts.size === 0 && decides(feature, id) && !coveredSources.has(source(id))) {
266
+ const operators = onlyOperators(feature, id);
267
+ 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.${operators.length ? ` Here only ${operators.join(', ')} decides: if the value can be copied as it is, drop the operator and the lock reviews the transition.` : ''}`, {
268
+ summary: operators.length
269
+ ? `Copy the value without ${operators.length === 1 ? 'the operator' : 'the operators'}, or add a contract that fires ${id}`
270
+ : `Add a contract that fires ${id}`,
268
271
  snippet: skeleton(ctx.ir, feature, id),
269
272
  patch: null,
270
273
  });
274
+ }
271
275
  coverage.set(feature.id, cov);
272
276
  }
273
277
  const next = lockOf(ctx.ir, coverage);
package/dist/contracts/verify.js.map CHANGED
@@ -1 +1 @@
1
- {"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,EACL,OAAO,EACP,MAAM,EACN,UAAU,EACV,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,GACV,MAAM,iBAAiB,CAAA;AAExB,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,IAAI,MAAM,CAAC,OAAO;QAAE,UAAU,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;;QAClD,OAAO,UAAU,CAAC,OAAO,CAAA;IAC9B,IAAI,MAAM,CAAC,IAAI;QAAE,UAAU,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;;QACzC,OAAO,UAAU,CAAC,IAAI,CAAA;IAC3B,IAAI,MAAM,CAAC,IAAI;QAAE,UAAU,CAAC,IAAI,GAAG,IAAI,CAAA;;QAClC,OAAO,UAAU,CAAC,IAAI,CAAA;IAC3B,IAAI,MAAM,CAAC,OAAO;QAAE,UAAU,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;;QAClD,OAAO,UAAU,CAAC,OAAO,CAAA;IAC9B,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;IACpC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;CAC5D,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,2FAA2F;AAC3F,MAAM,UAAU,GAAG,CAAC,CAAa,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACjE,MAAM,GAAG,GAAG,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAChE,MAAM,GAAG,GAAG;QACV,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KAC5D,CAAA;IACD,OAAO,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAA;AAClD,CAAC,CAAA;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,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM;gBAC5B,CAAC,CAAC,CAAC,CAAC,MAAM;qBACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,KAAK,QAAQ;oBACZ,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,GAAG,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,EAAE,CACvF;qBACA,IAAI,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAO,CAAC,OAAO,EAAE,CAAA;YAC/B,MAAM,KAAK,GACT,CAAC,CAAC,MAAO,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAM,CAAC,OAAO;gBACpC,CAAC,CAAC,qEAAqE;gBACvE,CAAC,CAAC,EAAE,CAAA;YACR,OAAO,WAAW,CAAC,CAAC,EAAE,KAAK,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,KAAM,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAM,CAAC,OAAO,EAAE,EAAE,CAAA;QACrI,CAAC;QACD;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,8HAA8H;AAC9H,MAAM,UAAU,QAAQ,CAAC,QAAiB,EAAE,IAAgB;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;IACxF,OAAO;QACL,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KACxD,CAAA;AACH,CAAC;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,MAAM,CAAC,KAAM,CAAC,OAAO,CAAA;QACnE,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,+IAA+I;YAC/I,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"}
1
+ {"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,EACL,OAAO,EACP,MAAM,EACN,aAAa,EACb,UAAU,EACV,UAAU,EACV,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,GACV,MAAM,iBAAiB,CAAA;AAExB,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,IAAI,MAAM,CAAC,OAAO;QAAE,UAAU,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;;QAClD,OAAO,UAAU,CAAC,OAAO,CAAA;IAC9B,IAAI,MAAM,CAAC,IAAI;QAAE,UAAU,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;;QACzC,OAAO,UAAU,CAAC,IAAI,CAAA;IAC3B,IAAI,MAAM,CAAC,IAAI;QAAE,UAAU,CAAC,IAAI,GAAG,IAAI,CAAA;;QAClC,OAAO,UAAU,CAAC,IAAI,CAAA;IAC3B,IAAI,MAAM,CAAC,OAAO;QAAE,UAAU,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAA;;QAClD,OAAO,UAAU,CAAC,OAAO,CAAA;IAC9B,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;IACpC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;CAC5D,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,2FAA2F;AAC3F,MAAM,UAAU,GAAG,CAAC,CAAa,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACjE,MAAM,GAAG,GAAG,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAChE,MAAM,GAAG,GAAG;QACV,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KAC5D,CAAA;IACD,OAAO,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAA;AAClD,CAAC,CAAA;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,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM;gBAC5B,CAAC,CAAC,CAAC,CAAC,MAAM;qBACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,KAAK,QAAQ;oBACZ,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,GAAG,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAM,CAAC,MAAM,CAAC,EAAE,CACvF;qBACA,IAAI,CAAC,KAAK,CAAC;gBAChB,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAO,CAAC,OAAO,EAAE,CAAA;YAC/B,MAAM,KAAK,GACT,CAAC,CAAC,MAAO,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,KAAM,CAAC,OAAO;gBACpC,CAAC,CAAC,qEAAqE;gBACvE,CAAC,CAAC,EAAE,CAAA;YACR,OAAO,WAAW,CAAC,CAAC,EAAE,KAAK,MAAM,GAAG,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,KAAM,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,KAAM,CAAC,OAAO,EAAE,EAAE,CAAA;QACrI,CAAC;QACD;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,8HAA8H;AAC9H,MAAM,UAAU,QAAQ,CAAC,QAAiB,EAAE,IAAgB;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAA;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;IACxF,OAAO;QACL,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KACxD,CAAA;AACH,CAAC;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,MAAM,CAAC,KAAM,CAAC,OAAO,CAAA;QACnE,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,+IAA+I;YAC/I,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,EAAE,CAAC;gBACpF,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;gBAC5C,GAAG,CAAC,MAAM,CACR,OAAO,EACP,OAAO,CAAC,EAAE,EACV,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EACjC,cAAc,EAAE,iCAAiC,EACjD,8NAA8N,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,uGAAuG,CAAC,CAAC,CAAC,EAAE,EAAE,EACjY;oBACE,OAAO,EAAE,SAAS,CAAC,MAAM;wBACvB,CAAC,CAAC,0BAA0B,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,kCAAkC,EAAE,EAAE;wBAC3H,CAAC,CAAC,6BAA6B,EAAE,EAAE;oBACrC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;oBACtC,KAAK,EAAE,IAAI;iBACZ,CACF,CAAA;YACH,CAAC;QACH,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/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@hozu/validator",
3
- "version": "0.27.0",
3
+ "version": "0.28.0",
4
4
  "description": "Hozu validator: structured diagnostics with fixes, contract runner and behaviour lock",
5
5
  "keywords": [
6
6
  "hozu",
@@ -40,8 +40,8 @@
40
40
  "access": "public"
41
41
  },
42
42
  "dependencies": {
43
- "@hozu/core": "0.27.0",
44
- "@hozu/compiler": "0.27.0"
43
+ "@hozu/core": "0.28.0",
44
+ "@hozu/compiler": "0.28.0"
45
45
  },
46
46
  "sideEffects": false
47
47
  }