edict-lang 1.2.0 → 1.6.0

package/dist/errors/structured-errors.js

@@ -135,4 +135,13 @@ export function patchIndexOutOfRange(nodeId, field, index, arrayLength, patchInd
 export function patchDeleteNotInArray(nodeId, patchIndex) {
     return { error: "patch_delete_not_in_array", nodeId, patchIndex };
 }
+export function analysisDiagnostic(diagnostic, functionName, nodeId, phase, detail) {
+    const d = { diagnostic, functionName, nodeId, phase };
+    if (detail !== undefined)
+        d.detail = detail;
+    return d;
+}
+export function wasmValidationError(message) {
+    return { error: "wasm_validation_error", message };
+}
 //# sourceMappingURL=structured-errors.js.map

package/dist/errors/structured-errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"structured-errors.js","sourceRoot":"","sources":["../../src/errors/structured-errors.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAChF,uEAAuE;AACvE,0DAA0D;AA+M1D,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,WAAW,CACvB,MAAc,EACd,SAAiB,EACjB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB,EACtB,YAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,YAA+B;IAE/B,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,cAAiC;IAEjC,OAAO;QACH,KAAK,EAAE,kBAAkB;QACzB,IAAI;QACJ,MAAM;QACN,QAAQ;QACR,cAAc;KACjB,CAAC;AACN,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,IAAY,EACZ,MAAqB,EACrB,YAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,kBAAkB,CAC9B,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAA4B,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAChG,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,IAAY,EACZ,WAA0B;IAE1B,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAAuB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACtF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CACvB,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAAqB,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAClF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,MAAqB,EACrB,QAAgB,EAChB,WAAmB,EACnB,iBAA2B,EAC3B,UAA0B;IAE1B,MAAM,GAAG,GAAwB,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;IAChH,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,QAAkB,EAClB,MAAgB,EAChB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACpF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,QAAgB,EAChB,MAAc;IAEd,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAkB,EAClB,SAAiB,EACjB,eAAyB,EACzB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;IAC1G,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,UAAkB,EAClB,aAAuB,EACvB,UAA0B;IAE1B,MAAM,GAAG,GAA6B,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5G,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AA0BD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAqB,EACrB,YAAoB,EACpB,cAAwB,EACxB,cAA6B,EAC7B,UAAkB,EAClB,UAA0B;IAE1B,MAAM,GAAG,GAAyB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;IAClI,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,YAAoB,EACpB,cAA6B,EAC7B,UAAkB,EAClB,aAAuB,EACvB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5H,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAyCD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,YAA4B,EAC5B,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AACzG,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,SAAiB;IAEjB,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,mBAA2B;IAE3B,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,mBAAmB,EAAE,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,MAAc,EACd,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACrH,CAAC;AAmCD,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB,CAC7B,MAAqB,EACrB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,MAAc,EACd,KAAa,EACb,eAAyB,EACzB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAc,EACd,KAAa,EACb,KAAa,EACb,WAAmB,EACnB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,MAAc,EACd,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC"}
+{"version":3,"file":"structured-errors.js","sourceRoot":"","sources":["../../src/errors/structured-errors.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAChF,uEAAuE;AACvE,0DAA0D;AAiN1D,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,WAAW,CACvB,MAAc,EACd,SAAiB,EACjB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB,EACtB,YAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,YAA+B;IAE/B,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,cAAiC;IAEjC,OAAO;QACH,KAAK,EAAE,kBAAkB;QACzB,IAAI;QACJ,MAAM;QACN,QAAQ;QACR,cAAc;KACjB,CAAC;AACN,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,IAAY,EACZ,MAAqB,EACrB,YAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,kBAAkB,CAC9B,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAA4B,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAChG,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,IAAY,EACZ,WAA0B;IAE1B,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAAuB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACtF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CACvB,MAAqB,EACrB,IAAY,EACZ,UAAoB,EACpB,UAA0B;IAE1B,MAAM,GAAG,GAAqB,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAClF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,MAAqB,EACrB,QAAgB,EAChB,WAAmB,EACnB,iBAA2B,EAC3B,UAA0B;IAE1B,MAAM,GAAG,GAAwB,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;IAChH,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,QAAkB,EAClB,MAAgB,EAChB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACpF,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,QAAgB,EAChB,MAAc;IAEd,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAkB,EAClB,SAAiB,EACjB,eAAyB,EACzB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;IAC1G,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,UAAkB,EAClB,aAAuB,EACvB,UAA0B;IAE1B,MAAM,GAAG,GAA6B,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5G,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AA0BD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAqB,EACrB,YAAoB,EACpB,cAAwB,EACxB,cAA6B,EAC7B,UAAkB,EAClB,UAA0B;IAE1B,MAAM,GAAG,GAAyB,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;IAClI,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,YAAoB,EACpB,cAA6B,EAC7B,UAAkB,EAClB,aAAuB,EACvB,UAA0B;IAE1B,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5H,IAAI,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC;IAC5C,OAAO,GAAG,CAAC;AACf,CAAC;AAyCD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,YAA4B,EAC5B,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AACzG,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,SAAiB;IAEjB,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,mBAA2B;IAE3B,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,mBAAmB,EAAE,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,MAAc,EACd,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACrH,CAAC;AAmCD,gFAAgF;AAChF,2BAA2B;AAC3B,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB,CAC7B,MAAqB,EACrB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,MAAc,EACd,KAAa,EACb,eAAyB,EACzB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAc,EACd,KAAa,EACb,KAAa,EACb,WAAmB,EACnB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,MAAc,EACd,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC;AA2BD,MAAM,UAAU,kBAAkB,CAC9B,UAAkC,EAClC,YAAoB,EACpB,MAAc,EACd,KAA8B,EAC9B,MAAe;IAEf,MAAM,CAAC,GAAuB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC1E,IAAI,MAAM,KAAK,SAAS;QAAE,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IAC5C,OAAO,CAAC,CAAC;AACb,CAAC;AAWD,MAAM,UAAU,mBAAmB,CAC/B,OAAe;IAEf,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,OAAO,EAAE,CAAC;AACvD,CAAC"}

package/dist/index.d.ts

@@ -5,12 +5,15 @@ export { Scope } from "./resolver/scope.js";
 export type { SymbolKind, SymbolInfo } from "./resolver/scope.js";
 export { levenshteinDistance, findCandidates } from "./resolver/levenshtein.js";
 export { typeCheck } from "./checker/check.js";
+export type { TypedModuleInfo, TypeCheckResult } from "./checker/check.js";
 export { TypeEnv } from "./checker/type-env.js";
 export { typesEqual, isUnknown, resolveType } from "./checker/types-equal.js";
 export { effectCheck } from "./effects/effect-check.js";
+export type { EffectCheckResult } from "./effects/effect-check.js";
 export { buildCallGraph, collectCalls } from "./effects/call-graph.js";
 export type { CallEdge, CallGraph } from "./effects/call-graph.js";
 export { contractVerify } from "./contracts/verify.js";
+export type { ContractVerifyResult } from "./contracts/verify.js";
 export { getZ3, resetZ3 } from "./contracts/z3-context.js";
 export { translateExpr, translateExprList, createParamVariables } from "./contracts/translate.js";
 export type { TranslationContext, TranslationError } from "./contracts/translate.js";
@@ -18,19 +21,27 @@ export { check } from "./check.js";
 export type { CheckResult } from "./check.js";
 export type { EdictModule, Import, Definition, FunctionDef, TypeDef, RecordDef, EnumDef, ConstDef, RecordField, EnumVariant, Param, Contract, Effect, Expression, Literal, Identifier, BinaryOp, BinaryOperator, UnaryOp, UnaryOperator, Call, IfExpr, LetExpr, MatchExpr, MatchArm, Pattern, LiteralPattern, WildcardPattern, BindingPattern, ConstructorPattern, ArrayExpr, TupleExpr, RecordExpr, EnumConstructor, FieldAccess, LambdaExpr, BlockExpr, FieldInit, StringInterp, } from "./ast/nodes.js";
 export type { TypeExpr, BasicType, ArrayType, OptionType, ResultType, UnitType, RefinedType, FunctionType, NamedType, TupleType, } from "./ast/types.js";
-export type { StructuredError, DuplicateIdError, UnknownNodeKindError, MissingFieldError, InvalidFieldTypeError, InvalidEffectError, InvalidOperatorError, InvalidBasicTypeName, ConflictingEffectsError, UndefinedReferenceError, DuplicateDefinitionError, UnknownRecordError, UnknownEnumError, UnknownVariantError, TypeMismatchError, ArityMismatchError, NotAFunctionError, UnknownFieldError, MissingRecordFieldsError, EffectViolationError, EffectInPureError, ContractFailureError, VerificationTimeoutError, UndecidablePredicateError, PreconditionNotMetError, } from "./errors/structured-errors.js";
-export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, } from "./errors/structured-errors.js";
-export { undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, } from "./errors/structured-errors.js";
-export { effectViolation, effectInPure, } from "./errors/structured-errors.js";
-export { contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, } from "./errors/structured-errors.js";
+export type { StructuredError, DuplicateIdError, UnknownNodeKindError, MissingFieldError, InvalidFieldTypeError, InvalidEffectError, InvalidOperatorError, InvalidBasicTypeName, ConflictingEffectsError, UndefinedReferenceError, DuplicateDefinitionError, UnknownRecordError, UnknownEnumError, UnknownVariantError, TypeMismatchError, ArityMismatchError, NotAFunctionError, UnknownFieldError, MissingRecordFieldsError, EffectViolationError, EffectInPureError, ContractFailureError, VerificationTimeoutError, UndecidablePredicateError, PreconditionNotMetError, PatchNodeNotFoundError, PatchInvalidFieldError, PatchIndexOutOfRangeError, PatchDeleteNotInArrayError, AnalysisDiagnostic, AnalysisDiagnosticKind, VerificationCoverage, } from "./errors/structured-errors.js";
+export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, effectViolation, effectInPure, contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, patchNodeNotFound, patchInvalidField, patchIndexOutOfRange, patchDeleteNotInArray, analysisDiagnostic, } from "./errors/structured-errors.js";
 export { compile } from "./codegen/codegen.js";
-export type { CompileResult, CompileSuccess, CompileFailure, } from "./codegen/codegen.js";
-export { run } from "./codegen/runner.js";
-export type { RunResult } from "./codegen/runner.js";
+export type { CompileResult, CompileSuccess, CompileFailure, CompileOptions, } from "./codegen/codegen.js";
+export { run, runDirect } from "./codegen/runner.js";
+export type { RunResult, RunLimits } from "./codegen/runner.js";
 export { compileAndRun } from "./compile.js";
 export type { CompileAndRunResult, CompileAndRunSuccess, CompileAndRunFailure, } from "./compile.js";
 export { StringTable } from "./codegen/string-table.js";
-export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./codegen/builtins.js";
+export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./builtins/builtins.js";
+export type { EdictHostAdapter } from "./codegen/host-adapter.js";
+export { NodeHostAdapter } from "./codegen/node-host-adapter.js";
+export { BrowserHostAdapter } from "./codegen/browser-host-adapter.js";
+export { EdictOomError } from "./builtins/host-helpers.js";
 export { buildErrorCatalog } from "./errors/error-catalog.js";
 export type { ErrorCatalog, ErrorCatalogEntry } from "./errors/error-catalog.js";
+export { expandCompact, isCompactAst, compactSchemaReference } from "./compact/expand.js";
+export { lint } from "./lint/lint.js";
+export type { LintWarning } from "./lint/lint.js";
+export type { UnusedVariableWarning, UnusedImportWarning, MissingContractWarning, OversizedFunctionWarning, EmptyBodyWarning, RedundantEffectWarning, } from "./lint/warnings.js";
+export { unusedVariable, unusedImport, missingContract, oversizedFunction, emptyBody, redundantEffect, } from "./lint/warnings.js";
+export { applyPatches } from "./patch/apply.js";
+export type { AstPatch, PatchApplyResult } from "./patch/apply.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,YAAY,EACR,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GACpB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG9E,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAClG,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAGrF,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,YAAY,EACR,WAAW,EACX,MAAM,EACN,UAAU,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,WAAW,EACX,WAAW,EACX,KAAK,EACL,QAAQ,EACR,MAAM,EACN,UAAU,EACV,OAAO,EACP,UAAU,EACV,QAAQ,EACR,cAAc,EACd,OAAO,EACP,aAAa,EACb,IAAI,EACJ,MAAM,EACN,OAAO,EACP,SAAS,EACT,QAAQ,EACR,OAAO,EACP,cAAc,EACd,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,SAAS,EACT,SAAS,EACT,UAAU,EACV,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,SAAS,EACT,YAAY,GACf,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,UAAU,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,GACZ,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EAEvB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,wBAAwB,EAExB,oBAAoB,EACpB,iBAAiB,EAEjB,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,GAC1B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB,GACtB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,eAAe,EACf,YAAY,GACf,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,YAAY,EACR,aAAa,EACb,cAAc,EACd,cAAc,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EACR,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,YAAY,EACR,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GACpB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG9E,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,YAAY,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,YAAY,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAClG,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAGrF,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,YAAY,EACR,WAAW,EACX,MAAM,EACN,UAAU,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,WAAW,EACX,WAAW,EACX,KAAK,EACL,QAAQ,EACR,MAAM,EACN,UAAU,EACV,OAAO,EACP,UAAU,EACV,QAAQ,EACR,cAAc,EACd,OAAO,EACP,aAAa,EACb,IAAI,EACJ,MAAM,EACN,OAAO,EACP,SAAS,EACT,QAAQ,EACR,OAAO,EACP,cAAc,EACd,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,SAAS,EACT,SAAS,EACT,UAAU,EACV,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,SAAS,EACT,YAAY,GACf,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,UAAU,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,GACZ,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EAEvB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,wBAAwB,EAExB,oBAAoB,EACpB,iBAAiB,EAEjB,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,EAEvB,sBAAsB,EACtB,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAE1B,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,GACvB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAEH,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAElB,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB,EAEnB,eAAe,EACf,YAAY,EAEZ,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAElB,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EAErB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,YAAY,EACR,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EACR,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAGlF,YAAY,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAGjF,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAG1F,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,YAAY,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,YAAY,EACR,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,GACzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACH,cAAc,EACd,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,eAAe,GAClB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -20,20 +20,36 @@ export { getZ3, resetZ3 } from "./contracts/z3-context.js";
 export { translateExpr, translateExprList, createParamVariables } from "./contracts/translate.js";
 // Pipeline
 export { check } from "./check.js";
-// Error constructors — Phase 1
-export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, } from "./errors/structured-errors.js";
-// Error constructors — Phase 2
-export { undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, } from "./errors/structured-errors.js";
-// Error constructors — Phase 3
-export { effectViolation, effectInPure, } from "./errors/structured-errors.js";
-// Error constructors — Phase 4
-export { contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, } from "./errors/structured-errors.js";
+// Error constructors (all phases)
+export { 
+// Phase 1
+duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, 
+// Phase 2
+undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, 
+// Phase 3
+effectViolation, effectInPure, 
+// Phase 4
+contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, 
+// Patch errors
+patchNodeNotFound, patchInvalidField, patchIndexOutOfRange, patchDeleteNotInArray, 
+// Analysis diagnostics
+analysisDiagnostic, } from "./errors/structured-errors.js";
 // Phase 5 — Code generation
 export { compile } from "./codegen/codegen.js";
-export { run } from "./codegen/runner.js";
+export { run, runDirect } from "./codegen/runner.js";
 export { compileAndRun } from "./compile.js";
 export { StringTable } from "./codegen/string-table.js";
-export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./codegen/builtins.js";
+export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./builtins/builtins.js";
+export { NodeHostAdapter } from "./codegen/node-host-adapter.js";
+export { BrowserHostAdapter } from "./codegen/browser-host-adapter.js";
+export { EdictOomError } from "./builtins/host-helpers.js";
 // Error catalog
 export { buildErrorCatalog } from "./errors/error-catalog.js";
+// Compact AST format
+export { expandCompact, isCompactAst, compactSchemaReference } from "./compact/expand.js";
+// Lint
+export { lint } from "./lint/lint.js";
+export { unusedVariable, unusedImport, missingContract, oversizedFunction, emptyBody, redundantEffect, } from "./lint/warnings.js";
+// Patch engine
+export { applyPatches } from "./patch/apply.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,uBAAuB;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAOnD,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEhF,0BAA0B;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE9E,4BAA4B;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAGvE,kCAAkC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGlG,WAAW;AACX,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AA4FnC,+BAA+B;AAC/B,OAAO,EACH,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB,GACtB,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,eAAe,EACf,YAAY,GACf,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAM/C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAM7C,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEjF,gBAAgB;AAChB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,uBAAuB;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAOnD,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEhF,0BAA0B;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE9E,4BAA4B;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAGvE,kCAAkC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGlG,WAAW;AACX,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAqGnC,kCAAkC;AAClC,OAAO;AACH,UAAU;AACV,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB;AAClB,UAAU;AACV,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB;AACnB,UAAU;AACV,eAAe,EACf,YAAY;AACZ,UAAU;AACV,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB;AAClB,eAAe;AACf,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB;AACrB,uBAAuB;AACvB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAO/C,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAM7C,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAIlF,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,gBAAgB;AAChB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAG9D,qBAAqB;AACrB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE1F,OAAO;AACP,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAUtC,OAAO,EACH,cAAc,EACd,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,eAAe,GAClB,MAAM,oBAAoB,CAAC;AAE5B,eAAe;AACf,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/lint/lint.d.ts

@@ -0,0 +1,9 @@
+import type { EdictModule } from "../ast/nodes.js";
+import { type LintWarning } from "./warnings.js";
+export type { LintWarning } from "./warnings.js";
+/**
+ * Run lint analysis on a validated Edict module.
+ * Returns an array of non-blocking warnings.
+ */
+export declare function lint(module: EdictModule): LintWarning[];
+//# sourceMappingURL=lint.d.ts.map

package/dist/lint/lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.d.ts","sourceRoot":"","sources":["../../src/lint/lint.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAmC,MAAM,iBAAiB,CAAC;AAEpF,OAAO,EAOH,KAAK,WAAW,EACnB,MAAM,eAAe,CAAC;AAGvB,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AASjD;;;GAGG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,EAAE,CAQvD"}

package/dist/lint/lint.js

@@ -0,0 +1,354 @@
+// =============================================================================
+// Lint Engine — lint(module) → LintWarning[]
+// =============================================================================
+// Non-blocking analysis pass. Runs on a validated module (post-Phase 1).
+// Returns structured warnings without blocking compilation.
+import { buildCallGraph } from "../effects/call-graph.js";
+import { unusedVariable, unusedImport, missingContract, oversizedFunction, emptyBody, redundantEffect, } from "./warnings.js";
+/** Default threshold for oversized function warning */
+const OVERSIZED_THRESHOLD = 50;
+// =============================================================================
+// Main entry point
+// =============================================================================
+/**
+ * Run lint analysis on a validated Edict module.
+ * Returns an array of non-blocking warnings.
+ */
+export function lint(module) {
+    const warnings = [];
+    checkUnusedImports(module, warnings);
+    checkFunctionWarnings(module, warnings);
+    checkRedundantEffects(module, warnings);
+    return warnings;
+}
+// =============================================================================
+// Unused imports
+// =============================================================================
+function checkUnusedImports(module, warnings) {
+    if (module.imports.length === 0)
+        return;
+    // Collect all referenced names across all definitions
+    const referencedNames = new Set();
+    for (const def of module.definitions) {
+        switch (def.kind) {
+            case "fn":
+                collectReferencedNames(def.body, referencedNames);
+                for (const contract of def.contracts) {
+                    collectReferencedNamesFromExpr(contract.condition, referencedNames);
+                }
+                break;
+            case "const":
+                collectReferencedNamesFromExpr(def.value, referencedNames);
+                break;
+            case "record":
+                for (const field of def.fields) {
+                    if (field.defaultValue) {
+                        collectReferencedNamesFromExpr(field.defaultValue, referencedNames);
+                    }
+                }
+                break;
+            case "enum":
+                for (const variant of def.variants) {
+                    for (const field of variant.fields) {
+                        if (field.defaultValue) {
+                            collectReferencedNamesFromExpr(field.defaultValue, referencedNames);
+                        }
+                    }
+                }
+                break;
+        }
+    }
+    // Check each import for unused names
+    for (const imp of module.imports) {
+        const unused = imp.names.filter(n => !referencedNames.has(n));
+        if (unused.length > 0) {
+            warnings.push(unusedImport(imp.id, imp.module, unused));
+        }
+    }
+}
+// =============================================================================
+// Per-function warnings: unused variables, missing contracts, oversized, empty
+// =============================================================================
+function checkFunctionWarnings(module, warnings) {
+    for (const def of module.definitions) {
+        if (def.kind !== "fn")
+            continue;
+        // Empty body
+        if (def.body.length === 0) {
+            warnings.push(emptyBody(def.id, def.name));
+            continue; // No point checking other warnings on empty body
+        }
+        // Missing contract (skip main — entry point, contracts less useful)
+        if (def.contracts.length === 0 && def.name !== "main") {
+            warnings.push(missingContract(def.id, def.name));
+        }
+        // Oversized function
+        const nodeCount = countExprNodes(def.body);
+        if (nodeCount > OVERSIZED_THRESHOLD) {
+            warnings.push(oversizedFunction(def.id, def.name, nodeCount, OVERSIZED_THRESHOLD));
+        }
+        // Unused variables
+        checkUnusedVariables(def.body, warnings);
+    }
+}
+/**
+ * Check for unused let bindings in an expression list.
+ * A let binding's scope covers subsequent sibling expressions.
+ */
+function checkUnusedVariables(exprs, warnings) {
+    for (let i = 0; i < exprs.length; i++) {
+        const expr = exprs[i];
+        // Recurse into nested expression lists
+        recurseIntoExprForUnused(expr, warnings);
+        if (expr.kind === "let") {
+            // Check if name is referenced in subsequent siblings
+            const referencedInRest = new Set();
+            for (let j = i + 1; j < exprs.length; j++) {
+                collectReferencedNamesFromExpr(exprs[j], referencedInRest);
+            }
+            if (!referencedInRest.has(expr.name)) {
+                warnings.push(unusedVariable(expr.id, expr.name));
+            }
+        }
+    }
+}
+/**
+ * Recurse into sub-expression lists within an expression to check for unused variables.
+ */
+function recurseIntoExprForUnused(expr, warnings) {
+    switch (expr.kind) {
+        case "if":
+            if (expr.then)
+                checkUnusedVariables(expr.then, warnings);
+            if (expr.else)
+                checkUnusedVariables(expr.else, warnings);
+            break;
+        case "match":
+            for (const arm of expr.arms) {
+                checkUnusedVariables(arm.body, warnings);
+            }
+            break;
+        case "lambda":
+            checkUnusedVariables(expr.body, warnings);
+            break;
+        case "block":
+            checkUnusedVariables(expr.body, warnings);
+            break;
+    }
+}
+// =============================================================================
+// Redundant effects
+// =============================================================================
+function checkRedundantEffects(module, warnings) {
+    const { graph, functionDefs, importedNames } = buildCallGraph(module);
+    for (const def of module.definitions) {
+        if (def.kind !== "fn")
+            continue;
+        if (def.effects.includes("pure"))
+            continue; // Pure functions can't have redundant effects
+        const declaredNonPure = new Set(def.effects.filter(e => e !== "pure"));
+        if (declaredNonPure.size === 0)
+            continue;
+        // Compute required effects from call graph
+        const required = computeRequiredEffects(def.name, graph, functionDefs, importedNames);
+        const redundant = [...declaredNonPure].filter(e => !required.has(e));
+        if (redundant.length > 0) {
+            const requiredArray = required.size > 0 ? [...required] : [];
+            warnings.push(redundantEffect(def.id, def.name, redundant, requiredArray));
+        }
+    }
+}
+/**
+ * Compute the required non-pure effects for a function based on its call graph.
+ * Walks callee edges transitively to find all effects needed.
+ */
+function computeRequiredEffects(fnName, graph, functionDefs, importedNames) {
+    const required = new Set();
+    const visited = new Set();
+    function visit(name) {
+        if (visited.has(name))
+            return;
+        visited.add(name);
+        const edges = graph.get(name);
+        if (!edges)
+            return;
+        for (const edge of edges) {
+            // Skip imported functions — effect-opaque
+            if (importedNames.has(edge.calleeName))
+                continue;
+            const callee = functionDefs.get(edge.calleeName);
+            if (!callee)
+                continue;
+            for (const effect of callee.effects) {
+                if (effect !== "pure") {
+                    required.add(effect);
+                }
+            }
+            // Recurse into callee's callees
+            visit(edge.calleeName);
+        }
+    }
+    visit(fnName);
+    return required;
+}
+// =============================================================================
+// Helpers
+// =============================================================================
+/**
+ * Recursively collect all referenced identifier names from an expression list.
+ */
+function collectReferencedNames(exprs, names) {
+    for (const expr of exprs) {
+        collectReferencedNamesFromExpr(expr, names);
+    }
+}
+/**
+ * Recursively collect all referenced identifier names from a single expression.
+ */
+function collectReferencedNamesFromExpr(expr, names) {
+    switch (expr.kind) {
+        case "ident":
+            names.add(expr.name);
+            break;
+        case "literal":
+            break;
+        case "binop":
+            collectReferencedNamesFromExpr(expr.left, names);
+            collectReferencedNamesFromExpr(expr.right, names);
+            break;
+        case "unop":
+            collectReferencedNamesFromExpr(expr.operand, names);
+            break;
+        case "call":
+            collectReferencedNamesFromExpr(expr.fn, names);
+            for (const arg of expr.args) {
+                collectReferencedNamesFromExpr(arg, names);
+            }
+            break;
+        case "if":
+            collectReferencedNamesFromExpr(expr.condition, names);
+            if (expr.then)
+                collectReferencedNames(expr.then, names);
+            if (expr.else)
+                collectReferencedNames(expr.else, names);
+            break;
+        case "let":
+            collectReferencedNamesFromExpr(expr.value, names);
+            break;
+        case "match":
+            collectReferencedNamesFromExpr(expr.target, names);
+            for (const arm of expr.arms) {
+                collectReferencedNames(arm.body, names);
+            }
+            break;
+        case "array":
+            for (const el of expr.elements) {
+                collectReferencedNamesFromExpr(el, names);
+            }
+            break;
+        case "tuple_expr":
+            for (const el of expr.elements) {
+                collectReferencedNamesFromExpr(el, names);
+            }
+            break;
+        case "record_expr":
+            for (const f of expr.fields) {
+                collectReferencedNamesFromExpr(f.value, names);
+            }
+            break;
+        case "enum_constructor":
+            for (const f of expr.fields) {
+                collectReferencedNamesFromExpr(f.value, names);
+            }
+            break;
+        case "access":
+            collectReferencedNamesFromExpr(expr.target, names);
+            break;
+        case "lambda":
+            collectReferencedNames(expr.body, names);
+            break;
+        case "block":
+            collectReferencedNames(expr.body, names);
+            break;
+        case "string_interp":
+            for (const part of expr.parts) {
+                collectReferencedNamesFromExpr(part, names);
+            }
+            break;
+    }
+}
+/**
+ * Recursively count expression nodes in an expression list.
+ */
+function countExprNodes(exprs) {
+    let count = 0;
+    for (const expr of exprs) {
+        count += countExprNode(expr);
+    }
+    return count;
+}
+function countExprNode(expr) {
+    let count = 1; // Count this node
+    switch (expr.kind) {
+        case "literal":
+        case "ident":
+            break;
+        case "binop":
+            count += countExprNode(expr.left);
+            count += countExprNode(expr.right);
+            break;
+        case "unop":
+            count += countExprNode(expr.operand);
+            break;
+        case "call":
+            count += countExprNode(expr.fn);
+            for (const arg of expr.args) {
+                count += countExprNode(arg);
+            }
+            break;
+        case "if":
+            count += countExprNode(expr.condition);
+            if (expr.then)
+                count += countExprNodes(expr.then);
+            if (expr.else)
+                count += countExprNodes(expr.else);
+            break;
+        case "let":
+            count += countExprNode(expr.value);
+            break;
+        case "match":
+            count += countExprNode(expr.target);
+            for (const arm of expr.arms) {
+                count += countExprNodes(arm.body);
+            }
+            break;
+        case "array":
+        case "tuple_expr":
+            for (const el of expr.elements) {
+                count += countExprNode(el);
+            }
+            break;
+        case "record_expr":
+        case "enum_constructor":
+            for (const f of expr.fields) {
+                count += countExprNode(f.value);
+            }
+            break;
+        case "access":
+            count += countExprNode(expr.target);
+            break;
+        case "lambda":
+            count += countExprNodes(expr.body);
+            break;
+        case "block":
+            count += countExprNodes(expr.body);
+            break;
+        case "string_interp":
+            for (const part of expr.parts) {
+                count += countExprNode(part);
+            }
+            break;
+    }
+    return count;
+}
+//# sourceMappingURL=lint.js.map

package/dist/lint/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/lint/lint.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,6CAA6C;AAC7C,gFAAgF;AAChF,yEAAyE;AACzE,4DAA4D;AAG5D,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EACH,cAAc,EACd,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,SAAS,EACT,eAAe,GAElB,MAAM,eAAe,CAAC;AAKvB,uDAAuD;AACvD,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAE/B,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,IAAI,CAAC,MAAmB;IACpC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAExC,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,SAAS,kBAAkB,CAAC,MAAmB,EAAE,QAAuB;IACpE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAExC,sDAAsD;IACtD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,IAAI;gBACL,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;gBAClD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;oBACnC,8BAA8B,CAAC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;gBACxE,CAAC;gBACD,MAAM;YACV,KAAK,OAAO;gBACR,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;gBAC3D,MAAM;YACV,KAAK,QAAQ;gBACT,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC7B,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;wBACrB,8BAA8B,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;oBACxE,CAAC;gBACL,CAAC;gBACD,MAAM;YACV,KAAK,MAAM;gBACP,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;oBACjC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBACjC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;4BACrB,8BAA8B,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;wBACxE,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,MAAM;QACd,CAAC;IACL,CAAC;IAED,qCAAqC;IACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5D,CAAC;IACL,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,+EAA+E;AAC/E,gFAAgF;AAEhF,SAAS,qBAAqB,CAAC,MAAmB,EAAE,QAAuB;IACvE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAEhC,aAAa;QACb,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3C,SAAS,CAAC,iDAAiD;QAC/D,CAAC;QAED,oEAAoE;QACpE,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,CAAC;QAED,qBAAqB;QACrB,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,SAAS,GAAG,mBAAmB,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACvF,CAAC;QAED,mBAAmB;QACnB,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7C,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAAmB,EAAE,QAAuB;IACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAEvB,uCAAuC;QACvC,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAEzC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,qDAAqD;YACrD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,8BAA8B,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,gBAAgB,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACtD,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,IAAgB,EAAE,QAAuB;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,IAAI;YACL,IAAI,IAAI,CAAC,IAAI;gBAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzD,IAAI,IAAI,CAAC,IAAI;gBAAE,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzD,MAAM;QACV,KAAK,OAAO;YACR,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QACV,KAAK,QAAQ;YACT,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1C,MAAM;QACV,KAAK,OAAO;YACR,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1C,MAAM;IACd,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF,SAAS,qBAAqB,CAAC,MAAmB,EAAE,QAAuB;IACvE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAEtE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAChC,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS,CAAC,8CAA8C;QAE1F,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;QACvE,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QAEzC,2CAA2C;QAC3C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QACtF,MAAM,SAAS,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAErE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC,eAAe,CACzB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,SAAqB,EACrB,aAAyB,CAC5B,CAAC,CAAC;QACP,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAC3B,MAAc,EACd,KAA2E,EAC3E,YAAsC,EACtC,aAA0B;IAE1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,SAAS,KAAK,CAAC,IAAY;QACvB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK;YAAE,OAAO;QAEnB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,0CAA0C;YAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,SAAS;YAEjD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;oBACpB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzB,CAAC;YACL,CAAC;YAED,gCAAgC;YAChC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAAmB,EAAE,KAAkB;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,8BAA8B,CAAC,IAAgB,EAAE,KAAkB;IACxE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,OAAO;YACR,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM;QACV,KAAK,SAAS;YACV,MAAM;QACV,KAAK,OAAO;YACR,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM;QACV,KAAK,MAAM;YACP,8BAA8B,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACpD,MAAM;QACV,KAAK,MAAM;YACP,8BAA8B,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,8BAA8B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QACV,KAAK,IAAI;YACL,8BAA8B,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI;gBAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxD,IAAI,IAAI,CAAC,IAAI;gBAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxD,MAAM;QACV,KAAK,KAAK;YACN,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM;QACV,KAAK,OAAO;YACR,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACnD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QACV,KAAK,OAAO;YACR,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,8BAA8B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9C,CAAC;YACD,MAAM;QACV,KAAK,YAAY;YACb,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,8BAA8B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9C,CAAC;YACD,MAAM;QACV,KAAK,aAAa;YACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC1B,8BAA8B,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;YACD,MAAM;QACV,KAAK,kBAAkB;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC1B,8BAA8B,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;YACD,MAAM;QACV,KAAK,QAAQ;YACT,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACnD,MAAM;QACV,KAAK,QAAQ;YACT,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,MAAM;QACV,KAAK,OAAO;YACR,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,MAAM;QACV,KAAK,eAAe;YAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC5B,8BAA8B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,MAAM;IACd,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,KAAmB;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB;IACnC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,kBAAkB;IACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACR,MAAM;QACV,KAAK,OAAO;YACR,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM;QACV,KAAK,MAAM;YACP,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM;QACV,KAAK,MAAM;YACP,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;YAChC,CAAC;YACD,MAAM;QACV,KAAK,IAAI;YACL,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI;gBAAE,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,IAAI;gBAAE,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM;QACV,KAAK,KAAK;YACN,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM;QACV,KAAK,OAAO;YACR,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,KAAK,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;YACD,MAAM;QACV,KAAK,OAAO,CAAC;QACb,KAAK,YAAY;YACb,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,KAAK,IAAI,aAAa,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;YACD,MAAM;QACV,KAAK,aAAa,CAAC;QACnB,KAAK,kBAAkB;YACnB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC1B,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QACV,KAAK,QAAQ;YACT,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,MAAM;QACV,KAAK,QAAQ;YACT,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM;QACV,KAAK,OAAO;YACR,KAAK,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM;QACV,KAAK,eAAe;YAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC5B,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;YACD,MAAM;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/lint/warnings.d.ts

@@ -0,0 +1,54 @@
+import type { Effect } from "../ast/nodes.js";
+import type { FixSuggestion } from "../errors/structured-errors.js";
+export type LintWarning = UnusedVariableWarning | UnusedImportWarning | MissingContractWarning | OversizedFunctionWarning | EmptyBodyWarning | RedundantEffectWarning;
+export interface UnusedVariableWarning {
+    warning: "unused_variable";
+    severity: "warning";
+    nodeId: string;
+    name: string;
+    suggestion?: FixSuggestion;
+}
+export interface UnusedImportWarning {
+    warning: "unused_import";
+    severity: "warning";
+    nodeId: string;
+    importModule: string;
+    unusedNames: string[];
+    suggestion?: FixSuggestion;
+}
+export interface MissingContractWarning {
+    warning: "missing_contract";
+    severity: "warning";
+    nodeId: string;
+    functionName: string;
+}
+export interface OversizedFunctionWarning {
+    warning: "oversized_function";
+    severity: "warning";
+    nodeId: string;
+    functionName: string;
+    expressionCount: number;
+    threshold: number;
+}
+export interface EmptyBodyWarning {
+    warning: "empty_body";
+    severity: "warning";
+    nodeId: string;
+    functionName: string;
+}
+export interface RedundantEffectWarning {
+    warning: "redundant_effect";
+    severity: "warning";
+    nodeId: string;
+    functionName: string;
+    redundantEffects: Effect[];
+    requiredEffects: Effect[];
+    suggestion?: FixSuggestion;
+}
+export declare function unusedVariable(nodeId: string, name: string): UnusedVariableWarning;
+export declare function unusedImport(nodeId: string, importModule: string, unusedNames: string[]): UnusedImportWarning;
+export declare function missingContract(nodeId: string, functionName: string): MissingContractWarning;
+export declare function oversizedFunction(nodeId: string, functionName: string, expressionCount: number, threshold: number): OversizedFunctionWarning;
+export declare function emptyBody(nodeId: string, functionName: string): EmptyBodyWarning;
+export declare function redundantEffect(nodeId: string, functionName: string, redundantEffects: Effect[], requiredEffects: Effect[]): RedundantEffectWarning;
+//# sourceMappingURL=warnings.d.ts.map

package/dist/lint/warnings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"warnings.d.ts","sourceRoot":"","sources":["../../src/lint/warnings.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAMpE,MAAM,MAAM,WAAW,GACjB,qBAAqB,GACrB,mBAAmB,GACnB,sBAAsB,GACtB,wBAAwB,GACxB,gBAAgB,GAChB,sBAAsB,CAAC;AAM7B,MAAM,WAAW,qBAAqB;IAClC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAChC,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,UAAU,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACnC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACrC,OAAO,EAAE,oBAAoB,CAAC;IAC9B,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,sBAAsB;IACnC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,aAAa,CAAC;CAC9B;AAMD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,qBAAqB,CAElF;AAED,wBAAgB,YAAY,CACxB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EAAE,GACtB,mBAAmB,CAErB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,sBAAsB,CAE5F;AAED,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,GAClB,wBAAwB,CAE1B;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,gBAAgB,CAEhF;AAED,wBAAgB,eAAe,CAC3B,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EAAE,EAC1B,eAAe,EAAE,MAAM,EAAE,GAC1B,sBAAsB,CAcxB"}