@soundscript/soundscript 0.1.15 → 0.1.17

package/decode.d.ts

@@ -8,11 +8,11 @@ export class DecodeFailure extends Failure {
   readonly path: DecodePath;
   constructor(
     message?: string,
-    options?: {
+    options?: Readonly<{
       cause?: unknown;
       path?: DecodePath;
       trace?: readonly ErrorFrame[];
-    },
+    }>,
   );
   at(segment: DecodePathSegment): this;
 }

package/decode.js.map

@@ -1 +1 @@
-{"version":3,"file":"decode.js","sourceRoot":"","sources":["./soundscript/decode.sts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAA4B,MAAM,iCAAiC,CAAC;AAKvG,MAAM,OAAO,aAAc,SAAQ,OAAO;IAGxC,YACE,OAAO,GAAG,yBAAyB,EACnC,UAII,EAAE;QAEN,KAAK,CAAC,OAAO,EAAE;YACb,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;IACjC,CAAC;IAED,EAAE,CAAC,OAA0B;QAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAc,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAS,CAAC;QAC5F,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE;YACnC,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;SAC/B,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAmBD,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,QAAQ;YAC9B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,QAAQ;YAC9B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAqB;IACvC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;gBAC3D,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACnB,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACnE,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,IAAI,CAAO,UAA+B;IACxD,OAAO;QACL,MAAM,CAAC,KAAK;YACV,OAAO,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAO,OAAsB;IACnD,OAAO;QACL,qBAAqB,EAAE,IAAI;QAC3B,KAAK,EAAE,OAAO;QACd,MAAM,CAAC,KAAK;YACV,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAmD,KAAQ;IAChF,OAAO;QACL,MAAM,CAAC,KAAK;YACV,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;gBAC5B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;gBACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7F,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,IAAmB;IAC7C,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,MAAM,aAAa,GAAQ,EAAE,CAAC;YAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC1D,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,EAAE,CAAC,aAAa,CAAC,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,GAAG,QAAmB;IAKtB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACrC,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,4BAA4B,QAAQ,CAAC,MAAM,GAAG,EAAE;oBAChE,KAAK,EAAE,KAAK;iBACb,CAAC,CACH,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAc,EAAE,CAAC;YACpC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpB,SAAS;gBACX,CAAC;gBACD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CACR,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAEzB,CAClB,CAAC;gBACJ,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,EAAE,CAAC,aAAgF,CAAC,CAAC;QAC9F,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAO,IAAmB;IAC9C,OAAO,KAAK,CACV,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,IAAI;KACZ,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAc,CAC1C,EACD,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;KACrB,CAAC,EACF,GAAG,EAAE,CAAC,IAAI,EAAe,CAC1B,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,SAAmC,EACnC,UAAyC;IAEzC,OAAO,KAAK,CACV,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC;QAClB,KAAK,EAAE,SAAS;KACjB,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAsB,CAChD,EACD,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;QACnB,KAAK,EAAE,UAAU;KAClB,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAsB,CACjD,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,KAAa;IAKb,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;YAED,MAAM,MAAM,GAAG,KAAgC,CAAC;YAChD,MAAM,aAAa,GAA4B,EAAE,CAAC;YAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC;gBAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAE7B,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACtC,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC/B,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;wBAC/B,SAAS;oBACX,CAAC;oBAED,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,kBAAkB,GAAG,IAAI,EAAE;wBAC3C,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,CAAC,GAAG,CAAC;qBACZ,CAAC,CACH,CAAC;gBACJ,CAAC;gBAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACzC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CACR,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAEvB,CAClB,CAAC;gBACJ,CAAC;gBAED,aAAa,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;YACrC,CAAC;YAED,OAAO,EAAE,CAAC,aAA0E,CAAC,CAAC;QACxF,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,GAAM,EACN,OAAsB;IAEtB,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAA0C,CAAC;IACzE,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAM,EACN,OAAsB;IAEtB,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,EAEvC,CAAC;IACF,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,IAAuB,EACvB,KAAyB;IAEzB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;gBACvB,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;oBACxB,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,oCAAoC,EAAE;wBACtD,KAAK,EAAE,KAAK;qBACb,CAAC,CACH,CAAC;gBACJ,CAAC;gBACD,OAAO,YAAY,CAAC;YACtB,CAAC;YACD,OAAO,WAAW,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CACjB,OAAsB,EACtB,OAAwB;IAExB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAsB,EACtB,OAAoC;IAEpC,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACpF,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,OAAsB,EACtB,SAAmC,EACnC,OAAe;IAEf,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnB,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC7B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;gBACnB,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAI,KAAQ,EAAE,OAA0B;IACpE,OAAO,KAAK,YAAY,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAgC;IAEhC,OAAO,uBAAuB,IAAI,KAAK;QACrC,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CAAI,OAA8B;IAChD,OAAO,OAAO,CAAC,KAAK,CAAC;AACvB,CAAC","sourcesContent":["import { type ErrorFrame, Failure } from '@soundscript/soundscript/failures';\nimport { err, isErr, none, ok, some, type Option, type Result } from '@soundscript/soundscript/result';\n\nexport type DecodePathSegment = string | number;\nexport type DecodePath = readonly DecodePathSegment[];\n\nexport class DecodeFailure extends Failure {\n  readonly path: DecodePath;\n\n  constructor(\n    message = 'Failed to decode value.',\n    options: {\n      cause?: unknown;\n      path?: DecodePath;\n      trace?: readonly ErrorFrame[];\n    } = {},\n  ) {\n    super(message, {\n      ...(options.cause === undefined ? {} : { cause: options.cause }),\n      ...(options.trace === undefined ? {} : { trace: options.trace }),\n    });\n    this.path = options.path ?? [];\n  }\n\n  at(segment: DecodePathSegment): this {\n    const prototype = Object.getPrototypeOf(this as object);\n    const clone = (prototype === null ? Object.create(null) : Object.create(prototype)) as this;\n    Object.defineProperties(clone, Object.getOwnPropertyDescriptors(this));\n    Object.defineProperty(clone, 'path', {\n      configurable: true,\n      enumerable: true,\n      writable: false,\n      value: [segment, ...this.path],\n    });\n    return clone;\n  }\n}\n\n// #[variance(T: out, E: out)]\nexport type Decoder<T, E = DecodeFailure> = {\n  decode(value: unknown): Result<T, E>;\n};\n\n// #[variance(T: out, E: out)]\nexport type OptionalDecoder<T, E = DecodeFailure> = Decoder<T | undefined, E> & {\n  readonly __soundscriptOptional: true;\n  readonly inner: Decoder<T, E>;\n};\n\ntype DecoderValue<TDecoder> = TDecoder extends Decoder<infer TValue, unknown> ? TValue : never;\ntype DecoderError<TDecoder> = TDecoder extends Decoder<unknown, infer E> ? E : never;\n\ntype ObjectShape = Record<string, Decoder<unknown, unknown>>;\ntype TupleShape = readonly Decoder<unknown, unknown>[];\n\nexport const string: Decoder<string> = {\n  decode(value): Result<string, DecodeFailure> {\n    return typeof value === 'string'\n      ? ok(value)\n      : err(new DecodeFailure('Expected string.', { cause: value }));\n  },\n};\n\nexport const number: Decoder<number> = {\n  decode(value): Result<number, DecodeFailure> {\n    return typeof value === 'number'\n      ? ok(value)\n      : err(new DecodeFailure('Expected number.', { cause: value }));\n  },\n};\n\nexport const boolean: Decoder<boolean> = {\n  decode(value): Result<boolean, DecodeFailure> {\n    return typeof value === 'boolean'\n      ? ok(value)\n      : err(new DecodeFailure('Expected boolean.', { cause: value }));\n  },\n};\n\nexport const bigint: Decoder<bigint> = {\n  decode(value): Result<bigint, DecodeFailure> {\n    if (typeof value === 'bigint') {\n      return ok(value);\n    }\n\n    if (typeof value === 'number') {\n      return Number.isInteger(value) && Number.isSafeInteger(value)\n        ? ok(BigInt(value))\n        : err(new DecodeFailure('Expected bigint.', { cause: value }));\n    }\n\n    if (typeof value === 'string') {\n      try {\n        return ok(BigInt(value));\n      } catch {\n        return err(new DecodeFailure('Expected bigint.', { cause: value }));\n      }\n    }\n\n    return err(new DecodeFailure('Expected bigint.', { cause: value }));\n  },\n};\n\nexport function lazy<T, E>(getDecoder: () => Decoder<T, E>): Decoder<T, E> {\n  return {\n    decode(value) {\n      return getDecoder().decode(value);\n    },\n  };\n}\n\nexport function optional<T, E>(decoder: Decoder<T, E>): OptionalDecoder<T, E> {\n  return {\n    __soundscriptOptional: true,\n    inner: decoder,\n    decode(value) {\n      return value === undefined ? ok(undefined) : decoder.decode(value);\n    },\n  };\n}\n\nexport function literal<const T extends string | number | boolean | null>(value: T): Decoder<T> {\n  return {\n    decode(input) {\n      return Object.is(input, value)\n        ? ok(value)\n        : err(new DecodeFailure(`Expected literal ${JSON.stringify(value)}.`, { cause: input }));\n    },\n  };\n}\n\nexport function array<T, E>(item: Decoder<T, E>): Decoder<readonly T[], E | DecodeFailure> {\n  return {\n    decode(value) {\n      if (!Array.isArray(value)) {\n        return err(new DecodeFailure('Expected array.', { cause: value }));\n      }\n\n      const decodedValues: T[] = [];\n      for (let index = 0; index < value.length; index += 1) {\n        const decoded = item.decode(value[index]);\n        if (isErr(decoded)) {\n          return err(prependPathIfPossible(decoded.error, index));\n        }\n        decodedValues.push(decoded.value);\n      }\n\n      return ok(decodedValues);\n    },\n  };\n}\n\nexport function tuple<const TElements extends TupleShape>(\n  ...elements: TElements\n): Decoder<\n  { readonly [K in keyof TElements]: DecoderValue<TElements[K]> },\n  DecoderError<TElements[number]> | DecodeFailure\n> {\n  return {\n    decode(value) {\n      if (!Array.isArray(value)) {\n        return err(new DecodeFailure('Expected tuple.', { cause: value }));\n      }\n\n      if (value.length !== elements.length) {\n        return err(\n          new DecodeFailure(`Expected tuple of length ${elements.length}.`, {\n            cause: value,\n          }),\n        );\n      }\n\n      const decodedValues: unknown[] = [];\n      for (let index = 0; index < elements.length; index += 1) {\n        const elementDecoder = elements[index];\n        if (!elementDecoder) {\n          continue;\n        }\n        const decoded = elementDecoder.decode(value[index]);\n        if (isErr(decoded)) {\n          return err(\n            prependPathIfPossible(decoded.error, index) as\n              | DecoderError<TElements[number]>\n              | DecodeFailure,\n          );\n        }\n        decodedValues.push(decoded.value);\n      }\n\n      return ok(decodedValues as { readonly [K in keyof TElements]: DecoderValue<TElements[K]> });\n    },\n  };\n}\n\nexport function option<T, E>(item: Decoder<T, E>): Decoder<Option<T>, E | DecodeFailure> {\n  return union(\n    map(\n      object({\n        tag: literal('some'),\n        value: item,\n      }),\n      (value) => some(value.value) as Option<T>,\n    ),\n    map(\n      object({\n        tag: literal('none'),\n      }),\n      () => none() as Option<T>,\n    ),\n  );\n}\n\nexport function result<T, EValue, EDecodeValue, EDecodeError>(\n  okDecoder: Decoder<T, EDecodeValue>,\n  errDecoder: Decoder<EValue, EDecodeError>,\n): Decoder<Result<T, EValue>, EDecodeValue | EDecodeError | DecodeFailure> {\n  return union(\n    map(\n      object({\n        tag: literal('ok'),\n        value: okDecoder,\n      }),\n      (value) => ok(value.value) as Result<T, EValue>,\n    ),\n    map(\n      object({\n        tag: literal('err'),\n        error: errDecoder,\n      }),\n      (value) => err(value.error) as Result<T, EValue>,\n    ),\n  );\n}\n\nexport function object<TShape extends ObjectShape>(\n  shape: TShape,\n): Decoder<\n  { readonly [K in keyof TShape]: DecoderValue<TShape[K]> },\n  DecoderError<TShape[keyof TShape]> | DecodeFailure\n> {\n  return {\n    decode(value) {\n      if (!isPlainObject(value)) {\n        return err(new DecodeFailure('Expected object.', { cause: value }));\n      }\n\n      const record = value as Record<string, unknown>;\n      const decodedObject: Record<string, unknown> = {};\n\n      for (const key of Object.keys(shape)) {\n        const decoder = shape[key];\n        if (!decoder) {\n          continue;\n        }\n        const hasKey = key in record;\n        const rawValue = record[key];\n\n        if (!hasKey || rawValue === undefined) {\n          if (isOptionalDecoder(decoder)) {\n            decodedObject[key] = undefined;\n            continue;\n          }\n\n          return err(\n            new DecodeFailure(`Missing field \"${key}\".`, {\n              cause: value,\n              path: [key],\n            }),\n          );\n        }\n\n        const decoded = decoder.decode(rawValue);\n        if (isErr(decoded)) {\n          return err(\n            prependPathIfPossible(decoded.error, key) as\n              | DecoderError<TShape[keyof TShape]>\n              | DecodeFailure,\n          );\n        }\n\n        decodedObject[key] = decoded.value;\n      }\n\n      return ok(decodedObject as { readonly [K in keyof TShape]: DecoderValue<TShape[K]> });\n    },\n  };\n}\n\nexport function field<K extends string, T, E>(\n  key: K,\n  decoder: Decoder<T, E>,\n): Decoder<T, E | DecodeFailure> {\n  const shape = { [key]: decoder } as { readonly [P in K]: Decoder<T, E> };\n  return map(object(shape), (value) => value[key]);\n}\n\nexport function optionalField<K extends string, T, E>(\n  key: K,\n  decoder: Decoder<T, E>,\n): Decoder<T | undefined, E | DecodeFailure> {\n  const shape = { [key]: optional(decoder) } as {\n    readonly [P in K]: OptionalDecoder<T, E>;\n  };\n  return map(object(shape), (value) => value[key]);\n}\n\nexport function union<A, B, ELeft, ERight>(\n  left: Decoder<A, ELeft>,\n  right: Decoder<B, ERight>,\n): Decoder<A | B, ELeft | ERight | DecodeFailure> {\n  return {\n    decode(value) {\n      const leftDecoded = left.decode(value);\n      if (isErr(leftDecoded)) {\n        const rightDecoded = right.decode(value);\n        if (isErr(rightDecoded)) {\n          return err(\n            new DecodeFailure('Expected one of the union members.', {\n              cause: value,\n            }),\n          );\n        }\n        return rightDecoded;\n      }\n      return leftDecoded;\n    },\n  };\n}\n\nexport function map<A, B, E>(\n  decoder: Decoder<A, E>,\n  project: (value: A) => B,\n): Decoder<B, E> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      return isErr(decoded) ? decoded : ok(project(decoded.value));\n    },\n  };\n}\n\nexport function andThen<A, B, E>(\n  decoder: Decoder<A, E>,\n  project: (value: A) => Decoder<B, E>,\n): Decoder<B, E> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      return isErr(decoded) ? decoded : project(decoded.value).decode(valueOf(decoded));\n    },\n  };\n}\n\nexport function refine<A, B extends A, E>(\n  decoder: Decoder<A, E>,\n  predicate: (value: A) => value is B,\n  message: string,\n): Decoder<B, E | DecodeFailure> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      if (isErr(decoded)) {\n        return decoded;\n      }\n\n      return predicate(decoded.value)\n        ? ok(decoded.value)\n        : err(new DecodeFailure(message, { cause: value }));\n    },\n  };\n}\n\nfunction prependPathIfPossible<E>(error: E, segment: DecodePathSegment): E | DecodeFailure {\n  return error instanceof DecodeFailure ? error.at(segment) : error;\n}\n\nfunction isOptionalDecoder(\n  value: Decoder<unknown, unknown>,\n): value is OptionalDecoder<unknown, unknown> {\n  return '__soundscriptOptional' in value &&\n    value.__soundscriptOptional === true;\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction valueOf<T>(decoded: { readonly value: T }): T {\n  return decoded.value;\n}\n"]}
+{"version":3,"file":"decode.js","sourceRoot":"","sources":["./soundscript/decode.sts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAA4B,MAAM,iCAAiC,CAAC;AAKvG,MAAM,OAAO,aAAc,SAAQ,OAAO;IAGxC,YACE,OAAO,GAAG,yBAAyB,EACnC,UAIK,EAAE;QAEP,KAAK,CAAC,OAAO,EAAE;YACb,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;IACjC,CAAC;IAED,EAAE,CAAC,OAA0B;QAC3B,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAc,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAS,CAAC;QAC5F,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE;YACnC,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC;SAC/B,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAmBD,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,QAAQ;YAC9B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,QAAQ;YAC9B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAqB;IACvC,MAAM,CAAC,KAAK;QACV,OAAO,OAAO,KAAK,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,MAAM,CAAC,KAAK;QACV,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;gBAC3D,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACnB,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACnE,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,IAAI,CAAO,UAA+B;IACxD,OAAO;QACL,MAAM,CAAC,KAAK;YACV,OAAO,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAO,OAAsB;IACnD,OAAO;QACL,qBAAqB,EAAE,IAAI;QAC3B,KAAK,EAAE,OAAO;QACd,MAAM,CAAC,KAAK;YACV,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAmD,KAAQ;IAChF,OAAO;QACL,MAAM,CAAC,KAAK;YACV,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;gBAC5B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;gBACX,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7F,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,IAAmB;IAC7C,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,MAAM,aAAa,GAAQ,EAAE,CAAC;YAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC1D,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,EAAE,CAAC,aAAa,CAAC,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,GAAG,QAAmB;IAKtB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,iBAAiB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACrC,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,4BAA4B,QAAQ,CAAC,MAAM,GAAG,EAAE;oBAChE,KAAK,EAAE,KAAK;iBACb,CAAC,CACH,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAc,EAAE,CAAC;YACpC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpB,SAAS;gBACX,CAAC;gBACD,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CACR,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAEzB,CAClB,CAAC;gBACJ,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,CAAC;YAED,OAAO,EAAE,CAAC,aAAgF,CAAC,CAAC;QAC9F,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAO,IAAmB;IAC9C,OAAO,KAAK,CACV,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,IAAI;KACZ,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAc,CAC1C,EACD,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC;KACrB,CAAC,EACF,GAAG,EAAE,CAAC,IAAI,EAAe,CAC1B,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,SAAmC,EACnC,UAAyC;IAEzC,OAAO,KAAK,CACV,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC;QAClB,KAAK,EAAE,SAAS;KACjB,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAsB,CAChD,EACD,GAAG,CACD,MAAM,CAAC;QACL,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;QACnB,KAAK,EAAE,UAAU;KAClB,CAAC,EACF,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAsB,CACjD,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,KAAa;IAKb,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,GAAG,CAAC,IAAI,aAAa,CAAC,kBAAkB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;YAED,MAAM,MAAM,GAAG,KAAgC,CAAC;YAChD,MAAM,aAAa,GAA4B,EAAE,CAAC;YAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,MAAM,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC;gBAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAE7B,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACtC,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC/B,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;wBAC/B,SAAS;oBACX,CAAC;oBAED,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,kBAAkB,GAAG,IAAI,EAAE;wBAC3C,KAAK,EAAE,KAAK;wBACZ,IAAI,EAAE,CAAC,GAAG,CAAC;qBACZ,CAAC,CACH,CAAC;gBACJ,CAAC;gBAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACzC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnB,OAAO,GAAG,CACR,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAEvB,CAClB,CAAC;gBACJ,CAAC;gBAED,aAAa,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;YACrC,CAAC;YAED,OAAO,EAAE,CAAC,aAA0E,CAAC,CAAC;QACxF,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,GAAM,EACN,OAAsB;IAEtB,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAA0C,CAAC;IACzE,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAM,EACN,OAAsB;IAEtB,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,EAEvC,CAAC;IACF,OAAO,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,IAAuB,EACvB,KAAyB;IAEzB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;gBACvB,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;oBACxB,OAAO,GAAG,CACR,IAAI,aAAa,CAAC,oCAAoC,EAAE;wBACtD,KAAK,EAAE,KAAK;qBACb,CAAC,CACH,CAAC;gBACJ,CAAC;gBACD,OAAO,YAAY,CAAC;YACtB,CAAC;YACD,OAAO,WAAW,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CACjB,OAAsB,EACtB,OAAwB;IAExB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAsB,EACtB,OAAoC;IAEpC,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACpF,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,OAAsB,EACtB,SAAmC,EACnC,OAAe;IAEf,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnB,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC7B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;gBACnB,CAAC,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAI,KAAQ,EAAE,OAA0B;IACpE,OAAO,KAAK,YAAY,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAgC;IAEhC,OAAO,uBAAuB,IAAI,KAAK;QACrC,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CAAI,OAA8B;IAChD,OAAO,OAAO,CAAC,KAAK,CAAC;AACvB,CAAC","sourcesContent":["import { type ErrorFrame, Failure } from '@soundscript/soundscript/failures';\nimport { err, isErr, none, ok, some, type Option, type Result } from '@soundscript/soundscript/result';\n\nexport type DecodePathSegment = string | number;\nexport type DecodePath = readonly DecodePathSegment[];\n\nexport class DecodeFailure extends Failure {\n  readonly path: DecodePath;\n\n  constructor(\n    message = 'Failed to decode value.',\n    options: Readonly<{\n      cause?: unknown;\n      path?: DecodePath;\n      trace?: readonly ErrorFrame[];\n    }> = {},\n  ) {\n    super(message, {\n      ...(options.cause === undefined ? {} : { cause: options.cause }),\n      ...(options.trace === undefined ? {} : { trace: options.trace }),\n    });\n    this.path = options.path ?? [];\n  }\n\n  at(segment: DecodePathSegment): this {\n    const prototype = Object.getPrototypeOf(this as object);\n    const clone = (prototype === null ? Object.create(null) : Object.create(prototype)) as this;\n    Object.defineProperties(clone, Object.getOwnPropertyDescriptors(this));\n    Object.defineProperty(clone, 'path', {\n      configurable: true,\n      enumerable: true,\n      writable: false,\n      value: [segment, ...this.path],\n    });\n    return clone;\n  }\n}\n\n// #[variance(T: out, E: out)]\nexport type Decoder<T, E = DecodeFailure> = {\n  decode(value: unknown): Result<T, E>;\n};\n\n// #[variance(T: out, E: out)]\nexport type OptionalDecoder<T, E = DecodeFailure> = Decoder<T | undefined, E> & {\n  readonly __soundscriptOptional: true;\n  readonly inner: Decoder<T, E>;\n};\n\ntype DecoderValue<TDecoder> = TDecoder extends Decoder<infer TValue, unknown> ? TValue : never;\ntype DecoderError<TDecoder> = TDecoder extends Decoder<unknown, infer E> ? E : never;\n\ntype ObjectShape = Record<string, Decoder<unknown, unknown>>;\ntype TupleShape = readonly Decoder<unknown, unknown>[];\n\nexport const string: Decoder<string> = {\n  decode(value): Result<string, DecodeFailure> {\n    return typeof value === 'string'\n      ? ok(value)\n      : err(new DecodeFailure('Expected string.', { cause: value }));\n  },\n};\n\nexport const number: Decoder<number> = {\n  decode(value): Result<number, DecodeFailure> {\n    return typeof value === 'number'\n      ? ok(value)\n      : err(new DecodeFailure('Expected number.', { cause: value }));\n  },\n};\n\nexport const boolean: Decoder<boolean> = {\n  decode(value): Result<boolean, DecodeFailure> {\n    return typeof value === 'boolean'\n      ? ok(value)\n      : err(new DecodeFailure('Expected boolean.', { cause: value }));\n  },\n};\n\nexport const bigint: Decoder<bigint> = {\n  decode(value): Result<bigint, DecodeFailure> {\n    if (typeof value === 'bigint') {\n      return ok(value);\n    }\n\n    if (typeof value === 'number') {\n      return Number.isInteger(value) && Number.isSafeInteger(value)\n        ? ok(BigInt(value))\n        : err(new DecodeFailure('Expected bigint.', { cause: value }));\n    }\n\n    if (typeof value === 'string') {\n      try {\n        return ok(BigInt(value));\n      } catch {\n        return err(new DecodeFailure('Expected bigint.', { cause: value }));\n      }\n    }\n\n    return err(new DecodeFailure('Expected bigint.', { cause: value }));\n  },\n};\n\nexport function lazy<T, E>(getDecoder: () => Decoder<T, E>): Decoder<T, E> {\n  return {\n    decode(value) {\n      return getDecoder().decode(value);\n    },\n  };\n}\n\nexport function optional<T, E>(decoder: Decoder<T, E>): OptionalDecoder<T, E> {\n  return {\n    __soundscriptOptional: true,\n    inner: decoder,\n    decode(value) {\n      return value === undefined ? ok(undefined) : decoder.decode(value);\n    },\n  };\n}\n\nexport function literal<const T extends string | number | boolean | null>(value: T): Decoder<T> {\n  return {\n    decode(input) {\n      return Object.is(input, value)\n        ? ok(value)\n        : err(new DecodeFailure(`Expected literal ${JSON.stringify(value)}.`, { cause: input }));\n    },\n  };\n}\n\nexport function array<T, E>(item: Decoder<T, E>): Decoder<readonly T[], E | DecodeFailure> {\n  return {\n    decode(value) {\n      if (!Array.isArray(value)) {\n        return err(new DecodeFailure('Expected array.', { cause: value }));\n      }\n\n      const decodedValues: T[] = [];\n      for (let index = 0; index < value.length; index += 1) {\n        const decoded = item.decode(value[index]);\n        if (isErr(decoded)) {\n          return err(prependPathIfPossible(decoded.error, index));\n        }\n        decodedValues.push(decoded.value);\n      }\n\n      return ok(decodedValues);\n    },\n  };\n}\n\nexport function tuple<const TElements extends TupleShape>(\n  ...elements: TElements\n): Decoder<\n  { readonly [K in keyof TElements]: DecoderValue<TElements[K]> },\n  DecoderError<TElements[number]> | DecodeFailure\n> {\n  return {\n    decode(value) {\n      if (!Array.isArray(value)) {\n        return err(new DecodeFailure('Expected tuple.', { cause: value }));\n      }\n\n      if (value.length !== elements.length) {\n        return err(\n          new DecodeFailure(`Expected tuple of length ${elements.length}.`, {\n            cause: value,\n          }),\n        );\n      }\n\n      const decodedValues: unknown[] = [];\n      for (let index = 0; index < elements.length; index += 1) {\n        const elementDecoder = elements[index];\n        if (!elementDecoder) {\n          continue;\n        }\n        const decoded = elementDecoder.decode(value[index]);\n        if (isErr(decoded)) {\n          return err(\n            prependPathIfPossible(decoded.error, index) as\n              | DecoderError<TElements[number]>\n              | DecodeFailure,\n          );\n        }\n        decodedValues.push(decoded.value);\n      }\n\n      return ok(decodedValues as { readonly [K in keyof TElements]: DecoderValue<TElements[K]> });\n    },\n  };\n}\n\nexport function option<T, E>(item: Decoder<T, E>): Decoder<Option<T>, E | DecodeFailure> {\n  return union(\n    map(\n      object({\n        tag: literal('some'),\n        value: item,\n      }),\n      (value) => some(value.value) as Option<T>,\n    ),\n    map(\n      object({\n        tag: literal('none'),\n      }),\n      () => none() as Option<T>,\n    ),\n  );\n}\n\nexport function result<T, EValue, EDecodeValue, EDecodeError>(\n  okDecoder: Decoder<T, EDecodeValue>,\n  errDecoder: Decoder<EValue, EDecodeError>,\n): Decoder<Result<T, EValue>, EDecodeValue | EDecodeError | DecodeFailure> {\n  return union(\n    map(\n      object({\n        tag: literal('ok'),\n        value: okDecoder,\n      }),\n      (value) => ok(value.value) as Result<T, EValue>,\n    ),\n    map(\n      object({\n        tag: literal('err'),\n        error: errDecoder,\n      }),\n      (value) => err(value.error) as Result<T, EValue>,\n    ),\n  );\n}\n\nexport function object<TShape extends ObjectShape>(\n  shape: TShape,\n): Decoder<\n  { readonly [K in keyof TShape]: DecoderValue<TShape[K]> },\n  DecoderError<TShape[keyof TShape]> | DecodeFailure\n> {\n  return {\n    decode(value) {\n      if (!isPlainObject(value)) {\n        return err(new DecodeFailure('Expected object.', { cause: value }));\n      }\n\n      const record = value as Record<string, unknown>;\n      const decodedObject: Record<string, unknown> = {};\n\n      for (const key of Object.keys(shape)) {\n        const decoder = shape[key];\n        if (!decoder) {\n          continue;\n        }\n        const hasKey = key in record;\n        const rawValue = record[key];\n\n        if (!hasKey || rawValue === undefined) {\n          if (isOptionalDecoder(decoder)) {\n            decodedObject[key] = undefined;\n            continue;\n          }\n\n          return err(\n            new DecodeFailure(`Missing field \"${key}\".`, {\n              cause: value,\n              path: [key],\n            }),\n          );\n        }\n\n        const decoded = decoder.decode(rawValue);\n        if (isErr(decoded)) {\n          return err(\n            prependPathIfPossible(decoded.error, key) as\n              | DecoderError<TShape[keyof TShape]>\n              | DecodeFailure,\n          );\n        }\n\n        decodedObject[key] = decoded.value;\n      }\n\n      return ok(decodedObject as { readonly [K in keyof TShape]: DecoderValue<TShape[K]> });\n    },\n  };\n}\n\nexport function field<K extends string, T, E>(\n  key: K,\n  decoder: Decoder<T, E>,\n): Decoder<T, E | DecodeFailure> {\n  const shape = { [key]: decoder } as { readonly [P in K]: Decoder<T, E> };\n  return map(object(shape), (value) => value[key]);\n}\n\nexport function optionalField<K extends string, T, E>(\n  key: K,\n  decoder: Decoder<T, E>,\n): Decoder<T | undefined, E | DecodeFailure> {\n  const shape = { [key]: optional(decoder) } as {\n    readonly [P in K]: OptionalDecoder<T, E>;\n  };\n  return map(object(shape), (value) => value[key]);\n}\n\nexport function union<A, B, ELeft, ERight>(\n  left: Decoder<A, ELeft>,\n  right: Decoder<B, ERight>,\n): Decoder<A | B, ELeft | ERight | DecodeFailure> {\n  return {\n    decode(value) {\n      const leftDecoded = left.decode(value);\n      if (isErr(leftDecoded)) {\n        const rightDecoded = right.decode(value);\n        if (isErr(rightDecoded)) {\n          return err(\n            new DecodeFailure('Expected one of the union members.', {\n              cause: value,\n            }),\n          );\n        }\n        return rightDecoded;\n      }\n      return leftDecoded;\n    },\n  };\n}\n\nexport function map<A, B, E>(\n  decoder: Decoder<A, E>,\n  project: (value: A) => B,\n): Decoder<B, E> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      return isErr(decoded) ? decoded : ok(project(decoded.value));\n    },\n  };\n}\n\nexport function andThen<A, B, E>(\n  decoder: Decoder<A, E>,\n  project: (value: A) => Decoder<B, E>,\n): Decoder<B, E> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      return isErr(decoded) ? decoded : project(decoded.value).decode(valueOf(decoded));\n    },\n  };\n}\n\nexport function refine<A, B extends A, E>(\n  decoder: Decoder<A, E>,\n  predicate: (value: A) => value is B,\n  message: string,\n): Decoder<B, E | DecodeFailure> {\n  return {\n    decode(value) {\n      const decoded = decoder.decode(value);\n      if (isErr(decoded)) {\n        return decoded;\n      }\n\n      return predicate(decoded.value)\n        ? ok(decoded.value)\n        : err(new DecodeFailure(message, { cause: value }));\n    },\n  };\n}\n\nfunction prependPathIfPossible<E>(error: E, segment: DecodePathSegment): E | DecodeFailure {\n  return error instanceof DecodeFailure ? error.at(segment) : error;\n}\n\nfunction isOptionalDecoder(\n  value: Decoder<unknown, unknown>,\n): value is OptionalDecoder<unknown, unknown> {\n  return '__soundscriptOptional' in value &&\n    value.__soundscriptOptional === true;\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction valueOf<T>(decoded: { readonly value: T }): T {\n  return decoded.value;\n}\n"]}

package/json.js

@@ -12,7 +12,7 @@ var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (
 var _JsonLikeParser_instances, _JsonLikeParser_index, _JsonLikeParser_text, _JsonLikeParser_consumeKeyword, _JsonLikeParser_parseArray, _JsonLikeParser_parseNumber, _JsonLikeParser_parseObject, _JsonLikeParser_parseString, _JsonLikeParser_consumeDigits, _JsonLikeParser_skipWhitespace, _JsonLikeParser_isDigit, _JsonLikeParser_error;
 import { Failure } from '@soundscript/soundscript/failures';
 import { isErr, resultOf } from '@soundscript/soundscript/result';
-import { F32, F64, format as formatNumeric, I8, I16, I32, I64, isNumeric, toHostNumber, U8, U16, U32, U64, } from './numerics.sts';
+import { F32, F64, format as formatNumeric, I8, I16, I32, I64, isNumeric, toHostNumber, U8, U16, U32, U64, } from './numerics.js';
 const MAX_SAFE_INTEGER_BIGINT = BigInt(Number.MAX_SAFE_INTEGER);
 const MIN_SAFE_INTEGER_BIGINT = BigInt(Number.MIN_SAFE_INTEGER);
 export class JsonParseFailure extends Failure {

package/numerics.js

@@ -10,10 +10,10 @@ var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (
     return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
 };
 var _MachineNumericBox_key, _MachineNumericBox_payload;
-import { fromCompare } from './compare.sts';
-import { Failure } from './failures.sts';
-import { fromHashEq, stringHash } from './hash.sts';
-import { err, ok } from './result.sts';
+import { fromCompare } from './compare.js';
+import { Failure } from './failures.js';
+import { fromHashEq, stringHash } from './hash.js';
+import { err, ok } from './result.js';
 export class NumericOverflowFailure extends Failure {
     constructor(leaf, operation) {
         super(`Checked ${operation} overflowed for ${leaf}.`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@soundscript/soundscript",
-  "version": "0.1.15",
+  "version": "0.1.17",
   "license": "ISC",
   "type": "module",
   "sideEffects": false,
@@ -232,11 +232,11 @@
     "typescript": "5.9.3"
   },
   "optionalDependencies": {
-    "@soundscript/cli-darwin-arm64": "0.1.15",
-    "@soundscript/cli-darwin-x64": "0.1.15",
-    "@soundscript/cli-linux-arm64": "0.1.15",
-    "@soundscript/cli-linux-x64": "0.1.15",
-    "@soundscript/cli-win32-x64": "0.1.15"
+    "@soundscript/cli-darwin-arm64": "0.1.17",
+    "@soundscript/cli-darwin-x64": "0.1.17",
+    "@soundscript/cli-linux-arm64": "0.1.17",
+    "@soundscript/cli-linux-x64": "0.1.17",
+    "@soundscript/cli-win32-x64": "0.1.17"
   },
   "repository": {
     "type": "git",

package/project-transform/src/checker/rules/flow.js

@@ -3,6 +3,7 @@ import { SOUND_DIAGNOSTIC_CODES, SOUND_DIAGNOSTIC_MESSAGES } from '../engine/dia
 import { getNodeDiagnosticRange, } from '../diagnostics.js';
 import { getFlowChildRegionStructure, getFlowRegionStructure, materializeConditionStructures, } from './flow_facts.js';
 import { cloneState, FLOW_FACT_ENVIRONMENT, isFunctionLikeWithBody, prepareChildRegionState, recordExecutedExpressionAliases, recordVariableAliases, statementAffectsNarrow, } from './flow_invalidation.js';
+import { isConstLocalBindingPath } from './flow_shared.js';
 import { isInsideSyntheticErrorNormalizationHelper } from './generated_helpers.js';
 function boundaryKindLabel(kind) {
     switch (kind) {
@@ -114,6 +115,15 @@ function findInvalidation(context, statement, activeFacts, state) {
     }
     return undefined;
 }
+function factRequiresBoundaryInvalidation(fact) {
+    if (fact.path.segments.length !== 0 || !isConstLocalBindingPath(fact.path)) {
+        return true;
+    }
+    return fact.kind !== 'discriminantLiteral' &&
+        fact.kind !== 'nonNull' &&
+        fact.kind !== 'truthy' &&
+        fact.kind !== 'typeof';
+}
 function analyzeStatements(context, regionNode, statements, state, diagnostics, inheritedFacts = [], options = {}) {
     const region = regionNode ? getFlowRegionStructure(context, regionNode, statements, options) : {
         entries: statements.map((statement) => ({
@@ -134,7 +144,8 @@ function analyzeStatements(context, regionNode, statements, state, diagnostics,
                 boundaryKind: classifyBoundaryKind(sequentialAnalysis.invalidatingNode),
             }));
         }
-        const activeSequentialFacts = [...inheritedFacts, ...sequentialAnalysis.facts];
+        const activeSequentialFacts = [...inheritedFacts, ...sequentialAnalysis.facts]
+            .filter(factRequiresBoundaryInvalidation);
         const invalidatingNode = findInvalidation(context, statement, activeSequentialFacts, state);
         if (invalidatingNode) {
             diagnostics.push(createDiagnostic(context, invalidatingNode));
@@ -187,7 +198,8 @@ function analyzeRootRegion(context, regionNode, statements, diagnostics) {
 export function runFlowRules(context) {
     const diagnostics = [];
     context.forEachSourceFile((sourceFile) => {
-        analyzeRootRegion(context, sourceFile, sourceFile.statements.filter((statement) => !context.isGeneratedNode(statement)), diagnostics);
+        const rootStatements = sourceFile.statements.filter((statement) => !context.isGeneratedNode(statement));
+        analyzeRootRegion(context, sourceFile, rootStatements, diagnostics);
         context.traverse(sourceFile, (node) => {
             if (!isFunctionLikeWithBody(node)) {
                 return;
@@ -195,7 +207,8 @@ export function runFlowRules(context) {
             if (isInsideSyntheticErrorNormalizationHelper(node)) {
                 return;
             }
-            analyzeRootRegion(context, ts.isBlock(node.body) ? node.body : undefined, getRootStatements(node.body).filter((statement) => !context.isGeneratedNode(statement)), diagnostics);
+            const bodyStatements = getRootStatements(node.body).filter((statement) => !context.isGeneratedNode(statement));
+            analyzeRootRegion(context, ts.isBlock(node.body) ? node.body : undefined, bodyStatements, diagnostics);
         });
     });
     return diagnostics;

package/project-transform/src/checker/rules/flow.ts

@@ -25,6 +25,7 @@ import {
   recordVariableAliases,
   statementAffectsNarrow,
 } from './flow_invalidation.ts';
+import { isConstLocalBindingPath } from './flow_shared.ts';
 import { isInsideSyntheticErrorNormalizationHelper } from './generated_helpers.ts';
 
 type InvalidationBoundaryKind =
@@ -181,6 +182,19 @@ function findInvalidation(
   return undefined;
 }
 
+function factRequiresBoundaryInvalidation(
+  fact: FlowFact<NormalizedPath>,
+): boolean {
+  if (fact.path.segments.length !== 0 || !isConstLocalBindingPath(fact.path)) {
+    return true;
+  }
+
+  return fact.kind !== 'discriminantLiteral' &&
+    fact.kind !== 'nonNull' &&
+    fact.kind !== 'truthy' &&
+    fact.kind !== 'typeof';
+}
+
 function analyzeStatements(
   context: AnalysisContext,
   regionNode: ts.Node | undefined,
@@ -218,7 +232,8 @@ function analyzeStatements(
         }),
       );
     }
-    const activeSequentialFacts = [...inheritedFacts, ...sequentialAnalysis.facts];
+    const activeSequentialFacts = [...inheritedFacts, ...sequentialAnalysis.facts]
+      .filter(factRequiresBoundaryInvalidation);
     const invalidatingNode = findInvalidation(context, statement, activeSequentialFacts, state);
     if (invalidatingNode) {
       diagnostics.push(createDiagnostic(context, invalidatingNode));
@@ -305,10 +320,11 @@ export function runFlowRules(context: AnalysisContext): SoundDiagnostic[] {
   const diagnostics: SoundDiagnostic[] = [];
 
   context.forEachSourceFile((sourceFile) => {
+    const rootStatements = sourceFile.statements.filter((statement) => !context.isGeneratedNode(statement));
     analyzeRootRegion(
       context,
       sourceFile,
-      sourceFile.statements.filter((statement) => !context.isGeneratedNode(statement)),
+      rootStatements,
       diagnostics,
     );
 
@@ -320,10 +336,11 @@ export function runFlowRules(context: AnalysisContext): SoundDiagnostic[] {
         return;
       }
 
+      const bodyStatements = getRootStatements(node.body).filter((statement) => !context.isGeneratedNode(statement));
       analyzeRootRegion(
         context,
         ts.isBlock(node.body) ? node.body : undefined,
-        getRootStatements(node.body).filter((statement) => !context.isGeneratedNode(statement)),
+        bodyStatements,
         diagnostics,
       );
     });

package/project-transform/src/checker/rules/flow_invalidation.js

@@ -1,5 +1,5 @@
 import ts from 'typescript';
-import { bindFunctionBindingName, appendSegment, arrayMutationCallAffectsNarrow, assignmentAffectsNarrow, bindFunctionReceiverPath, cloneState, getCalledMember, getExpressionSymbol, getFunctionBindings, getFunctionBodyCalledMember, getFunctionLikeFromBoundMemberCall, getFunctionLikeFromBoundValue, getFunctionLikeFromCallExpression, getStateExpressionBoundValue, getUniformArrayElementBindingFromExpression, getUniformArrayElementBindingFromFunctionBodyExpression, getUniformMapEntryBindingsFromExpression, getUniformMapEntryBindingsFromFunctionBodyExpression, getUniformSetElementBindingFromExpression, getUniformSetElementBindingFromFunctionBodyExpression, getNestedFunctionBindings, getMutableBindingSymbol, getShorthandStateBoundValue, getSymbolId, getUpdateExpressionOperand, isConstLocalBindingPath, isFunctionLikeWithBody, isLocalBindingPath, isStableConstLocalBindingPath, MUTATING_ASSIGNMENT_OPERATORS, mutationAffectsNarrow, normalizeExpressionPath, normalizeExpressionSourcePath, normalizeFunctionBodyPath, opaqueArgumentEscapeAffectsNarrow, pathsMatch, recordForOfLoopHeaderAliases, recordFunctionBodyConstBindings, recordExecutedExpressionAliases, recordVariableAliases, typeMayAliasMutableState, typedUpdateExpressionAffectsNarrow, } from './flow_shared.js';
+import { bindFunctionBindingName, appendSegment, arrayMutationCallAffectsNarrow, assignmentAffectsNarrow, bindFunctionReceiverPath, cloneState, getCalledMember, getExpressionSymbol, getFunctionBindings, getFunctionBodyCalledMember, getFunctionLikeFromExpression, getFunctionLikeFromBoundMemberCall, getFunctionLikeFromBoundValue, getFunctionLikeFromCallExpression, getStateExpressionBoundValue, getUniformArrayElementBindingFromExpression, getUniformArrayElementBindingFromFunctionBodyExpression, getUniformMapEntryBindingsFromExpression, getUniformMapEntryBindingsFromFunctionBodyExpression, getUniformSetElementBindingFromExpression, getUniformSetElementBindingFromFunctionBodyExpression, getNestedFunctionBindings, getMutableBindingSymbol, getShorthandStateBoundValue, getSymbolId, getUpdateExpressionOperand, isConstLocalBindingPath, isFunctionLikeWithBody, isLocalBindingPath, isStableConstLocalBindingPath, MUTATING_ASSIGNMENT_OPERATORS, mutationAffectsNarrow, normalizeExpressionPath, normalizeExpressionSourcePath, normalizeFunctionBodyPath, opaqueArgumentEscapeAffectsNarrow, pathsMatch, recordForOfLoopHeaderAliases, recordFunctionBodyConstBindings, recordExecutedExpressionAliases, recordVariableAliases, typeMayAliasMutableState, typedUpdateExpressionAffectsNarrow, } from './flow_shared.js';
 export { appendSegment, cloneState, isFunctionLikeWithBody, normalizeExpressionPath, recordExecutedExpressionAliases, recordVariableAliases, } from './flow_shared.js';
 const SYNCHRONOUS_ARRAY_CALLBACK_PARAMETER_BINDINGS = new Map([
     ['every', { callbackArgumentIndex: 0, elementParameterIndex: 0, arrayParameterIndex: 2 }],
@@ -389,10 +389,22 @@ function getLocalCallbackFunctionLike(context, expression, bindings) {
     }
     const symbol = getExpressionSymbol(context, expression);
     if (!symbol) {
-        return undefined;
+        return getFunctionLikeFromExpression(context, expression);
     }
     const boundValue = bindings.boundValues.get(getSymbolId(context, symbol));
-    return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
+    return boundValue
+        ? getFunctionLikeFromBoundValue(context, boundValue)
+        : getFunctionLikeFromExpression(context, expression);
+}
+function getStateCallbackFunctionLike(context, expression, state) {
+    expression = unwrapTransparentExpression(expression);
+    if (isFunctionLikeWithBody(expression)) {
+        return expression;
+    }
+    const boundValue = getStateExpressionBoundValue(context, expression, state);
+    return boundValue
+        ? getFunctionLikeFromBoundValue(context, boundValue)
+        : getFunctionLikeFromExpression(context, expression);
 }
 function arrayCallbackArgumentAffectsNarrow(context, receiver, member, callExpression, bindings, narrowPath, state) {
     const callbackBinding = member
@@ -437,12 +449,7 @@ function arrayCallbackExpressionAffectsNarrow(context, receiver, member, callExp
     if (!callbackArgument) {
         return false;
     }
-    const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-        ? callbackArgument
-        : (() => {
-            const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-            return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-        })();
+    const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
     if (!callbackDeclaration) {
         return false;
     }
@@ -509,12 +516,7 @@ function setCallbackExpressionAffectsNarrow(context, receiver, member, callExpre
     if (!callbackArgument) {
         return false;
     }
-    const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-        ? callbackArgument
-        : (() => {
-            const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-            return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-        })();
+    const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
     if (!callbackDeclaration) {
         return false;
     }
@@ -589,12 +591,7 @@ function mapCallbackExpressionAffectsNarrow(context, receiver, member, callExpre
     if (!callbackArgument) {
         return false;
     }
-    const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-        ? callbackArgument
-        : (() => {
-            const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-            return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-        })();
+    const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
     if (!callbackDeclaration) {
         return false;
     }

package/project-transform/src/checker/rules/flow_invalidation.ts

@@ -21,6 +21,7 @@ import {
   getExpressionSymbol,
   getFunctionBindings,
   getFunctionBodyCalledMember,
+  getFunctionLikeFromExpression,
   getFunctionLikeFromBoundMemberCall,
   getFunctionLikeFromBoundValue,
   getFunctionLikeFromCallExpression,
@@ -766,11 +767,30 @@ function getLocalCallbackFunctionLike(
 
   const symbol = getExpressionSymbol(context, expression);
   if (!symbol) {
-    return undefined;
+    return getFunctionLikeFromExpression(context, expression);
   }
 
   const boundValue = bindings.boundValues.get(getSymbolId(context, symbol));
-  return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
+  return boundValue
+    ? getFunctionLikeFromBoundValue(context, boundValue)
+    : getFunctionLikeFromExpression(context, expression);
+}
+
+function getStateCallbackFunctionLike(
+  context: AnalysisContext,
+  expression: ts.Expression,
+  state: AnalysisState,
+): ts.FunctionLikeDeclaration | undefined {
+  expression = unwrapTransparentExpression(expression);
+
+  if (isFunctionLikeWithBody(expression)) {
+    return expression;
+  }
+
+  const boundValue = getStateExpressionBoundValue(context, expression, state);
+  return boundValue
+    ? getFunctionLikeFromBoundValue(context, boundValue)
+    : getFunctionLikeFromExpression(context, expression);
 }
 
 function arrayCallbackArgumentAffectsNarrow(
@@ -865,12 +885,7 @@ function arrayCallbackExpressionAffectsNarrow(
     return false;
   }
 
-  const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-    ? callbackArgument
-    : (() => {
-      const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-      return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-    })();
+  const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
   if (!callbackDeclaration) {
     return false;
   }
@@ -1016,12 +1031,7 @@ function setCallbackExpressionAffectsNarrow(
     return false;
   }
 
-  const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-    ? callbackArgument
-    : (() => {
-      const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-      return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-    })();
+  const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
   if (!callbackDeclaration) {
     return false;
   }
@@ -1183,12 +1193,7 @@ function mapCallbackExpressionAffectsNarrow(
     return false;
   }
 
-  const callbackDeclaration = isFunctionLikeWithBody(callbackArgument)
-    ? callbackArgument
-    : (() => {
-      const boundValue = getStateExpressionBoundValue(context, callbackArgument, state);
-      return boundValue ? getFunctionLikeFromBoundValue(context, boundValue) : undefined;
-    })();
+  const callbackDeclaration = getStateCallbackFunctionLike(context, callbackArgument, state);
   if (!callbackDeclaration) {
     return false;
   }

package/project-transform/src/checker/rules/relations.js

@@ -1325,7 +1325,8 @@ function isInstalledSoundStdlibSourceFile(sourceFile) {
     const normalizedFileName = sourceFile.fileName.replaceAll('\\', '/');
     return normalizedFileName.includes('/node_modules/@soundscript/soundscript/') &&
         (normalizedFileName.endsWith('.d.ts') ||
-            normalizedFileName.endsWith('.sts'));
+            normalizedFileName.endsWith('.sts') ||
+            normalizedFileName.endsWith('.sts.ts'));
 }
 function isLocalBuiltinSoundStdlibSourceFile(sourceFile) {
     const normalizedFileName = sourceFile.fileName.replaceAll('\\', '/');
@@ -3214,10 +3215,21 @@ function classifyCurrentTypeNodeNewtypeRelation(context, sourceType, targetType,
     return createNominalNewtypeRelationMismatch(context, sourceType, targetType, targetIdentitySet);
 }
 function classifyCurrentTypeNodeNominalClassRelation(context, sourceType, targetType, targetTypeNode, sourceExpression, sourceTypeNode) {
+    if (sharesCanonicalResultClassFamily(context, sourceType, targetType) ||
+        sharesGenericAliasRelationFamily(context, sourceType, targetType) ||
+        sharesExactGenericClassIdentityFamilies(context, sourceType, targetType) ||
+        sharesEquivalentTargetClassIdentitySets(context, sourceType, targetType)) {
+        return undefined;
+    }
     const targetIdentitySet = getDeclaredClassIdentitySetFromTypeNode(context, targetTypeNode);
     if (!targetIdentitySet) {
         return undefined;
     }
+    const sourceFamily = getCanonicalResultClassFamilyForType(context, sourceType);
+    const targetFamily = getCanonicalResultClassFamilyForTargetIdentitySet(targetIdentitySet);
+    if (sourceFamily !== undefined && sourceFamily === targetFamily) {
+        return undefined;
+    }
     const sourceIdentitySet = getDeclaredClassIdentitySetFromTypeNode(context, sourceTypeNode) ??
         getDeclaredClassIdentitySetFromExpression(context, sourceExpression);
     if (sourceIdentitySet &&
@@ -3506,6 +3518,11 @@ function sourceNewtypeMatchesTargetIdentity(context, sourceType, targetIdentity)
     });
 }
 function classifySourceTypeAgainstTargetClassIdentitySet(context, sourceType, targetType, targetIdentitySet) {
+    const sourceFamily = getCanonicalResultClassFamilyForType(context, sourceType);
+    const targetFamily = getCanonicalResultClassFamilyForTargetIdentitySet(targetIdentitySet);
+    if (sourceFamily !== undefined && sourceFamily === targetFamily) {
+        return undefined;
+    }
     if (targetIdentitySet.mode === 'union') {
         const normalizedSourceType = getSafeNonNullableRelationType(context, sourceType);
         if ((normalizedSourceType.flags & ts.TypeFlags.Never) !== 0) {
@@ -3562,7 +3579,8 @@ function classifySourceTypeAgainstTargetClassIdentitySet(context, sourceType, ta
     return undefined;
 }
 function classifyUnsoundNominalClassRelation(context, sourceType, targetType) {
-    if (sharesGenericAliasRelationFamily(context, sourceType, targetType) ||
+    if (sharesCanonicalResultClassFamily(context, sourceType, targetType) ||
+        sharesGenericAliasRelationFamily(context, sourceType, targetType) ||
         sharesExactGenericClassIdentityFamilies(context, sourceType, targetType) ||
         sharesEquivalentTargetClassIdentitySets(context, sourceType, targetType)) {
         return undefined;
@@ -3606,7 +3624,8 @@ function classifyUnsoundNominalNewtypeRelation(context, sourceType, targetType,
     return undefined;
 }
 function classifyUnsoundGenericClassInstanceRelation(context, sourceType, targetType) {
-    if (sharesGenericAliasRelationFamily(context, sourceType, targetType) ||
+    if (sharesCanonicalResultClassFamily(context, sourceType, targetType) ||
+        sharesGenericAliasRelationFamily(context, sourceType, targetType) ||
         sharesExactGenericClassIdentityFamilies(context, sourceType, targetType) ||
         sharesEquivalentTargetClassIdentitySets(context, sourceType, targetType)) {
         return undefined;
@@ -3683,6 +3702,141 @@ function sharesEquivalentTargetClassIdentitySets(context, sourceType, targetType
     return sourceIdentitySet.identities.length === targetIdentitySet.identities.length &&
         sourceIdentitySet.identities.every((sourceIdentity) => targetIdentitySet.identities.some((targetIdentity) => classIdentitiesMatch(context, sourceIdentity, targetIdentity)));
 }
+function isTrustedResultStdlibSourceFileName(fileName) {
+    return /(?:^|[\\/])(?:index|result)(?:\.sts)?(?:\.d)?\.ts$/.test(fileName);
+}
+function getCanonicalResultClassFamilyForName(name) {
+    switch (name) {
+        case 'Err':
+        case 'Ok':
+        case 'Result':
+            return 'result';
+        case 'None':
+        case 'Option':
+        case 'Some':
+            return 'option';
+        default:
+            return undefined;
+    }
+}
+function getCanonicalResultClassFamilyForGenericRelationInfo(info) {
+    const declarations = info.symbol.getDeclarations() ?? [];
+    if (!declarations.some((declaration) => isTrustedSoundLibSourceFile(declaration.getSourceFile()) &&
+        isTrustedResultStdlibSourceFileName(declaration.getSourceFile().fileName))) {
+        return undefined;
+    }
+    return getCanonicalResultClassFamilyForName(info.name);
+}
+function getCanonicalResultClassFamilyForIdentity(identity) {
+    const declarations = identity.symbol.getDeclarations() ?? [];
+    if (!declarations.some((declaration) => isTrustedSoundLibSourceFile(declaration.getSourceFile()) &&
+        isTrustedResultStdlibSourceFileName(declaration.getSourceFile().fileName))) {
+        return undefined;
+    }
+    return getCanonicalResultClassFamilyForName(identity.symbol.getName());
+}
+function getCanonicalResultClassFamilyForTargetIdentitySet(identitySet) {
+    let family;
+    for (const identity of identitySet.identities) {
+        const identityFamily = getCanonicalResultClassFamilyForIdentity(identity);
+        if (!identityFamily) {
+            return undefined;
+        }
+        if (family && family !== identityFamily) {
+            return undefined;
+        }
+        family = identityFamily;
+    }
+    return family;
+}
+function getCanonicalResultClassFamilyForType(context, type, visitedTypeIds = new Set()) {
+    const normalizedType = getSafeNonNullableRelationType(context, type);
+    const rawTypeId = normalizedType.id;
+    let visitedTypeId;
+    if (typeof rawTypeId === 'number') {
+        if (visitedTypeIds.has(rawTypeId)) {
+            return undefined;
+        }
+        visitedTypeIds.add(rawTypeId);
+        visitedTypeId = rawTypeId;
+    }
+    try {
+        if ((normalizedType.flags & ts.TypeFlags.Union) !== 0) {
+            let family;
+            let sawConstituent = false;
+            for (const constituentType of normalizedType.types) {
+                const normalizedConstituentType = getSafeNonNullableRelationType(context, constituentType);
+                if ((normalizedConstituentType.flags & ts.TypeFlags.Never) !== 0) {
+                    continue;
+                }
+                const constituentFamily = getCanonicalResultClassFamilyForType(context, normalizedConstituentType, visitedTypeIds);
+                if (!constituentFamily) {
+                    return undefined;
+                }
+                if (family && family !== constituentFamily) {
+                    return undefined;
+                }
+                sawConstituent = true;
+                family = constituentFamily;
+            }
+            return sawConstituent ? family : undefined;
+        }
+        if ((normalizedType.flags & ts.TypeFlags.Intersection) !== 0) {
+            let family;
+            for (const constituentType of normalizedType.types) {
+                const constituentFamily = getCanonicalResultClassFamilyForType(context, constituentType, visitedTypeIds);
+                if (!constituentFamily) {
+                    continue;
+                }
+                if (family && family !== constituentFamily) {
+                    return undefined;
+                }
+                family = constituentFamily;
+            }
+            return family;
+        }
+        const relationInfo = getGenericRelationTypeInfo(context, normalizedType);
+        const relationFamily = relationInfo
+            ? getCanonicalResultClassFamilyForGenericRelationInfo(relationInfo)
+            : undefined;
+        if (relationFamily) {
+            return relationFamily;
+        }
+        const directIdentity = getDirectClassIdentity(context, normalizedType);
+        const directFamily = directIdentity
+            ? getCanonicalResultClassFamilyForIdentity(directIdentity)
+            : undefined;
+        if (directFamily) {
+            return directFamily;
+        }
+        const identities = collectGenericClassIdentities(context, normalizedType);
+        if (identities.length === 0) {
+            return undefined;
+        }
+        let family;
+        for (const identity of identities) {
+            const identityFamily = getCanonicalResultClassFamilyForIdentity(identity);
+            if (!identityFamily) {
+                return undefined;
+            }
+            if (family && family !== identityFamily) {
+                return undefined;
+            }
+            family = identityFamily;
+        }
+        return family;
+    }
+    finally {
+        if (visitedTypeId !== undefined) {
+            visitedTypeIds.delete(visitedTypeId);
+        }
+    }
+}
+function sharesCanonicalResultClassFamily(context, sourceType, targetType) {
+    const sourceFamily = getCanonicalResultClassFamilyForType(context, sourceType);
+    return sourceFamily !== undefined &&
+        sourceFamily === getCanonicalResultClassFamilyForType(context, targetType);
+}
 function getGenericParameterNames(symbol, arity) {
     const typeParameters = getSymbolTypeParameterDeclarations(symbol);
     return typeParameters.length === arity