@kernlang/core 3.5.9-canary.218.1.77aa9b0c → 4.0.0

package/dist/capability-matrix.js

@@ -126,15 +126,17 @@ const PY_CORE_CAPABILITIES = [
         support: 'unsupported',
         note: 'mapTsTypeToPython has no tuple branch; alias passthrough emits raw TS form',
     },
-    // Slice 2b — Python has Enum class via `from enum import Enum`, but the
-    // FastAPI generator does not yet emit class-based enums for the `enum` node.
-    // Mark unsupported until that path lands; flipping to `lowered` requires a
-    // dedicated Python generator (would emit `class Status(str, Enum): ...`).
+    // Slice 2b / enum-python-parity — the `enum` node now lowers to a PLAIN
+    // Python namespace class (`class Status:` with bare int/str members), NOT
+    // enum.Enum / IntEnum / a metaclass and with NO runtime import (tribunal
+    // run-1781176354539). Bare members give equality/arithmetic/JSON/fmt parity
+    // with the TS enum by construction. See generatePythonEnum in
+    // packages/python/src/generators/data.ts.
     {
         feature: 'enum-type',
         position: 'top-level',
-        support: 'unsupported',
-        note: 'FastAPI codegen does not yet handle the enum node; would produce no output',
+        support: 'lowered',
+        note: 'lowers to a plain namespace class with bare int/str members (no enum.Enum, no runtime import)',
     },
     // Slice 2c — Python has dict[K, V] / TypedDict but the FastAPI generator
     // does not yet emit either form from an `indexer` child. Mark unsupported.

package/dist/capability-matrix.js.map

@@ -1 +1 @@
-{"version":3,"file":"capability-matrix.js","sourceRoot":"","sources":["../src/capability-matrix.ts"],"names":[],"mappings":"AAAA;;iEAEiE;AAiBjE,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE;QACE,OAAO,EAAE,6BAA6B;QACtC,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,sCAAsC;KAC7C;IACD,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAChE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,kFAAkF;IAClF,sGAAsG;IACtG,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAClF,+EAA+E;IAC/E,6EAA6E;IAC7E,wEAAwE;IACxE,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnE,sEAAsE;IACtE,2EAA2E;IAC3E,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAClE,0EAA0E;IAC1E,+CAA+C;IAC/C,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,kFAAkF;IAClF,4EAA4E;IAC5E,6DAA6D;IAC7D,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnE,yEAAyE;IACzE,sEAAsE;IACtE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,iFAAiF;IACjF,4EAA4E;IAC5E,kCAAkC;IAClC,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACjE,yEAAyE;IACzE,2EAA2E;IAC3E,uEAAuE;IACvE,8CAA8C;IAC9C,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACzE,2EAA2E;IAC3E,6EAA6E;IAC7E,yEAAyE;IACzE,wEAAwE;IACxE,8DAA8D;IAC9D,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,4EAA4E;IAC5E,oEAAoE;IACpE,6EAA6E;IAC7E,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,wEAAwE;IACxE,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,sEAAsE;IACtE,mEAAmE;IACnE,wEAAwE;IACxE,yEAAyE;IACzE,qEAAqE;IACrE,+DAA+D;IAC/D,0EAA0E;IAC1E,8CAA8C;IAC9C,EAAE,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;CAC9E,CAAC;AAEF,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnF;QACE,OAAO,EAAE,gBAAgB;QACzB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,qDAAqD;KAC5D;IACD,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,6BAA6B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrF;QACE,OAAO,EAAE,gBAAgB;QACzB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,qDAAqD;KAC5D;IACD;QACE,OAAO,EAAE,kBAAkB;QAC3B,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,sCAAsC;KAC7C;IACD,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,8BAA8B,EAAE;IACvG,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,qBAAqB,EAAE;IACxG,yGAAyG;IACzG;QACE,OAAO,EAAE,2BAA2B;QACpC,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,8EAA8E;KACrF;IACD,2EAA2E;IAC3E,4EAA4E;IAC5E,iFAAiF;IACjF,oCAAoC;IACpC;QACE,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,4EAA4E;KACnF;IACD,wEAAwE;IACxE,6EAA6E;IAC7E,2EAA2E;IAC3E,0EAA0E;IAC1E;QACE,OAAO,EAAE,WAAW;QACpB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,4EAA4E;KACnF;IACD,yEAAyE;IACzE,2EAA2E;IAC3E;QACE,OAAO,EAAE,iBAAiB;QAC1B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,sEAAsE;KAC7E;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,yCAAyC;IACzC;QACE,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,0EAA0E;KACjF;IACD,uEAAuE;IACvE,wEAAwE;IACxE,YAAY;IACZ;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,0DAA0D;KACjE;IACD,yEAAyE;IACzE,sFAAsF;IACtF;QACE,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,qEAAqE;KAC5E;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,qEAAqE;IACrE,+DAA+D;IAC/D;QACE,OAAO,EAAE,mBAAmB;QAC5B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,QAAQ;KAClB;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,uEAAuE;IACvE;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,+FAA+F;KACtG;IACD,0EAA0E;IAC1E,wFAAwF;IACxF,2EAA2E;IAC3E,wEAAwE;IACxE,4EAA4E;IAC5E,0EAA0E;IAC1E,YAAY;IACZ;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,QAAQ;QACjB,IAAI,EAAE,wJAAwJ;KAC/J;IACD,0EAA0E;IAC1E,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,6GAA6G;KACpH;IACD,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,qDAAqD;IACrD;QACE,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,+FAA+F;KACtG;CACF,CAAC;AAEF,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE;IACpF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IAC7E,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,6BAA6B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE;IACtF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,oCAAoC,EAAE;IACrH,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,iCAAiC,EAAE;IACpH,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IACrE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IAC/E,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACvF,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACxE,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACvE,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC7E,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACxE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACtE,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC/E,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC9E,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;CACnF,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAqB;IACjD,IAAI,EAAE,oBAAoB;IAC1B,GAAG,EAAE,oBAAoB;IACzB,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,oBAAoB;IAC9B,GAAG,EAAE,oBAAoB;IACzB,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,oBAAoB;IAC7B,GAAG,EAAE,oBAAoB;IACzB,QAAQ,EAAE,oBAAoB;IAC9B,GAAG,EAAE,oBAAoB;IACzB,GAAG,EAAE,oBAAoB;IACzB,IAAI,EAAE,oBAAoB;IAC1B,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,oBAAoB;IAC5B,EAAE,EAAE,oBAAoB;IACxB,GAAG,EAAE,oBAAoB;CAC1B,CAAC;AAEF,MAAM,UAAU,iBAAiB,CAAC,MAAkB,EAAE,OAAe,EAAE,QAAyB;IAC9F,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAChD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE,OAAO,IAAI,aAAa,CAAC;AACzG,CAAC"}
+{"version":3,"file":"capability-matrix.js","sourceRoot":"","sources":["../src/capability-matrix.ts"],"names":[],"mappings":"AAAA;;iEAEiE;AAiBjE,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE;QACE,OAAO,EAAE,6BAA6B;QACtC,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,sCAAsC;KAC7C;IACD,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAChE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,kFAAkF;IAClF,sGAAsG;IACtG,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAClF,+EAA+E;IAC/E,6EAA6E;IAC7E,wEAAwE;IACxE,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnE,sEAAsE;IACtE,2EAA2E;IAC3E,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAClE,0EAA0E;IAC1E,+CAA+C;IAC/C,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,kFAAkF;IAClF,4EAA4E;IAC5E,6DAA6D;IAC7D,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnE,yEAAyE;IACzE,sEAAsE;IACtE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,iFAAiF;IACjF,4EAA4E;IAC5E,kCAAkC;IAClC,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACjE,yEAAyE;IACzE,2EAA2E;IAC3E,uEAAuE;IACvE,8CAA8C;IAC9C,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IACzE,2EAA2E;IAC3E,6EAA6E;IAC7E,yEAAyE;IACzE,wEAAwE;IACxE,8DAA8D;IAC9D,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,4EAA4E;IAC5E,oEAAoE;IACpE,6EAA6E;IAC7E,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,wEAAwE;IACxE,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC3E,sEAAsE;IACtE,mEAAmE;IACnE,wEAAwE;IACxE,yEAAyE;IACzE,qEAAqE;IACrE,+DAA+D;IAC/D,0EAA0E;IAC1E,8CAA8C;IAC9C,EAAE,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE;CAC9E,CAAC;AAEF,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACnF;QACE,OAAO,EAAE,gBAAgB;QACzB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,qDAAqD;KAC5D;IACD,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,6BAA6B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrF;QACE,OAAO,EAAE,gBAAgB;QACzB,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,qDAAqD;KAC5D;IACD;QACE,OAAO,EAAE,kBAAkB;QAC3B,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,sCAAsC;KAC7C;IACD,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,8BAA8B,EAAE;IACvG,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,qBAAqB,EAAE;IACxG,yGAAyG;IACzG;QACE,OAAO,EAAE,2BAA2B;QACpC,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,8EAA8E;KACrF;IACD,2EAA2E;IAC3E,4EAA4E;IAC5E,iFAAiF;IACjF,oCAAoC;IACpC;QACE,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,4EAA4E;KACnF;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,4EAA4E;IAC5E,8DAA8D;IAC9D,0CAA0C;IAC1C;QACE,OAAO,EAAE,WAAW;QACpB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,+FAA+F;KACtG;IACD,yEAAyE;IACzE,2EAA2E;IAC3E;QACE,OAAO,EAAE,iBAAiB;QAC1B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,sEAAsE;KAC7E;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,yCAAyC;IACzC;QACE,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,0EAA0E;KACjF;IACD,uEAAuE;IACvE,wEAAwE;IACxE,YAAY;IACZ;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,0DAA0D;KACjE;IACD,yEAAyE;IACzE,sFAAsF;IACtF;QACE,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,qEAAqE;KAC5E;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,qEAAqE;IACrE,+DAA+D;IAC/D;QACE,OAAO,EAAE,mBAAmB;QAC5B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,QAAQ;KAClB;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,uEAAuE;IACvE;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,+FAA+F;KACtG;IACD,0EAA0E;IAC1E,wFAAwF;IACxF,2EAA2E;IAC3E,wEAAwE;IACxE,4EAA4E;IAC5E,0EAA0E;IAC1E,YAAY;IACZ;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,QAAQ;QACjB,IAAI,EAAE,wJAAwJ;KAC/J;IACD,0EAA0E;IAC1E,sEAAsE;IACtE,yEAAyE;IACzE,yEAAyE;IACzE;QACE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,6GAA6G;KACpH;IACD,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,qDAAqD;IACrD;QACE,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,WAAW;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE,+FAA+F;KACtG;CACF,CAAC;AAEF,MAAM,oBAAoB,GAAsB;IAC9C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE;IACpF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IAC7E,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACrE,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACxE,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE;IACvE,EAAE,OAAO,EAAE,6BAA6B,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE;IACtF,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,oCAAoC,EAAE;IACrH,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,iCAAiC,EAAE;IACpH,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IACrE,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE;IAC/E,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACvF,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACxE,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACvE,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC7E,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACxE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IACtE,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC/E,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAC9E,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;IAChF,EAAE,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,EAAE;CACnF,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAqB;IACjD,IAAI,EAAE,oBAAoB;IAC1B,GAAG,EAAE,oBAAoB;IACzB,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,oBAAoB;IAC9B,GAAG,EAAE,oBAAoB;IACzB,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,oBAAoB;IAC7B,GAAG,EAAE,oBAAoB;IACzB,QAAQ,EAAE,oBAAoB;IAC9B,GAAG,EAAE,oBAAoB;IACzB,GAAG,EAAE,oBAAoB;IACzB,IAAI,EAAE,oBAAoB;IAC1B,OAAO,EAAE,oBAAoB;IAC7B,MAAM,EAAE,oBAAoB;IAC5B,EAAE,EAAE,oBAAoB;IACxB,GAAG,EAAE,oBAAoB;CAC1B,CAAC;AAEF,MAAM,UAAU,iBAAiB,CAAC,MAAkB,EAAE,OAAe,EAAE,QAAyB;IAC9F,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAChD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE,OAAO,IAAI,aAAa,CAAC;AACzG,CAAC"}

package/dist/closure-eligibility.d.ts

@@ -0,0 +1,104 @@
+/** v1 closure gate — fail-closed eligibility predicate AND emission
+ *  precondition for block-bodied arrow functions in native KERN bodies.
+ *
+ *  Architecture (council + tribunal decided, Option B′ "TS-AST-grounded raw
+ *  body"): the lambda IR carries the raw block text (`bodyBlock.raw`) for
+ *  verbatim TS re-emit ONLY. Every analyzer/consumer reads the TS AST obtained
+ *  through `parseClosureBlockAst` here — never scans the string. The IR does
+ *  NOT store the `ts.Block` (serialization safety); this helper recomputes it
+ *  (cheap; memoized via a module-level `Map`).
+ *
+ *  The gate is the SINGLE owner of "is this block body supported" — used by:
+ *   - the parser (parse-time validation, fail-closed)
+ *   - the migrator eligibility classifier (`native-eligibility-ast.ts`)
+ *   - the Python lowerer precondition (`codegen-body-python.ts`)
+ *  so nothing eligible can fail to lower.
+ *
+ *  ── Mutation v1 (the closure-mutation slice) ───────────────────────────────
+ *  The gate now ACCEPTS in statement position:
+ *   (a) assignments to bare identifiers — block-LOCAL or FREE alike. The gate
+ *       is a SHAPE classifier: it sees only the block (params live on the arrow
+ *       and are stripped before the block is parsed), so it CANNOT tell a free
+ *       capture from a closure param. Both are accepted here; the Python
+ *       EMITTER (`emitBlockClosurePy`) decides pinned-vs-`nonlocal` using the
+ *       enclosing loop context it alone can see, and the LOWERER excludes
+ *       params from the written-free set (so a param write stays a plain local
+ *       assignment, never `nonlocal`). The compound forms `+=,-=,*=,/=,%=` are
+ *       accepted; statement-position `++`/`--` lower to `+= 1`/`-= 1`.
+ *   (b) member/index writes on any non-`this` base (`acc.total = 1`,
+ *       `acc[i] = v`, compound forms) — by-reference parity, no `nonlocal`.
+ *  It KEEPS REJECTING, with precise reasons:
+ *   - `this`-rooted targets → `closure-this` (unchanged).
+ *   - destructuring / parenthesized targets → `closure-unsupported-assign-target`.
+ *   - assignment operators outside {=,+=,-=,*=,/=,%=} (e.g. `&=`, `|=`, `<<=`)
+ *     → `closure-unsupported-operator`.
+ *   - value-position `++`/`--` (operand of a larger expression, e.g.
+ *     `arr.push(x++)`) → `closure-incdec-value-position`.
+ *  The eligibility≢lowerability gap for PINNED captures (a free write to a
+ *  per-iteration loop binding) is intentional and surfaces as a LOUD compile
+ *  error at emission (`closure-pinned-write`), not here: the single-statement
+ *  gate cannot see the enclosing loop header.
+ *
+ *  v1 is deliberately NARROWER than the lowering machinery
+ *  (`lowerJsClosureBodyToPython` supports try/for-of; the gate rejects them).
+ *  Widening the gate is a future slice. */
+import ts from 'typescript';
+/** Parse a raw closure block (`{ ... }`, braces included) into a `ts.Block`,
+ *  or `null` if it does not parse cleanly as a single function body block.
+ *
+ *  Generalized from the former `parseClosureBlock` in
+ *  closure-python-lowering.ts (which now imports this). Route behavior is
+ *  unchanged: the lowerer still validates the same way. */
+export declare function parseClosureBlockAst(raw: string): ts.Block | null;
+/** Collect the set of free identifier NAMES referenced in a closure block —
+ *  identifiers used in the block that are NOT declared inside the block and
+ *  NOT in `paramNames` (the closure's own parameters). These are exactly the
+ *  names the closure CAPTURES from its enclosing scope.
+ *
+ *  Slice-2 loop-variable pinning consumes this: a captured name whose binding
+ *  resolves at-or-inside the enclosing loop body must be pinned via a Python
+ *  default arg, so each closure sees its own iteration's value (JS per-iteration
+ *  capture) instead of late-binding to the last value.
+ *
+ *  Uses the TS AST (via `parseClosureBlockAst`) — never string scanning.
+ *  Excludes, per the spec:
+ *   - the `.name` side of a member access (`a.b` references only `a`),
+ *   - object-literal property keys (`{ a: 1 }` — `a` is a key, not a ref),
+ *   - declaration names themselves (`const x = …` — `x` is the bound name),
+ *   - shorthand-property assignment names are NOT excluded: `{ a }` reads `a`,
+ *     so the shorthand identifier IS a real reference and stays in the set.
+ *
+ *  A name both declared-inside and referenced (a block-local, or a shadowing
+ *  re-declaration) is NOT free — `collectLocalDeclaredNames` removes it. The
+ *  block is parsed once (memoized); a parse failure yields an empty set (the
+ *  gate already rejected such bodies, so this is defensive). */
+export declare function collectFreeIdentifierNames(raw: string, paramNames: string[]): Set<string>;
+/** The assignment operators the mutation-v1 gate accepts (mirrored by the
+ *  Python lowerer, which emits the same compound operator directly). Anything
+ *  else (`&=`, `|=`, `^=`, `<<=`, `>>=`, `>>>=`, `**=`, `&&=`, `||=`, `??=`)
+ *  rejects with `closure-unsupported-operator`. The lowerer SHARES this set so
+ *  the gate and the emitter never drift. */
+export declare const CLOSURE_ASSIGN_OPERATORS: ReadonlySet<ts.SyntaxKind>;
+/** Classify a closure block body. Returns `null` if the body is supported by
+ *  the v1 gate, or a distinct reject-reason string otherwise.
+ *
+ *  ACCEPT set: `let`/`const` (identifier names + initializers, no
+ *  destructuring), `return` (with or without expression), expression
+ *  statements, `if`/`else` (block or single-statement branches, nesting fine).
+ *  Statement-position MUTATIONS are now accepted: assignments to a bare
+ *  identifier (local OR free) and to a non-`this` member/index target, with the
+ *  operators {=,+=,-=,*=,/=,%=}, plus statement-position `++`/`--`.
+ *
+ *  REJECT (whole-block walk): `this` (incl. a `this`-rooted assign target →
+ *  `closure-this`), nested arrow/function/class, `yield`, `await`, any loop,
+ *  `throw`, `try`, `switch`, `break`/`continue`, `var`, parameter default
+ *  values, spread, labeled statements, `with`; a destructuring/parenthesized
+ *  assign target (`closure-unsupported-assign-target`); an assignment operator
+ *  outside the accepted set (`closure-unsupported-operator`); and a
+ *  value-position `++`/`--` (`closure-incdec-value-position`). Member/index
+ *  mutation and method calls on a captured object (`acc.push(x)`) are allowed.
+ *  Any statement outside the accept set rejects. NOTE: a free write to a
+ *  PINNED per-iteration loop capture passes the gate but is rejected LOUDLY at
+ *  Python emission (`closure-pinned-write`) — the single-statement gate cannot
+ *  see the enclosing loop header (eligibility≢lowerability, by design). */
+export declare function classifyClosureBlock(raw: string): null | string;

package/dist/closure-eligibility.js

@@ -0,0 +1,443 @@
+/** v1 closure gate — fail-closed eligibility predicate AND emission
+ *  precondition for block-bodied arrow functions in native KERN bodies.
+ *
+ *  Architecture (council + tribunal decided, Option B′ "TS-AST-grounded raw
+ *  body"): the lambda IR carries the raw block text (`bodyBlock.raw`) for
+ *  verbatim TS re-emit ONLY. Every analyzer/consumer reads the TS AST obtained
+ *  through `parseClosureBlockAst` here — never scans the string. The IR does
+ *  NOT store the `ts.Block` (serialization safety); this helper recomputes it
+ *  (cheap; memoized via a module-level `Map`).
+ *
+ *  The gate is the SINGLE owner of "is this block body supported" — used by:
+ *   - the parser (parse-time validation, fail-closed)
+ *   - the migrator eligibility classifier (`native-eligibility-ast.ts`)
+ *   - the Python lowerer precondition (`codegen-body-python.ts`)
+ *  so nothing eligible can fail to lower.
+ *
+ *  ── Mutation v1 (the closure-mutation slice) ───────────────────────────────
+ *  The gate now ACCEPTS in statement position:
+ *   (a) assignments to bare identifiers — block-LOCAL or FREE alike. The gate
+ *       is a SHAPE classifier: it sees only the block (params live on the arrow
+ *       and are stripped before the block is parsed), so it CANNOT tell a free
+ *       capture from a closure param. Both are accepted here; the Python
+ *       EMITTER (`emitBlockClosurePy`) decides pinned-vs-`nonlocal` using the
+ *       enclosing loop context it alone can see, and the LOWERER excludes
+ *       params from the written-free set (so a param write stays a plain local
+ *       assignment, never `nonlocal`). The compound forms `+=,-=,*=,/=,%=` are
+ *       accepted; statement-position `++`/`--` lower to `+= 1`/`-= 1`.
+ *   (b) member/index writes on any non-`this` base (`acc.total = 1`,
+ *       `acc[i] = v`, compound forms) — by-reference parity, no `nonlocal`.
+ *  It KEEPS REJECTING, with precise reasons:
+ *   - `this`-rooted targets → `closure-this` (unchanged).
+ *   - destructuring / parenthesized targets → `closure-unsupported-assign-target`.
+ *   - assignment operators outside {=,+=,-=,*=,/=,%=} (e.g. `&=`, `|=`, `<<=`)
+ *     → `closure-unsupported-operator`.
+ *   - value-position `++`/`--` (operand of a larger expression, e.g.
+ *     `arr.push(x++)`) → `closure-incdec-value-position`.
+ *  The eligibility≢lowerability gap for PINNED captures (a free write to a
+ *  per-iteration loop binding) is intentional and surfaces as a LOUD compile
+ *  error at emission (`closure-pinned-write`), not here: the single-statement
+ *  gate cannot see the enclosing loop header.
+ *
+ *  v1 is deliberately NARROWER than the lowering machinery
+ *  (`lowerJsClosureBodyToPython` supports try/for-of; the gate rejects them).
+ *  Widening the gate is a future slice. */
+import ts from 'typescript';
+/** Memoize parsed blocks. Keyed by the raw (trimmed) source. A `null` value is
+ *  a cached "does not parse / not a single block" verdict. */
+const blockCache = new Map();
+/** Parse a raw closure block (`{ ... }`, braces included) into a `ts.Block`,
+ *  or `null` if it does not parse cleanly as a single function body block.
+ *
+ *  Generalized from the former `parseClosureBlock` in
+ *  closure-python-lowering.ts (which now imports this). Route behavior is
+ *  unchanged: the lowerer still validates the same way. */
+export function parseClosureBlockAst(raw) {
+    const trimmed = raw.trim();
+    if (blockCache.has(trimmed))
+        return blockCache.get(trimmed) ?? null;
+    const result = parseClosureBlockUncached(trimmed);
+    blockCache.set(trimmed, result);
+    return result;
+}
+function parseClosureBlockUncached(trimmed) {
+    if (trimmed.length < 2 || trimmed[0] !== '{' || trimmed[trimmed.length - 1] !== '}')
+        return null;
+    const source = `function __kern_closure__() ${trimmed}`;
+    const sf = ts.createSourceFile('__kern_closure__.ts', source, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const diags = sf.parseDiagnostics;
+    if (diags && diags.length > 0)
+        return null;
+    const fn = sf.statements[0];
+    if (!fn || !ts.isFunctionDeclaration(fn) || !fn.body)
+        return null;
+    return fn.body;
+}
+/** Collect identifier names bound by `let`/`const` declarations directly inside
+ *  the closure block (including inside nested if/else branches the gate
+ *  accepts). Used to distinguish a free-variable write (rejected) from an
+ *  assignment to a closure-local (allowed). v1 only admits identifier-named
+ *  declarations, so destructured names never enter this set. */
+function collectLocalDeclaredNames(block) {
+    const names = new Set();
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name)) {
+            names.add(node.name.text);
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(block, visit);
+    return names;
+}
+/** Collect the set of free identifier NAMES referenced in a closure block —
+ *  identifiers used in the block that are NOT declared inside the block and
+ *  NOT in `paramNames` (the closure's own parameters). These are exactly the
+ *  names the closure CAPTURES from its enclosing scope.
+ *
+ *  Slice-2 loop-variable pinning consumes this: a captured name whose binding
+ *  resolves at-or-inside the enclosing loop body must be pinned via a Python
+ *  default arg, so each closure sees its own iteration's value (JS per-iteration
+ *  capture) instead of late-binding to the last value.
+ *
+ *  Uses the TS AST (via `parseClosureBlockAst`) — never string scanning.
+ *  Excludes, per the spec:
+ *   - the `.name` side of a member access (`a.b` references only `a`),
+ *   - object-literal property keys (`{ a: 1 }` — `a` is a key, not a ref),
+ *   - declaration names themselves (`const x = …` — `x` is the bound name),
+ *   - shorthand-property assignment names are NOT excluded: `{ a }` reads `a`,
+ *     so the shorthand identifier IS a real reference and stays in the set.
+ *
+ *  A name both declared-inside and referenced (a block-local, or a shadowing
+ *  re-declaration) is NOT free — `collectLocalDeclaredNames` removes it. The
+ *  block is parsed once (memoized); a parse failure yields an empty set (the
+ *  gate already rejected such bodies, so this is defensive). */
+export function collectFreeIdentifierNames(raw, paramNames) {
+    const block = parseClosureBlockAst(raw);
+    if (block === null)
+        return new Set();
+    const declared = collectLocalDeclaredNames(block);
+    const params = new Set(paramNames);
+    const free = new Set();
+    const visit = (node) => {
+        if (ts.isIdentifier(node)) {
+            const parent = node.parent;
+            // `a.b` — only `a` is a reference; skip the `.b` name side.
+            if (parent && ts.isPropertyAccessExpression(parent) && parent.name === node)
+                return;
+            // `a?.b` qualified-name / similar — defensive (PropertyAccess covers the
+            // common case; QualifiedName appears only in type positions, which the
+            // gate rejects, but skip the right-hand name there too for safety).
+            if (parent && ts.isQualifiedName(parent) && parent.right === node)
+                return;
+            // Object-literal property KEY (`{ a: 1 }`) — `a` is a key, not a ref.
+            // Shorthand (`{ a }`) is a ShorthandPropertyAssignment whose `.name` IS
+            // a real read of `a`, so it is NOT excluded here.
+            if (parent && ts.isPropertyAssignment(parent) && parent.name === node)
+                return;
+            // Declaration name (`const x = …`, `let x`, a binding-element name).
+            if (parent && ts.isVariableDeclaration(parent) && parent.name === node)
+                return;
+            if (parent && ts.isBindingElement(parent) && parent.name === node)
+                return;
+            // A binding element's property name (`const { p: local } = o` — `p`).
+            if (parent && ts.isBindingElement(parent) && parent.propertyName === node)
+                return;
+            const name = node.text;
+            if (declared.has(name) || params.has(name))
+                return;
+            free.add(name);
+            return;
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(block, visit);
+    return free;
+}
+/** True when `target` is itself a bare identifier (not a member/index). A bare
+ *  identifier write rebinds the variable; a member/index write mutates an
+ *  object the closure captured. Both are accepted under mutation-v1. */
+function isBareIdentifierTarget(target) {
+    return ts.isIdentifier(target);
+}
+/** The assignment operators the mutation-v1 gate accepts (mirrored by the
+ *  Python lowerer, which emits the same compound operator directly). Anything
+ *  else (`&=`, `|=`, `^=`, `<<=`, `>>=`, `>>>=`, `**=`, `&&=`, `||=`, `??=`)
+ *  rejects with `closure-unsupported-operator`. The lowerer SHARES this set so
+ *  the gate and the emitter never drift. */
+export const CLOSURE_ASSIGN_OPERATORS = new Set([
+    ts.SyntaxKind.EqualsToken,
+    ts.SyntaxKind.PlusEqualsToken,
+    ts.SyntaxKind.MinusEqualsToken,
+    ts.SyntaxKind.AsteriskEqualsToken,
+    ts.SyntaxKind.SlashEqualsToken,
+    ts.SyntaxKind.PercentEqualsToken,
+]);
+/** Classify an assignment/update TARGET inside a closure block. Returns `null`
+ *  when the target SHAPE is accepted (bare identifier — local or free; or a
+ *  non-`this` member/index write), or a precise reject reason otherwise.
+ *
+ *  The gate is a shape classifier and cannot distinguish a free capture from a
+ *  closure param (params are stripped before the block is parsed). Both bare
+ *  cases accept here; `nonlocal`-vs-pinned-vs-local is the Python emitter's
+ *  decision (see the header doc + `emitBlockClosurePy`). */
+function classifyAssignTarget(target) {
+    if (isBareIdentifierTarget(target)) {
+        // Bare identifier — local OR free, both accepted. The lowerer/emitter
+        // decide whether a `nonlocal` declaration is needed.
+        return null;
+    }
+    if (ts.isPropertyAccessExpression(target) || ts.isElementAccessExpression(target)) {
+        // A `this`-rooted target (`this.x = …`) is first and foremost a `this`
+        // usage — surface the more precise reason the rest of the gate uses.
+        let current = target;
+        while (ts.isPropertyAccessExpression(current) || ts.isElementAccessExpression(current)) {
+            current = current.expression;
+        }
+        if (current.kind === ts.SyntaxKind.ThisKeyword)
+            return 'closure-this';
+        // Member/index write on a non-`this` base — by-reference mutation, accepted.
+        return null;
+    }
+    // Destructuring (`({a} = x)`, `[a] = x`) or parenthesized (`(a) = x`) target —
+    // could smuggle a free write past the bare-identifier check. Fail closed.
+    return 'closure-unsupported-assign-target';
+}
+/** Walk the whole block rejecting any v1-unsupported construct. Returns a
+ *  distinct reject reason string, or `null` if no unsupported construct is
+ *  found. Statement-level shape (only let/const/return/expr/if accepted) is
+ *  checked separately by `classifyStatementShape`. */
+function findUnsupportedConstruct(block) {
+    let reason = null;
+    const visit = (node) => {
+        if (reason !== null)
+            return;
+        // Nested functions of any kind — closures cannot nest in v1.
+        if (ts.isArrowFunction(node) || ts.isFunctionExpression(node) || ts.isFunctionDeclaration(node)) {
+            reason = 'closure-nested-function';
+            return;
+        }
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+            reason = 'closure-class';
+            return;
+        }
+        if (node.kind === ts.SyntaxKind.ThisKeyword) {
+            reason = 'closure-this';
+            return;
+        }
+        if (ts.isYieldExpression(node)) {
+            reason = 'closure-yield';
+            return;
+        }
+        if (ts.isAwaitExpression(node)) {
+            reason = 'closure-await';
+            return;
+        }
+        if (ts.isSpreadElement(node) || ts.isSpreadAssignment(node)) {
+            reason = 'closure-spread';
+            return;
+        }
+        // Any loop.
+        if (ts.isForStatement(node) ||
+            ts.isForOfStatement(node) ||
+            ts.isForInStatement(node) ||
+            ts.isWhileStatement(node) ||
+            ts.isDoStatement(node)) {
+            reason = 'closure-loop';
+            return;
+        }
+        if (ts.isThrowStatement(node)) {
+            reason = 'closure-throw';
+            return;
+        }
+        if (ts.isTryStatement(node)) {
+            reason = 'closure-try';
+            return;
+        }
+        if (ts.isSwitchStatement(node)) {
+            reason = 'closure-switch';
+            return;
+        }
+        if (ts.isBreakStatement(node) || ts.isContinueStatement(node)) {
+            reason = 'closure-break-continue';
+            return;
+        }
+        if (ts.isLabeledStatement(node)) {
+            reason = 'closure-labeled';
+            return;
+        }
+        if (ts.isWithStatement(node)) {
+            reason = 'closure-with';
+            return;
+        }
+        // `var` declarations.
+        if (ts.isVariableStatement(node)) {
+            const flags = node.declarationList.flags;
+            if ((flags & ts.NodeFlags.Let) === 0 && (flags & ts.NodeFlags.Const) === 0) {
+                reason = 'closure-var';
+                return;
+            }
+            for (const decl of node.declarationList.declarations) {
+                if (!ts.isIdentifier(decl.name)) {
+                    reason = 'closure-destructure';
+                    return;
+                }
+                if (!decl.initializer) {
+                    reason = 'closure-uninitialized-decl';
+                    return;
+                }
+            }
+        }
+        // Parameter default values (params live on the closure itself, but the
+        // gate is also called on nested constructs defensively; closures with
+        // their own params are the only legal owner and have no defaults in v1).
+        if (ts.isParameter(node) && node.initializer) {
+            reason = 'closure-param-default';
+            return;
+        }
+        // ASSIGNMENT EXPRESSIONS — mutation v1 lowers them structurally (the
+        // Python lowerer emits assignment STATEMENTS from this AST; the TS target
+        // re-emits the raw block verbatim). The gate validates only the TARGET
+        // SHAPE and the OPERATOR:
+        //  - bare identifier (local or free): accepted (the emitter decides
+        //    pinned-vs-`nonlocal`-vs-local). `acc.push(x)` is a CALL on a captured
+        //    object — also accepted, the original v1 mutation story.
+        //  - member/index target on a non-`this` base (`acc.x = 1`, `acc[i] = v`):
+        //    accepted — by-reference mutation, no `nonlocal`.
+        //  - `this`-rooted target (`this.x = …`): 'closure-this'.
+        //  - destructuring (`({a} = obj)`) / parenthesized (`(x) = 1`) target:
+        //    'closure-unsupported-assign-target' (could smuggle a free write past
+        //    the bare-identifier check — fail closed).
+        //  - assignment operator outside {=,+=,-=,*=,/=,%=}: 'closure-unsupported-
+        //    operator'.
+        if (ts.isBinaryExpression(node)) {
+            const op = node.operatorToken.kind;
+            if (op >= ts.SyntaxKind.FirstAssignment && op <= ts.SyntaxKind.LastAssignment) {
+                // STATEMENT position only — mirror the ++/-- guard (agon review,
+                // claude 0.85): a value-position assignment (`arr.push(x = 5)`,
+                // `const y = (x = 5)`, `return (x = 5)`, chained `x = (y = 2)`)
+                // passes shape checks but the lowerer can only emit an assignment
+                // that is the direct expression of an ExpressionStatement — anything
+                // else routes through the expression callback, which has no
+                // assignment grammar. Reject here so eligible ≡ lowerable holds.
+                // Paren-wrapped statement assignments (`({ a } = x);` — JS REQUIRES
+                // the parens there) count as statement position: walk up through
+                // parens so the precise TARGET reason (e.g. destructuring) survives.
+                let posParent = node.parent;
+                while (posParent && ts.isParenthesizedExpression(posParent))
+                    posParent = posParent.parent;
+                if (!posParent || !ts.isExpressionStatement(posParent)) {
+                    reason = 'closure-assign-value-position';
+                    return;
+                }
+                if (!CLOSURE_ASSIGN_OPERATORS.has(op)) {
+                    reason = 'closure-unsupported-operator';
+                    return;
+                }
+                const targetReason = classifyAssignTarget(node.left);
+                if (targetReason !== null) {
+                    reason = targetReason;
+                    return;
+                }
+                // Accepted assignment — keep walking its subexpressions (the RHS may
+                // contain an unsupported construct, e.g. a nested arrow or `this`).
+                ts.forEachChild(node, visit);
+                return;
+            }
+        }
+        if (ts.isPostfixUnaryExpression(node) || ts.isPrefixUnaryExpression(node)) {
+            const op = node.operator;
+            if (op === ts.SyntaxKind.PlusPlusToken || op === ts.SyntaxKind.MinusMinusToken) {
+                // `++`/`--` is only a statement-position mutation when its IMMEDIATE
+                // parent is an ExpressionStatement (`x++;`). In any other position
+                // (`arr.push(x++)`, `f(--x)`, `a = x++`) it is a value-producing
+                // sub-expression v1 does not lower — reject with the actionable reason.
+                if (!node.parent || !ts.isExpressionStatement(node.parent)) {
+                    reason = 'closure-incdec-value-position';
+                    return;
+                }
+                const targetReason = classifyAssignTarget(node.operand);
+                if (targetReason !== null) {
+                    reason = targetReason;
+                    return;
+                }
+                ts.forEachChild(node, visit);
+                return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    ts.forEachChild(block, visit);
+    return reason;
+}
+/** True when `stmt` is one of the v1-accepted statement shapes (let/const with
+ *  identifier names + initializers, return, expression statement, if/else).
+ *  Branch bodies may be blocks or single statements; this recurses into them. */
+function isAcceptedStatementShape(stmt) {
+    if (ts.isVariableStatement(stmt)) {
+        const flags = stmt.declarationList.flags;
+        if ((flags & ts.NodeFlags.Let) === 0 && (flags & ts.NodeFlags.Const) === 0)
+            return false;
+        for (const decl of stmt.declarationList.declarations) {
+            if (!ts.isIdentifier(decl.name) || !decl.initializer)
+                return false;
+        }
+        return true;
+    }
+    if (ts.isReturnStatement(stmt))
+        return true;
+    if (ts.isExpressionStatement(stmt))
+        return true;
+    if (ts.isIfStatement(stmt)) {
+        if (!isAcceptedBranch(stmt.thenStatement))
+            return false;
+        if (stmt.elseStatement && !isAcceptedBranch(stmt.elseStatement))
+            return false;
+        return true;
+    }
+    return false;
+}
+function isAcceptedBranch(node) {
+    if (ts.isBlock(node))
+        return node.statements.every(isAcceptedStatementShape);
+    return isAcceptedStatementShape(node);
+}
+/** Classify a closure block body. Returns `null` if the body is supported by
+ *  the v1 gate, or a distinct reject-reason string otherwise.
+ *
+ *  ACCEPT set: `let`/`const` (identifier names + initializers, no
+ *  destructuring), `return` (with or without expression), expression
+ *  statements, `if`/`else` (block or single-statement branches, nesting fine).
+ *  Statement-position MUTATIONS are now accepted: assignments to a bare
+ *  identifier (local OR free) and to a non-`this` member/index target, with the
+ *  operators {=,+=,-=,*=,/=,%=}, plus statement-position `++`/`--`.
+ *
+ *  REJECT (whole-block walk): `this` (incl. a `this`-rooted assign target →
+ *  `closure-this`), nested arrow/function/class, `yield`, `await`, any loop,
+ *  `throw`, `try`, `switch`, `break`/`continue`, `var`, parameter default
+ *  values, spread, labeled statements, `with`; a destructuring/parenthesized
+ *  assign target (`closure-unsupported-assign-target`); an assignment operator
+ *  outside the accepted set (`closure-unsupported-operator`); and a
+ *  value-position `++`/`--` (`closure-incdec-value-position`). Member/index
+ *  mutation and method calls on a captured object (`acc.push(x)`) are allowed.
+ *  Any statement outside the accept set rejects. NOTE: a free write to a
+ *  PINNED per-iteration loop capture passes the gate but is rejected LOUDLY at
+ *  Python emission (`closure-pinned-write`) — the single-statement gate cannot
+ *  see the enclosing loop header (eligibility≢lowerability, by design). */
+export function classifyClosureBlock(raw) {
+    const block = parseClosureBlockAst(raw);
+    if (block === null)
+        return 'closure-parse-error';
+    // Whole-block walk for unsupported constructs (this/await/loops/…).
+    const constructReason = findUnsupportedConstruct(block);
+    if (constructReason !== null)
+        return constructReason;
+    // Statement-level shape: every top-level (and nested if/else branch)
+    // statement must be in the accept set.
+    for (const stmt of block.statements) {
+        if (!isAcceptedStatementShape(stmt)) {
+            return `closure-unsupported-stmt-${ts.SyntaxKind[stmt.kind]}`;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=closure-eligibility.js.map

package/dist/closure-eligibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure-eligibility.js","sourceRoot":"","sources":["../src/closure-eligibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2CA2C2C;AAE3C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;8DAC8D;AAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;AAEtD;;;;;2DAK2D;AAC3D,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IACpE,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAClD,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAAC,OAAe;IAChD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACjG,MAAM,MAAM,GAAG,+BAA+B,OAAO,EAAE,CAAC;IACxD,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,qBAAqB,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC9G,MAAM,KAAK,GAAI,EAAwD,CAAC,gBAAgB,CAAC;IACzF,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,EAAE,CAAC,IAAI,CAAC;AACjB,CAAC;AAED;;;;gEAIgE;AAChE,SAAS,yBAAyB,CAAC,KAAe;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;gEAqBgE;AAChE,MAAM,UAAU,0BAA0B,CAAC,GAAW,EAAE,UAAoB;IAC1E,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,4DAA4D;YAC5D,IAAI,MAAM,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YACpF,yEAAyE;YACzE,uEAAuE;YACvE,oEAAoE;YACpE,IAAI,MAAM,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;gBAAE,OAAO;YAC1E,sEAAsE;YACtE,wEAAwE;YACxE,kDAAkD;YAClD,IAAI,MAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YAC9E,qEAAqE;YACrE,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YAC/E,IAAI,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YAC1E,sEAAsE;YACtE,IAAI,MAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI;gBAAE,OAAO;YAClF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YACnD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;wEAEwE;AACxE,SAAS,sBAAsB,CAAC,MAAqB;IACnD,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;;;4CAI4C;AAC5C,MAAM,CAAC,MAAM,wBAAwB,GAA+B,IAAI,GAAG,CAAC;IAC1E,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,kBAAkB;CACjC,CAAC,CAAC;AAEH;;;;;;;4DAO4D;AAC5D,SAAS,oBAAoB,CAAC,MAAqB;IACjD,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,sEAAsE;QACtE,qDAAqD;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClF,uEAAuE;QACvE,qEAAqE;QACrE,IAAI,OAAO,GAAkB,MAAM,CAAC;QACpC,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACvF,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAAE,OAAO,cAAc,CAAC;QACtE,6EAA6E;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,+EAA+E;IAC/E,0EAA0E;IAC1E,OAAO,mCAAmC,CAAC;AAC7C,CAAC;AAED;;;sDAGsD;AACtD,SAAS,wBAAwB,CAAC,KAAe;IAC/C,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO;QAE5B,6DAA6D;QAC7D,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChG,MAAM,GAAG,yBAAyB,CAAC;YACnC,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,GAAG,eAAe,CAAC;YACzB,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,MAAM,GAAG,cAAc,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,eAAe,CAAC;YACzB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,eAAe,CAAC;YACzB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,MAAM,GAAG,gBAAgB,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,YAAY;QACZ,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EACtB,CAAC;YACD,MAAM,GAAG,cAAc,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,GAAG,eAAe,CAAC;YACzB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,aAAa,CAAC;YACvB,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,gBAAgB,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,GAAG,wBAAwB,CAAC;YAClC,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,iBAAiB,CAAC;YAC3B,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,GAAG,cAAc,CAAC;YACxB,OAAO;QACT,CAAC;QAED,sBAAsB;QACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YACzC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3E,MAAM,GAAG,aAAa,CAAC;gBACvB,OAAO;YACT,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChC,MAAM,GAAG,qBAAqB,CAAC;oBAC/B,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBACtB,MAAM,GAAG,4BAA4B,CAAC;oBACtC,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QAED,uEAAuE;QACvE,sEAAsE;QACtE,yEAAyE;QACzE,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC7C,MAAM,GAAG,uBAAuB,CAAC;YACjC,OAAO;QACT,CAAC;QAED,qEAAqE;QACrE,0EAA0E;QAC1E,uEAAuE;QACvE,0BAA0B;QAC1B,oEAAoE;QACpE,2EAA2E;QAC3E,6DAA6D;QAC7D,2EAA2E;QAC3E,sDAAsD;QACtD,0DAA0D;QAC1D,uEAAuE;QACvE,0EAA0E;QAC1E,+CAA+C;QAC/C,2EAA2E;QAC3E,gBAAgB;QAChB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YACnC,IAAI,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe,IAAI,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC9E,iEAAiE;gBACjE,gEAAgE;gBAChE,gEAAgE;gBAChE,kEAAkE;gBAClE,qEAAqE;gBACrE,4DAA4D;gBAC5D,iEAAiE;gBACjE,oEAAoE;gBACpE,iEAAiE;gBACjE,qEAAqE;gBACrE,IAAI,SAAS,GAAwB,IAAI,CAAC,MAAM,CAAC;gBACjD,OAAO,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC;oBAAE,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;gBAC1F,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;oBACvD,MAAM,GAAG,+BAA+B,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBACtC,MAAM,GAAG,8BAA8B,CAAC;oBACxC,OAAO;gBACT,CAAC;gBACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC1B,MAAM,GAAG,YAAY,CAAC;oBACtB,OAAO;gBACT,CAAC;gBACD,qEAAqE;gBACrE,oEAAoE;gBACpE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;YACzB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;gBAC/E,qEAAqE;gBACrE,mEAAmE;gBACnE,iEAAiE;gBACjE,wEAAwE;gBACxE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3D,MAAM,GAAG,+BAA+B,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC1B,MAAM,GAAG,YAAY,CAAC;oBACtB,OAAO;gBACT,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;iFAEiF;AACjF,SAAS,wBAAwB,CAAC,IAAkB;IAClD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,IAAI,CAAC,aAAa,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC7E,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;2EAqB2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,qBAAqB,CAAC;IAEjD,oEAAoE;IACpE,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,eAAe,KAAK,IAAI;QAAE,OAAO,eAAe,CAAC;IAErD,qEAAqE;IACrE,uCAAuC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO,4BAA4B,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}