@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.
- package/AUTHORS +8 -0
- package/CHANGELOG.md +36 -0
- package/LICENSE +661 -0
- package/LICENSING.md +51 -0
- package/README.md +163 -0
- package/SECURITY.md +42 -0
- package/TRADEMARKS.md +35 -0
- package/conformance/README.md +79 -0
- package/conformance/invalid/blank-title.expected.json +10 -0
- package/conformance/invalid/blank-title.udl +50 -0
- package/conformance/invalid/depth-budget.expected.json +10 -0
- package/conformance/invalid/depth-budget.udl +49 -0
- package/conformance/invalid/format-version.expected.json +10 -0
- package/conformance/invalid/format-version.udl +50 -0
- package/conformance/invalid/invalid-utf8.expected.json +10 -0
- package/conformance/invalid/invalid-utf8.udl +1 -0
- package/conformance/invalid/malformed-json.expected.json +10 -0
- package/conformance/invalid/malformed-json.udl +1 -0
- package/conformance/invalid/missing-create-verb.expected.json +10 -0
- package/conformance/invalid/missing-create-verb.udl +45 -0
- package/conformance/invalid/not-an-object.expected.json +10 -0
- package/conformance/invalid/not-an-object.udl +1 -0
- package/conformance/invalid/noun-id-not-snake-case.expected.json +10 -0
- package/conformance/invalid/noun-id-not-snake-case.udl +50 -0
- package/conformance/invalid/unknown-key.expected.json +10 -0
- package/conformance/invalid/unknown-key.udl +51 -0
- package/conformance/invalid/unreachable-state.expected.json +10 -0
- package/conformance/invalid/unreachable-state.udl +51 -0
- package/conformance/invalid/verb-without-transition.expected.json +10 -0
- package/conformance/invalid/verb-without-transition.udl +55 -0
- package/conformance/valid/cards.expected.json +5 -0
- package/conformance/valid/cards.udl +1092 -0
- package/conformance/valid/commerce-escrow.expected.json +5 -0
- package/conformance/valid/commerce-escrow.udl +1011 -0
- package/conformance/valid/hand-edited.expected.json +5 -0
- package/conformance/valid/hand-edited.udl +1 -0
- package/conformance/valid/insured-car-marketplace.expected.json +5 -0
- package/conformance/valid/insured-car-marketplace.udl +831 -0
- package/conformance/valid/insured-travel.expected.json +5 -0
- package/conformance/valid/insured-travel.udl +2621 -0
- package/conformance/valid/minimal.expected.json +5 -0
- package/conformance/valid/minimal.udl +50 -0
- package/conformance/valid/protection.expected.json +5 -0
- package/conformance/valid/protection.udl +1136 -0
- package/dist/canonical.d.ts +2 -0
- package/dist/canonical.d.ts.map +1 -0
- package/dist/canonical.js +35 -0
- package/dist/canonical.js.map +1 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +138 -0
- package/dist/cli.js.map +1 -0
- package/dist/duration.d.ts +3 -0
- package/dist/duration.d.ts.map +1 -0
- package/dist/duration.js +23 -0
- package/dist/duration.js.map +1 -0
- package/dist/evolution.d.ts +63 -0
- package/dist/evolution.d.ts.map +1 -0
- package/dist/evolution.js +345 -0
- package/dist/evolution.js.map +1 -0
- package/dist/finance.d.ts +53 -0
- package/dist/finance.d.ts.map +1 -0
- package/dist/finance.js +511 -0
- package/dist/finance.js.map +1 -0
- package/dist/index.d.ts +11 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +8 -0
- package/dist/index.js.map +1 -0
- package/dist/limits.d.ts +33 -0
- package/dist/limits.d.ts.map +1 -0
- package/dist/limits.js +33 -0
- package/dist/limits.js.map +1 -0
- package/dist/parser.d.ts +4 -0
- package/dist/parser.d.ts.map +1 -0
- package/dist/parser.js +54 -0
- package/dist/parser.js.map +1 -0
- package/dist/schema.d.ts +757 -0
- package/dist/schema.d.ts.map +1 -0
- package/dist/schema.js +281 -0
- package/dist/schema.js.map +1 -0
- package/dist/validation.d.ts +64 -0
- package/dist/validation.d.ts.map +1 -0
- package/dist/validation.js +1323 -0
- package/dist/validation.js.map +1 -0
- package/package.json +84 -0
- package/spec/README.md +137 -0
- package/spec/udl.schema.json +1019 -0
- package/src/canonical.ts +41 -0
- package/src/cli.ts +148 -0
- package/src/duration.ts +26 -0
- package/src/evolution.ts +587 -0
- package/src/finance.ts +775 -0
- package/src/index.ts +59 -0
- package/src/limits.ts +32 -0
- package/src/parser.ts +61 -0
- package/src/schema.ts +339 -0
- 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"}
|
package/dist/finance.js
ADDED
|
@@ -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"}
|