@faicad/faijs 0.13.0

package/dist/cad-runtime/module-executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-executor.js","sourceRoot":"","sources":["../../src/cad-runtime/module-executor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAA2B,MAAM,cAAc,CAAA;AAClH,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAA;AAKvD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AAC/E,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,6BAA6B,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAA;AACzL,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAA;AAgCrD,qDAAqD;AACrD,KAAK,UAAU,YAAY,CAAC,IAAY;IACtC,MAAM,MAAM,GAAG,OAAO,OAAO,KAAK,WAAW,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAA;IACzE,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,+BAA+B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;QACjF,OAAO,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAA;IACvC,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAA;IAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,CAAC;QACH,OAAO,MAAM,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAA;IAC7C,CAAC;YAAS,CAAC;QACT,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAA;IAC1B,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,CAAU,EAAE,GAAiB;IACvD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAM;IACzC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAM;IACjC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,GAAG;QAAE,OAAM;IAChD,qBAAqB;IACrB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAW,CAAC,CAAA;IACjC,IAAI,IAAI,EAAE,KAAK;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACpC,gCAAgC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,CAAC;YAAE,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACnD,OAAM;IACR,CAAC;IACD,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAK,CAA6B,CAAC,QAAQ;YAAE,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC3F,OAAM;IACR,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,uDAAuD;QACvD,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,MAAM;YAAE,SAAQ;QAClE,kBAAkB,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAwBD;;;;;;;;;;GAUG;AACH,MAAM,OAAO,cAAc;IACzB,mEAAmE;IAC1D,GAAG,GAA4B,EAAE,CAAA;IAElC,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAA;IACpD,wEAAwE;IAChE,KAAK,GAAG,IAAI,GAAG,EAAqD,CAAA;IAC5E;;;;OAIG;IACM,YAAY,GAAG,IAAI,GAAG,EAA8B,CAAA;IACrD,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAA;IAC3C,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAA;IACnD,MAAM,GAAa,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;IACjD,QAAQ,GAAG,EAAE,CAAA;IACrB;;;OAGG;IACK,aAAa,GAAG,KAAK,CAAA;IAE7B;;;OAGG;IACH,gBAAgB,CAAC,IAAY;QAC3B,IAAI,CAAC,aAAa,GAAG,IAAI,CAAA;IAC3B,CAAC;IACO,UAAU,CAAY;IAC9B,uDAAuD;IAC/C,MAAM,GAAgC,IAAI,GAAG,EAAE,CAAA;IACvD,oDAAoD;IAC5C,iBAAiB,GAAG,CAAC,CAAA;IACZ,YAAY,CAA+B;IAC3C,QAAQ,CAAiD;IACzD,aAAa,CAA+B;IAC5C,QAAQ,CAAkD;IAC1D,gBAAgB,CAA2D;IAC3E,YAAY,CAAmD;IAEhF,YAAY,UAAsB,EAAE,OAA+B;QACjE,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,YAAY,GAAG,OAAO,EAAE,YAAY,CAAA;QACzC,IAAI,CAAC,QAAQ,GAAG,OAAO,EAAE,QAAQ,CAAA;QACjC,IAAI,CAAC,aAAa,GAAG,OAAO,EAAE,aAAa,CAAA;QAC3C,IAAI,CAAC,QAAQ,GAAG,OAAO,EAAE,QAAQ,CAAA;QACjC,IAAI,CAAC,gBAAgB,GAAG,OAAO,EAAE,gBAAgB,CAAA;QACjD,IAAI,CAAC,YAAY,GAAG,OAAO,EAAE,YAAY,CAAA;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,UAAsB,EAAE,SAAsC,IAAI,GAAG,EAAE;QACnF,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAC5B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,MAAgB,EAAE,QAAiC;QAC7D,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACvD,IAAI,CAAC,UAAU,GAAG,IAAI,GAAG,EAAE,CAAA;QAC3B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,CAAC,IAAY;QACrB,IAAI,IAAI,KAAK,IAAI,CAAC,QAAQ;YAAE,OAAM;QAClC,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;IACtB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,UAAU,CAAC,IAAqB;QACpC,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;IACrD,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,UAAU,CAAC,GAAa,EAAE,IAAqB;QACnD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,EAAE,GAAG,CAAC,CAAA;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAClC,gDAAgD;YAChD,sDAAsD;YACtD,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC;iBACpC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC1C,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YACtC,sCAAsC;YACtC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAA;YAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,MAAM,IAAI,EAAE;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YACjE,cAAc,CAAC,MAAM,CAAC,CAAA,CAAC,qBAAqB;YAC5C,2CAA2C;YAC3C,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAC5B,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBACnC,IAAI,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;YACnF,CAAC;YACD,sEAAsE;YACtE,wDAAwD;YACxD,0CAA0C;YAC1C,MAAM,OAAO,GAAG,MAAM,EAAE,KAAK,KAAK,IAAI,CAAA;YACtC,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC,iBAAiB,EAAE,CAAA;gBACxB,iBAAiB,EAAE,CAAA;YACrB,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,6CAA6C;gBAC7C,qEAAqE;gBACrE,0DAA0D;gBAC1D,sDAAsD;gBACtD,8BAA8B;gBAC9B,IAAI,GAAG,YAAY,KAAK,IAAK,GAAqC,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;oBAC5F,MAAM,IAAI,OAAO,CACf,MAAM,EAAE,MAAM,IAAI,MAAM,CAAC,EAAE,CAAC,EAC5B,QAAQ,EACR,GAAG,CAAC,OAAO,CACZ,CAAA;gBACH,CAAC;gBACD,MAAM,GAAG,CAAA;YACX,CAAC;oBAAS,CAAC;gBACT,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,CAAC,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;oBAC9C,gBAAgB,EAAE,CAAA;oBAClB,IAAI,CAAC,iBAAiB,EAAE,CAAA;gBAC1B,CAAC;YACH,CAAC;YACD,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;YACzC,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1D,CAAC;YACD,2CAA2C;YAC3C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAA;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,WAAW,CAAC,QAAqB,EAAE,IAAqB;QAC5D,MAAM,OAAO,GAAa,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAQ,EAAE;YACjC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAM;YAC3B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAClC,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAClB,CAAC,CAAA;QACD,KAAK,MAAM,EAAE,IAAI,QAAQ;YAAE,KAAK,CAAC,EAAE,CAAC,CAAA;QACpC,MAAM,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IACtC,CAAC;IAED;;;;;;;;;;OAUG;IACH,YAAY,CACV,aAA0B,EAC1B,SAAkC,EAClC,cAA4B;QAE5B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;QACtC,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACrC,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1B,KAAK,MAAM,CAAC,IAAI,MAAM;oBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YAC7C,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACnE,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;gBACpC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACtB,CAAC;QACH,CAAC;QACD,6CAA6C;QAC7C,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC1D,CAAC;IACH,CAAC;IAED,qCAAqC;IAErC,qEAAqE;IACrE,UAAU;QACR,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACtB,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;QAClB,IAAI,CAAC,MAAM,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;QAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;QAClB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAA;QACvB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAA;QACzB,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAA;IACpB,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,EAAU;QACrB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC3B,CAAC;IAED;;;;;OAKG;IACH,eAAe,CAAC,EAAU;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClC,CAAC;IAED;;;;;;OAMG;IACH,YAAY,CAAC,EAAU,EAAE,KAAiB,EAAE,MAAe;QACzD,qDAAqD;QACrD,6CAA6C;QAC7C,IAAI,IAAI,CAAC,iBAAiB,GAAG,CAAC;YAAE,OAAM;QACtC,IAAI,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;YAC5C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QAChC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACf,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;QAC3B,CAAC;IACH,CAAC;IAED;;;;OAIG;IACK,yBAAyB,CAAC,QAA2B,EAAE,IAAuC;QACpG,MAAM,MAAM,GAAG,sBAAsB,EAAE,CAAA;QACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAC/B,qEAAqE;QACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAA;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACrB,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAQ;YACzB,IAAI,CAAC;gBACH,IAAI,CAAC,aAAa,EAAE,CAAC,CAAe,CAAC,CAAA;YACvC,CAAC;YAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,IAAY;QACpB,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,IAAY,EAAE,KAAc;QACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IACxB,CAAC;IAED;;;;OAIG;IACH,WAAW;QACT,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC9B,CAAC;IAED;;;OAGG;IACH,QAAQ;QACN,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IACpC,CAAC;IAED,sDAAsD;IACtD,KAAK;QACH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;QAClB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAA;QACzB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;QAClB,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAA;IACpB,CAAC;IAED,WAAW;IAEX,oGAAoG;IAC5F,KAAK,CAAC,cAAc,CAAC,QAA2B,EAAE,IAAqB;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC3C,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,EAAE,CAAA;QACjC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACrB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACxC,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,gDAAgD;oBAC1E,wEAAwE;oBACxE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;oBACvB,IAAI,IAAI,EAAE,KAAK;wBAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAmB,CAAC,CAAA;oBACzE,IAAI,IAAI,EAAE,aAAa;wBAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAA;oBACnF,IAAI,IAAI,EAAE,SAAS;wBAAE,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;gBACzE,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAU,CAAC,CAAA;YACjD,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACrD,MAAM,gBAAgB,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAA;QAEtD,yDAAyD;QACzD,yCAAyC;QACzC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QAEtC,yBAAyB;QACzB,MAAM,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAA;IACjD,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,8BAA8B,CAAC,IAAqB;QAChE,MAAM,OAAO,GAAG,6BAA6B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAChC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC,MAAM,CAAC,IAA4B,CAAA;QAChE,KAAK,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,OAAO,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,QAAkD,CAAA;YACtF,IAAI,CAAC,QAAQ,EAAE,WAAW;gBAAE,SAAQ;YACpC,MAAM,QAAQ,GAAI,QAAmC,CAAC,QAAQ,IAAI,EAAE,CAAA;YACpE,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAA;YACxC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBAChC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;gBACjC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;oBAAE,SAAQ;gBACnD,qDAAqD;gBACrD,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAA;gBACrG,0DAA0D;gBAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAA2B,CAAA;gBACtD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;oBACpB,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,CAAA;oBAC3F,IAAI,CAAC;wBAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;oBAAC,CAAC;oBAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC;oBACjD,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,WAAW,CAAA;oBACtC,IAAI,IAAI;wBAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAA;gBAC1D,CAAC;gBACD,IAAI,IAAI;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;YAC9C,CAAC;YACD,8CAA8C;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAA;YACjD,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;gBAAE,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,mCAAmC;IAC3B,iBAAiB,CAAC,WAAqB;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;QAClC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC3C,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC9E,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;;;;;OAQG;IACK,YAAY,CAAC,EAAU,EAAE,MAA+B;QAC9D,IAAI,CAAC,MAAM;YAAE,OAAM;QACnB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;QACpC,MAAM,cAAc,GAAG,CAAC,GAAU,EAAQ,EAAE;YAC1C,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAM;YACnD,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;gBAChC,OAAM;YACR,CAAC;YACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI;oBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;gBACjD,OAAM;YACR,CAAC;QACH,CAAC,CAAA;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE;YAAE,cAAc,CAAC,GAAG,CAAC,CAAA;QAC9D,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;YAAE,OAAM;QACjC,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC,MAA+B,CAAA;QAC1D,IAAI,CAAC,IAAI;YAAE,OAAM;QAEjB,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aACvB,MAAM,CAAC,CAAC,CAAC,EAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAA;QAC1D,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QACtC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAM,CAAU,iBAAiB;QAEpE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QAC5D,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAY,CAAC;YAAE,OAAM,CAAG,SAAS;QAE/E,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE;YAC1B,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,6BAA6B;SACtD,CAAC,CAAA;IACJ,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU,CAAC,IAA2B,EAAE,MAA+B;QACrE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC9B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;YAC9D,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAA;QAC5C,CAAC;QACD,MAAM,KAAK,GAAG;YACZ,MAAM,CAAC,KAAK;gBACV,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;gBAC5D,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,aAAa,CAAC,EAAE;SACzH,CAAA;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;YACxB,UAAU,EAAE,mCAAmC,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;YACxE,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC;SACzC,CAAC,CAAC,CAAA;QACH,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAA;YAChD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,SAAS,CAAC,CAAA;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;IAED;;;;;OAKG;IACH,UAAU,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,QAAQ,IAAI,SAAS,CAAA;IACnF,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,OAAe;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,SAAS,CAAA;IAC9C,CAAC;IAED,wDAAwD;IAChD,uBAAuB,CAAC,QAA2B;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;QACzD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC3B,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,WAAW,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;gBACrE,MAAM,KAAK,GAAG,CAAU,CAAA;gBACxB,OAAO,iBAAiB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;YAC1D,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;YAC9D,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAA;QAC5C,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;CACF","sourcesContent":["/**\n * module-executor — JS VM 模块加载与增量调度（VM 执行方案 Phase 1）\n *\n *\n * ModuleExecutor 是 VM 执行的核心：\n * - `ctx` 持久变量容器（跨 execute/append/update 存活）\n * - `load(code)` 用 data:/Blob URL 动态 import 编译产物（零 import，两平台同构）\n * - `executeAll/executeIds/executeFrom` 按 deps 拓扑序调度\n * - `reconcileCtx` 回收\"定义语句已不在脚本中\"的变量并释放其内核资源\n * - `cache` 记录每语句 statementKey + outputContentKey（plan 增量判定）\n */\n\nimport type { CompiledStatementMeta } from '../lang/compile'\nimport type { StatementIR, ScriptIR, ArgIR } from '../lang/types'\nimport { isVarRef, isExprRef, statementInputs } from '../lang/types'\nimport { withoutKeepDirectives, withoutKeepDirectivesFromPositional, type InternalKeepRecord } from '../lang/keep'\nimport { OpError } from '../api/internal/result-unwrap'\nimport type { Shape } from '../mesh/types'\nimport type { BrepHandle } from '../brep/engine/types'\nimport type { BrepEngineApi } from '../brep/engine/primitives'\nimport type { PartName, StmtId } from '../identity'\nimport { asPartName } from '../identity'\nimport { computeContentKey } from './content-key'\nimport { getSlot, hasBrep, brepOf, ensureSlot, isCompoundLike } from '../shape'\nimport { setCurrentStmt, setName, getBackends, takePendingAssemblyTransforms, enterFunctionBrep, exitFunctionBrep, takeFunctionBrepDomain, type StdlibNamespace } from '../runtime-state'\nimport { applyTransform } from '../mesh/rigid-transform'\nimport { applyTransformBrep } from '../brep/brep-ops'\nimport type { EventSink } from './ports'\n\n// ── 编译产物语句（从模块文本 import 得到） ──\n\n/**\n * 已装配的命名空间集合（标准库 `cad` + 宿主注册的库）。\n * 编译产物 `fn(ctx, ns)` 经 ns.<binding>.<callee>() 调用——引擎不区分函数来自哪个库。\n */\nexport interface Namespaces {\n  readonly cad: StdlibNamespace\n  readonly [binding: string]: StdlibNamespace\n}\n\n/**\n * 执行记账（P5：exec 上下文删除后，ModuleExecutor 只需 beforeStatement + outputCache）。\n * beforeStatement：undo 逐语句快照钩子；outputCache：语句产物缓存（collectResult 消费）。\n */\nexport interface ExecBookkeeping {\n  beforeStatement?: (stmtId: string, index: number) => void\n  outputCache: Map<PartName, Shape>\n  /** 变更声明（P6：引擎比对推导 + 装配应用记录），collectResult 消费。 */\n  changed: Set<PartName>\n}\n\n/** 编译产物中的单条语句（模块文本 `{ id, deps, fn }`）。 */\nexport interface CompiledStatement {\n  id: StmtId\n  deps: StmtId[]\n  fn: (ctx: Record<string, unknown>, ns: Namespaces) => Promise<void>\n}\n\n/** 动态 import 编译产物（Node: data: URL；浏览器: Blob URL）。 */\nasync function importModule(code: string): Promise<{ statements: CompiledStatement[] }> {\n  const isNode = typeof process !== 'undefined' && !!process.versions?.node\n  if (isNode) {\n    const url = `data:text/javascript;base64,${Buffer.from(code).toString('base64')}`\n    return import(/* @vite-ignore */ url)\n  }\n  const blob = new Blob([code], { type: 'text/javascript' })\n  const url = URL.createObjectURL(blob)\n  try {\n    return await import(/* @vite-ignore */ url)\n  } finally {\n    URL.revokeObjectURL(url)\n  }\n}\n\n/**\n * 收集一个值可到达的全部 BREP 句柄（函数返回值 keep 集，§5.6）：\n * shape → 身份槽 solid；compound → children 递归；数组 / 普通对象 → 递归。\n */\nfunction collectBrepHandles(v: unknown, out: Set<unknown>): void {\n  if (v === null || v === undefined) return\n  if (typeof v !== 'object') return\n  if (v instanceof Set || v instanceof Map) return\n  // shape：身份槽持 OCCT 句柄\n  const slot = getSlot(v as object)\n  if (slot?.solid) out.add(slot.solid)\n  // compound children / 数组 / 对象递归\n  if (Array.isArray(v)) {\n    for (const item of v) collectBrepHandles(item, out)\n    return\n  }\n  if (isCompoundLike(v)) {\n    for (const child of (v as { children: unknown[] }).children) collectBrepHandles(child, out)\n    return\n  }\n  for (const k of Object.keys(v)) {\n    // 跳过内部元数据字段（positions/indices/kind 等 mesh 数据不含句柄，无需遍历）\n    if (k === 'positions' || k === 'indices' || k === 'kind') continue\n    collectBrepHandles((v as Record<string, unknown>)[k], out)\n  }\n}\n\n// ── ModuleExecutor ──\n\n/**\n * Options for constructing a ModuleExecutor, providing the OCCT handle\n * callbacks the executor needs to integrate with the runtime's persistent\n * solid caches.\n */\nexport interface ModuleExecutorOptions {\n  /** Release the OCCT handle for a PartName (called when reconcileCtx deletes a variable; no-op without a handle). */\n  releaseSolid?: (partName: PartName) => void\n  /** Read the OCCT handle currently held for a PartName (used for replacement-release pre-capture). */\n  getSolid?: (partName: PartName) => BrepHandle | undefined\n  /** Release a previously captured OCCT handle (replacement release: free the old handle after a same-id recompute succeeds). */\n  releaseHandle?: (handle: BrepHandle) => void\n  /** Sync an identity-slot solid into the PartName-keyed solidCache (relied on by existing runtime logic). */\n  setSolid?: (partName: PartName, solid: BrepHandle) => void\n  /** Sync an identity-slot faceEvolution into the PartName-keyed faceEvolutionCache. */\n  setFaceEvolution?: (partName: PartName, evo: Map<number, number[]>) => void\n  /** Sync an identity-slot roleTable into the PartName-keyed roleTableCache (§2.3 naming). */\n  setRoleTable?: (partName: PartName, roleTable: unknown) => void\n}\n\n/**\n * ModuleExecutor loads JS VM modules and schedules incremental execution.\n *\n * It is the heart of the VM execution approach: it keeps the persistent `ctx`\n * variable container alive across execute/append/update calls, dynamically\n * imports compiled modules from data:/Blob URLs (zero imports, isomorphic on\n * both platforms), schedules all/selected/from statements in dependency\n * topological order, reclaims variables whose defining statements have left the\n * script, and caches each statement's key + output content key for incremental\n * planning.\n */\nexport class ModuleExecutor {\n  /** Persistent variable container across incremental executions. */\n  readonly ctx: Record<string, unknown> = {}\n\n  private stmts = new Map<StmtId, CompiledStatement>()\n  /** statementKey 缓存（增量判定；key = op|JSON(args)|deps 的 outputContentKey） */\n  private cache = new Map<StmtId, { key: string; outputContentKey: string }>()\n  /**\n   * 函数体 keep 登记（keep-syntax 设计 §2.2）：\n   * stmtId → { kept, hidden }。语句执行前清空本条记录，执行中累加；\n   * 本轮未执行（缓存命中）→ 保留上一轮记录（keep 零重算的前提）。\n   */\n  readonly internalKeep = new Map<StmtId, InternalKeepRecord>()\n  private sourceById = new Map<StmtId, StatementIR>()\n  private metaById = new Map<StmtId, CompiledStatementMeta>()\n  private script: ScriptIR = { params: [], statements: [] }\n  private lastCode = ''\n  /**\n   * 默认命名空间绑定名（U10/R2）：与 runtime 的 registerLib(…, {default: true}) 声明同步；\n   * statementKey/computeKey 中 namespace 缺省（undefined）的语句按该绑定名计 key。\n   */\n  private defaultNsName = 'cad'\n\n  /**\n   * Sync the default namespace binding name (called by runtime.registerLib with {default:true}).\n   * @param name - the namespace binding name to use as default.\n   */\n  setDefaultNsName(name: string): void {\n    this.defaultNsName = name\n  }\n  private namespaces: Namespaces\n  /** 库内容身份表（binding → content hash；增量 key 版控，B2 §7.3） */\n  private libIds: ReadonlyMap<string, string> = new Map()\n  /** 本机函数调用嵌套深度（§5.5）：> 0 表示当前在函数体内执行——keep 登记被抑制。 */\n  private userFunctionDepth = 0\n  private readonly releaseSolid?: (partName: PartName) => void\n  private readonly getSolid?: (partName: PartName) => BrepHandle | undefined\n  private readonly releaseHandle?: (handle: BrepHandle) => void\n  private readonly setSolid?: (partName: PartName, solid: BrepHandle) => void\n  private readonly setFaceEvolution?: (partName: PartName, evo: Map<number, number[]>) => void\n  private readonly setRoleTable?: (partName: PartName, roleTable: unknown) => void\n\n  constructor(namespaces: Namespaces, options?: ModuleExecutorOptions) {\n    this.namespaces = namespaces\n    this.releaseSolid = options?.releaseSolid\n    this.getSolid = options?.getSolid\n    this.releaseHandle = options?.releaseHandle\n    this.setSolid = options?.setSolid\n    this.setFaceEvolution = options?.setFaceEvolution\n    this.setRoleTable = options?.setRoleTable\n  }\n\n  /**\n   * Hot-update the assembled namespace set (after registerLib mounts a new\n   * library).\n   * @param namespaces - the new assembled namespaces.\n   * @param libIds - the library content-identity table (binding → libId), used\n   * to version library-branch statement keys (B2, §7.3).\n   */\n  setNamespaces(namespaces: Namespaces, libIds: ReadonlyMap<string, string> = new Map()): void {\n    this.namespaces = namespaces\n    this.libIds = libIds\n  }\n\n  /**\n   * Update the script and its compiled metadata (ctx stays alive).\n   * @param script - the parsed ScriptIR.\n   * @param compiled - the compiled statement metadata.\n   */\n  setCompiled(script: ScriptIR, compiled: CompiledStatementMeta[]): void {\n    this.script = script\n    this.metaById = new Map(compiled.map((m) => [m.id, m]))\n    this.sourceById = new Map()\n    for (const meta of compiled) {\n      if (meta.sourceIndex !== undefined) {\n        this.sourceById.set(meta.id, script.statements[meta.sourceIndex])\n      }\n    }\n  }\n\n  /**\n   * Load the compiled module, skipping a reload when the code is unchanged\n   * (compiled-product cache).\n   * @param code - the compiled module source.\n   */\n  async load(code: string): Promise<void> {\n    if (code === this.lastCode) return\n    const mod = await importModule(code)\n    this.stmts = new Map(mod.statements.map((s) => [s.id, s]))\n    this.lastCode = code\n  }\n\n  /**\n   * Execute every statement in dependency topological order (i.e. statement\n   * table order).\n   * @param exec - the execution bookkeeping.\n   */\n  async executeAll(exec: ExecBookkeeping): Promise<void> {\n    await this.executeIds([...this.stmts.keys()], exec)\n  }\n\n  /**\n   * Execute only the given statements (append: the prefix is already in the\n   * persistent ctx). As in the old interpreter, beforeStatement fires only for\n   * new_shape statements; void/same_shape statements (do_assemble/add_constraint)\n   * do not trigger it (do_assemble's fn delegates internally).\n   * @param ids - the compiled statement ids to execute.\n   * @param exec - the execution bookkeeping.\n   */\n  async executeIds(ids: StmtId[], exec: ExecBookkeeping): Promise<void> {\n    for (const id of ids) {\n      const compiled = this.stmts.get(id)\n      if (!compiled) throw new Error(`[ModuleExecutor] unknown statement \"${id}\"`)\n      const source = this.sourceById.get(id)\n      const meta = this.metaById.get(id)\n      // 顶替释放预捕获：fn 前捕获本语句写键（{id} ∪ outputs）的旧 handle；\n      // 必须在 fn 之前捕获——op 执行时已用 solidCache.set 覆盖条目，事后拿不到旧引用。\n      const oldHandles = (meta?.writes ?? [])\n        .map((w) => this.getSolid?.(asPartName(w)))\n        .filter((h): h is BrepHandle => !!h)\n      // P6：changed 由引擎比对推导（替代旧的 touch 声明机制）\n      const oldWrites = new Map<string, unknown>()\n      for (const w of meta?.writes ?? []) oldWrites.set(w, this.ctx[w])\n      setCurrentStmt(source) // P5：新 keep() 归属当前语句\n      // keep 登记先清空本条记录：重执行的语句重新登记（执行中累加，设计 §2.2）\n      this.internalKeep.delete(id)\n      if (source && source.hasAssignment) {\n        exec.beforeStatement?.(String(source.id), this.script.statements.indexOf(source))\n      }\n      // 本机函数调用（local）：进入函数 BREP 域（§5.6），提升 userFunctionDepth（keep 隔离，§5.5）。\n      // 函数体执行期间：内部 keep 登记被抑制（registerKeep no-op）；体内瞬态句柄登记到域，\n      // 结束后释放除返回值可到达句柄外的全部（finally 保证异常路径同样释放）。\n      const isLocal = source?.local === true\n      if (isLocal) {\n        this.userFunctionDepth++\n        enterFunctionBrep()\n      }\n      try {\n        await compiled.fn(this.ctx, this.namespaces)\n      } catch (err) {\n        // D4（true-JS-subset §4.3.2）：表达式求值失败（编译产物内标记的\n        // __FaiExprEvalError）包装为 OpError(E_EXPR) 重抛，由 runWithFailureHandling\n        // 归并为 ExecutionResult.failedAt（语句归属经 setCurrentStmt 已定位）。\n        // 其余异常原样抛穿：Brep/MeshUnsupported → failedAt；op 实现的普通异常\n        //（= bug，Result 体系契约）不在此处改变语义。\n        if (err instanceof Error && (err as { isExprEvalError?: boolean }).isExprEvalError === true) {\n          throw new OpError(\n            source?.callee ?? String(id),\n            'E_EXPR',\n            err.message,\n          )\n        }\n        throw err\n      } finally {\n        if (isLocal) {\n          this.releaseFunctionBrepDomain(compiled, meta)\n          exitFunctionBrep()\n          this.userFunctionDepth--\n        }\n      }\n      await this.afterStatement(compiled, exec)\n      for (const [w, old] of oldWrites) {\n        if (old !== this.ctx[w]) exec.changed.add(asPartName(w))\n      }\n      // 顶替释放：执行成功后才释放旧 handle（失败时缓存保持执行前状态，天然回滚）\n      for (const old of oldHandles) {\n        this.releaseHandle?.(old)\n      }\n    }\n  }\n\n  /**\n   * Re-execute from the change points on (update: plan derives the stale set).\n   * The stale set is closed over deps (a statement depending on a stale one is\n   * itself stale) and runs in topological order.\n   * @param staleIds - the set of stale statement ids to recompute.\n   * @param exec - the execution bookkeeping.\n   */\n  async executeFrom(staleIds: Set<StmtId>, exec: ExecBookkeeping): Promise<void> {\n    const ordered: StmtId[] = []\n    const visited = new Set<StmtId>()\n    const visit = (id: StmtId): void => {\n      if (visited.has(id)) return\n      visited.add(id)\n      const meta = this.metaById.get(id)\n      if (meta) {\n        for (const dep of meta.deps) {\n          if (staleIds.has(dep)) visit(dep)\n        }\n      }\n      ordered.push(id)\n    }\n    for (const id of staleIds) visit(id)\n    await this.executeIds(ordered, exec)\n  }\n\n  /**\n   * Reclaim ctx variables whose defining statement is no longer in the script\n   * and release their kernel resources (a required action after undoing a\n   * statement deletion). Variables in `referencedVars` are kept even when not\n   * written by an active statement (cross-file references to other files'\n   * parts).\n   * @param activeStmtIds - the ids of statements still considered active.\n   * @param writeSets - mapping of statement id to the variable names it writes.\n   * @param referencedVars - variable names still referenced by the active\n   * script; these survive reclaim.\n   */\n  reconcileCtx(\n    activeStmtIds: Set<StmtId>,\n    writeSets: Map<StmtId, PartName[]>,\n    referencedVars?: Set<string>,\n  ): void {\n    const activeWrites = new Set<string>()\n    for (const [id, writes] of writeSets) {\n      if (activeStmtIds.has(id)) {\n        for (const w of writes) activeWrites.add(w)\n      }\n    }\n    for (const key of Object.keys(this.ctx)) {\n      if (!activeWrites.has(key) && !(referencedVars?.has(key) ?? false)) {\n        this.releaseSolid?.(asPartName(key))\n        delete this.ctx[key]\n      }\n    }\n    // keep 登记同步修剪：语句已不在脚本中（undo 删除）→ 其 keep 声明失效\n    for (const id of [...this.internalKeep.keys()]) {\n      if (!activeStmtIds.has(id)) this.internalKeep.delete(id)\n    }\n  }\n\n  // ── 缓存访问（plan / collectResult 用） ──\n\n  /** 清除所有缓存（key 缓存 + ctx 变量）。测试用：CadRuntime.clearStatementCache 调用。 */\n  clearCache(): void {\n    for (const key of Object.keys(this.ctx)) {\n      this.releaseSolid?.(asPartName(key))\n      delete this.ctx[key]\n    }\n    this.cache.clear()\n    this.script = { params: [], statements: [] }\n    this.metaById.clear()\n    this.stmts.clear()\n    this.sourceById.clear()\n    this.internalKeep.clear()\n    this.lastCode = ''\n  }\n\n  /**\n   * Read a statement's statementKey cache entry.\n   * @param id - the compiled statement id.\n   * @returns the cached key and output content key, or undefined.\n   */\n  getCachedKey(id: StmtId): { key: string; outputContentKey: string } | undefined {\n    return this.cache.get(id)\n  }\n\n  /**\n   * Read a statement's function-body keep registration (used by the terminal-dag\n   * C1 check); undefined when none exists.\n   * @param id - the compiled statement id.\n   * @returns the internal keep record, or undefined.\n   */\n  getInternalKeep(id: StmtId): InternalKeepRecord | undefined {\n    return this.internalKeep.get(id)\n  }\n\n  /**\n   * Register a function-body keep entry into ModuleExecutor.internalKeep,\n   * accumulating during execution.\n   * @param id - the compiled statement id.\n   * @param names - the kept variable names.\n   * @param hidden - whether the kept variables are hidden.\n   */\n  registerKeep(id: StmtId, names: PartName[], hidden: boolean): void {\n    // 函数 BREP 域 / keep 隔离（§5.5 / D5）：本机函数体内嵌套 cad.* 的库内部\n    // keep 登记一律抑制——保留语义由调用点 keep 表达，函数体不向顶层传播保留。\n    if (this.userFunctionDepth > 0) return\n    let rec = this.internalKeep.get(id)\n    if (!rec) {\n      rec = { kept: new Set(), hidden: new Map() }\n      this.internalKeep.set(id, rec)\n    }\n    for (const n of names) {\n      rec.kept.add(n)\n      rec.hidden.set(n, hidden)\n    }\n  }\n\n  /**\n   * 函数 BREP 域释放（§5.6 / D13）：取走当前域的句柄登记表，收集本语句输出\n   * （返回值）可到达的全部句柄为 keep 集，释放登记域内除 keep 集外的全部句柄。\n   * 函数体内中间体的瞬态句柄在此一次性释放——单次调用内存有界，不逐轮释放。\n   */\n  private releaseFunctionBrepDomain(compiled: CompiledStatement, meta: CompiledStatementMeta | undefined): void {\n    const domain = takeFunctionBrepDomain()\n    if (domain.length === 0) return\n    // keep 集：返回值（语句 writes 的 ctx 值，可能是 shape / compound / 数组 / 对象）可到达的句柄\n    const kept = new Set<unknown>()\n    for (const w of meta?.writes ?? []) {\n      const v = this.ctx[w]\n      collectBrepHandles(v, kept)\n    }\n    for (const h of domain) {\n      if (kept.has(h)) continue\n      try {\n        this.releaseHandle?.(h as BrepHandle)\n      } catch { /* 已释放 */ }\n    }\n  }\n\n  /**\n   * Read a ctx variable.\n   * @param name - the variable name.\n   * @returns the variable value.\n   */\n  getCtxVar(name: string): unknown {\n    return this.ctx[name]\n  }\n\n  /**\n   * Write a ctx variable (used to sync assembly transforms from outputCache\n   * back into ctx).\n   * @param name - the variable name.\n   * @param value - the value to store.\n   */\n  setCtxVar(name: string, value: unknown): void {\n    this.ctx[name] = value\n  }\n\n  /**\n   * All variable names currently held in the persistent ctx (covers parts\n   * executed by previous execute/append/update calls).\n   * @returns the ctx variable names.\n   */\n  listCtxKeys(): string[] {\n    return Object.keys(this.ctx)\n  }\n\n  /**\n   * Returns the compiled metadata in params + statements order.\n   * @returns the compiled statement metadata array.\n   */\n  getMetas(): CompiledStatementMeta[] {\n    return [...this.metaById.values()]\n  }\n\n  /** 清空 ctx 与 statementKey 缓存（CadRuntime.dispose 用）。 */\n  clear(): void {\n    for (const key of Object.keys(this.ctx)) delete this.ctx[key]\n    this.cache.clear()\n    this.internalKeep.clear()\n    this.stmts.clear()\n    this.lastCode = ''\n  }\n\n  // ── 内部 ──\n\n  /** 语句执行后：ctx → outputCache 同步 + 身份槽 → solidCache/faceEvolutionCache 同步 + statementKey 缓存 + 装配传播。 */\n  private async afterStatement(compiled: CompiledStatement, exec: ExecBookkeeping): Promise<void> {\n    const source = this.sourceById.get(compiled.id)\n    const meta = this.metaById.get(compiled.id)\n    const writes = meta?.writes ?? []\n    for (const w of writes) {\n      const v = this.ctx[w]\n      if (v !== undefined) {\n        if (typeof v === 'object' && v !== null) {\n          setName(v, asPartName(w)) // P3：新 keep() 反查走 runtime-state 映射（P5 删 exec 侧）\n          // 身份槽 → PartName 键控缓存同步（runtime 的 brepSolids/顶替释放/buildBrepTopology 依赖）\n          const slot = getSlot(v)\n          if (slot?.solid) this.setSolid?.(asPartName(w), slot.solid as BrepHandle)\n          if (slot?.faceEvolution) this.setFaceEvolution?.(asPartName(w), slot.faceEvolution)\n          if (slot?.roleTable) this.setRoleTable?.(asPartName(w), slot.roleTable)\n        }\n        exec.outputCache.set(asPartName(w), v as Shape)\n      }\n    }\n    const key = meta ? this.computeKey(meta, source) : ''\n    const outputContentKey = this.computeOutputContentKey(compiled)\n    this.cache.set(compiled.id, { key, outputContentKey })\n\n    // P4：引擎统一发 part-brep-lost（F1：库不再读 currentStmt / 不再 emit）\n    // 语义：上游在 BREP 链上，但本语句产物不在链上 → BREP 链在此断开\n    this.emitBrepLost(compiled.id, source)\n\n    // P6：装配传播（求解在库，应用与失效在引擎）\n    await this.applyPendingAssemblyTransforms(exec)\n  }\n\n  /**\n   * P6：装配传播——取走全部待应用变换，引擎应用到成员（mesh 原地 + BREP 槽 + solidCache），\n   * 记录 changed，并让依赖成员的下游语句失效重算（DAG 重放，替代 exec.dependentsOf 图遍历）。\n   */\n  private async applyPendingAssemblyTransforms(exec: ExecBookkeeping): Promise<void> {\n    const pending = takePendingAssemblyTransforms()\n    if (pending.length === 0) return\n    const kernel = getBackends().kernel.brep as BrepEngineApi | null\n    for (const { compound, transforms } of pending) {\n      const behavior = getSlot(compound)?.behavior as { memberNames?: string[] } | undefined\n      if (!behavior?.memberNames) continue\n      const children = (compound as { children?: Shape[] }).children ?? []\n      const memberNames = behavior.memberNames\n      for (const t of transforms) {\n        const member = children[t.index]\n        const name = memberNames[t.index]\n        if (!member || typeof member !== 'object') continue\n        // mesh 原地变换（保留同一对象引用，ctx 与 compound.children 同步看到变更）\n        Object.assign(member, applyTransform(member, t.quaternion, t.pivot, t.translation, t.rotationMatrix))\n        // BREP 刚体变换（可选）：新 solid 写身份槽 + solidCache（替代旧 T6.5 反同步循环）\n        const solid = brepOf(member) as BrepHandle | undefined\n        if (kernel && solid) {\n          const transformed = applyTransformBrep(kernel, solid, t.quaternion, t.pivot, t.translation)\n          try { kernel.release(solid) } catch { /* 已释放 */ }\n          ensureSlot(member).solid = transformed\n          if (name) this.setSolid?.(asPartName(name), transformed)\n        }\n        if (name) exec.changed.add(asPartName(name))\n      }\n      // 下游失效重算：依赖成员名的语句（拓扑序由 executeFrom 按 deps 保证）\n      const stale = this.computeDownstream(memberNames)\n      if (stale.size > 0) await this.executeFrom(stale, exec)\n    }\n  }\n\n  /** 找出依赖给定变量名的语句（装配成员 → 消费它的下游）。 */\n  private computeDownstream(memberNames: string[]): Set<StmtId> {\n    const names = new Set(memberNames)\n    const stale = new Set<StmtId>()\n    for (const [id, source] of this.sourceById) {\n      if (statementInputs(source).some((n) => names.has(String(n)))) stale.add(id)\n    }\n    return stale\n  }\n\n  /**\n   * 判定并发 part-brep-lost 事件。\n   *\n   * 判据：语句有几何输入且**全部**输入都在 BREP 链上，但输出**不在**链上\n   * → BREP 链在此断开（mesh-only 函数或 fallthrough）。\n   *\n   * true-JS-subset §4.4.2：几何输入 = positional 中的 VarRefIR + ExprIR.refs\n   * （表达式实参引用的 Shape 变量同样喂进本语句；CallRef 嵌套调用是只读查询不计）。\n   */\n  private emitBrepLost(id: StmtId, source: StatementIR | undefined): void {\n    if (!source) return\n    const inputNames = new Set<string>()\n    const scanPositional = (arg: ArgIR): void => {\n      if (arg === null || typeof arg !== 'object') return\n      if (isVarRef(arg)) {\n        inputNames.add(String(arg.$ref))\n        return\n      }\n      if (isExprRef(arg)) {\n        for (const r of arg.$expr.refs) inputNames.add(r)\n        return\n      }\n    }\n    for (const arg of source.positional ?? []) scanPositional(arg)\n    if (inputNames.size === 0) return\n    const sink = getBackends().events as EventSink | undefined\n    if (!sink) return\n\n    const inputsOnChain = [...inputNames]\n      .map((n) => this.ctx[n])\n      .filter((v): v is Shape => !!v && typeof v === 'object')\n    if (inputsOnChain.length === 0) return\n    if (!inputsOnChain.every(hasBrep)) return          // 上游本就不在链上 → 非断开\n\n    const out = this.ctx[this.metaById.get(id)?.writes[0] ?? '']\n    if (out && typeof out === 'object' && hasBrep(out as Shape)) return   // 输出仍在链上\n\n    sink.emit('part-brep-lost', {\n      partName: asPartName(String(source.outputs[0] ?? '')),\n      callee: source.callee,\n      reason: `${source.callee} has no BREP implementation`,\n    })\n  }\n\n  /**\n   * Compute a statementKey = op | JSON(positional + args without keep) | each\n   * dependency's output content key (parameter statements use the parameter\n   * value). The keep/keepHidden keys are excluded so toggling retain/hide state\n   * triggers no geometric recompute. plan() uses this with the current cache to\n   * compute the expected key for incremental decisions.\n   *\n   * true-JS-subset §4.4.1：位置实参槽入 key——ExprIR 可 JSON 化\n   * （text + refs + params），表达式文本变化即触发重算；表达式引用的上游变量\n   * 变化经 deps 的 outputContentKey 传递。\n   *\n   * 本机函数调用（local）：key 前缀 `local.<callee>#<bodyHash>`（§6.2 / P4 内容寻址）——\n   * 编辑函数体文本 → 所有调用该函数的语句 key 变化 → 下游失效重算；不改函数体零重算。\n   * @param meta - the compiled statement metadata.\n   * @param source - the source statement, or undefined for parameter statements.\n   * @returns the computed statement key string.\n   */\n  computeKey(meta: CompiledStatementMeta, source: StatementIR | undefined): string {\n    const primary = meta.writes[0]\n    if (!source) {\n      const p = this.script.params.find((pp) => pp.name === primary)\n      return `param|${JSON.stringify(p?.value)}`\n    }\n    const parts = [\n      source.local\n        ? `local.${source.callee}#${this.bodyHashOf(source.callee)}`\n        : `${source.namespace ?? this.defaultNsName}.${source.callee}#${this.libIdOf(source.namespace ?? this.defaultNsName)}`,\n    ]\n    parts.push(JSON.stringify({\n      positional: withoutKeepDirectivesFromPositional(source.positional ?? []),\n      args: withoutKeepDirectives(source.args),\n    }))\n    for (const dep of meta.deps) {\n      const ck = this.cache.get(dep)?.outputContentKey\n      parts.push(ck ?? 'missing')\n    }\n    return parts.join('|')\n  }\n\n  /**\n   * 按函数名查 bodyHash（setCompiled 已存 script；查不到 → 'missing'，增量会失效重算）。\n   * @internal runtime.planUpdateStale 的 ownKey/oldKey 对比（§6.2 / P4）复用。\n   * @param name 本机函数名。\n   * @returns 函数体的内容哈希；`'missing'` 表示未知函数。\n   */\n  bodyHashOf(name: string): string {\n    return this.script.functions?.find((f) => f.name === name)?.bodyHash ?? 'missing'\n  }\n\n  /**\n   * 按绑定名查 libId（setNamespaces 已存表；本机函数不含——只适用于库分支 key）。\n   * 库未登记或表缺失 → 'missing'，增量会自动失效重算。\n   * @param binding 命名空间绑定名。\n   * @returns 库的内容身份；`'missing'` 表示该绑定无登记身份。\n   */\n  libIdOf(binding: string): string {\n    return this.libIds.get(binding) ?? 'missing'\n  }\n\n  /** outputContentKey：shape 语句 = mesh 内容哈希；参数语句 = 参数值。 */\n  private computeOutputContentKey(compiled: CompiledStatement): string {\n    const primary = this.metaById.get(compiled.id)?.writes[0]\n    if (primary !== undefined) {\n      const v = this.ctx[primary]\n      if (v && typeof v === 'object' && 'positions' in v && 'indices' in v) {\n        const shape = v as Shape\n        return computeContentKey(shape.positions, shape.indices)\n      }\n    }\n    const source = this.sourceById.get(compiled.id)\n    if (!source) {\n      const p = this.script.params.find((pp) => pp.name === primary)\n      return `param:${JSON.stringify(p?.value)}`\n    }\n    return ''\n  }\n}\n"]}

package/dist/cad-runtime/module-registry.d.ts

@@ -0,0 +1,114 @@
+/**
+ * module-registry — 多文件模块注册表（§4.5 / A-8/A-9/A-10）
+ *
+ * 无 IR 通道的多文件装载：主模块（runtime 直接执行）的顶层相对 import
+ * （`import { bp } from './x.fai.js'`）指向项目内其它 `.fai.js` 模块。
+ * 每个依赖模块用**独立 ctx** 执行（经注入的 ModuleRunner），产出导出面：
+ * - values：模块存活 ctx 键中的 shape/常量（非函数）；
+ * - fns：模块内顶层函数；
+ * - liveShapes：computeLiveShapes 对该模块自身的存活终端（模块内消费判定生效——
+ *   A-9：A 内被消费的 shape 不在 liveShapes → B 引用报错）。
+ *
+ * 名字契约（D6）：A 的 LHS 名 = 导出名；B 的 import 绑定名 = 引用名；绑定必须 ∈
+ * A.liveShapes ∪ A.fns（A-8 缺失导出名 → ModuleRegistryError）。普通常量不在此列——
+ * 具名 import 常量被拒，见
+ * .agents/notes/rejected/architecture/2026-09-09-named-import-of-constants.md。
+ * 跨文件引用 ≠ 消费：B 引用 A 的 shape 不影响 A 的 liveShapes（A 单独执行时计算）。
+ *
+ * 装载：DFS 递归（相对 specifier → moduleKey 归一 → readSource → 提取其 import →
+ * 先装依赖 → 带 seed 执行自身）；循环依赖 → MODULE_CYCLE（failedAt 带环路径）。
+ * 本实现每次调用重建缓存（execute/append 各轮全量重读重执行；fingerprint 增量缓存
+ * 留作 v2）。
+ */
+import type { UiMetadata } from '../lang/metadata-extractor.js';
+import { type SecurityPolicy } from '../lang/security-scanner.js';
+import type { ExecKeepRecord } from './direct-executor.js';
+import type { ProjectLoader } from './ports.js';
+/** 模块导出面（§4.5 FaiModuleExports）。 */
+export interface FaiModuleExports {
+    /** 存活 shape + 常量（params）——ctx 非函数键 */
+    values: Record<string, unknown>;
+    /** 顶层函数（ctx 函数键） */
+    fns: Record<string, (...a: unknown[]) => unknown>;
+    /** 存活 shape 名（引用校验；模块内消费生效） */
+    liveShapes: Set<string>;
+}
+/** 已装载模块。 */
+export interface FaiModule {
+    key: string;
+    exports: FaiModuleExports;
+}
+/** 模块执行视图（ModuleRunner 返回；DirectExecutor 满足该形状）。 */
+export interface ModuleRunResult {
+    listCtxKeys(): string[];
+    getCtxVar(name: string): unknown;
+    listKeepLines(): number[];
+    getKeepByLine(lineNo: number): ExecKeepRecord | undefined;
+    /** P25 §3.7.4：原地写回登记（裸调用行 → 写回目标变量名；DirectExecutor 提供）。 */
+    getInplaceWrites?(): Map<number, string>;
+}
+/** 模块执行回调：独立 ctx 执行模块源码（imports = 该模块自己的 seed）。 */
+export type ModuleRunner = (code: string, imports: Record<string, unknown>) => Promise<ModuleRunResult>;
+/** 多文件装载错误码（runtime 归并为 ExecutionResult.failedAt）。 */
+export type ModuleRegistryErrorCode = 'MODULE_NOT_FOUND' | 'MODULE_CYCLE' | 'MODULE_EXEC_FAILED' | 'BINDING_NOT_EXPORTED' | 'MODULE_SECURITY' | 'MODULE_DEPTH_EXCEEDED' | 'MODULE_COUNT_EXCEEDED';
+/** 多文件装载错误（带 lineNo/callee，供 failedAt 定位 import 行）。 */
+export declare class ModuleRegistryError extends Error {
+    /** 错误码（MODULE_NOT_FOUND / MODULE_CYCLE / MODULE_EXEC_FAILED / BINDING_NOT_EXPORTED）。 */
+    readonly code: ModuleRegistryErrorCode;
+    /** import 行号（failedAt.lineNo 定位用；可选）。 */
+    readonly lineNo?: number;
+    /** 绑定名 / callee（failedAt.callee 用；可选）。 */
+    readonly callee?: string;
+    constructor(code: ModuleRegistryErrorCode, message: string, info?: {
+        lineNo?: number;
+        callee?: string;
+    });
+}
+/**
+ * 相对 specifier 判定（'./x' / '../x' / '/x'；裸 specifier = libLoader 通道，不在此）。
+ * @param specifier - import 说明符。
+ * @returns 该 specifier 是否指向项目内相对路径模块。
+ */
+export declare function isRelativeSpecifier(specifier: string): boolean;
+/**
+ * 相对 specifier → moduleKey（POSIX 斜杠归一 + ./.. 段消解；相对 baseKey 目录）。
+ * @param specifier - import 说明符（如 './bp.fai.js'）。
+ * @param baseKey - 所在模块的 moduleKey（取其目录为解析基准）；主模块可省。
+ * @returns 归一后的 moduleKey（与 loader.listModules() 精确匹配）。
+ */
+export declare function normalizeModuleKey(specifier: string, baseKey?: string): string;
+/**
+ * 多文件模块注册表：装载/导出/绑定校验。每次调用实例化（缓存仅存活单轮装载）。
+ */
+export declare class ModuleRegistry {
+    private readonly loader;
+    private readonly run;
+    private readonly securityPolicy;
+    private cache;
+    private loadCount;
+    constructor(loader: ProjectLoader, run: ModuleRunner, securityPolicy?: SecurityPolicy);
+    /**
+     * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。
+     * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。
+     * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。
+     * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。
+     * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。
+     */
+    /**
+     * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。
+     * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。
+     * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。
+     * @param stack - 循环依赖检测栈（内部递归使用；外部调用缺省 []）。
+     * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。
+     * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。
+     */
+    resolveImports(imports: UiMetadata['imports'], baseKey?: string, stack?: string[]): Promise<Record<string, unknown>>;
+    /** 装载并执行单个模块（递归装其依赖；缓存本装载轮）。 */
+    private load;
+    private buildExports;
+    /** named 绑定解析：liveShapes ∪ fns；缺失 → BINDING_NOT_EXPORTED。 */
+    private resolveBinding;
+    /** 命名空间/默认 import 的模块视图：values + fns。 */
+    private namespaceView;
+}
+//# sourceMappingURL=module-registry.d.ts.map

package/dist/cad-runtime/module-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-registry.d.ts","sourceRoot":"","sources":["../../src/cad-runtime/module-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAC5D,OAAO,EAAgB,KAAK,cAAc,EAAgC,MAAM,0BAA0B,CAAA;AAE1G,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAM5C,oCAAoC;AACpC,MAAM,WAAW,gBAAgB;IAC/B,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC/B,oBAAoB;IACpB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,CAAA;IACjD,+BAA+B;IAC/B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACxB;AAED,aAAa;AACb,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,gBAAgB,CAAA;CAC1B;AAED,oDAAoD;AACpD,MAAM,WAAW,eAAe;IAC9B,WAAW,IAAI,MAAM,EAAE,CAAA;IACvB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;IAChC,aAAa,IAAI,MAAM,EAAE,CAAA;IACzB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAA;IACzD,2DAA2D;IAC3D,gBAAgB,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACzC;AAED,mDAAmD;AACnD,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,eAAe,CAAC,CAAA;AAEvG,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAC/B,kBAAkB,GAClB,cAAc,GACd,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,uBAAuB,GACvB,uBAAuB,CAAA;AAE3B,uDAAuD;AACvD,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;IACtC,yCAAyC;IACzC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;gBACZ,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE;CAOxG;AAID;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,CAiB9E;AAID;;GAEG;AACH,qBAAa,cAAc;IAKvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,cAAc;IANjC,OAAO,CAAC,KAAK,CAA+B;IAC5C,OAAO,CAAC,SAAS,CAAI;gBAGF,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,YAAY,EACjB,cAAc,GAAE,cAAyB;IAG5D;;;;;;OAMG;IACH;;;;;;;OAOG;IACG,cAAc,CAClB,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,EAC9B,OAAO,CAAC,EAAE,MAAM,EAChB,KAAK,GAAE,MAAM,EAAO,GACnB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAmBnC,gCAAgC;YAClB,IAAI;IAyDlB,OAAO,CAAC,YAAY;IAgCpB,6DAA6D;IAC7D,OAAO,CAAC,cAAc;IAUtB,yCAAyC;IACzC,OAAO,CAAC,aAAa;CAGtB"}

package/dist/cad-runtime/module-registry.js

@@ -0,0 +1,218 @@
+/**
+ * module-registry — 多文件模块注册表（§4.5 / A-8/A-9/A-10）
+ *
+ * 无 IR 通道的多文件装载：主模块（runtime 直接执行）的顶层相对 import
+ * （`import { bp } from './x.fai.js'`）指向项目内其它 `.fai.js` 模块。
+ * 每个依赖模块用**独立 ctx** 执行（经注入的 ModuleRunner），产出导出面：
+ * - values：模块存活 ctx 键中的 shape/常量（非函数）；
+ * - fns：模块内顶层函数；
+ * - liveShapes：computeLiveShapes 对该模块自身的存活终端（模块内消费判定生效——
+ *   A-9：A 内被消费的 shape 不在 liveShapes → B 引用报错）。
+ *
+ * 名字契约（D6）：A 的 LHS 名 = 导出名；B 的 import 绑定名 = 引用名；绑定必须 ∈
+ * A.liveShapes ∪ A.fns（A-8 缺失导出名 → ModuleRegistryError）。普通常量不在此列——
+ * 具名 import 常量被拒，见
+ * .agents/notes/rejected/architecture/2026-09-09-named-import-of-constants.md。
+ * 跨文件引用 ≠ 消费：B 引用 A 的 shape 不影响 A 的 liveShapes（A 单独执行时计算）。
+ *
+ * 装载：DFS 递归（相对 specifier → moduleKey 归一 → readSource → 提取其 import →
+ * 先装依赖 → 带 seed 执行自身）；循环依赖 → MODULE_CYCLE（failedAt 带环路径）。
+ * 本实现每次调用重建缓存（execute/append 各轮全量重读重执行；fingerprint 增量缓存
+ * 留作 v2）。
+ */
+import { extractMetadata } from '../lang/metadata-extractor.js';
+import { assertSecure, S6_MAX_DEPTH, S6_MAX_MODULES } from '../lang/security-scanner.js';
+import { computeLiveShapes } from './live-shapes.js';
+import { asPartName } from '../identity.js';
+import { ParseError } from '../lang/parse-error.js';
+/** 多文件装载错误（带 lineNo/callee，供 failedAt 定位 import 行）。 */
+export class ModuleRegistryError extends Error {
+    /** 错误码（MODULE_NOT_FOUND / MODULE_CYCLE / MODULE_EXEC_FAILED / BINDING_NOT_EXPORTED）。 */
+    code;
+    /** import 行号（failedAt.lineNo 定位用；可选）。 */
+    lineNo;
+    /** 绑定名 / callee（failedAt.callee 用；可选）。 */
+    callee;
+    constructor(code, message, info) {
+        super(message);
+        this.name = 'ModuleRegistryError';
+        this.code = code;
+        this.lineNo = info?.lineNo;
+        this.callee = info?.callee;
+    }
+}
+// ── 路径归一 ──
+/**
+ * 相对 specifier 判定（'./x' / '../x' / '/x'；裸 specifier = libLoader 通道，不在此）。
+ * @param specifier - import 说明符。
+ * @returns 该 specifier 是否指向项目内相对路径模块。
+ */
+export function isRelativeSpecifier(specifier) {
+    return specifier.startsWith('./') || specifier.startsWith('../') || specifier.startsWith('/');
+}
+/**
+ * 相对 specifier → moduleKey（POSIX 斜杠归一 + ./.. 段消解；相对 baseKey 目录）。
+ * @param specifier - import 说明符（如 './bp.fai.js'）。
+ * @param baseKey - 所在模块的 moduleKey（取其目录为解析基准）；主模块可省。
+ * @returns 归一后的 moduleKey（与 loader.listModules() 精确匹配）。
+ */
+export function normalizeModuleKey(specifier, baseKey) {
+    const spec = specifier.replace(/\\/g, '/');
+    const baseDir = baseKey && baseKey.includes('/')
+        ? baseKey.slice(0, baseKey.lastIndexOf('/') + 1)
+        : '';
+    // 绝对形态（/x）不拼 baseDir；相对形态按 baseKey 目录解析
+    const combined = spec.startsWith('/') ? spec.slice(1) : `${baseDir}${spec}`;
+    const segs = [];
+    for (const seg of combined.split('/')) {
+        if (seg === '' || seg === '.')
+            continue;
+        if (seg === '..') {
+            segs.pop();
+            continue;
+        }
+        segs.push(seg);
+    }
+    return segs.join('/');
+}
+// ── ModuleRegistry ──
+/**
+ * 多文件模块注册表：装载/导出/绑定校验。每次调用实例化（缓存仅存活单轮装载）。
+ */
+export class ModuleRegistry {
+    loader;
+    run;
+    securityPolicy;
+    cache = new Map();
+    loadCount = 0;
+    constructor(loader, run, securityPolicy = 'strict') {
+        this.loader = loader;
+        this.run = run;
+        this.securityPolicy = securityPolicy;
+    }
+    /**
+     * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。
+     * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。
+     * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。
+     * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。
+     * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。
+     */
+    /**
+     * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。
+     * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。
+     * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。
+     * @param stack - 循环依赖检测栈（内部递归使用；外部调用缺省 []）。
+     * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。
+     * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。
+     */
+    async resolveImports(imports, baseKey, stack = []) {
+        const seed = {};
+        for (const imp of imports ?? []) {
+            if (!isRelativeSpecifier(imp.specifier))
+                continue; // 裸 specifier → libLoader 通道
+            const depKey = normalizeModuleKey(imp.specifier, baseKey);
+            const dep = await this.load(depKey, stack);
+            if (imp.kind === 'namespace' || imp.kind === 'default') {
+                if (imp.localName)
+                    seed[imp.localName] = this.namespaceView(dep);
+                continue;
+            }
+            // named：每个绑定分别校验
+            for (const binding of imp.bindings) {
+                const value = this.resolveBinding(binding, dep, imp.lineNo);
+                if (value !== undefined)
+                    seed[binding] = value;
+            }
+        }
+        return seed;
+    }
+    /** 装载并执行单个模块（递归装其依赖；缓存本装载轮）。 */
+    async load(key, stack) {
+        const cached = this.cache.get(key);
+        if (cached)
+            return cached;
+        if (stack.includes(key)) {
+            throw new ModuleRegistryError('MODULE_CYCLE', `module cycle detected: ${[...stack, key].join(' -> ')}`);
+        }
+        // S6：装载深度上限
+        if (stack.length >= S6_MAX_DEPTH) {
+            throw new ModuleRegistryError('MODULE_DEPTH_EXCEEDED', `module loading depth exceeded ${S6_MAX_DEPTH} (stack: ${stack.join(' -> ')})`);
+        }
+        // S6：模块总数上限
+        if (this.loadCount >= S6_MAX_MODULES) {
+            throw new ModuleRegistryError('MODULE_COUNT_EXCEEDED', `total module count exceeded ${S6_MAX_MODULES} limit`);
+        }
+        const available = this.loader.listModules();
+        if (!available.includes(key)) {
+            throw new ModuleRegistryError('MODULE_NOT_FOUND', `module "${key}" not found in project (available: ${available.length > 0 ? available.join(', ') : 'none'})`);
+        }
+        const source = await this.loader.readSource(key);
+        // A3：子模块安全扫描前置（固定 strict；违规 → MODULE_SECURITY）
+        try {
+            assertSecure(source, {
+                policy: 'strict',
+                knownNames: ['cad'],
+                defaultNs: 'cad',
+            });
+        }
+        catch (err) {
+            if (err instanceof ParseError) {
+                throw new ModuleRegistryError('MODULE_SECURITY', `module "${key}" failed security check: ${err.message}`, { lineNo: err.line, callee: key });
+            }
+            throw err;
+        }
+        this.loadCount++;
+        const meta = extractMetadata(source, { security: 'strict' });
+        const seed = await this.resolveImports(meta.imports ?? [], key, [...stack, key]);
+        const result = await this.run(source, seed); // 执行失败 → runner 抛 ModuleRegistryError
+        const module = { key, exports: this.buildExports(meta, result) };
+        this.cache.set(key, module);
+        return module;
+    }
+    buildExports(meta, result) {
+        const values = {};
+        const fns = {};
+        const shapeVarNames = new Set();
+        for (const name of result.listCtxKeys()) {
+            const v = result.getCtxVar(name);
+            if (v === undefined)
+                continue;
+            if (typeof v === 'function') {
+                fns[name] = v;
+            }
+            else {
+                values[name] = v;
+                if (v !== null && typeof v === 'object' && ('positions' in v || 'children' in v)) {
+                    shapeVarNames.add(asPartName(name));
+                }
+            }
+        }
+        // 模块自身的存活终端：函数体 keep 登记读 ModuleRunResult（DirectExecutor.keepByLine）
+        const ipw = result.getInplaceWrites?.();
+        const terminals = computeLiveShapes({
+            lines: meta.lines,
+            blocks: meta.blocks,
+            keep: {
+                lineEntries: (lineNo) => meta.keep.get(lineNo),
+                functionBody: (lineNo) => result.getKeepByLine(lineNo),
+            },
+            shapeVarNames,
+            ...(ipw && ipw.size > 0 ? { inplaceWrites: ipw } : {}),
+        });
+        const liveShapes = new Set(terminals.map((t) => String(t.id)));
+        return { values, fns, liveShapes };
+    }
+    /** named 绑定解析：liveShapes ∪ fns；缺失 → BINDING_NOT_EXPORTED。 */
+    resolveBinding(binding, dep, lineNo) {
+        if (dep.exports.liveShapes.has(binding))
+            return dep.exports.values[binding];
+        if (Object.prototype.hasOwnProperty.call(dep.exports.fns, binding))
+            return dep.exports.fns[binding];
+        throw new ModuleRegistryError('BINDING_NOT_EXPORTED', `"${binding}" is not exported by module "${dep.key}" (live shapes: ${[...dep.exports.liveShapes].join(', ') || 'none'})`, { lineNo, callee: binding });
+    }
+    /** 命名空间/默认 import 的模块视图：values + fns。 */
+    namespaceView(dep) {
+        return { ...dep.exports.values, ...dep.exports.fns };
+    }
+}
+//# sourceMappingURL=module-registry.js.map

package/dist/cad-runtime/module-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-registry.js","sourceRoot":"","sources":["../../src/cad-runtime/module-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAuB,YAAY,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC1G,OAAO,EAAE,iBAAiB,EAAyB,MAAM,eAAe,CAAA;AAGxE,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAA;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AA2ChD,uDAAuD;AACvD,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5C,wFAAwF;IAC/E,IAAI,CAAyB;IACtC,yCAAyC;IAChC,MAAM,CAAS;IACxB,0CAA0C;IACjC,MAAM,CAAS;IACxB,YAAY,IAA6B,EAAE,OAAe,EAAE,IAA2C;QACrG,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;QAC1B,IAAI,CAAC,MAAM,GAAG,IAAI,EAAE,MAAM,CAAA;IAC5B,CAAC;CACF;AAED,aAAa;AAEb;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC/F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAAiB,EAAE,OAAgB;IACpE,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC1C,MAAM,OAAO,GAAG,OAAO,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC9C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC,CAAC,EAAE,CAAA;IACN,wCAAwC;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,EAAE,CAAA;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG;YAAE,SAAQ;QACvC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC;AAED,uBAAuB;AAEvB;;GAEG;AACH,MAAM,OAAO,cAAc;IAKN;IACA;IACA;IANX,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAA;IACpC,SAAS,GAAG,CAAC,CAAA;IAErB,YACmB,MAAqB,EACrB,GAAiB,EACjB,iBAAiC,QAAQ;QAFzC,WAAM,GAAN,MAAM,CAAe;QACrB,QAAG,GAAH,GAAG,CAAc;QACjB,mBAAc,GAAd,cAAc,CAA2B;IACzD,CAAC;IAEJ;;;;;;OAMG;IACH;;;;;;;OAOG;IACH,KAAK,CAAC,cAAc,CAClB,OAA8B,EAC9B,OAAgB,EAChB,QAAkB,EAAE;QAEpB,MAAM,IAAI,GAA4B,EAAE,CAAA;QACxC,KAAK,MAAM,GAAG,IAAI,OAAO,IAAI,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAQ,CAAC,6BAA6B;YAC/E,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;YACzD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvD,IAAI,GAAG,CAAC,SAAS;oBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;gBAChE,SAAQ;YACV,CAAC;YACD,iBAAiB;YACjB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC3D,IAAI,KAAK,KAAK,SAAS;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAA;YAChD,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,gCAAgC;IACxB,KAAK,CAAC,IAAI,CAAC,GAAW,EAAE,KAAe;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,mBAAmB,CAC3B,cAAc,EACd,0BAA0B,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACzD,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,iCAAiC,YAAY,YAAY,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAC/E,CAAA;QACH,CAAC;QACD,YAAY;QACZ,IAAI,IAAI,CAAC,SAAS,IAAI,cAAc,EAAE,CAAC;YACrC,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,EACvB,+BAA+B,cAAc,QAAQ,CACtD,CAAA;QACH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAA;QAC3C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,mBAAmB,CAC3B,kBAAkB,EAClB,WAAW,GAAG,sCAAsC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAC5G,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAChD,+CAA+C;QAC/C,IAAI,CAAC;YACH,YAAY,CAAC,MAAM,EAAE;gBACnB,MAAM,EAAE,QAAQ;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC;gBACnB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAA;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,mBAAmB,CAC3B,iBAAiB,EACjB,WAAW,GAAG,4BAA4B,GAAG,CAAC,OAAO,EAAE,EACvD,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAClC,CAAA;YACH,CAAC;YACD,MAAM,GAAG,CAAA;QACX,CAAC;QACD,IAAI,CAAC,SAAS,EAAE,CAAA;QAChB,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC5D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QAChF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA,CAAC,sCAAsC;QAClF,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAA;QAChE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAC3B,OAAO,MAAM,CAAA;IACf,CAAC;IAEO,YAAY,CAAC,IAAgB,EAAE,MAAuB;QAC5D,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAiD,EAAE,CAAA;QAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAY,CAAA;QACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;YAChC,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAQ;YAC7B,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;gBAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAiC,CAAA;YAC/C,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAChB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;oBACjF,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QACD,oEAAoE;QACpE,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAA;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC;YAClC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE;gBACJ,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC9C,YAAY,EAAE,CAAC,MAAM,EAAgC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;aACrF;YACD,aAAa;YACb,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvD,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,CAAA;IACpC,CAAC;IAED,6DAA6D;IACrD,cAAc,CAAC,OAAe,EAAE,GAAc,EAAE,MAAc;QACpE,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC3E,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACnG,MAAM,IAAI,mBAAmB,CAC3B,sBAAsB,EACtB,IAAI,OAAO,gCAAgC,GAAG,CAAC,GAAG,mBAAmB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,EACxH,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAC5B,CAAA;IACH,CAAC;IAED,yCAAyC;IACjC,aAAa,CAAC,GAAc;QAClC,OAAO,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;IACtD,CAAC;CACF","sourcesContent":["/**\n * module-registry — 多文件模块注册表（§4.5 / A-8/A-9/A-10）\n *\n * 无 IR 通道的多文件装载：主模块（runtime 直接执行）的顶层相对 import\n * （`import { bp } from './x.fai.js'`）指向项目内其它 `.fai.js` 模块。\n * 每个依赖模块用**独立 ctx** 执行（经注入的 ModuleRunner），产出导出面：\n * - values：模块存活 ctx 键中的 shape/常量（非函数）；\n * - fns：模块内顶层函数；\n * - liveShapes：computeLiveShapes 对该模块自身的存活终端（模块内消费判定生效——\n *   A-9：A 内被消费的 shape 不在 liveShapes → B 引用报错）。\n *\n * 名字契约（D6）：A 的 LHS 名 = 导出名；B 的 import 绑定名 = 引用名；绑定必须 ∈\n * A.liveShapes ∪ A.fns（A-8 缺失导出名 → ModuleRegistryError）。普通常量不在此列——\n * 具名 import 常量被拒，见\n * .agents/notes/rejected/architecture/2026-09-09-named-import-of-constants.md。\n * 跨文件引用 ≠ 消费：B 引用 A 的 shape 不影响 A 的 liveShapes（A 单独执行时计算）。\n *\n * 装载：DFS 递归（相对 specifier → moduleKey 归一 → readSource → 提取其 import →\n * 先装依赖 → 带 seed 执行自身）；循环依赖 → MODULE_CYCLE（failedAt 带环路径）。\n * 本实现每次调用重建缓存（execute/append 各轮全量重读重执行；fingerprint 增量缓存\n * 留作 v2）。\n */\n\nimport { extractMetadata } from '../lang/metadata-extractor'\nimport type { UiMetadata } from '../lang/metadata-extractor'\nimport { assertSecure, type SecurityPolicy, S6_MAX_DEPTH, S6_MAX_MODULES } from '../lang/security-scanner'\nimport { computeLiveShapes, type KeepRegistration } from './live-shapes'\nimport type { ExecKeepRecord } from './direct-executor'\nimport type { ProjectLoader } from './ports'\nimport { asPartName, type PartName } from '../identity'\nimport { ParseError } from '../lang/parse-error'\n\n// ── 导出类型 ──\n\n/** 模块导出面（§4.5 FaiModuleExports）。 */\nexport interface FaiModuleExports {\n  /** 存活 shape + 常量（params）——ctx 非函数键 */\n  values: Record<string, unknown>\n  /** 顶层函数（ctx 函数键） */\n  fns: Record<string, (...a: unknown[]) => unknown>\n  /** 存活 shape 名（引用校验；模块内消费生效） */\n  liveShapes: Set<string>\n}\n\n/** 已装载模块。 */\nexport interface FaiModule {\n  key: string\n  exports: FaiModuleExports\n}\n\n/** 模块执行视图（ModuleRunner 返回；DirectExecutor 满足该形状）。 */\nexport interface ModuleRunResult {\n  listCtxKeys(): string[]\n  getCtxVar(name: string): unknown\n  listKeepLines(): number[]\n  getKeepByLine(lineNo: number): ExecKeepRecord | undefined\n  /** P25 §3.7.4：原地写回登记（裸调用行 → 写回目标变量名；DirectExecutor 提供）。 */\n  getInplaceWrites?(): Map<number, string>\n}\n\n/** 模块执行回调：独立 ctx 执行模块源码（imports = 该模块自己的 seed）。 */\nexport type ModuleRunner = (code: string, imports: Record<string, unknown>) => Promise<ModuleRunResult>\n\n/** 多文件装载错误码（runtime 归并为 ExecutionResult.failedAt）。 */\nexport type ModuleRegistryErrorCode =\n  | 'MODULE_NOT_FOUND'\n  | 'MODULE_CYCLE'\n  | 'MODULE_EXEC_FAILED'\n  | 'BINDING_NOT_EXPORTED'\n  | 'MODULE_SECURITY'\n  | 'MODULE_DEPTH_EXCEEDED'\n  | 'MODULE_COUNT_EXCEEDED'\n\n/** 多文件装载错误（带 lineNo/callee，供 failedAt 定位 import 行）。 */\nexport class ModuleRegistryError extends Error {\n  /** 错误码（MODULE_NOT_FOUND / MODULE_CYCLE / MODULE_EXEC_FAILED / BINDING_NOT_EXPORTED）。 */\n  readonly code: ModuleRegistryErrorCode\n  /** import 行号（failedAt.lineNo 定位用；可选）。 */\n  readonly lineNo?: number\n  /** 绑定名 / callee（failedAt.callee 用；可选）。 */\n  readonly callee?: string\n  constructor(code: ModuleRegistryErrorCode, message: string, info?: { lineNo?: number; callee?: string }) {\n    super(message)\n    this.name = 'ModuleRegistryError'\n    this.code = code\n    this.lineNo = info?.lineNo\n    this.callee = info?.callee\n  }\n}\n\n// ── 路径归一 ──\n\n/**\n * 相对 specifier 判定（'./x' / '../x' / '/x'；裸 specifier = libLoader 通道，不在此）。\n * @param specifier - import 说明符。\n * @returns 该 specifier 是否指向项目内相对路径模块。\n */\nexport function isRelativeSpecifier(specifier: string): boolean {\n  return specifier.startsWith('./') || specifier.startsWith('../') || specifier.startsWith('/')\n}\n\n/**\n * 相对 specifier → moduleKey（POSIX 斜杠归一 + ./.. 段消解；相对 baseKey 目录）。\n * @param specifier - import 说明符（如 './bp.fai.js'）。\n * @param baseKey - 所在模块的 moduleKey（取其目录为解析基准）；主模块可省。\n * @returns 归一后的 moduleKey（与 loader.listModules() 精确匹配）。\n */\nexport function normalizeModuleKey(specifier: string, baseKey?: string): string {\n  const spec = specifier.replace(/\\\\/g, '/')\n  const baseDir = baseKey && baseKey.includes('/')\n    ? baseKey.slice(0, baseKey.lastIndexOf('/') + 1)\n    : ''\n  // 绝对形态（/x）不拼 baseDir；相对形态按 baseKey 目录解析\n  const combined = spec.startsWith('/') ? spec.slice(1) : `${baseDir}${spec}`\n  const segs: string[] = []\n  for (const seg of combined.split('/')) {\n    if (seg === '' || seg === '.') continue\n    if (seg === '..') {\n      segs.pop()\n      continue\n    }\n    segs.push(seg)\n  }\n  return segs.join('/')\n}\n\n// ── ModuleRegistry ──\n\n/**\n * 多文件模块注册表：装载/导出/绑定校验。每次调用实例化（缓存仅存活单轮装载）。\n */\nexport class ModuleRegistry {\n  private cache = new Map<string, FaiModule>()\n  private loadCount = 0\n\n  constructor(\n    private readonly loader: ProjectLoader,\n    private readonly run: ModuleRunner,\n    private readonly securityPolicy: SecurityPolicy = 'strict',\n  ) {}\n\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  /**\n   * 装载 import 表对应的全部依赖并返回 seed（绑定名 → 值）。\n   * @param imports - 顶层 import 条目（UiMetadata.imports 同构）。\n   * @param baseKey - 所在模块的 moduleKey（相对 specifier 解析基准）；主模块无 key。\n   * @param stack - 循环依赖检测栈（内部递归使用；外部调用缺省 []）。\n   * @returns seed map（供 DirectExecutor opts.imports / params 预置 ctx）。\n   * @throws ModuleRegistryError — 环 / 模块缺失 / 依赖执行失败 / 绑定未导出。\n   */\n  async resolveImports(\n    imports: UiMetadata['imports'],\n    baseKey?: string,\n    stack: string[] = [],\n  ): Promise<Record<string, unknown>> {\n    const seed: Record<string, unknown> = {}\n    for (const imp of imports ?? []) {\n      if (!isRelativeSpecifier(imp.specifier)) continue // 裸 specifier → libLoader 通道\n      const depKey = normalizeModuleKey(imp.specifier, baseKey)\n      const dep = await this.load(depKey, stack)\n      if (imp.kind === 'namespace' || imp.kind === 'default') {\n        if (imp.localName) seed[imp.localName] = this.namespaceView(dep)\n        continue\n      }\n      // named：每个绑定分别校验\n      for (const binding of imp.bindings) {\n        const value = this.resolveBinding(binding, dep, imp.lineNo)\n        if (value !== undefined) seed[binding] = value\n      }\n    }\n    return seed\n  }\n\n  /** 装载并执行单个模块（递归装其依赖；缓存本装载轮）。 */\n  private async load(key: string, stack: string[]): Promise<FaiModule> {\n    const cached = this.cache.get(key)\n    if (cached) return cached\n    if (stack.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_CYCLE',\n        `module cycle detected: ${[...stack, key].join(' -> ')}`,\n      )\n    }\n    // S6：装载深度上限\n    if (stack.length >= S6_MAX_DEPTH) {\n      throw new ModuleRegistryError(\n        'MODULE_DEPTH_EXCEEDED',\n        `module loading depth exceeded ${S6_MAX_DEPTH} (stack: ${stack.join(' -> ')})`,\n      )\n    }\n    // S6：模块总数上限\n    if (this.loadCount >= S6_MAX_MODULES) {\n      throw new ModuleRegistryError(\n        'MODULE_COUNT_EXCEEDED',\n        `total module count exceeded ${S6_MAX_MODULES} limit`,\n      )\n    }\n    const available = this.loader.listModules()\n    if (!available.includes(key)) {\n      throw new ModuleRegistryError(\n        'MODULE_NOT_FOUND',\n        `module \"${key}\" not found in project (available: ${available.length > 0 ? available.join(', ') : 'none'})`,\n      )\n    }\n    const source = await this.loader.readSource(key)\n    // A3：子模块安全扫描前置（固定 strict；违规 → MODULE_SECURITY）\n    try {\n      assertSecure(source, {\n        policy: 'strict',\n        knownNames: ['cad'],\n        defaultNs: 'cad',\n      })\n    } catch (err) {\n      if (err instanceof ParseError) {\n        throw new ModuleRegistryError(\n          'MODULE_SECURITY',\n          `module \"${key}\" failed security check: ${err.message}`,\n          { lineNo: err.line, callee: key },\n        )\n      }\n      throw err\n    }\n    this.loadCount++\n    const meta = extractMetadata(source, { security: 'strict' })\n    const seed = await this.resolveImports(meta.imports ?? [], key, [...stack, key])\n    const result = await this.run(source, seed) // 执行失败 → runner 抛 ModuleRegistryError\n    const module = { key, exports: this.buildExports(meta, result) }\n    this.cache.set(key, module)\n    return module\n  }\n\n  private buildExports(meta: UiMetadata, result: ModuleRunResult): FaiModuleExports {\n    const values: Record<string, unknown> = {}\n    const fns: Record<string, (...a: unknown[]) => unknown> = {}\n    const shapeVarNames = new Set<PartName>()\n    for (const name of result.listCtxKeys()) {\n      const v = result.getCtxVar(name)\n      if (v === undefined) continue\n      if (typeof v === 'function') {\n        fns[name] = v as (...a: unknown[]) => unknown\n      } else {\n        values[name] = v\n        if (v !== null && typeof v === 'object' && ('positions' in v || 'children' in v)) {\n          shapeVarNames.add(asPartName(name))\n        }\n      }\n    }\n    // 模块自身的存活终端：函数体 keep 登记读 ModuleRunResult（DirectExecutor.keepByLine）\n    const ipw = result.getInplaceWrites?.()\n    const terminals = computeLiveShapes({\n      lines: meta.lines,\n      blocks: meta.blocks,\n      keep: {\n        lineEntries: (lineNo) => meta.keep.get(lineNo),\n        functionBody: (lineNo): KeepRegistration | undefined => result.getKeepByLine(lineNo),\n      },\n      shapeVarNames,\n      ...(ipw && ipw.size > 0 ? { inplaceWrites: ipw } : {}),\n    })\n    const liveShapes = new Set<string>(terminals.map((t) => String(t.id)))\n    return { values, fns, liveShapes }\n  }\n\n  /** named 绑定解析：liveShapes ∪ fns；缺失 → BINDING_NOT_EXPORTED。 */\n  private resolveBinding(binding: string, dep: FaiModule, lineNo: number): unknown | undefined {\n    if (dep.exports.liveShapes.has(binding)) return dep.exports.values[binding]\n    if (Object.prototype.hasOwnProperty.call(dep.exports.fns, binding)) return dep.exports.fns[binding]\n    throw new ModuleRegistryError(\n      'BINDING_NOT_EXPORTED',\n      `\"${binding}\" is not exported by module \"${dep.key}\" (live shapes: ${[...dep.exports.liveShapes].join(', ') || 'none'})`,\n      { lineNo, callee: binding },\n    )\n  }\n\n  /** 命名空间/默认 import 的模块视图：values + fns。 */\n  private namespaceView(dep: FaiModule): Record<string, unknown> {\n    return { ...dep.exports.values, ...dep.exports.fns }\n  }\n}\n"]}