@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-runtime-contract/src/compilerRuntimeTaskCapability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerRuntimeTaskCapability.js","sourceRoot":"","sources":["../../../../../compiler-runtime-contract/src/compilerRuntimeTaskCapability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAgBlF,MAAM,UAAU,gDAAgD,CAC9D,YAAiE,EACjE,IAAiD;IAEjD,2CAA2C,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACjH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAsE,CAAC;IACvG,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,qBAAqB,GAAG,kCAAkC,CAAC,MAAM,CACrE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CACpE,CAAC;IACF,MAAM,mBAAmB,GAAG,kCAAkC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CACnF,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,oCAAoC,CAAC,SAAS,CAAC,CAAC,CACxG,CAAC;IACF,MAAM,mBAAmB,GAAG,YAAY,CAAC,YAAY;SAClD,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC;SAC5C,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE;QACrB,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,OAAO,KAAK,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAG;QACb,YAAY;QACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,YAAY;QACZ,MAAM,EAAE,+CAAwD;KACjE,CAAC;IACF,OAAO,uCAAuC,CAC5C,qBAAqB,CAAC,MAAM,KAAK,CAAC,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;QACxG,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAmB,EAAE;QAC1C,CAAC,CAAC;YACE,GAAG,MAAM;YACT,qBAAqB;YACrB,mBAAmB;YACnB,IAAI,EAAE,YAAqB;YAC3B,mBAAmB;SACpB,CACN,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gDAAgD,CAC9D,aAAmD,EACnD,aAA0D;IAE1D,IAAI,CAAC,0CAA0C,CAAC,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5F,MAAM,0DAA0D,CAAC,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyF,CAAC;IAClH,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,QAAQ,EAAE,CAAC;QAC7C,wCAAwC,CAAC,QAAQ,EAAE,WAAW,EAAE;YAC9D,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,cAAc;SACvB,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,wCAAwC,CAAC,QAAQ,EAAE,WAAW,EAAE;oBAC9D,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,cAAc;iBACvB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC5B,wCAAwC,CAAC,QAAQ,EAAE,UAAU,EAAE;oBAC7D,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,cAAc;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;QACjD,MAAM,UAAU,GAAG,8CAA8C,CAAC,SAAS,CAAC,CAAC;QAC7E,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,wCAAwC,CAAC,QAAQ,EAAE,UAAU,EAAE;YAC7D,IAAI,EAAE,eAAe;YACrB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,uCAAuC,CAAC;QAC7C,MAAM,EAAE,aAAa,CAAC,MAAM;QAC5B,YAAY,EAAE,kCAAkC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YACtE,MAAM,kBAAkB,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACpD,OAAO,kBAAkB;gBACvB,CAAC,CAAC;oBACE;wBACE,UAAU;wBACV,QAAQ,EAAE,8CAA8C,CAAC,kBAAkB,CAAC;qBAC7E;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;QACT,CAAC,CAAC;QACF,MAAM,EAAE,+CAAwD;KACjE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sDAAsD,CACpE,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,2CAA2C;QAC1D,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,iBAAiB;QAChC,qBAAqB,IAAI,KAAK;QAC9B,6CAA6C,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACxE,oBAAoB,IAAI,KAAK;QAC7B,6CAA6C,CAAC,KAAK,CAAC,kBAAkB,CAAC,CACxE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sDAAsD,CACpE,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,2CAA2C;QAC1D,UAAU,IAAI,KAAK;QACnB,KAAK,CAAC,QAAQ,KAAK,sCAAsC;QACzD,UAAU,IAAI,KAAK;QACnB,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAC/C,QAAoG,EACpG,UAA6C,EAC7C,IAAsD;IAEtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;IAChD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,2CAA2C,CAAC,IAAiD;IACpG,IAAI,IAAI,CAAC,QAAQ,KAAK,sCAAsC;QAAE,OAAO;IACrE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,IAAI,KAAK,CACP,qCAAqC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,iDAAiD,CAC5G,EACD;QACE,QAAQ,EAAE,sCAA+C;QACzD,IAAI,EAAE,2CAAoD;QAC1D,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;KAChC,CACF,CAAC;IACF,OAAO,CAAC,IAAI,GAAG,oDAAoD,CAAC;IACpE,MAAM,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,uCAAuC,CAAQ,KAAY;IAClE,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACrC,wCAAwC,CAAC,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA6C,EAC7C,KAA8C;IAE9C,OAAO,CACL,kCAAkC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;QACzD,kCAAkC,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9D,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,0DAA0D,CACjE,mBAAqD,EACrD,kBAAoD;IAEpD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,sEAAsE,CAAC,EAAE;QAC/G,IAAI,EAAE,iBAA0B;QAChC,IAAI,EAAE,2CAAoD;QAC1D,kBAAkB,EAAE,eAAe,CAAC,kBAAkB,CAAC;QACvD,mBAAmB,EAAE,eAAe,CAAC,mBAAmB,CAAC;KAC1D,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,GAAG,oDAAoD,CAAC;IACpE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,8CAA8C,CACrD,QAAqE;IAErE,OAAO;QACL,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,gDAAgD,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE;KAC5G,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrB,oBAAoB,CAClB,gDAAgD,CAAC,IAAI,CAAC,EACtD,gDAAgD,CAAC,KAAK,CAAC,CACxD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAAC,KAAc,EAAE,IAAqB;IACrF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IACnE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,wCAAwC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,8CAA8C,CACrD,SAA+C;IAE/C,QAAQ,SAAS,CAAC,SAAS,EAAE,CAAC;QAC5B,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,UAAU,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,WAAW,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,gDAAgD,CACvD,QAAoE;IAEpE,OAAO,IAAI,CAAC,SAAS,CACnB,QAAQ,CAAC,IAAI,KAAK,cAAc;QAC9B,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;QACjD,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,0CAA0C,CACjD,IAAsC,EACtC,KAAuC;IAEvC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;AAC5G,CAAC;AAED,SAAS,6CAA6C,CAAC,KAAc;IACnE,OAAO,CACL,CAAC,CAAC,KAAK;QACP,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,aAAa,IAAI,KAAK;QACtB,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,QAAQ,IAAI,KAAK;QACjB,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAAC,UAAmD;IAC/F,QAAQ,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,CACL,UAAU,CAAC,UAAU,KAAK,gBAAgB;gBAC1C,8CAA8C,CAAC,UAAU,CAAC,UAAU,CAAC;gBACrE,UAAU,CAAC,SAAS,KAAK,SAAS;gBAClC,UAAU,CAAC,kBAAkB,KAAK,4CAA4C,CAC/E,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CACL,UAAU,CAAC,mBAAmB,KAAK,yCAAyC;gBAC5E,UAAU,CAAC,kBAAkB,KAAK,aAAa;gBAC/C,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC;gBAC5C,UAAU,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC;gBAC1C,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,SAAS;gBAC9C,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,QAAQ;gBAC7C,UAAU,CAAC,UAAU,KAAK,aAAa;gBACvC,UAAU,CAAC,mBAAmB,KAAK,mDAAmD,CACvF,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,CACL,UAAU,CAAC,cAAc,KAAK,mCAAmC;gBACjE,UAAU,CAAC,UAAU,KAAK,gBAAgB;gBAC1C,8CAA8C,CAAC,UAAU,CAAC,UAAU,CAAC;gBACrE,UAAU,CAAC,SAAS,KAAK,MAAM;gBAC/B,UAAU,CAAC,kBAAkB,KAAK,4CAA4C,CAC/E,CAAC;QACJ,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,CACL,UAAU,CAAC,UAAU,KAAK,cAAc;gBACxC,8CAA8C,CAAC,UAAU,CAAC,UAAU,CAAC;gBACrE,UAAU,CAAC,SAAS,KAAK,sCAAsC,CAAC,UAAU,CAAC,UAAU,CAAC;gBACtF,UAAU,CAAC,kBAAkB,KAAK,4CAA4C,CAC/E,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,8CAA8C,CAAC,UAAkB;IACxE,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,KAAK,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,sCAAsC,CAC7C,UAAmD;IAEnD,OAAO,UAAU,CAAC,UAAU,KAAK,WAAW;QAC1C,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,kBAAkB,EAAE,CAAC,GAAG,UAAU,CAAC,kBAAkB,CAAC,EAAE;QAC3E,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,sCAAsC,GAAG;IAC7C,OAAO,EAAE,SAAS;IAClB,SAAS,EAAE,OAAO;IAClB,MAAM,EAAE,QAAQ;CACR,CAAC;AAEX,MAAM,kCAAkC,GAAiD;IACvF,SAAS;IACT,WAAW;IACX,UAAU;IACV,SAAS;IACT,WAAW;IACX,QAAQ;CACT,CAAC"}

package/dist/packages/compiler-runtime-contract/src/index.d.ts

@@ -0,0 +1,6 @@
+export * from './compilerRuntimeExternalConstructorAbiCompleteness.js';
+export * from './compilerRuntimeExternalConstructorReachability.js';
+export * from './compilerRuntimeExternalSymbolCompleteness.js';
+export * from './compilerRuntimeExternalSymbolReachability.js';
+export * from './compilerRuntimeTaskCapability.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/compiler-runtime-contract/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../compiler-runtime-contract/src/index.ts"],"names":[],"mappings":"AAAA,cAAc,wDAAwD,CAAC;AACvE,cAAc,qDAAqD,CAAC;AACpE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,gDAAgD,CAAC;AAC/D,cAAc,oCAAoC,CAAC"}

package/dist/packages/compiler-runtime-contract/src/index.js

@@ -0,0 +1,6 @@
+export * from './compilerRuntimeExternalConstructorAbiCompleteness.js';
+export * from './compilerRuntimeExternalConstructorReachability.js';
+export * from './compilerRuntimeExternalSymbolCompleteness.js';
+export * from './compilerRuntimeExternalSymbolReachability.js';
+export * from './compilerRuntimeTaskCapability.js';
+//# sourceMappingURL=index.js.map

package/dist/packages/compiler-runtime-contract/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../compiler-runtime-contract/src/index.ts"],"names":[],"mappings":"AAAA,cAAc,wDAAwD,CAAC;AACvE,cAAc,qDAAqD,CAAC;AACpE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,gDAAgD,CAAC;AAC/D,cAAc,oCAAoC,CAAC"}

package/dist/packages/compiler-semantic/src/compilerIrStaticFacts.d.ts

@@ -0,0 +1,4 @@
+import type { CompilerStaticFactAudit, IrModule } from '../../compiler-types/src/index.js';
+export declare function analyzeIrModulesStaticFacts(modules: readonly Readonly<IrModule>[]): CompilerStaticFactAudit;
+export declare function combineCompilerStaticFactAudits(audits: readonly Readonly<CompilerStaticFactAudit>[]): CompilerStaticFactAudit;
+//# sourceMappingURL=compilerIrStaticFacts.d.ts.map

package/dist/packages/compiler-semantic/src/compilerIrStaticFacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerIrStaticFacts.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerIrStaticFacts.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,uBAAuB,EASvB,QAAQ,EAMT,MAAM,mCAAmC,CAAC;AAqC3C,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,uBAAuB,CAa3G;AAED,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,SAAS,QAAQ,CAAC,uBAAuB,CAAC,EAAE,GACnD,uBAAuB,CAQzB"}

package/dist/packages/compiler-semantic/src/compilerIrStaticFacts.js

@@ -0,0 +1,396 @@
+import { analyzeIrModuleTraversal, getIrModuleTraversalPathValue } from '../../compiler-ir-traversal/src/index.js';
+import { getCompilerStaticNumericArithmeticFact } from './compilerStaticNumericArithmetic.js';
+export function analyzeIrModulesStaticFacts(modules) {
+    const analysis = { counts: new Map() };
+    for (const module of modules) {
+        analyzeIrModuleTraversal(module, {
+            expression(expression, path) {
+                analyzeIrExpressionStaticFacts(expression, analysis, getIrExpressionIndexedAccessModeStaticFacts(module, path));
+            },
+            statement(statement) {
+                analyzeIrStatementStaticFacts(statement, analysis);
+            },
+        });
+    }
+    return createStaticFactAudit(analysis, modules.length);
+}
+export function combineCompilerStaticFactAudits(audits) {
+    const analysis = { counts: new Map() };
+    let modules = 0;
+    for (const audit of audits) {
+        modules += audit.modules;
+        for (const fact of audit.facts)
+            addStaticFact(getStaticFactWithoutCount(fact), analysis, fact.count);
+    }
+    return createStaticFactAudit(analysis, modules);
+}
+function addIndexedAccessFact(access, receivers, analysis) {
+    const normalized = [...new Set(receivers)].sort();
+    addStaticFact({ access, kind: 'indexedAccess', receivers: normalized }, analysis);
+}
+function addNumericArithmeticFact(expression, analysis) {
+    const fact = getCompilerStaticNumericArithmeticFact(expression);
+    if (fact)
+        addStaticFact(fact, analysis);
+}
+function addNumericRelationFact(domain, analysis) {
+    addStaticFact({ domain, kind: 'numericRelation' }, analysis);
+}
+function addLogicalExpressionFact(operator, semantics, analysis) {
+    addStaticFact({
+        kind: 'logicalExpression',
+        left: semantics.left.flow,
+        operator,
+        result: semantics.result,
+        right: semantics.right.flow,
+    }, analysis);
+}
+function addMixedWidthIndexedWriteFact(access, receivers, analysis) {
+    if (access === 'read' || !receivers.every(isIrTypedArrayReceiver))
+        return;
+    const normalizedReceivers = [...new Set(receivers)].sort();
+    const widths = [...new Set(normalizedReceivers.map((receiver) => typedArrayElementWidths[receiver]))].sort((left, right) => left - right);
+    if (normalizedReceivers.length < 2 || widths.length < 2)
+        return;
+    addStaticFact({
+        kind: 'mixedWidthIndexedWrite',
+        receivers: normalizedReceivers,
+        widths: widths,
+    }, analysis);
+}
+function addStaticFact(fact, analysis, count = 1) {
+    const identity = staticFactIdentity(fact);
+    const existing = analysis.counts.get(identity);
+    analysis.counts.set(identity, { count: (existing?.count ?? 0) + count, fact });
+}
+function addTruthinessFact(context, expression, analysis, domain = getExpressionValueDomain(expression)) {
+    addStaticFact({ context, domain, kind: 'truthiness' }, analysis);
+}
+function addTypedArraySetFact(receivers, analysis) {
+    const normalized = [...new Set(receivers)].sort();
+    addStaticFact({ kind: 'typedArraySet', receivers: normalized }, analysis);
+}
+function analyzeIrExpressionStaticFacts(expression, analysis, indexedAccess) {
+    switch (expression.kind) {
+        case 'assignment': {
+            if (expression.operator === '&&=' || expression.operator === '||=') {
+                addTruthinessFact('logicalOperand', expression.left, analysis, expression.semantics.left.flow);
+            }
+            addNumericArithmeticFact(expression, analysis);
+            return;
+        }
+        case 'binary': {
+            if (expression.operator === '&&' || expression.operator === '||') {
+                addTruthinessFact('logicalOperand', expression.left, analysis, expression.semantics.left.flow);
+                addLogicalExpressionFact(expression.operator, expression.semantics, analysis);
+            }
+            addNumericArithmeticFact(expression, analysis);
+            if ((expression.operator === '<' ||
+                expression.operator === '<=' ||
+                expression.operator === '>' ||
+                expression.operator === '>=') &&
+                expression.semantics.left.flow === expression.semantics.right.flow &&
+                (expression.semantics.left.flow === 'bigint' || expression.semantics.left.flow === 'number')) {
+                addNumericRelationFact(expression.semantics.left.flow, analysis);
+            }
+            return;
+        }
+        case 'call':
+            if (expression.semantics.typedArraySet) {
+                addTypedArraySetFact(expression.semantics.typedArraySet.receivers, analysis);
+            }
+            return;
+        case 'conditional':
+            addTruthinessFact('conditionalExpression', expression.condition, analysis);
+            return;
+        case 'element':
+            if (indexedAccess) {
+                addIndexedAccessFact(indexedAccess, expression.semantics.receivers, analysis);
+                addMixedWidthIndexedWriteFact(indexedAccess, expression.semantics.receivers, analysis);
+            }
+            return;
+        case 'unary':
+            if (expression.operator === '!') {
+                addTruthinessFact('negationOperand', expression.operand, analysis, expression.semantics.operand.flow);
+            }
+            addNumericArithmeticFact(expression, analysis);
+            return;
+        case 'array':
+        case 'await':
+        case 'cast':
+        case 'function':
+        case 'identifier':
+        case 'literal':
+        case 'new':
+        case 'object':
+        case 'objectRest':
+        case 'property':
+        case 'regexp':
+        case 'spread':
+        case 'template':
+        case 'tuple':
+        case 'tupleRest':
+        case 'tupleSpread':
+        case 'tupleSuffix':
+        case 'undefinedDefault':
+        case 'undefinedValue':
+            return;
+        default:
+            assertNeverIrStaticFacts(expression);
+    }
+}
+function analyzeIrStatementStaticFacts(statement, analysis) {
+    switch (statement.kind) {
+        case 'do':
+        case 'while':
+            addTruthinessFact('controlFlowCondition', statement.condition, analysis);
+            return;
+        case 'for':
+            if (statement.condition) {
+                addTruthinessFact('controlFlowCondition', statement.condition, analysis);
+            }
+            return;
+        case 'if':
+            addTruthinessFact('controlFlowCondition', statement.condition, analysis);
+            return;
+        case 'block':
+        case 'break':
+        case 'continue':
+        case 'expression':
+        case 'forIn':
+        case 'forOf':
+        case 'return':
+        case 'switch':
+        case 'throw':
+        case 'try':
+        case 'variable':
+            return;
+        default:
+            assertNeverIrStaticFacts(statement);
+    }
+}
+function getIrExpressionIndexedAccessModeStaticFacts(module, path) {
+    let currentPath = path;
+    while (currentPath.length > 0) {
+        const relation = currentPath.at(-1);
+        const parentPath = currentPath.slice(0, -1);
+        const parent = getIrModuleTraversalPathValue(module, parentPath);
+        if (!isIrExpressionStaticFactParent(parent))
+            return 'read';
+        if (parent.kind === 'cast' && relation === 'expression') {
+            currentPath = parentPath;
+            continue;
+        }
+        if (parent.kind === 'assignment' && relation === 'left') {
+            return parent.operator === '=' ? 'write' : 'readWrite';
+        }
+        if (parent.kind === 'unary' && relation === 'operand') {
+            if (parent.operator === '++' || parent.operator === '--')
+                return 'readWrite';
+            return parent.operator === 'delete' ? undefined : 'read';
+        }
+        return 'read';
+    }
+    return 'read';
+}
+function isIrExpressionStaticFactParent(value) {
+    return typeof value === 'object' && value !== null && 'kind' in value && typeof value.kind === 'string';
+}
+function compareStaticFacts(left, right) {
+    const leftIdentity = staticFactIdentity(left);
+    const rightIdentity = staticFactIdentity(right);
+    return leftIdentity === rightIdentity ? 0 : leftIdentity < rightIdentity ? -1 : 1;
+}
+function createStaticFactAudit(analysis, modules) {
+    return {
+        facts: [...analysis.counts.values()]
+            .map(({ count, fact }) => ({ ...fact, count }))
+            .sort(compareStaticFacts),
+        modules,
+        schema: 'flight-compiler-static-facts/5',
+    };
+}
+function cloneOperatorOperandDomains(domains) {
+    return { declared: domains.declared, flow: domains.flow };
+}
+function getExpressionValueDomain(expression) {
+    switch (expression.kind) {
+        case 'array':
+        case 'function':
+        case 'new':
+        case 'object':
+        case 'objectRest':
+        case 'regexp':
+        case 'tuple':
+        case 'tupleSpread':
+            return 'object';
+        case 'assignment':
+        case 'binary':
+            return expression.semantics.result;
+        case 'cast':
+            return getExpressionValueDomain(expression.expression);
+        case 'conditional': {
+            const whenTrue = getExpressionValueDomain(expression.whenTrue);
+            return whenTrue === getExpressionValueDomain(expression.whenFalse) ? whenTrue : 'unknown';
+        }
+        case 'identifier':
+            return expression.reference.kind === 'ambient' && expression.reference.name === 'undefined'
+                ? 'undefined'
+                : expression.reference.kind === 'super' || expression.reference.kind === 'this'
+                    ? 'object'
+                    : 'unknown';
+        case 'literal':
+            if (expression.value === null)
+                return 'null';
+            if (typeof expression.value === 'boolean')
+                return 'boolean';
+            if (typeof expression.value === 'number')
+                return 'number';
+            return 'string';
+        case 'template':
+            return 'string';
+        case 'tupleRest':
+        case 'tupleSuffix':
+            return 'object';
+        case 'unary':
+            return expression.semantics.result;
+        case 'undefinedValue':
+            return 'undefined';
+        case 'undefinedDefault': {
+            const fallback = getExpressionValueDomain(expression.fallback);
+            const value = getExpressionValueDomain(expression.value);
+            return value === 'undefined' || value === fallback ? fallback : 'unknown';
+        }
+        case 'await':
+        case 'call':
+        case 'element':
+        case 'property':
+        case 'spread':
+            return 'unknown';
+    }
+}
+function getStaticFactWithoutCount(fact) {
+    switch (fact.kind) {
+        case 'indexedAccess':
+            return { access: fact.access, kind: fact.kind, receivers: [...fact.receivers] };
+        case 'logicalExpression':
+            return {
+                kind: fact.kind,
+                left: fact.left,
+                operator: fact.operator,
+                result: fact.result,
+                right: fact.right,
+            };
+        case 'mixedWidthIndexedWrite':
+            return {
+                kind: fact.kind,
+                receivers: [...fact.receivers],
+                widths: [...fact.widths],
+            };
+        case 'numericArithmetic':
+            switch (fact.operation) {
+                case 'assignment':
+                    return {
+                        kind: fact.kind,
+                        left: cloneOperatorOperandDomains(fact.left),
+                        operation: fact.operation,
+                        operator: fact.operator,
+                        result: fact.result,
+                        right: cloneOperatorOperandDomains(fact.right),
+                    };
+                case 'binary':
+                    return {
+                        kind: fact.kind,
+                        left: cloneOperatorOperandDomains(fact.left),
+                        operation: fact.operation,
+                        operator: fact.operator,
+                        result: fact.result,
+                        right: cloneOperatorOperandDomains(fact.right),
+                    };
+                case 'postfixUnary':
+                    return {
+                        kind: fact.kind,
+                        operand: cloneOperatorOperandDomains(fact.operand),
+                        operation: fact.operation,
+                        operator: fact.operator,
+                        result: fact.result,
+                    };
+                case 'prefixUnary':
+                    return {
+                        kind: fact.kind,
+                        operand: cloneOperatorOperandDomains(fact.operand),
+                        operation: fact.operation,
+                        operator: fact.operator,
+                        result: fact.result,
+                    };
+            }
+        case 'numericRelation':
+            return { domain: fact.domain, kind: fact.kind };
+        case 'truthiness':
+            return { context: fact.context, domain: fact.domain, kind: fact.kind };
+        case 'typedArraySet':
+            return { kind: fact.kind, receivers: [...fact.receivers] };
+    }
+}
+function isIrTypedArrayReceiver(value) {
+    return value !== 'array' && value !== 'object' && value !== 'string' && value !== 'tuple' && value !== 'unknown';
+}
+function staticFactIdentity(fact) {
+    switch (fact.kind) {
+        case 'indexedAccess':
+            return JSON.stringify([fact.kind, fact.access, fact.receivers]);
+        case 'logicalExpression':
+            return JSON.stringify([fact.kind, fact.operator, fact.left, fact.right, fact.result]);
+        case 'mixedWidthIndexedWrite':
+            return JSON.stringify([fact.kind, fact.receivers, fact.widths]);
+        case 'numericArithmetic':
+            switch (fact.operation) {
+                case 'assignment':
+                case 'binary':
+                    return JSON.stringify([
+                        fact.kind,
+                        fact.operation,
+                        fact.operator,
+                        fact.left.declared,
+                        fact.left.flow,
+                        fact.right.declared,
+                        fact.right.flow,
+                        fact.result,
+                    ]);
+                case 'postfixUnary':
+                case 'prefixUnary':
+                    return JSON.stringify([
+                        fact.kind,
+                        fact.operation,
+                        fact.operator,
+                        fact.operand.declared,
+                        fact.operand.flow,
+                        fact.result,
+                    ]);
+            }
+        case 'numericRelation':
+            return JSON.stringify([fact.kind, fact.domain]);
+        case 'truthiness':
+            return JSON.stringify([fact.kind, fact.context, fact.domain]);
+        case 'typedArraySet':
+            return JSON.stringify([fact.kind, fact.receivers]);
+    }
+}
+const typedArrayElementWidths = {
+    bigInt64Array: 64,
+    bigUint64Array: 64,
+    float32Array: 32,
+    float64Array: 64,
+    int16Array: 16,
+    int32Array: 32,
+    int8Array: 8,
+    uint16Array: 16,
+    uint32Array: 32,
+    uint8Array: 8,
+    uint8ClampedArray: 8,
+};
+function assertNeverIrStaticFacts(value) {
+    const kind = value.kind;
+    throw new TypeError(`Unknown neutral IR kind ${String(kind)}`);
+}
+//# sourceMappingURL=compilerIrStaticFacts.js.map

package/dist/packages/compiler-semantic/src/compilerIrStaticFacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerIrStaticFacts.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerIrStaticFacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,0CAA0C,CAAC;AAmBnH,OAAO,EAAE,sCAAsC,EAAE,MAAM,sCAAsC,CAAC;AAoC9F,MAAM,UAAU,2BAA2B,CAAC,OAAsC;IAChF,MAAM,QAAQ,GAAuB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC3D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,wBAAwB,CAAC,MAAM,EAAE;YAC/B,UAAU,CAAC,UAAU,EAAE,IAAI;gBACzB,8BAA8B,CAAC,UAAU,EAAE,QAAQ,EAAE,2CAA2C,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAClH,CAAC;YACD,SAAS,CAAC,SAAS;gBACjB,6BAA6B,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACrD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,MAAoD;IAEpD,MAAM,QAAQ,GAAuB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC3D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;YAAE,aAAa,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAuC,EACvC,SAA+D,EAC/D,QAA4B;IAE5B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAiD,CAAC;IACjG,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAwF,EACxF,QAA4B;IAE5B,MAAM,IAAI,GAAG,sCAAsC,CAAC,UAAU,CAAC,CAAC;IAChE,IAAI,IAAI;QAAE,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,sBAAsB,CAAC,MAA2B,EAAE,QAA4B;IACvF,aAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAgD,EAChD,SAA8C,EAC9C,QAA4B;IAE5B,aAAa,CACX;QACE,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI;QACzB,QAAQ;QACR,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;KAC5B,EACD,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,MAAuC,EACvC,SAA+D,EAC/D,QAA4B;IAE5B,IAAI,MAAM,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,sBAAsB,CAAC;QAAE,OAAO;IAC1E,MAAM,mBAAmB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAA4B,CAAC;IACrF,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACxG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAC9B,CAAC;IACF,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAChE,aAAa,CACX;QACE,IAAI,EAAE,wBAAwB;QAC9B,SAAS,EAAE,mBAA8F;QACzG,MAAM,EAAE,MAA6F;KACtG,EACD,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAgB,EAAE,QAA4B,EAAE,KAAK,GAAG,CAAC;IAC9E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAwC,EACxC,UAAkC,EAClC,QAA4B,EAC5B,MAAM,GAAG,wBAAwB,CAAC,UAAU,CAAC;IAE7C,aAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,QAAQ,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAqE,EACrE,QAA4B;IAE5B,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAuD,CAAC;IACvG,aAAa,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,8BAA8B,CACrC,UAAkC,EAClC,QAA4B,EAC5B,aAA0D;IAE1D,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACnE,iBAAiB,CAAC,gBAAgB,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjG,CAAC;YACD,wBAAwB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACjE,iBAAiB,CAAC,gBAAgB,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/F,wBAAwB,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAChF,CAAC;YACD,wBAAwB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/C,IACE,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG;gBAC1B,UAAU,CAAC,QAAQ,KAAK,IAAI;gBAC5B,UAAU,CAAC,QAAQ,KAAK,GAAG;gBAC3B,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC;gBAC/B,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;gBAClE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EAC5F,CAAC;gBACD,sBAAsB,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnE,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,MAAM;YACT,IAAI,UAAU,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;gBACvC,oBAAoB,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC/E,CAAC;YACD,OAAO;QACT,KAAK,aAAa;YAChB,iBAAiB,CAAC,uBAAuB,EAAE,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC3E,OAAO;QACT,KAAK,SAAS;YACZ,IAAI,aAAa,EAAE,CAAC;gBAClB,oBAAoB,CAAC,aAAa,EAAE,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBAC9E,6BAA6B,CAAC,aAAa,EAAE,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzF,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBAChC,iBAAiB,CAAC,iBAAiB,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxG,CAAC;YACD,wBAAwB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC/C,OAAO;QACT,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,kBAAkB,CAAC;QACxB,KAAK,gBAAgB;YACnB,OAAO;QACT;YACE,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CAAC,SAAgC,EAAE,QAA4B;IACnG,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC;QACV,KAAK,OAAO;YACV,iBAAiB,CAAC,sBAAsB,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzE,OAAO;QACT,KAAK,KAAK;YACR,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;gBACxB,iBAAiB,CAAC,sBAAsB,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO;QACT,KAAK,IAAI;YACP,iBAAiB,CAAC,sBAAsB,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzE,OAAO;QACT,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,UAAU;YACb,OAAO;QACT;YACE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,2CAA2C,CAClD,MAA0B,EAC1B,IAA6B;IAE7B,IAAI,WAAW,GAAG,IAAI,CAAC;IACvB,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,8BAA8B,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;YACxD,WAAW,GAAG,UAAU,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;YACxD,OAAO,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACtD,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,WAAW,CAAC;YAC7E,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3D,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAc;IACpD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AAC1G,CAAC;AAED,SAAS,kBAAkB,CAAC,IAA6B,EAAE,KAA8B;IACvF,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,YAAY,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA4B,EAAE,OAAe;IAC1E,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;aACjC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAA2B,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAA4B,CAAC;aAClG,IAAI,CAAC,kBAAkB,CAAC;QAC3B,OAAO;QACP,MAAM,EAAE,gCAAgC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,OAA2C;IAC9E,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAkC;IAClE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,OAAO,CAAC;QACb,KAAK,UAAU,CAAC;QAChB,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,QAAQ,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;QACrC,KAAK,MAAM;YACT,OAAO,wBAAwB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACzD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC/D,OAAO,QAAQ,KAAK,wBAAwB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,CAAC;QACD,KAAK,YAAY;YACf,OAAO,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW;gBACzF,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;oBAC7E,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,SAAS,CAAC;QAClB,KAAK,SAAS;YACZ,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC;YAC7C,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC5D,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAC1D,OAAO,QAAQ,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;QACrC,KAAK,gBAAgB;YACnB,OAAO,WAAW,CAAC;QACrB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,wBAAwB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACzD,OAAO,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,IAA6B;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAA0B,EAAE,CAAC;QAC3G,KAAK,mBAAmB;YACtB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAA0B;gBACvD,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAuB;aAC/C,CAAC;QACJ,KAAK,mBAAmB;YACtB,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;gBACvB,KAAK,YAAY;oBACf,OAAO;wBACL,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC5C,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,KAAK,EAAE,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC;qBAC/C,CAAC;gBACJ,KAAK,QAAQ;oBACX,OAAO;wBACL,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC5C,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,KAAK,EAAE,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC;qBAC/C,CAAC;gBACJ,KAAK,cAAc;oBACjB,OAAO;wBACL,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,OAAO,EAAE,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;wBAClD,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC;gBACJ,KAAK,aAAa;oBAChB,OAAO;wBACL,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,OAAO,EAAE,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;wBAClD,SAAS,EAAE,IAAI,CAAC,SAAS;wBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC;YACN,CAAC;QACH,KAAK,iBAAiB;YACpB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAClD,KAAK,YAAY;YACf,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACzE,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAA0B,EAAE,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAwB;IACtD,OAAO,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS,CAAC;AACnH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAClE,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACxF,KAAK,wBAAwB;YAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAClE,KAAK,mBAAmB;YACtB,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;gBACvB,KAAK,YAAY,CAAC;gBAClB,KAAK,QAAQ;oBACX,OAAO,IAAI,CAAC,SAAS,CAAC;wBACpB,IAAI,CAAC,IAAI;wBACT,IAAI,CAAC,SAAS;wBACd,IAAI,CAAC,QAAQ;wBACb,IAAI,CAAC,IAAI,CAAC,QAAQ;wBAClB,IAAI,CAAC,IAAI,CAAC,IAAI;wBACd,IAAI,CAAC,KAAK,CAAC,QAAQ;wBACnB,IAAI,CAAC,KAAK,CAAC,IAAI;wBACf,IAAI,CAAC,MAAM;qBACZ,CAAC,CAAC;gBACL,KAAK,cAAc,CAAC;gBACpB,KAAK,aAAa;oBAChB,OAAO,IAAI,CAAC,SAAS,CAAC;wBACpB,IAAI,CAAC,IAAI;wBACT,IAAI,CAAC,SAAS;wBACd,IAAI,CAAC,QAAQ;wBACb,IAAI,CAAC,OAAO,CAAC,QAAQ;wBACrB,IAAI,CAAC,OAAO,CAAC,IAAI;wBACjB,IAAI,CAAC,MAAM;qBACZ,CAAC,CAAC;YACP,CAAC;QACH,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,MAAM,uBAAuB,GAAqE;IAChG,aAAa,EAAE,EAAE;IACjB,cAAc,EAAE,EAAE;IAClB,YAAY,EAAE,EAAE;IAChB,YAAY,EAAE,EAAE;IAChB,UAAU,EAAE,EAAE;IACd,UAAU,EAAE,EAAE;IACd,SAAS,EAAE,CAAC;IACZ,WAAW,EAAE,EAAE;IACf,WAAW,EAAE,EAAE;IACf,UAAU,EAAE,CAAC;IACb,iBAAiB,EAAE,CAAC;CACrB,CAAC;AAEF,SAAS,wBAAwB,CAAC,KAAY;IAC5C,MAAM,IAAI,GAAI,KAAqC,CAAC,IAAI,CAAC;IACzD,MAAM,IAAI,SAAS,CAAC,2BAA2B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjE,CAAC"}

package/dist/packages/compiler-semantic/src/compilerIrTypeMemberEvidence.d.ts

@@ -0,0 +1,4 @@
+import type { IrType } from '../../compiler-types/src/index.js';
+export declare function getIrTypeIndexedElementEvidence(type: Readonly<IrType> | undefined, index: number | undefined): Readonly<IrType> | undefined;
+export declare function getIrTypeMemberEvidence(type: Readonly<IrType> | undefined, name: string): Readonly<IrType> | undefined;
+//# sourceMappingURL=compilerIrTypeMemberEvidence.d.ts.map

package/dist/packages/compiler-semantic/src/compilerIrTypeMemberEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerIrTypeMemberEvidence.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerIrTypeMemberEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAC;AAMhE,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,EAClC,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAkB9B;AAQD,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,EAClC,IAAI,EAAE,MAAM,GACX,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CA8B9B"}

package/dist/packages/compiler-semantic/src/compilerIrTypeMemberEvidence.js

@@ -0,0 +1,63 @@
+// What an indexed read of a written type produces. Whether the read can also produce nothing is a
+// property of the analysed program's own configuration, not of the written type, so it is not
+// answered here: this is the element the collection holds, and a caller that needs to know whether
+// the index was in range has to establish that separately.
+export function getIrTypeIndexedElementEvidence(type, index) {
+    if (!type)
+        return undefined;
+    if (type.kind === 'array')
+        return type.element;
+    if (type.kind === 'named' && type.reference.kind === 'ambient') {
+        if ((type.reference.name === 'Readonly' || type.reference.name === 'Required') && type.typeArguments.length === 1) {
+            return getIrTypeIndexedElementEvidence(type.typeArguments[0], index);
+        }
+        if ((type.reference.name === 'Array' || type.reference.name === 'ReadonlyArray') &&
+            type.typeArguments.length === 1) {
+            return type.typeArguments[0];
+        }
+        if (type.reference.name === 'Record' && type.typeArguments.length === 2)
+            return type.typeArguments[1];
+    }
+    if (type.kind !== 'tuple' || index === undefined)
+        return undefined;
+    const element = type.elements[index];
+    return element && !element.optional && !element.rest ? element.type : undefined;
+}
+// What a member of a written type is, without asking a checker that has no library types. The array
+// and tuple `length` is the load-bearing case: `index < values.length` is ordinary code, and its
+// operands were both unknown because `length` lives in `lib.es5.d.ts` rather than in the source.
+//
+// Only members the written type decides are answered. Anything else returns undefined so the caller
+// keeps its unknown domain rather than inheriting a guess.
+export function getIrTypeMemberEvidence(type, name) {
+    if (!type)
+        return undefined;
+    if (type.kind === 'named' &&
+        type.reference.kind === 'ambient' &&
+        (type.reference.name === 'Readonly' || type.reference.name === 'Required') &&
+        type.typeArguments.length === 1) {
+        return getIrTypeMemberEvidence(type.typeArguments[0], name);
+    }
+    if (type.kind === 'union') {
+        const members = type.types.map((member) => getIrTypeMemberEvidence(member, name));
+        if (members.some((member) => member === undefined))
+            return undefined;
+        const unique = [...new Map(members.map((member) => [JSON.stringify(member), member])).values()];
+        return unique.length === 1
+            ? unique[0]
+            : unique.length > 1
+                ? { kind: 'union', types: [unique[0], unique[1], ...unique.slice(2)] }
+                : undefined;
+    }
+    if (name === 'length' && (type.kind === 'array' || type.kind === 'tuple')) {
+        return { kind: 'primitive', name: 'number' };
+    }
+    if (type.kind === 'object') {
+        const property = type.properties.find((candidate) => candidate.name === name);
+        // An optional property is not the property's type: reading it can produce undefined, and the
+        // domain vocabulary has no way to say "number or undefined" without losing the distinction.
+        return property && !property.optional ? property.type : undefined;
+    }
+    return undefined;
+}
+//# sourceMappingURL=compilerIrTypeMemberEvidence.js.map

package/dist/packages/compiler-semantic/src/compilerIrTypeMemberEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerIrTypeMemberEvidence.js","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerIrTypeMemberEvidence.ts"],"names":[],"mappings":"AAEA,kGAAkG;AAClG,8FAA8F;AAC9F,mGAAmG;AACnG,2DAA2D;AAC3D,MAAM,UAAU,+BAA+B,CAC7C,IAAkC,EAClC,KAAyB;IAEzB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClH,OAAO,+BAA+B,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACvE,CAAC;QACD,IACE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC;YAC5E,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;YACD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,oGAAoG;AACpG,iGAAiG;AACjG,iGAAiG;AACjG,EAAE;AACF,oGAAoG;AACpG,2DAA2D;AAC3D,MAAM,UAAU,uBAAuB,CACrC,IAAkC,EAClC,IAAY;IAEZ,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;QACjC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC;QAC1E,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,OAAO,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAClF,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QACrE,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACjG,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;YACxB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACX,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBACjB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;gBACxE,CAAC,CAAC,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9E,6FAA6F;QAC7F,4FAA4F;QAC5F,OAAO,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/packages/compiler-semantic/src/compilerOperatorDomainEvidence.d.ts

@@ -0,0 +1,4 @@
+import type { IrBinaryOperator, IrOperatorValueDomain, IrType } from '../../compiler-types/src/index.js';
+export declare function getIrBinaryOperatorResultDomain(operator: IrBinaryOperator, left: IrOperatorValueDomain, right: IrOperatorValueDomain): IrOperatorValueDomain;
+export declare function getIrTypeOperatorValueDomain(type: Readonly<IrType> | undefined): IrOperatorValueDomain;
+//# sourceMappingURL=compilerOperatorDomainEvidence.d.ts.map

package/dist/packages/compiler-semantic/src/compilerOperatorDomainEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerOperatorDomainEvidence.d.ts","sourceRoot":"","sources":["../../../../../compiler-semantic/src/compilerOperatorDomainEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,mCAAmC,CAAC;AAKzG,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,gBAAgB,EAC1B,IAAI,EAAE,qBAAqB,EAC3B,KAAK,EAAE,qBAAqB,GAC3B,qBAAqB,CAuCvB;AAED,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,qBAAqB,CA8BtG"}

package/dist/packages/compiler-semantic/src/compilerOperatorDomainEvidence.js

@@ -0,0 +1,76 @@
+// A checker can still leave a whole binary expression unresolved when generic or cyclic evidence is
+// involved. The result of an operator over known operand domains is a property of the source
+// language rather than of any target, so it belongs here rather than in a backend.
+export function getIrBinaryOperatorResultDomain(operator, left, right) {
+    switch (operator) {
+        case '+':
+            return left === right && (left === 'number' || left === 'string' || left === 'bigint') ? left : 'unknown';
+        case '%':
+        case '*':
+        case '-':
+        case '/':
+        case '**':
+            return left === right && (left === 'number' || left === 'bigint') ? left : 'unknown';
+        case '&':
+        case '<<':
+        case '>>':
+        case '>>>':
+        case '^':
+        case '|':
+            return left === 'number' && right === 'number' ? 'number' : 'unknown';
+        case '!=':
+        case '!==':
+        case '<':
+        case '<=':
+        case '==':
+        case '===':
+        case '>':
+        case '>=':
+            return left === right && left !== 'unknown' ? 'boolean' : 'unknown';
+        case 'in':
+        case 'instanceof':
+            return 'boolean';
+        case '&&':
+        case '||':
+            return left === right ? left : 'unknown';
+        case ',':
+            return right;
+        case '??':
+            // `a ?? b` yields `a` with its absent values removed, or `b`. Where those agree, so does the
+            // result; the caller supplies the left operand's present-value domain.
+            return left === right ? left : 'unknown';
+    }
+}
+export function getIrTypeOperatorValueDomain(type) {
+    if (!type)
+        return 'unknown';
+    switch (type.kind) {
+        case 'array':
+        case 'function':
+        case 'object':
+        case 'tuple':
+            return 'object';
+        case 'literal':
+            return typeof type.value === 'boolean' ? 'boolean' : typeof type.value === 'number' ? 'number' : 'string';
+        case 'null':
+            return 'null';
+        case 'primitive':
+            return type.name === 'void' ? 'undefined' : type.name;
+        case 'undefined':
+            return 'undefined';
+        case 'union': {
+            const domains = new Set(type.types.map(getIrTypeOperatorValueDomain));
+            return domains.size === 1 ? [...domains][0] : 'unknown';
+        }
+        case 'indexedAccess':
+        case 'conditionalFacet':
+        case 'intersection':
+        case 'keyof':
+        case 'named':
+        case 'never':
+        case 'typeOf':
+        case 'unknown':
+            return 'unknown';
+    }
+}
+//# sourceMappingURL=compilerOperatorDomainEvidence.js.map