@oxdeai/conformance 1.0.2 → 1.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (14) 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 +134 -12
  5. package/dist/src/validate.js.map +1 -1
  6. package/package.json +19 -2
  7. package/scripts/extract-vectors.ts +16 -10
  8. package/src/validate.ts +192 -12
  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/authorization-verification.json +237 -0
  13. package/vectors/envelope-verification.json +2 -2
  14. 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, verifyAuthorization, 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,7 +189,11 @@ const coreAdapter = {
189
189
  verifySnapshot(bytes, expectedPolicyId) {
190
190
  return verifySnapshot(bytes, expectedPolicyId ? { expectedPolicyId } : undefined);
191
191
  },
192
- verifyEnvelope
192
+ verifyAuditEvents(events, opts) {
193
+ return verifyAuditEvents(events, opts);
194
+ },
195
+ verifyEnvelope,
196
+ verifyAuthorization
193
197
  };
194
198
  function loadJson(name) {
195
199
  const p = resolve(process.cwd(), "vectors", name);
@@ -248,6 +252,19 @@ function validateAuthorizationVectors(ctx, adapter) {
248
252
  eq(ctx, `${id} signature`, authorization.engine_signature, String(expected.signature));
249
253
  }
250
254
  }
255
+ function validateAuthorizationVerificationVectors(ctx, adapter) {
256
+ const file = loadJson("authorization-verification.json");
257
+ for (const v of file.vectors) {
258
+ const id = String(v.id);
259
+ const input = asRecord(v.input);
260
+ const auth = asRecord(input.auth);
261
+ const opts = (input.opts ? asRecord(input.opts) : {});
262
+ const expected = asRecord(v.expected);
263
+ const got = adapter.verifyAuthorization(auth, opts);
264
+ eq(ctx, `${id} status`, got.status, String(expected.status));
265
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
266
+ }
267
+ }
251
268
  function validateSnapshotVectors(ctx, adapter) {
252
269
  const file = loadJson("snapshot-hash.json");
253
270
  for (const v of file.vectors) {
@@ -331,23 +348,28 @@ function buildEnvelopeCases(adapter) {
331
348
  if (snap.status !== "ok" || !snap.stateHash)
332
349
  throw new Error("failed to build envelope cases");
333
350
  const valid = encodeEnvelope({ formatVersion: 1, snapshot: snapshotBytes, events });
351
+ const withCheckpointEvents = [
352
+ ...events,
353
+ {
354
+ type: "STATE_CHECKPOINT",
355
+ stateHash: snap.stateHash,
356
+ timestamp: intent.timestamp,
357
+ policyId: engine.computePolicyId()
358
+ }
359
+ ];
334
360
  const withCheckpoint = encodeEnvelope({
335
361
  formatVersion: 1,
336
362
  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
- ]
363
+ events: withCheckpointEvents
346
364
  });
365
+ const mismatchedEvents = events.map((e) => ({
366
+ ...e,
367
+ policyId: "c".repeat(64)
368
+ }));
347
369
  const mismatched = encodeEnvelope({
348
370
  formatVersion: 1,
349
371
  snapshot: snapshotBytes,
350
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
372
+ events: mismatchedEvents
351
373
  });
352
374
  const corrupt = new Uint8Array([1, 2, 3, 4, 5]);
353
375
  return [
@@ -375,14 +397,114 @@ function validateEnvelopeVectors(ctx, adapter) {
375
397
  eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
376
398
  }
377
399
  }
400
+ function buildAuditVerificationCases(adapter) {
401
+ const expectedPolicyId = "a".repeat(64);
402
+ const mismatchPolicyId = "b".repeat(64);
403
+ const altPolicyId = "c".repeat(64);
404
+ const policyMismatch = adapter.verifyAuditEvents([
405
+ {
406
+ type: "INTENT_RECEIVED",
407
+ intent_hash: "11".repeat(32),
408
+ agent_id: "agent-1",
409
+ timestamp: 100,
410
+ policyId: mismatchPolicyId
411
+ }
412
+ ], { expectedPolicyId, mode: "best-effort" });
413
+ const nonMonotonic = adapter.verifyAuditEvents([
414
+ {
415
+ type: "INTENT_RECEIVED",
416
+ intent_hash: "22".repeat(32),
417
+ agent_id: "agent-1",
418
+ timestamp: 200,
419
+ policyId: expectedPolicyId
420
+ },
421
+ {
422
+ type: "DECISION",
423
+ intent_hash: "22".repeat(32),
424
+ decision: "ALLOW",
425
+ reasons: [],
426
+ policy_version: "v1",
427
+ timestamp: 100,
428
+ policyId: expectedPolicyId
429
+ }
430
+ ], { mode: "best-effort" });
431
+ const mixedPolicy = adapter.verifyAuditEvents([
432
+ {
433
+ type: "INTENT_RECEIVED",
434
+ intent_hash: "33".repeat(32),
435
+ agent_id: "agent-1",
436
+ timestamp: 100,
437
+ policyId: expectedPolicyId
438
+ },
439
+ {
440
+ type: "DECISION",
441
+ intent_hash: "33".repeat(32),
442
+ decision: "ALLOW",
443
+ reasons: [],
444
+ policy_version: "v1",
445
+ timestamp: 100,
446
+ policyId: mismatchPolicyId
447
+ }
448
+ ], { mode: "best-effort" });
449
+ const strictMissingAnchor = adapter.verifyAuditEvents([
450
+ {
451
+ type: "INTENT_RECEIVED",
452
+ intent_hash: "44".repeat(32),
453
+ agent_id: "agent-1",
454
+ timestamp: 100,
455
+ policyId: expectedPolicyId
456
+ },
457
+ {
458
+ type: "DECISION",
459
+ intent_hash: "44".repeat(32),
460
+ decision: "ALLOW",
461
+ reasons: [],
462
+ policy_version: "v1",
463
+ timestamp: 100,
464
+ policyId: expectedPolicyId
465
+ }
466
+ ], { mode: "strict" });
467
+ const orderingCase = adapter.verifyAuditEvents([
468
+ {
469
+ type: "INTENT_RECEIVED",
470
+ intent_hash: "55".repeat(32),
471
+ agent_id: "agent-1",
472
+ timestamp: 300,
473
+ policyId: altPolicyId
474
+ },
475
+ {
476
+ type: "DECISION",
477
+ intent_hash: "55".repeat(32),
478
+ decision: "ALLOW",
479
+ reasons: [],
480
+ policy_version: "v1",
481
+ timestamp: 100,
482
+ policyId: mismatchPolicyId
483
+ }
484
+ ], { expectedPolicyId, mode: "strict" });
485
+ return [policyMismatch, nonMonotonic, mixedPolicy, strictMissingAnchor, orderingCase];
486
+ }
487
+ function validateAuditVerificationVectors(ctx, adapter) {
488
+ const file = loadJson("audit-verification.json");
489
+ const actual = buildAuditVerificationCases(adapter);
490
+ for (let i = 0; i < file.vectors.length; i++) {
491
+ const id = String(file.vectors[i].id);
492
+ const expected = asRecord(file.vectors[i].expected);
493
+ const got = actual[i];
494
+ eq(ctx, `${id} status`, got.status, String(expected.status));
495
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
496
+ }
497
+ }
378
498
  function main() {
379
499
  const ctx = { failures: [], passed: 0 };
380
500
  const adapter = coreAdapter;
381
501
  console.log(`Running conformance validation with ${adapter.name}`);
382
502
  validateIntentHashVectors(ctx, adapter);
383
503
  validateAuthorizationVectors(ctx, adapter);
504
+ validateAuthorizationVerificationVectors(ctx, adapter);
384
505
  validateSnapshotVectors(ctx, adapter);
385
506
  validateAuditChainVectors(ctx, adapter);
507
+ validateAuditVerificationVectors(ctx, adapter);
386
508
  validateEnvelopeVectors(ctx, adapter);
387
509
  if (ctx.failures.length > 0) {
388
510
  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,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,cAAc,EACf,MAAM,cAAc,CAAC;AA2CtB,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;IACd,mBAAmB;CACpB,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,wCAAwC,CAAC,GAAa,EAAE,OAA2B;IAC1F,MAAM,IAAI,GAAG,QAAQ,CAAa,iCAAiC,CAAC,CAAC;IAErE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;QACrD,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAMnD,CAAC;QACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEpD,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,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,wCAAwC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACvD,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,13 +1,25 @@
1
1
  {
2
2
  "name": "@oxdeai/conformance",
3
- "version": "1.0.2",
3
+ "version": "1.1.0",
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
25
  "@oxdeai/core": "workspace:*"
@@ -16,5 +28,10 @@
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.1.0"
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,20 +6,32 @@ import {
6
6
  encodeEnvelope,
7
7
  PolicyEngine,
8
8
  sha256HexFromJson,
9
+ verifyAuthorization,
10
+ verifyAuditEvents,
9
11
  verifyEnvelope,
10
12
  verifySnapshot
11
13
  } from "@oxdeai/core";
12
- import type { Intent, State, VerificationResult } from "@oxdeai/core";
14
+ import type { AuthorizationV1, Intent, State, VerificationResult } from "@oxdeai/core";
13
15
 
14
16
  type JsonRecord = Record<string, unknown>;
15
17
 
16
18
  type AuthorizationLike = {
19
+ auth_id: string;
20
+ issuer: string;
21
+ audience: string;
17
22
  intent_hash: string;
23
+ state_hash: string;
24
+ policy_id: string;
25
+ decision: "ALLOW" | "DENY";
26
+ issued_at: number;
27
+ expiry: number;
18
28
  state_snapshot_hash: string;
19
29
  expires_at: number;
20
30
  engine_signature: string;
21
31
  };
22
32
 
33
+ type EnvelopeEvent = Parameters<typeof encodeEnvelope>[0]["events"][number];
34
+
23
35
  type ConformanceAdapter = {
24
36
  name: string;
25
37
  canonicalJson(value: unknown): string;
@@ -27,7 +39,18 @@ type ConformanceAdapter = {
27
39
  evaluateAuthorization(intent: Intent): { authorization: AuthorizationLike; policyId: string };
28
40
  encodeSnapshot(state: State): { bytes: Uint8Array; policyId: string };
29
41
  verifySnapshot(bytes: Uint8Array, expectedPolicyId?: string): VerificationResult;
42
+ verifyAuditEvents(
43
+ events: unknown[],
44
+ opts?: { expectedPolicyId?: string; mode?: "strict" | "best-effort"; requireStateAnchors?: boolean }
45
+ ): VerificationResult;
30
46
  verifyEnvelope(bytes: Uint8Array, opts?: { expectedPolicyId?: string; mode?: "strict" | "best-effort" }): VerificationResult;
47
+ verifyAuthorization(auth: AuthorizationV1, opts?: {
48
+ now?: number;
49
+ expectedIssuer?: string;
50
+ expectedAudience?: string;
51
+ expectedPolicyId?: string;
52
+ consumedAuthIds?: readonly string[];
53
+ }): VerificationResult;
31
54
  };
32
55
 
33
56
  const CORE_ENGINE_SECRET = "test-secret";
@@ -230,7 +253,11 @@ const coreAdapter: ConformanceAdapter = {
230
253
  verifySnapshot(bytes: Uint8Array, expectedPolicyId?: string): VerificationResult {
231
254
  return verifySnapshot(bytes, expectedPolicyId ? { expectedPolicyId } : undefined);
232
255
  },
233
- verifyEnvelope
256
+ verifyAuditEvents(events, opts) {
257
+ return verifyAuditEvents(events as any, opts);
258
+ },
259
+ verifyEnvelope,
260
+ verifyAuthorization
234
261
  };
235
262
 
236
263
  function loadJson<T>(name: string): T {
@@ -307,6 +334,28 @@ function validateAuthorizationVectors(ctx: CheckCtx, adapter: ConformanceAdapter
307
334
  }
308
335
  }
309
336
 
337
+ function validateAuthorizationVerificationVectors(ctx: CheckCtx, adapter: ConformanceAdapter): void {
338
+ const file = loadJson<VectorFile>("authorization-verification.json");
339
+
340
+ for (const v of file.vectors) {
341
+ const id = String(v.id);
342
+ const input = asRecord(v.input);
343
+ const auth = asRecord(input.auth) as AuthorizationV1;
344
+ const opts = (input.opts ? asRecord(input.opts) : {}) as {
345
+ now?: number;
346
+ expectedIssuer?: string;
347
+ expectedAudience?: string;
348
+ expectedPolicyId?: string;
349
+ consumedAuthIds?: readonly string[];
350
+ };
351
+ const expected = asRecord(v.expected);
352
+ const got = adapter.verifyAuthorization(auth, opts);
353
+
354
+ eq(ctx, `${id} status`, got.status, String(expected.status));
355
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
356
+ }
357
+ }
358
+
310
359
  function validateSnapshotVectors(ctx: CheckCtx, adapter: ConformanceAdapter): void {
311
360
  const file = loadJson<VectorFile>("snapshot-hash.json");
312
361
 
@@ -398,23 +447,28 @@ function buildEnvelopeCases(adapter: ConformanceAdapter): Array<{ status: string
398
447
  if (snap.status !== "ok" || !snap.stateHash) throw new Error("failed to build envelope cases");
399
448
 
400
449
  const valid = encodeEnvelope({ formatVersion: 1, snapshot: snapshotBytes, events });
450
+ const withCheckpointEvents: EnvelopeEvent[] = [
451
+ ...events,
452
+ {
453
+ type: "STATE_CHECKPOINT" as const,
454
+ stateHash: snap.stateHash,
455
+ timestamp: intent.timestamp,
456
+ policyId: engine.computePolicyId()
457
+ }
458
+ ];
401
459
  const withCheckpoint = encodeEnvelope({
402
460
  formatVersion: 1,
403
461
  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
- ]
462
+ events: withCheckpointEvents
413
463
  });
464
+ const mismatchedEvents: EnvelopeEvent[] = events.map((e) => ({
465
+ ...e,
466
+ policyId: "c".repeat(64)
467
+ }));
414
468
  const mismatched = encodeEnvelope({
415
469
  formatVersion: 1,
416
470
  snapshot: snapshotBytes,
417
- events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
471
+ events: mismatchedEvents
418
472
  });
419
473
  const corrupt = new Uint8Array([1, 2, 3, 4, 5]);
420
474
 
@@ -444,6 +498,130 @@ function validateEnvelopeVectors(ctx: CheckCtx, adapter: ConformanceAdapter): vo
444
498
  }
445
499
  }
446
500
 
501
+ function buildAuditVerificationCases(
502
+ adapter: ConformanceAdapter
503
+ ): Array<{ status: string; violations: unknown[] }> {
504
+ const expectedPolicyId = "a".repeat(64);
505
+ const mismatchPolicyId = "b".repeat(64);
506
+ const altPolicyId = "c".repeat(64);
507
+
508
+ const policyMismatch = adapter.verifyAuditEvents(
509
+ [
510
+ {
511
+ type: "INTENT_RECEIVED",
512
+ intent_hash: "11".repeat(32),
513
+ agent_id: "agent-1",
514
+ timestamp: 100,
515
+ policyId: mismatchPolicyId
516
+ }
517
+ ],
518
+ { expectedPolicyId, mode: "best-effort" }
519
+ );
520
+
521
+ const nonMonotonic = adapter.verifyAuditEvents(
522
+ [
523
+ {
524
+ type: "INTENT_RECEIVED",
525
+ intent_hash: "22".repeat(32),
526
+ agent_id: "agent-1",
527
+ timestamp: 200,
528
+ policyId: expectedPolicyId
529
+ },
530
+ {
531
+ type: "DECISION",
532
+ intent_hash: "22".repeat(32),
533
+ decision: "ALLOW",
534
+ reasons: [],
535
+ policy_version: "v1",
536
+ timestamp: 100,
537
+ policyId: expectedPolicyId
538
+ }
539
+ ],
540
+ { mode: "best-effort" }
541
+ );
542
+
543
+ const mixedPolicy = adapter.verifyAuditEvents(
544
+ [
545
+ {
546
+ type: "INTENT_RECEIVED",
547
+ intent_hash: "33".repeat(32),
548
+ agent_id: "agent-1",
549
+ timestamp: 100,
550
+ policyId: expectedPolicyId
551
+ },
552
+ {
553
+ type: "DECISION",
554
+ intent_hash: "33".repeat(32),
555
+ decision: "ALLOW",
556
+ reasons: [],
557
+ policy_version: "v1",
558
+ timestamp: 100,
559
+ policyId: mismatchPolicyId
560
+ }
561
+ ],
562
+ { mode: "best-effort" }
563
+ );
564
+
565
+ const strictMissingAnchor = adapter.verifyAuditEvents(
566
+ [
567
+ {
568
+ type: "INTENT_RECEIVED",
569
+ intent_hash: "44".repeat(32),
570
+ agent_id: "agent-1",
571
+ timestamp: 100,
572
+ policyId: expectedPolicyId
573
+ },
574
+ {
575
+ type: "DECISION",
576
+ intent_hash: "44".repeat(32),
577
+ decision: "ALLOW",
578
+ reasons: [],
579
+ policy_version: "v1",
580
+ timestamp: 100,
581
+ policyId: expectedPolicyId
582
+ }
583
+ ],
584
+ { mode: "strict" }
585
+ );
586
+
587
+ const orderingCase = adapter.verifyAuditEvents(
588
+ [
589
+ {
590
+ type: "INTENT_RECEIVED",
591
+ intent_hash: "55".repeat(32),
592
+ agent_id: "agent-1",
593
+ timestamp: 300,
594
+ policyId: altPolicyId
595
+ },
596
+ {
597
+ type: "DECISION",
598
+ intent_hash: "55".repeat(32),
599
+ decision: "ALLOW",
600
+ reasons: [],
601
+ policy_version: "v1",
602
+ timestamp: 100,
603
+ policyId: mismatchPolicyId
604
+ }
605
+ ],
606
+ { expectedPolicyId, mode: "strict" }
607
+ );
608
+
609
+ return [policyMismatch, nonMonotonic, mixedPolicy, strictMissingAnchor, orderingCase];
610
+ }
611
+
612
+ function validateAuditVerificationVectors(ctx: CheckCtx, adapter: ConformanceAdapter): void {
613
+ const file = loadJson<VectorFile>("audit-verification.json");
614
+ const actual = buildAuditVerificationCases(adapter);
615
+
616
+ for (let i = 0; i < file.vectors.length; i++) {
617
+ const id = String(file.vectors[i].id);
618
+ const expected = asRecord(file.vectors[i].expected);
619
+ const got = actual[i];
620
+ eq(ctx, `${id} status`, got.status, String(expected.status));
621
+ eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
622
+ }
623
+ }
624
+
447
625
  function main(): void {
448
626
  const ctx: CheckCtx = { failures: [], passed: 0 };
449
627
  const adapter = coreAdapter;
@@ -452,8 +630,10 @@ function main(): void {
452
630
 
453
631
  validateIntentHashVectors(ctx, adapter);
454
632
  validateAuthorizationVectors(ctx, adapter);
633
+ validateAuthorizationVerificationVectors(ctx, adapter);
455
634
  validateSnapshotVectors(ctx, adapter);
456
635
  validateAuditChainVectors(ctx, adapter);
636
+ validateAuditVerificationVectors(ctx, adapter);
457
637
  validateEnvelopeVectors(ctx, adapter);
458
638
 
459
639
  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": "c2345fd42ee5667834a5f4b9b95826f4407e00b86f3c99f2c75ec88419e4aad3",
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": "8df59d28456a166948a2e830fa269da67ea99c4e7fdc3e310aec10c15addf59d"
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": "3a6f6cb28ed16728252abd8980fa539bd986b87fdba9b411e9aaa7740b4330f3",
26
+ "state_hash": "af09972eef400827903e75e75ff0b0be7cb467167433ae01e38686b18f02550f",
27
27
  "expires_at": 1730000060,
28
- "canonical_signing_payload": "{\"expires_at\":1730000060,\"intent_hash\":\"c272c586c9c9bd258cc1e794322401f3de021882f255ba16ff921255776066a5\",\"policy_id\":\"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa\",\"state_hash\":\"3a6f6cb28ed16728252abd8980fa539bd986b87fdba9b411e9aaa7740b4330f3\"}",
29
- "signature": "d9c5e55d28684c2183791d511bead86f5ac571e4a3246aa029579f0d431bd9ac"
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\":\"e6cfbd0b32d0406ce0c5cb85aaa7771997536104695b44afb41f9490684eb9c2\"}",
54
- "signature": "c333d4202897d1e23c732aceebada8badf6cd27560d4b1884253ab2a6de91936"
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/authorization-verification.json ADDED
@@ -0,0 +1,237 @@
1
+ {
2
+ "version": "1.1.0",
3
+ "vectors": [
4
+ {
5
+ "id": "authorization-verify-001",
6
+ "input": {
7
+ "auth": {
8
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
9
+ "issuer": "oxdeai.policy-engine",
10
+ "audience": "merchant-gateway",
11
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
12
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
13
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
14
+ "decision": "ALLOW",
15
+ "issued_at": 100,
16
+ "expiry": 160
17
+ },
18
+ "opts": {
19
+ "now": 120,
20
+ "expectedIssuer": "oxdeai.policy-engine",
21
+ "expectedAudience": "merchant-gateway",
22
+ "expectedPolicyId": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
23
+ "consumedAuthIds": []
24
+ }
25
+ },
26
+ "expected": {
27
+ "status": "ok",
28
+ "violations": []
29
+ }
30
+ },
31
+ {
32
+ "id": "authorization-verify-002",
33
+ "input": {
34
+ "auth": {
35
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
36
+ "issuer": "oxdeai.policy-engine",
37
+ "audience": "merchant-gateway",
38
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
39
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
40
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
41
+ "decision": "ALLOW",
42
+ "issued_at": 100,
43
+ "expiry": 120
44
+ },
45
+ "opts": {
46
+ "now": 120
47
+ }
48
+ },
49
+ "expected": {
50
+ "status": "invalid",
51
+ "violations": [
52
+ {
53
+ "code": "AUTH_EXPIRED",
54
+ "message": "authorization has expired"
55
+ }
56
+ ]
57
+ }
58
+ },
59
+ {
60
+ "id": "authorization-verify-003",
61
+ "input": {
62
+ "auth": {
63
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
64
+ "issuer": "oxdeai.policy-engine",
65
+ "audience": "merchant-gateway",
66
+ "intent_hash": "",
67
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
68
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
69
+ "decision": "ALLOW",
70
+ "expiry": 160
71
+ },
72
+ "opts": {
73
+ "now": 110
74
+ }
75
+ },
76
+ "expected": {
77
+ "status": "invalid",
78
+ "violations": [
79
+ {
80
+ "code": "AUTH_MISSING_FIELD",
81
+ "message": "intent_hash is required"
82
+ },
83
+ {
84
+ "code": "AUTH_MISSING_FIELD",
85
+ "message": "issued_at must be integer unix seconds"
86
+ }
87
+ ]
88
+ }
89
+ },
90
+ {
91
+ "id": "authorization-verify-004",
92
+ "input": {
93
+ "auth": {
94
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
95
+ "issuer": "oxdeai.policy-engine",
96
+ "audience": "merchant-gateway",
97
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
98
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
99
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
100
+ "decision": "DENY",
101
+ "issued_at": 100,
102
+ "expiry": 160
103
+ },
104
+ "opts": {
105
+ "now": 110
106
+ }
107
+ },
108
+ "expected": {
109
+ "status": "invalid",
110
+ "violations": [
111
+ {
112
+ "code": "AUTH_DECISION_INVALID",
113
+ "message": "authorization decision must be ALLOW"
114
+ }
115
+ ]
116
+ }
117
+ },
118
+ {
119
+ "id": "authorization-verify-005",
120
+ "input": {
121
+ "auth": {
122
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
123
+ "issuer": "oxdeai.policy-engine",
124
+ "audience": "merchant-gateway",
125
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
126
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
127
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
128
+ "decision": "ALLOW",
129
+ "issued_at": 100,
130
+ "expiry": 160
131
+ },
132
+ "opts": {
133
+ "now": 110,
134
+ "consumedAuthIds": [
135
+ "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
136
+ ]
137
+ }
138
+ },
139
+ "expected": {
140
+ "status": "invalid",
141
+ "violations": [
142
+ {
143
+ "code": "AUTH_REPLAY",
144
+ "message": "auth_id has already been consumed"
145
+ }
146
+ ]
147
+ }
148
+ },
149
+ {
150
+ "id": "authorization-verify-006",
151
+ "input": {
152
+ "auth": {
153
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
154
+ "issuer": "oxdeai.policy-engine",
155
+ "audience": "merchant-gateway",
156
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
157
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
158
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
159
+ "decision": "ALLOW",
160
+ "issued_at": 100,
161
+ "expiry": 160
162
+ },
163
+ "opts": {
164
+ "now": 110,
165
+ "expectedAudience": "vault-service"
166
+ }
167
+ },
168
+ "expected": {
169
+ "status": "invalid",
170
+ "violations": [
171
+ {
172
+ "code": "AUTH_AUDIENCE_MISMATCH",
173
+ "message": "audience does not match expectedAudience"
174
+ }
175
+ ]
176
+ }
177
+ },
178
+ {
179
+ "id": "authorization-verify-007",
180
+ "input": {
181
+ "auth": {
182
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
183
+ "issuer": "oxdeai.policy-engine",
184
+ "audience": "merchant-gateway",
185
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
186
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
187
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
188
+ "decision": "ALLOW",
189
+ "issued_at": 100,
190
+ "expiry": 160
191
+ },
192
+ "opts": {
193
+ "now": 110,
194
+ "expectedIssuer": "other-issuer"
195
+ }
196
+ },
197
+ "expected": {
198
+ "status": "invalid",
199
+ "violations": [
200
+ {
201
+ "code": "AUTH_ISSUER_MISMATCH",
202
+ "message": "issuer does not match expectedIssuer"
203
+ }
204
+ ]
205
+ }
206
+ },
207
+ {
208
+ "id": "authorization-verify-008",
209
+ "input": {
210
+ "auth": {
211
+ "auth_id": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
212
+ "issuer": "oxdeai.policy-engine",
213
+ "audience": "merchant-gateway",
214
+ "intent_hash": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
215
+ "state_hash": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
216
+ "policy_id": "dddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd",
217
+ "decision": "ALLOW",
218
+ "issued_at": 100,
219
+ "expiry": 160
220
+ },
221
+ "opts": {
222
+ "now": 110,
223
+ "expectedPolicyId": "eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee"
224
+ }
225
+ },
226
+ "expected": {
227
+ "status": "invalid",
228
+ "violations": [
229
+ {
230
+ "code": "AUTH_POLICY_ID_MISMATCH",
231
+ "message": "policy_id does not match expectedPolicyId"
232
+ }
233
+ ]
234
+ }
235
+ }
236
+ ]
237
+ }
package/vectors/envelope-verification.json CHANGED
@@ -7,8 +7,8 @@
7
7
  "expected": {
8
8
  "status": "ok",
9
9
  "policyId": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
10
- "stateHash": "30a1b0957089e6cc9e43afd0a71ad9a02389afc59657dafb66d5768c62987c75",
11
- "auditHeadHash": "bc0efb39c9f03a0517275a22aa103436bd337cf7a7f73390af3856f7b61f6edb",
10
+ "stateHash": "bba76624cc41d3642c6e789c12050a61b1caa063ad51aa7558d78f408c994b68",
11
+ "auditHeadHash": "004d44ef83c4503e0117ae66c37c0a3684ad13c2b41b01c8a4e8ef2f73990a19",
12
12
  "violations": []
13
13
  }
14
14
  },
package/vectors/snapshot-hash.json CHANGED
@@ -55,8 +55,8 @@
55
55
  }
56
56
  },
57
57
  "expected": {
58
- "snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjIiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6IjUwMDAwMDAifSwibWF4X2Ftb3VudF9wZXJfYWN0aW9uIjp7ImFnZW50LTEiOiIyMDAwMDAwIn0sInNwZW50X2luX3BlcmlvZCI6eyJhZ2VudC0xIjoiMCJ9fSwiQ29uY3VycmVuY3lNb2R1bGUiOnsiYWN0aXZlIjp7ImFnZW50LTEiOjB9LCJhY3RpdmVfYXV0aHMiOnsiYWdlbnQtMSI6e319LCJtYXhfY29uY3VycmVudCI6eyJhZ2VudC0xIjozfX0sIktpbGxTd2l0Y2hNb2R1bGUiOnsiYWdlbnRzIjp7fSwiZ2xvYmFsIjpmYWxzZX0sIlJlY3Vyc2lvbkRlcHRoTW9kdWxlIjp7Im1heF9kZXB0aCI6eyJhZ2VudC0xIjo1fX0sIlJlcGxheU1vZHVsZSI6eyJtYXhfbm9uY2VzX3Blcl9hZ2VudCI6MjU2LCJub25jZXMiOnt9LCJ3aW5kb3dfc2Vjb25kcyI6MzAwfSwiVG9vbEFtcGxpZmljYXRpb25Nb2R1bGUiOnsiY2FsbHMiOnt9LCJtYXhfY2FsbHMiOnsiYWdlbnQtMSI6NTB9LCJtYXhfY2FsbHNfYnlfdG9vbCI6e30sIndpbmRvd19zZWNvbmRzIjo2MH0sIlZlbG9jaXR5TW9kdWxlIjp7ImNvbmZpZyI6eyJtYXhfYWN0aW9ucyI6MTAsIndpbmRvd19zZWNvbmRzIjo2MH0sImNvdW50ZXJzIjp7fX19LCJwb2xpY3lJZCI6ImFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEifQ==",
59
- "state_hash": "c374a7a605dbf67fdc4dd68c30931d79ddf7eff0e57b9eb89ef6b77a5e3623ee"
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": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjIiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6Ijk5OTk5OTk5OTk5OTk5OTk5OSJ9LCJtYXhfYW1vdW50X3Blcl9hY3Rpb24iOnsiYWdlbnQtMSI6IjIwMDAwMDAifSwic3BlbnRfaW5fcGVyaW9kIjp7ImFnZW50LTEiOiIwIn19LCJDb25jdXJyZW5jeU1vZHVsZSI6eyJhY3RpdmUiOnsiYWdlbnQtMSI6MH0sImFjdGl2ZV9hdXRocyI6eyJhZ2VudC0xIjp7fX0sIm1heF9jb25jdXJyZW50Ijp7ImFnZW50LTEiOjN9fSwiS2lsbFN3aXRjaE1vZHVsZSI6eyJhZ2VudHMiOnt9LCJnbG9iYWwiOmZhbHNlfSwiUmVjdXJzaW9uRGVwdGhNb2R1bGUiOnsibWF4X2RlcHRoIjp7ImFnZW50LTEiOjV9fSwiUmVwbGF5TW9kdWxlIjp7Im1heF9ub25jZXNfcGVyX2FnZW50IjoyNTYsIm5vbmNlcyI6e30sIndpbmRvd19zZWNvbmRzIjozMDB9LCJUb29sQW1wbGlmaWNhdGlvbk1vZHVsZSI6eyJjYWxscyI6e30sIm1heF9jYWxscyI6eyJhZ2VudC0xIjo1MH0sIm1heF9jYWxsc19ieV90b29sIjp7fSwid2luZG93X3NlY29uZHMiOjYwfSwiVmVsb2NpdHlNb2R1bGUiOnsiY29uZmlnIjp7Im1heF9hY3Rpb25zIjoxMCwid2luZG93X3NlY29uZHMiOjYwfSwiY291bnRlcnMiOnt9fX0sInBvbGljeUlkIjoiYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYSJ9",
117
- "state_hash": "d5e05430ca8f28363faafa8885cdeddf90fc3fd71276b57cbe44ccb29c2224df",
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": "eyJlbmdpbmVWZXJzaW9uIjoiMS4wLjIiLCJmb3JtYXRWZXJzaW9uIjoxLCJtb2R1bGVzIjp7IkFsbG93bGlzdE1vZHVsZSI6eyJhY3Rpb25fdHlwZXMiOltdLCJhc3NldHMiOltdLCJ0YXJnZXRzIjpbXX0sIkJ1ZGdldE1vZHVsZSI6eyJidWRnZXRfbGltaXQiOnsiYWdlbnQtMSI6IjUwMDAwMDAifSwibWF4X2Ftb3VudF9wZXJfYWN0aW9uIjp7ImFnZW50LTEiOiIyMDAwMDAwIn0sInNwZW50X2luX3BlcmlvZCI6eyJhZ2VudC0xIjoiMCJ9fSwiQ29uY3VycmVuY3lNb2R1bGUiOnsiYWN0aXZlIjp7ImFnZW50LTEiOjB9LCJhY3RpdmVfYXV0aHMiOnsiYWdlbnQtMSI6e319LCJtYXhfY29uY3VycmVudCI6eyJhZ2VudC0xIjozfX0sIktpbGxTd2l0Y2hNb2R1bGUiOnsiYWdlbnRzIjp7fSwiZ2xvYmFsIjpmYWxzZX0sIlJlY3Vyc2lvbkRlcHRoTW9kdWxlIjp7Im1heF9kZXB0aCI6eyJhZ2VudC0xIjo1fX0sIlJlcGxheU1vZHVsZSI6eyJtYXhfbm9uY2VzX3Blcl9hZ2VudCI6MjU2LCJub25jZXMiOnt9LCJ3aW5kb3dfc2Vjb25kcyI6MzAwfSwiVG9vbEFtcGxpZmljYXRpb25Nb2R1bGUiOnsiY2FsbHMiOnt9LCJtYXhfY2FsbHMiOnsiYWdlbnQtMSI6NTB9LCJtYXhfY2FsbHNfYnlfdG9vbCI6e30sIndpbmRvd19zZWNvbmRzIjo2MH0sIlZlbG9jaXR5TW9kdWxlIjp7ImNvbmZpZyI6eyJtYXhfYWN0aW9ucyI6MTAsIndpbmRvd19zZWNvbmRzIjo2MH0sImNvdW50ZXJzIjp7fX19LCJwb2xpY3lJZCI6ImFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEifQ==",
123
+ "input_snapshot_base64": "eyJlbmdpbmVWZXJzaW9uIjoidW5rbm93biIsImZvcm1hdFZlcnNpb24iOjEsIm1vZHVsZXMiOnsiQWxsb3dsaXN0TW9kdWxlIjp7ImFjdGlvbl90eXBlcyI6W10sImFzc2V0cyI6W10sInRhcmdldHMiOltdfSwiQnVkZ2V0TW9kdWxlIjp7ImJ1ZGdldF9saW1pdCI6eyJhZ2VudC0xIjoiNTAwMDAwMCJ9LCJtYXhfYW1vdW50X3Blcl9hY3Rpb24iOnsiYWdlbnQtMSI6IjIwMDAwMDAifSwic3BlbnRfaW5fcGVyaW9kIjp7ImFnZW50LTEiOiIwIn19LCJDb25jdXJyZW5jeU1vZHVsZSI6eyJhY3RpdmUiOnsiYWdlbnQtMSI6MH0sImFjdGl2ZV9hdXRocyI6eyJhZ2VudC0xIjp7fX0sIm1heF9jb25jdXJyZW50Ijp7ImFnZW50LTEiOjN9fSwiS2lsbFN3aXRjaE1vZHVsZSI6eyJhZ2VudHMiOnt9LCJnbG9iYWwiOmZhbHNlfSwiUmVjdXJzaW9uRGVwdGhNb2R1bGUiOnsibWF4X2RlcHRoIjp7ImFnZW50LTEiOjV9fSwiUmVwbGF5TW9kdWxlIjp7Im1heF9ub25jZXNfcGVyX2FnZW50IjoyNTYsIm5vbmNlcyI6e30sIndpbmRvd19zZWNvbmRzIjozMDB9LCJUb29sQW1wbGlmaWNhdGlvbk1vZHVsZSI6eyJjYWxscyI6e30sIm1heF9jYWxscyI6eyJhZ2VudC0xIjo1MH0sIm1heF9jYWxsc19ieV90b29sIjp7fSwid2luZG93X3NlY29uZHMiOjYwfSwiVmVsb2NpdHlNb2R1bGUiOnsiY29uZmlnIjp7Im1heF9hY3Rpb25zIjoxMCwid2luZG93X3NlY29uZHMiOjYwfSwiY291bnRlcnMiOnt9fX0sInBvbGljeUlkIjoiYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYSJ9",
124
124
  "expected": {
125
- "state_hash": "c374a7a605dbf67fdc4dd68c30931d79ddf7eff0e57b9eb89ef6b77a5e3623ee"
125
+ "state_hash": "af9020dcf23b68ca00ae29a5b1371d892763e0a49fe07866fbdba88b0b2f56a8"
126
126
  },
127
127
  "invariant": "equals snapshot-hash-001"
128
128
  }