@oxdeai/conformance 1.0.1 → 1.0.3

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 (13) hide show
  1. package/README.md +3 -2
  2. package/dist/scripts/extract-vectors.js +15 -10
  3. package/dist/scripts/extract-vectors.js.map +1 -1
  4. package/dist/src/validate.js +118 -11
  5. package/dist/src/validate.js.map +1 -1
  6. package/package.json +20 -3
  7. package/scripts/extract-vectors.ts +16 -10
  8. package/src/validate.ts +150 -10
  9. package/vectors/audit-chain.json +2 -2
  10. package/vectors/audit-verification.json +91 -0
  11. package/vectors/authorization-payload.json +5 -5
  12. package/vectors/envelope-verification.json +3 -3
  13. package/vectors/snapshot-hash.json +6 -6
package/README.md CHANGED
@@ -8,7 +8,7 @@ Conformance vectors and validator for the OxDeAI protocol.
8
8
  Passing validation means the implementation reproduces expected deterministic artifacts (hashes, statuses, and verification outputs) from frozen vectors.
9
9
 
10
10
  ## Version Coupling
11
- - `@oxdeai/conformance@1.0.0` targets protocol/core `1.0.0` behavior.
11
+ - `@oxdeai/conformance@1.0.2` targets protocol/core `1.0.2` behavior.
12
12
  - Use matching major/minor protocol versions when validating.
13
13
 
14
14
  ## Included Vector Sets
@@ -16,9 +16,10 @@ Passing validation means the implementation reproduces expected deterministic ar
16
16
  - `authorization-payload.json`
17
17
  - `snapshot-hash.json`
18
18
  - `audit-chain.json`
19
+ - `audit-verification.json`
19
20
  - `envelope-verification.json`
20
21
 
21
- Current validator assertion count: `40`.
22
+ Current validator assertion count: `50`.
22
23
 
23
24
  ## Usage
24
25
  From repo root:
package/dist/scripts/extract-vectors.js CHANGED
@@ -325,23 +325,28 @@ async function extractEnvelopeVerification() {
325
325
  snapshot: snapshotBytes,
326
326
  events
327
327
  });
328
+ const withCheckpointEvents = [
329
+ ...events,
330
+ {
331
+ type: "STATE_CHECKPOINT",
332
+ stateHash: snapCheck.stateHash,
333
+ timestamp: makeIntent(300n, 1730000000).timestamp,
334
+ policyId: engine.computePolicyId()
335
+ }
336
+ ];
328
337
  const withCheckpointBytes = encodeEnvelope({
329
338
  formatVersion: 1,
330
339
  snapshot: snapshotBytes,
331
- events: [
332
- ...events,
333
- {
334
- type: "STATE_CHECKPOINT",
335
- stateHash: snapCheck.stateHash,
336
- timestamp: makeIntent(300n, 1730000000).timestamp,
337
- policyId: engine.computePolicyId()
338
- }
339
- ]
340
+ events: withCheckpointEvents
340
341
  });
342
+ const mismatchedEvents = events.map((e) => ({
343
+ ...e,
344
+ policyId: "c".repeat(64)
345
+ }));
341
346
  const mismatchedPolicyBytes = encodeEnvelope({
342
347
  formatVersion: 1,
343
348
  snapshot: snapshotBytes,
344
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
349
+ events: mismatchedEvents
345
350
  });
346
351
  const corruptBytes = new Uint8Array([1, 2, 3, 4, 5]);
347
352
  const r1 = verifyEnvelope(withCheckpointBytes, {
package/dist/scripts/extract-vectors.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"extract-vectors.js","sourceRoot":"","sources":["../../scripts/extract-vectors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,cAAc,EACd,YAAY,EACb,MAAM,cAAc,CAAC;AAKtB,MAAM,cAAc,GAAG;IACrB,WAAW;IACX,UAAU;IACV,aAAa;IACb,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,eAAe;IACf,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,MAAM;IACN,WAAW;CACH,CAAC;AAEX,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAE,KAAiC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,IAAY;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IACnD,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EACxB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC9E,MAAM,CACP,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,aAAa,GAAG,aAAa,CAAC;AAEpC,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC;QACtB,cAAc,EAAE,QAAQ;QACxB,aAAa,EAAE,aAAa;QAC5B,yBAAyB,EAAE,EAAE;QAC7B,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACzB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS;IAChB,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,UAAU;QACrB,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1C,UAAU,EAAE,EAAE;QACd,MAAM,EAAE;YACN,YAAY,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;YACvC,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;SACnC;QACD,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/C,QAAQ,EAAE,EAAE;SACb;QACD,MAAM,EAAE;YACN,cAAc,EAAE,GAAG;YACnB,oBAAoB,EAAE,GAAG;YACzB,MAAM,EAAE,EAAE;SACX;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;SACjB;QACD,SAAS,EAAE;YACT,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;SAC5B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YAC5B,KAAK,EAAE,EAAE;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAa,EAAE,SAAiB,EAAE,KAA8B;IAClF,OAAO;QACL,SAAS,EAAE,UAAU,KAAK,CAAC,QAAQ,EAAE,EAAE;QACvC,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,QAAU;QAClB,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK;QACL,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,kBAAkB;QACxB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,SAAS;QACf,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB,EAAE,QAAgB;IAC/D,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,IAAI,CAAC,mBAAmB;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA+B;IAC9D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,GAAG,CAAC,KAAiB;IAC5B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,KAAK,UAAU,iBAAiB;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;KACT,CAAC;IACnB,MAAM,SAAS,GAAG,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;IAE7D,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,SAAoC,CAAC,CAAC,CAAC;IAE5F,WAAW,CAAC,kBAAkB,EAAE;QAC9B,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE;YAC9D,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE;YACxG;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,SAAS;gBAChB,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC;gBACnC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;gBACtB,SAAS,EAAE,wBAAwB;aACpC;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACxC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAE1C,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACpE,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAEjF,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAEjF,WAAW,CAAC,4BAA4B,EAAE;QACxC,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,aAAa;QAChC,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,kBAAkB;gBACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;gBACnC,QAAQ,EAAE;oBACR,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW;oBACzC,SAAS,EAAE,QAAQ;oBACnB,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,mBAAmB;oBAChD,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU;oBACvC,yBAAyB,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;oBACxF,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,gBAAgB;iBAC7C;aACF;YACD;gBACE,EAAE,EAAE,kBAAkB;gBACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1B,QAAQ,EAAE;oBACR,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW;oBACzC,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU;oBACvC,qBAAqB,EAAE,4CAA4C;oBACnE,yBAAyB,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;oBACxF,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,gBAAgB;iBAC7C;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,mBAAmB;IAChC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,mBAAwB,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,WAAW,CAAC,oBAAoB,EAAE;QAChC,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,mBAAmB;gBACvB,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE;oBACR,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC;oBAC5B,UAAU,EAAE,OAAO,CAAC,SAAS;iBAC9B;aACF;YACD;gBACE,EAAE,EAAE,mBAAmB;gBACvB,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE;oBACR,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC;oBAC5B,UAAU,EAAE,OAAO,CAAC,SAAS;oBAC7B,uBAAuB,EAAE,oBAAoB;iBAC9C;aACF;YACD;gBACE,EAAE,EAAE,mBAAmB;gBACvB,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC;gBAClC,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE;gBAC3C,SAAS,EAAE,0BAA0B;aACtC;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,iBAAiB;IAC9B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAExF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAEpF,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAErB,MAAM,OAAO,GAAG,aAAa,CAAC,qBAAqB,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,OAAO,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAE9D,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9C,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,OAAO,KAAK,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAE/E,WAAW,CAAC,kBAAkB,EAAE;QAC9B,OAAO,EAAE,OAAO;QAChB,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,MAAM;QACjB,UAAU,EAAE,2DAA2D;QACvE,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,qBAAqB;gBAC5B,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE;aACnC;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,iBAAiB,EAAE,aAAa,CAAC,EAAE,CAAC,EAAE;gBAC7E,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;aAC5B;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;gBACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE;aAC1D;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;gBAC5E,QAAQ,EAAE;oBACR,eAAe,EAAE,KAAK;oBACtB,cAAc,EAAE,aAAa;oBAC7B,8BAA8B,EAAE,IAAI;iBACrC;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACxC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAE1B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAErF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChG,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAEvG,MAAM,kBAAkB,GAAG,cAAc,CAAC;QACxC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM;KACP,CAAC,CAAC;IAEH,MAAM,mBAAmB,GAAG,cAAc,CAAC;QACzC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE;YACN,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,kBAAkB;gBACxB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,SAAS;gBACjD,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE;aACnC;SACF;KACF,CAAC,CAAC;IAEH,MAAM,qBAAqB,GAAG,cAAc,CAAC;QAC3C,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KAChE,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAErD,MAAM,EAAE,GAAG,cAAc,CAAC,mBAAmB,EAAE;QAC7C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,kBAAkB,EAAE;QAC5C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,qBAAqB,EAAE;QAC/C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,EAAE;QACtC,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,kBAAkB,EAAE;QAC5C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IAEH,WAAW,CAAC,4BAA4B,EAAE;QACxC,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,wCAAwC;gBACrD,QAAQ,EAAE;oBACR,MAAM,EAAE,EAAE,CAAC,MAAM;oBACjB,QAAQ,EAAE,EAAE,CAAC,QAAQ;oBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,aAAa,EAAE,EAAE,CAAC,aAAa;oBAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;iBAC1B;aACF;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,0CAA0C;gBACvD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,6BAA6B;gBAC1C,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,kCAAkC;gBAC/C,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,+CAA+C;gBAC5D,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;IACzE,MAAM,iBAAiB,EAAE,CAAC;IAC1B,MAAM,2BAA2B,EAAE,CAAC;IACpC,MAAM,mBAAmB,EAAE,CAAC;IAC5B,MAAM,iBAAiB,EAAE,CAAC;IAC1B,MAAM,2BAA2B,EAAE,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;IACnB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}
1
+ {"version":3,"file":"extract-vectors.js","sourceRoot":"","sources":["../../scripts/extract-vectors.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,cAAc,EACd,YAAY,EACb,MAAM,cAAc,CAAC;AAMtB,MAAM,cAAc,GAAG;IACrB,WAAW;IACX,UAAU;IACV,aAAa;IACb,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,eAAe;IACf,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,MAAM;IACN,WAAW;CACH,CAAC;AAEX,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAE,KAAiC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,IAAY;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IACnD,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EACxB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC9E,MAAM,CACP,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,aAAa,GAAG,aAAa,CAAC;AAEpC,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC;QACtB,cAAc,EAAE,QAAQ;QACxB,aAAa,EAAE,aAAa;QAC5B,yBAAyB,EAAE,EAAE;QAC7B,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACzB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS;IAChB,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,UAAU;QACrB,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1C,UAAU,EAAE,EAAE;QACd,MAAM,EAAE;YACN,YAAY,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;YACvC,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;SACnC;QACD,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/C,QAAQ,EAAE,EAAE;SACb;QACD,MAAM,EAAE;YACN,cAAc,EAAE,GAAG;YACnB,oBAAoB,EAAE,GAAG;YACzB,MAAM,EAAE,EAAE;SACX;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;SACjB;QACD,SAAS,EAAE;YACT,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;SAC5B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YAC5B,KAAK,EAAE,EAAE;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAa,EAAE,SAAiB,EAAE,KAA8B;IAClF,OAAO;QACL,SAAS,EAAE,UAAU,KAAK,CAAC,QAAQ,EAAE,EAAE;QACvC,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,QAAU;QAClB,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK;QACL,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,kBAAkB;QACxB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,SAAS;QACf,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB,EAAE,QAAgB;IAC/D,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,IAAI,CAAC,mBAAmB;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA+B;IAC9D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,GAAG,CAAC,KAAiB;IAC5B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,KAAK,UAAU,iBAAiB;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG;QAChB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;KACT,CAAC;IACnB,MAAM,SAAS,GAAG,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;IAE7D,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,iBAAiB,CAAC,uBAAuB,CAAC,SAAoC,CAAC,CAAC,CAAC;IAE5F,WAAW,CAAC,kBAAkB,EAAE;QAC9B,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE;YAC9D,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE;YACxG;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,SAAS;gBAChB,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC;gBACnC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;gBACtB,SAAS,EAAE,wBAAwB;aACpC;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACxC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAE1C,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACpE,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAEjF,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAEjF,WAAW,CAAC,4BAA4B,EAAE;QACxC,OAAO,EAAE,OAAO;QAChB,WAAW,EAAE,EAAE;QACf,iBAAiB,EAAE,aAAa;QAChC,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,kBAAkB;gBACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;gBACnC,QAAQ,EAAE;oBACR,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW;oBACzC,SAAS,EAAE,QAAQ;oBACnB,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,mBAAmB;oBAChD,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU;oBACvC,yBAAyB,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;oBACxF,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,gBAAgB;iBAC7C;aACF;YACD;gBACE,EAAE,EAAE,kBAAkB;gBACtB,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1B,QAAQ,EAAE;oBACR,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW;oBACzC,UAAU,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU;oBACvC,qBAAqB,EAAE,4CAA4C;oBACnE,yBAAyB,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;oBACxF,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,gBAAgB;iBAC7C;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,mBAAmB;IAChC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,mBAAwB,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEzG,WAAW,CAAC,oBAAoB,EAAE;QAChC,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,mBAAmB;gBACvB,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE;oBACR,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC;oBAC5B,UAAU,EAAE,OAAO,CAAC,SAAS;iBAC9B;aACF;YACD;gBACE,EAAE,EAAE,mBAAmB;gBACvB,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE;oBACR,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC;oBAC5B,UAAU,EAAE,OAAO,CAAC,SAAS;oBAC7B,uBAAuB,EAAE,oBAAoB;iBAC9C;aACF;YACD;gBACE,EAAE,EAAE,mBAAmB;gBACvB,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC;gBAClC,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE;gBAC3C,SAAS,EAAE,0BAA0B;aACtC;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,iBAAiB;IAC9B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAExF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAEpF,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAErB,MAAM,OAAO,GAAG,aAAa,CAAC,qBAAqB,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,OAAO,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAE9D,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9C,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,OAAO,KAAK,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAE/E,WAAW,CAAC,kBAAkB,EAAE;QAC9B,OAAO,EAAE,OAAO;QAChB,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,MAAM;QACjB,UAAU,EAAE,2DAA2D;QACvE,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,qBAAqB;gBAC5B,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE;aACnC;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,iBAAiB,EAAE,aAAa,CAAC,EAAE,CAAC,EAAE;gBAC7E,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;aAC5B;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE;gBACxC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE;aAC1D;YACD;gBACE,EAAE,EAAE,iBAAiB;gBACrB,KAAK,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE;gBAC5E,QAAQ,EAAE;oBACR,eAAe,EAAE,KAAK;oBACtB,cAAc,EAAE,aAAa;oBAC7B,8BAA8B,EAAE,IAAI;iBACrC;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACxC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;IAE1B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAErF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,aAAa,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChG,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAEvG,MAAM,kBAAkB,GAAG,cAAc,CAAC;QACxC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM;KACP,CAAC,CAAC;IAEH,MAAM,oBAAoB,GAAoB;QAC5C,GAAG,MAAM;QACT;YACE,IAAI,EAAE,kBAA2B;YACjC,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,SAAS,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,SAAS;YACjD,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE;SACnC;KACF,CAAC;IACF,MAAM,mBAAmB,GAAG,cAAc,CAAC;QACzC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,oBAAoB;KAC7B,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,GAAG,CAAC;QACJ,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACzB,CAAC,CAAC,CAAC;IAEJ,MAAM,qBAAqB,GAAG,cAAc,CAAC;QAC3C,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,gBAAgB;KACzB,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAErD,MAAM,EAAE,GAAG,cAAc,CAAC,mBAAmB,EAAE;QAC7C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,kBAAkB,EAAE;QAC5C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,qBAAqB,EAAE;QAC/C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,EAAE;QACtC,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,aAAa;KACpB,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,cAAc,CAAC,kBAAkB,EAAE;QAC5C,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;QAC1C,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IAEH,WAAW,CAAC,4BAA4B,EAAE;QACxC,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE;YACP;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,wCAAwC;gBACrD,QAAQ,EAAE;oBACR,MAAM,EAAE,EAAE,CAAC,MAAM;oBACjB,QAAQ,EAAE,EAAE,CAAC,QAAQ;oBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,aAAa,EAAE,EAAE,CAAC,aAAa;oBAC/B,UAAU,EAAE,EAAE,CAAC,UAAU;iBAC1B;aACF;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,0CAA0C;gBACvD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,6BAA6B;gBAC1C,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,kCAAkC;gBAC/C,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;YACD;gBACE,EAAE,EAAE,cAAc;gBAClB,WAAW,EAAE,+CAA+C;gBAC5D,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3D;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,OAAO,CAAC,GAAG,CAAC,2DAA2D,CAAC,CAAC;IACzE,MAAM,iBAAiB,EAAE,CAAC;IAC1B,MAAM,2BAA2B,EAAE,CAAC;IACpC,MAAM,mBAAmB,EAAE,CAAC;IAC5B,MAAM,iBAAiB,EAAE,CAAC;IAC1B,MAAM,2BAA2B,EAAE,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;IACnB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}
package/dist/src/validate.js CHANGED
@@ -1,7 +1,7 @@
1
1
  import { readFileSync } from "node:fs";
2
2
  import { resolve } from "node:path";
3
3
  import { createHash } from "node:crypto";
4
- import { encodeCanonicalState, encodeEnvelope, PolicyEngine, sha256HexFromJson, verifyEnvelope, verifySnapshot } from "@oxdeai/core";
4
+ import { encodeCanonicalState, encodeEnvelope, PolicyEngine, sha256HexFromJson, verifyAuditEvents, verifyEnvelope, verifySnapshot } from "@oxdeai/core";
5
5
  const CORE_ENGINE_SECRET = "test-secret";
6
6
  const CORE_POLICY_ID = "a".repeat(64);
7
7
  const INTENT_BINDING_FIELDS = [
@@ -189,6 +189,9 @@ const coreAdapter = {
189
189
  verifySnapshot(bytes, expectedPolicyId) {
190
190
  return verifySnapshot(bytes, expectedPolicyId ? { expectedPolicyId } : undefined);
191
191
  },
192
+ verifyAuditEvents(events, opts) {
193
+ return verifyAuditEvents(events, opts);
194
+ },
192
195
  verifyEnvelope
193
196
  };
194
197
  function loadJson(name) {
@@ -331,23 +334,28 @@ function buildEnvelopeCases(adapter) {
331
334
  if (snap.status !== "ok" || !snap.stateHash)
332
335
  throw new Error("failed to build envelope cases");
333
336
  const valid = encodeEnvelope({ formatVersion: 1, snapshot: snapshotBytes, events });
337
+ const withCheckpointEvents = [
338
+ ...events,
339
+ {
340
+ type: "STATE_CHECKPOINT",
341
+ stateHash: snap.stateHash,
342
+ timestamp: intent.timestamp,
343
+ policyId: engine.computePolicyId()
344
+ }
345
+ ];
334
346
  const withCheckpoint = encodeEnvelope({
335
347
  formatVersion: 1,
336
348
  snapshot: snapshotBytes,
337
- events: [
338
- ...events,
339
- {
340
- type: "STATE_CHECKPOINT",
341
- stateHash: snap.stateHash,
342
- timestamp: intent.timestamp,
343
- policyId: engine.computePolicyId()
344
- }
345
- ]
349
+ events: withCheckpointEvents
346
350
  });
351
+ const mismatchedEvents = events.map((e) => ({
352
+ ...e,
353
+ policyId: "c".repeat(64)
354
+ }));
347
355
  const mismatched = encodeEnvelope({
348
356
  formatVersion: 1,
349
357
  snapshot: snapshotBytes,
350
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
358
+ events: mismatchedEvents
351
359
  });
352
360
  const corrupt = new Uint8Array([1, 2, 3, 4, 5]);
353
361
  return [
@@ -375,6 +383,104 @@ function validateEnvelopeVectors(ctx, adapter) {
375
383
  eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
376
384
  }
377
385
  }
386
+ function buildAuditVerificationCases(adapter) {
387
+ const expectedPolicyId = "a".repeat(64);
388
+ const mismatchPolicyId = "b".repeat(64);
389
+ const altPolicyId = "c".repeat(64);
390
+ const policyMismatch = adapter.verifyAuditEvents([
391
+ {
392
+ type: "INTENT_RECEIVED",
393
+ intent_hash: "11".repeat(32),
394
+ agent_id: "agent-1",
395
+ timestamp: 100,
396
+ policyId: mismatchPolicyId
397
+ }
398
+ ], { expectedPolicyId, mode: "best-effort" });
399
+ const nonMonotonic = adapter.verifyAuditEvents([
400
+ {
401
+ type: "INTENT_RECEIVED",
402
+ intent_hash: "22".repeat(32),
403
+ agent_id: "agent-1",
404
+ timestamp: 200,
405
+ policyId: expectedPolicyId
406
+ },
407
+ {
408
+ type: "DECISION",
409
+ intent_hash: "22".repeat(32),
410
+ decision: "ALLOW",
411
+ reasons: [],
412
+ policy_version: "v1",
413
+ timestamp: 100,
414
+ policyId: expectedPolicyId
415
+ }
416
+ ], { mode: "best-effort" });
417
+ const mixedPolicy = adapter.verifyAuditEvents([
418
+ {
419
+ type: "INTENT_RECEIVED",
420
+ intent_hash: "33".repeat(32),
421
+ agent_id: "agent-1",
422
+ timestamp: 100,
423
+ policyId: expectedPolicyId
424
+ },
425
+ {
426
+ type: "DECISION",
427
+ intent_hash: "33".repeat(32),
428
+ decision: "ALLOW",
429
+ reasons: [],
430
+ policy_version: "v1",
431
+ timestamp: 100,
432
+ policyId: mismatchPolicyId
433
+ }
434
+ ], { mode: "best-effort" });
435
+ const strictMissingAnchor = adapter.verifyAuditEvents([
436
+ {
437
+ type: "INTENT_RECEIVED",
438
+ intent_hash: "44".repeat(32),
439
+ agent_id: "agent-1",
440
+ timestamp: 100,
441
+ policyId: expectedPolicyId
442
+ },
443
+ {
444
+ type: "DECISION",
445
+ intent_hash: "44".repeat(32),
446
+ decision: "ALLOW",
447
+ reasons: [],
448
+ policy_version: "v1",
449
+ timestamp: 100,
450
+ policyId: expectedPolicyId
451
+ }
452
+ ], { mode: "strict" });
453
+ const orderingCase = adapter.verifyAuditEvents([
454
+ {
455
+ type: "INTENT_RECEIVED",
456
+ intent_hash: "55".repeat(32),
457
+ agent_id: "agent-1",
458
+ timestamp: 300,
459
+ policyId: altPolicyId
460
+ },
461
+ {
462
+ type: "DECISION",
463
+ intent_hash: "55".repeat(32),
464
+ decision: "ALLOW",
465
+ reasons: [],
466
+ policy_version: "v1",
467
+ timestamp: 100,
468
+ policyId: mismatchPolicyId
469
+ }
470
+ ], { expectedPolicyId, mode: "strict" });
471
+ return [policyMismatch, nonMonotonic, mixedPolicy, strictMissingAnchor, orderingCase];
472
+ }
473
+ function validateAuditVerificationVectors(ctx, adapter) {
474
+ const file = loadJson("audit-verification.json");
475
+ const actual = buildAuditVerificationCases(adapter);
476
+ for (let i = 0; i < file.vectors.length; i++) {
477
+ const id = String(file.vectors[i].id);
478
+ const expected = asRecord(file.vectors[i].expected);
479
+ const got = actual[i];
480
+ eq(ctx, `${id} status`, got.status, String(expected.status));
481
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
482
+ }
483
+ }
378
484
  function main() {
379
485
  const ctx = { failures: [], passed: 0 };
380
486
  const adapter = coreAdapter;
@@ -383,6 +489,7 @@ function main() {
383
489
  validateAuthorizationVectors(ctx, adapter);
384
490
  validateSnapshotVectors(ctx, adapter);
385
491
  validateAuditChainVectors(ctx, adapter);
492
+ validateAuditVerificationVectors(ctx, adapter);
386
493
  validateEnvelopeVectors(ctx, adapter);
387
494
  if (ctx.failures.length > 0) {
388
495
  console.error(`\nConformance failed: ${ctx.failures.length} assertion(s)`);
package/dist/src/validate.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,cAAc,EACf,MAAM,cAAc,CAAC;AAsBtB,MAAM,kBAAkB,GAAG,aAAa,CAAC;AACzC,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACtC,MAAM,qBAAqB,GAAG;IAC5B,WAAW;IACX,UAAU;IACV,aAAa;IACb,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,eAAe;IACf,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,MAAM;IACN,WAAW;CACH,CAAC;AAEX,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC;QACtB,cAAc,EAAE,QAAQ;QACxB,aAAa,EAAE,kBAAkB;QACjC,yBAAyB,EAAE,EAAE;QAC7B,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,UAAU;QACrB,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1C,UAAU,EAAE,EAAE;QACd,MAAM,EAAE;YACN,YAAY,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;YACvC,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;SACnC;QACD,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/C,QAAQ,EAAE,EAAE;SACb;QACD,MAAM,EAAE;YACN,cAAc,EAAE,GAAG;YACnB,oBAAoB,EAAE,GAAG;YACzB,MAAM,EAAE,EAAE;SACX;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;SACjB;QACD,SAAS,EAAE;YACT,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;SAC5B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YAC5B,KAAK,EAAE,EAAE;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAmB,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAE7D,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAA0B;QAC3D,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;QACtC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,SAAS,EAAE,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;KACxE,CAAC;IAEF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,SAAS;YACf,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,SAAS;QACf,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAEzD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAEhE,MAAM,cAAc,GAAG,CAAC,GAAe,EAA0B,EAAE;QACjE,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChD,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEtC,KAAK,CAAC,WAAW,GAAG;QAClB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;QAC/C,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAA4B;KAC5E,CAAC;IACF,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAwB,CAAC;IACjE,KAAK,CAAC,MAAM,GAAG;QACb,YAAY,EAAE,cAAc,CAAC,YAAY,CAAC;QAC1C,eAAe,EAAE,cAAc,CAAC,eAAe,CAAC;KACjD,CAAC;IACF,KAAK,CAAC,qBAAqB,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAC;IACpE,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAsB,CAAC;IAC3D,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAoB,CAAC;IACrD,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IACpE,KAAK,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAuB,CAAC;IAC9D,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IAEpE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,WAAW,GAAuB;IACtC,IAAI,EAAE,cAAc;IACpB,aAAa;IACb,UAAU,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAA4C,CAAC;QACzD,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAChD,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,qBAAqB,CAAC,MAAc;QAClC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,KAAY;QACzB,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,EAAE,KAAK,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IACvF,CAAC;IACD,cAAc,CAAC,KAAiB,EAAE,gBAAyB;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC;IACD,cAAc;CACf,CAAC;AAEF,SAAS,QAAQ,CAAI,IAAY;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAM,CAAC;AAClD,CAAC;AASD,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,EAAE,CAAC,GAAa,EAAE,KAAa,EAAE,MAAe,EAAE,QAAiB;IAC1E,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;QACjB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3F,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,4BAA4B,CAAC,GAAa,EAAE,OAA2B;IAC9E,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAEhE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,EAAE,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACtF,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAEnF,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;YACpC,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,aAAa,CAAC,mBAAmB;SAC9C,CAAC,CAAC;QACH,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,4BAA4B,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAChG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,aAAa,CAAC,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,oBAAoB,CAAC,CAAC;IAExD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,kBAAkB,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;YAC1G,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;YAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAEtC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,EAAE,CAAC,GAAG,EAAE,yBAAyB,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAEvF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACtB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/E,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAI,EAAE,CAAC,MAAoB,IAAI,EAAE,CAAC;IAC9C,IAAI,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,GAAG,aAAa,CAAC,GAAG,IAAI,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC;IAC/B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,iCAAiC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,EAAE,CAAC,GAAG,EAAE,gCAAgC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC/E,EAAE,CAAC,GAAG,EAAE,6BAA6B,EAAE,QAAQ,KAAK,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA2B;IACrD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,SAAS,EAAE,YAAY;QACvB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,UAAU;QACrB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,kBAAkB;QACxB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAEnF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAE/F,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,MAAM,cAAc,GAAG,cAAc,CAAC;QACpC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE;YACN,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,kBAAkB;gBACxB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE;aACnC;SACF;KACF,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,cAAc,CAAC;QAChC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KAChE,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhD,OAAO;QACL,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAClG,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACvG,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACpG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEtB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxG,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5G,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5H,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,IAAI;IACX,MAAM,GAAG,GAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,WAAW,CAAC;IAE5B,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAEnE,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,4BAA4B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3C,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAEtC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,CAAC,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yBAAyB,GAAG,CAAC,MAAM,aAAa,CAAC,CAAC;AAChE,CAAC;AAED,IAAI,EAAE,CAAC"}
1
+ {"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,cAAc,EACf,MAAM,cAAc,CAAC;AA4BtB,MAAM,kBAAkB,GAAG,aAAa,CAAC;AACzC,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACtC,MAAM,qBAAqB,GAAG;IAC5B,WAAW;IACX,UAAU;IACV,aAAa;IACb,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,eAAe;IACf,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,MAAM;IACN,WAAW;CACH,CAAC;AAEX,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC;QACtB,cAAc,EAAE,QAAQ;QACxB,aAAa,EAAE,kBAAkB;QACjC,yBAAyB,EAAE,EAAE;QAC7B,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,UAAU;QACrB,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1C,UAAU,EAAE,EAAE;QACd,MAAM,EAAE;YACN,YAAY,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;YACvC,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;SACnC;QACD,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/C,QAAQ,EAAE,EAAE;SACb;QACD,MAAM,EAAE;YACN,cAAc,EAAE,GAAG;YACnB,oBAAoB,EAAE,GAAG;YACzB,MAAM,EAAE,EAAE;SACX;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;SACjB;QACD,SAAS,EAAE;YACT,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;SAC5B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YAC5B,KAAK,EAAE,EAAE;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAmB,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAE7D,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAA0B;QAC3D,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;QACtC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,SAAS,EAAE,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;KACxE,CAAC;IAEF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,SAAS;YACf,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,SAAS;QACf,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAEzD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAEhE,MAAM,cAAc,GAAG,CAAC,GAAe,EAA0B,EAAE;QACjE,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChD,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEtC,KAAK,CAAC,WAAW,GAAG;QAClB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;QAC/C,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAA4B;KAC5E,CAAC;IACF,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAwB,CAAC;IACjE,KAAK,CAAC,MAAM,GAAG;QACb,YAAY,EAAE,cAAc,CAAC,YAAY,CAAC;QAC1C,eAAe,EAAE,cAAc,CAAC,eAAe,CAAC;KACjD,CAAC;IACF,KAAK,CAAC,qBAAqB,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAC;IACpE,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAsB,CAAC;IAC3D,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAoB,CAAC;IACrD,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IACpE,KAAK,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAuB,CAAC;IAC9D,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IAEpE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,WAAW,GAAuB;IACtC,IAAI,EAAE,cAAc;IACpB,aAAa;IACb,UAAU,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAA4C,CAAC;QACzD,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAChD,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,qBAAqB,CAAC,MAAc;QAClC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,KAAY;QACzB,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,EAAE,KAAK,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IACvF,CAAC;IACD,cAAc,CAAC,KAAiB,EAAE,gBAAyB;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC;IACD,iBAAiB,CAAC,MAAM,EAAE,IAAI;QAC5B,OAAO,iBAAiB,CAAC,MAAa,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,cAAc;CACf,CAAC;AAEF,SAAS,QAAQ,CAAI,IAAY;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAM,CAAC;AAClD,CAAC;AASD,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,EAAE,CAAC,GAAa,EAAE,KAAa,EAAE,MAAe,EAAE,QAAiB;IAC1E,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;QACjB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3F,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,4BAA4B,CAAC,GAAa,EAAE,OAA2B;IAC9E,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAEhE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,EAAE,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACtF,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAEnF,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;YACpC,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,aAAa,CAAC,mBAAmB;SAC9C,CAAC,CAAC;QACH,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,4BAA4B,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAChG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,aAAa,CAAC,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,oBAAoB,CAAC,CAAC;IAExD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,kBAAkB,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;YAC1G,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;YAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAEtC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,EAAE,CAAC,GAAG,EAAE,yBAAyB,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAEvF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACtB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/E,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAI,EAAE,CAAC,MAAoB,IAAI,EAAE,CAAC;IAC9C,IAAI,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,GAAG,aAAa,CAAC,GAAG,IAAI,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC;IAC/B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,iCAAiC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,EAAE,CAAC,GAAG,EAAE,gCAAgC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC/E,EAAE,CAAC,GAAG,EAAE,6BAA6B,EAAE,QAAQ,KAAK,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA2B;IACrD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,SAAS,EAAE,YAAY;QACvB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,UAAU;QACrB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,kBAAkB;QACxB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAEnF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAE/F,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,MAAM,oBAAoB,GAAoB;QAC5C,GAAG,MAAM;QACT;YACE,IAAI,EAAE,kBAA2B;YACjC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE;SACnC;KACF,CAAC;IACF,MAAM,cAAc,GAAG,cAAc,CAAC;QACpC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,oBAAoB;KAC7B,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,GAAG,CAAC;QACJ,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KACzB,CAAC,CAAC,CAAC;IACJ,MAAM,UAAU,GAAG,cAAc,CAAC;QAChC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,gBAAgB;KACzB,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhD,OAAO;QACL,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAClG,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACvG,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACpG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEtB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxG,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5G,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5H,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,OAA2B;IAE3B,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,gBAAgB,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAEnC,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAC9C;QACE;YACE,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;KACF,EACD,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,CAC1C,CAAC;IAEF,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAC5C;QACE;YACE,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,EAAE;YACX,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;KACF,EACD,EAAE,IAAI,EAAE,aAAa,EAAE,CACxB,CAAC;IAEF,MAAM,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAC3C;QACE;YACE,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,EAAE;YACX,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;KACF,EACD,EAAE,IAAI,EAAE,aAAa,EAAE,CACxB,CAAC;IAEF,MAAM,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CACnD;QACE;YACE,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,EAAE;YACX,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;KACF,EACD,EAAE,IAAI,EAAE,QAAQ,EAAE,CACnB,CAAC;IAEF,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAC5C;QACE;YACE,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,WAAW;SACtB;QACD;YACE,IAAI,EAAE,UAAU;YAChB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,EAAE;YACX,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,gBAAgB;SAC3B;KACF,EACD,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,CACrC,CAAC;IAEF,OAAO,CAAC,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,mBAAmB,EAAE,YAAY,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,gCAAgC,CAAC,GAAa,EAAE,OAA2B;IAClF,MAAM,IAAI,GAAG,QAAQ,CAAa,yBAAyB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IAEpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,IAAI;IACX,MAAM,GAAG,GAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,WAAW,CAAC;IAE5B,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAEnE,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,4BAA4B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3C,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,gCAAgC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/C,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAEtC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,CAAC,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yBAAyB,GAAG,CAAC,MAAM,aAAa,CAAC,CAAC;AAChE,CAAC;AAED,IAAI,EAAE,CAAC"}
package/package.json CHANGED
@@ -1,20 +1,37 @@
1
1
  {
2
2
  "name": "@oxdeai/conformance",
3
- "version": "1.0.1",
3
+ "version": "1.0.3",
4
4
  "description": "Conformance test suite for OxDeAI Core implementations, ensuring compliance with the deterministic policy engine protocol through standardized test cases and validation tools.",
5
5
  "license": "Apache-2.0",
6
+ "keywords": [
7
+ "oxdeai",
8
+ "conformance",
9
+ "protocol",
10
+ "verification",
11
+ "deterministic",
12
+ "test-vectors",
13
+ "compliance",
14
+ "audit",
15
+ "snapshot",
16
+ "envelope"
17
+ ],
6
18
  "type": "module",
7
19
  "scripts": {
8
20
  "build": "tsc -p tsconfig.json",
9
21
  "extract": "pnpm build && node dist/scripts/extract-vectors.js",
10
- "validate": "pnpm build && node dist/src/validate.js"
22
+ "validate": "pnpm -C ../core build && pnpm build && node dist/src/validate.js"
11
23
  },
12
24
  "dependencies": {
13
- "@oxdeai/core": "^1.0.1"
25
+ "@oxdeai/core": "workspace:*"
14
26
  },
15
27
  "devDependencies": {
16
28
  "ts-node": "^10.9.0",
17
29
  "tsx": "^4.21.0",
18
30
  "typescript": "^5.0.0"
31
+ },
32
+ "publishConfig": {
33
+ "dependencies": {
34
+ "@oxdeai/core": "^1.0.3"
35
+ }
19
36
  }
20
37
  }
package/scripts/extract-vectors.ts CHANGED
@@ -18,6 +18,7 @@ import {
18
18
  } from "@oxdeai/core";
19
19
  import type { Intent, State, Authorization } from "@oxdeai/core";
20
20
  type ExecuteIntent = Extract<Intent, { type?: "EXECUTE" }>;
21
+ type EnvelopeEvent = Parameters<typeof encodeEnvelope>[0]["events"][number];
21
22
 
22
23
  type JsonValue = string | number | boolean | null | JsonValue[] | { [k: string]: JsonValue };
23
24
  const BINDING_FIELDS = [
@@ -363,24 +364,29 @@ async function extractEnvelopeVerification(): Promise<void> {
363
364
  events
364
365
  });
365
366
 
367
+ const withCheckpointEvents: EnvelopeEvent[] = [
368
+ ...events,
369
+ {
370
+ type: "STATE_CHECKPOINT" as const,
371
+ stateHash: snapCheck.stateHash,
372
+ timestamp: makeIntent(300n, 1730000000).timestamp,
373
+ policyId: engine.computePolicyId()
374
+ }
375
+ ];
366
376
  const withCheckpointBytes = encodeEnvelope({
367
377
  formatVersion: 1,
368
378
  snapshot: snapshotBytes,
369
- events: [
370
- ...events,
371
- {
372
- type: "STATE_CHECKPOINT",
373
- stateHash: snapCheck.stateHash,
374
- timestamp: makeIntent(300n, 1730000000).timestamp,
375
- policyId: engine.computePolicyId()
376
- }
377
- ]
379
+ events: withCheckpointEvents
378
380
  });
381
+ const mismatchedEvents: EnvelopeEvent[] = events.map((e) => ({
382
+ ...e,
383
+ policyId: "c".repeat(64)
384
+ }));
379
385
 
380
386
  const mismatchedPolicyBytes = encodeEnvelope({
381
387
  formatVersion: 1,
382
388
  snapshot: snapshotBytes,
383
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
389
+ events: mismatchedEvents
384
390
  });
385
391
 
386
392
  const corruptBytes = new Uint8Array([1, 2, 3, 4, 5]);
package/src/validate.ts CHANGED
@@ -6,6 +6,7 @@ import {
6
6
  encodeEnvelope,
7
7
  PolicyEngine,
8
8
  sha256HexFromJson,
9
+ verifyAuditEvents,
9
10
  verifyEnvelope,
10
11
  verifySnapshot
11
12
  } from "@oxdeai/core";
@@ -20,6 +21,8 @@ type AuthorizationLike = {
20
21
  engine_signature: string;
21
22
  };
22
23
 
24
+ type EnvelopeEvent = Parameters<typeof encodeEnvelope>[0]["events"][number];
25
+
23
26
  type ConformanceAdapter = {
24
27
  name: string;
25
28
  canonicalJson(value: unknown): string;
@@ -27,6 +30,10 @@ type ConformanceAdapter = {
27
30
  evaluateAuthorization(intent: Intent): { authorization: AuthorizationLike; policyId: string };
28
31
  encodeSnapshot(state: State): { bytes: Uint8Array; policyId: string };
29
32
  verifySnapshot(bytes: Uint8Array, expectedPolicyId?: string): VerificationResult;
33
+ verifyAuditEvents(
34
+ events: unknown[],
35
+ opts?: { expectedPolicyId?: string; mode?: "strict" | "best-effort"; requireStateAnchors?: boolean }
36
+ ): VerificationResult;
30
37
  verifyEnvelope(bytes: Uint8Array, opts?: { expectedPolicyId?: string; mode?: "strict" | "best-effort" }): VerificationResult;
31
38
  };
32
39
 
@@ -230,6 +237,9 @@ const coreAdapter: ConformanceAdapter = {
230
237
  verifySnapshot(bytes: Uint8Array, expectedPolicyId?: string): VerificationResult {
231
238
  return verifySnapshot(bytes, expectedPolicyId ? { expectedPolicyId } : undefined);
232
239
  },
240
+ verifyAuditEvents(events, opts) {
241
+ return verifyAuditEvents(events as any, opts);
242
+ },
233
243
  verifyEnvelope
234
244
  };
235
245
 
@@ -398,23 +408,28 @@ function buildEnvelopeCases(adapter: ConformanceAdapter): Array<{ status: string
398
408
  if (snap.status !== "ok" || !snap.stateHash) throw new Error("failed to build envelope cases");
399
409
 
400
410
  const valid = encodeEnvelope({ formatVersion: 1, snapshot: snapshotBytes, events });
411
+ const withCheckpointEvents: EnvelopeEvent[] = [
412
+ ...events,
413
+ {
414
+ type: "STATE_CHECKPOINT" as const,
415
+ stateHash: snap.stateHash,
416
+ timestamp: intent.timestamp,
417
+ policyId: engine.computePolicyId()
418
+ }
419
+ ];
401
420
  const withCheckpoint = encodeEnvelope({
402
421
  formatVersion: 1,
403
422
  snapshot: snapshotBytes,
404
- events: [
405
- ...events,
406
- {
407
- type: "STATE_CHECKPOINT",
408
- stateHash: snap.stateHash,
409
- timestamp: intent.timestamp,
410
- policyId: engine.computePolicyId()
411
- }
412
- ]
423
+ events: withCheckpointEvents
413
424
  });
425
+ const mismatchedEvents: EnvelopeEvent[] = events.map((e) => ({
426
+ ...e,
427
+ policyId: "c".repeat(64)
428
+ }));
414
429
  const mismatched = encodeEnvelope({
415
430
  formatVersion: 1,
416
431
  snapshot: snapshotBytes,
417
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
432
+ events: mismatchedEvents
418
433
  });
419
434
  const corrupt = new Uint8Array([1, 2, 3, 4, 5]);
420
435
 
@@ -444,6 +459,130 @@ function validateEnvelopeVectors(ctx: CheckCtx, adapter: ConformanceAdapter): vo
444
459
  }
445
460
  }
446
461
 
462
+ function buildAuditVerificationCases(
463
+ adapter: ConformanceAdapter
464
+ ): Array<{ status: string; violations: unknown[] }> {
465
+ const expectedPolicyId = "a".repeat(64);
466
+ const mismatchPolicyId = "b".repeat(64);
467
+ const altPolicyId = "c".repeat(64);
468
+
469
+ const policyMismatch = adapter.verifyAuditEvents(
470
+ [
471
+ {
472
+ type: "INTENT_RECEIVED",
473
+ intent_hash: "11".repeat(32),
474
+ agent_id: "agent-1",
475
+ timestamp: 100,
476
+ policyId: mismatchPolicyId
477
+ }
478
+ ],
479
+ { expectedPolicyId, mode: "best-effort" }
480
+ );
481
+
482
+ const nonMonotonic = adapter.verifyAuditEvents(
483
+ [
484
+ {
485
+ type: "INTENT_RECEIVED",
486
+ intent_hash: "22".repeat(32),
487
+ agent_id: "agent-1",
488
+ timestamp: 200,
489
+ policyId: expectedPolicyId
490
+ },
491
+ {
492
+ type: "DECISION",
493
+ intent_hash: "22".repeat(32),
494
+ decision: "ALLOW",
495
+ reasons: [],
496
+ policy_version: "v1",
497
+ timestamp: 100,
498
+ policyId: expectedPolicyId
499
+ }
500
+ ],
501
+ { mode: "best-effort" }
502
+ );
503
+
504
+ const mixedPolicy = adapter.verifyAuditEvents(
505
+ [
506
+ {
507
+ type: "INTENT_RECEIVED",
508
+ intent_hash: "33".repeat(32),
509
+ agent_id: "agent-1",
510
+ timestamp: 100,
511
+ policyId: expectedPolicyId
512
+ },
513
+ {
514
+ type: "DECISION",
515
+ intent_hash: "33".repeat(32),
516
+ decision: "ALLOW",
517
+ reasons: [],
518
+ policy_version: "v1",
519
+ timestamp: 100,
520
+ policyId: mismatchPolicyId
521
+ }
522
+ ],
523
+ { mode: "best-effort" }
524
+ );
525
+
526
+ const strictMissingAnchor = adapter.verifyAuditEvents(
527
+ [
528
+ {
529
+ type: "INTENT_RECEIVED",
530
+ intent_hash: "44".repeat(32),
531
+ agent_id: "agent-1",
532
+ timestamp: 100,
533
+ policyId: expectedPolicyId
534
+ },
535
+ {
536
+ type: "DECISION",
537
+ intent_hash: "44".repeat(32),
538
+ decision: "ALLOW",
539
+ reasons: [],
540
+ policy_version: "v1",
541
+ timestamp: 100,
542
+ policyId: expectedPolicyId
543
+ }
544
+ ],
545
+ { mode: "strict" }
546
+ );
547
+
548
+ const orderingCase = adapter.verifyAuditEvents(
549
+ [
550
+ {
551
+ type: "INTENT_RECEIVED",
552
+ intent_hash: "55".repeat(32),
553
+ agent_id: "agent-1",
554
+ timestamp: 300,
555
+ policyId: altPolicyId
556
+ },
557
+ {
558
+ type: "DECISION",
559
+ intent_hash: "55".repeat(32),
560
+ decision: "ALLOW",
561
+ reasons: [],
562
+ policy_version: "v1",
563
+ timestamp: 100,
564
+ policyId: mismatchPolicyId
565
+ }
566
+ ],
567
+ { expectedPolicyId, mode: "strict" }
568
+ );
569
+
570
+ return [policyMismatch, nonMonotonic, mixedPolicy, strictMissingAnchor, orderingCase];
571
+ }
572
+
573
+ function validateAuditVerificationVectors(ctx: CheckCtx, adapter: ConformanceAdapter): void {
574
+ const file = loadJson<VectorFile>("audit-verification.json");
575
+ const actual = buildAuditVerificationCases(adapter);
576
+
577
+ for (let i = 0; i < file.vectors.length; i++) {
578
+ const id = String(file.vectors[i].id);
579
+ const expected = asRecord(file.vectors[i].expected);
580
+ const got = actual[i];
581
+ eq(ctx, `${id} status`, got.status, String(expected.status));
582
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
583
+ }
584
+ }
585
+
447
586
  function main(): void {
448
587
  const ctx: CheckCtx = { failures: [], passed: 0 };
449
588
  const adapter = coreAdapter;
@@ -454,6 +593,7 @@ function main(): void {
454
593
  validateAuthorizationVectors(ctx, adapter);
455
594
  validateSnapshotVectors(ctx, adapter);
456
595
  validateAuditChainVectors(ctx, adapter);
596
+ validateAuditVerificationVectors(ctx, adapter);
457
597
  validateEnvelopeVectors(ctx, adapter);
458
598
 
459
599
  if (ctx.failures.length > 0) {
package/vectors/audit-chain.json CHANGED
@@ -51,7 +51,7 @@
51
51
  },
52
52
  {
53
53
  "type": "AUTH_EMITTED",
54
- "authorization_id": "4f7d785c1bda92e97284cac53d01793135d29bb9af5b20c0bfedebed31efc9f8",
54
+ "authorization_id": "85439fe3e0a7fc1803928c281403ea54a3fd4de1b1da8c5934f0f0b1ecd76d14",
55
55
  "intent_hash": "d17664c344609e5bd498107bcf12d31bfa289afaa3516b34d96f1d6785a8e0b9",
56
56
  "expires_at": 1730000060,
57
57
  "timestamp": 1730000000,
@@ -62,7 +62,7 @@
62
62
  "expected": {
63
63
  "head_1": "c673c25dd89343acc3475712bdf30e41f1ef0e3a41f7bc8454885646e720ab08",
64
64
  "head_2": "470e52c94946ed14693a379b95d56b477ade9413c53539d48cea4e9b2daaa186",
65
- "head_3": "b08c083788ecf399e491767c8037f34220cd6db86e47f4de900a21a65f1712c9"
65
+ "head_3": "62cdcbdf9e0e59c0aa95be154e0930d4049805f509f3a9800332c12fd127e6c1"
66
66
  }
67
67
  },
68
68
  {
package/vectors/audit-verification.json ADDED
@@ -0,0 +1,91 @@
1
+ {
2
+ "version": "1.0.2",
3
+ "vectors": [
4
+ {
5
+ "id": "audit-001",
6
+ "description": "invalid — policyId mismatch against expectedPolicyId (best-effort)",
7
+ "expected": {
8
+ "status": "invalid",
9
+ "violations": [
10
+ {
11
+ "code": "POLICY_ID_MISMATCH",
12
+ "message": "event.policyId mismatch (expected=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, got=bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb)",
13
+ "index": 0
14
+ }
15
+ ]
16
+ }
17
+ },
18
+ {
19
+ "id": "audit-002",
20
+ "description": "invalid — non-monotonic timestamp",
21
+ "expected": {
22
+ "status": "invalid",
23
+ "violations": [
24
+ {
25
+ "code": "NON_MONOTONIC_TIMESTAMP",
26
+ "message": "event timestamps must be non-decreasing (prev=200, next=100)",
27
+ "index": 1
28
+ }
29
+ ]
30
+ }
31
+ },
32
+ {
33
+ "id": "audit-003",
34
+ "description": "invalid — mixed policyId values",
35
+ "expected": {
36
+ "status": "invalid",
37
+ "violations": [
38
+ {
39
+ "code": "MIXED_POLICY_ID",
40
+ "message": "multiple distinct policyId values observed"
41
+ }
42
+ ]
43
+ }
44
+ },
45
+ {
46
+ "id": "audit-004",
47
+ "description": "inconclusive — strict mode without STATE_CHECKPOINT",
48
+ "expected": {
49
+ "status": "inconclusive",
50
+ "violations": [
51
+ {
52
+ "code": "NO_STATE_ANCHOR",
53
+ "message": "no STATE_CHECKPOINT event with stateHash found"
54
+ }
55
+ ]
56
+ }
57
+ },
58
+ {
59
+ "id": "audit-005",
60
+ "description": "invalid — deterministic violation ordering with mixed+timestamp+policy checks",
61
+ "expected": {
62
+ "status": "invalid",
63
+ "violations": [
64
+ {
65
+ "code": "MIXED_POLICY_ID",
66
+ "message": "multiple distinct policyId values observed"
67
+ },
68
+ {
69
+ "code": "NON_MONOTONIC_TIMESTAMP",
70
+ "message": "event timestamps must be non-decreasing (prev=300, next=100)",
71
+ "index": 1
72
+ },
73
+ {
74
+ "code": "NO_STATE_ANCHOR",
75
+ "message": "no STATE_CHECKPOINT event with stateHash found"
76
+ },
77
+ {
78
+ "code": "POLICY_ID_MISMATCH",
79
+ "message": "event.policyId mismatch (expected=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, got=cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc)",
80
+ "index": 0
81
+ },
82
+ {
83
+ "code": "POLICY_ID_MISMATCH",
84
+ "message": "event.policyId mismatch (expected=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, got=bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb)",
85
+ "index": 1
86
+ }
87
+ ]
88
+ }
89
+ }
90
+ ]
91
+ }
package/vectors/authorization-payload.json CHANGED
@@ -23,10 +23,10 @@
23
23
  "expected": {
24
24
  "intent_hash": "c272c586c9c9bd258cc1e794322401f3de021882f255ba16ff921255776066a5",
25
25
  "policy_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
26
- "state_hash": "2c8281e90260dae7f4f7bb9906e3049a1d57d141d2c4980b89be1e0c1fbba96f",
26
+ "state_hash": "af09972eef400827903e75e75ff0b0be7cb467167433ae01e38686b18f02550f",
27
27
  "expires_at": 1730000060,
28
- "canonical_signing_payload": "{\"expires_at\":1730000060,\"intent_hash\":\"c272c586c9c9bd258cc1e794322401f3de021882f255ba16ff921255776066a5\",\"policy_id\":\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\",\"state_hash\":\"2c8281e90260dae7f4f7bb9906e3049a1d57d141d2c4980b89be1e0c1fbba96f\"}",
29
- "signature": "855c55e58a5920dc173dfb9cff4a8254fba4ee65c9fa7d55323535ca386a07e1"
28
+ "canonical_signing_payload": "{\"expires_at\":1730000060,\"intent_hash\":\"c272c586c9c9bd258cc1e794322401f3de021882f255ba16ff921255776066a5\",\"policy_id\":\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\",\"state_hash\":\"af09972eef400827903e75e75ff0b0be7cb467167433ae01e38686b18f02550f\"}",
29
+ "signature": "bb71bc1240f0c8593767f2cf9bede744adee3d004b80e5253833e112f03823d2"
30
30
  }
31
31
  },
32
32
  {
@@ -50,8 +50,8 @@
50
50
  "intent_hash": "cbe2f7253a1696395cb8353e6995038aa664ac56ac6d1d0e84927b3f5e22ca6e",
51
51
  "expires_at": 60,
52
52
  "expires_at_derivation": "intent.timestamp(0) + ttl_seconds(60) = 60",
53
- "canonical_signing_payload": "{\"expires_at\":60,\"intent_hash\":\"cbe2f7253a1696395cb8353e6995038aa664ac56ac6d1d0e84927b3f5e22ca6e\",\"policy_id\":\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\",\"state_hash\":\"ed859c6eed3ab68576e6a71b087c86cecda8263271ddee98d3684c44f285a6b6\"}",
54
- "signature": "d27d65e4b24fb276ca03468642700c511f2f9e0f66920c0aa0b6a50feb4c34bb"
53
+ "canonical_signing_payload": "{\"expires_at\":60,\"intent_hash\":\"cbe2f7253a1696395cb8353e6995038aa664ac56ac6d1d0e84927b3f5e22ca6e\",\"policy_id\":\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\",\"state_hash\":\"b6546e0417c651053f6150bfd4c8c33ccbe12be2faf67f646aad5397397d5cb5\"}",
54
+ "signature": "329db42141f75a7b50d389ea2aca354df0eb52dbd59b85f7212ab46eda3df766"
55
55
  }
56
56
  }
57
57
  ]
package/vectors/envelope-verification.json CHANGED
@@ -7,8 +7,8 @@
7
7
  "expected": {
8
8
  "status": "ok",
9
9
  "policyId": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
10
- "stateHash": "343583cdb32ec10dae8f1f824afc1fffd06978ae8a87904a65683d3e11f8bcd1",
11
- "auditHeadHash": "c70408b47892206887ead2bae10bd173db151c5e46ef8a6fc078e81c22bc4284",
10
+ "stateHash": "bba76624cc41d3642c6e789c12050a61b1caa063ad51aa7558d78f408c994b68",
11
+ "auditHeadHash": "004d44ef83c4503e0117ae66c37c0a3684ad13c2b41b01c8a4e8ef2f73990a19",
12
12
  "violations": []
13
13
  }
14
14
  },
@@ -56,7 +56,7 @@
56
56
  "violations": [
57
57
  {
58
58
  "code": "ENVELOPE_MALFORMED",
59
- "message": "envelope decode failed"
59
+ "message": "Unexpected token '\u0001', \"\u0001\u0002\u0003\u0004\u0005\" is not valid JSON"
60
60
  }
61
61
  ]
62
62
  }
package/vectors/snapshot-hash.json CHANGED
@@ -55,8 +55,8 @@
55
55
  }
56
56
  },
57
57
  "expected": {
58
- "snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjEiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6IjUwMDAwMDAifSwibWF4X2Ftb3VudF9wZXJfYWN0aW9uIjp7ImFnZW50LTEiOiIyMDAwMDAwIn0sInNwZW50X2luX3BlcmlvZCI6eyJhZ2VudC0xIjoiMCJ9fSwiQ29uY3VycmVuY3lNb2R1bGUiOnsiYWN0aXZlIjp7ImFnZW50LTEiOjB9LCJhY3RpdmVfYXV0aHMiOnsiYWdlbnQtMSI6e319LCJtYXhfY29uY3VycmVudCI6eyJhZ2VudC0xIjozfX0sIktpbGxTd2l0Y2hNb2R1bGUiOnsiYWdlbnRzIjp7fSwiZ2xvYmFsIjpmYWxzZX0sIlJlY3Vyc2lvbkRlcHRoTW9kdWxlIjp7Im1heF9kZXB0aCI6eyJhZ2VudC0xIjo1fX0sIlJlcGxheU1vZHVsZSI6eyJtYXhfbm9uY2VzX3Blcl9hZ2VudCI6MjU2LCJub25jZXMiOnt9LCJ3aW5kb3dfc2Vjb25kcyI6MzAwfSwiVG9vbEFtcGxpZmljYXRpb25Nb2R1bGUiOnsiY2FsbHMiOnt9LCJtYXhfY2FsbHMiOnsiYWdlbnQtMSI6NTB9LCJtYXhfY2FsbHNfYnlfdG9vbCI6e30sIndpbmRvd19zZWNvbmRzIjo2MH0sIlZlbG9jaXR5TW9kdWxlIjp7ImNvbmZpZyI6eyJtYXhfYWN0aW9ucyI6MTAsIndpbmRvd19zZWNvbmRzIjo2MH0sImNvdW50ZXJzIjp7fX19LCJwb2xpY3lJZCI6ImFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEifQ==",
59
- "state_hash": "ad35d2f6ae9867f852fcf4d5f8e5bbc1c9f3fc2776799cd6011897866d9f1e2c"
58
+ "snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoidW5rbm93biIsImZvcm1hdFZlcnNpb24iOjEsIm1vZHVsZXMiOnsiQWxsb3dsaXN0TW9kdWxlIjp7ImFjdGlvbl90eXBlcyI6W10sImFzc2V0cyI6W10sInRhcmdldHMiOltdfSwiQnVkZ2V0TW9kdWxlIjp7ImJ1ZGdldF9saW1pdCI6eyJhZ2VudC0xIjoiNTAwMDAwMCJ9LCJtYXhfYW1vdW50X3Blcl9hY3Rpb24iOnsiYWdlbnQtMSI6IjIwMDAwMDAifSwic3BlbnRfaW5fcGVyaW9kIjp7ImFnZW50LTEiOiIwIn19LCJDb25jdXJyZW5jeU1vZHVsZSI6eyJhY3RpdmUiOnsiYWdlbnQtMSI6MH0sImFjdGl2ZV9hdXRocyI6eyJhZ2VudC0xIjp7fX0sIm1heF9jb25jdXJyZW50Ijp7ImFnZW50LTEiOjN9fSwiS2lsbFN3aXRjaE1vZHVsZSI6eyJhZ2VudHMiOnt9LCJnbG9iYWwiOmZhbHNlfSwiUmVjdXJzaW9uRGVwdGhNb2R1bGUiOnsibWF4X2RlcHRoIjp7ImFnZW50LTEiOjV9fSwiUmVwbGF5TW9kdWxlIjp7Im1heF9ub25jZXNfcGVyX2FnZW50IjoyNTYsIm5vbmNlcyI6e30sIndpbmRvd19zZWNvbmRzIjozMDB9LCJUb29sQW1wbGlmaWNhdGlvbk1vZHVsZSI6eyJjYWxscyI6e30sIm1heF9jYWxscyI6eyJhZ2VudC0xIjo1MH0sIm1heF9jYWxsc19ieV90b29sIjp7fSwid2luZG93X3NlY29uZHMiOjYwfSwiVmVsb2NpdHlNb2R1bGUiOnsiY29uZmlnIjp7Im1heF9hY3Rpb25zIjoxMCwid2luZG93X3NlY29uZHMiOjYwfSwiY291bnRlcnMiOnt9fX0sInBvbGljeUlkIjoiYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYSJ9",
59
+ "state_hash": "af9020dcf23b68ca00ae29a5b1371d892763e0a49fe07866fbdba88b0b2f56a8"
60
60
  }
61
61
  },
62
62
  {
@@ -113,16 +113,16 @@
113
113
  }
114
114
  },
115
115
  "expected": {
116
- "snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjEiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6Ijk5OTk5OTk5OTk5OTk5OTk5OSJ9LCJtYXhfYW1vdW50X3Blcl9hY3Rpb24iOnsiYWdlbnQtMSI6IjIwMDAwMDAifSwic3BlbnRfaW5fcGVyaW9kIjp7ImFnZW50LTEiOiIwIn19LCJDb25jdXJyZW5jeU1vZHVsZSI6eyJhY3RpdmUiOnsiYWdlbnQtMSI6MH0sImFjdGl2ZV9hdXRocyI6eyJhZ2VudC0xIjp7fX0sIm1heF9jb25jdXJyZW50Ijp7ImFnZW50LTEiOjN9fSwiS2lsbFN3aXRjaE1vZHVsZSI6eyJhZ2VudHMiOnt9LCJnbG9iYWwiOmZhbHNlfSwiUmVjdXJzaW9uRGVwdGhNb2R1bGUiOnsibWF4X2RlcHRoIjp7ImFnZW50LTEiOjV9fSwiUmVwbGF5TW9kdWxlIjp7Im1heF9ub25jZXNfcGVyX2FnZW50IjoyNTYsIm5vbmNlcyI6e30sIndpbmRvd19zZWNvbmRzIjozMDB9LCJUb29sQW1wbGlmaWNhdGlvbk1vZHVsZSI6eyJjYWxscyI6e30sIm1heF9jYWxscyI6eyJhZ2VudC0xIjo1MH0sIm1heF9jYWxsc19ieV90b29sIjp7fSwid2luZG93X3NlY29uZHMiOjYwfSwiVmVsb2NpdHlNb2R1bGUiOnsiY29uZmlnIjp7Im1heF9hY3Rpb25zIjoxMCwid2luZG93X3NlY29uZHMiOjYwfSwiY291bnRlcnMiOnt9fX0sInBvbGljeUlkIjoiYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYSJ9",
117
- "state_hash": "6393bcf479fc4ad32a5bcb95429a1bcd6de987f0d2156392623108294814f003",
116
+ "snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoidW5rbm93biIsImZvcm1hdFZlcnNpb24iOjEsIm1vZHVsZXMiOnsiQWxsb3dsaXN0TW9kdWxlIjp7ImFjdGlvbl90eXBlcyI6W10sImFzc2V0cyI6W10sInRhcmdldHMiOltdfSwiQnVkZ2V0TW9kdWxlIjp7ImJ1ZGdldF9saW1pdCI6eyJhZ2VudC0xIjoiOTk5OTk5OTk5OTk5OTk5OTk5In0sIm1heF9hbW91bnRfcGVyX2FjdGlvbiI6eyJhZ2VudC0xIjoiMjAwMDAwMCJ9LCJzcGVudF9pbl9wZXJpb2QiOnsiYWdlbnQtMSI6IjAifX0sIkNvbmN1cnJlbmN5TW9kdWxlIjp7ImFjdGl2ZSI6eyJhZ2VudC0xIjowfSwiYWN0aXZlX2F1dGhzIjp7ImFnZW50LTEiOnt9fSwibWF4X2NvbmN1cnJlbnQiOnsiYWdlbnQtMSI6M319LCJLaWxsU3dpdGNoTW9kdWxlIjp7ImFnZW50cyI6e30sImdsb2JhbCI6ZmFsc2V9LCJSZWN1cnNpb25EZXB0aE1vZHVsZSI6eyJtYXhfZGVwdGgiOnsiYWdlbnQtMSI6NX19LCJSZXBsYXlNb2R1bGUiOnsibWF4X25vbmNlc19wZXJfYWdlbnQiOjI1Niwibm9uY2VzIjp7fSwid2luZG93X3NlY29uZHMiOjMwMH0sIlRvb2xBbXBsaWZpY2F0aW9uTW9kdWxlIjp7ImNhbGxzIjp7fSwibWF4X2NhbGxzIjp7ImFnZW50LTEiOjUwfSwibWF4X2NhbGxzX2J5X3Rvb2wiOnt9LCJ3aW5kb3dfc2Vjb25kcyI6NjB9LCJWZWxvY2l0eU1vZHVsZSI6eyJjb25maWciOnsibWF4X2FjdGlvbnMiOjEwLCJ3aW5kb3dfc2Vjb25kcyI6NjB9LCJjb3VudGVycyI6e319fSwicG9saWN5SWQiOiJhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhIn0=",
117
+ "state_hash": "f2e093c7ccaa15d4a67b0fbc932945f8e58c2945863b0155b6e94374ed370afd",
118
118
  "normalized_budget_limit": "999999999999999999"
119
119
  }
120
120
  },
121
121
  {
122
122
  "id": "snapshot-hash-003",
123
- "input_snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjEiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6IjUwMDAwMDAifSwibWF4X2Ftb3VudF9wZXJfYWN0aW9uIjp7ImFnZW50LTEiOiIyMDAwMDAwIn0sInNwZW50X2luX3BlcmlvZCI6eyJhZ2VudC0xIjoiMCJ9fSwiQ29uY3VycmVuY3lNb2R1bGUiOnsiYWN0aXZlIjp7ImFnZW50LTEiOjB9LCJhY3RpdmVfYXV0aHMiOnsiYWdlbnQtMSI6e319LCJtYXhfY29uY3VycmVudCI6eyJhZ2VudC0xIjozfX0sIktpbGxTd2l0Y2hNb2R1bGUiOnsiYWdlbnRzIjp7fSwiZ2xvYmFsIjpmYWxzZX0sIlJlY3Vyc2lvbkRlcHRoTW9kdWxlIjp7Im1heF9kZXB0aCI6eyJhZ2VudC0xIjo1fX0sIlJlcGxheU1vZHVsZSI6eyJtYXhfbm9uY2VzX3Blcl9hZ2VudCI6MjU2LCJub25jZXMiOnt9LCJ3aW5kb3dfc2Vjb25kcyI6MzAwfSwiVG9vbEFtcGxpZmljYXRpb25Nb2R1bGUiOnsiY2FsbHMiOnt9LCJtYXhfY2FsbHMiOnsiYWdlbnQtMSI6NTB9LCJtYXhfY2FsbHNfYnlfdG9vbCI6e30sIndpbmRvd19zZWNvbmRzIjo2MH0sIlZlbG9jaXR5TW9kdWxlIjp7ImNvbmZpZyI6eyJtYXhfYWN0aW9ucyI6MTAsIndpbmRvd19zZWNvbmRzIjo2MH0sImNvdW50ZXJzIjp7fX19LCJwb2xpY3lJZCI6ImFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEifQ==",
123
+ "input_snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoidW5rbm93biIsImZvcm1hdFZlcnNpb24iOjEsIm1vZHVsZXMiOnsiQWxsb3dsaXN0TW9kdWxlIjp7ImFjdGlvbl90eXBlcyI6W10sImFzc2V0cyI6W10sInRhcmdldHMiOltdfSwiQnVkZ2V0TW9kdWxlIjp7ImJ1ZGdldF9saW1pdCI6eyJhZ2VudC0xIjoiNTAwMDAwMCJ9LCJtYXhfYW1vdW50X3Blcl9hY3Rpb24iOnsiYWdlbnQtMSI6IjIwMDAwMDAifSwic3BlbnRfaW5fcGVyaW9kIjp7ImFnZW50LTEiOiIwIn19LCJDb25jdXJyZW5jeU1vZHVsZSI6eyJhY3RpdmUiOnsiYWdlbnQtMSI6MH0sImFjdGl2ZV9hdXRocyI6eyJhZ2VudC0xIjp7fX0sIm1heF9jb25jdXJyZW50Ijp7ImFnZW50LTEiOjN9fSwiS2lsbFN3aXRjaE1vZHVsZSI6eyJhZ2VudHMiOnt9LCJnbG9iYWwiOmZhbHNlfSwiUmVjdXJzaW9uRGVwdGhNb2R1bGUiOnsibWF4X2RlcHRoIjp7ImFnZW50LTEiOjV9fSwiUmVwbGF5TW9kdWxlIjp7Im1heF9ub25jZXNfcGVyX2FnZW50IjoyNTYsIm5vbmNlcyI6e30sIndpbmRvd19zZWNvbmRzIjozMDB9LCJUb29sQW1wbGlmaWNhdGlvbk1vZHVsZSI6eyJjYWxscyI6e30sIm1heF9jYWxscyI6eyJhZ2VudC0xIjo1MH0sIm1heF9jYWxsc19ieV90b29sIjp7fSwid2luZG93X3NlY29uZHMiOjYwfSwiVmVsb2NpdHlNb2R1bGUiOnsiY29uZmlnIjp7Im1heF9hY3Rpb25zIjoxMCwid2luZG93X3NlY29uZHMiOjYwfSwiY291bnRlcnMiOnt9fX0sInBvbGljeUlkIjoiYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYSJ9",
124
124
  "expected": {
125
- "state_hash": "ad35d2f6ae9867f852fcf4d5f8e5bbc1c9f3fc2776799cd6011897866d9f1e2c"
125
+ "state_hash": "af9020dcf23b68ca00ae29a5b1371d892763e0a49fe07866fbdba88b0b2f56a8"
126
126
  },
127
127
  "invariant": "equals snapshot-hash-001"
128
128
  }