feat: analytic FEM→CAD export across step/ifc/xml with native-first geometry and produced-file parity

deploy/Dockerfile.viewer

@@ -23,7 +23,7 @@
 # MUST stay >=0.9.0 — older bases ship an emscripten 3.1.58 wheel that micropip
 # refuses against pyodide 0.29.4 ("Wheel was built with Emscripten v3.1.58 but
 # Pyodide was built with v4.0.9").
-ARG ADACPP_BASE_IMAGE=ghcr.io/krande/adacpp-wasm-base:0.16.1
+ARG ADACPP_BASE_IMAGE=ghcr.io/krande/adacpp-wasm-base:0.18.0
 FROM ${ADACPP_BASE_IMAGE} AS adacpp-wheel
 
 # Stage 0b: build the pure-python adapy wheel for pyodide. The browser

deploy/Dockerfile.worker

@@ -8,6 +8,10 @@
 # meaningfully shrink things.
 #
 # Rebuild marker (bump to re-pull the ADACPP_BRANCH overlay fresh):
+#   2026-07-19 — ADACPP_BRANCH switched to feat/step-emit-mapped-instances (AP242 assembly
+#   instancing + the closed-B-spline-edge / periodic-domain tessellation fixes that zero the
+#   dropped-face warnings on the NURBS-heavy corpus files). The previous value
+#   (fix/step-emit-degenerate-loop) is fully contained in the pinned 0.17.1.
 #   2026-07-15 — overlay retired. Everything the previous markers were previewing (selectable
 #   tessellation tracks, boundary pinning ON by default, the watertight `cdt` track) shipped in
 #   ada-cpp 0.14.0, which pixi.toml now pins. The worker takes it from conda.

files/sat_files/degenerate_first_loop.sat

@@ -0,0 +1,106 @@
+400 0 1 0
+14 ada-cpp-test 12 minimal-fixture 1 0
+-1 9.9999999999999995e-07 1e-10
+-75 vertex $146 -1 -1 $-1 $-1 $147 #
+-147 point $-1 -1 -1 $-1 62.600000000000023 28.313333333333301 0.30000000000002874 #
+-375 edge $531 -1 -1 $-1 $75 1 $75 0 $532 $-1 forward @7 unknown T 62.600000000000023 28.313333333333301 0.30000000000002874 62.600000000000023 28.313333333333301 0.30000000000002874 #
+-532 coedge $-1 -1 -1 $-1 $532 $532 $-1 $375 forward $731 $-1 #
+-731 loop $-1 -1 -1 $-1 $997 $532 $998 T 62.600000000000023 28.313333333333301 0.30000000000002874 62.600000000000023 28.313333333333301 0.30000000000002874 hole $999 F #
+-997 loop $-1 -1 -1 $-1 $-1 $1372 $998 T 62.600000000000009 0 -0.25 62.600000000000009 29.600000000000001 1.375 periphery $999 F #
+-998 face $1373 -1 -1 $-1 $1374 $731 $2 $-1 $999 forward double out T 62.600000000000009 0 -0.25 62.600000000000023 29.600000000000001 1.375 F #
+-999 plane-surface $-1 -1 -1 $-1 62.600000000000023 14.800000000000008 0.56249999999999289 -1 -8.224661348075122e-31 4.5280583383210426e-16 8.5019249555939899e-31 -1 6.123233995736766e-17 forward_v I I I I #
+-1372 coedge $-1 -1 -1 $-1 $1871 $1872 $1873 $1874 forward $997 $-1 #
+-1871 coedge $-1 -1 -1 $-1 $2547 $1372 $2548 $2549 reversed $997 $-1 #
+-1872 coedge $-1 -1 -1 $-1 $1372 $2547 $2550 $2551 forward $997 $-1 #
+-1874 edge $2556 -1 -1 $-1 $2557 0 $2558 1.625 $1372 $2559 forward @7 unknown T 62.600000000000009 0 -0.25 62.600000000000009 0 1.375 #
+-2547 coedge $-1 -1 -1 $-1 $1872 $1871 $3434 $3461 reversed $997 $-1 #
+-2549 edge $3464 -1 -1 $-1 $3446 0 $2558 29.600000000000001 $1871 $3465 forward @7 unknown T 62.600000000000009 0 1.375 62.600000000000009 29.600000000000001 1.375 #
+-2551 edge $3467 -1 -1 $-1 $3468 0 $2557 29.600000000000001 $2550 $3469 forward @7 unknown T 62.600000000000009 0 -0.25 62.600000000000009 29.600000000000001 -0.25 #
+-2557 vertex $3482 -1 -1 $-1 $3475 $3483 #
+-2558 vertex $3484 -1 -1 $-1 $1874 $3485 #
+-2559 intcurve-curve $-1 -1 -1 $-1 forward { exactcur full nubs 3 open 2 
+	0 3 1.625 3 
+	62.600000000000009 0 -0.25 
+	62.600000000000009 0 0.2916666666666714 
+	62.600000000000009 0 0.8333333333333357 
+	62.600000000000009 0 1.375 
+	0 
+	null_surface 
+	null_surface 
+	nullbs 
+	nullbs 
+	-1 
+	-1 
+	I I 
+	0 
+	0 
+	0 
+
+	-1 
+	none F F 1 F 0 } I I #
+-3446 vertex $4557 -1 -1 $-1 $3461 $4558 #
+-3461 edge $4576 -1 -1 $-1 $3468 0 $3446 1 $3434 $4577 forward @7 unknown T 62.600000000000009 29.600000000000001 -0.25 62.600000000000009 29.600000000000001 1.375 #
+-3465 intcurve-curve $-1 -1 -1 $-1 forward { exactcur full nubs 3 open 2 
+	0 3 29.600000000000001 3 
+	62.600000000000009 29.600000000000001 1.375 
+	62.600000000000009 19.733333333333338 1.375 
+	62.600000000000009 9.8666666666666671 1.375 
+	62.600000000000009 0 1.375 
+	0 
+	null_surface 
+	null_surface 
+	nullbs 
+	nullbs 
+	-1 
+	-1 
+	I I 
+	0 
+	0 
+	0 
+
+	-1 
+	none F F 1 F 0 } I I #
+-3468 vertex $4581 -1 -1 $-1 $4580 $4582 #
+-3469 intcurve-curve $-1 -1 -1 $-1 forward { exactcur full nubs 3 open 2 
+	0 3 29.600000000000001 3 
+	62.600000000000009 29.600000000000001 -0.25 
+	62.600000000000009 19.733333333333338 -0.25 
+	62.600000000000009 9.8666666666666671 -0.25 
+	62.600000000000009 0 -0.25 
+	0 
+	null_surface 
+	null_surface 
+	nullbs 
+	nullbs 
+	-1 
+	-1 
+	I I 
+	0 
+	0 
+	0 
+
+	-1 
+	none F F 1 F 0 } I I #
+-3483 point $-1 -1 -1 $-1 62.600000000000009 0 -0.25 #
+-3485 point $-1 -1 -1 $-1 62.600000000000009 0 1.375 #
+-4558 point $-1 -1 -1 $-1 62.600000000000009 29.600000000000001 1.375 #
+-4577 intcurve-curve $-1 -1 -1 $-1 forward { exactcur full nubs 1 open 2 
+	0 1 1 1 
+	62.600000000000009 29.600000000000001 -0.25 
+	62.600000000000009 29.600000000000001 1.375 
+	0 
+	null_surface 
+	null_surface 
+	nullbs 
+	nullbs 
+	-1 
+	-1 
+	I I 
+	0 
+	0 
+	0 
+
+	-1 
+	none F F 1 F 0 } I I #
+-4582 point $-1 -1 -1 $-1 62.600000000000009 29.600000000000001 -0.25 #
+End-of-ACIS-data