@scriptc/compiler 0.4.6 → 0.4.8

package/dist/frontend/lowering/record-links.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-links.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-links.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;iEAeiE;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EACL,IAAI,EACJ,GAAG,EACH,GAAG,EACH,eAAe,EACf,MAAM,EACN,OAAO,EAOP,cAAc,EACd,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAElE;;yEAEyE;AACzE,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,IAAY,EACZ,EAAU,EACV,GAAW;IAEX,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtC,IACE,CAAC,MAAM;QACP,CAAC,MAAM;QACP,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,KAAK;QACZ,MAAM,CAAC,UAAU,KAAK,SAAS;QAC/B,MAAM,CAAC,UAAU,KAAK,SAAS;QAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAEzD,OAAO,IAAI,CAAC;IACd,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,oEAAoE;IACpE,2BAA2B;IAC3B,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,cAAc,EAAE,WAAW,GAAG,EAAE,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IACrF,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;4DAE4D;AAC5D,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAkB,EAClB,UAAsB;IAEtB,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,EAAU;IAC1D,OAAO,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,MAAc,EACd,IAAkB,EAClB,GAAW;IAEX,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACtB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,mCAAmC;AACnC,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAkB,EAAE,GAAW;IAC1E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAClE,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;sCACsC;AACtC,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAkB,EAAE,GAAW;IAC1E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,IAAI,CAAC,OAAO;QACpB,IAAI,EAAE;YACJ,IAAI;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBAClE,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ;SACF;QACD,IAAI,EAAE,KAAK;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAoBD,uEAAuE;AACvE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,EAAc,EACd,OAAe,EACf,IAAsB;IAEtB,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AACpD,CAAC;AAED;;;uBAGuB;AACvB,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,EAAc,EACd,OAAe,EACf,MAA2D;IAE3D,MAAM,OAAO,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACzE,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,EAAc,EACd,MAAc,EACd,OAAe,EACf,MAA2D;IAE3D,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;IACnB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAClF,iEAAiE;QACjE,IAAI,KAAK,GAAG,UAAU,IAAI,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;YAAE,KAAK,GAAG,GAAG,KAAK,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAClF,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAgC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC;YACvC,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACjF,GAAG,MAAM,CAAC,QAAQ,CAAC;aACpB;YACD,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;qDAUqD;AACrD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,SAAuB;IAC3E,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IACjF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,eAAe;QACxC,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YAC9D,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE;QAAE,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrF,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC;QACzC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACvC,MAAM,OAAO,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;QACzF,oDAAoD;QACpD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7D,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC;YAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IACE,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClE,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAChE;YAED,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,sBAAsB;QAAE,QAAQ,EAAE,CAAC;IAClE,iEAAiE;IACjE,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,wBAAwB,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED;;+DAE+D;AAC/D,SAAS,yBAAyB,CAAC,OAAgB;IACjD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC1E,OAAO,CAAC,QAAQ,CACd,eAAe,CACb,QAAQ,EACR,IAAI,CAAC,GAAG,EACR,IAAI,IAAI,CAAC,MAAM,0DAA0D,IAAI,CAAC,MAAM,YAAY,EAChG,6BAA6B,IAAI,CAAC,MAAM,wBAAwB,CACjE,CACF,CAAC;YACF,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC;AAED;;uEAEuE;AACvE,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,SAAuB,EACvB,SAA8B;IAE9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAChF,CAAC;IACF,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAChC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACpC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;SAC1D,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxE,OAAO,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAChD,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC;oBAC7C,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC;QAC/C,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAED;sEACsE;AACtE,SAAS,UAAU,CAAC,UAAsB,EAAE,IAAkB;IAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI;QAC9E,MAAM,IAAI,qBAAqB,CAAC,oDAAoD,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IACpB,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5C,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,UAAU,CAAC,IAAI,GAAG;QAChB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE;QAC7D;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC;YAC9E,GAAG;SACJ;QACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE;KACtC,CAAC;AACJ,CAAC;AAED;;;;;;;;uDAQuD;AACvD,SAAS,iBAAiB,CAAC,OAAgB,EAAE,OAA0B;IACrE,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC3C,qEAAqE;IACrE,+BAA+B;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;QACxD,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;KACzD,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,EAAE,CAAC;gBACd,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBAC5C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,MAAM,IAAI,EAAE;oBAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3D,IAAI,KAAK,EAAE,UAAU,KAAK,SAAS;oBAAE,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC7D,MAAM;YACR,CAAC;YACD,KAAK,OAAO,CAAC;YACb,KAAK,KAAK;gBACR,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACd,MAAM;YACR,KAAK,KAAK;gBACR,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACb,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACf,MAAM;YACR,KAAK,OAAO;gBACV,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxE,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACf,MAAM;YACR,KAAK,MAAM;gBACT,wDAAwD;gBACxD,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACb,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClC,KAAK,IAAI,OAAO,GAAG,IAAI,EAAE,OAAO,GAAG,CAAC;QAClC,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE;YAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,WAAW;QAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;4DAM4D;AAC5D,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAkB,EAAE,OAA4B;IACrF,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;IACtD,MAAM,KAAK,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAClF,MAAM,GAAG,GAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9E,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;IACnD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC1D,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,GAClB,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAChG,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC7F,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IACrF,CAAC,CAAC,CAAC;IACH,yEAAyE;IACzE,qEAAqE;IACrE,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,GAAG,EAAE,MAAM;gBACX,OAAO,EAAE,IAAI,CAAC,IAAI;gBAClB,KAAK,EAAE,eAAe;gBACtB,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;SACF,CAAC,CAAC;IACL,MAAM,IAAI,GAAa;QACrB;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,YAAY;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YACrD,GAAG;SACJ;KACF,CAAC;IACF,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,oBAAoB;gBACxB,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACxB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;gBACtB,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YACpE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE;YAC5C,GAAG;SACJ,CAAC;QACF,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC;YACvC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YACtF,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;YAC9C,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;SACrD;QACD,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YACzD,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YAC/D,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;SACpE;QACD,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,MAAM,kBAAkB,GAAG,+CAA+C,CAAC;AAE3E;;gDAEgD;AAChD,SAAS,UAAU,CACjB,OAAgB,EAChB,SAAgC;IAEhC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,CAAS,EAAQ,EAAE;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;YAChB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACV,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC3E,8DAA8D;gBAC9D,4DAA4D;gBAC5D,4CAA4C;gBAC5C,IACE,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,CAAC,EAAE,KAAK,qBAAqB,IAAI,CAAC,CAAC,EAAE,KAAK,mBAAmB,CAAC,EAChE,CAAC;oBACD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC9B,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC;wBACjE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC/B,CAAC;gBACD,IAAI,CAAC,KAAK;oBAAE,OAAO,IAAI,CAAC;gBACxB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;AACrD,CAAC;AAED;;6DAE6D;AAC7D,SAAS,eAAe,CAAC,OAAgB,EAAE,CAAS,EAAE,GAAgB,EAAE,IAAiB;IACvF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACxD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,MAAM,IAAI,EAAE;gBAAE,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACzF,IAAI,KAAK,EAAE,UAAU,KAAK,SAAS;gBAAE,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3F,MAAM;QACR,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,KAAK;YACR,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC5C,MAAM;QACR,KAAK,KAAK;YACR,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3C,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,OAAO;YACV,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE;gBACzD,eAAe,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM;QACR,KAAK,SAAS;YACZ,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7C,MAAM;QACR;YACE,MAAM;IACV,CAAC;AACH,CAAC;AAED;sEACsE;AACtE,SAAS,YAAY,CACnB,OAAgB,EAChB,MAAoB,EACpB,QAAqC,EACrC,OAA4B,EAC5B,GAAW;IAEX,MAAM,MAAM,GAAI,QAAQ,CAAC,IAAoC,CAAC,OAAO,CAAC;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;IAC1C,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,8BAA8B;IAC9B,MAAM,OAAO,GACX,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACxF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,qEAAqE;YACrE,2CAA2C;YAC3C,OAAO;gBACL;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,mBAAmB,CACxB,OAAO,EACP,QAAQ,EACR,QAAQ,CAAC,IAAmC,EAC5C,KAAK,EACL,GAAG,CACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC;wBAChD,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;wBACnB,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,KAAK,QAAQ;YACX,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;gBAC7D,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YAC9F,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1F,KAAK,QAAQ;YACX,MAAM,IAAI,qBAAqB,CAC7B,6DAA6D,CAC9D,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,iBAAiB,CACtB,OAAO,EACP,QAAQ,EACR,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EACvB,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EACvB,GAAG,CACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC/D,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACvD,OAAO;oBACL;wBACE,IAAI,EAAE,QAAQ;wBACd,KAAK,EAAE,OAAO;4BACZ,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC;4BACvD,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC;wBAClD,GAAG;qBACJ;iBACF,CAAC;YACJ,gEAAgE;YAChE,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,WAAW;gBACjB,GAAG,EAAE,QAAQ;gBACb,OAAO,EAAE,MAAM;gBACf,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,GAAG;aACJ,CAAC;YACF,MAAM,KAAK,GAAG,OAAO,CACnB,OAAO,EACP,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EACrB,GAAG,EACH,EAAE,EACF,OAAO,CAAC,IAAI,CAAC,GAAG,EAChB,SAAS,EACT,GAAG,CACJ,CAAC;YACF,gEAAgE;YAChE,0DAA0D;YAC1D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YAC1E,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACzD,OAAO;oBACL,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;iBACxF,CAAC;YACJ,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC;gBACrD,GAAG;aACJ,CAAC;YACF,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBACnC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC5D,gEAAgE;YAChE,qDAAqD;YACrD,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACnD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAC,CAAC;YACzF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1C,MAAM,MAAM,GAAW;gBACrB,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,CAAC,MAAM,CAAC;gBACd,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;gBACzD,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC,CAAC;YACH,OAAO;gBACL,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gBACxD;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,IAAI;wBACR,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC;wBACxB,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,IAAI;4BACR,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC;4BACtB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC1E,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,CAAC,QAAQ,CAAC;oBAChB,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;aACzF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,yDAAyD;AACzD,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC;IAChD,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,KAAK;IACL,KAAK;IACL,MAAM;IACN,SAAS;CACV,CAAC,CAAC;AAEH;;;;wDAIwD;AACxD,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAA4B,EAC5B,QAAgB,EAChB,GAAW;IAEX,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAmC,CAAC;IAC7D,MAAM,GAAG,GAAG,OAAO,IAAI,WAAW,OAAO,CAAC,OAAO,EAAE,CAAC;IACpD,IAAI,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;QACrD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,EAAE,GAAe;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACtD,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACjE,IAAI,EAAE,EAAE;YACR,GAAG;SACJ,CAAC;QACF,MAAM,MAAM,GAAiB,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC1E,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACtC,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACpF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,oBAAoB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;8DAC8D;AAC9D,SAAS,cAAc,CACrB,OAAgB,EAChB,MAAoB,EACpB,QAAgB,EAChB,GAAW;IAEX,MAAM,MAAM,GAAI,QAAQ,CAAC,IAAoC,CAAC,OAAO,CAAC;IACtE,OAAO,gBAAgB,CACrB,OAAO,EACP,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EACrB,QAAQ,EACR,MAAM,EACN,UAAU,EACV,EAAE,EACF,MAAM,EACN,UAAU,EACV,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CAAC,EAAc;IAChC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACpB,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACzC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACnD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,SAAS,aAAa,CAAC,MAAoB,EAAE,CAAS,EAAE,GAAW;IACjE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAClF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,MAAc,CAAC;IACnB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,MAAM,GAAG;gBACP,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;gBACrB,GAAG;aACJ,CAAC;YACF,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,GAAG;gBACP,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;gBACf,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ,CAAC;YACF,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAChE,MAAM;QACR,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,MAAM,IAAI,qBAAqB,CAC7B,gBAAgB,MAAM,CAAC,IAAI,uCAAuC,CACnE,CAAC;QACJ,KAAK,WAAW;YACd,MAAM,GAAG;gBACP,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE;oBACP,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;4BACvD,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,IAAI;qBACL;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ,CAAC;YACF,MAAM;IACV,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7E,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC9C,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;yEAKyE;AACzE,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAc,EACd,IAA4B,EAC5B,GAAW,EACX,QAAwB;IAExB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAmC,CAAC;IAC3D,MAAM,GAAG,GAAG,OAAO,IAAI,IAAI,OAAO,CAAC,OAAO,IAAI,QAAQ,EAAE,CAAC;IACzD,IAAI,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC;QACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,EAAE,GAAe;YACrB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACtD,UAAU,EAAE,MAAM;YAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACjE,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtE,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC;QACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,oBAAoB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzD,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7E,CAAC;AAOD,sDAAsD;AACtD,SAAS,cAAc,CAAC,QAAwB,EAAE,MAAc,EAAE,GAAW;IAC3E,OAAO,QAAQ,KAAK,UAAU;QAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACjE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC/D,CAAC"}

package/dist/frontend/lowering/record-sources.d.ts

@@ -1,4 +1,4 @@
-import type { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
+import type { IrExpr, IrFunction, IrType, SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 /** Closed declared-field layouts with an ordinary data surface: the targets
  * the checked record builder notes sources for. */
@@ -8,6 +8,17 @@ export declare function recordMayKeepSource(lowerer: Lowerer, t: IrType & {
 /** `record.sourceHas(value)`: whether this record kept undeclared source
  * properties. */
 export declare function recordSourceTest(value: IrExpr, loc: SrcLoc): IrExpr;
+/** Shared work list of the whole-program scan: settled union and record
+ * answers, and the unions and records on the current path, by id. */
+export interface KeepsSourceScan {
+    memo: Map<string, boolean>;
+    visiting: Set<string>;
+}
+/** Whether `fn` holds a validated conversion that can note a record source:
+ * a `dynCheck` whose target accepts `recordMayKeepSource`. Only such a
+ * conversion creates the kept view `recordSourceTest` answers, so a program
+ * without one never needs a capture to consult the view. */
+export declare function functionKeepsRecordSources(lowerer: Lowerer, fn: IrFunction, scan: KeepsSourceScan): boolean;
 /** A reflective answer over a record value that branches on its kept
  * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
  * from the live checked view (typed `type`, the static answer's type). The

package/dist/frontend/lowering/record-sources.js

@@ -1,4 +1,5 @@
 import { BOOL, DYN, recordTextCodecClass, shapeHasAccessorSlots } from "../../ir/ir.js";
+import { everyStmtList } from "../../ir/traverse.js";
 import { varRef } from "../../ir/build.js";
 import { isPerfEntryType } from "./builtins/performance.js";
 /** Closed declared-field layouts with an ordinary data surface: the targets
@@ -19,6 +20,65 @@ export function recordMayKeepSource(lowerer, t) {
 export function recordSourceTest(value, loc) {
     return { kind: "libCall", fn: "record.sourceHas", args: [value], type: BOOL, loc };
 }
+/** Whether a checked conversion into `target` can leave a record holding
+ * undeclared source keys. The conversion reads one record at a time, so the
+ * records nested in a union arm, a promise, an array, a record field or an
+ * index signature's values count too (`Record<string, { x: string }>` keeps
+ * the sources of its closed values). Unions and records are memoized by id;
+ * one revisited on the current path answers `cycled`. */
+function conversionKeepsSource(lowerer, target, scan) {
+    if (target.kind === "promise")
+        return conversionKeepsSource(lowerer, target.inner, scan);
+    if (target.kind === "array")
+        return conversionKeepsSource(lowerer, target.elem, scan);
+    if (target.kind === "record" && recordMayKeepSource(lowerer, target))
+        return { keeps: true, cycled: false };
+    let id;
+    let members;
+    if (target.kind === "union") {
+        id = target.unionId;
+        members = lowerer.unions.get(target.unionId)?.arms ?? [];
+    }
+    else if (target.kind === "record") {
+        id = target.shapeId;
+        const shape = lowerer.shapes.get(target.shapeId);
+        members = [
+            ...(shape?.fields.map((field) => field.type) ?? []),
+            ...(shape?.indexValue !== undefined ? [shape.indexValue] : []),
+        ];
+    }
+    else
+        return { keeps: false, cycled: false };
+    const known = scan.memo.get(id);
+    if (known !== undefined)
+        return { keeps: known, cycled: false };
+    if (scan.visiting.has(id))
+        return { keeps: false, cycled: true };
+    scan.visiting.add(id);
+    let keeps = false;
+    let cycled = false;
+    for (const member of members) {
+        const answer = conversionKeepsSource(lowerer, member, scan);
+        keeps = keeps || answer.keeps;
+        cycled = cycled || answer.cycled;
+        if (keeps)
+            break;
+    }
+    scan.visiting.delete(id);
+    if (!cycled || keeps)
+        scan.memo.set(id, keeps);
+    return { keeps, cycled: cycled && !keeps };
+}
+/** Whether `fn` holds a validated conversion that can note a record source:
+ * a `dynCheck` whose target accepts `recordMayKeepSource`. Only such a
+ * conversion creates the kept view `recordSourceTest` answers, so a program
+ * without one never needs a capture to consult the view. */
+export function functionKeepsRecordSources(lowerer, fn, scan) {
+    return !everyStmtList(fn.body, {
+        expr: (expr) => expr.kind !== "dynCheck" || !conversionKeepsSource(lowerer, expr.type, scan).keeps,
+        stmt: () => true,
+    });
+}
 /** A reflective answer over a record value that branches on its kept
  * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
  * from the live checked view (typed `type`, the static answer's type). The

package/dist/frontend/lowering/record-sources.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAmBD;;;;;yDAKyD;AACzD,SAAS,qBAAqB,CAC5B,OAAgB,EAChB,MAAc,EACd,IAAqB;IAErB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,qBAAqB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC;QAClE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACxC,IAAI,EAAU,CAAC;IACf,IAAI,OAAiB,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;QACpB,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3D,CAAC;SAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;QACpB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO,GAAG;YACR,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACnD,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D,CAAC;IACJ,CAAC;;QAAM,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5D,KAAK,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;QAC9B,MAAM,GAAG,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC;QACjC,IAAI,KAAK;YAAE,MAAM;IACnB,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,EAAc,EACd,IAAqB;IAErB,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK;QACpF,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KACjB,CAAC,CAAC;AACL,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/runtime-optional-provenance.d.ts

@@ -1,14 +1,34 @@
 import * as ts from "../ts7/adapter.js";
-/** Debug-only record of why the indexed-read analysis widened a binding,
- * parameter, return, or field to a runtime-optional representation, and
- * why an array element ABI can hold undefined values or holes. It is
- * enabled by SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 and writes one line per
- * widening to stderr; the disabled path records nothing. Not a public API:
- * the output format may change at any time. */
+/** One decision of the indexed-read analysis: why it widened a binding,
+ * parameter, return, or field to a runtime-optional representation, or why
+ * an array element ABI can hold undefined values or holes. */
+export interface RuntimeOptionalDecision {
+    /** The kind of slot the decision widened, such as `binding` or
+     * `parameter`; `element-<fact>` kinds describe an array element ABI. */
+    kind: string;
+    /** A qualifier such as an element key or a parameter note. */
+    detail: string;
+    /** The widened slot. */
+    targetNode: ts.Node | undefined;
+    /** The expression or site whose value made the slot optional. */
+    causeNode: ts.Node | undefined;
+}
+/** Record of the indexed-read analysis's storage decisions. The coverage
+ * report (`--explain-dynamic`) reads them through `decisions`; with
+ * SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 the same entries are also written to
+ * stderr, one line each. The disabled path records nothing. Not a public
+ * API: the output format may change at any time. */
 export declare class RuntimeOptionalProvenance {
-    private readonly lines;
+    private readonly debug;
+    private readonly entries;
+    private readonly pending;
     private readonly seen;
+    private constructor();
+    /** The analysis runs in more than one pass over one lowerer; a single
+     * recorder keeps the decisions of both in source order. */
+    static forReport(): RuntimeOptionalProvenance;
     static fromEnvironment(): RuntimeOptionalProvenance | null;
+    decisions(): readonly RuntimeOptionalDecision[];
     /** `target` names the widened slot; `cause` is the expression or site
      * whose value made it optional. */
     note(kind: string, target: ts.Node | undefined, cause: ts.Node | undefined, detail?: string): void;

package/dist/frontend/lowering/runtime-optional-provenance.js

@@ -1,18 +1,30 @@
 import * as ts from "../ts7/adapter.js";
-/** Debug-only record of why the indexed-read analysis widened a binding,
- * parameter, return, or field to a runtime-optional representation, and
- * why an array element ABI can hold undefined values or holes. It is
- * enabled by SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 and writes one line per
- * widening to stderr; the disabled path records nothing. Not a public API:
- * the output format may change at any time. */
+/** Record of the indexed-read analysis's storage decisions. The coverage
+ * report (`--explain-dynamic`) reads them through `decisions`; with
+ * SCRIPTC_DEBUG_RUNTIME_OPTIONAL=1 the same entries are also written to
+ * stderr, one line each. The disabled path records nothing. Not a public
+ * API: the output format may change at any time. */
 export class RuntimeOptionalProvenance {
-    lines = [];
+    debug;
+    entries = [];
+    pending = [];
     seen = new Set();
+    constructor(debug) {
+        this.debug = debug;
+    }
+    /** The analysis runs in more than one pass over one lowerer; a single
+     * recorder keeps the decisions of both in source order. */
+    static forReport() {
+        return new RuntimeOptionalProvenance(process.env["SCRIPTC_DEBUG_RUNTIME_OPTIONAL"] === "1");
+    }
     static fromEnvironment() {
         return process.env["SCRIPTC_DEBUG_RUNTIME_OPTIONAL"] === "1"
-            ? new RuntimeOptionalProvenance()
+            ? new RuntimeOptionalProvenance(true)
             : null;
     }
+    decisions() {
+        return this.entries;
+    }
     /** `target` names the widened slot; `cause` is the expression or site
      * whose value made it optional. */
     note(kind, target, cause, detail = "") {
@@ -20,12 +32,14 @@ export class RuntimeOptionalProvenance {
         if (this.seen.has(line))
             return;
         this.seen.add(line);
-        this.lines.push(line);
+        this.entries.push({ kind, detail, targetNode: target, causeNode: cause });
+        if (this.debug)
+            this.pending.push(line);
     }
     flush() {
-        for (const line of this.lines)
+        for (const line of this.pending)
             process.stderr.write(`scriptc runtime-optional ${line}\n`);
-        this.lines.length = 0;
+        this.pending.length = 0;
     }
 }
 function describe(node) {

package/dist/frontend/lowering/runtime-optional-provenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-optional-provenance.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC;;;;;+CAK+C;AAC/C,MAAM,OAAO,yBAAyB;IACnB,KAAK,GAAa,EAAE,CAAC;IACrB,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,MAAM,CAAC,eAAe;QACpB,OAAO,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,KAAK,GAAG;YAC1D,CAAC,CAAC,IAAI,yBAAyB,EAAE;YACjC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED;uCACmC;IACnC,IAAI,CAAC,IAAY,EAAE,MAA2B,EAAE,KAA0B,EAAE,MAAM,GAAG,EAAE;QACrF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,KAAK;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,IAAI,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,IAAyB;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC;AAC5E,CAAC"}
+{"version":3,"file":"runtime-optional-provenance.js","sourceRoot":"","sources":["../../../src/frontend/lowering/runtime-optional-provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAiBxC;;;;oDAIoD;AACpD,MAAM,OAAO,yBAAyB;IAKC,KAAK;IAJzB,OAAO,GAA8B,EAAE,CAAC;IACxC,OAAO,GAAa,EAAE,CAAC;IACvB,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,YAAqC,KAAc;qBAAd,KAAK;IAAY,CAAC;IAEvD;+DAC2D;IAC3D,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,yBAAyB,CAAC,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,CAAC,eAAe;QACpB,OAAO,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,KAAK,GAAG;YAC1D,CAAC,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC;YACrC,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;uCACmC;IACnC,IAAI,CAAC,IAAY,EAAE,MAA2B,EAAE,KAA0B,EAAE,MAAM,GAAG,EAAE;QACrF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9F,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK;QACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,IAAI,IAAI,CAAC,CAAC;QAC5F,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1B,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,IAAyB;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,GAAG,EAAE,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC;AAC5E,CAAC"}

package/dist/frontend/lowering/runtime-optional-report.d.ts

@@ -0,0 +1,40 @@
+import * as ts from "../ts7/adapter.js";
+import type { SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** One runtime-optional storage decision as the coverage report presents
+ * it: the widened slot, the decision that widened it, and the reads where
+ * the checker types the slot narrower than its storage — the narrowing the
+ * widened representation has to undo at the read. */
+export interface RuntimeOptionalNarrowing {
+    /** The widened binding or parameter. */
+    name: string;
+    /** The storage type lowering reads, such as `number | undefined`. */
+    storage: string;
+    /** The checker's type at the narrowed reads, such as `number`. */
+    narrowed: string;
+    /** Every read the checker types narrower than the storage, in source
+     * order. */
+    reads: SrcLoc[];
+    /** The storage decisions that widened the slot, in source order. */
+    decisions: RuntimeOptionalDecisionInfo[];
+}
+export interface RuntimeOptionalDecisionInfo {
+    /** The decision kind, such as `binding` or `parameter`. */
+    kind: string;
+    /** The widened slot. */
+    target: SrcLoc;
+    /** The expression or site whose value made the slot optional. */
+    cause: SrcLoc | null;
+    /** A qualifier such as an element key. */
+    detail: string;
+}
+/** The runtime-optional slots whose storage holds an absence the checker's
+ * type does not admit, with the reads at which the checker narrows the
+ * slot below that storage. Report-only: nothing here changes lowering.
+ *
+ * The indexed-read analysis widens a binding or parameter so it can hold a
+ * value an unchecked read left undefined; the checker still types every
+ * read with the declared type, so a read of such a slot extracts the
+ * payload through a checked narrowing. The decisions recorded alongside
+ * the widening name the expression that made the slot optional. */
+export declare function runtimeOptionalNarrowings(lowerer: Lowerer, files: readonly ts.SourceFile[]): RuntimeOptionalNarrowing[];

package/dist/frontend/lowering/runtime-optional-report.js

@@ -0,0 +1,300 @@
+import * as ts from "../ts7/adapter.js";
+import { typeEquals, typeKey, UNDEFINED_T } from "../../ir/ir.js";
+/** The runtime-optional slots whose storage holds an absence the checker's
+ * type does not admit, with the reads at which the checker narrows the
+ * slot below that storage. Report-only: nothing here changes lowering.
+ *
+ * The indexed-read analysis widens a binding or parameter so it can hold a
+ * value an unchecked read left undefined; the checker still types every
+ * read with the declared type, so a read of such a slot extracts the
+ * payload through a checked narrowing. The decisions recorded alongside
+ * the widening name the expression that made the slot optional. */
+export function runtimeOptionalNarrowings(lowerer, files) {
+    const bindings = lowerer.runtimeOptionalBindingTypes;
+    if (bindings.size === 0)
+        return [];
+    const decisions = lowerer.runtimeOptionalProvenance?.decisions() ?? [];
+    const decisionsBySymbol = new Map();
+    for (const decision of decisions) {
+        const symbol = decisionSymbol(lowerer, decision.targetNode);
+        if (!symbol)
+            continue;
+        const list = decisionsBySymbol.get(symbol);
+        if (list)
+            list.push(decision);
+        else
+            decisionsBySymbol.set(symbol, [decision]);
+    }
+    const reads = new Map();
+    for (const sf of files) {
+        ts.walkPreorder(sf, (node) => {
+            if (!ts.isIdentifier(node) || !isBindingRead(node))
+                return undefined;
+            const symbol = symbolOf(lowerer, node);
+            if (!symbol)
+                return undefined;
+            const storage = bindings.get(symbol);
+            if (!storage)
+                return undefined;
+            const narrowed = narrowingBelow(lowerer, symbol, storage, node);
+            if (!narrowed)
+                return undefined;
+            const loc = {
+                file: sf.fileName,
+                start: ts.tokenStartOfNode(node),
+                end: node.end,
+            };
+            let entry = reads.get(symbol);
+            if (!entry) {
+                entry = { narrowed: new Map(), locs: new Map() };
+                reads.set(symbol, entry);
+            }
+            entry.narrowed.set(typeKey(narrowed), narrowed);
+            entry.locs.set(`${loc.file}:${loc.start}`, loc);
+            return undefined;
+        });
+    }
+    const out = [];
+    for (const [symbol, entry] of reads) {
+        const storage = bindings.get(symbol);
+        const locs = [...entry.locs.values()].sort(compareLocs);
+        out.push({
+            name: symbolName(symbol),
+            storage: storageText(lowerer, symbol, storage),
+            narrowed: [...entry.narrowed.values()].map((t) => describeIrType(lowerer, t)).join(" or "),
+            reads: locs,
+            decisions: (decisionsBySymbol.get(symbol) ?? []).flatMap((decision) => decision.targetNode === undefined ? [] : [decisionInfo(decision, decision.targetNode)]),
+        });
+    }
+    out.sort((a, b) => compareLocs(a.reads[0], b.reads[0]));
+    return out;
+}
+function compareLocs(a, b) {
+    return a.file === b.file ? a.start - b.start : a.file < b.file ? -1 : 1;
+}
+function decisionInfo(decision, target) {
+    return {
+        kind: decision.kind,
+        target: nodeLoc(target),
+        cause: decision.causeNode ? nodeLoc(decision.causeNode) : null,
+        detail: decision.detail,
+    };
+}
+function nodeLoc(node) {
+    return {
+        file: ts.getSourceFileOfNode(node).fileName,
+        start: ts.tokenStartOfNode(node),
+        end: node.end,
+    };
+}
+/** The binding or parameter a decision target names. Field and return
+ * decisions name a member or a function, which the binding scan does not
+ * join. */
+function decisionSymbol(lowerer, target) {
+    if (!target)
+        return null;
+    if (ts.isParameter(target) || ts.isBindingElement(target) || ts.isVariableDeclaration(target)) {
+        if (!ts.isIdentifier(target.name))
+            return null;
+        return symbolOf(lowerer, target.name);
+    }
+    if (!ts.isIdentifier(target))
+        return null;
+    return symbolOf(lowerer, target);
+}
+/** The checker's symbol for a value reference, resolved through aliases
+ * like the analysis does. An object shorthand (`{ v }`) names the member it
+ * creates, so its own location resolves to the property symbol; the value is
+ * the binding read behind it. The lowerer's own resolution flushes deferred
+ * diagnostics; a report must not change the build. */
+function symbolOf(lowerer, node) {
+    const parent = node.parent;
+    const symbol = parent !== undefined &&
+        ts.isIdentifier(node) &&
+        ts.isShorthandPropertyAssignment(parent) &&
+        parent.name === node
+        ? (lowerer.checker.getShorthandAssignmentValueSymbol(parent) ??
+            lowerer.checker.getSymbolAtLocation(node))
+        : lowerer.checker.getSymbolAtLocation(node);
+    if (!symbol)
+        return null;
+    return symbol.flags & ts.SymbolFlags.Alias ? lowerer.checker.getAliasedSymbol(symbol) : symbol;
+}
+/** An identifier reading a binding: not a member name, a declaration name,
+ * a type reference, or a store target. */
+function isBindingRead(node) {
+    const parent = node.parent;
+    if (!parent)
+        return false;
+    if (ts.isPropertyAccessExpression(parent) && parent.name === node)
+        return false;
+    if (ts.isQualifiedName(parent))
+        return false;
+    if (declaresName(parent, node))
+        return false;
+    if (inTypePosition(node))
+        return false;
+    if (storesTo(node))
+        return false;
+    return true;
+}
+/** Whether the identifier names a type rather than a value: an annotation
+ * (`let x: typeof y`), a type query, `as`/`satisfies`, or a type argument.
+ * A type reference is not a read of the widened storage. */
+function inTypePosition(node) {
+    let current = node;
+    let parent = current.parent;
+    while (parent !== undefined) {
+        if (ts.isTypeNode(parent))
+            return true;
+        // A declaration's annotation, a return type, `as` and `satisfies` hold
+        // their type in a `type` child.
+        if (parent.type === current)
+            return true;
+        if (ts.isExpression(parent) || ts.isStatement(parent))
+            return false;
+        current = parent;
+        parent = current.parent;
+    }
+    return false;
+}
+/** Whether the identifier is the name a declaration introduces (a binding,
+ * member, label or type), rather than a reference to one. A shorthand
+ * property (`{ v }`) names its member and reads the binding. */
+function declaresName(parent, node) {
+    if (ts.isShorthandPropertyAssignment(parent))
+        return false;
+    if (parent.name === node)
+        return true;
+    if (ts.isImportSpecifier(parent) || ts.isExportSpecifier(parent))
+        return parent.propertyName === node;
+    return false;
+}
+/** A store target (`x = ...`, `x++`, `delete x`) is not a read whose
+ * checker type lowering has to narrow. */
+function storesTo(node) {
+    const parent = node.parent;
+    if (!parent)
+        return false;
+    if (ts.isBinaryExpression(parent)) {
+        if (parent.left !== node)
+            return false;
+        const op = parent.operatorToken.kind;
+        return op >= ts.SyntaxKind.FirstAssignment && op <= ts.SyntaxKind.LastAssignment;
+    }
+    if (ts.isPrefixUnaryExpression(parent) || ts.isPostfixUnaryExpression(parent))
+        return (parent.operand === node &&
+            (parent.operator === ts.SyntaxKind.PlusPlusToken ||
+                parent.operator === ts.SyntaxKind.MinusMinusToken));
+    if (ts.isDeleteExpression(parent))
+        return parent.expression === node;
+    return false;
+}
+/** The narrowing the checker applies at this read, or null when the read
+ * does not go below the widened storage. A slot whose checker type already
+ * admits undefined has a visible absent arm; TypeScript's ordinary
+ * control-flow narrowing of it is not a runtime-optional widening. */
+function narrowingBelow(lowerer, symbol, storage, node) {
+    if (storage.kind === "dyn") {
+        const checkerType = lowerer.checker.getTypeOfSymbol(symbol);
+        if (checkerType.flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown))
+            return null;
+        const narrowed = lowerer.mapTypeOf(lowerer.typeOf(node));
+        return narrowed && narrowed.kind !== "dyn" ? narrowed : null;
+    }
+    if (storage.kind !== "union")
+        return null;
+    if (lowerer.armTag(storage.unionId, UNDEFINED_T) < 0)
+        return null;
+    if (checkerAdmitsUndefined(lowerer.checker.getTypeOfSymbol(symbol)))
+        return null;
+    const narrowed = lowerer.mapTypeOf(lowerer.typeOf(node));
+    if (!narrowed || narrowed.kind === "dyn")
+        return null;
+    if (typeEquals(narrowed, lowerer.stripUndefinedArm(storage)))
+        return narrowed;
+    if (lowerer.armTag(storage.unionId, narrowed) >= 0)
+        return narrowed;
+    // A guard can narrow the slot to several storage arms at once
+    // (`typeof v === "string" || typeof v === "number"`): the union itself is
+    // not an arm, but each of its arms is, so the read is still below the
+    // storage the checker called present.
+    const narrowedDef = narrowed.kind === "union" ? lowerer.unions.get(narrowed.unionId) : undefined;
+    if (narrowedDef && narrowedDef.arms.every((arm) => lowerer.armTag(storage.unionId, arm) >= 0))
+        return narrowed;
+    return null;
+}
+function checkerAdmitsUndefined(type) {
+    if (type.flags & (ts.TypeFlags.Undefined | ts.TypeFlags.Void | ts.TypeFlags.Any))
+        return true;
+    return (type.isUnionType() &&
+        ts
+            .constituentTypes(type)
+            .some((arm) => (arm.flags & (ts.TypeFlags.Undefined | ts.TypeFlags.Void)) !== 0));
+}
+function symbolName(symbol) {
+    const name = ts.symbolName(symbol);
+    return name.startsWith("#") ? name.slice(1) : name;
+}
+function storageText(lowerer, symbol, storage) {
+    if (storage.kind === "dyn")
+        return "dynamic";
+    const declared = lowerer.checker.typeToString(lowerer.checker.getTypeOfSymbol(symbol));
+    if (storage.kind === "union" && lowerer.armTag(storage.unionId, UNDEFINED_T) >= 0)
+        return `${declared} | undefined`;
+    return describeIrType(lowerer, storage);
+}
+/** TypeScript-shaped names for the storage a report entry shows. */
+function describeIrType(lowerer, t, depth = 0) {
+    switch (t.kind) {
+        case "f64":
+            return "number";
+        case "bigint":
+            return "bigint";
+        case "date":
+            return "Date";
+        case "string":
+            return "string";
+        case "bool":
+            return "boolean";
+        case "void":
+            return "undefined";
+        case "symbol":
+            return "symbol";
+        case "dyn":
+            return "dynamic";
+        case "array":
+            return depth > 2 ? "an array" : `${describeIrType(lowerer, t.elem, depth + 1)}[]`;
+        case "map":
+            return depth > 2
+                ? "a map"
+                : `Map<${describeIrType(lowerer, t.key, depth + 1)}, ${describeIrType(lowerer, t.value, depth + 1)}>`;
+        case "set":
+            return depth > 2 ? "a set" : `Set<${describeIrType(lowerer, t.elem, depth + 1)}>`;
+        case "object":
+            return t.className;
+        case "func":
+            return "a function";
+        case "promise":
+            return depth > 2 ? "a promise" : `Promise<${describeIrType(lowerer, t.inner, depth + 1)}>`;
+        case "union": {
+            if (depth > 2)
+                return "a union";
+            const def = lowerer.unions.get(t.unionId);
+            if (!def)
+                return "a union";
+            return def.arms.map((arm) => describeIrType(lowerer, arm, depth + 1)).join(" | ");
+        }
+        case "record": {
+            const shape = lowerer.shapes.get(t.shapeId);
+            if (!shape || depth > 2)
+                return "an object";
+            return `{ ${shape.fields
+                .map((f) => `${f.name}: ${describeIrType(lowerer, f.type, depth + 1)}`)
+                .join("; ")} }`;
+        }
+        default:
+            return "a runtime value";
+    }
+}
+//# sourceMappingURL=runtime-optional-report.js.map