@hyperscale0/udl 1.0.0-alpha.1

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 (97) hide show
  1. package/AUTHORS +8 -0
  2. package/CHANGELOG.md +36 -0
  3. package/LICENSE +661 -0
  4. package/LICENSING.md +51 -0
  5. package/README.md +163 -0
  6. package/SECURITY.md +42 -0
  7. package/TRADEMARKS.md +35 -0
  8. package/conformance/README.md +79 -0
  9. package/conformance/invalid/blank-title.expected.json +10 -0
  10. package/conformance/invalid/blank-title.udl +50 -0
  11. package/conformance/invalid/depth-budget.expected.json +10 -0
  12. package/conformance/invalid/depth-budget.udl +49 -0
  13. package/conformance/invalid/format-version.expected.json +10 -0
  14. package/conformance/invalid/format-version.udl +50 -0
  15. package/conformance/invalid/invalid-utf8.expected.json +10 -0
  16. package/conformance/invalid/invalid-utf8.udl +1 -0
  17. package/conformance/invalid/malformed-json.expected.json +10 -0
  18. package/conformance/invalid/malformed-json.udl +1 -0
  19. package/conformance/invalid/missing-create-verb.expected.json +10 -0
  20. package/conformance/invalid/missing-create-verb.udl +45 -0
  21. package/conformance/invalid/not-an-object.expected.json +10 -0
  22. package/conformance/invalid/not-an-object.udl +1 -0
  23. package/conformance/invalid/noun-id-not-snake-case.expected.json +10 -0
  24. package/conformance/invalid/noun-id-not-snake-case.udl +50 -0
  25. package/conformance/invalid/unknown-key.expected.json +10 -0
  26. package/conformance/invalid/unknown-key.udl +51 -0
  27. package/conformance/invalid/unreachable-state.expected.json +10 -0
  28. package/conformance/invalid/unreachable-state.udl +51 -0
  29. package/conformance/invalid/verb-without-transition.expected.json +10 -0
  30. package/conformance/invalid/verb-without-transition.udl +55 -0
  31. package/conformance/valid/cards.expected.json +5 -0
  32. package/conformance/valid/cards.udl +1092 -0
  33. package/conformance/valid/commerce-escrow.expected.json +5 -0
  34. package/conformance/valid/commerce-escrow.udl +1011 -0
  35. package/conformance/valid/hand-edited.expected.json +5 -0
  36. package/conformance/valid/hand-edited.udl +1 -0
  37. package/conformance/valid/insured-car-marketplace.expected.json +5 -0
  38. package/conformance/valid/insured-car-marketplace.udl +831 -0
  39. package/conformance/valid/insured-travel.expected.json +5 -0
  40. package/conformance/valid/insured-travel.udl +2621 -0
  41. package/conformance/valid/minimal.expected.json +5 -0
  42. package/conformance/valid/minimal.udl +50 -0
  43. package/conformance/valid/protection.expected.json +5 -0
  44. package/conformance/valid/protection.udl +1136 -0
  45. package/dist/canonical.d.ts +2 -0
  46. package/dist/canonical.d.ts.map +1 -0
  47. package/dist/canonical.js +35 -0
  48. package/dist/canonical.js.map +1 -0
  49. package/dist/cli.d.ts +3 -0
  50. package/dist/cli.d.ts.map +1 -0
  51. package/dist/cli.js +138 -0
  52. package/dist/cli.js.map +1 -0
  53. package/dist/duration.d.ts +3 -0
  54. package/dist/duration.d.ts.map +1 -0
  55. package/dist/duration.js +23 -0
  56. package/dist/duration.js.map +1 -0
  57. package/dist/evolution.d.ts +63 -0
  58. package/dist/evolution.d.ts.map +1 -0
  59. package/dist/evolution.js +345 -0
  60. package/dist/evolution.js.map +1 -0
  61. package/dist/finance.d.ts +53 -0
  62. package/dist/finance.d.ts.map +1 -0
  63. package/dist/finance.js +511 -0
  64. package/dist/finance.js.map +1 -0
  65. package/dist/index.d.ts +11 -0
  66. package/dist/index.d.ts.map +1 -0
  67. package/dist/index.js +8 -0
  68. package/dist/index.js.map +1 -0
  69. package/dist/limits.d.ts +33 -0
  70. package/dist/limits.d.ts.map +1 -0
  71. package/dist/limits.js +33 -0
  72. package/dist/limits.js.map +1 -0
  73. package/dist/parser.d.ts +4 -0
  74. package/dist/parser.d.ts.map +1 -0
  75. package/dist/parser.js +54 -0
  76. package/dist/parser.js.map +1 -0
  77. package/dist/schema.d.ts +757 -0
  78. package/dist/schema.d.ts.map +1 -0
  79. package/dist/schema.js +281 -0
  80. package/dist/schema.js.map +1 -0
  81. package/dist/validation.d.ts +64 -0
  82. package/dist/validation.d.ts.map +1 -0
  83. package/dist/validation.js +1323 -0
  84. package/dist/validation.js.map +1 -0
  85. package/package.json +84 -0
  86. package/spec/README.md +137 -0
  87. package/spec/udl.schema.json +1019 -0
  88. package/src/canonical.ts +41 -0
  89. package/src/cli.ts +148 -0
  90. package/src/duration.ts +26 -0
  91. package/src/evolution.ts +587 -0
  92. package/src/finance.ts +775 -0
  93. package/src/index.ts +59 -0
  94. package/src/limits.ts +32 -0
  95. package/src/parser.ts +61 -0
  96. package/src/schema.ts +339 -0
  97. package/src/validation.ts +2053 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"evolution.js","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AA+DA,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,IAAa;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxC,OAAO;QACL,mBAAmB,EAAE,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,GAAG,CACvD,qBAAqB,CACtB;QACD,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;YACnD,KAAK;YACL,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE;SAC1C,CAAC,CACH;QACD,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;QAC/B,OAAO,EAAE,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1C,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CACrC,CAAC,SAAS,EAAE,EAAE,CACZ,GAAG,SAAS,CAAC,UAAU,MAAM,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC/E;QACD,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QAClC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;QACrD,WAAW,EAAE,MAAM,CAAC,WAAW,CAC7B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;YACrE,IAAI;YACJ,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE;SAClD,CAAC,CACH;QACD,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;QAC3B,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE;QACvC,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE;QACvC,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;YACrD,IAAI;YACJ,eAAe,CAAC,UAAU,CAAC;SAC5B,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,gBAAgB,CAC9B,QAAqB,EACrB,IAAiB;IAEjB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,UAAU,CAAC,IAAI,CACb,2BAA2B,QAAQ,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CACb,uCAAuC,QAAQ,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,EAAE,CAC7E,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAU,CAAC,CACrE,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAU,CAAC,CACjE,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,cAAc,GAAG,IAAI,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC,gBAAgB,IAAI,yBAAyB,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,eAAe,CAAC,OAAO,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,cAAc,GAAG,IAAI,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC,gBAAgB,IAAI,8BAA8B,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;IACzD,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,CAAU,CAAC,CACxE,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,CAAC,CAAU,CAAC,CACpE,CAAC;IACF,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,cAAc,GAAG,IAAI,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,0CAA0C,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,cAAc,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;IACpD,CAAC;IAED,IAAI,cAAc,IAAI,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACvD,UAAU,CAAC,IAAI,CACb,yDAAyD,QAAQ,CAAC,OAAO,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,QAA+B,EAC/B,IAA2B;IAE3B,IAAI,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QAC5B,OAAO,CAAC,wBAAwB,QAAQ,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QACxC,UAAU,CAAC,IAAI,CACb,mCAAmC,QAAQ,CAAC,QAAQ,OAAO,IAAI,CAAC,QAAQ,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,UAAU,CAAC,IAAI,CACb,wCAAwC,QAAQ,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,EAAE,CAC9E,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,IAAI,CACb,GAAG,iBAAiB,CAClB,QAAQ,CAAC,MAAM,EACf,IAAI,CAAC,MAAM,EACX,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,KAAK,yBAAyB,CAC7D,CACF,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACtE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,UAAU,CAAC,IAAI,CAAC,uBAAuB,IAAI,yBAAyB,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC;YACjC,UAAU,CAAC,IAAI,CACb,uBAAuB,IAAI,kCAAkC,UAAU,CAAC,EAAE,OAAO,OAAO,CAAC,EAAE,EAAE,CAC9F,CAAC;QACJ,CAAC;QACD,UAAU,CAAC,IAAI,CACb,GAAG,iBAAiB,CAClB,UAAU,CAAC,IAAI,EACf,OAAO,CAAC,IAAI,EACZ,CAAC,KAAK,EAAE,EAAE,CACR,uBAAuB,IAAI,+BAA+B,KAAK,EAAE,CACpE,CACF,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,UAAU,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1D,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,UAAU,CAAC,IAAI,CACb,GAAG,iBAAiB,CAClB,QAAQ,CAAC,UAAU,EACnB,IAAI,CAAC,UAAU,EACf,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,GAAG,eAAe,CAC9C,EACD,GAAG,IAAI,CAAC,UAAU;SACf,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;SACnD,GAAG,CACF,CAAC,GAAG,EAAE,EAAE,CACN,kBAAkB,GAAG,gDAAgD,CACxE,CACJ,CAAC;IACF,UAAU,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,UAAU,CAAC,IAAI,CACb,GAAG,iBAAiB,CAClB,QAAQ,CAAC,QAAQ,EACjB,IAAI,CAAC,QAAQ,EACb,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,IAAI,0CAA0C,CACzE,EACD,GAAG,iBAAiB,CAClB,QAAQ,CAAC,YAAY,EACrB,IAAI,CAAC,YAAY,EACjB,CAAC,KAAK,EAAE,EAAE,CAAC,yCAAyC,KAAK,EAAE,CAC5D,EACD,GAAG,iBAAiB,CAClB,QAAQ,CAAC,YAAY,EACrB,IAAI,CAAC,YAAY,EACjB,CAAC,KAAK,EAAE,EAAE,CAAC,yCAAyC,KAAK,EAAE,CAC5D,CACF,CAAC;IACF,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,UAAmB;IAC1C,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,IAAI;QACrC,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,IAAI;QACrC,GAAG,EAAE,UAAU,CAAC,GAAG,IAAI,IAAI;QAC3B,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,KAAK;QACtC,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,IAAI;QACvC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;QAC3E,gBAAgB,EAAE,UAAU,CAAC,KAAK;YAChC,CAAC,CAAC,6BAA6B,CAAC,UAAU,CAAC,KAAK,CAAC;YACjD,CAAC,CAAC,IAAI;QACR,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,IAAI;QAC7B,MAAM,EAAE,UAAU,CAAC,MAAM,IAAI,IAAI;QACjC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,EAAE;YAC3B,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;QACH,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,IAAI,EAAE;QACrD,sBAAsB,EAAE,UAAU,CAAC,sBAAsB,IAAI,IAAI;QACjE,YAAY,EAAE,UAAU,CAAC,YAAY,IAAI,EAAE;QAC3C,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,EAAE;YAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAyC;IAEzC,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CACpB,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CACtD;QACH,CAAC,CAAC,EAAE,CACP,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;QACvD,KAAK;QACL,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE;KACvD,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAyC;IAEzC,MAAM,EACJ,UAAU,EAAE,WAAW,EACvB,QAAQ,EAAE,SAAS,EACnB,GAAG,WAAW,EACf,GAAG,MAAM,CAAC;IACX,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CACjB,QAA0D,EAC1D,IAAsD;IAEtD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,yBAAyB,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,yCAAyC,CAAC,CAAC;QAC3E,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,EACtE,CAAC;YACD,UAAU,CAAC,IAAI,CACb,SAAS,KAAK,gDAAgD,CAC/D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CACb,SAAS,KAAK,8FAA8F,CAC7G,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAChB,QAAyD,EACzD,IAAqD;IAErD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,yBAAyB,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACrD,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gCAAgC,UAAU,CAAC,KAAK,CAAC,MAAM,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,sCAAsC,CACrI,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAA0B,CAAC;gBAC/D,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxD,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,iBAAiB,IAAI,CAAC,GAAG,aAAa,KAAK,sCAAsC,CAC9F,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACrD,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gCAAgC,UAAU,CAAC,KAAK,CAAC,MAAM,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,kCAAkC,CACjI,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAA0B,CAAC;gBAC/D,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,QAAQ,CAAC;oBAAE,OAAO;gBAChE,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,iBAAiB,KAAK,KAAK,IAAI,CAAC,SAAS,mCAAmC,CACzF,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;QACD,UAAU,CAAC,IAAI,CACb,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAChE,CAAC;QACF,2EAA2E;QAC3E,4EAA4E;QAC5E,IACE,UAAU,CAAC,KAAK,KAAK,IAAI;YACzB,eAAe,CAAC,UAAU,CAAC,gBAAgB,CAAC;gBAC1C,eAAe,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAC3C,CAAC;YACD,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,+EAA+E,CAC5F,CAAC;QACJ,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,YAAY,CAAC;YACxC,eAAe,CAAC,OAAO,CAAC,YAAY,CAAC,EACrC,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,+BAA+B,CAAC,CAAC;QAC/D,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,iBAAiB,CAAC;YAC7C,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAC1C,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,wCAAwC,CAAC,CAAC;QACxE,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,sBAAsB,CAAC;YAClD,eAAe,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAC/C,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,mCAAmC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,4BAA4B,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,UAAU,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,yBAAyB,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACrE,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,4BAA4B,CAAC,CAAC;QAC5D,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,EAC1E,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,iCAAiC,CAAC,CAAC;QACjE,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,EAC1E,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,gCAAgC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,4BAA4B,CAAC,CAAC;QAC5D,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,EACtE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,iCAAiC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAChB,IAAY,EACZ,QAA0D,EAC1D,IAAsD;IAEtD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,qEAAqE;YACrE,yEAAyE;YACzE,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gBAAgB,KAAK,yBAAyB,CAC3D,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gBAAgB,KAAK,6CAA6C,CAC/E,CAAC;QACJ,CAAC;QACD,IACE,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,EACtE,CAAC;YACD,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gBAAgB,KAAK,qDAAqD,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CACb,QAAQ,IAAI,gBAAgB,KAAK,mDAAmD,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAClB,QAA0C,EAC1C,IAAsC;IAEtC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,cAAc,IAAI,yBAAyB,CAAC,CAAC;aACtE,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CACb,cAAc,IAAI,qBAAqB,KAAK,OAAO,OAAO,EAAE,CAC7D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,cAAc,CACrB,QAA+B,EAC/B,IAA2B;IAE3B,OAAO;QACL,GAAG,iBAAiB,CAClB,QAAQ,CAAC,mBAAmB,EAC5B,IAAI,CAAC,mBAAmB,EACxB,CAAC,GAAG,EAAE,EAAE,CAAC,wBAAwB,GAAG,eAAe,CACpD;QACD,GAAG,IAAI,CAAC,mBAAmB;aACxB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aAC5D,GAAG,CACF,CAAC,GAAG,EAAE,EAAE,CACN,wBAAwB,GAAG,kDAAkD,CAChF;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAAiB,EAAE,IAAa;IAClD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACxD,OAAO,eAAe,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC;QACxD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,yFAAyF;SAC1F,CAAC;AACR,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAuB;IACpD,MAAM,OAAO,GACX,YAAY,IAAI,SAAS;QACvB,CAAC,CAAC,SAAS,CAAC,UAAU;QACtB,CAAC,CAAC,QAAQ,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,QAAQ,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpG,OAAO,GAAG,SAAS,CAAC,WAAW,IAAI,OAAO,WAAW,SAAS,CAAC,WAAW,QAAQ,SAAS,CAAC,aAAa,UAAU,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACrK,CAAC;AAED,SAAS,iBAAiB,CACxB,QAA2B,EAC3B,IAAuB,EACvB,OAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA+D;IAE/D,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAChC,CAAC,KAAK,EAA6B,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CACnE,CACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAA2C;QAC9C,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACrD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,IAAI,OAAO;SACf,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;SACzE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC"}
@@ -0,0 +1,53 @@
1
+ import type { UdlBinding } from "./schema.js";
2
+ export interface FinanceIssue {
3
+ readonly message: string;
4
+ readonly path: readonly PropertyKey[];
5
+ }
6
+ export interface FinanceOptions {
7
+ readonly penaltyMayBeNonzero?: boolean;
8
+ }
9
+ interface FinancialStep {
10
+ readonly operation: string;
11
+ readonly bind: Readonly<Record<string, UdlBinding>>;
12
+ readonly capture?: Readonly<Record<string, string>> | undefined;
13
+ }
14
+ interface FinancialMove extends FinancialStep {
15
+ readonly key: string;
16
+ }
17
+ interface FinancialNoun {
18
+ readonly lifecycle: {
19
+ readonly initial: string;
20
+ readonly states: readonly string[];
21
+ readonly transitions: Readonly<Record<string, {
22
+ readonly from: readonly string[];
23
+ readonly to: string;
24
+ }>>;
25
+ };
26
+ readonly parties?: {
27
+ readonly beneficiary?: string | undefined;
28
+ readonly payer?: string | undefined;
29
+ readonly subjectHolder?: string | undefined;
30
+ } | undefined;
31
+ readonly unwind?: {
32
+ readonly confirm: string;
33
+ readonly penalty: readonly {
34
+ readonly bps: number;
35
+ }[];
36
+ readonly refundableField: string;
37
+ } | undefined;
38
+ readonly verbs: Readonly<Record<string, {
39
+ readonly moves?: readonly FinancialMove[];
40
+ readonly steps: readonly FinancialStep[];
41
+ }>>;
42
+ }
43
+ /**
44
+ * One financial typestate owner for canonical UDL and static noun contracts.
45
+ * It proves a tracked escrow account holds an exact set of funded amounts,
46
+ * models held transfers through reserve/post/void, consumes every direct
47
+ * debit piece by piece, and makes the unwind refund's sole remainder an
48
+ * exactly-once penalty payout.
49
+ */
50
+ export declare function analyzeNounFinance(noun: FinancialNoun, options?: FinanceOptions): readonly FinanceIssue[];
51
+ export declare function financeAdmissionProblem(noun: FinancialNoun): string | undefined;
52
+ export {};
53
+ //# sourceMappingURL=finance.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"finance.d.ts","sourceRoot":"","sources":["../src/finance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED,UAAU,aAAc,SAAQ,aAAa;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC,CAC1E,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,EACb;QACE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC7C,GACD,SAAS,CAAC;IACd,QAAQ,CAAC,MAAM,CAAC,EACZ;QACE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,SAAS;YACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;SACtB,EAAE,CAAC;QACJ,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,GACD,SAAS,CAAC;IACd,QAAQ,CAAC,KAAK,EAAE,QAAQ,CACtB,MAAM,CACJ,MAAM,EACN;QACE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;QAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;KAC1C,CACF,CACF,CAAC;CACH;AAuDD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,aAAa,EACnB,OAAO,GAAE,cAAmB,GAC3B,SAAS,YAAY,EAAE,CA8JzB;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,aAAa,GAClB,MAAM,GAAG,SAAS,CAgCpB"}
@@ -0,0 +1,511 @@
1
+ import { UDL_LIMITS } from "./limits.js";
2
+ const EMPTY = { kind: "empty" };
3
+ const UNKNOWN = { kind: "unknown" };
4
+ // A funded balance is the exact set of amount identities currently held.
5
+ // Distinct identities stack (a partitioned funding); re-crediting an identity
6
+ // already present degrades to unknown, which keeps the state space finite.
7
+ function funded(amounts) {
8
+ if (amounts.length === 0)
9
+ return EMPTY;
10
+ return { kind: "funded", amounts: [...amounts].sort() };
11
+ }
12
+ function withoutPiece(amounts, amount) {
13
+ const index = amounts.indexOf(amount);
14
+ return amounts.filter((_, position) => position !== index);
15
+ }
16
+ /**
17
+ * One financial typestate owner for canonical UDL and static noun contracts.
18
+ * It proves a tracked escrow account holds an exact set of funded amounts,
19
+ * models held transfers through reserve/post/void, consumes every direct
20
+ * debit piece by piece, and makes the unwind refund's sole remainder an
21
+ * exactly-once penalty payout.
22
+ */
23
+ export function analyzeNounFinance(noun, options = {}) {
24
+ const issues = [];
25
+ const seenIssues = new Set();
26
+ const add = (path, message) => {
27
+ const key = `${path.join(".")}\0${message}`;
28
+ if (seenIssues.has(key))
29
+ return;
30
+ seenIssues.add(key);
31
+ issues.push({ message, path });
32
+ };
33
+ const admissionProblem = financeAdmissionProblem(noun);
34
+ if (admissionProblem) {
35
+ add(["lifecycle"], admissionProblem);
36
+ return issues;
37
+ }
38
+ const trackedAccounts = workspaceEscrowAccounts(noun);
39
+ const confirmTransfer = noun.unwind
40
+ ? noun.verbs[noun.unwind.confirm]?.moves?.filter((move) => move.operation === "internal_transfer.create")[0]
41
+ : undefined;
42
+ const refundSource = canonicalAccount(noun, confirmTransfer?.bind.sourceAccountId);
43
+ if (refundSource)
44
+ trackedAccounts.add(refundSource);
45
+ if (trackedAccounts.size === 0)
46
+ return [];
47
+ if (trackedAccounts.size > UDL_LIMITS.financeAccounts) {
48
+ add(["verbs"], `financial analysis exceeds ${UDL_LIMITS.financeAccounts} tracked accounts`);
49
+ return issues;
50
+ }
51
+ const reservations = reservationsByKey(noun);
52
+ const declaresPenaltyPayout = Object.values(noun.verbs).some((verb) => (verb.moves ?? []).some((move) => Object.values(move.bind).some((binding) => binding.from === "instance" && binding.path === "refs.unwindPenalty")));
53
+ const penaltyCanBeNonzero = options.penaltyMayBeNonzero === true ||
54
+ declaresPenaltyPayout ||
55
+ noun.unwind?.penalty.some((tier) => tier.bps > 0) === true;
56
+ if (noun.unwind) {
57
+ validatePenaltyPayout(noun, refundSource, penaltyCanBeNonzero, add);
58
+ }
59
+ let pathVariants = 0;
60
+ let work = 0;
61
+ for (const account of trackedAccounts) {
62
+ const effects = effectsByVerb(noun, account, reservations, penaltyCanBeNonzero);
63
+ const createEffects = effects.get("create") ?? [];
64
+ work += 1 + createEffects.length;
65
+ if (work > UDL_LIMITS.financeWork) {
66
+ add(["lifecycle"], `financial analysis exceeds ${UDL_LIMITS.financeWork} deterministic work units`);
67
+ return issues;
68
+ }
69
+ const initial = applyEffects(noun, account, "create", { balance: EMPTY, holds: {} }, createEffects, reservations, account === refundSource, add);
70
+ const states = new Map([
71
+ [noun.lifecycle.initial, new Map([[stateKey(initial), initial]])],
72
+ ]);
73
+ pathVariants += 1;
74
+ const pending = [noun.lifecycle.initial];
75
+ while (pending.length > 0) {
76
+ const from = pending.shift();
77
+ const sourceStates = states.get(from);
78
+ if (!sourceStates)
79
+ continue;
80
+ for (const [verb, transition] of Object.entries(noun.lifecycle.transitions)) {
81
+ if (!transition.from.includes(from))
82
+ continue;
83
+ const targetStates = states.get(transition.to) ?? new Map();
84
+ states.set(transition.to, targetStates);
85
+ let grew = false;
86
+ for (const sourceState of sourceStates.values()) {
87
+ const transitionEffects = effects.get(verb) ?? [];
88
+ work += 1 + transitionEffects.length;
89
+ if (work > UDL_LIMITS.financeWork) {
90
+ add(["lifecycle"], `financial analysis exceeds ${UDL_LIMITS.financeWork} deterministic work units`);
91
+ return issues;
92
+ }
93
+ const targetState = applyEffects(noun, account, verb, sourceState, transitionEffects, reservations, account === refundSource, add);
94
+ const key = stateKey(targetState);
95
+ if (targetStates.has(key))
96
+ continue;
97
+ targetStates.set(key, targetState);
98
+ pathVariants += 1;
99
+ if (pathVariants > UDL_LIMITS.financePathVariants) {
100
+ add(["lifecycle"], `financial analysis exceeds ${UDL_LIMITS.financePathVariants} distinct path variants`);
101
+ return issues;
102
+ }
103
+ grew = true;
104
+ }
105
+ if (grew && !pending.includes(transition.to))
106
+ pending.push(transition.to);
107
+ }
108
+ }
109
+ const nonterminalStates = new Set(Object.values(noun.lifecycle.transitions).flatMap((transition) => transition.from));
110
+ for (const [state, variants] of states) {
111
+ if (nonterminalStates.has(state))
112
+ continue;
113
+ for (const variant of variants.values()) {
114
+ if (variant.balance.kind === "empty" &&
115
+ Object.keys(variant.holds).length === 0) {
116
+ continue;
117
+ }
118
+ add(["lifecycle", "states", noun.lifecycle.states.indexOf(state)], `terminal state ${state} can strand value in ${formatAccount(account)}`);
119
+ }
120
+ }
121
+ }
122
+ return issues;
123
+ }
124
+ export function financeAdmissionProblem(noun) {
125
+ if (noun.lifecycle.states.length > UDL_LIMITS.financeStates) {
126
+ return `financial analysis exceeds ${UDL_LIMITS.financeStates} lifecycle states`;
127
+ }
128
+ let transitionCount = 0;
129
+ let transitionEdges = 0;
130
+ for (const name in noun.lifecycle.transitions) {
131
+ if (!Object.hasOwn(noun.lifecycle.transitions, name))
132
+ continue;
133
+ transitionCount += 1;
134
+ if (transitionCount > UDL_LIMITS.financeTransitions) {
135
+ return `financial analysis exceeds ${UDL_LIMITS.financeTransitions} lifecycle transitions`;
136
+ }
137
+ transitionEdges += noun.lifecycle.transitions[name]?.from.length ?? 0;
138
+ if (transitionEdges > UDL_LIMITS.financeTransitionEdges) {
139
+ return `financial analysis exceeds ${UDL_LIMITS.financeTransitionEdges} lifecycle transition edges`;
140
+ }
141
+ }
142
+ let verbCount = 0;
143
+ let effectCount = 0;
144
+ for (const name in noun.verbs) {
145
+ if (!Object.hasOwn(noun.verbs, name))
146
+ continue;
147
+ verbCount += 1;
148
+ if (verbCount > UDL_LIMITS.financeVerbs) {
149
+ return `financial analysis exceeds ${UDL_LIMITS.financeVerbs} verbs`;
150
+ }
151
+ const verb = noun.verbs[name];
152
+ effectCount += (verb?.steps.length ?? 0) + (verb?.moves?.length ?? 0);
153
+ if (effectCount > UDL_LIMITS.financeEffects) {
154
+ return `financial analysis exceeds ${UDL_LIMITS.financeEffects} kernel effects`;
155
+ }
156
+ }
157
+ return undefined;
158
+ }
159
+ function workspaceEscrowAccounts(noun) {
160
+ const accounts = new Set();
161
+ for (const verb of Object.values(noun.verbs)) {
162
+ for (const step of verb.steps) {
163
+ if (step.operation !== "account.escrow.provision" ||
164
+ step.bind.role?.from !== "const" ||
165
+ step.bind.role.value !== "workspace_escrow") {
166
+ continue;
167
+ }
168
+ for (const [key, result] of Object.entries(step.capture ?? {})) {
169
+ if (result === "accountId")
170
+ accounts.add(`ref:${key}`);
171
+ }
172
+ }
173
+ }
174
+ // `workspace_escrow` also backs open-ended balance products such as wallets.
175
+ // Only instance-bound amounts claim static conservation; caller-sized flows
176
+ // remain runtime balance checks. Unwind sources are added separately above.
177
+ return new Set([...accounts].filter((account) => Object.values(noun.verbs).some((verb) => (verb.moves ?? []).some((step) => {
178
+ if ((step.operation !== "internal_transfer.create" &&
179
+ step.operation !== "internal_transfer.reserve") ||
180
+ step.bind.amount?.from !== "instance") {
181
+ return false;
182
+ }
183
+ return (canonicalAccount(noun, step.bind.sourceAccountId) === account ||
184
+ canonicalAccount(noun, step.bind.destinationAccountId) === account);
185
+ }))));
186
+ }
187
+ function reservationsByKey(noun) {
188
+ const reservations = new Map();
189
+ for (const verb of Object.values(noun.verbs)) {
190
+ for (const step of verb.moves ?? []) {
191
+ if (step.operation !== "internal_transfer.reserve")
192
+ continue;
193
+ const source = canonicalAccount(noun, step.bind.sourceAccountId);
194
+ const destination = canonicalAccount(noun, step.bind.destinationAccountId);
195
+ const amount = amountIdentity(step.bind.amount);
196
+ for (const [key, result] of Object.entries(step.capture ?? {})) {
197
+ if (result === "transferId") {
198
+ reservations.set(key, {
199
+ amount,
200
+ ...(destination ? { destination } : {}),
201
+ ...(source ? { source } : {}),
202
+ });
203
+ }
204
+ }
205
+ }
206
+ }
207
+ return reservations;
208
+ }
209
+ function effectsByVerb(noun, account, reservations, penaltyCanBeNonzero) {
210
+ return new Map(Object.entries(noun.verbs).map(([verbName, verb]) => [
211
+ verbName,
212
+ (verb.moves ?? []).flatMap((step, stepIndex) => {
213
+ const path = ["verbs", verbName, "moves", stepIndex, "bind"];
214
+ if (step.operation === "internal_transfer.create") {
215
+ const effects = [];
216
+ const amount = amountIdentity(step.bind.amount);
217
+ if (canonicalAccount(noun, step.bind.destinationAccountId) === account) {
218
+ effects.push({ amount, kind: "credit", path });
219
+ }
220
+ const source = canonicalAccount(noun, step.bind.sourceAccountId);
221
+ if (source && accountsMayAlias(source, account)) {
222
+ const kind = verbName === noun.unwind?.confirm &&
223
+ step.bind.amount?.from === "instance" &&
224
+ step.bind.amount.path === "refs.unwindRefund"
225
+ ? "refund"
226
+ : step.bind.amount?.from === "instance" &&
227
+ step.bind.amount.path === "refs.unwindPenalty"
228
+ ? "penalty_debit"
229
+ : step.bind.amount?.from === "instance"
230
+ ? "debit"
231
+ : "dynamic_debit";
232
+ effects.push({
233
+ amount: kind === "refund" && !penaltyCanBeNonzero
234
+ ? "refund_without_penalty"
235
+ : amount,
236
+ kind,
237
+ path,
238
+ });
239
+ }
240
+ return effects;
241
+ }
242
+ if (step.operation === "internal_transfer.reserve") {
243
+ const reservation = transferRefKey(step) ?? `${verbName}:${stepIndex}`;
244
+ const effects = [];
245
+ const source = canonicalAccount(noun, step.bind.sourceAccountId);
246
+ if (source && accountsMayAlias(source, account)) {
247
+ effects.push({
248
+ amount: amountIdentity(step.bind.amount),
249
+ kind: "outgoing_reserve",
250
+ path,
251
+ reservation,
252
+ });
253
+ }
254
+ if (canonicalAccount(noun, step.bind.destinationAccountId) === account) {
255
+ effects.push({
256
+ amount: amountIdentity(step.bind.amount),
257
+ kind: "incoming_reserve",
258
+ path,
259
+ reservation,
260
+ });
261
+ }
262
+ return effects;
263
+ }
264
+ if (step.operation === "internal_transfer.post" ||
265
+ step.operation === "internal_transfer.void") {
266
+ const reservation = boundTransferRefKey(step);
267
+ if (!reservation)
268
+ return [];
269
+ const reserved = reservations.get(reservation);
270
+ if (!reserved ||
271
+ (!(reserved.source && accountsMayAlias(reserved.source, account)) &&
272
+ reserved.destination !== account)) {
273
+ return [];
274
+ }
275
+ return [
276
+ {
277
+ amount: reserved.amount,
278
+ kind: step.operation === "internal_transfer.post" ? "post" : "void",
279
+ path,
280
+ reservation,
281
+ },
282
+ ];
283
+ }
284
+ return [];
285
+ }),
286
+ ]));
287
+ }
288
+ function applyEffects(noun, account, verb, input, effects, reservations, exactBalance, add) {
289
+ let balance = input.balance;
290
+ const holds = { ...input.holds };
291
+ const accountLabel = formatAccount(account);
292
+ for (const effect of effects) {
293
+ const fail = (message) => add([...effect.path, "sourceAccountId"], `verb ${verb} ${message}`);
294
+ if (effect.kind === "credit") {
295
+ if (exactBalance &&
296
+ (balance.kind !== "empty" || Object.keys(holds).length > 0)) {
297
+ add([...effect.path, "destinationAccountId"], `verb ${verb} funds ${accountLabel} while earlier value may remain; unwind funding must establish exactly one refundable balance`);
298
+ balance = UNKNOWN;
299
+ continue;
300
+ }
301
+ const pieces = balance.kind === "funded" ? balance.amounts : [];
302
+ const stacks = (balance.kind === "empty" || balance.kind === "funded") &&
303
+ !pieces.includes(effect.amount);
304
+ balance = stacks ? funded([...pieces, effect.amount]) : UNKNOWN;
305
+ continue;
306
+ }
307
+ if (effect.kind === "incoming_reserve")
308
+ continue;
309
+ if (effect.kind === "outgoing_reserve") {
310
+ const held = balance.kind === "funded" && balance.amounts.includes(effect.amount);
311
+ if (!held) {
312
+ fail(`cannot reserve ${effect.amount} from ${accountLabel}; that exact balance is not guaranteed`);
313
+ }
314
+ holds[effect.reservation] = held
315
+ ? { kind: "funded", amounts: [effect.amount] }
316
+ : UNKNOWN;
317
+ balance =
318
+ held && balance.kind === "funded"
319
+ ? funded(withoutPiece(balance.amounts, effect.amount))
320
+ : EMPTY;
321
+ continue;
322
+ }
323
+ if (effect.kind === "post" || effect.kind === "void") {
324
+ const key = effect.reservation;
325
+ const reservation = reservations.get(key);
326
+ if (reservation?.source &&
327
+ accountsMayAlias(reservation.source, account)) {
328
+ const held = holds[key];
329
+ delete holds[key];
330
+ if (effect.kind === "void" && held) {
331
+ const pieces = balance.kind === "funded" ? balance.amounts : [];
332
+ const restorable = held.kind === "funded" &&
333
+ (balance.kind === "empty" ||
334
+ (balance.kind === "funded" &&
335
+ held.amounts.every((piece) => !pieces.includes(piece))));
336
+ if (restorable && held.kind === "funded") {
337
+ balance = funded([...pieces, ...held.amounts]);
338
+ }
339
+ else if (balance.kind === "empty") {
340
+ balance = held;
341
+ }
342
+ else {
343
+ add([...effect.path, "transferId"], `verb ${verb} restores a held ${accountLabel} balance on top of existing value`);
344
+ balance = UNKNOWN;
345
+ }
346
+ }
347
+ }
348
+ if (effect.kind === "post" && reservation?.destination === account) {
349
+ if (balance.kind !== "empty" || Object.keys(holds).length > 0) {
350
+ add([...effect.path, "transferId"], `verb ${verb} posts funding into ${accountLabel} while earlier value may remain`);
351
+ balance = UNKNOWN;
352
+ }
353
+ else {
354
+ balance = { kind: "funded", amounts: [effect.amount] };
355
+ }
356
+ }
357
+ continue;
358
+ }
359
+ if (effect.kind === "refund") {
360
+ const refundable = `fields.${noun.unwind?.refundableField ?? ""}`;
361
+ if (balance.kind !== "funded" ||
362
+ balance.amounts.length !== 1 ||
363
+ balance.amounts[0] !== refundable) {
364
+ fail(`cannot refund ${refundable} from ${accountLabel}; that exact balance is not guaranteed`);
365
+ balance = UNKNOWN;
366
+ }
367
+ else {
368
+ balance =
369
+ effect.amount === "refund_without_penalty"
370
+ ? EMPTY
371
+ : { kind: "penalty" };
372
+ }
373
+ continue;
374
+ }
375
+ if (effect.kind === "penalty_debit") {
376
+ if (balance.kind !== "penalty") {
377
+ fail(`cannot pay refs.unwindPenalty from ${accountLabel} before the refund leaves that exact remainder`);
378
+ }
379
+ balance = EMPTY;
380
+ continue;
381
+ }
382
+ if (effect.kind === "dynamic_debit") {
383
+ if (balance.kind === "empty") {
384
+ fail(`can debit unfunded ${accountLabel}`);
385
+ }
386
+ else if (balance.kind === "penalty") {
387
+ fail(`can debit ${accountLabel} after its refund left only refs.unwindPenalty`);
388
+ }
389
+ balance = balance.kind === "empty" ? EMPTY : { kind: "unknown" };
390
+ continue;
391
+ }
392
+ if (balance.kind === "funded" && balance.amounts.includes(effect.amount)) {
393
+ balance = funded(withoutPiece(balance.amounts, effect.amount));
394
+ continue;
395
+ }
396
+ if (balance.kind === "empty") {
397
+ fail(`can debit unfunded ${accountLabel}`);
398
+ }
399
+ else if (balance.kind === "penalty") {
400
+ fail(`can debit ${accountLabel} after its refund left only refs.unwindPenalty`);
401
+ }
402
+ else if (balance.kind === "funded" || exactBalance) {
403
+ fail(`cannot prove ${effect.amount} is the exact available balance of ${accountLabel}`);
404
+ }
405
+ balance = EMPTY;
406
+ }
407
+ return { balance, holds };
408
+ }
409
+ function validatePenaltyPayout(noun, refundSource, required, add) {
410
+ const uses = Object.entries(noun.verbs).flatMap(([verbName, verb]) => (verb.moves ?? []).flatMap((step, stepIndex) => Object.entries(step.bind).flatMap(([target, binding]) => binding.from === "instance" && binding.path === "refs.unwindPenalty"
411
+ ? [{ binding, step, stepIndex, target, verb, verbName }]
412
+ : [])));
413
+ if (required && uses.length !== 1) {
414
+ add(["verbs"], `refs.unwindPenalty is consumed ${uses.length} times; a nonzero penalty schedule requires exactly one payout`);
415
+ }
416
+ if (uses.length === 0)
417
+ return;
418
+ if (uses.length !== 1) {
419
+ if (!required) {
420
+ add(["verbs"], `refs.unwindPenalty is consumed ${uses.length} times; it may fund at most one payout`);
421
+ }
422
+ return;
423
+ }
424
+ const use = uses[0];
425
+ const payoutTransition = noun.lifecycle.transitions[use.verbName];
426
+ const confirmTarget = noun.lifecycle.transitions[noun.unwind.confirm]?.to;
427
+ const source = canonicalAccount(noun, use.step.bind.sourceAccountId);
428
+ const destination = canonicalAccount(noun, use.step.bind.destinationAccountId);
429
+ const directAfterConfirm = confirmTarget !== undefined &&
430
+ payoutTransition?.from.length === 1 &&
431
+ payoutTransition.from[0] === confirmTarget;
432
+ const oneWay = payoutTransition !== undefined &&
433
+ payoutTransition.to !== confirmTarget &&
434
+ !stateCanReach(noun, payoutTransition.to, confirmTarget);
435
+ const valid = use.target === "amount" &&
436
+ use.step.operation === "internal_transfer.create" &&
437
+ (use.verb.moves?.length ?? 0) === 1 &&
438
+ directAfterConfirm &&
439
+ oneWay &&
440
+ source !== undefined &&
441
+ source === refundSource &&
442
+ destination !== undefined &&
443
+ !accountsMayAlias(source, destination);
444
+ if (!valid) {
445
+ add(["verbs", use.verbName, "moves", use.stepIndex, "bind", use.target], `refs.unwindPenalty must be the amount of one internal transfer from the unwind refund source to a different account, in its own one-way verb directly after ${noun.unwind.confirm}`);
446
+ }
447
+ }
448
+ function canonicalAccount(noun, binding) {
449
+ if (binding?.from !== "instance")
450
+ return undefined;
451
+ const [root, key, extra] = binding.path.split(".");
452
+ if (!key || extra !== undefined)
453
+ return undefined;
454
+ if (root === "fields")
455
+ return `field:${key}`;
456
+ if (root === "refs")
457
+ return `ref:${key}`;
458
+ if (root === "party") {
459
+ const field = noun.parties?.[key];
460
+ return field ? `field:${field}` : undefined;
461
+ }
462
+ return undefined;
463
+ }
464
+ function accountsMayAlias(left, right) {
465
+ if (left.startsWith("field:") && right.startsWith("field:"))
466
+ return true;
467
+ return left === right;
468
+ }
469
+ function amountIdentity(binding) {
470
+ if (binding?.from === "instance")
471
+ return binding.path;
472
+ return binding?.from === "const" ? `const:${binding.value}` : "dynamic";
473
+ }
474
+ function transferRefKey(step) {
475
+ return Object.entries(step.capture ?? {}).find(([, result]) => result === "transferId")?.[0];
476
+ }
477
+ function boundTransferRefKey(step) {
478
+ const binding = step.bind.transferId;
479
+ return binding?.from === "instance" && binding.path.startsWith("refs.")
480
+ ? binding.path.slice("refs.".length)
481
+ : undefined;
482
+ }
483
+ function stateCanReach(noun, start, target) {
484
+ if (!target)
485
+ return false;
486
+ const seen = new Set([start]);
487
+ const pending = [start];
488
+ while (pending.length > 0) {
489
+ const state = pending.shift();
490
+ if (state === target)
491
+ return true;
492
+ for (const transition of Object.values(noun.lifecycle.transitions)) {
493
+ if (!transition.from.includes(state) || seen.has(transition.to))
494
+ continue;
495
+ seen.add(transition.to);
496
+ pending.push(transition.to);
497
+ }
498
+ }
499
+ return false;
500
+ }
501
+ function stateKey(state) {
502
+ return JSON.stringify({
503
+ balance: state.balance,
504
+ holds: Object.fromEntries(Object.entries(state.holds).sort(([a], [b]) => a.localeCompare(b))),
505
+ });
506
+ }
507
+ function formatAccount(account) {
508
+ const [kind, key] = account.split(":");
509
+ return `${kind === "field" ? "fields" : "refs"}.${key}`;
510
+ }
511
+ //# sourceMappingURL=finance.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"finance.js","sourceRoot":"","sources":["../src/finance.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAyFzC,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAEzC,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAE7C,yEAAyE;AACzE,8EAA8E;AAC9E,2EAA2E;AAC3E,SAAS,MAAM,CAAC,OAA0B;IACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,YAAY,CACnB,OAA0B,EAC1B,MAAc;IAEd,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAmB,EACnB,UAA0B,EAAE;IAE5B,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,IAA4B,EAAE,OAAe,EAAQ,EAAE;QAClE,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC;QAC5C,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAChC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,gBAAgB,EAAE,CAAC;QACrB,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACrC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,eAAe,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM;QACjC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,0BAA0B,CACxD,CAAC,CAAC,CAAC;QACN,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,YAAY,GAAG,gBAAgB,CACnC,IAAI,EACJ,eAAe,EAAE,IAAI,CAAC,eAAe,CACtC,CAAC;IACF,IAAI,YAAY;QAAE,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,IAAI,eAAe,CAAC,IAAI,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;QACtD,GAAG,CACD,CAAC,OAAO,CAAC,EACT,8BAA8B,UAAU,CAAC,eAAe,mBAAmB,CAC5E,CAAC;QACF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACpE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAC3B,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,CACvE,CACF,CACF,CAAC;IACF,MAAM,mBAAmB,GACvB,OAAO,CAAC,mBAAmB,KAAK,IAAI;QACpC,qBAAqB;QACrB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC;IAE7D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,EACJ,OAAO,EACP,YAAY,EACZ,mBAAmB,CACpB,CAAC;QACF,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC;QACjC,IAAI,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;YAClC,GAAG,CACD,CAAC,WAAW,CAAC,EACb,8BAA8B,UAAU,CAAC,WAAW,2BAA2B,CAChF,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAC1B,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAC7B,aAAa,EACb,YAAY,EACZ,OAAO,KAAK,YAAY,EACxB,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAoC;YACxD,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;SAClE,CAAC,CAAC;QACH,YAAY,IAAI,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACzC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAY,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,YAAY;gBAAE,SAAS;YAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAC7C,IAAI,CAAC,SAAS,CAAC,WAAW,CAC3B,EAAE,CAAC;gBACF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC9C,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBAC5D,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;gBACxC,IAAI,IAAI,GAAG,KAAK,CAAC;gBACjB,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;oBAChD,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClD,IAAI,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC;oBACrC,IAAI,IAAI,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;wBAClC,GAAG,CACD,CAAC,WAAW,CAAC,EACb,8BAA8B,UAAU,CAAC,WAAW,2BAA2B,CAChF,CAAC;wBACF,OAAO,MAAM,CAAC;oBAChB,CAAC;oBACD,MAAM,WAAW,GAAG,YAAY,CAC9B,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,WAAW,EACX,iBAAiB,EACjB,YAAY,EACZ,OAAO,KAAK,YAAY,EACxB,GAAG,CACJ,CAAC;oBACF,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;oBAClC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAS;oBACpC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;oBACnC,YAAY,IAAI,CAAC,CAAC;oBAClB,IAAI,YAAY,GAAG,UAAU,CAAC,mBAAmB,EAAE,CAAC;wBAClD,GAAG,CACD,CAAC,WAAW,CAAC,EACb,8BAA8B,UAAU,CAAC,mBAAmB,yBAAyB,CACtF,CAAC;wBACF,OAAO,MAAM,CAAC;oBAChB,CAAC;oBACD,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAC/C,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAChC,CACF,CAAC;QACF,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;YACvC,IAAI,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACxC,IACE,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;oBAChC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EACvC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,GAAG,CACD,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAC7D,kBAAkB,KAAK,wBAAwB,aAAa,CAAC,OAAO,CAAC,EAAE,CACxE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAmB;IAEnB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;QAC5D,OAAO,8BAA8B,UAAU,CAAC,aAAa,mBAAmB,CAAC;IACnF,CAAC;IACD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC;YAAE,SAAS;QAC/D,eAAe,IAAI,CAAC,CAAC;QACrB,IAAI,eAAe,GAAG,UAAU,CAAC,kBAAkB,EAAE,CAAC;YACpD,OAAO,8BAA8B,UAAU,CAAC,kBAAkB,wBAAwB,CAAC;QAC7F,CAAC;QACD,eAAe,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACtE,IAAI,eAAe,GAAG,UAAU,CAAC,sBAAsB,EAAE,CAAC;YACxD,OAAO,8BAA8B,UAAU,CAAC,sBAAsB,6BAA6B,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,SAAS;QAC/C,SAAS,IAAI,CAAC,CAAC;QACf,IAAI,SAAS,GAAG,UAAU,CAAC,YAAY,EAAE,CAAC;YACxC,OAAO,8BAA8B,UAAU,CAAC,YAAY,QAAQ,CAAC;QACvE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,WAAW,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;QACtE,IAAI,WAAW,GAAG,UAAU,CAAC,cAAc,EAAE,CAAC;YAC5C,OAAO,8BAA8B,UAAU,CAAC,cAAc,iBAAiB,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAmB;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IACE,IAAI,CAAC,SAAS,KAAK,0BAA0B;gBAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO;gBAChC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,kBAAkB,EAC3C,CAAC;gBACD,SAAS;YACX,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC/D,IAAI,MAAM,KAAK,WAAW;oBAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,OAAO,IAAI,GAAG,CACZ,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACtC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,IACE,CAAC,IAAI,CAAC,SAAS,KAAK,0BAA0B;YAC5C,IAAI,CAAC,SAAS,KAAK,2BAA2B,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,UAAU,EACrC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CACL,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,OAAO;YAC7D,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,OAAO,CACnE,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAmB;IAEnB,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,SAAS,KAAK,2BAA2B;gBAAE,SAAS;YAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACjE,MAAM,WAAW,GAAG,gBAAgB,CAClC,IAAI,EACJ,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAC/B,CAAC;YACF,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC/D,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;oBAC5B,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE;wBACpB,MAAM;wBACN,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACvC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC9B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,aAAa,CACpB,IAAmB,EACnB,OAAe,EACf,YAA8C,EAC9C,mBAA4B;IAE5B,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QACnD,QAAQ;QACR,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAC7C,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAU,CAAC;YACtE,IAAI,IAAI,CAAC,SAAS,KAAK,0BAA0B,EAAE,CAAC;gBAClD,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChD,IACE,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,OAAO,EAClE,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjD,CAAC;gBACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACjE,IAAI,MAAM,IAAI,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,GACR,QAAQ,KAAK,IAAI,CAAC,MAAM,EAAE,OAAO;wBACjC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,UAAU;wBACrC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB;wBAC3C,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,UAAU;4BACnC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,oBAAoB;4BAChD,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,UAAU;gCACrC,CAAC,CAAC,OAAO;gCACT,CAAC,CAAC,eAAe,CAAC;oBAC1B,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EACJ,IAAI,KAAK,QAAQ,IAAI,CAAC,mBAAmB;4BACvC,CAAC,CAAC,wBAAwB;4BAC1B,CAAC,CAAC,MAAM;wBACZ,IAAI;wBACJ,IAAI;qBACL,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,KAAK,2BAA2B,EAAE,CAAC;gBACnD,MAAM,WAAW,GACf,cAAc,CAAC,IAAI,CAAC,IAAI,GAAG,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACjE,IAAI,MAAM,IAAI,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;oBAChD,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;wBACxC,IAAI,EAAE,kBAAkB;wBACxB,IAAI;wBACJ,WAAW;qBACZ,CAAC,CAAC;gBACL,CAAC;gBACD,IACE,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,OAAO,EAClE,CAAC;oBACD,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;wBACxC,IAAI,EAAE,kBAAkB;wBACxB,IAAI;wBACJ,WAAW;qBACZ,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IACE,IAAI,CAAC,SAAS,KAAK,wBAAwB;gBAC3C,IAAI,CAAC,SAAS,KAAK,wBAAwB,EAC3C,CAAC;gBACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,CAAC,WAAW;oBAAE,OAAO,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC/C,IACE,CAAC,QAAQ;oBACT,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;wBAC/D,QAAQ,CAAC,WAAW,KAAK,OAAO,CAAC,EACnC,CAAC;oBACD,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,OAAO;oBACL;wBACE,MAAM,EAAE,QAAQ,CAAC,MAAM;wBACvB,IAAI,EACF,IAAI,CAAC,SAAS,KAAK,wBAAwB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;wBAC/D,IAAI;wBACJ,WAAW;qBACK;iBACnB,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;KACH,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,IAAmB,EACnB,OAAe,EACf,IAAY,EACZ,KAAmB,EACnB,OAA0B,EAC1B,YAA8C,EAC9C,YAAqB,EACrB,GAA4D;IAE5D,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5B,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IACjC,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,OAAe,EAAQ,EAAE,CACrC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,QAAQ,IAAI,IAAI,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IACE,YAAY;gBACZ,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAC3D,CAAC;gBACD,GAAG,CACD,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,EACxC,QAAQ,IAAI,UAAU,YAAY,+FAA+F,CAClI,CAAC;gBACF,OAAO,GAAG,OAAO,CAAC;gBAClB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,MAAM,MAAM,GACV,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;gBACvD,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChE,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QACjD,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACvC,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,CACF,kBAAkB,MAAM,CAAC,MAAM,SAAS,YAAY,wCAAwC,CAC7F,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,MAAM,CAAC,WAAqB,CAAC,GAAG,IAAI;gBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;gBAC9C,CAAC,CAAC,OAAO,CAAC;YACZ,OAAO;gBACL,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;oBAC/B,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;oBACtD,CAAC,CAAC,KAAK,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAqB,CAAC;YACzC,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1C,IACE,WAAW,EAAE,MAAM;gBACnB,gBAAgB,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7C,CAAC;gBACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC;gBAClB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChE,MAAM,UAAU,GACd,IAAI,CAAC,IAAI,KAAK,QAAQ;wBACtB,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;4BACvB,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;gCACxB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/D,IAAI,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACzC,OAAO,GAAG,MAAM,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;oBACjD,CAAC;yBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBACpC,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,GAAG,CACD,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,EAC9B,QAAQ,IAAI,oBAAoB,YAAY,mCAAmC,CAChF,CAAC;wBACF,OAAO,GAAG,OAAO,CAAC;oBACpB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,EAAE,WAAW,KAAK,OAAO,EAAE,CAAC;gBACnE,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9D,GAAG,CACD,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,EAC9B,QAAQ,IAAI,uBAAuB,YAAY,iCAAiC,CACjF,CAAC;oBACF,OAAO,GAAG,OAAO,CAAC;gBACpB,CAAC;qBAAM,CAAC;oBACN,OAAO,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzD,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,UAAU,IAAI,CAAC,MAAM,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;YAClE,IACE,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACzB,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC5B,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,UAAU,EACjC,CAAC;gBACD,IAAI,CACF,iBAAiB,UAAU,SAAS,YAAY,wCAAwC,CACzF,CAAC;gBACF,OAAO,GAAG,OAAO,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,MAAM,CAAC,MAAM,KAAK,wBAAwB;wBACxC,CAAC,CAAC,KAAK;wBACP,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAC5B,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,IAAI,CACF,sCAAsC,YAAY,gDAAgD,CACnG,CAAC;YACJ,CAAC;YACD,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7B,IAAI,CAAC,sBAAsB,YAAY,EAAE,CAAC,CAAC;YAC7C,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,IAAI,CACF,aAAa,YAAY,gDAAgD,CAC1E,CAAC;YACJ,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACzE,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,sBAAsB,YAAY,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,IAAI,CACF,aAAa,YAAY,gDAAgD,CAC1E,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,YAAY,EAAE,CAAC;YACrD,IAAI,CACF,gBAAgB,MAAM,CAAC,MAAM,sCAAsC,YAAY,EAAE,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,KAAK,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAmB,EACnB,YAAgC,EAChC,QAAiB,EACjB,GAA4D;IAE5D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CACnE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAC7C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CACtD,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB;QAClE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACxD,CAAC,CAAC,EAAE,CACP,CACF,CACF,CAAC;IACF,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,GAAG,CACD,CAAC,OAAO,CAAC,EACT,kCAAkC,IAAI,CAAC,MAAM,gEAAgE,CAC9G,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,GAAG,CACD,CAAC,OAAO,CAAC,EACT,kCAAkC,IAAI,CAAC,MAAM,wCAAwC,CACtF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAA0B,CAAC;IAC7C,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,MAAO,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,gBAAgB,CAClC,IAAI,EACJ,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CACnC,CAAC;IACF,MAAM,kBAAkB,GACtB,aAAa,KAAK,SAAS;QAC3B,gBAAgB,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;QACnC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC;IAC7C,MAAM,MAAM,GACV,gBAAgB,KAAK,SAAS;QAC9B,gBAAgB,CAAC,EAAE,KAAK,aAAa;QACrC,CAAC,aAAa,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC3D,MAAM,KAAK,GACT,GAAG,CAAC,MAAM,KAAK,QAAQ;QACvB,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,0BAA0B;QACjD,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACnC,kBAAkB;QAClB,MAAM;QACN,MAAM,KAAK,SAAS;QACpB,MAAM,KAAK,YAAY;QACvB,WAAW,KAAK,SAAS;QACzB,CAAC,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,GAAG,CACD,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EACnE,+JAA+J,IAAI,CAAC,MAAO,CAAC,OAAO,EAAE,CACtL,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAmB,EACnB,OAA+B;IAE/B,IAAI,OAAO,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,GAAG,EAAE,CAAC;IAC7C,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,OAAO,GAAG,EAAE,CAAC;IACzC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,KAAK,GACT,IAAI,CAAC,OAAO,EAAE,CAAC,GAAkD,CAAC,CAAC;QACrE,OAAO,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,OAAO,IAAI,KAAK,KAAK,CAAC;AACxB,CAAC;AAED,SAAS,cAAc,CAAC,OAA+B;IACrD,IAAI,OAAO,EAAE,IAAI,KAAK,UAAU;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IACtD,OAAO,OAAO,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1E,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,YAAY,CACxC,EAAE,CAAC,CAAC,CAAC,CAAC;AACT,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IACrC,OAAO,OAAO,EAAE,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACrE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,IAAmB,EACnB,KAAa,EACb,MAA0B;IAE1B,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAY,CAAC;QACxC,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC1E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CACnE;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,OAAO,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;AAC1D,CAAC"}