@faicad/faijs-fcstd 0.17.0

package/dist/sketch-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-parse.js","sourceRoot":"","sources":["../src/sketch-parse.ts"],"names":[],"mappings":"AAeA,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,CAAC;IACZ,KAAK,EAAE,CAAC;IACR,aAAa,EAAE,EAAE;IACjB,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,EAAE;IACjB,SAAS,EAAE,EAAE;IACb,iBAAiB,EAAE,EAAE;IACrB,SAAS,EAAE,EAAE;IACb,KAAK,EAAE,EAAE;IACT,QAAQ,EAAE,EAAE;IACZ,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;CACA,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS;IAC5E,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe;IAC9E,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW;IAC/D,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU;IACrE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM;CACtC,CAAC;AAEF,qDAAqD;AACrD,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,CAAC,CAAC;CACF,CAAC;AAEX,iCAAiC;AACjC,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,CAAC,EAAE,cAAc;IACvB,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC,EAAE,2BAA2B;CAC3B,CAAC;AAuGX,SAAS,GAAG,CAAC,KAA6B,EAAE,GAAW;IACrD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAmB;IACnD,gFAAgF;IAChF,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7C,mEAAmE;QACnE,oEAAoE;QACpE,kBAAkB;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,IAAI,CAAC,CAAC,OAAO,KAAK,eAAe,IAAI,CAAC,CAAC,OAAO,KAAK,KAAK,CAC5F,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,GAAG,KAAK,aAAa,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBAChE,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,MAAM;oBACZ,KAAK;oBACL,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC;oBAChE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;iBAC3D,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBACtD,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,QAAQ;oBACd,KAAK;oBACL,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC;oBACnE,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC;iBACzB,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,GAAG,KAAK,aAAa,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBAChE,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC7B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;gBAChC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,KAAK;oBACX,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;oBAC1D,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE;oBAC5D,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE;iBAC7D,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrF,MAAM;YACR,CAAC;YACD,KAAK,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBACxD,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;gBACpC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;gBAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;gBAChE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACzB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC;oBACrD,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG;oBACpD,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,GAAG;oBACnC,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,GAAG;iBACpC,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,GAAG,KAAK,cAAc,IAAI,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;gBAClE,6DAA6D;gBAC7D,+DAA+D;gBAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ;qBACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1E,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAC/B,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM;wBAAE,SAAS;oBACnC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;oBAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;oBACrC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE;wBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC/C,CAAC;gBACD,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAChC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,SAAS;oBACf,KAAK;oBACL,KAAK;oBACL,KAAK;oBACL,MAAM;oBACN,QAAQ;oBACR,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;oBACzB,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;oBACzB,EAAE,EAAE,CAAC;oBACL,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;oBACvB,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG;oBACvB,EAAE,EAAE,CAAC;iBACN,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD;gBACE,2DAA2D;gBAC3D,qEAAqE;gBACrE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC7D,MAAM;QACV,CAAC;QACD,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAA6B,EAAE,MAAc;IAChE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;AAChG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAmB;IACrD,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,OAAO,KAAK,WAAW;YAAE,SAAS;QAC5C,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAExC,kFAAkF;QAClF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC;QAC5C,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,KAAK,MAAM,MAAM,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;gBAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,CAAC,IAAI;oBAAE,SAAS;gBAC9B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC;QAE/E,IAAI,CAAC,IAAI,CAAC;YACR,KAAK;YACL,IAAI;YACJ,IAAI;YACJ,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC;YACtB,SAAS;YACT,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;YACrB,qBAAqB,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;SAC7F,CAAC,CAAC;QACH,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAAuC,EACvC,eAA0C,EAC1C,gBAAyB;IAEzB,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,MAAM,WAAW,GAAG,eAAe,CAAC,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,uEAAuE;YACvE,sEAAsE;YACtE,gDAAgD;YAChD,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,OAAO;QACL,KAAK;QACL,WAAW;QACX,gBAAgB;QAChB,cAAc,EAAE,CAAC,GAAG,cAAc,CAAC;KACpC,CAAC;AACJ,CAAC","sourcesContent":["/**\n * M3.1 — FCStd sketch parsing: <GeometryList> → SketchGeom[],\n * <ConstraintList> → SketchCon[].\n *\n * Field format per plan §5.2/§5.3:\n * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0\n * - <Constrain> (singular) carries Type as the ConstraintType enum integer\n *   (Constraint.h:52-77)\n * - ElementIds/ElementPositions (new) take precedence over First/Second/Third\n *   (old); 47.5% of sample constraints lack the new format (§5.3.1)\n * - IsDriving defaults to true when missing (Constraint.h:240)\n * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external (D4)\n */\nimport type { FcstdProperty } from './document.js';\n\n/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */\nexport const ConstraintType = {\n  Coincident: 1,\n  Horizontal: 2,\n  Vertical: 3,\n  Parallel: 4,\n  Tangent: 5,\n  Distance: 6,\n  DistanceX: 7,\n  DistanceY: 8,\n  Angle: 9,\n  Perpendicular: 10,\n  Radius: 11,\n  Equal: 12,\n  PointOnObject: 13,\n  Symmetric: 14,\n  InternalAlignment: 15,\n  SnellsLaw: 16,\n  Block: 17,\n  Diameter: 18,\n  Weight: 19,\n  Group: 20,\n  Text: 21,\n} as const;\n\n/**\n * Human-readable names for the ConstraintType enum integers (debugging/\n * diagnostics only).\n */\nexport const CONSTRAINT_NAMES: Record<number, string> = {\n  1: 'Coincident', 2: 'Horizontal', 3: 'Vertical', 4: 'Parallel', 5: 'Tangent',\n  6: 'Distance', 7: 'DistanceX', 8: 'DistanceY', 9: 'Angle', 10: 'Perpendicular',\n  11: 'Radius', 12: 'Equal', 13: 'PointOnObject', 14: 'Symmetric',\n  15: 'InternalAlignment', 16: 'SnellsLaw', 17: 'Block', 18: 'Diameter',\n  19: 'Weight', 20: 'Group', 21: 'Text',\n};\n\n/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */\nexport const GeoId = {\n  RtPnt: -1,\n  HAxis: -1,\n  VAxis: -2,\n  RefExt: -3,\n} as const;\n\n/** PointPos (GeoEnum.h:88-94) */\nexport const PointPos = {\n  none: 0, // edge itself\n  start: 1,\n  end: 2,\n  mid: 3, // center of circle/ellipse\n} as const;\n\n/**\n * One parsed sketch geometry element (point, line, circle, arc or ellipse),\n * in 3D sketch-local coordinates.\n */\nexport type SketchGeom =\n  | { kind: 'point'; index: number; x: number; y: number; z: number }\n  | { kind: 'line'; index: number; x1: number; y1: number; z1: number; x2: number; y2: number; z2: number }\n  | { kind: 'circle'; index: number; cx: number; cy: number; cz: number; radius: number }\n  | {\n      kind: 'arc';\n      index: number;\n      cx: number;\n      cy: number;\n      cz: number;\n      radius: number;\n      startAngle: number; // radians\n      endAngle: number;\n      /** arc endpoints derived from angles (kept for solver wiring) */\n      x1: number;\n      y1: number;\n      z1: number;\n      x2: number;\n      y2: number;\n      z2: number;\n    }\n  | {\n      kind: 'ellipse';\n      index: number;\n      cx: number;\n      cy: number;\n      cz: number;\n      majorRadius: number;\n      minorRadius: number;\n      /** rotation of major axis, radians */\n      angleXU: number;\n      /** first focus (computed) */\n      fx1: number;\n      fy1: number;\n      fx2: number;\n      fy2: number;\n    }\n  | {\n      /** P4: Part::GeomBSplineCurve (Poles/Knots/Degree/IsPeriodic) */\n      kind: 'bspline';\n      index: number;\n      poles: { x: number; y: number }[];\n      knots: number[];\n      degree: number;\n      periodic: boolean;\n      /** curve start/end (exact for clamped splines; solver wiring + chaining) */\n      x1: number;\n      y1: number;\n      z1: number;\n      x2: number;\n      y2: number;\n      z2: number;\n    };\n\n/**\n * One (geometry, point) reference inside a constraint: a geoId plus a\n * PointPos selector.\n */\nexport interface GeoRef {\n  /** geometry id: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external */\n  geoId: number;\n  /** PointPos selector (0 = edge itself, 1/2 = start/end, 3 = center) */\n  pos: number; // PointPos\n}\n\n/**\n * One parsed sketch constraint (`<Constrain>` element).\n */\nexport interface SketchCon {\n  /** index in the ConstraintList */\n  index: number;\n  /** ConstraintType integer */\n  type: number;\n  /** resolved element refs (ElementIds or First/Second/Third fallback) */\n  refs: GeoRef[];\n  /** driving dimension value (Distance/Angle/Radius/...) */\n  value: number;\n  /** IsDriving; missing means true (§5.3.1) */\n  isDriving: boolean;\n  /** raw name attribute */\n  name: string;\n  /** InternalAlignmentType when type === 15 */\n  internalAlignmentType?: number;\n}\n\n/**\n * The fully parsed sketch: geometry, constraints, constrainedness and the set\n * of referenced external geoIds.\n */\nexport interface ParsedSketch {\n  geoms: SketchGeom[];\n  constraints: SketchCon[];\n  fullyConstrained: boolean;\n  /** geoIds <= -3 referenced by constraints (D4 external geometry) */\n  externalGeoIds: number[];\n}\n\nfunction num(attrs: Record<string, string>, key: string): number {\n  const v = attrs[key];\n  return v === undefined ? 0 : Number(v);\n}\n\n/**\n * Parse a sketch's `<GeometryList>` property into typed geometry elements.\n *\n * @param prop - the sketch's Geometry property.\n * @returns the parsed geometry list; unsupported element kinds degrade to a\n *   NaN point so the caller can downgrade the sketch.\n */\nexport function parseGeometryList(prop: FcstdProperty): SketchGeom[] {\n  // <GeometryList count=\"N\"><Geometry type=\"...\">...</Geometry>...</GeometryList>\n  const listEl = prop.children[0];\n  if (!listEl) return [];\n  const geoms: SketchGeom[] = [];\n  let index = 0;\n  for (const child of listEl.children) {\n    const gtype = child.attributes['type'] ?? '';\n    // <Geometry> may carry <Construction/>, <GeoExtensions/> or <UID/>\n    // siblings before the actual geometry element — pick the first real\n    // geometry child.\n    const inner = child.children.find(\n      (c) => c.tagName !== 'Construction' && c.tagName !== 'GeoExtensions' && c.tagName !== 'UID',\n    );\n    if (!inner) continue;\n    const a = inner.attributes;\n    const tag = inner.tagName;\n    switch (true) {\n      case tag === 'LineSegment' || gtype.includes('GeomLineSegment'): {\n        geoms.push({\n          kind: 'line',\n          index,\n          x1: num(a, 'StartX'), y1: num(a, 'StartY'), z1: num(a, 'StartZ'),\n          x2: num(a, 'EndX'), y2: num(a, 'EndY'), z2: num(a, 'EndZ'),\n        });\n        break;\n      }\n      case tag === 'Circle' || gtype.includes('GeomCircle'): {\n        geoms.push({\n          kind: 'circle',\n          index,\n          cx: num(a, 'CenterX'), cy: num(a, 'CenterY'), cz: num(a, 'CenterZ'),\n          radius: num(a, 'Radius'),\n        });\n        break;\n      }\n      case tag === 'ArcOfCircle' || gtype.includes('GeomArcOfCircle'): {\n        const cx = num(a, 'CenterX');\n        const cy = num(a, 'CenterY');\n        const cz = num(a, 'CenterZ');\n        const r = num(a, 'Radius');\n        const sa = num(a, 'StartAngle');\n        const ea = num(a, 'EndAngle');\n        geoms.push({\n          kind: 'arc',\n          index, cx, cy, cz, radius: r, startAngle: sa, endAngle: ea,\n          x1: cx + r * Math.cos(sa), y1: cy + r * Math.sin(sa), z1: cz,\n          x2: cx + r * Math.cos(ea), y2: cy + r * Math.sin(ea), z2: cz,\n        });\n        break;\n      }\n      case tag === 'GeomPoint' || tag === 'Point' || gtype.includes('GeomPoint'): {\n        geoms.push({ kind: 'point', index, x: num(a, 'X'), y: num(a, 'Y'), z: num(a, 'Z') });\n        break;\n      }\n      case tag === 'Ellipse' || gtype.includes('GeomEllipse'): {\n        const cx = num(a, 'CenterX');\n        const cy = num(a, 'CenterY');\n        const major = num(a, 'MajorRadius');\n        const minor = num(a, 'MinorRadius');\n        const ang = num(a, 'AngleXU');\n        const f = Math.sqrt(Math.max(0, major * major - minor * minor));\n        const ca = Math.cos(ang);\n        const sa2 = Math.sin(ang);\n        geoms.push({\n          kind: 'ellipse', index, cx, cy, cz: num(a, 'CenterZ'),\n          majorRadius: major, minorRadius: minor, angleXU: ang,\n          fx1: cx + f * ca, fy1: cy + f * sa2,\n          fx2: cx - f * ca, fy2: cy - f * sa2,\n        });\n        break;\n      }\n      case tag === 'BSplineCurve' || gtype.includes('GeomBSplineCurve'): {\n        // P4: poles are child <Pole X= Y= Z=/> elements, knots child\n        // <Knot Value= Multiplicity=/> (attributes only carry counts).\n        const poles = inner.children\n          .filter((c) => c.tagName === 'Pole')\n          .map((c) => ({ x: num(c.attributes, 'X'), y: num(c.attributes, 'Y') }));\n        const knots: number[] = [];\n        for (const c of inner.children) {\n          if (c.tagName !== 'Knot') continue;\n          const m = num(c.attributes, 'Multiplicity');\n          const v = num(c.attributes, 'Value');\n          const mult = Number.isFinite(m) && m >= 1 ? m : 1;\n          for (let k = 0; k < mult; k++) knots.push(v);\n        }\n        const degree = num(a, 'Degree');\n        const periodic = num(a, 'IsPeriodic') !== 0;\n        const first = poles[0];\n        const last = poles[poles.length - 1];\n        geoms.push({\n          kind: 'bspline',\n          index,\n          poles,\n          knots,\n          degree,\n          periodic,\n          x1: first ? first.x : NaN,\n          y1: first ? first.y : NaN,\n          z1: 0,\n          x2: last ? last.x : NaN,\n          y2: last ? last.y : NaN,\n          z2: 0,\n        });\n        break;\n      }\n      default:\n        // ArcOfEllipse / hyperbola / parabola: not supported in M3\n        // (sample set: 0 occurrences, plan §5.5.3); caller downgrades to L2.\n        geoms.push({ kind: 'point', index, x: NaN, y: NaN, z: NaN });\n        break;\n    }\n    index++;\n  }\n  return geoms;\n}\n\nfunction parseGeoRef(attrs: Record<string, string>, prefix: string): GeoRef {\n  return { geoId: Math.trunc(num(attrs, prefix)), pos: Math.trunc(num(attrs, `${prefix}Pos`)) };\n}\n\n/**\n * Parse a sketch's `<ConstraintList>` property into constraint records.\n *\n * @param prop - the sketch's Constraints property.\n * @returns the parsed constraints, with element refs resolved from\n *   ElementIds/ElementPositions or the old First/Second/Third fallback.\n */\nexport function parseConstraintList(prop: FcstdProperty): SketchCon[] {\n  // <ConstraintList count=\"N\"><Constrain .../>...</ConstraintList>\n  const listEl = prop.children[0];\n  if (!listEl) return [];\n  const cons: SketchCon[] = [];\n  let index = 0;\n  for (const child of listEl.children) {\n    if (child.tagName !== 'Constrain') continue;\n    const a = child.attributes;\n    const type = Math.trunc(num(a, 'Type'));\n\n    // ElementIds (new, space-separated) takes precedence; fallback First/Second/Third\n    const refs: GeoRef[] = [];\n    const eids = a['ElementIds']?.trim();\n    const eposs = a['ElementPositions']?.trim();\n    if (eids && eposs) {\n      const ids = eids.split(/\\s+/).map(Number);\n      const poss = eposs.split(/\\s+/).map(Number);\n      for (let i = 0; i < ids.length; i++) {\n        refs.push({ geoId: ids[i]!, pos: poss[i] ?? 0 });\n      }\n    } else {\n      // old-style triple; Third=GeoUndef(-2000) means unused\n      for (const prefix of ['First', 'Second', 'Third']) {\n        const geoId = Math.trunc(num(a, prefix));\n        if (geoId === -2000) continue;\n        refs.push(parseGeoRef(a, prefix));\n      }\n    }\n\n    const isDriving = a['IsDriving'] === undefined ? true : a['IsDriving'] === '1';\n\n    cons.push({\n      index,\n      type,\n      refs,\n      value: num(a, 'Value'),\n      isDriving,\n      name: a['Name'] ?? '',\n      internalAlignmentType: type === 15 ? Math.trunc(num(a, 'InternalAlignmentType')) : undefined,\n    });\n    index++;\n  }\n  return cons;\n}\n\n/**\n * Parse a sketch object's geometry and constraint properties (M3.1 entry).\n *\n * @param geometryProp - the sketch's Geometry property (may be undefined).\n * @param constraintsProp - the sketch's Constraints property (may be undefined).\n * @param fullyConstrained - the sketch's FullyConstrained flag.\n * @returns the parsed sketch, including external geoIds referenced by constraints.\n */\nexport function parseSketchObject(\n  geometryProp: FcstdProperty | undefined,\n  constraintsProp: FcstdProperty | undefined,\n  fullyConstrained: boolean,\n): ParsedSketch {\n  const geoms = geometryProp ? parseGeometryList(geometryProp) : [];\n  const constraints = constraintsProp ? parseConstraintList(constraintsProp) : [];\n  const externalGeoIds = new Set<number>();\n  for (const c of constraints) {\n    for (const r of c.refs) {\n      // GeoUndef (-2000) is an unused-slot placeholder in old-format triples\n      // and ElementIds — it is NOT external geometry. External refs are the\n      // small negative range starting at RefExt (-3).\n      if (r.geoId <= GeoId.RefExt && r.geoId > -2000) externalGeoIds.add(r.geoId);\n    }\n  }\n  return {\n    geoms,\n    constraints,\n    fullyConstrained,\n    externalGeoIds: [...externalGeoIds],\n  };\n}\n"]}

package/dist/sketch-solver.d.ts

@@ -0,0 +1,63 @@
+/**
+ * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.
+ *
+ * faijs depends only on this interface; the WASM implementation is swappable
+ * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).
+ * Output: solved geometry or a structured failure — the caller (M3.5) decides
+ * between solution and initial-value fallback (D2).
+ */
+import type { Result } from '@faicad/faijs/api/result';
+import type { SketchGeom, SketchCon } from './sketch-parse.js';
+/**
+ * Result of one solver run: the solved geometry plus convergence status and
+ * diagnostics for the caller's L0/L1/L2 decision (D2).
+ */
+export interface SolveOutcome {
+    /** geometry after solve, same order/index as input */
+    geoms: SketchGeom[];
+    /** true when the solver reports Success with no conflicts */
+    converged: boolean;
+    /** diagnostics when not converged */
+    reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';
+    /** constraint indices the solver flagged */
+    problemConstraints: number[];
+    /** constraint indices dropped because their GCS shape could not be pushed */
+    droppedConstraints: number[];
+}
+/**
+ * One pre-projected external geometry segment passed to the solver as fixed
+ * (immutable) geometry.
+ */
+export interface ExternalFixedSeg {
+    /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */
+    geoId: number;
+    /** the projected sketch-local 2D polyline (immutable to the solver) */
+    polyline: [number, number][];
+}
+/**
+ * Solver abstraction (D5): faijs depends only on this interface; the WASM
+ * implementation is swappable.
+ */
+export interface SketchSolver {
+    /**
+     * Solve constraints against the given geometry. The input geometry's stored
+     * coordinates are used as the initial guess (D2 — they are FreeCAD's last
+     * solution and the ideal starting point).
+     *
+     * `external` carries pre-projected fixed geometry (M6.3): immutable 2D
+     * polylines that constraints may reference by negative geoId. When a
+     * constraint references an external geoId not present here, the solver
+     * drops that constraint (recorded in droppedConstraints).
+     */
+    solve(geoms: SketchGeom[], constraints: SketchCon[], external?: ExternalFixedSeg[]): Promise<Result<SolveOutcome, never>>;
+}
+/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
+export declare const SUPPORTED_CONSTRAINT_TYPES: Set<number>;
+/**
+ * Check whether every constraint in a sketch is expressible by the backend.
+ *
+ * @param constraints - the parsed sketch constraints.
+ * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
+ */
+export declare function allConstraintsSupported(constraints: SketchCon[]): boolean;
+//# sourceMappingURL=sketch-solver.d.ts.map

package/dist/sketch-solver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-solver.d.ts","sourceRoot":"","sources":["../src/sketch-solver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,sDAAsD;IACtD,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,6DAA6D;IAC7D,SAAS,EAAE,OAAO,CAAC;IACnB,qCAAqC;IACrC,MAAM,CAAC,EAAE,aAAa,GAAG,WAAW,GAAG,QAAQ,GAAG,wBAAwB,CAAC;IAC3E,4CAA4C;IAC5C,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,6EAA6E;IAC7E,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC;IACd,uEAAuE;IACvE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;OASG;IACH,KAAK,CACH,KAAK,EAAE,UAAU,EAAE,EACnB,WAAW,EAAE,SAAS,EAAE,EACxB,QAAQ,CAAC,EAAE,gBAAgB,EAAE,GAC5B,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;CACzC;AAED,gFAAgF;AAChF,eAAO,MAAM,0BAA0B,aAgBrC,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,OAAO,CAEzE"}

package/dist/sketch-solver.js

@@ -0,0 +1,28 @@
+/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
+export const SUPPORTED_CONSTRAINT_TYPES = new Set([
+    1, // Coincident
+    2, // Horizontal
+    3, // Vertical
+    4, // Parallel
+    5, // Tangent
+    6, // Distance
+    7, // DistanceX
+    8, // DistanceY
+    9, // Angle
+    10, // Perpendicular
+    11, // Radius
+    12, // Equal
+    13, // PointOnObject
+    14, // Symmetric
+    18, // Diameter
+]);
+/**
+ * Check whether every constraint in a sketch is expressible by the backend.
+ *
+ * @param constraints - the parsed sketch constraints.
+ * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
+ */
+export function allConstraintsSupported(constraints) {
+    return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));
+}
+//# sourceMappingURL=sketch-solver.js.map

package/dist/sketch-solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-solver.js","sourceRoot":"","sources":["../src/sketch-solver.ts"],"names":[],"mappings":"AA6DA,gFAAgF;AAChF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAS;IACxD,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,QAAQ;IACX,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,SAAS;IACb,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,WAAW;CAChB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAwB;IAC9D,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC","sourcesContent":["/**\n * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.\n *\n * faijs depends only on this interface; the WASM implementation is swappable\n * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).\n * Output: solved geometry or a structured failure — the caller (M3.5) decides\n * between solution and initial-value fallback (D2).\n */\nimport type { Result } from '@faicad/faijs/api/result';\nimport type { SketchGeom, SketchCon } from './sketch-parse.js';\n\n/**\n * Result of one solver run: the solved geometry plus convergence status and\n * diagnostics for the caller's L0/L1/L2 decision (D2).\n */\nexport interface SolveOutcome {\n  /** geometry after solve, same order/index as input */\n  geoms: SketchGeom[];\n  /** true when the solver reports Success with no conflicts */\n  converged: boolean;\n  /** diagnostics when not converged */\n  reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';\n  /** constraint indices the solver flagged */\n  problemConstraints: number[];\n  /** constraint indices dropped because their GCS shape could not be pushed */\n  droppedConstraints: number[];\n}\n\n/**\n * One pre-projected external geometry segment passed to the solver as fixed\n * (immutable) geometry.\n */\nexport interface ExternalFixedSeg {\n  /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */\n  geoId: number;\n  /** the projected sketch-local 2D polyline (immutable to the solver) */\n  polyline: [number, number][];\n}\n\n/**\n * Solver abstraction (D5): faijs depends only on this interface; the WASM\n * implementation is swappable.\n */\nexport interface SketchSolver {\n  /**\n   * Solve constraints against the given geometry. The input geometry's stored\n   * coordinates are used as the initial guess (D2 — they are FreeCAD's last\n   * solution and the ideal starting point).\n   *\n   * `external` carries pre-projected fixed geometry (M6.3): immutable 2D\n   * polylines that constraints may reference by negative geoId. When a\n   * constraint references an external geoId not present here, the solver\n   * drops that constraint (recorded in droppedConstraints).\n   */\n  solve(\n    geoms: SketchGeom[],\n    constraints: SketchCon[],\n    external?: ExternalFixedSeg[],\n  ): Promise<Result<SolveOutcome, never>>;\n}\n\n/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */\nexport const SUPPORTED_CONSTRAINT_TYPES = new Set<number>([\n  1, // Coincident\n  2, // Horizontal\n  3, // Vertical\n  4, // Parallel\n  5, // Tangent\n  6, // Distance\n  7, // DistanceX\n  8, // DistanceY\n  9, // Angle\n  10, // Perpendicular\n  11, // Radius\n  12, // Equal\n  13, // PointOnObject\n  14, // Symmetric\n  18, // Diameter\n]);\n\n/**\n * Check whether every constraint in a sketch is expressible by the backend.\n *\n * @param constraints - the parsed sketch constraints.\n * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.\n */\nexport function allConstraintsSupported(constraints: SketchCon[]): boolean {\n  return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));\n}\n"]}

package/dist/sketch-verify.d.ts

@@ -0,0 +1,53 @@
+/**
+ * M3.5 — solved-vs-stored comparison (D2/V2).
+ *
+ * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline
+ * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;
+ * its tolerance T1 is calibrated from the sample-set distribution, not
+ * pre-set (plan §8).
+ */
+import type { SketchGeom } from './sketch-parse.js';
+import type { SolveOutcome } from './sketch-solver.js';
+/**
+ * P4: exported for testability — anchor points used by maxPointDistance.
+ *
+ * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).
+ * @returns the element's comparison anchor points (center/endpoints as applicable).
+ */
+export declare function anchorPoints(g: SketchGeom): {
+    x: number;
+    y: number;
+}[];
+/**
+ * Maximum anchor-point distance between two geometry lists (same indexing).
+ *
+ * @param a - first geometry list (e.g. the solver result).
+ * @param b - second geometry list (e.g. the stored geometry).
+ * @returns the maximum Euclidean distance between corresponding anchor points
+ *   (0 when the lists have no comparable points).
+ */
+export declare function maxPointDistance(a: SketchGeom[], b: SketchGeom[]): number;
+/**
+ * Three-level downgrade verdict (D3) for one sketch.
+ */
+export interface SketchVerdict {
+    /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */
+    level: 'L0' | 'L1' | 'L2';
+    /** human-readable reason for a non-L0 verdict */
+    reason?: string;
+    /** max anchor distance between re-solved and stored geometry */
+    maxDelta?: number;
+}
+/**
+ * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
+ * L1 = solver result kept but flagged, stored coords used instead.
+ * L2 = baked (unsupported geometry/constraints, external geometry).
+ *
+ * @param outcome - the solver result, or undefined when none was produced.
+ * @param stored - the on-disk (stored) geometry to compare against.
+ * @param t1 - the calibrated distance tolerance for the L0/L1 split.
+ * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
+ * @returns the classification verdict for the sketch.
+ */
+export declare function classifySketch(outcome: SolveOutcome | undefined, stored: SketchGeom[], t1: number, preBlocked?: string): SketchVerdict;
+//# sourceMappingURL=sketch-verify.d.ts.map

package/dist/sketch-verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-verify.d.ts","sourceRoot":"","sources":["../src/sketch-verify.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,GAAG;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,CAgBtE;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,MAAM,CAazE;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,iDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,MAAM,EAAE,UAAU,EAAE,EACpB,EAAE,EAAE,MAAM,EACV,UAAU,CAAC,EAAE,MAAM,GAClB,aAAa,CASf"}

package/dist/sketch-verify.js

@@ -0,0 +1,71 @@
+/**
+ * P4: exported for testability — anchor points used by maxPointDistance.
+ *
+ * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).
+ * @returns the element's comparison anchor points (center/endpoints as applicable).
+ */
+export function anchorPoints(g) {
+    switch (g.kind) {
+        case 'point':
+            return [{ x: g.x, y: g.y }];
+        case 'line':
+            return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+        case 'circle':
+            return [{ x: g.cx, y: g.cy }];
+        case 'arc':
+            return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+        case 'ellipse':
+            return [{ x: g.cx, y: g.cy }];
+        case 'bspline':
+            // P4: spline anchors are its exact endpoints (poles move with them)
+            return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
+    }
+}
+/**
+ * Maximum anchor-point distance between two geometry lists (same indexing).
+ *
+ * @param a - first geometry list (e.g. the solver result).
+ * @param b - second geometry list (e.g. the stored geometry).
+ * @returns the maximum Euclidean distance between corresponding anchor points
+ *   (0 when the lists have no comparable points).
+ */
+export function maxPointDistance(a, b) {
+    let max = 0;
+    const n = Math.min(a.length, b.length);
+    for (let i = 0; i < n; i++) {
+        const pa = anchorPoints(a[i]);
+        const pb = anchorPoints(b[i]);
+        const m = Math.min(pa.length, pb.length);
+        for (let k = 0; k < m; k++) {
+            const d = Math.hypot(pa[k].x - pb[k].x, pa[k].y - pb[k].y);
+            if (Number.isFinite(d) && d > max)
+                max = d;
+        }
+    }
+    return max;
+}
+/**
+ * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
+ * L1 = solver result kept but flagged, stored coords used instead.
+ * L2 = baked (unsupported geometry/constraints, external geometry).
+ *
+ * @param outcome - the solver result, or undefined when none was produced.
+ * @param stored - the on-disk (stored) geometry to compare against.
+ * @param t1 - the calibrated distance tolerance for the L0/L1 split.
+ * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
+ * @returns the classification verdict for the sketch.
+ */
+export function classifySketch(outcome, stored, t1, preBlocked) {
+    if (preBlocked)
+        return { level: 'L2', reason: preBlocked };
+    if (!outcome)
+        return { level: 'L2', reason: 'no-solver-result' };
+    if (!outcome.converged) {
+        return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };
+    }
+    const maxDelta = maxPointDistance(outcome.geoms, stored);
+    if (maxDelta <= t1)
+        return { level: 'L0', maxDelta };
+    return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };
+}
+//# sourceMappingURL=sketch-verify.js.map

package/dist/sketch-verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sketch-verify.js","sourceRoot":"","sources":["../src/sketch-verify.ts"],"names":[],"mappings":"AAWA;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAa;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,KAAK;YACR,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,oEAAoE;YACpE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAe,EAAE,CAAe;IAC/D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAC/D,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAiC,EACjC,MAAoB,EACpB,EAAU,EACV,UAAmB;IAEnB,IAAI,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC;IACnE,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,QAAQ,IAAI,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * M3.5 — solved-vs-stored comparison (D2/V2).\n *\n * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline\n * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;\n * its tolerance T1 is calibrated from the sample-set distribution, not\n * pre-set (plan §8).\n */\nimport type { SketchGeom } from './sketch-parse.js';\nimport type { SolveOutcome } from './sketch-solver.js';\n\n/**\n * P4: exported for testability — anchor points used by maxPointDistance.\n *\n * @param g - the sketch geometry element (point/line/circle/arc/ellipse/bspline).\n * @returns the element's comparison anchor points (center/endpoints as applicable).\n */\nexport function anchorPoints(g: SketchGeom): { x: number; y: number }[] {\n  switch (g.kind) {\n    case 'point':\n      return [{ x: g.x, y: g.y }];\n    case 'line':\n      return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'circle':\n      return [{ x: g.cx, y: g.cy }];\n    case 'arc':\n      return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'ellipse':\n      return [{ x: g.cx, y: g.cy }];\n    case 'bspline':\n      // P4: spline anchors are its exact endpoints (poles move with them)\n      return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n  }\n}\n\n/**\n * Maximum anchor-point distance between two geometry lists (same indexing).\n *\n * @param a - first geometry list (e.g. the solver result).\n * @param b - second geometry list (e.g. the stored geometry).\n * @returns the maximum Euclidean distance between corresponding anchor points\n *   (0 when the lists have no comparable points).\n */\nexport function maxPointDistance(a: SketchGeom[], b: SketchGeom[]): number {\n  let max = 0;\n  const n = Math.min(a.length, b.length);\n  for (let i = 0; i < n; i++) {\n    const pa = anchorPoints(a[i]!);\n    const pb = anchorPoints(b[i]!);\n    const m = Math.min(pa.length, pb.length);\n    for (let k = 0; k < m; k++) {\n      const d = Math.hypot(pa[k]!.x - pb[k]!.x, pa[k]!.y - pb[k]!.y);\n      if (Number.isFinite(d) && d > max) max = d;\n    }\n  }\n  return max;\n}\n\n/**\n * Three-level downgrade verdict (D3) for one sketch.\n */\nexport interface SketchVerdict {\n  /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */\n  level: 'L0' | 'L1' | 'L2';\n  /** human-readable reason for a non-L0 verdict */\n  reason?: string;\n  /** max anchor distance between re-solved and stored geometry */\n  maxDelta?: number;\n}\n\n/**\n * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).\n * L1 = solver result kept but flagged, stored coords used instead.\n * L2 = baked (unsupported geometry/constraints, external geometry).\n *\n * @param outcome - the solver result, or undefined when none was produced.\n * @param stored - the on-disk (stored) geometry to compare against.\n * @param t1 - the calibrated distance tolerance for the L0/L1 split.\n * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.\n * @returns the classification verdict for the sketch.\n */\nexport function classifySketch(\n  outcome: SolveOutcome | undefined,\n  stored: SketchGeom[],\n  t1: number,\n  preBlocked?: string,\n): SketchVerdict {\n  if (preBlocked) return { level: 'L2', reason: preBlocked };\n  if (!outcome) return { level: 'L2', reason: 'no-solver-result' };\n  if (!outcome.converged) {\n    return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };\n  }\n  const maxDelta = maxPointDistance(outcome.geoms, stored);\n  if (maxDelta <= t1) return { level: 'L0', maxDelta };\n  return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };\n}\n"]}

package/dist/structural-types.d.ts

@@ -0,0 +1,96 @@
+/**
+ * Non-modeling FCStd object types — the single source of truth shared by the
+ * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).
+ *
+ * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls
+ * the translator (a datum plane must never enter a Body's feature chain), and
+ * `convert.ts` must reclassify them after translation. Keeping the sets in
+ * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so
+ * the knowledge lives here with zero dependencies.
+ *
+ * C4 contract: an object in these sets is never a translation gap, and its
+ * geometry is never emitted as a modeling call. See the per-set docs below for
+ * the evidence behind each classification.
+ */
+/** Non-modeling structural/datum types: never translation gaps. They carry
+ * no feature semantics (containers, datum planes/lines/origins, groups) —
+ * their semantics are consumed by the translator (Body.Group ordering,
+ * datum-plane UpToFace anchors), not emitted as cad calls.
+ *
+ * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`
+ * `.brp` member — the plane FACE. The generic "any object with shape evidence
+ * is a shape asset" rule therefore imported it and fed it into the Body's
+ * union chain, which both corrupts the solid and fails at run time
+ * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are
+ * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */
+export declare const STRUCTURAL_TYPES: Set<string>;
+/**
+ * 2026-09-20 sweep triage: assembly/import container types — links, assembly
+ * containers, import placeholders (Inventor/VRML). They reference or embed
+ * external/other geometry but produce no modeling semantics of their own;
+ * preserved-only. Modeling features (Part::Mirroring,
+ * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay
+ * explicit H7 gaps until translated.
+ */
+export declare const STRUCTURAL_TYPES_EXTENDED: Set<string>;
+/**
+ * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics
+ * (analysis containers, meshes, solver settings, boundary conditions, result
+ * objects, post-processing filters) — no modeling geometry. They used to fall
+ * into `type-not-whitelisted` and block whole files whose modeling part was a
+ * single box. Like structural types they are `preserved-only`; their
+ * regenerable field data (FemMesh / result Data properties) is deliberately NOT
+ * carried into the container.
+ *
+ * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.
+ * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29
+ * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /
+ * constraint / filter object, zero modeling features; and the 3,201-file
+ * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is
+ * exactly the FEM workbench. The previous enumerated list cost four
+ * whack-a-mole rounds (each fix uncovered the next layer, because the sweep
+ * report records only the first 4 reasons per file: fixed
+ * FluidBoundary/Gear/Heatflux/InitialTemperature, then
+ * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace
+ * closes the family permanently.
+ *
+ * Note this classification is a LAST resort: an object with shape evidence is
+ * taken by the shape-asset path and a Python object by `python-opaque` long
+ * before `auditMapping` consults this predicate.
+ *
+ * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's
+ * FEM analysis capability in the future — separate feature; this classification
+ * only stops simulation objects from blocking conversion.
+ *
+ * @param type - the FCStd object type, e.g. "Fem::ConstraintFixed".
+ * @returns true when the type belongs to the FEM (simulation) workbench.
+ */
+export declare function isFemStructural(type: string): boolean;
+/**
+ * P1-3 (2026-09-23, fcstd-gap-dev-plan): TechDraw/Drawing are FreeCAD's 2D
+ * DRAWING workbenches — pages, templates, views, dimensions, projection
+ * groups are documentation OUTPUT rendering a shape onto a sheet and own no
+ * modeling geometry (same evidence as the enumerated TechDraw entries in
+ * STRUCTURAL_TYPES). The batch-report census had 81 `TechDraw::*` + 20
+ * `Drawing::*` objects in `type-not-whitelisted`; a namespace rule (same
+ * decision as FEM above) closes the family instead of whack-a-mole.
+ *
+ * @param type - the FCStd object type, e.g. "TechDraw::DrawViewSection".
+ * @returns true when the type belongs to a 2D drawing workbench.
+ */
+export declare function isDrawingStructural(type: string): boolean;
+/**
+ * True when the type carries no modeling semantics — structural/datum/
+ * container/drawing/documentation or FEM simulation.
+ *
+ * `codegen.ts` uses this to short-circuit such objects to `preserved-only`
+ * before translation, which is what keeps datum planes out of Body feature
+ * chains and keeps their `.brp` face assets out of the shape-asset import path.
+ * `convert.ts` uses it for the C4 post-translation reclassification, so the two
+ * can never disagree.
+ *
+ * @param type - the FCStd object type, e.g. "PartDesign::Plane".
+ * @returns true when the object must never produce a modeling call or be a shape asset.
+ */
+export declare function isNonModelingType(type: string): boolean;
+//# sourceMappingURL=structural-types.d.ts.map

package/dist/structural-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-types.d.ts","sourceRoot":"","sources":["../src/structural-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;8EAU8E;AAC9E,eAAO,MAAM,gBAAgB,aAyB3B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,aAyBpC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEzD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAKvD"}

package/dist/structural-types.js

@@ -0,0 +1,155 @@
+/**
+ * Non-modeling FCStd object types — the single source of truth shared by the
+ * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).
+ *
+ * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls
+ * the translator (a datum plane must never enter a Body's feature chain), and
+ * `convert.ts` must reclassify them after translation. Keeping the sets in
+ * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so
+ * the knowledge lives here with zero dependencies.
+ *
+ * C4 contract: an object in these sets is never a translation gap, and its
+ * geometry is never emitted as a modeling call. See the per-set docs below for
+ * the evidence behind each classification.
+ */
+/** Non-modeling structural/datum types: never translation gaps. They carry
+ * no feature semantics (containers, datum planes/lines/origins, groups) —
+ * their semantics are consumed by the translator (Body.Group ordering,
+ * datum-plane UpToFace anchors), not emitted as cad calls.
+ *
+ * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`
+ * `.brp` member — the plane FACE. The generic "any object with shape evidence
+ * is a shape asset" rule therefore imported it and fed it into the Body's
+ * union chain, which both corrupts the solid and fails at run time
+ * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are
+ * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */
+export const STRUCTURAL_TYPES = new Set([
+    'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',
+    'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',
+    'PartDesign::CoordinateSystem',
+    // H10 companion fix (plan §3.5): datum/annotation types, not modeling
+    // features — previously misclassified as translation gaps.
+    'App::Point', 'App::Annotation',
+    // 2026-09-20 sweep regression triage: Part workbench datum plane (same
+    // semantics as App::Plane) and a document text record — non-modeling.
+    'Part::Plane', 'App::TextDocument',
+    // Part workbench datum line (FEMExample) — same semantics as App::Line.
+    'Part::Line',
+    // 2026-09-21 triage (ArchDetail corpus): TechDraw is FreeCAD's 2D DRAWING
+    // workbench. A page, an SVG template and a projected view are documentation
+    // output — they render a shape onto a sheet and own no modeling geometry
+    // (probe: none of the three carries a Shape .brp; DrawViewDraft only links
+    // its source via `Source`, and a page links its template + views). Same
+    // category as App::TextDocument/App::Annotation above. Their modeling
+    // content is translated independently through the objects they reference.
+    'TechDraw::DrawPage', 'TechDraw::DrawSVGTemplate', 'TechDraw::DrawViewDraft',
+    // P1-1（2026-09-23, B2 §3.9）：Spreadsheet::Sheet / App::VarSet 是**被引用的
+    // 参数数据源**（<<Label>>.Alias 表达式绑定指向它的别名单元格），不是建模对象
+    // 也因此不是翻译缺口。preserved-only；其数值经 expressions.evalWithDoc 的
+    // 三跳解析进入下游属性（pad-length-expression-non-constant 的真根因）。
+    'Spreadsheet::Sheet', 'App::VarSet',
+]);
+/**
+ * 2026-09-20 sweep triage: assembly/import container types — links, assembly
+ * containers, import placeholders (Inventor/VRML). They reference or embed
+ * external/other geometry but produce no modeling semantics of their own;
+ * preserved-only. Modeling features (Part::Mirroring,
+ * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay
+ * explicit H7 gaps until translated.
+ */
+export const STRUCTURAL_TYPES_EXTENDED = new Set([
+    'App::Link',
+    'App::LinkElement',
+    'Assembly::AssemblyObject',
+    'Assembly::JointGroup',
+    'App::InventorObject',
+    'App::VRMLObject',
+    // P1-3 (2026-09-23, fcstd-gap-dev-plan): non-geometric types found in the
+    // batch-report `type-not-whitelisted` census (801 objects). None carries
+    // modeling geometry: TechDraw::*/Drawing::* are 2D drawing outputs,
+    // Image::ImagePlane is a raster backdrop, Mesh::Feature is an imported
+    // triangle mesh (regenerable data, not BREP), App::MeasureDistance is a
+    // measurement annotation, App::LinkGroup is a link container (same
+    // semantics as App::Link above).
+    'App::LinkGroup',
+    'App::MeasureDistance',
+    'Image::ImagePlane',
+    'Mesh::Feature',
+    'Drawing::DrawPage',
+    'Drawing::DrawSVGTemplate',
+    'Drawing::DrawViewPart',
+    'Drawing::DrawProjGroup',
+    'Drawing::DrawProjGroupItem',
+    'Drawing::DrawViewDimension',
+    'Drawing::DrawViewAnnotation',
+]);
+/**
+ * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics
+ * (analysis containers, meshes, solver settings, boundary conditions, result
+ * objects, post-processing filters) — no modeling geometry. They used to fall
+ * into `type-not-whitelisted` and block whole files whose modeling part was a
+ * single box. Like structural types they are `preserved-only`; their
+ * regenerable field data (FemMesh / result Data properties) is deliberately NOT
+ * carried into the container.
+ *
+ * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.
+ * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29
+ * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /
+ * constraint / filter object, zero modeling features; and the 3,201-file
+ * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is
+ * exactly the FEM workbench. The previous enumerated list cost four
+ * whack-a-mole rounds (each fix uncovered the next layer, because the sweep
+ * report records only the first 4 reasons per file: fixed
+ * FluidBoundary/Gear/Heatflux/InitialTemperature, then
+ * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace
+ * closes the family permanently.
+ *
+ * Note this classification is a LAST resort: an object with shape evidence is
+ * taken by the shape-asset path and a Python object by `python-opaque` long
+ * before `auditMapping` consults this predicate.
+ *
+ * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's
+ * FEM analysis capability in the future — separate feature; this classification
+ * only stops simulation objects from blocking conversion.
+ *
+ * @param type - the FCStd object type, e.g. "Fem::ConstraintFixed".
+ * @returns true when the type belongs to the FEM (simulation) workbench.
+ */
+export function isFemStructural(type) {
+    return type.startsWith('Fem::');
+}
+/**
+ * P1-3 (2026-09-23, fcstd-gap-dev-plan): TechDraw/Drawing are FreeCAD's 2D
+ * DRAWING workbenches — pages, templates, views, dimensions, projection
+ * groups are documentation OUTPUT rendering a shape onto a sheet and own no
+ * modeling geometry (same evidence as the enumerated TechDraw entries in
+ * STRUCTURAL_TYPES). The batch-report census had 81 `TechDraw::*` + 20
+ * `Drawing::*` objects in `type-not-whitelisted`; a namespace rule (same
+ * decision as FEM above) closes the family instead of whack-a-mole.
+ *
+ * @param type - the FCStd object type, e.g. "TechDraw::DrawViewSection".
+ * @returns true when the type belongs to a 2D drawing workbench.
+ */
+export function isDrawingStructural(type) {
+    return type.startsWith('TechDraw::') || type.startsWith('Drawing::');
+}
+/**
+ * True when the type carries no modeling semantics — structural/datum/
+ * container/drawing/documentation or FEM simulation.
+ *
+ * `codegen.ts` uses this to short-circuit such objects to `preserved-only`
+ * before translation, which is what keeps datum planes out of Body feature
+ * chains and keeps their `.brp` face assets out of the shape-asset import path.
+ * `convert.ts` uses it for the C4 post-translation reclassification, so the two
+ * can never disagree.
+ *
+ * @param type - the FCStd object type, e.g. "PartDesign::Plane".
+ * @returns true when the object must never produce a modeling call or be a shape asset.
+ */
+export function isNonModelingType(type) {
+    return STRUCTURAL_TYPES.has(type)
+        || STRUCTURAL_TYPES_EXTENDED.has(type)
+        || isFemStructural(type)
+        || isDrawingStructural(type);
+}
+//# sourceMappingURL=structural-types.js.map

package/dist/structural-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-types.js","sourceRoot":"","sources":["../src/structural-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;8EAU8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IACtC,kBAAkB,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW;IAC5D,0BAA0B,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB;IAChF,8BAA8B;IAC9B,sEAAsE;IACtE,2DAA2D;IAC3D,YAAY,EAAE,iBAAiB;IAC/B,uEAAuE;IACvE,sEAAsE;IACtE,aAAa,EAAE,mBAAmB;IAClC,wEAAwE;IACxE,YAAY;IACZ,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,oBAAoB,EAAE,2BAA2B,EAAE,yBAAyB;IAC5E,qEAAqE;IACrE,iDAAiD;IACjD,0DAA0D;IAC1D,uDAAuD;IACvD,oBAAoB,EAAE,aAAa;CACpC,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IAC/C,WAAW;IACX,kBAAkB;IAClB,0BAA0B;IAC1B,sBAAsB;IACtB,qBAAqB;IACrB,iBAAiB;IACjB,0EAA0E;IAC1E,yEAAyE;IACzE,oEAAoE;IACpE,uEAAuE;IACvE,wEAAwE;IACxE,mEAAmE;IACnE,iCAAiC;IACjC,gBAAgB;IAChB,sBAAsB;IACtB,mBAAmB;IACnB,eAAe;IACf,mBAAmB;IACnB,0BAA0B;IAC1B,uBAAuB;IACvB,wBAAwB;IACxB,4BAA4B;IAC5B,4BAA4B;IAC5B,6BAA6B;CAC9B,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;WAC5B,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC;WACnC,eAAe,CAAC,IAAI,CAAC;WACrB,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC","sourcesContent":["/**\n * Non-modeling FCStd object types — the single source of truth shared by the\n * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).\n *\n * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls\n * the translator (a datum plane must never enter a Body's feature chain), and\n * `convert.ts` must reclassify them after translation. Keeping the sets in\n * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so\n * the knowledge lives here with zero dependencies.\n *\n * C4 contract: an object in these sets is never a translation gap, and its\n * geometry is never emitted as a modeling call. See the per-set docs below for\n * the evidence behind each classification.\n */\n\n/** Non-modeling structural/datum types: never translation gaps. They carry\n * no feature semantics (containers, datum planes/lines/origins, groups) —\n * their semantics are consumed by the translator (Body.Group ordering,\n * datum-plane UpToFace anchors), not emitted as cad calls.\n *\n * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`\n * `.brp` member — the plane FACE. The generic \"any object with shape evidence\n * is a shape asset\" rule therefore imported it and fed it into the Body's\n * union chain, which both corrupts the solid and fails at run time\n * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are\n * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */\nexport const STRUCTURAL_TYPES = new Set([\n  'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',\n  'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',\n  'PartDesign::CoordinateSystem',\n  // H10 companion fix (plan §3.5): datum/annotation types, not modeling\n  // features — previously misclassified as translation gaps.\n  'App::Point', 'App::Annotation',\n  // 2026-09-20 sweep regression triage: Part workbench datum plane (same\n  // semantics as App::Plane) and a document text record — non-modeling.\n  'Part::Plane', 'App::TextDocument',\n  // Part workbench datum line (FEMExample) — same semantics as App::Line.\n  'Part::Line',\n  // 2026-09-21 triage (ArchDetail corpus): TechDraw is FreeCAD's 2D DRAWING\n  // workbench. A page, an SVG template and a projected view are documentation\n  // output — they render a shape onto a sheet and own no modeling geometry\n  // (probe: none of the three carries a Shape .brp; DrawViewDraft only links\n  // its source via `Source`, and a page links its template + views). Same\n  // category as App::TextDocument/App::Annotation above. Their modeling\n  // content is translated independently through the objects they reference.\n  'TechDraw::DrawPage', 'TechDraw::DrawSVGTemplate', 'TechDraw::DrawViewDraft',\n  // P1-1（2026-09-23, B2 §3.9）：Spreadsheet::Sheet / App::VarSet 是**被引用的\n  // 参数数据源**（<<Label>>.Alias 表达式绑定指向它的别名单元格），不是建模对象\n  // 也因此不是翻译缺口。preserved-only；其数值经 expressions.evalWithDoc 的\n  // 三跳解析进入下游属性（pad-length-expression-non-constant 的真根因）。\n  'Spreadsheet::Sheet', 'App::VarSet',\n]);\n\n/**\n * 2026-09-20 sweep triage: assembly/import container types — links, assembly\n * containers, import placeholders (Inventor/VRML). They reference or embed\n * external/other geometry but produce no modeling semantics of their own;\n * preserved-only. Modeling features (Part::Mirroring,\n * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay\n * explicit H7 gaps until translated.\n */\nexport const STRUCTURAL_TYPES_EXTENDED = new Set([\n  'App::Link',\n  'App::LinkElement',\n  'Assembly::AssemblyObject',\n  'Assembly::JointGroup',\n  'App::InventorObject',\n  'App::VRMLObject',\n  // P1-3 (2026-09-23, fcstd-gap-dev-plan): non-geometric types found in the\n  // batch-report `type-not-whitelisted` census (801 objects). None carries\n  // modeling geometry: TechDraw::*/Drawing::* are 2D drawing outputs,\n  // Image::ImagePlane is a raster backdrop, Mesh::Feature is an imported\n  // triangle mesh (regenerable data, not BREP), App::MeasureDistance is a\n  // measurement annotation, App::LinkGroup is a link container (same\n  // semantics as App::Link above).\n  'App::LinkGroup',\n  'App::MeasureDistance',\n  'Image::ImagePlane',\n  'Mesh::Feature',\n  'Drawing::DrawPage',\n  'Drawing::DrawSVGTemplate',\n  'Drawing::DrawViewPart',\n  'Drawing::DrawProjGroup',\n  'Drawing::DrawProjGroupItem',\n  'Drawing::DrawViewDimension',\n  'Drawing::DrawViewAnnotation',\n]);\n\n/**\n * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics\n * (analysis containers, meshes, solver settings, boundary conditions, result\n * objects, post-processing filters) — no modeling geometry. They used to fall\n * into `type-not-whitelisted` and block whole files whose modeling part was a\n * single box. Like structural types they are `preserved-only`; their\n * regenerable field data (FemMesh / result Data properties) is deliberately NOT\n * carried into the container.\n *\n * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.\n * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29\n * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /\n * constraint / filter object, zero modeling features; and the 3,201-file\n * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is\n * exactly the FEM workbench. The previous enumerated list cost four\n * whack-a-mole rounds (each fix uncovered the next layer, because the sweep\n * report records only the first 4 reasons per file: fixed\n * FluidBoundary/Gear/Heatflux/InitialTemperature, then\n * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace\n * closes the family permanently.\n *\n * Note this classification is a LAST resort: an object with shape evidence is\n * taken by the shape-asset path and a Python object by `python-opaque` long\n * before `auditMapping` consults this predicate.\n *\n * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's\n * FEM analysis capability in the future — separate feature; this classification\n * only stops simulation objects from blocking conversion.\n *\n * @param type - the FCStd object type, e.g. \"Fem::ConstraintFixed\".\n * @returns true when the type belongs to the FEM (simulation) workbench.\n */\nexport function isFemStructural(type: string): boolean {\n  return type.startsWith('Fem::');\n}\n\n/**\n * P1-3 (2026-09-23, fcstd-gap-dev-plan): TechDraw/Drawing are FreeCAD's 2D\n * DRAWING workbenches — pages, templates, views, dimensions, projection\n * groups are documentation OUTPUT rendering a shape onto a sheet and own no\n * modeling geometry (same evidence as the enumerated TechDraw entries in\n * STRUCTURAL_TYPES). The batch-report census had 81 `TechDraw::*` + 20\n * `Drawing::*` objects in `type-not-whitelisted`; a namespace rule (same\n * decision as FEM above) closes the family instead of whack-a-mole.\n *\n * @param type - the FCStd object type, e.g. \"TechDraw::DrawViewSection\".\n * @returns true when the type belongs to a 2D drawing workbench.\n */\nexport function isDrawingStructural(type: string): boolean {\n  return type.startsWith('TechDraw::') || type.startsWith('Drawing::');\n}\n\n/**\n * True when the type carries no modeling semantics — structural/datum/\n * container/drawing/documentation or FEM simulation.\n *\n * `codegen.ts` uses this to short-circuit such objects to `preserved-only`\n * before translation, which is what keeps datum planes out of Body feature\n * chains and keeps their `.brp` face assets out of the shape-asset import path.\n * `convert.ts` uses it for the C4 post-translation reclassification, so the two\n * can never disagree.\n *\n * @param type - the FCStd object type, e.g. \"PartDesign::Plane\".\n * @returns true when the object must never produce a modeling call or be a shape asset.\n */\nexport function isNonModelingType(type: string): boolean {\n  return STRUCTURAL_TYPES.has(type)\n    || STRUCTURAL_TYPES_EXTENDED.has(type)\n    || isFemStructural(type)\n    || isDrawingStructural(type);\n}\n"]}

package/dist/unpack.d.ts

@@ -0,0 +1,44 @@
+import { type Result } from '@faicad/faijs/api/result';
+/**
+ * One raw file inside the FCStd ZIP container.
+ */
+export interface FcstdMember {
+    /** path inside the ZIP, e.g. "Document.xml", "PartShape.brp" */
+    path: string;
+    /** the member's raw bytes */
+    bytes: Uint8Array;
+}
+/**
+ * The unpacked FCStd container: all ZIP members plus the advisory comment.
+ */
+export interface FcstdArchive {
+    members: Map<string, Uint8Array>;
+    /** advisory ZIP comment; may be empty (2/56 samples have empty comments) */
+    zipComment: string;
+}
+/**
+ * Structured unpack failure: not a valid ZIP, or missing root `Document.xml`.
+ */
+export type UnpackError = {
+    kind: 'not-zip';
+    message: string;
+} | {
+    kind: 'no-document-xml';
+    message: string;
+};
+/**
+ * Unpack an FCStd file. Only requirement: valid ZIP + root `Document.xml`.
+ *
+ * @param data - the raw FCStd file bytes.
+ * @returns the unpacked archive, or a structured UnpackError.
+ */
+export declare function unpackFcstd(data: Uint8Array): Result<FcstdArchive, UnpackError>;
+/**
+ * UTF-8 text decode helper for XML members.
+ *
+ * @param archive - the unpacked FCStd container.
+ * @param path - member path inside the ZIP, e.g. "Document.xml".
+ * @returns the member decoded as UTF-8 text, or undefined when absent.
+ */
+export declare function memberText(archive: FcstdArchive, path: string): string | undefined;
+//# sourceMappingURL=unpack.d.ts.map