fatman: static-link every external module in one host + CI gate

[borisbat]

The test half of the both-worlds sweep (borisbat/dasVulkan#64, borisbat/dasImgui#218, borisbat/dasImguiNodeEditor#35, borisbat/dasImguiImplot#25): the externals' superbuild (static-embed) branches had no CI coverage anywhere — each module's own CI only builds the standalone .shared_module flavor.

• examples/fatman/main.das — requires every external C++ module (imgui, imgui_app, imgui_app_headless, implot, imgui_node_editor, vulkan) plus one boost path per module: registration + boost-path resolution + the static link, no window, no GPU. The daslang host absorbs externals cloned into modules/ automatically (the modules glob includes any CMakeLists without a .daspkg_standalone marker), so the fat man needs no C++ of its own.
• .github/workflows/fatman.yml — clones the four externals at master into modules/, configures with the glob absorbing their both-worlds branches, builds the daslang target, runs the smoke. Doubles as the compile-time ABI canary for daslang-vs-externals drift (the abi_break_sweep discipline gets a gate).
• web/CMakeLists.txt + CMakeLists.txt — the dasImgui imgui_boost_v2 embed mount and NATIVE_MODULE registration now tolerate both dasImgui layouts (pre- and post-cmake: msvc: add flag DAS_USE_STATIC_STD_LIBS #218 rename), unblocking that PR. (Follow-up queued: once cmake: msvc: add flag DAS_USE_STATIC_STD_LIBS #218 lands, the whole DAS_WEB_IMGUI_DIR hand-wiring can collapse onto dasImgui's superbuild-emscripten branch — WSL-verified, separate PR.)

Validated locally on Windows (VS gen): all four externals junctioned into modules/, configure absorbs them, the fat daslang host builds, the smoke passes — and its first run caught a real defect (dasImguiImplot registered imgui_-prefixed module names over unprefixed file stems; fixed by rename, landed in #25). Full preflight green (13 passed / 0 failed) on the rebased branch.

🤖 Generated with Claude Code

[Copilot]

Pull request overview

This PR adds a “fatman” smoke test that builds a single daslang host with multiple external modules statically linked, and introduces a dedicated CI workflow to gate the externals’ “superbuild/static-embed” CMake path that their own standalone .shared_module CI doesn’t cover.

Changes:

• Add examples/fatman/main.das which requires all targeted external modules/boost paths to validate registration + boost-path resolution + static linkage.
• Add .github/workflows/fatman.yml to clone externals into modules/, build daslang, and run the fatman smoke script.
• Update CMakeLists.txt and web/CMakeLists.txt to tolerate both pre- and post-rename dasImgui layouts for imgui_boost_v2 embedding/registration.

Reviewed changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 1 comment.

File	Description
web/CMakeLists.txt	Conditional embed of imgui_boost fallback to support both dasImgui layouts.
examples/fatman/main.das	New smoke script that requires all external modules and one boost path per module.
CMakeLists.txt	Conditional ADD_MODULE_DAS registration to avoid double-registering imgui_boost_v2 post-rename.
.github/workflows/fatman.yml	New CI workflow that clones externals, builds a “fat” daslang host, and runs the smoke.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

Pull request overview

Copilot reviewed 5 out of 5 changed files in this pull request and generated 4 comments.

Comments suppressed due to low confidence (1)

include/daScript/simulate/aot.h:3166

• das_vector_erase currently allows index == vec.size() (it checks > instead of >=), which makes vec.erase(vec.begin() + index) invoke undefined behavior (erasing end() is invalid). The bounds check should reject index >= size (and keep the negative-index guard).

        if ( uint32_t(index)>uint32_t(vec.size()) ) {   // both sides cast: ImVector::size() is int, std::vector's is size_t
            context->throw_error_ex("erasing vector index out of range %i of %i", index, int32_t(vec.size()));
        }
        if constexpr (das::is_stub_type<QQ>::value) { DAS_ASSERTF(false, "STUB!"); }
        else vec.erase(vec.begin() + index);