@faicad/faijs 0.13.2 → 0.16.0

package/dist/fcstd/codegen.js

@@ -1,5 +1,6 @@
-import { translateObject, isJsExpr, jsExpr } from './feature-translate.js';
-import { isIdentityPlacement, quatToEulerXYZDeg } from './placement.js';
+import { translateObject, isJsExpr, jsExpr, BODY_CHAIN_BASE } from './feature-translate.js';
+import { isIdentityPlacement, invertApplyPlacement } from './placement.js';
+import { isNonModelingType } from './structural-types.js';
 /** Extract link dependencies relevant for ordering. */
 function depsOf(obj) {
     const out = [];
@@ -10,9 +11,21 @@ function depsOf(obj) {
         if (v)
             out.push(v);
     }
-    const shapes = obj.properties.get('Shapes')?.children[0];
-    if (shapes) {
-        for (const link of shapes.children) {
+    // GOTCHA (ArchDetail corpus, 2026-09-21): App::PropertyLinkList properties.
+    // `Shapes` is the multi-input geometry list (Part::MultiFuse / MultiCommon);
+    // `Links` is Part::Compound's member list. Neither is a single-value link
+    // property, so missing it here left the Compound with NO dependency on its
+    // members — Kahn then placed it at its document position, and ArchDetail's
+    // compounds sit at doc index 10-14 while every member sits at 269+ (Draft
+    // emits the wire first, the compound last, but the file order is sorted by
+    // name). inputVar() found nothing yet → `compound-missing-members` for all
+    // five compounds, for a pure ordering reason.
+    const linkLists = ['Shapes', 'Links'];
+    for (const p of linkLists) {
+        const el = obj.properties.get(p)?.children[0];
+        if (!el)
+            continue;
+        for (const link of el.children) {
             const v = link.attributes['value'];
             if (v)
                 out.push(v);
@@ -56,17 +69,39 @@ function bodyFeatureNames(obj) {
  * @param sketchContours solved contours per L0 sketch, keyed by object name
  * @param baseName source base name used in generated file headers/labels
  * @param placements per-object Placement used to re-orient placed geometry; missing → identity
+ * @param shapeCarriers objects whose Shape is a ZIP .brp member (pure-Shape carriers → shape-asset)
+ * @param brokenShapeAssets objects whose Shape `file` attribute points at a missing/empty member (explicit gap)
  * @returns the lowered call plan, per-object dispositions and generated code
  */
 export function generateModel(doc, sketchVerdict, sketchContours, baseName, 
 /** M8.3: per-object Placement (sketches + features); missing → identity */
 placements, 
 /** H7: objects whose Shape is a ZIP .brp member (pure-Shape carriers → shape-asset). */
-shapeCarriers) {
+shapeCarriers, 
+/** E4: objects whose Shape `file` attribute points at a missing/empty member (explicit gap). */
+brokenShapeAssets) {
     const byName = new Map(doc.objects.map((o) => [o.name, o]));
+    // GOTCHA (test_geomop corpus, 2026-09-20): a dependency on a Body
+    // CONTAINER (Part::Cut with Tool→Body) really waits for the Body's
+    // features to have built the chain — expand the dep to the member
+    // features so Kahn orders the consumer AFTER the chain exists (and
+    // chainVar.get(Body) resolves). Treating the container itself as
+    // satisfiable instead let the Cut run before the chain was built.
     const nodes = new Map();
     for (const obj of doc.objects) {
-        nodes.set(obj.name, { name: obj.name, obj, deps: new Set(depsOf(obj)) });
+        const deps = new Set();
+        for (const d of depsOf(obj)) {
+            const target = byName.get(d);
+            if (target?.type === 'PartDesign::Body') {
+                for (const m of bodyFeatureNames(target))
+                    if (byName.has(m))
+                        deps.add(m);
+            }
+            else {
+                deps.add(d);
+            }
+        }
+        nodes.set(obj.name, { name: obj.name, obj, deps });
     }
     // Kahn topological sort; objects with unbuilt deps fall back to insertion
     // order iteration until progress stalls (remaining are baked with reason).
@@ -95,7 +130,7 @@ shapeCarriers) {
             const node = nodes.get(name);
             if (built.has(node.name))
                 continue;
-            if ([...node.deps].every((d) => built.has(d) || !byName.has(d))) {
+            if ([...node.deps].every((d) => built.has(d) || !byName.has(d) || byName.get(d).type === 'PartDesign::Body')) {
                 built.add(node.name);
                 order.push(node.name);
                 progress = true;
@@ -156,16 +191,28 @@ shapeCarriers) {
             }
             continue;
         }
-        if (obj.type === 'App::Origin' || obj.type === 'App::Plane' || obj.type === 'App::Line') {
-            results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: 'datum' });
+        // Non-modeling objects are preserved-only and MUST be short-circuited
+        // BEFORE translation. GOTCHA (PadTest, 2026-09-21): this used to list only
+        // `App::Origin/Plane/Line`, so a Body's `PartDesign::Plane` went through
+        // the translator, matched the shape-asset rule (datum planes store a
+        // `Shape` .brp — the plane face) and was folded into the Body's chain:
+        // `cad.union(pad, datumPlane)`. That both corrupts the solid and fails at
+        // run time (`cad.load` requires a solid; a plane face has none). The
+        // predicate is shared with the C4 audit (`structural-types.ts`) so codegen
+        // and the disposition ledger can never disagree about what is non-modeling.
+        if (isNonModelingType(obj.type)) {
+            results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: 'structural' });
             continue;
         }
         // Sketches are now real face variables (see the Sketcher::SketchObject
         // branch above), so every dependency that resolves to one flows through.
         const verdict = translateObject(obj, (dep) => {
-            const v = variables.get(dep);
-            return v !== undefined ? v : undefined;
-        }, doc.objects, shapeCarriers);
+            // GOTCHA (test_geomop corpus, 2026-09-20): a dependency on a Body
+            // CONTAINER (Part::Cut with Tool→Body) resolves against the Body's
+            // accumulated chain head, not `variables` — the container name is
+            // never registered there (its result lives in chainVar).
+            return variables.get(dep) ?? chainVar.get(dep);
+        }, doc.objects, shapeCarriers, brokenShapeAssets);
         node.verdict = verdict;
         if (verdict.kind === 'translated') {
             // rename output vars to partN sequence
@@ -174,6 +221,15 @@ shapeCarriers) {
                 variables.set(call.out, v);
                 // remap inputs that were intermediate (Pocket_cut) or named outputs
                 call.inputs = call.inputs.map((i) => variables.get(i) ?? i);
+                // GOTCHA (ArchDetail s444, 2026-09-21): `cad.compound` passes its
+                // members as LEXICAL VARIABLE NAMES inside `params.members` — they
+                // must be remapped like `inputs`, otherwise renderArgs emits them as
+                // string literals and the op receives strings (no BREP handle) and
+                // throws "compound members are not all on the BREP chain".
+                const members = call.params?.members;
+                if (Array.isArray(members)) {
+                    call.params.members = members.map((m) => typeof m === 'string' ? (variables.get(m) ?? m) : m);
+                }
                 call.out = v;
                 calls.push(call);
             }
@@ -193,25 +249,25 @@ shapeCarriers) {
             const lastVar = verdict.calls.at(-1)?.out;
             const sketchLink = obj.properties.get('Sketch')?.children[0]?.attributes['value'];
             const pl = (sketchLink ? placements?.get(sketchLink) : undefined) ?? placements?.get(name);
-            if (lastVar && pl && !isIdentityPlacement(pl)) {
-                let cur = lastVar;
-                const euler = quatToEulerXYZDeg(pl.q);
-                const isRotation = Math.abs(euler[0]) > 1e-9 || Math.abs(euler[1]) > 1e-9 || Math.abs(euler[2]) > 1e-9;
-                if (isRotation) {
-                    const rv = newVar();
-                    variables.set(cur, rv); // map old name → rotated var for consumers
-                    calls.push({ out: rv, op: 'cad.rotate_euler', source: name, inputs: [cur], params: { anglesDeg: euler } });
-                    cur = rv;
-                }
-                const needsTranslate = Math.abs(pl.p[0]) > 1e-9 || Math.abs(pl.p[1]) > 1e-9 || Math.abs(pl.p[2]) > 1e-9;
-                if (needsTranslate) {
-                    const tv = newVar();
-                    variables.set(cur, tv);
-                    calls.push({ out: tv, op: 'cad.translate', source: name, inputs: [cur], params: { offset: [...pl.p] } });
-                    cur = tv;
-                }
+            // GOTCHA (H13, TO92, 2026-09-23): a shape-asset object's frozen `.brp`
+            // member is saved by FreeCAD WITH its Placement already applied (the
+            // asset's bbox starts at the placed z). Re-emitting `cad.place` with the
+            // object's stored Placement applies the SAME transform twice — volume
+            // and solids stay correct, only a bbox/com parity check exposes it.
+            // The import already carries the placement; never place it again.
+            const isShapeAsset = verdict.reason === 'shape-asset';
+            if (lastVar && pl && !isIdentityPlacement(pl) && !isShapeAsset) {
+                // 单个刚性放置：旋转（四元数，绕局部原点）+ 平移 = FreeCAD Placement(P,Q)。
+                // 直接发 cad.place，避免 euler 往返损失精度（方案 §4.7：两语句合一）。
+                const cur = lastVar;
+                const rv = newVar();
+                variables.set(cur, rv); // map old name → placed var for consumers
+                calls.push({
+                    out: rv, op: 'cad.place', source: name, inputs: [cur],
+                    params: { rotation: [...pl.q], position: [...pl.p] },
+                });
                 // the object's variable is now the fully placed result
-                variables.set(name, cur);
+                variables.set(name, rv);
             }
             // M9.4 (D-C): fold the feature into its Body's chain — AFTER the placement
             // step so the chain accumulates the PLACED feature shape. Pocket/Cut
@@ -234,6 +290,14 @@ shapeCarriers) {
                 // (bbox already exact at delta 0).
                 if (prev) {
                     for (const c of verdict.calls) {
+                        // H7 (hole_puzzle corpus): the Pocket had NO BaseFeature property —
+                        // the translator emitted BODY_CHAIN_BASE as the subtract's base
+                        // input; retarget it at the chain head here (after the earlier
+                        // inputs remap, which leaves the marker untouched since it is not
+                        // a variable name).
+                        if (c.inputs) {
+                            c.inputs = c.inputs.map((i) => (i === BODY_CHAIN_BASE ? prev : i));
+                        }
                         if (c.op === 'cad.extrude' && c.params.baseFeature !== undefined) {
                             // GOTCHA (PadTest V6 residual): the up-to extrude builds its
                             // prism in the SKETCH-LOCAL frame, but the chain head (prev)
@@ -244,25 +308,24 @@ shapeCarriers) {
                             // AddShape 48199 vs rebuilt deficit ~9108 mm^3 → 3.2% total).
                             const needsInverse = pl !== undefined && !isIdentityPlacement(pl);
                             if (needsInverse && pl) {
+                                // 逆向刚性放置（单点发射，方案 §4.7）：rotation 取共轭四元数、
+                                // position 取 invertApplyPlacement(pl, 0) = -(invQ·p)，合成为
+                                // 一个 cad.place，避免 euler 往返。语义 = invertApplyPlacement(pl, prev)。
                                 const invQ = [
                                     -pl.q[0], -pl.q[1], -pl.q[2], pl.q[3],
                                 ];
-                                const invEuler = quatToEulerXYZDeg(invQ);
-                                const tv = newVar();
-                                const tvCall = {
-                                    out: tv, op: 'cad.translate', source: name,
-                                    inputs: [prev], params: { offset: [-pl.p[0], -pl.p[1], -pl.p[2]] },
-                                };
+                                const invPos = invertApplyPlacement(pl, [0, 0, 0]);
                                 const rv = newVar();
                                 const rvCall = {
-                                    out: rv, op: 'cad.rotate_euler', source: name,
-                                    inputs: [tv], params: { anglesDeg: invEuler },
+                                    out: rv, op: 'cad.place', source: name,
+                                    inputs: [prev],
+                                    params: { rotation: invQ, position: invPos },
                                 };
                                 // insert BEFORE the extrude call: faijs is a statement
                                 // language — `baseFeature: partN` referencing a later
                                 // statement is E_REFERENCE (parser rejects forward refs).
                                 const at = calls.indexOf(c);
-                                calls.splice(at < 0 ? calls.length : at, 0, tvCall, rvCall);
+                                calls.splice(at < 0 ? calls.length : at, 0, rvCall);
                                 c.params.baseFeature = jsExpr(rv);
                             }
                             else {
@@ -292,6 +355,14 @@ shapeCarriers) {
                     chainVar.set(body, nv);
                 }
             }
+            // H7 guard (motor_mount_inch corpus): a feature outside a Body (or with
+            // no chain head yet) never gets its BODY_CHAIN_BASE retargeted — the
+            // marker would leak into the generated JS as an illegal identifier
+            // (parser kills the whole file). Downgrade to an explicit gap instead.
+            if (verdict.calls.some((c) => c.inputs?.includes(BODY_CHAIN_BASE))) {
+                results.push({ name, type: obj.type, calls: [], disposition: 'baked', reason: 'pocket-missing-dependency' });
+                continue;
+            }
             results.push({ name, type: obj.type, variable: verdict.calls.at(-1)?.out, calls: verdict.calls, disposition: 'translated', reason: verdict.reason });
         }
         else if (verdict.kind === 'baked') {
@@ -311,7 +382,7 @@ shapeCarriers) {
     // (including the chain union/subtract calls emitted for it) go to
     // model/<BodyName>.fai.js; everything else (loose Part features) stays in
     // main.fai.js. When no Body has geometry, everything lands in main (the
-    // single-file shape). Aggregate entry groups per-file roots via cad.group.
+    // single-file shape). Aggregate entry compounds per-file roots via cad.compound.
     const callBody = new Map();
     for (const r of results) {
         const b = memberToBody.get(r.name);
@@ -339,20 +410,49 @@ shapeCarriers) {
         // further down (`let` TDZ ReferenceError at run time: `part8` used `part6`).
         // Filtering `calls` in place preserves the topological order.
         const assigned = new Map(); // call.out → Body file name
+        // chain-head var → terminal alias (and owning Body) — needed DURING
+        // routing: a foreign chain head is never in `assigned` (it is a Body's
+        // accumulated var, not a call output), so input-body checks must consult
+        // this map to detect cross-Body references.
+        const headToTerminal = new Map();
+        const headToBody = new Map();
+        for (const b of bodiesWithGeo) {
+            headToTerminal.set(chainVar.get(b), `${b}_out`);
+            headToBody.set(chainVar.get(b), b);
+        }
+        const mainPending = [];
+        const mainOuts = new Set();
         for (const c of calls) {
             const own = callBody.get(c.out);
-            const viaInput = c.inputs.map((inp) => assigned.get(inp)).find((b) => b !== undefined);
+            const inputBodies = c.inputs.map((inp) => assigned.get(inp) ?? headToBody.get(inp)).filter((b) => b !== undefined);
+            const viaInput = inputBodies[0];
             const b = own !== undefined && bodiesWithGeo.has(own) ? own : viaInput;
-            if (b !== undefined && bodiesWithGeo.has(b)) {
+            // GOTCHA (test_geomop corpus, 2026-09-20): a call whose own Body
+            // differs from an input's Body (Part::Cut with Base in another Body's
+            // chain) must NOT be emitted into its own Body file — the input
+            // variable lives in ANOTHER module and is not declared there
+            // (SEC_FREE_IDENT at check time). Same for inputs that will live in
+            // MAIN (loose Part boxes): routing is a forward pass over the
+            // topologically sorted calls, so main outputs are already known.
+            // NOTE: Body-chain fold calls (union/subtract emitted during folding)
+            // are NOT in `results`, so `own` is undefined for them — the main-input
+            // check must not depend on `own`.
+            const mixed = inputBodies.some((ib) => ib !== b) || (own !== undefined && viaInput !== undefined && viaInput !== own);
+            const touchesMain = c.inputs.some((i) => mainOuts.has(i));
+            if (b !== undefined && bodiesWithGeo.has(b) && !mixed && !touchesMain && (own === undefined || own === b)) {
                 if (!perBody.has(b))
                     perBody.set(b, []);
                 perBody.get(b).push(c);
                 assigned.set(c.out, b);
             }
             else {
-                mainCalls.push(c);
+                mainPending.push(c);
+                mainOuts.add(c.out);
             }
         }
+        for (const c of mainPending) {
+            mainCalls.push({ ...c, inputs: c.inputs.map((i) => headToTerminal.get(i) ?? i) });
+        }
         for (const b of bodiesWithGeo) {
             const bodyCalls = perBody.get(b) ?? [];
             // terminal: alias the chain head to <Body>_out so the aggregate entry
@@ -364,7 +464,7 @@ shapeCarriers) {
             ];
             files.push({ path: `model/${b}.fai.js`, code: lowerBody(withTerminal, `${baseName}/${b}`, b), body: b });
         }
-        // main.fai.js: aggregate the per-Body terminals via cad.group. M10c:
+        // main.fai.js: aggregate the per-Body terminals via cad.compound. M10c:
         // cross-file references close through the standard relative-import
         // contract (module-registry D6) — each Body module's terminal alias
         // `<Body>_out` is its live shape, so a named import binds it.
@@ -373,7 +473,7 @@ shapeCarriers) {
         lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);
         const members = [...bodiesWithGeo].map((b) => `${b}_out`);
         // Always import the per-Body terminals: the aggregate entry references
-        // `<Body>_out` in BOTH the cad.group (multi-Body) and the single-Body alias
+        // `<Body>_out` in BOTH the cad.compound (multi-Body) and the single-Body alias
         // path, so a missing import is a SEC_FREE_IDENT parse error (GOTCHA: the
         // single-Body branch previously emitted `let part_out = <Body>_out;` with
         // no import). `mainCalls` may still be empty here.
@@ -388,7 +488,7 @@ shapeCarriers) {
         }
         if (members.length > 1) {
             rootVar = 'part_out';
-            lines.push(`let part_out = cad.group({ members: [${members.join(', ')}] });`);
+            lines.push(`let part_out = cad.compound({ members: [${members.join(', ')}] });`);
         }
         else if (members.length === 1) {
             // single Body: the imported terminal IS the result — alias keeps a
@@ -437,7 +537,7 @@ function lower(calls, baseName) {
     const consumed = new Set(calls.flatMap((c) => c.inputs));
     const roots = calls.filter((c) => !consumed.has(c.out)).map((c) => c.out);
     if (roots.length > 1) {
-        lines.push(`let part_out = cad.group({ members: [${roots.join(', ')}] });`);
+        lines.push(`let part_out = cad.compound({ members: [${roots.join(', ')}] });`);
     }
     else if (roots.length === 0) {
         lines.push(`// no translated geometry (all baked)`);
@@ -478,13 +578,22 @@ function containsJsExpr(v) {
 }
 function renderArgs(call) {
     const positional = [
-        ...call.inputs.map((i) => i),
+        ...(call.noPositionalArgs ? [] : call.inputs.map((i) => i)),
         ...(call.literals ?? []).map((l) => renderValue(l)),
     ].filter((s) => s.length > 0); // M7.1: drop empty entries so we never emit `(, `
     const named = [];
     for (const [k, v] of Object.entries(call.params ?? {})) {
         if (v === undefined)
             continue;
+        // GOTCHA (ArchDetail s444, 2026-09-21): `cad.compound`'s `members` are
+        // LEXICAL VARIABLE NAMES, not data strings — render them bare, like
+        // positional inputs. renderValue would quote them and the op would
+        // receive strings with no BREP handle
+        // ("compound members are not all on the BREP chain").
+        if (k === 'members' && Array.isArray(v)) {
+            named.push(`members: [${v.join(', ')}]`);
+            continue;
+        }
         named.push(`${k}: ${renderValue(v)}`);
     }
     const namedBlock = named.length ? `{ ${named.join(', ')} }` : '';

package/dist/fcstd/codegen.js.map

@@ -1 +1 @@
-{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/fcstd/codegen.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAE3E,OAAO,EAAkB,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAuCxF,uDAAuD;AACvD,SAAS,MAAM,CAAC,GAAqC;IACnD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAC1E,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,GAAqC;IAC7D,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAkB,EAClB,aAA8F,EAC9F,cAAsC,EACtC,QAAgB;AAChB,2EAA2E;AAC3E,UAAmC;AACnC,wFAAwF;AACxF,aAAmC;IAEnC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,2CAA2C;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAC9C,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG;QACrB,GAAG,QAAQ;QACX,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;KACvE,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,OAAO,QAAQ,EAAE,CAAC;QAChB,QAAQ,GAAG,KAAK,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,OAAO,WAAW,EAAE,EAAE,CAAC;IAEpD,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,mEAAmE;IACnE,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAC9C,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,8BAA8B;IAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QAErB,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,MAAM,GACV,CAAC,CAAC,OAAO;gBACT,OAAO,CAAC,KAAK,KAAK,IAAI;gBACtB,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC5B,CAAC,CAAC,QAAQ;gBACV,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YACtB,IAAI,MAAM,EAAE,CAAC;gBACX,iEAAiE;gBACjE,mEAAmE;gBACnE,yCAAyC;gBACzC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;gBACnB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACvB,MAAM,UAAU,GAAY;oBAC1B,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE;iBACzE,CAAC;gBACF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,YAAY;oBACjF,MAAM,EAAE,OAAO;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO;oBACrD,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,OAAO;iBACpG,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YAClG,SAAS;QACX,CAAC;QAED,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzC,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAClC,uCAAuC;YACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;gBACnB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3B,oEAAoE;gBACpE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YACD,wEAAwE;YACxE,sEAAsE;YACtE,wEAAwE;YACxE,sEAAsE;YACtE,WAAW;YACX,wEAAwE;YACxE,yEAAyE;YACzE,0DAA0D;YAC1D,yEAAyE;YACzE,wEAAwE;YACxE,qEAAqE;YACrE,uEAAuE;YACvE,0EAA0E;YAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAC1C,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;YAClF,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3F,IAAI,OAAO,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9C,IAAI,GAAG,GAAG,OAAO,CAAC;gBAClB,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACtC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gBACvG,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,2CAA2C;oBACnE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC3G,GAAG,GAAG,EAAE,CAAC;gBACX,CAAC;gBACD,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gBACxG,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACzG,GAAG,GAAG,EAAE,CAAC;gBACX,CAAC;gBACD,uDAAuD;gBACvD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YACD,2EAA2E;YAC3E,qEAAqE;YACrE,qEAAqE;YACrE,qEAAqE;YACrE,0EAA0E;YAC1E,wEAAwE;YACxE,2EAA2E;YAC3E,yEAAyE;YACzE,mEAAmE;YACnE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,aAAa,GAAG,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC;YACpF,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChC,0EAA0E;gBAC1E,uEAAuE;gBACvE,wEAAwE;gBACxE,uEAAuE;gBACvE,sEAAsE;gBACtE,mCAAmC;gBACnC,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;wBAC9B,IAAI,CAAC,CAAC,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;4BACjE,6DAA6D;4BAC7D,6DAA6D;4BAC7D,gEAAgE;4BAChE,2DAA2D;4BAC3D,gEAAgE;4BAChE,8DAA8D;4BAC9D,8DAA8D;4BAC9D,MAAM,YAAY,GAChB,EAAE,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;4BAC/C,IAAI,YAAY,IAAI,EAAE,EAAE,CAAC;gCACvB,MAAM,IAAI,GAAqC;oCAC7C,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE;iCAC1C,CAAC;gCACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;gCACzC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;gCACpB,MAAM,MAAM,GAAY;oCACtB,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,IAAI;oCAC1C,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;iCACtE,CAAC;gCACF,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;gCACpB,MAAM,MAAM,GAAY;oCACtB,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE,IAAI;oCAC7C,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE;iCAC9C,CAAC;gCACF,uDAAuD;gCACvD,sDAAsD;gCACtD,0DAA0D;gCAC1D,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gCAC5B,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gCAC5D,CAAC,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;4BACpC,CAAC;iCAAM,CAAC;gCACN,CAAC,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;4BACtC,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC;gBACpE,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,eAAe;gBACjD,CAAC;qBAAM,IAAI,aAAa,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,KAAK,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvH,mEAAmE;oBACnE,gEAAgE;oBAChE,oCAAoC;oBACpC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACjC,CAAC;qBAAM,IAAI,aAAa,EAAE,CAAC;oBACzB,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;oBAClG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;oBAC/F,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACvJ,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAClG,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,kEAAkE;IAClE,0EAA0E;IAC1E,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC/C,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,IAAI,IAAY,CAAC;IACjB,IAAI,OAA2B,CAAC;IAChC,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAc,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC7C,uEAAuE;QACvE,2EAA2E;QAC3E,4EAA4E;QAC5E,wEAAwE;QACxE,mEAAmE;QACnE,0EAA0E;QAC1E,6EAA6E;QAC7E,8DAA8D;QAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,4BAA4B;QACxE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YACvF,MAAM,CAAC,GAAG,GAAG,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvE,IAAI,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvC,sEAAsE;YACtE,kEAAkE;YAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YAC9B,MAAM,YAAY,GAAG;gBACnB,GAAG,SAAS;gBACZ,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAa;aACtF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,YAAY,EAAE,GAAG,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,qEAAqE;QACrE,mEAAmE;QACnE,oEAAoE;QACpE,8DAA8D;QAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,oBAAoB,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1D,uEAAuE;QACvE,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,mDAAmD;QACnD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,GAAG,UAAU,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,wCAAwC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChF,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,mEAAmE;YACnE,iCAAiC;YACjC,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,4BAA4B,CAAC,CAAC;YAClE,OAAO,GAAG,UAAU,CAAC;QACvB,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED;oEACoE;AACpE,SAAS,SAAS,CAAC,KAAgB,EAAE,KAAa,EAAE,IAAY;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,KAAK,EAAE,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;YAC3B,mDAAmD;YACnD,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;wEACwE;AACxE,SAAS,KAAK,CAAC,KAAgB,EAAE,QAAgB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,kBAAkB;QACrD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,IAAI,IAAI,SAAS,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,wCAAwC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9E,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAClE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpF,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,wEAAwE;AACxE,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAA4B,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACxG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,UAAU,GAAa;QAC3B,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;KACpD,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kDAAkD;IACjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;AAC3C,CAAC","sourcesContent":["/**\n * M5 — code generation: object graph + M4 call plans → model/*.fai.js.\n *\n * M5.1 topological order: Body.Group order wins where present; otherwise\n * PropertyLink dependency order. Cycles / missing deps → baked (no fallback\n * heuristics — explicit downgrade per plan §12).\n * M5.2 lowering: params → JS constants; calls → `const partN = await cad.x(...)`;\n * statement ids sN. Sketch contours enter as blueprint literals.\n */\nimport type { FcstdDocument } from './document.js';\nimport type { CadCall, TranslateVerdict } from './feature-translate.js';\nimport { translateObject, isJsExpr, jsExpr } from './feature-translate.js';\nimport type { Contour } from './contour.js';\nimport { type Placement, isIdentityPlacement, quatToEulerXYZDeg } from './placement.js';\n\n/** Per-object codegen outcome: what was emitted for one FCStd object. */\nexport interface GenObjectResult {\n  /** FCStd object name */\n  name: string;\n  /** FCStd type id */\n  type: string;\n  /** variable name bound in generated code (partN) or undefined when baked */\n  variable?: string;\n  calls: CadCall[];\n  disposition: 'translated' | 'baked' | 'preserved-only';\n  reason?: string;\n  /** M3 sketch verdict when the object is a sketch */\n  sketch?: { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number };\n}\n\n/** Full codegen output: lowered calls, per-object ledger and generated script(s). */\nexport interface GenResult {\n  /** ordered translated calls (dependency order) */\n  calls: CadCall[];\n  objects: GenObjectResult[];\n  /** generated .fai.js source (single-file mode or the main/aggregate script) */\n  code: string;\n  /** M10.3: multi-file mode — one script per Body with translated geometry.\n   * Empty in single-file mode. Paths are container-relative (model/<Name>.fai.js). */\n  files: { path: string; code: string; body: string }[];\n  /** M10.3: variable in main.fai.js holding the grouped result (multi-file mode) */\n  rootVar?: string;\n}\n\ninterface Node {\n  name: string;\n  obj: ReturnType<FcstdDocument['objects'][number]['properties']['get']> extends never ? never : FcstdDocument['objects'][number];\n  deps: Set<string>;\n  verdict?: TranslateVerdict;\n  variable?: string;\n}\n\n/** Extract link dependencies relevant for ordering. */\nfunction depsOf(obj: FcstdDocument['objects'][number]): string[] {\n  const out: string[] = [];\n  const linkProps = ['Base', 'Tool', 'Profile', 'BaseFeature', 'Originals'];\n  for (const p of linkProps) {\n    const el = obj.properties.get(p)?.children[0];\n    const v = el?.attributes['value'];\n    if (v) out.push(v);\n  }\n  const shapes = obj.properties.get('Shapes')?.children[0];\n  if (shapes) {\n    for (const link of shapes.children) {\n      const v = link.attributes['value'];\n      if (v) out.push(v);\n    }\n  }\n  return out;\n}\n\n/**\n * GOTCHA (PadTest V6 failure): a `PartDesign::Body`'s feature list lives in\n * DIFFERENT properties depending on the FreeCAD version —\n *   - modern (0.19+): `Model` (App::PropertyLinkList), ordered\n *   - legacy: `Group` (App::PropertyLinkList)\n * The Tip is `Body.Tip`. Reading only `Group` on a modern document yields an\n * empty list → no same-Body chaining → features degrade to a loose\n * `cad.group` of overlapping siblings (PadTest rebuilt volume ≈ 5.2× the Tip's,\n * bboxDiag ≈ 2×). Prefer `Model`, fall back to `Group`.\n */\nfunction bodyFeatureNames(obj: FcstdDocument['objects'][number]): string[] {\n  for (const prop of ['Model', 'Group']) {\n    const list = obj.properties.get(prop)?.children[0];\n    if (!list) continue;\n    const names: string[] = [];\n    for (const link of list.children) {\n      const v = link.attributes['value'];\n      if (v) names.push(v);\n    }\n    if (names.length > 0) return names;\n  }\n  return [];\n}\n\n/**\n * M5.1/M5.2 — translate every object in dependency order and lower to JS.\n * `sketchVerdict` supplies the M3 outcome per sketch object name; sketches\n * whose contour feeds a Pad/Pocket appear as inputs.\n *\n * @param doc parsed FCStd object graph to translate\n * @param sketchVerdict per-sketch M3 verdict keyed by object name\n * @param sketchContours solved contours per L0 sketch, keyed by object name\n * @param baseName source base name used in generated file headers/labels\n * @param placements per-object Placement used to re-orient placed geometry; missing → identity\n * @returns the lowered call plan, per-object dispositions and generated code\n */\nexport function generateModel(\n  doc: FcstdDocument,\n  sketchVerdict: Map<string, { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number }>,\n  sketchContours: Map<string, Contour[]>,\n  baseName: string,\n  /** M8.3: per-object Placement (sketches + features); missing → identity */\n  placements?: Map<string, Placement>,\n  /** H7: objects whose Shape is a ZIP .brp member (pure-Shape carriers → shape-asset). */\n  shapeCarriers?: ReadonlySet<string>,\n): GenResult {\n  const byName = new Map(doc.objects.map((o) => [o.name, o]));\n  const nodes = new Map<string, Node>();\n  for (const obj of doc.objects) {\n    nodes.set(obj.name, { name: obj.name, obj, deps: new Set(depsOf(obj)) });\n  }\n\n  // Kahn topological sort; objects with unbuilt deps fall back to insertion\n  // order iteration until progress stalls (remaining are baked with reason).\n  // M10.1: iteration order is Body.Group sequence FIRST (features of a Body\n  // process in Group order so the D-C chain follows PartDesign semantics),\n  // then leftover objects in document order.\n  const groupSeq: string[] = [];\n  for (const obj of doc.objects) {\n    if (obj.type !== 'PartDesign::Body') continue;\n    for (const m of bodyFeatureNames(obj)) {\n      if (byName.has(m) && !groupSeq.includes(m)) groupSeq.push(m);\n    }\n  }\n  const iterationOrder = [\n    ...groupSeq,\n    ...doc.objects.map((o) => o.name).filter((n) => !groupSeq.includes(n)),\n  ];\n  const order: string[] = [];\n  const built = new Set<string>();\n  let progress = true;\n  while (progress) {\n    progress = false;\n    for (const name of iterationOrder) {\n      const node = nodes.get(name)!;\n      if (built.has(node.name)) continue;\n      if ([...node.deps].every((d) => built.has(d) || !byName.has(d))) {\n        built.add(node.name);\n        order.push(node.name);\n        progress = true;\n      }\n    }\n  }\n\n  const variables = new Map<string, string>();\n  const results: GenObjectResult[] = [];\n  const calls: CadCall[] = [];\n  let partCounter = 0;\n  const newVar = (): string => `part${partCounter++}`;\n\n  // D-C (M9.4): same-Body features fuse cumulatively in Body.Group order —\n  // the first translated feature is the base, every later additive feature\n  // (Pad/…) unions with the chain, every subtractive one (Pocket/Cut)\n  // subtracts. cad.group is NOT used inside a Body (that is assembly\n  // semantics); cross-Body grouping stays in lower()'s root handling (M10).\n  const memberToBody = new Map<string, string>();\n  for (const obj of doc.objects) {\n    if (obj.type !== 'PartDesign::Body') continue;\n    for (const m of bodyFeatureNames(obj)) {\n      if (!memberToBody.has(m)) memberToBody.set(m, obj.name);\n    }\n  }\n  const chainVar = new Map<string, string>(); // body name → accumulated var\n\n  for (const name of order) {\n    const node = nodes.get(name)!;\n    const obj = node.obj;\n\n    if (obj.type === 'Sketcher::SketchObject') {\n      const verdict = sketchVerdict.get(name);\n      const contours = sketchContours.get(name);\n      const usable =\n        !!verdict &&\n        verdict.level !== 'L2' &&\n        (verdict.loopCount ?? 0) > 0 &&\n        !!contours &&\n        contours.length > 0;\n      if (usable) {\n        // M6 wiring: emit a real `cad.sketch({contours})` creator so the\n        // solved contour becomes a face variable the Pad/Pocket/Extrusion/\n        // Revolution features below can consume.\n        const v = newVar();\n        variables.set(name, v);\n        const sketchCall: CadCall = {\n          out: v, op: 'cad.sketch', source: name, inputs: [], params: { contours },\n        };\n        calls.push(sketchCall);\n        results.push({\n          name, type: obj.type, variable: v, calls: [sketchCall], disposition: 'translated',\n          sketch: verdict,\n        });\n      } else {\n        results.push({\n          name, type: obj.type, calls: [], disposition: 'baked',\n          reason: verdict?.reason ?? (contours ? 'sketch-not-solved' : 'sketch-no-contours'), sketch: verdict,\n        });\n      }\n      continue;\n    }\n\n    if (obj.type === 'App::Origin' || obj.type === 'App::Plane' || obj.type === 'App::Line') {\n      results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: 'datum' });\n      continue;\n    }\n\n    // Sketches are now real face variables (see the Sketcher::SketchObject\n    // branch above), so every dependency that resolves to one flows through.\n    const verdict = translateObject(obj, (dep) => {\n      const v = variables.get(dep);\n      return v !== undefined ? v : undefined;\n    }, doc.objects, shapeCarriers);\n    node.verdict = verdict;\n    if (verdict.kind === 'translated') {\n      // rename output vars to partN sequence\n      for (const call of verdict.calls) {\n        const v = newVar();\n        variables.set(call.out, v);\n        // remap inputs that were intermediate (Pocket_cut) or named outputs\n        call.inputs = call.inputs.map((i) => variables.get(i) ?? i);\n        call.out = v;\n        calls.push(call);\n      }\n      // M8.3: features build in sketch-local coordinates (cad.sketch lays the\n      // face on local XY; extrude runs along local +Z). Re-orient the final\n      // solid by the PROFILE SKETCH's Placement: rotate_euler then translate,\n      // so the result lands where FreeCAD puts it. Identity placements emit\n      // nothing.\n      // GOTCHA (PadTest V6, relErr 3.20%): a PartDesign feature's geometry is\n      // built in the SKETCH frame, but FreeCAD may store a DIFFERENT Placement\n      // on the feature object itself (Pad001: sketch P=(10,0,0)\n      // Q=(0,.7071,0,.7071) vs feature P=0 Q=(0,.7071,.7071,0)) — re-orienting\n      // by the feature's own frame drops the sketch origin offset and rotates\n      // the extrude axis into the wrong direction (−3.20% volume, centroid\n      // off 1.67). The sketch's Placement is the authoritative frame for the\n      // built geometry; fall back to the feature's own for sketchless features.\n      const lastVar = verdict.calls.at(-1)?.out;\n      const sketchLink = obj.properties.get('Sketch')?.children[0]?.attributes['value'];\n      const pl = (sketchLink ? placements?.get(sketchLink) : undefined) ?? placements?.get(name);\n      if (lastVar && pl && !isIdentityPlacement(pl)) {\n        let cur = lastVar;\n        const euler = quatToEulerXYZDeg(pl.q);\n        const isRotation = Math.abs(euler[0]) > 1e-9 || Math.abs(euler[1]) > 1e-9 || Math.abs(euler[2]) > 1e-9;\n        if (isRotation) {\n          const rv = newVar();\n          variables.set(cur, rv); // map old name → rotated var for consumers\n          calls.push({ out: rv, op: 'cad.rotate_euler', source: name, inputs: [cur], params: { anglesDeg: euler } });\n          cur = rv;\n        }\n        const needsTranslate = Math.abs(pl.p[0]) > 1e-9 || Math.abs(pl.p[1]) > 1e-9 || Math.abs(pl.p[2]) > 1e-9;\n        if (needsTranslate) {\n          const tv = newVar();\n          variables.set(cur, tv);\n          calls.push({ out: tv, op: 'cad.translate', source: name, inputs: [cur], params: { offset: [...pl.p] } });\n          cur = tv;\n        }\n        // the object's variable is now the fully placed result\n        variables.set(name, cur);\n      }\n      // M9.4 (D-C): fold the feature into its Body's chain — AFTER the placement\n      // step so the chain accumulates the PLACED feature shape. Pocket/Cut\n      // subtract from the chain; everything else unions onto it. The first\n      // feature in the Body's feature list (Model/Group) order becomes the\n      // chain base — no cad.group inside a Body; consumers (M10) read chainVar.\n      // GOTCHA (PadTest V6): folding the UNPLACED feature var (the old order)\n      // left the chain head in sketch-local space while each feature's Placement\n      // was applied to a separate, unused variable → the exported body spanned\n      // both the local and the placed copies (~2× bboxDiag, ~5× volume).\n      const body = memberToBody.get(name);\n      const isSubtractive = obj.type === 'PartDesign::Pocket' || obj.type === 'Part::Cut';\n      if (body) {\n        const prev = chainVar.get(body);\n        // UpToLast/UpToFirst: FreeCAD's \"up to\" support is the Body's ACCUMULATED\n        // shape, NOT only the immediate BaseFeature link — retarget the kernel\n        // ref at the chain head (prev). GOTCHA (PadTest V6): truncating against\n        // the immediate BaseFeature (a small Pad001 disc) left an 8.06% volume\n        // deficit vs the Tip; against the accumulated chain it drops to 3.20%\n        // (bbox already exact at delta 0).\n        if (prev) {\n          for (const c of verdict.calls) {\n            if (c.op === 'cad.extrude' && c.params.baseFeature !== undefined) {\n              // GOTCHA (PadTest V6 residual): the up-to extrude builds its\n              // prism in the SKETCH-LOCAL frame, but the chain head (prev)\n              // lives in the PLACED (global) frame. FreeCAD's boolean runs in\n              // one frame — so transform prev back into the sketch frame\n              // first: local = R^-1(global - p). Feeding the placed chain var\n              // directly silently truncates at the wrong face (Pad002 truth\n              // AddShape 48199 vs rebuilt deficit ~9108 mm^3 → 3.2% total).\n              const needsInverse =\n                pl !== undefined && !isIdentityPlacement(pl);\n              if (needsInverse && pl) {\n                const invQ: [number, number, number, number] = [\n                  -pl.q[0]!, -pl.q[1]!, -pl.q[2]!, pl.q[3]!,\n                ];\n                const invEuler = quatToEulerXYZDeg(invQ);\n                const tv = newVar();\n                const tvCall: CadCall = {\n                  out: tv, op: 'cad.translate', source: name,\n                  inputs: [prev], params: { offset: [-pl.p[0]!, -pl.p[1]!, -pl.p[2]!] },\n                };\n                const rv = newVar();\n                const rvCall: CadCall = {\n                  out: rv, op: 'cad.rotate_euler', source: name,\n                  inputs: [tv], params: { anglesDeg: invEuler },\n                };\n                // insert BEFORE the extrude call: faijs is a statement\n                // language — `baseFeature: partN` referencing a later\n                // statement is E_REFERENCE (parser rejects forward refs).\n                const at = calls.indexOf(c);\n                calls.splice(at < 0 ? calls.length : at, 0, tvCall, rvCall);\n                c.params.baseFeature = jsExpr(rv);\n              } else {\n                c.params.baseFeature = jsExpr(prev);\n              }\n            }\n          }\n        }\n        const featureVar = variables.get(name) ?? verdict.calls.at(-1)!.out;\n        if (!prev) {\n          chainVar.set(body, featureVar); // base feature\n        } else if (isSubtractive && verdict.calls.at(-1)!.op === 'cad.subtract' && verdict.calls.at(-1)!.inputs.includes(prev)) {\n          // Pocket already subtracted from the chain var itself (BaseFeature\n          // resolved to the chain) — its output IS the new chain head; no\n          // extra subtract (would cut twice).\n          chainVar.set(body, featureVar);\n        } else if (isSubtractive) {\n          const nv = newVar();\n          calls.push({ out: nv, op: 'cad.subtract', source: name, inputs: [prev, featureVar], params: {} });\n          chainVar.set(body, nv);\n        } else {\n          const nv = newVar();\n          calls.push({ out: nv, op: 'cad.union', source: name, inputs: [prev, featureVar], params: {} });\n          chainVar.set(body, nv);\n        }\n      }\n      results.push({ name, type: obj.type, variable: verdict.calls.at(-1)?.out, calls: verdict.calls, disposition: 'translated', reason: verdict.reason });\n    } else if (verdict.kind === 'baked') {\n      results.push({ name, type: obj.type, calls: [], disposition: 'baked', reason: verdict.reason });\n    } else {\n      results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: verdict.reason });\n    }\n  }\n\n  // also mark unreachable (cycle) objects as baked\n  for (const obj of doc.objects) {\n    if (!results.some((r) => r.name === obj.name)) {\n      results.push({ name: obj.name, type: obj.type, calls: [], disposition: 'baked', reason: 'dependency-cycle' });\n    }\n  }\n\n  // M10.3/M10.5 — split by Body: calls whose source object belongs to a Body\n  // (including the chain union/subtract calls emitted for it) go to\n  // model/<BodyName>.fai.js; everything else (loose Part features) stays in\n  // main.fai.js. When no Body has geometry, everything lands in main (the\n  // single-file shape). Aggregate entry groups per-file roots via cad.group.\n  const callBody = new Map<string, string>();\n  for (const r of results) {\n    const b = memberToBody.get(r.name);\n    if (b) for (const c of r.calls) callBody.set(c.out, b);\n  }\n  const bodiesWithGeo = new Set<string>();\n  for (const b of new Set(memberToBody.values())) {\n    if (chainVar.has(b)) bodiesWithGeo.add(b);\n  }\n  const files: GenResult['files'] = [];\n  let code: string;\n  let rootVar: string | undefined;\n  if (bodiesWithGeo.size > 0) {\n    const mainCalls: CadCall[] = [];\n    const perBody = new Map<string, CadCall[]>();\n    // M10c partition in DEPENDENCY ORDER: `calls` is already topologically\n    // sorted, so ONE forward pass assigns each call — to its own source's Body\n    // when known (`callBody`), else to the Body its first body-owned input went\n    // to. GOTCHA (PadTest V6): the previous implementation re-assigned such\n    // calls by APPENDING them to the end of the Body file, which broke\n    // dependency order — a Body file ended up referencing a variable declared\n    // further down (`let` TDZ ReferenceError at run time: `part8` used `part6`).\n    // Filtering `calls` in place preserves the topological order.\n    const assigned = new Map<string, string>(); // call.out → Body file name\n    for (const c of calls) {\n      const own = callBody.get(c.out);\n      const viaInput = c.inputs.map((inp) => assigned.get(inp)).find((b) => b !== undefined);\n      const b = own !== undefined && bodiesWithGeo.has(own) ? own : viaInput;\n      if (b !== undefined && bodiesWithGeo.has(b)) {\n        if (!perBody.has(b)) perBody.set(b, []);\n        perBody.get(b)!.push(c);\n        assigned.set(c.out, b);\n      } else {\n        mainCalls.push(c);\n      }\n    }\n    for (const b of bodiesWithGeo) {\n      const bodyCalls = perBody.get(b) ?? [];\n      // terminal: alias the chain head to <Body>_out so the aggregate entry\n      // has a stable, name-independent reference to each Body's result.\n      const head = chainVar.get(b)!;\n      const withTerminal = [\n        ...bodyCalls,\n        { out: `${b}_out`, op: 'identity', source: b, inputs: [head], params: {} } as CadCall,\n      ];\n      files.push({ path: `model/${b}.fai.js`, code: lowerBody(withTerminal, `${baseName}/${b}`, b), body: b });\n    }\n    // main.fai.js: aggregate the per-Body terminals via cad.group. M10c:\n    // cross-file references close through the standard relative-import\n    // contract (module-registry D6) — each Body module's terminal alias\n    // `<Body>_out` is its live shape, so a named import binds it.\n    const lines: string[] = [];\n    lines.push(`// Generated by faijs FCStd port — ${baseName} (aggregate entry)`);\n    lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n    const members = [...bodiesWithGeo].map((b) => `${b}_out`);\n    // Always import the per-Body terminals: the aggregate entry references\n    // `<Body>_out` in BOTH the cad.group (multi-Body) and the single-Body alias\n    // path, so a missing import is a SEC_FREE_IDENT parse error (GOTCHA: the\n    // single-Body branch previously emitted `let part_out = <Body>_out;` with\n    // no import). `mainCalls` may still be empty here.\n    if (members.length >= 1) {\n      for (const b of bodiesWithGeo) {\n        lines.push(`import { ${b}_out } from './${b}.fai.js'; // module ${b}`);\n      }\n    }\n    for (const c of mainCalls) {\n      const id = `s${lines.length - 2}`;\n      lines.push(`let ${c.out} = ${c.op}(${renderArgs(c)}); // ${id} ${c.source}`);\n    }\n    if (members.length > 1) {\n      rootVar = 'part_out';\n      lines.push(`let part_out = cad.group({ members: [${members.join(', ')}] });`);\n    } else if (members.length === 1) {\n      // single Body: the imported terminal IS the result — alias keeps a\n      // stable root name for executors\n      rootVar = members[0];\n      lines.push(`let part_out = ${rootVar}; // single-Body aggregate`);\n      rootVar = 'part_out';\n    }\n    code = lines.join('\\n') + '\\n';\n  } else {\n    code = lower(calls, baseName);\n  }\n  return { calls, objects: results, code, files, rootVar };\n}\n\n/** M10.3 — lower one Body's calls; the last entry is the terminal alias\n * `<Body>_out` (plain JS assignment — faijs has no identity op). */\nfunction lowerBody(calls: CadCall[], label: string, body: string): string {\n  const lines: string[] = [];\n  lines.push(`// Generated by faijs FCStd port — ${label}`);\n  lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n  for (const call of calls) {\n    if (call.op === 'identity') {\n      // terminal alias: `let <Body>_out = <chain head>;`\n      lines.push(`let ${call.out} = ${call.inputs[0]}; // s? ${body} terminal`);\n      continue;\n    }\n    const id = `s${lines.length - 2}`;\n    lines.push(`let ${call.out} = ${call.op}(${renderArgs(call)}); // ${id} ${call.source}`);\n  }\n  return lines.join('\\n') + '\\n';\n}\n\n/** M5.2 — lower the call plan to .fai.js source. faijs syntax: top-level\n * statement flow with `let partN = cad.x(...)`; no wrapper function. */\nfunction lower(calls: CadCall[], baseName: string): string {\n  const lines: string[] = [];\n  lines.push(`// Generated by faijs FCStd port — ${baseName}`);\n  lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n  for (const call of calls) {\n    const id = `s${lines.length - 2}`; // statement id sN\n    const args = renderArgs(call);\n    lines.push(`let ${call.out} = ${call.op}(${args}); // ${id} ${call.source}`);\n  }\n  // final shape: union of root calls that nobody consumes; faijs scripts\n  // end with the output-producing statement (no return, per fixtures).\n  const consumed = new Set(calls.flatMap((c) => c.inputs));\n  const roots = calls.filter((c) => !consumed.has(c.out)).map((c) => c.out);\n  if (roots.length > 1) {\n    lines.push(`let part_out = cad.group({ members: [${roots.join(', ')}] });`);\n  } else if (roots.length === 0) {\n    lines.push(`// no translated geometry (all baked)`);\n  }\n  return lines.join('\\n') + '\\n';\n}\n\n/**\n * M5.2 — render one IR value as JS. Plain values JSON-encode (byte-identical to\n * the pre-JsExpr output); a `JsExpr` marker renders verbatim, and a container\n * holding one renders element-wise so the expression survives into the source.\n */\nfunction renderValue(v: unknown): string {\n  if (isJsExpr(v)) return v.__jsExpr;\n  if (Array.isArray(v)) {\n    if (v.some(isJsExpr)) return `[${v.map(renderValue).join(', ')}]`;\n    return JSON.stringify(v);\n  }\n  if (v && typeof v === 'object') {\n    const entries = Object.entries(v as Record<string, unknown>);\n    if (entries.some(([, val]) => containsJsExpr(val))) {\n      return `{ ${entries.map(([k, val]) => `${k}: ${renderValue(val)}`).join(', ')} }`;\n    }\n    return JSON.stringify(v);\n  }\n  return JSON.stringify(v);\n}\n\n/** True when a value is or (recursively) contains a `JsExpr` marker. */\nfunction containsJsExpr(v: unknown): boolean {\n  if (isJsExpr(v)) return true;\n  if (Array.isArray(v)) return v.some(containsJsExpr);\n  if (v && typeof v === 'object') return Object.values(v as Record<string, unknown>).some(containsJsExpr);\n  return false;\n}\n\nfunction renderArgs(call: CadCall): string {\n  const positional: string[] = [\n    ...call.inputs.map((i) => i),\n    ...(call.literals ?? []).map((l) => renderValue(l)),\n  ].filter((s) => s.length > 0); // M7.1: drop empty entries so we never emit `(, `\n  const named: string[] = [];\n  for (const [k, v] of Object.entries(call.params ?? {})) {\n    if (v === undefined) continue;\n    named.push(`${k}: ${renderValue(v)}`);\n  }\n  const namedBlock = named.length ? `{ ${named.join(', ')} }` : '';\n  // M7.1: no leading comma when there are no positional args — a call with only\n  // named params must render as `cad.sketch({ ... })`, never `cad.sketch(, {...})`.\n  const rest = namedBlock ? (positional.length ? `, ${namedBlock}` : namedBlock) : '';\n  return `${positional.join(', ')}${rest}`;\n}\n"]}
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/fcstd/codegen.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE5F,OAAO,EAAkB,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAuC1D,uDAAuD;AACvD,SAAS,MAAM,CAAC,GAAqC;IACnD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAC1E,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,8CAA8C;IAC9C,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,GAAqC;IAC7D,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAkB,EAClB,aAA8F,EAC9F,cAAsC,EACtC,QAAgB;AAChB,2EAA2E;AAC3E,UAAmC;AACnC,wFAAwF;AACxF,aAAmC;AACnC,gGAAgG;AAChG,iBAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,kEAAkE;IAClE,mEAAmE;IACnE,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,kEAAkE;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,MAAM,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACxC,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC;oBAAE,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3E,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,CAAC;QACH,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,2CAA2C;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAC9C,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG;QACrB,GAAG,QAAQ;QACX,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;KACvE,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,OAAO,QAAQ,EAAE,CAAC;QAChB,QAAQ,GAAG,KAAK,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,kBAAkB,CAAC,EAAE,CAAC;gBAC9G,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,OAAO,WAAW,EAAE,EAAE,CAAC;IAEpD,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,mEAAmE;IACnE,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAE,SAAS;QAC9C,KAAK,MAAM,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,8BAA8B;IAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QAErB,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,MAAM,GACV,CAAC,CAAC,OAAO;gBACT,OAAO,CAAC,KAAK,KAAK,IAAI;gBACtB,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC5B,CAAC,CAAC,QAAQ;gBACV,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YACtB,IAAI,MAAM,EAAE,CAAC;gBACX,iEAAiE;gBACjE,mEAAmE;gBACnE,yCAAyC;gBACzC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;gBACnB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACvB,MAAM,UAAU,GAAY;oBAC1B,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE;iBACzE,CAAC;gBACF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,YAAY;oBACjF,MAAM,EAAE,OAAO;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO;oBACrD,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,MAAM,EAAE,OAAO;iBACpG,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,2EAA2E;QAC3E,yEAAyE;QACzE,qEAAqE;QACrE,uEAAuE;QACvE,0EAA0E;QAC1E,qEAAqE;QACrE,2EAA2E;QAC3E,4EAA4E;QAC5E,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACvG,SAAS;QACX,CAAC;QAED,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE;YAC3C,kEAAkE;YAClE,mEAAmE;YACnE,kEAAkE;YAClE,yDAAyD;YACzD,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjD,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAClC,uCAAuC;YACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC;gBACnB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3B,oEAAoE;gBACpE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,kEAAkE;gBAClE,mEAAmE;gBACnE,qEAAqE;gBACrE,mEAAmE;gBACnE,2DAA2D;gBAC3D,MAAM,OAAO,GAAI,IAAI,CAAC,MAA4C,EAAE,OAAO,CAAC;gBAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3B,IAAI,CAAC,MAAO,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpD,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YACD,wEAAwE;YACxE,sEAAsE;YACtE,wEAAwE;YACxE,sEAAsE;YACtE,WAAW;YACX,wEAAwE;YACxE,yEAAyE;YACzE,0DAA0D;YAC1D,yEAAyE;YACzE,wEAAwE;YACxE,qEAAqE;YACrE,uEAAuE;YACvE,0EAA0E;YAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAC1C,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;YAClF,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3F,uEAAuE;YACvE,qEAAqE;YACrE,yEAAyE;YACzE,sEAAsE;YACtE,oEAAoE;YACpE,kEAAkE;YAClE,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,KAAK,aAAa,CAAC;YACtD,IAAI,OAAO,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC/D,qDAAqD;gBACrD,gDAAgD;gBAChD,MAAM,GAAG,GAAG,OAAO,CAAC;gBACpB,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;gBACpB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,0CAA0C;gBAClE,KAAK,CAAC,IAAI,CAAC;oBACT,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC;oBACrD,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;iBACrD,CAAC,CAAC;gBACH,uDAAuD;gBACvD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,2EAA2E;YAC3E,qEAAqE;YACrE,qEAAqE;YACrE,qEAAqE;YACrE,0EAA0E;YAC1E,wEAAwE;YACxE,2EAA2E;YAC3E,yEAAyE;YACzE,mEAAmE;YACnE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,aAAa,GAAG,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC;YACpF,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChC,0EAA0E;gBAC1E,uEAAuE;gBACvE,wEAAwE;gBACxE,uEAAuE;gBACvE,sEAAsE;gBACtE,mCAAmC;gBACnC,IAAI,IAAI,EAAE,CAAC;oBACT,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;wBAC9B,oEAAoE;wBACpE,gEAAgE;wBAChE,+DAA+D;wBAC/D,kEAAkE;wBAClE,oBAAoB;wBACpB,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;4BACb,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACrE,CAAC;wBACD,IAAI,CAAC,CAAC,EAAE,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;4BACjE,6DAA6D;4BAC7D,6DAA6D;4BAC7D,gEAAgE;4BAChE,2DAA2D;4BAC3D,gEAAgE;4BAChE,8DAA8D;4BAC9D,8DAA8D;4BAC5D,MAAM,YAAY,GAChB,EAAE,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;4BAC/C,IAAI,YAAY,IAAI,EAAE,EAAE,CAAC;gCACvB,wCAAwC;gCACxC,yDAAyD;gCACzD,gEAAgE;gCAChE,MAAM,IAAI,GAAqC;oCAC7C,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE;iCAC1C,CAAC;gCACF,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gCACnD,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;gCACpB,MAAM,MAAM,GAAY;oCACtB,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI;oCACtC,MAAM,EAAE,CAAC,IAAI,CAAC;oCACd,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE;iCAC7C,CAAC;gCACF,uDAAuD;gCACvD,sDAAsD;gCACtD,0DAA0D;gCAC1D,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gCAC5B,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gCACpD,CAAC,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;4BACpC,CAAC;iCAAM,CAAC;gCACN,CAAC,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;4BACtC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC;gBACpE,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,eAAe;gBACjD,CAAC;qBAAM,IAAI,aAAa,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,KAAK,cAAc,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvH,mEAAmE;oBACnE,gEAAgE;oBAChE,oCAAoC;oBACpC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBACjC,CAAC;qBAAM,IAAI,aAAa,EAAE,CAAC;oBACzB,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;oBAClG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;oBAC/F,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,wEAAwE;YACxE,qEAAqE;YACrE,mEAAmE;YACnE,uEAAuE;YACvE,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;gBACnE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;gBAC7G,SAAS;YACX,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACvJ,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAClG,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,kEAAkE;IAClE,0EAA0E;IAC1E,wEAAwE;IACxE,iFAAiF;IACjF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;QAC/C,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,IAAI,IAAY,CAAC;IACjB,IAAI,OAA2B,CAAC;IAChC,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAc,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC7C,uEAAuE;QACvE,2EAA2E;QAC3E,4EAA4E;QAC5E,wEAAwE;QACxE,mEAAmE;QACnE,0EAA0E;QAC1E,6EAA6E;QAC7E,8DAA8D;QAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,4BAA4B;QACxE,oEAAoE;QACpE,uEAAuE;QACvE,yEAAyE;QACzE,4CAA4C;QAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YACjD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,WAAW,GAAc,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YAChI,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,GAAG,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvE,iEAAiE;YACjE,sEAAsE;YACtE,gEAAgE;YAChE,6DAA6D;YAC7D,oEAAoE;YACpE,8DAA8D;YAC9D,iEAAiE;YACjE,sEAAsE;YACtE,wEAAwE;YACxE,kCAAkC;YAClC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,GAAG,CAAC,CAAC;YACtH,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1G,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvC,sEAAsE;YACtE,kEAAkE;YAClE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YAC9B,MAAM,YAAY,GAAG;gBACnB,GAAG,SAAS;gBACZ,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAa;aACtF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,YAAY,EAAE,GAAG,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,wEAAwE;QACxE,mEAAmE;QACnE,oEAAoE;QACpE,8DAA8D;QAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,oBAAoB,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1D,uEAAuE;QACvE,+EAA+E;QAC/E,yEAAyE;QACzE,0EAA0E;QAC1E,mDAAmD;QACnD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,GAAG,UAAU,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,2CAA2C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnF,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,mEAAmE;YACnE,iCAAiC;YACjC,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,4BAA4B,CAAC,CAAC;YAClE,OAAO,GAAG,UAAU,CAAC;QACvB,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED;oEACoE;AACpE,SAAS,SAAS,CAAC,KAAgB,EAAE,KAAa,EAAE,IAAY;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,KAAK,EAAE,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;YAC3B,mDAAmD;YACnD,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,WAAW,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;wEACwE;AACxE,SAAS,KAAK,CAAC,KAAgB,EAAE,QAAgB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,kBAAkB;QACrD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,IAAI,IAAI,SAAS,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,2CAA2C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjF,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAClE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpF,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,wEAAwE;AACxE,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAA4B,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACxG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,UAAU,GAAa;QAC3B,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;KACpD,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kDAAkD;IACjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,uEAAuE;QACvE,oEAAoE;QACpE,mEAAmE;QACnE,sCAAsC;QACtC,sDAAsD;QACtD,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;AAC3C,CAAC","sourcesContent":["/**\n * M5 — code generation: object graph + M4 call plans → model/*.fai.js.\n *\n * M5.1 topological order: Body.Group order wins where present; otherwise\n * PropertyLink dependency order. Cycles / missing deps → baked (no fallback\n * heuristics — explicit downgrade per plan §12).\n * M5.2 lowering: params → JS constants; calls → `const partN = await cad.x(...)`;\n * statement ids sN. Sketch contours enter as blueprint literals.\n *\n * 本文件为 Placement 发射平台 `cad.place`（旋转四元数 + 平移，单点）、为产物聚合发射\n * 平台 `cad.compound`（几何复合体，内核 `makeCompound`，持 OCCT 句柄）。这两个是 faijs\n * 平台几何 op（H11，方案 §4），不再借用 `../3d_editor` 的 `cad.group` /\n * `cad.translate` / `cad.rotate_euler`（编辑器交互 op，JSDoc 已 @deprecated）。\n */\nimport type { FcstdDocument } from './document.js';\nimport type { CadCall, TranslateVerdict } from './feature-translate.js';\nimport { translateObject, isJsExpr, jsExpr, BODY_CHAIN_BASE } from './feature-translate.js';\nimport type { Contour } from './contour.js';\nimport { type Placement, isIdentityPlacement, invertApplyPlacement } from './placement.js';\nimport { isNonModelingType } from './structural-types.js';\n\n/** Per-object codegen outcome: what was emitted for one FCStd object. */\nexport interface GenObjectResult {\n  /** FCStd object name */\n  name: string;\n  /** FCStd type id */\n  type: string;\n  /** variable name bound in generated code (partN) or undefined when baked */\n  variable?: string;\n  calls: CadCall[];\n  disposition: 'translated' | 'baked' | 'preserved-only';\n  reason?: string;\n  /** M3 sketch verdict when the object is a sketch */\n  sketch?: { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number };\n}\n\n/** Full codegen output: lowered calls, per-object ledger and generated script(s). */\nexport interface GenResult {\n  /** ordered translated calls (dependency order) */\n  calls: CadCall[];\n  objects: GenObjectResult[];\n  /** generated .fai.js source (single-file mode or the main/aggregate script) */\n  code: string;\n  /** M10.3: multi-file mode — one script per Body with translated geometry.\n   * Empty in single-file mode. Paths are container-relative (model/<Name>.fai.js). */\n  files: { path: string; code: string; body: string }[];\n  /** M10.3: variable in main.fai.js holding the grouped result (multi-file mode) */\n  rootVar?: string;\n}\n\ninterface Node {\n  name: string;\n  obj: ReturnType<FcstdDocument['objects'][number]['properties']['get']> extends never ? never : FcstdDocument['objects'][number];\n  deps: Set<string>;\n  verdict?: TranslateVerdict;\n  variable?: string;\n}\n\n/** Extract link dependencies relevant for ordering. */\nfunction depsOf(obj: FcstdDocument['objects'][number]): string[] {\n  const out: string[] = [];\n  const linkProps = ['Base', 'Tool', 'Profile', 'BaseFeature', 'Originals'];\n  for (const p of linkProps) {\n    const el = obj.properties.get(p)?.children[0];\n    const v = el?.attributes['value'];\n    if (v) out.push(v);\n  }\n  // GOTCHA (ArchDetail corpus, 2026-09-21): App::PropertyLinkList properties.\n  // `Shapes` is the multi-input geometry list (Part::MultiFuse / MultiCommon);\n  // `Links` is Part::Compound's member list. Neither is a single-value link\n  // property, so missing it here left the Compound with NO dependency on its\n  // members — Kahn then placed it at its document position, and ArchDetail's\n  // compounds sit at doc index 10-14 while every member sits at 269+ (Draft\n  // emits the wire first, the compound last, but the file order is sorted by\n  // name). inputVar() found nothing yet → `compound-missing-members` for all\n  // five compounds, for a pure ordering reason.\n  const linkLists = ['Shapes', 'Links'];\n  for (const p of linkLists) {\n    const el = obj.properties.get(p)?.children[0];\n    if (!el) continue;\n    for (const link of el.children) {\n      const v = link.attributes['value'];\n      if (v) out.push(v);\n    }\n  }\n  return out;\n}\n\n/**\n * GOTCHA (PadTest V6 failure): a `PartDesign::Body`'s feature list lives in\n * DIFFERENT properties depending on the FreeCAD version —\n *   - modern (0.19+): `Model` (App::PropertyLinkList), ordered\n *   - legacy: `Group` (App::PropertyLinkList)\n * The Tip is `Body.Tip`. Reading only `Group` on a modern document yields an\n * empty list → no same-Body chaining → features degrade to a loose\n * `cad.group` of overlapping siblings (PadTest rebuilt volume ≈ 5.2× the Tip's,\n * bboxDiag ≈ 2×). Prefer `Model`, fall back to `Group`.\n */\nfunction bodyFeatureNames(obj: FcstdDocument['objects'][number]): string[] {\n  for (const prop of ['Model', 'Group']) {\n    const list = obj.properties.get(prop)?.children[0];\n    if (!list) continue;\n    const names: string[] = [];\n    for (const link of list.children) {\n      const v = link.attributes['value'];\n      if (v) names.push(v);\n    }\n    if (names.length > 0) return names;\n  }\n  return [];\n}\n\n/**\n * M5.1/M5.2 — translate every object in dependency order and lower to JS.\n * `sketchVerdict` supplies the M3 outcome per sketch object name; sketches\n * whose contour feeds a Pad/Pocket appear as inputs.\n *\n * @param doc parsed FCStd object graph to translate\n * @param sketchVerdict per-sketch M3 verdict keyed by object name\n * @param sketchContours solved contours per L0 sketch, keyed by object name\n * @param baseName source base name used in generated file headers/labels\n * @param placements per-object Placement used to re-orient placed geometry; missing → identity\n * @param shapeCarriers objects whose Shape is a ZIP .brp member (pure-Shape carriers → shape-asset)\n * @param brokenShapeAssets objects whose Shape `file` attribute points at a missing/empty member (explicit gap)\n * @returns the lowered call plan, per-object dispositions and generated code\n */\nexport function generateModel(\n  doc: FcstdDocument,\n  sketchVerdict: Map<string, { level: 'L0' | 'L1' | 'L2'; reason?: string; loopCount?: number }>,\n  sketchContours: Map<string, Contour[]>,\n  baseName: string,\n  /** M8.3: per-object Placement (sketches + features); missing → identity */\n  placements?: Map<string, Placement>,\n  /** H7: objects whose Shape is a ZIP .brp member (pure-Shape carriers → shape-asset). */\n  shapeCarriers?: ReadonlySet<string>,\n  /** E4: objects whose Shape `file` attribute points at a missing/empty member (explicit gap). */\n  brokenShapeAssets?: ReadonlySet<string>,\n): GenResult {\n  const byName = new Map(doc.objects.map((o) => [o.name, o]));\n  // GOTCHA (test_geomop corpus, 2026-09-20): a dependency on a Body\n  // CONTAINER (Part::Cut with Tool→Body) really waits for the Body's\n  // features to have built the chain — expand the dep to the member\n  // features so Kahn orders the consumer AFTER the chain exists (and\n  // chainVar.get(Body) resolves). Treating the container itself as\n  // satisfiable instead let the Cut run before the chain was built.\n  const nodes = new Map<string, Node>();\n  for (const obj of doc.objects) {\n    const deps = new Set<string>();\n    for (const d of depsOf(obj)) {\n      const target = byName.get(d);\n      if (target?.type === 'PartDesign::Body') {\n        for (const m of bodyFeatureNames(target)) if (byName.has(m)) deps.add(m);\n      } else {\n        deps.add(d);\n      }\n    }\n    nodes.set(obj.name, { name: obj.name, obj, deps });\n  }\n\n  // Kahn topological sort; objects with unbuilt deps fall back to insertion\n  // order iteration until progress stalls (remaining are baked with reason).\n  // M10.1: iteration order is Body.Group sequence FIRST (features of a Body\n  // process in Group order so the D-C chain follows PartDesign semantics),\n  // then leftover objects in document order.\n  const groupSeq: string[] = [];\n  for (const obj of doc.objects) {\n    if (obj.type !== 'PartDesign::Body') continue;\n    for (const m of bodyFeatureNames(obj)) {\n      if (byName.has(m) && !groupSeq.includes(m)) groupSeq.push(m);\n    }\n  }\n  const iterationOrder = [\n    ...groupSeq,\n    ...doc.objects.map((o) => o.name).filter((n) => !groupSeq.includes(n)),\n  ];\n  const order: string[] = [];\n  const built = new Set<string>();\n  let progress = true;\n  while (progress) {\n    progress = false;\n    for (const name of iterationOrder) {\n      const node = nodes.get(name)!;\n      if (built.has(node.name)) continue;\n      if ([...node.deps].every((d) => built.has(d) || !byName.has(d) || byName.get(d)!.type === 'PartDesign::Body')) {\n        built.add(node.name);\n        order.push(node.name);\n        progress = true;\n      }\n    }\n  }\n\n  const variables = new Map<string, string>();\n  const results: GenObjectResult[] = [];\n  const calls: CadCall[] = [];\n  let partCounter = 0;\n  const newVar = (): string => `part${partCounter++}`;\n\n  // D-C (M9.4): same-Body features fuse cumulatively in Body.Group order —\n  // the first translated feature is the base, every later additive feature\n  // (Pad/…) unions with the chain, every subtractive one (Pocket/Cut)\n  // subtracts. cad.group is NOT used inside a Body (that is assembly\n  // semantics); cross-Body grouping stays in lower()'s root handling (M10).\n  const memberToBody = new Map<string, string>();\n  for (const obj of doc.objects) {\n    if (obj.type !== 'PartDesign::Body') continue;\n    for (const m of bodyFeatureNames(obj)) {\n      if (!memberToBody.has(m)) memberToBody.set(m, obj.name);\n    }\n  }\n  const chainVar = new Map<string, string>(); // body name → accumulated var\n\n  for (const name of order) {\n    const node = nodes.get(name)!;\n    const obj = node.obj;\n\n    if (obj.type === 'Sketcher::SketchObject') {\n      const verdict = sketchVerdict.get(name);\n      const contours = sketchContours.get(name);\n      const usable =\n        !!verdict &&\n        verdict.level !== 'L2' &&\n        (verdict.loopCount ?? 0) > 0 &&\n        !!contours &&\n        contours.length > 0;\n      if (usable) {\n        // M6 wiring: emit a real `cad.sketch({contours})` creator so the\n        // solved contour becomes a face variable the Pad/Pocket/Extrusion/\n        // Revolution features below can consume.\n        const v = newVar();\n        variables.set(name, v);\n        const sketchCall: CadCall = {\n          out: v, op: 'cad.sketch', source: name, inputs: [], params: { contours },\n        };\n        calls.push(sketchCall);\n        results.push({\n          name, type: obj.type, variable: v, calls: [sketchCall], disposition: 'translated',\n          sketch: verdict,\n        });\n      } else {\n        results.push({\n          name, type: obj.type, calls: [], disposition: 'baked',\n          reason: verdict?.reason ?? (contours ? 'sketch-not-solved' : 'sketch-no-contours'), sketch: verdict,\n        });\n      }\n      continue;\n    }\n\n    // Non-modeling objects are preserved-only and MUST be short-circuited\n    // BEFORE translation. GOTCHA (PadTest, 2026-09-21): this used to list only\n    // `App::Origin/Plane/Line`, so a Body's `PartDesign::Plane` went through\n    // the translator, matched the shape-asset rule (datum planes store a\n    // `Shape` .brp — the plane face) and was folded into the Body's chain:\n    // `cad.union(pad, datumPlane)`. That both corrupts the solid and fails at\n    // run time (`cad.load` requires a solid; a plane face has none). The\n    // predicate is shared with the C4 audit (`structural-types.ts`) so codegen\n    // and the disposition ledger can never disagree about what is non-modeling.\n    if (isNonModelingType(obj.type)) {\n      results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: 'structural' });\n      continue;\n    }\n\n    // Sketches are now real face variables (see the Sketcher::SketchObject\n    // branch above), so every dependency that resolves to one flows through.\n    const verdict = translateObject(obj, (dep) => {\n      // GOTCHA (test_geomop corpus, 2026-09-20): a dependency on a Body\n      // CONTAINER (Part::Cut with Tool→Body) resolves against the Body's\n      // accumulated chain head, not `variables` — the container name is\n      // never registered there (its result lives in chainVar).\n      return variables.get(dep) ?? chainVar.get(dep);\n    }, doc.objects, shapeCarriers, brokenShapeAssets);\n    node.verdict = verdict;\n    if (verdict.kind === 'translated') {\n      // rename output vars to partN sequence\n      for (const call of verdict.calls) {\n        const v = newVar();\n        variables.set(call.out, v);\n        // remap inputs that were intermediate (Pocket_cut) or named outputs\n        call.inputs = call.inputs.map((i) => variables.get(i) ?? i);\n        // GOTCHA (ArchDetail s444, 2026-09-21): `cad.compound` passes its\n        // members as LEXICAL VARIABLE NAMES inside `params.members` — they\n        // must be remapped like `inputs`, otherwise renderArgs emits them as\n        // string literals and the op receives strings (no BREP handle) and\n        // throws \"compound members are not all on the BREP chain\".\n        const members = (call.params as { members?: unknown } | undefined)?.members;\n        if (Array.isArray(members)) {\n          call.params!.members = members.map((m) =>\n            typeof m === 'string' ? (variables.get(m) ?? m) : m,\n          );\n        }\n        call.out = v;\n        calls.push(call);\n      }\n      // M8.3: features build in sketch-local coordinates (cad.sketch lays the\n      // face on local XY; extrude runs along local +Z). Re-orient the final\n      // solid by the PROFILE SKETCH's Placement: rotate_euler then translate,\n      // so the result lands where FreeCAD puts it. Identity placements emit\n      // nothing.\n      // GOTCHA (PadTest V6, relErr 3.20%): a PartDesign feature's geometry is\n      // built in the SKETCH frame, but FreeCAD may store a DIFFERENT Placement\n      // on the feature object itself (Pad001: sketch P=(10,0,0)\n      // Q=(0,.7071,0,.7071) vs feature P=0 Q=(0,.7071,.7071,0)) — re-orienting\n      // by the feature's own frame drops the sketch origin offset and rotates\n      // the extrude axis into the wrong direction (−3.20% volume, centroid\n      // off 1.67). The sketch's Placement is the authoritative frame for the\n      // built geometry; fall back to the feature's own for sketchless features.\n      const lastVar = verdict.calls.at(-1)?.out;\n      const sketchLink = obj.properties.get('Sketch')?.children[0]?.attributes['value'];\n      const pl = (sketchLink ? placements?.get(sketchLink) : undefined) ?? placements?.get(name);\n      // GOTCHA (H13, TO92, 2026-09-23): a shape-asset object's frozen `.brp`\n      // member is saved by FreeCAD WITH its Placement already applied (the\n      // asset's bbox starts at the placed z). Re-emitting `cad.place` with the\n      // object's stored Placement applies the SAME transform twice — volume\n      // and solids stay correct, only a bbox/com parity check exposes it.\n      // The import already carries the placement; never place it again.\n      const isShapeAsset = verdict.reason === 'shape-asset';\n      if (lastVar && pl && !isIdentityPlacement(pl) && !isShapeAsset) {\n        // 单个刚性放置：旋转（四元数，绕局部原点）+ 平移 = FreeCAD Placement(P,Q)。\n        // 直接发 cad.place，避免 euler 往返损失精度（方案 §4.7：两语句合一）。\n        const cur = lastVar;\n        const rv = newVar();\n        variables.set(cur, rv); // map old name → placed var for consumers\n        calls.push({\n          out: rv, op: 'cad.place', source: name, inputs: [cur],\n          params: { rotation: [...pl.q], position: [...pl.p] },\n        });\n        // the object's variable is now the fully placed result\n        variables.set(name, rv);\n      }\n      // M9.4 (D-C): fold the feature into its Body's chain — AFTER the placement\n      // step so the chain accumulates the PLACED feature shape. Pocket/Cut\n      // subtract from the chain; everything else unions onto it. The first\n      // feature in the Body's feature list (Model/Group) order becomes the\n      // chain base — no cad.group inside a Body; consumers (M10) read chainVar.\n      // GOTCHA (PadTest V6): folding the UNPLACED feature var (the old order)\n      // left the chain head in sketch-local space while each feature's Placement\n      // was applied to a separate, unused variable → the exported body spanned\n      // both the local and the placed copies (~2× bboxDiag, ~5× volume).\n      const body = memberToBody.get(name);\n      const isSubtractive = obj.type === 'PartDesign::Pocket' || obj.type === 'Part::Cut';\n      if (body) {\n        const prev = chainVar.get(body);\n        // UpToLast/UpToFirst: FreeCAD's \"up to\" support is the Body's ACCUMULATED\n        // shape, NOT only the immediate BaseFeature link — retarget the kernel\n        // ref at the chain head (prev). GOTCHA (PadTest V6): truncating against\n        // the immediate BaseFeature (a small Pad001 disc) left an 8.06% volume\n        // deficit vs the Tip; against the accumulated chain it drops to 3.20%\n        // (bbox already exact at delta 0).\n        if (prev) {\n          for (const c of verdict.calls) {\n            // H7 (hole_puzzle corpus): the Pocket had NO BaseFeature property —\n            // the translator emitted BODY_CHAIN_BASE as the subtract's base\n            // input; retarget it at the chain head here (after the earlier\n            // inputs remap, which leaves the marker untouched since it is not\n            // a variable name).\n            if (c.inputs) {\n              c.inputs = c.inputs.map((i) => (i === BODY_CHAIN_BASE ? prev : i));\n            }\n            if (c.op === 'cad.extrude' && c.params.baseFeature !== undefined) {\n              // GOTCHA (PadTest V6 residual): the up-to extrude builds its\n              // prism in the SKETCH-LOCAL frame, but the chain head (prev)\n              // lives in the PLACED (global) frame. FreeCAD's boolean runs in\n              // one frame — so transform prev back into the sketch frame\n              // first: local = R^-1(global - p). Feeding the placed chain var\n              // directly silently truncates at the wrong face (Pad002 truth\n              // AddShape 48199 vs rebuilt deficit ~9108 mm^3 → 3.2% total).\n                const needsInverse =\n                  pl !== undefined && !isIdentityPlacement(pl);\n                if (needsInverse && pl) {\n                  // 逆向刚性放置（单点发射，方案 §4.7）：rotation 取共轭四元数、\n                  // position 取 invertApplyPlacement(pl, 0) = -(invQ·p)，合成为\n                  // 一个 cad.place，避免 euler 往返。语义 = invertApplyPlacement(pl, prev)。\n                  const invQ: [number, number, number, number] = [\n                    -pl.q[0]!, -pl.q[1]!, -pl.q[2]!, pl.q[3]!,\n                  ];\n                  const invPos = invertApplyPlacement(pl, [0, 0, 0]);\n                  const rv = newVar();\n                  const rvCall: CadCall = {\n                    out: rv, op: 'cad.place', source: name,\n                    inputs: [prev],\n                    params: { rotation: invQ, position: invPos },\n                  };\n                  // insert BEFORE the extrude call: faijs is a statement\n                  // language — `baseFeature: partN` referencing a later\n                  // statement is E_REFERENCE (parser rejects forward refs).\n                  const at = calls.indexOf(c);\n                  calls.splice(at < 0 ? calls.length : at, 0, rvCall);\n                  c.params.baseFeature = jsExpr(rv);\n                } else {\n                  c.params.baseFeature = jsExpr(prev);\n                }\n            }\n          }\n        }\n        const featureVar = variables.get(name) ?? verdict.calls.at(-1)!.out;\n        if (!prev) {\n          chainVar.set(body, featureVar); // base feature\n        } else if (isSubtractive && verdict.calls.at(-1)!.op === 'cad.subtract' && verdict.calls.at(-1)!.inputs.includes(prev)) {\n          // Pocket already subtracted from the chain var itself (BaseFeature\n          // resolved to the chain) — its output IS the new chain head; no\n          // extra subtract (would cut twice).\n          chainVar.set(body, featureVar);\n        } else if (isSubtractive) {\n          const nv = newVar();\n          calls.push({ out: nv, op: 'cad.subtract', source: name, inputs: [prev, featureVar], params: {} });\n          chainVar.set(body, nv);\n        } else {\n          const nv = newVar();\n          calls.push({ out: nv, op: 'cad.union', source: name, inputs: [prev, featureVar], params: {} });\n          chainVar.set(body, nv);\n        }\n      }\n      // H7 guard (motor_mount_inch corpus): a feature outside a Body (or with\n      // no chain head yet) never gets its BODY_CHAIN_BASE retargeted — the\n      // marker would leak into the generated JS as an illegal identifier\n      // (parser kills the whole file). Downgrade to an explicit gap instead.\n      if (verdict.calls.some((c) => c.inputs?.includes(BODY_CHAIN_BASE))) {\n        results.push({ name, type: obj.type, calls: [], disposition: 'baked', reason: 'pocket-missing-dependency' });\n        continue;\n      }\n      results.push({ name, type: obj.type, variable: verdict.calls.at(-1)?.out, calls: verdict.calls, disposition: 'translated', reason: verdict.reason });\n    } else if (verdict.kind === 'baked') {\n      results.push({ name, type: obj.type, calls: [], disposition: 'baked', reason: verdict.reason });\n    } else {\n      results.push({ name, type: obj.type, calls: [], disposition: 'preserved-only', reason: verdict.reason });\n    }\n  }\n\n  // also mark unreachable (cycle) objects as baked\n  for (const obj of doc.objects) {\n    if (!results.some((r) => r.name === obj.name)) {\n      results.push({ name: obj.name, type: obj.type, calls: [], disposition: 'baked', reason: 'dependency-cycle' });\n    }\n  }\n\n  // M10.3/M10.5 — split by Body: calls whose source object belongs to a Body\n  // (including the chain union/subtract calls emitted for it) go to\n  // model/<BodyName>.fai.js; everything else (loose Part features) stays in\n  // main.fai.js. When no Body has geometry, everything lands in main (the\n  // single-file shape). Aggregate entry compounds per-file roots via cad.compound.\n  const callBody = new Map<string, string>();\n  for (const r of results) {\n    const b = memberToBody.get(r.name);\n    if (b) for (const c of r.calls) callBody.set(c.out, b);\n  }\n  const bodiesWithGeo = new Set<string>();\n  for (const b of new Set(memberToBody.values())) {\n    if (chainVar.has(b)) bodiesWithGeo.add(b);\n  }\n  const files: GenResult['files'] = [];\n  let code: string;\n  let rootVar: string | undefined;\n  if (bodiesWithGeo.size > 0) {\n    const mainCalls: CadCall[] = [];\n    const perBody = new Map<string, CadCall[]>();\n    // M10c partition in DEPENDENCY ORDER: `calls` is already topologically\n    // sorted, so ONE forward pass assigns each call — to its own source's Body\n    // when known (`callBody`), else to the Body its first body-owned input went\n    // to. GOTCHA (PadTest V6): the previous implementation re-assigned such\n    // calls by APPENDING them to the end of the Body file, which broke\n    // dependency order — a Body file ended up referencing a variable declared\n    // further down (`let` TDZ ReferenceError at run time: `part8` used `part6`).\n    // Filtering `calls` in place preserves the topological order.\n    const assigned = new Map<string, string>(); // call.out → Body file name\n    // chain-head var → terminal alias (and owning Body) — needed DURING\n    // routing: a foreign chain head is never in `assigned` (it is a Body's\n    // accumulated var, not a call output), so input-body checks must consult\n    // this map to detect cross-Body references.\n    const headToTerminal = new Map<string, string>();\n    const headToBody = new Map<string, string>();\n    for (const b of bodiesWithGeo) {\n      headToTerminal.set(chainVar.get(b)!, `${b}_out`);\n      headToBody.set(chainVar.get(b)!, b);\n    }\n    const mainPending: CadCall[] = [];\n    const mainOuts = new Set<string>();\n    for (const c of calls) {\n      const own = callBody.get(c.out);\n      const inputBodies = c.inputs.map((inp) => assigned.get(inp) ?? headToBody.get(inp)).filter((b): b is string => b !== undefined);\n      const viaInput = inputBodies[0];\n      const b = own !== undefined && bodiesWithGeo.has(own) ? own : viaInput;\n      // GOTCHA (test_geomop corpus, 2026-09-20): a call whose own Body\n      // differs from an input's Body (Part::Cut with Base in another Body's\n      // chain) must NOT be emitted into its own Body file — the input\n      // variable lives in ANOTHER module and is not declared there\n      // (SEC_FREE_IDENT at check time). Same for inputs that will live in\n      // MAIN (loose Part boxes): routing is a forward pass over the\n      // topologically sorted calls, so main outputs are already known.\n      // NOTE: Body-chain fold calls (union/subtract emitted during folding)\n      // are NOT in `results`, so `own` is undefined for them — the main-input\n      // check must not depend on `own`.\n      const mixed = inputBodies.some((ib) => ib !== b) || (own !== undefined && viaInput !== undefined && viaInput !== own);\n      const touchesMain = c.inputs.some((i) => mainOuts.has(i));\n      if (b !== undefined && bodiesWithGeo.has(b) && !mixed && !touchesMain && (own === undefined || own === b)) {\n        if (!perBody.has(b)) perBody.set(b, []);\n        perBody.get(b)!.push(c);\n        assigned.set(c.out, b);\n      } else {\n        mainPending.push(c);\n        mainOuts.add(c.out);\n      }\n    }\n    for (const c of mainPending) {\n      mainCalls.push({ ...c, inputs: c.inputs.map((i) => headToTerminal.get(i) ?? i) });\n    }\n    for (const b of bodiesWithGeo) {\n      const bodyCalls = perBody.get(b) ?? [];\n      // terminal: alias the chain head to <Body>_out so the aggregate entry\n      // has a stable, name-independent reference to each Body's result.\n      const head = chainVar.get(b)!;\n      const withTerminal = [\n        ...bodyCalls,\n        { out: `${b}_out`, op: 'identity', source: b, inputs: [head], params: {} } as CadCall,\n      ];\n      files.push({ path: `model/${b}.fai.js`, code: lowerBody(withTerminal, `${baseName}/${b}`, b), body: b });\n    }\n    // main.fai.js: aggregate the per-Body terminals via cad.compound. M10c:\n    // cross-file references close through the standard relative-import\n    // contract (module-registry D6) — each Body module's terminal alias\n    // `<Body>_out` is its live shape, so a named import binds it.\n    const lines: string[] = [];\n    lines.push(`// Generated by faijs FCStd port — ${baseName} (aggregate entry)`);\n    lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n    const members = [...bodiesWithGeo].map((b) => `${b}_out`);\n    // Always import the per-Body terminals: the aggregate entry references\n    // `<Body>_out` in BOTH the cad.compound (multi-Body) and the single-Body alias\n    // path, so a missing import is a SEC_FREE_IDENT parse error (GOTCHA: the\n    // single-Body branch previously emitted `let part_out = <Body>_out;` with\n    // no import). `mainCalls` may still be empty here.\n    if (members.length >= 1) {\n      for (const b of bodiesWithGeo) {\n        lines.push(`import { ${b}_out } from './${b}.fai.js'; // module ${b}`);\n      }\n    }\n    for (const c of mainCalls) {\n      const id = `s${lines.length - 2}`;\n      lines.push(`let ${c.out} = ${c.op}(${renderArgs(c)}); // ${id} ${c.source}`);\n    }\n    if (members.length > 1) {\n      rootVar = 'part_out';\n      lines.push(`let part_out = cad.compound({ members: [${members.join(', ')}] });`);\n    } else if (members.length === 1) {\n      // single Body: the imported terminal IS the result — alias keeps a\n      // stable root name for executors\n      rootVar = members[0];\n      lines.push(`let part_out = ${rootVar}; // single-Body aggregate`);\n      rootVar = 'part_out';\n    }\n    code = lines.join('\\n') + '\\n';\n  } else {\n    code = lower(calls, baseName);\n  }\n  return { calls, objects: results, code, files, rootVar };\n}\n\n/** M10.3 — lower one Body's calls; the last entry is the terminal alias\n * `<Body>_out` (plain JS assignment — faijs has no identity op). */\nfunction lowerBody(calls: CadCall[], label: string, body: string): string {\n  const lines: string[] = [];\n  lines.push(`// Generated by faijs FCStd port — ${label}`);\n  lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n  for (const call of calls) {\n    if (call.op === 'identity') {\n      // terminal alias: `let <Body>_out = <chain head>;`\n      lines.push(`let ${call.out} = ${call.inputs[0]}; // s? ${body} terminal`);\n      continue;\n    }\n    const id = `s${lines.length - 2}`;\n    lines.push(`let ${call.out} = ${call.op}(${renderArgs(call)}); // ${id} ${call.source}`);\n  }\n  return lines.join('\\n') + '\\n';\n}\n\n/** M5.2 — lower the call plan to .fai.js source. faijs syntax: top-level\n * statement flow with `let partN = cad.x(...)`; no wrapper function. */\nfunction lower(calls: CadCall[], baseName: string): string {\n  const lines: string[] = [];\n  lines.push(`// Generated by faijs FCStd port — ${baseName}`);\n  lines.push(`// Units: mm (faijs contract; FCStd internal units are mm)`);\n  for (const call of calls) {\n    const id = `s${lines.length - 2}`; // statement id sN\n    const args = renderArgs(call);\n    lines.push(`let ${call.out} = ${call.op}(${args}); // ${id} ${call.source}`);\n  }\n  // final shape: union of root calls that nobody consumes; faijs scripts\n  // end with the output-producing statement (no return, per fixtures).\n  const consumed = new Set(calls.flatMap((c) => c.inputs));\n  const roots = calls.filter((c) => !consumed.has(c.out)).map((c) => c.out);\n  if (roots.length > 1) {\n    lines.push(`let part_out = cad.compound({ members: [${roots.join(', ')}] });`);\n  } else if (roots.length === 0) {\n    lines.push(`// no translated geometry (all baked)`);\n  }\n  return lines.join('\\n') + '\\n';\n}\n\n/**\n * M5.2 — render one IR value as JS. Plain values JSON-encode (byte-identical to\n * the pre-JsExpr output); a `JsExpr` marker renders verbatim, and a container\n * holding one renders element-wise so the expression survives into the source.\n */\nfunction renderValue(v: unknown): string {\n  if (isJsExpr(v)) return v.__jsExpr;\n  if (Array.isArray(v)) {\n    if (v.some(isJsExpr)) return `[${v.map(renderValue).join(', ')}]`;\n    return JSON.stringify(v);\n  }\n  if (v && typeof v === 'object') {\n    const entries = Object.entries(v as Record<string, unknown>);\n    if (entries.some(([, val]) => containsJsExpr(val))) {\n      return `{ ${entries.map(([k, val]) => `${k}: ${renderValue(val)}`).join(', ')} }`;\n    }\n    return JSON.stringify(v);\n  }\n  return JSON.stringify(v);\n}\n\n/** True when a value is or (recursively) contains a `JsExpr` marker. */\nfunction containsJsExpr(v: unknown): boolean {\n  if (isJsExpr(v)) return true;\n  if (Array.isArray(v)) return v.some(containsJsExpr);\n  if (v && typeof v === 'object') return Object.values(v as Record<string, unknown>).some(containsJsExpr);\n  return false;\n}\n\nfunction renderArgs(call: CadCall): string {\n  const positional: string[] = [\n    ...(call.noPositionalArgs ? [] : call.inputs.map((i) => i)),\n    ...(call.literals ?? []).map((l) => renderValue(l)),\n  ].filter((s) => s.length > 0); // M7.1: drop empty entries so we never emit `(, `\n  const named: string[] = [];\n  for (const [k, v] of Object.entries(call.params ?? {})) {\n    if (v === undefined) continue;\n    // GOTCHA (ArchDetail s444, 2026-09-21): `cad.compound`'s `members` are\n    // LEXICAL VARIABLE NAMES, not data strings — render them bare, like\n    // positional inputs. renderValue would quote them and the op would\n    // receive strings with no BREP handle\n    // (\"compound members are not all on the BREP chain\").\n    if (k === 'members' && Array.isArray(v)) {\n      named.push(`members: [${v.join(', ')}]`);\n      continue;\n    }\n    named.push(`${k}: ${renderValue(v)}`);\n  }\n  const namedBlock = named.length ? `{ ${named.join(', ')} }` : '';\n  // M7.1: no leading comma when there are no positional args — a call with only\n  // named params must render as `cad.sketch({ ... })`, never `cad.sketch(, {...})`.\n  const rest = namedBlock ? (positional.length ? `, ${namedBlock}` : namedBlock) : '';\n  return `${positional.join(', ')}${rest}`;\n}\n"]}

package/dist/fcstd/contour.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contour.d.ts","sourceRoot":"","sources":["../../src/fcstd/contour.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,gHAAgH;AAChH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,OAAO,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAEN,0GAA0G;AAC1G,MAAM,WAAW,OAAO;IACtB,0CAA0C;IAC1C,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,2DAA2D;IAC3D,MAAM,EAAE,OAAO,CAAC;CACjB;AA2BD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,EAAE,CA8D9D"}
+{"version":3,"file":"contour.d.ts","sourceRoot":"","sources":["../../src/fcstd/contour.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,gHAAgH;AAChH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,OAAO,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC;AAEN,0GAA0G;AAC1G,MAAM,WAAW,OAAO;IACtB,0CAA0C;IAC1C,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,2DAA2D;IAC3D,MAAM,EAAE,OAAO,CAAC;CACjB;AA2BD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,EAAE,CA0D9D"}