feat(xlings): provision [xlings] deps on first build, at global scope - #531
Merged
Conversation
Sunrisepeak
added a commit
to mcpplibs/mcpp-index
that referenced
this pull request
Aug 29, 2026
§11 splits the work into T1–T10 with dependencies, and evaluates it against
architecture / stability / simplicity / UX / compatibility / cross-platform /
consistency / seamless-upgrade / test-coverage. Key structural point: R1
(xim-pkgindex) and R2 (mcpp) are independent chains, so the GBM closed loop
does not wait on the larger mcpp work.
§12 records what implementation actually found, and it overturns §8's central
conclusion. B3 (layer the project SubOS over the toolchain SubOS) is NOT
needed. The fix is to provision `[xlings] deps` at GLOBAL scope, because that
registry's SubOS *is* mcpp's `--sysroot`; once the payload lands there, headers
and libraries are visible with no -isystem/-L overlay at all. Three
measurements got there:
* project scope -> installs fine, headers land in the SubOS the compiler
does not read, gbm.h still not found
* resolve_xpkg_path (global) -> headers reach the sysroot, but it demands
<name>@<version> and rejects a bare name
* install_packages + make_xlings_env (global) -> correct for bare,
namespaced and pinned spellings alike
So §8.1's "the project SubOS lacks libgcc_s/libstdc++" table is still fact; it
just proves "do not install there" rather than "layer over it". The data was
right and the conclusion was backwards. This also keeps the change an order of
magnitude smaller — nothing touches linkmodel.cppm, plan.runtimeSearch or
link_line.cppm, whose comments document exactly the defect that reordering a
mutable view would reintroduce.
Verification recorded in full: the real ecosystem run under
`xlings subos use --sandbox --gpu` allocating an actual gbm buffer object on
card0, and the fresh-MCPP_HOME mcpp run closing compile/link/run/env with zero
mcpp-index packages. Also the one thing still open and out of scope — the
xim-x-mesa payload whose RUNPATH names glibc 2.39 while its own libgallium
needs GLIBC_2.43 — and two verification traps worth knowing (MCPP_HOME appends
another `registry/`, and mcpp keeps its own index copy separate from
~/.xlings).
PRs: openxlings/xim-pkgindex#713 (C1), mcpp-community/mcpp#531 (R2b).
`[xlings] deps` was DECLARED and never installed. `ensure_project_index_dir`
wrote it into `.mcpp/.xlings.json` verbatim and stopped there, so a manifest
saying `deps = ["xim:mesa"]` produced a file naming mesa, no payload anywhere,
and `fatal error: gbm.h: No such file or directory`. The declaration looked
accepted and did nothing, which is the worst shape a config key can have —
`[toolchain]` has had "declare it and mcpp provisions it on first use" all
along ("First run — no toolchain configured … installing … as default"), and a
build environment should not have two grades of declaration.
GLOBAL SCOPE, AND THE SCOPE IS THE WHOLE POINT. The obvious implementation —
`install_packages` against `make_project_xlings_env` — installs at PROJECT
scope, and measurably does not work. On a fresh MCPP_HOME the headers land in
`<proj>/.mcpp/.xlings/subos/_/usr/include` while `--sysroot` names
`<MCPP_HOME>/registry/subos/default`: two SubOS views, payload in the one the
compiler does not read, `#include <gbm.h>` still failing with the dependency
installed and declared. `make_xlings_env` is the global env, so the payload
lands in the registry whose SubOS *is* the sysroot — the same place
`[toolchain]` installs into. That single choice is what removes the need for
any sysroot-layering machinery: a project dep and a toolchain dep now agree on
where they live, so one `--sysroot` sees both.
`install_packages` rather than `resolve_xpkg_path`: the latter requires
`<name>@<version>` and rejects a bare `mesa` (verified: "invalid xpkg target
'xim:mesa': expected `<name>@<version>`"), while a manifest is entitled to name
a package without pinning it. install_packages resolves the version itself and
reports an ambiguous name with its candidates, which is an error the author can
act on.
ORDER IS LOAD-BEARING: provisioning runs BEFORE the runtime binding resolves,
because a named `[xlings] subos` that does not exist yet is a hard error
("selected SubOS '…' does not exist; create/bootstrap that environment") and
provisioning is what creates it. Placed next to the custom-index sync, both
first-use steps sit in one place.
Idempotent by CONTENT, not existence: a stamp records the dep list, so editing
the list re-provisions and an unchanged list costs no xlings round-trip.
Verified — a second `mcpp run` emits no Provisioning line.
VERIFIED end to end on a FRESH MCPP_HOME, with a project that has no
mcpp-index dependency at all:
[xlings]
deps = ["xim:mesa"]
[build]
ldflags = ["-lgbm"]
Provisioning [xlings] deps (xim:mesa)
Compiling nopkg v0.1.0 (.)
Running `target/.../bin/nopkg`
XR24 | GBM_BACKENDS_PATH=<registry>/subos/default/usr/lib/gbm
`#include <gbm.h>` compiles, `-lgbm` links, and the SubOS env declaration
reaches the process — the last of those needs openxlings/xim-pkgindex#713,
which adds GBM_BACKENDS_PATH to the graphics discovery table.
Design: mcpp-index .agents/docs/2026-08-30-gbm-cross-repo-closed-loop-plan.md
Sunrisepeak
force-pushed
the
feat/xlings-subos-layering
branch
from
August 29, 2026 17:40
fda5e1b to
5d32ba8
Compare
`[xlings] deps` is manifest input and the arguments were assembled by formatting the strings into a JSON literal, so a dependency name containing a quote or a backslash would emit malformed JSON. The failure would then surface as an xlings parse error naming neither the manifest nor the key that caused it. nlohmann::json is already imported in this translation unit (mcpp.libs.json), so this is `args["targets"] = declaredDeps; args["yes"] = true; args.dump()` and the escaping stops being something a reader has to verify by eye. No behaviour change for well-formed names, which is every name in practice -- this is about the failure mode of the one that is not.
Sunrisepeak
added a commit
to mcpplibs/mcpp-index
that referenced
this pull request
Aug 29, 2026
…m's Mesa (#281) * feat(libgbm): add compat.libgbm 2026.08.29, GBM bound to the ecosystem's Mesa GBM is the API a program uses to get scanout-capable buffers out of a DRM device — gbm_device, gbm_bo, gbm_surface. It sits under EGL on a KMS console, under a compositor's back end, and under headless GPU rendering. Shape I, new: an ECOSYSTEM-STACK BINDING. Not a source build, and the reason is a dependency-surface argument rather than a convenience one. * Upstream ships no separable unit. `src/gbm/meson.build` is `link_with: [libloader]`, and libloader wants `idep_mesautil` — the whole of Mesa's internal util library, ~120 TUs plus Python-generated tables — for exactly ONE function, loader_open_driver_lib; plus -DUSE_DRICONF (expat), libdrm, xcb, xcb-randr. GBM's frontend/backend dlopen split exists so vendors can ship BACKENDS, not so third parties rebuild the frontend. (compat.vulkan is not a precedent the other way: Khronos releases the loader as a standalone project; Mesa does not.) * In this ecosystem Mesa already has an owner, `xim:mesa`. A source build would make the index re-import libdrm + expat + xcb + a Mesa-util carve-out to duplicate a graph the ecosystem has already resolved — growing the surface to shrink nothing. Measured surface: host 0, ecosystem 1 (xim:mesa, not xim:graphics's 22), index 0 (deps = {}), transitive 0 — libgbm.so.1's own RUNPATH resolves entirely inside xim-x-*. ZERO HOST, with no escape hatch. Stricter than either neighbour on purpose: glx-runtime keeps MCPP_HOST_GL_LIBRARY_PATH and vulkan-runtime harvests /usr/lib outright, both because a proprietary vendor driver can only come from the host. GBM has no such case, and host libgbm is a leak the ecosystem already closed — xim:nvidia-gl-host-link names it: "the table … was missing libm, libdrm, libgbm, libgcc_s … all of which were therefore coming from the HOST, silently, which is the leak this package exists to close (R7)". NVIDIA's own GBM backend, if ever wanted, belongs in that host-link layer. The part that is actual work: the backend is unreachable in the sandbox. libgbm is a loader and Mesa compiles /usr/lib/gbm in as its search path, which does not exist there — MESA-LOADER: failed to open dri: /usr/lib/gbm/dri_gbm.so: cannot open shared object file (search paths /usr/lib/gbm, suffix _gbm) and xim:mesa declares `lib` into the view while `lib/gbm/` is a subdirectory that does not follow. So install() also harvests the backends, as a SIBLING of the farm's libgbm, and a generated TU derives the path at runtime: dlsym(RTLD_DEFAULT) a gbm symbol, dladdr, append "/gbm". Verified dladdr reports the FARM path, not the realpath, so the sibling lands in this package's own payload and nothing is pinned — unlike baking an absolute path into a generated header, which would fix the package to whichever mesa payload existed on install day. Two mechanism findings, both now in the docs: * runtime.library_dirs renders as -Wl,-rpath and NOT as -L; the -L key is runtime.link_library_dirs (added 2026.8.10.3), and transitive_needed_dirs is -Wl,-rpath-link. The catalog and package-types both asserted library_dirs joined the link line, which mcpp#304 did observe but the pinned mcpp no longer does. With library_dirs alone the farm is complete, the rpath right, and the build dies at `ld: cannot find -lgbm`. Corrected in all four docs. * c_standard = "gnu11" is still silently ignored, so dladdr/RTLD_DEFAULT come from cflags -D_GNU_SOURCE (the compat.libaio finding). Target is gbm_binding, not gbm: a target named gbm would put a libgbm.a beside the real libgbm.so and let search order decide -lgbm. Test member asserts what is checkable without a GPU — 19 checks, all green on a runner with no /dev/dri. The two legacy enumerators are the load-bearing ones: GBM_BO_FORMAT_XRGB8888 is the value 0, and only the library's own format_canonicalize() turns it into "XR24", so a header-only reimplementation would pass the fourcc cases and fail these. Backend reachability is asserted as PRESENCE at the derived path rather than a successful dlopen, which stays honest on a host where the stack's own mesa/glibc skew breaks the load. Device creation is opt-in behind MCPP_RUN_GBM_DEVICE=1. CN mirror published at gitcode mcpp-res/libgbm, fetched back and confirmed byte-identical to GLOBAL. Verified with the CI-pinned mcpp (2026.8.27.2): `mcpp test -p libgbm` green from cold, all lint gates and `mcpp xpkg parse` clean across all 136 descriptors, and the assertions confirmed failable — removing dri_gbm.so from the farm turns the reachability check red and the binary exits 1. * fix(libgbm): make the backend repair invisible — stock <gbm.h> is the API The first cut exposed `mcpp_gbm.h` and asked the consumer to call `mcpp_gbm_use_sibling_backends()` before creating a device. That changed the ordinary way to use libgbm, and it was not only a style problem: it does not work for the consumers that matter. libgbm is mostly called from INSIDE other libraries — SDL2's KMSDRM backend, wlroots, ffmpeg's VAAPI hwcontext all call gbm_create_device() from their own sources. None of them will ever call a helper of ours, so an opt-in repair leaves exactly those callers as broken as they were, while the package's own tests go green. The API is now stock `#include <gbm.h>` and nothing else. GBM_BACKENDS_PATH is wired from a CONSTRUCTOR in the package's own TU (priority 101, ahead of default-priority constructors in case one creates a device). An inherited value is still left alone — this is a default, not an override. That is reliable because a dependency's objects enter the consumer's link eagerly rather than being lazily selected; the emitted build.ninja names the object on the link line directly, so the constructor cannot be dropped. It is also what every other ecosystem does, and none of them use an API: distros (Debian libgbm1, Fedora mesa-libgbm) split libgbm out of the mesa SOURCE package so the compiled-in $libdir/gbm is right by construction; relocated and sandboxed stacks set the environment variable instead — Valve's pressure-vessel hit this exact bug when mesa 24.3 split the backends out (steam-runtime#797) and answers with GBM_BACKENDS_PATH, as do Nix, Conda and AppImage at activation time; and Mesa offers -Dgbm-backends-path= for packagers who control the build. This package is in the sandboxed case and cannot set a container-wide environment, so the constructor is the in-process equivalent. Longer term the wiring belongs in xim:mesa (build with -Dgbm-backends-path=, or declare lib/gbm/ into the view as it already declares lib and include), and then this package would carry no constructor at all; noted in the design doc. mcpp_gbm.h stays, demoted to optional introspection for diagnostics and for the tests, and says so in its own first line. Tests now come in two binaries, and the split is the regression guard for this very mistake: * tests/stock_usage.cpp includes STOCK <gbm.h> and nothing else — no mcpp_gbm.h, no helper declaration. If the repair ever goes back to being opt-in, this fails while the fuller gbm.cpp could still pass. * tests/gbm.cpp reads GBM_BACKENDS_PATH before calling anything at all, and re-execs itself with the variable preset to prove an inherited value survives the constructor — the only way to observe that rule, since by the time main runs the constructor is finished. Also drops the generated_files copy of the TU: install() is the only writer, and the parser takes literals only so the two could not share one source. Verified cold with the CI-pinned mcpp: 2 passed, 0 failed; both binaries confirmed failable by removing dri_gbm.so from the farm. * docs(libgbm): cross-repo closed-loop plan for GBM (mcpp / xim-pkgindex / mcpp-index) Records what the PR #281 discussion established: making gbm_create_device() work in an mcpp project needs no new mechanism. Every layer already exists and runs; two wiring points are missing, in two different repos. R1 (xim-pkgindex): GBM_BACKENDS_PATH is absent from graphics.lua's DISCOVERY table. DRI and EGL vendor dirs are there; GBM is the same class of thing (dlopen'd by path, not a link target) and simply never got its counterpart. R2 (mcpp): the default runtime selection reads <xlingsHome>/subos/default, whose envs is {}, while a project's xim: deps declare into <proj>/.mcpp/.xlings/subos/_. Measured: with [xlings] subos = "_" the whole chain works -- ${subosdir} expansion, prepend merge, child injection. So mcpp#352 fixed HOW to inject and not WHERE to read from. R2 is not gbm-specific: LIBGL_DRIVERS_PATH is unset too, so any mcpp-built GL program currently cannot find a DRI driver. Carries the measured evidence, the code locations, per-repo diffs, a verification matrix whose V5 is the mechanical precondition for deleting compat.libgbm's constructor, and the Conan/distro evidence for why the package should stay independent but thin (split axis is the INTERFACE -- gbm.pc vs gl.pc -- not the source project; Conan has no gbm recipe at all and models this class as <name>/system virtual packages). * docs(libgbm): second-round self-review supersedes the mcpp-side proposal Four substantive errors in the first cut, three of them 'concluded without running the experiment'. 1. B1/B2 was a false dichotomy. Measured the project subos: it has libc, crt1.o, libm and ld-linux but NOT libgcc_s or libstdc++, so it is not a superset of the toolchain subos. B2 (switch selection) would therefore REGRESS, which is the real objection -- the one I gave (blast radius / full rebuild) was weak, since contractHash already handles invalidation. And B1 (merge envs only) fixes runtime while leaving gbm.h and -lgbm to the package forever. The correct shape is layered inheritance (B3): keep --sysroot on the toolchain subos and overlay the project subos as -isystem / -L / -rpath plus a prepend env merge. One compiler takes one --sysroot, so 'inherit' necessarily means base + overlay, not swap. 2. Never tested whether the compat package could be avoided entirely. It cannot, but not for the reason given: [xlings] deps materializes "deps": ["mesa"] into .mcpp/.xlings.json and then installs nothing (gbm.h not found, no subos created), and [xlings] subos errors rather than bootstrapping a missing subos. So a package's xpm.deps.runtime is currently the ONLY door into the xim layer for an mcpp project -- which is itself a gap, and means compat.libgbm is presently doing a job that is not a library package's to do. 3. The verification matrix conflated the two C2 variants: V5 can only go green under B3. Under B1 the thin shim is permanent, not transitional. 4. R2 was one line where it is three: R2a ([xlings] subos cannot bootstrap), R2b ([xlings] deps materialized but not provisioned), R2c (default selection reads only the toolchain subos, no layering). R1/C1 and the industry argument in §3 are unaffected. * docs(libgbm): R2b fix (auto-provision [xlings] deps) + third-round review R2b: [xlings] deps is materialized into .mcpp/.xlings.json and then nothing installs it. mcpp already has two 'declare -> auto-install' paths to mirror: the toolchain first-run flow (prepare.cppm ~1690, fetcher.resolve_xpkg_path with autoInstall=true) and the project-scope install_packages capability (~2936, which already carries the live progress UI and whose install destination is chosen by package scope, so it lands in the project scope -- which is exactly what creates the project subos). Proposal reuses the latter, keyed off penv.deps, idempotent, with a toolchain-shaped error that prints the manual equivalent. Ordering matters and subsumes R2a: provisioning must run BEFORE runtime selection, or 'selected SubOS does not exist' fires first. So R2a is better understood as 'provision before select' than as 'subos must bootstrap', and [xlings] subos can keep its strict select-only semantics. Third-round review corrects an expectation the earlier rounds got wrong: even with R1 + R2b + B3 all landed, compat.libgbm does NOT disappear. The [xlings] deps route only works for an application's OWN manifest, and GBM's real consumers are mostly LIBRARIES (SDL2's KMSDRM backend, wlroots, ffmpeg VAAPI) which cannot inject [xlings] deps into their consumer's manifest -- they can only declare a dependency edge. Same reason Conan ships opengl/system as a package rather than telling users to write system_requirements themselves. Also records four assumptions still unverified, the sharpest being that B3's overlay must rank BELOW a package's own include_dirs or it would swap out everyone's GL headers (the overlap compat.glx-headers already documents as a real trap). * docs(libgbm): task breakdown, and the measurements that killed B3 §11 splits the work into T1–T10 with dependencies, and evaluates it against architecture / stability / simplicity / UX / compatibility / cross-platform / consistency / seamless-upgrade / test-coverage. Key structural point: R1 (xim-pkgindex) and R2 (mcpp) are independent chains, so the GBM closed loop does not wait on the larger mcpp work. §12 records what implementation actually found, and it overturns §8's central conclusion. B3 (layer the project SubOS over the toolchain SubOS) is NOT needed. The fix is to provision `[xlings] deps` at GLOBAL scope, because that registry's SubOS *is* mcpp's `--sysroot`; once the payload lands there, headers and libraries are visible with no -isystem/-L overlay at all. Three measurements got there: * project scope -> installs fine, headers land in the SubOS the compiler does not read, gbm.h still not found * resolve_xpkg_path (global) -> headers reach the sysroot, but it demands <name>@<version> and rejects a bare name * install_packages + make_xlings_env (global) -> correct for bare, namespaced and pinned spellings alike So §8.1's "the project SubOS lacks libgcc_s/libstdc++" table is still fact; it just proves "do not install there" rather than "layer over it". The data was right and the conclusion was backwards. This also keeps the change an order of magnitude smaller — nothing touches linkmodel.cppm, plan.runtimeSearch or link_line.cppm, whose comments document exactly the defect that reordering a mutable view would reintroduce. Verification recorded in full: the real ecosystem run under `xlings subos use --sandbox --gpu` allocating an actual gbm buffer object on card0, and the fresh-MCPP_HOME mcpp run closing compile/link/run/env with zero mcpp-index packages. Also the one thing still open and out of scope — the xim-x-mesa payload whose RUNPATH names glibc 2.39 while its own libgallium needs GLIBC_2.43 — and two verification traps worth knowing (MCPP_HOME appends another `registry/`, and mcpp keeps its own index copy separate from ~/.xlings). PRs: openxlings/xim-pkgindex#713 (C1), mcpp-community/mcpp#531 (R2b). * docs(libgbm): delivery status, one PR per repo, and where the SubOS-env half lives Records T1-T10 against the three PRs, and answers the review question this plan invited: PR mcpp#531 contains only provisioning because the SubOS ENVIRONMENT half was never missing from mcpp. subos_info.cppm parses envs, runtime_binding collects them, execute.cppm::compute_subos_env injects them with ${subosdir} expanded and prepend applied, and tests/e2e/200_subos_env_reaches_program.sh has asserted exactly that since mcpp#352. What was missing was the GBM row in the declaration (T1, xim-pkgindex#713) and a payload in the SubOS mcpp reads (T3, mcpp#531). T4 is retired outright per §12.1. mcpp#352 fixed HOW to inject; T1 supplies WHAT to inject; T3 supplies something to read it from. * docs(libgbm): should mesa (or its separable libraries) become mcpp-index packages? mcpp does support shared-library packages -- package-types.md shape F, compat.x11 and linux compat.vulkan -- so this is a should, not a can. mesa itself: no. Two libgbm.so.1 in one process with xim:mesa already providing one (compat.vulkan-runtime reached the same conclusion for libvulkan: 'one loader per process is the whole point'); and mixing a shared closure into an index whose compat.* are all static is a measured silent symbol hijack -- 86 zlib symbols exported from the exe, libgio's 12 zlib calls all bound there, the bundled libz.so.1 fully shadowed, running fine with no warning. vcpkg forbids that with triplets and Conan with a propagated shared option; mcpp/xlings has no such whole-graph switch. But the instinct is right for the separable pieces, and the criterion is the one from section 3: does upstream ship it as a separable unit. libdrm does, Conan has a real recipe for it, and compat.vulkan-runtime currently harvests libdrm*.so.* from the HOST -- exactly the host edge this plan exists to close. A source-built compat.libdrm would close it and trips none of the mesa objections. Recorded as the recommended next package. * docs(libgbm): the constructor's removal condition is now mechanical The descriptor said the real fix 'is worth filing'. It is filed and implemented: openxlings/xim-pkgindex#713 puts GBM_BACKENDS_PATH in the graphics discovery table, so xim:mesa declares it into the subos and every consumer inherits it (measured: '4 env var(s) from 1 package(s)' where it was 3, and a real gbm_bo_create on card0). So the comment now names the removal CONDITION instead of an intention, and the condition is checkable rather than a judgement call: delete the TU, the lib/gbm farm and mcpp_gbm.h, re-run tests/stock_usage.cpp -- which includes stock <gbm.h> and nothing else -- and if it stays green the ecosystem is supplying the value. Also records that it is NOT green yet as of today: the value only arrives in a home whose installed xim:mesa was configured by an index carrying #713, i.e. after that PR merges and the artifact republishes. Verified again after the edit: parse OK, 2 passed via the CN mirror, cold. * docs(libgbm): reading guide — the doc records three rounds, last one wins The plan now supersedes itself twice (section 2's C2 by section 8, section 8's B3 by section 12.1), and a reader going top-down would act on retired advice. A short guide up front says which sections are authoritative and which are kept only as a record of reasoning that was overturned — worth keeping, because what overturned each round was a measurement, and those measurements are the durable part. Also states the honest pattern: the only thing that kept changing was the mcpp-side shape, and that is exactly the part I did not read the source or run an experiment on before proposing. * docs(libgbm): why the xlings pin stays at 2026.8.27.5 The task asked to pin the internal xlings dependency to 2026.8.27.4, "which should be released by then". Checked, and the premise is inverted: .4 is an OLDER already-published release (2026-08-27T10:18) while .5 is Latest (2026-08-27T13:29, 8 assets), and every pin is already on .5 -- check_version_pins.sh reports "OK: xlings pins all at 2026.8.27.5", and xim-pkgindex's xlings.lua already has latest = 2026.8.27.5. mcpp-index pins mcpp, not xlings. So the intent -- pin to a released xlings -- is already satisfied, and satisfied better. Downgrading would also drop a property the source documents: .5 makes the declaration outrank the index during resolution, so it holds even when "latest" is not the highest entry in the table; .4 does not. The same comment records what the pin is a FLOOR against: below 2026.8.27.2 the bundled xlings takes a subos runtime binding from a compiled-in constant, so a home can declare one glibc and install another, and mcpp is the party that fails. kXlingsVersion is the single source of truth for every pin under .github/, so a downgrade would touch release/CI/bootstrap in a dozen places. The local warning that probably prompted this -- "vendored xlings 2026.8.27.4 is older than the pinned 2026.8.27.5, but no newer source is available" -- is about the copy bundled into the mcpp release tarball, not about .5 being unavailable; .5 has 8 downloadable assets. That message names its own fix, which is to self-update xlings rather than to move mcpp's pin backwards. Not executed; recorded in section 15 instead. * docs(libgbm): mark section 8.1 superseded at its own heading Section 2's C2 already carried a supersession banner; section 8 did not, so a reader landing there directly would act on the retired B3 conclusion. The reading guide said so, but a guide only helps someone who started at the top. Scoped to 8.1 rather than the whole section: 8.2-8.6 (the untested-alternative finding, the V-matrix correction, the R2a/R2b/R2c split) all still stand, and 8.1's own measurement is still fact -- it just proves "do not install into the project scope" rather than "layer over it". * docs(libgbm): V5 passes — the constructor is removable once #713 lands Section 4 defined deleting the constructor as a mechanical precondition rather than a judgement call. Simulated the post-merge state locally (copied #713's graphics.lua and mesa.lua into ~/.mcpp/registry's index copy, re-ran xlings install so mesa's config() re-declared) and then walked the REAL dependency path -- [dependencies.compat] libgbm, no [xlings], no ldflags, just #include <gbm.h> -- cold over the CN mirror: GBM_BACKENDS_PATH = /home/speak/.mcpp/registry/subos/default/usr/lib/gbm That is the SUBOS path, not the package's own farm. The constructor is `if (getenv("GBM_BACKENDS_PATH")) return;`, so a subos-shaped value proves the ecosystem set it first and the constructor was a no-op. Against an unpatched index the same path yields the in-package farm value; the only variable between the two runs is whether the index carries the DISCOVERY row. Not deleting yet, and the reason is the same gate working as designed: until #713 merges and the artifact republishes, consumers on the published index would lose the variable and tests/stock_usage.cpp would go red in CI -- which is precisely the mechanical check, enforced rather than remembered. Section 16.4 lists the exact one-step follow-up, and notes that stock_usage.cpp stays: after the removal it stops asserting "our constructor ran" and starts asserting "the whole ecosystem loop works", which is the most valuable regression this package has. * docs(libgbm): correct section 14.2 — compat.libdrm does not close that host edge Section 14.2 recommended compat.libdrm on the grounds that it would close compat.vulkan-runtime's host harvest of libdrm*.so.*. That reasoning is wrong, and chasing it found a better next step. vulkan-runtime's farm exists because the dlopen'd ICD ITSELF comes from the host and carries its own DT_NEEDED (libdrm, LLVM, xcb), which must resolve through the same directory. That needs host-compatible SHARED libraries. An in-index compat.libdrm would be a static package like every other compat.*, and a static archive cannot satisfy a .so's DT_NEEDED. I had conflated "there is a package called libdrm" with "the farm needs libdrm*.so.*"; they are not the same thing. libdrm may still be worth adding for build-time consumers, but not for that reason. The real next step is one layer up. xim:mesa already ships share/vulkan/icd.d/radeon_icd.x86_64.json and lib/libvulkan_radeon.so, and mesa.lua already calls graphics.declare_vulkan_icd(); with DISCOVERY's XDG_DATA_DIRS the loader finds it. Meanwhile compat.vulkan-runtime still has deps = {} and still sweeps /usr/lib/x86_64-linux-gnu -- which is exactly where compat.glx-runtime stood before 2026.08.08, and glx-runtime's fix is the template: depend on the ecosystem stack, keep the host door only for vendors the ecosystem does not cover. Stated honestly: the ecosystem's Vulkan coverage is AMD-only today (mesa.lua says anv and NVK are still absent), so vulkan-runtime cannot reach the zero-host position compat.libgbm reached. It should become ecosystem-first with a host fallback, rather than host-only as it is now. * fix(libgbm): the xpm anchor is inert — stop naming it like the header Asked whether libgbm-2026.08.29.h actually needs downloading, or whether the runtime payload already supplies the header. The payload supplies it: install() symlinks gbm.h out of <subos>/usr/include and libgbm.so* out of <subos>/lib, and the downloaded file is never read. The anchor exists only because the xpm schema wants a url + sha256 per version -- the same inert-anchor trick compat.glx-runtime plays with an OpenGL-Registry README and compat.vulkan-runtime with a Vulkan-Loader README. It used to be Mesa's own src/gbm/main/gbm.h, on the theory that the anchor may as well record which header the package was written against. That was a mistake: an anchor NAMED like the header this package installs reads as though the download is the shipped header, which is the one thing it is not -- and the first person to read the descriptor asked exactly that question. A README cannot be mistaken for a payload, so the anchor is now Mesa's README.rst at the same tag. CN asset published alongside (gtc, mcpp-res/libgbm@2026.08.29), re-fetched and compared byte-for-byte against GLOBAL: 03f0fd62... , 1720 bytes. sha256 taken twice before use. Version deliberately NOT bumped: 2026.08.29 has never been published from this index (the package is still in PR), so no consumer can have resolved the old anchor. Verified cold on both mirrors: MIRROR=CN and MIRROR=GLOBAL each 2 passed. * feat(libgbm): the package sheds its workaround; index floor corrected Two things, both found by reviewing the PR against the ecosystem rather than against itself. 1. THE PACKAGE IS NOW WHAT IT SHOULD ALWAYS HAVE BEEN. 598 -> 303 lines. openxlings/xim-pkgindex#713 merged and the index artifact republished, so xim:mesa now declares GBM_BACKENDS_PATH into the subos and every consumer inherits it. Everything this package carried to compensate is gone: the constructor TU, the lib/gbm backend farm, mesa_libdir(), and mcpp_gbm.h. What remains is a binding and nothing else -- deps = { runtime = xim:mesa }, an install() that symlinks gbm.h and libgbm.so* out of the subos view, and include_dirs / ldflags / runtime dirs. It compiles no upstream source, ships no header of its own, and sets no environment variable. Setting GBM_BACKENDS_PATH was always Mesa's own mechanism and the environment's job; the package doing it was the workaround, not the design. tests/gbm.cpp drops the mcpp_gbm.h include and the re-exec test, and now asserts the ECOSYSTEM supplies the path -- which makes this repo's CI the tripwire on xim-pkgindex's DISCOVERY row and on mcpp's subos-env injection. 2. THE INDEX FLOOR WAS FALSE, and this package proved it. index.toml claimed min_mcpp = 2026.8.3.3. Measured against that version: compat.libgbm reports `parse OK` and then fails to link -- libdrm.so.2, needed by .../libgbm.so, not found undefined reference to `drmGetVersion' because 2026.8.3.3 does not know runtime.link_library_dirs (the string does not occur in the binary) and SILENTLY IGNORES it. Silently-ignored keys are invisible to the lint, so the "floor first, new grammar after" guard could not catch this: it assumes unknown keys are rejected, and runtime.* subkeys are not. 2026.8.10.3 does not even get that far -- it cannot bootstrap against this index at all ("selected RuntimeBinding glibc@2.44 requires payload ... but it is not installed"), which is the compiled-in-binding defect mcpp's own xlings.cppm cites as its reason to floor xlings at 2026.8.27.2. So every client below 2026.8.27.2 was already broken here for reasons predating this package. Floor and latest raised to 2026.8.27.2 -- the version validate.yml has pinned all along, which also restores the "move it with the CI pin" invariant that had quietly drifted. Verified: `mcpp test -p libgbm` 2 passed cold via the CN mirror, against an index synced from the PUBLISHED artifact (xlings update) rather than a hand-patched copy; all lint gates and mcpp xpkg parse clean across 136 descriptors. * docs(libgbm): the shipped docs still described the deleted design Review pass 2. Three documents that ship with this PR still described the constructor, the lib/gbm farm and mcpp_gbm.h as though they existed: * docs/descriptor-examples.md and its zh counterpart -- the catalog row is the first thing a reader opens when looking for this shape, and it described the workaround as the design. Rewritten around what the package actually is: it sets nothing, and the backend path comes from xim:mesa's declaration. The historical note stays in one clause, because "it briefly did carry a constructor, and deleting it took 598 lines to 303" is the useful part to remember. * .agents/docs/2026-08-29-add-libgbm-plan.md -- the first-round design record, whose central section is titled "the part that is actual work" and is about machinery that no longer exists. Banner at the top rather than a rewrite: the shape decision, the zero-host rule, the two-directory-key finding and the test design all still hold, and the reasoning that was overturned is worth keeping next to what overturned it. Nothing in the descriptor or the tests changed here; this is the documentation catching up with the code. * docs(libgbm): record the final state — the follow-up in 16.4 is done Section 16 said the constructor could not be deleted until #713 merged. It has, so 16.3 is marked stale and a new section 18 records what the package actually ended up as: 598 lines to 303, with the constructor, the backend farm, mesa_libdir() and mcpp_gbm.h all gone. Also records what the two test binaries now guard, which is the part worth knowing: their assertions point OUTSIDE this repository -- at xim-pkgindex's DISCOVERY row, at xim:mesa still placing its backends, and at mcpp still injecting subos env. The member stopped being a self-test and became the ecosystem's tripwire. Verification in 18.2 is against the PUBLISHED artifact (xlings update), not a locally patched index copy, which is the distinction section 12.6 warns about. * feat(graphics): compat.libdrm, compat.egl and compat.wayland — the KMS/DRM stack closes compat.libgbm on its own can allocate a buffer and do nothing with it. These three are the rest of the stack, all on the binding shape libgbm validated: compat.libdrm the layer underneath -- drmModeAddFB2 / drmModeSetCrtc turn an allocated buffer into a scanout compat.egl the layer that makes it renderable -- eglGetPlatformDisplay(EGL_PLATFORM_GBM_KHR, gbm_dev, NULL) compat.wayland the other display path -- be a client of, or be, a compositor WHY BINDINGS AND NOT SOURCE BUILDS. libdrm and wayland both PASS the separable-unit test that libgbm fails -- independent freedesktop projects with their own releases, and Conan carries libdrm as a real recipe. They are bindings for the second criterion instead: the ecosystem already owns them, Mesa's own payload has DT_NEEDED on both, and a second libdrm.so.2 or libwayland-client.so.0 in a process that also loads Mesa means two handle tables for one connection. EGL is the sharpest case: it is a spec, the thing you link is glvnd's vendor-neutral dispatch library, and building a second one would be the "one loader per process" mistake compat.vulkan-runtime already documents. Three things worth knowing, each found by making it work: * libdrm needs TWO include roots. Public headers at the include root, the uapi headers they include under libdrm/, and xf86drm.h line 40 is a bare `#include <drm.h>`. Expose one root and nothing compiles -- measured while writing compat.libgbm's own test, which hit exactly that. * compat.egl ships ONLY EGL/, out of a payload that also carries GL/, GLES2/, GLES3/ and KHR/. A third provider of GL/ would turn the two-provider race compat.glx-headers documents into a three-way one; KHR/ comes from the index's existing compat.khrplatform, and that edge is load-bearing rather than tidy -- without it EGL/egl.h does not parse. X11 is deliberately not a dependency: that include is USE_X11-gated, and forcing Xorg onto headless GBM users would be exactly wrong. * compat.wayland harvests four libraries and puts only -lwayland-client on ldflags. A dependency's ldflags reach the consumer's link line with no way to opt out, so forcing libwayland-server on every client would be unfixable downstream. A compositor author adds it themselves and it resolves out of the farm -- and the test member does exactly that, so the documented escape hatch has a regression guarding it rather than a promise. Verified: all three `mcpp test` green cold via the CN mirror. EGL's client extension list includes EGL_KHR_platform_gbm / EGL_MESA_platform_gbm, which is the seam with compat.libgbm; libdrm's DRM_FORMAT_XRGB8888 is asserted equal to the 'XR24' fourcc compat.libgbm asserts, because those two values cross the gbm_bo -> drmModeAddFB2 boundary and a mismatch shows wrong colours rather than an error. Lint + xpkg parse clean across 139 descriptors. CN mirrors published for all three and re-fetched byte-identical against GLOBAL.
Sunrisepeak
pushed a commit
that referenced
this pull request
Aug 31, 2026
`make@4.4` 与 `cmake@3.28` —— 索引里是 make 4.3 与 cmake 4.4.2/4.0.2,两个都从没 解析过。这一点此前不可见,因为 #531 的供给不读自己的结果:xlings 报出的每一种失败都 被当成成功。于是**这条最直接覆盖 `[xlings] deps` 的测试,是建立在一次从未成功的安装 之上做断言的** —— 正是 #531 想要终结的那个状态。 结果被读之后,fixture 的错误第一次可见:构建停下来了。这不是回归,是这条修复第一个 抓到的真实例子,而它抓到的是仓库自己的测试。 改用 `ninja@1.12.1`:mcpp 能构建的地方它一定已装,所以供给短路,这条测试仍然不花 任何下载。
Sunrisepeak
pushed a commit
that referenced
this pull request
Aug 31, 2026
e2e 88 的 fixture 声明 `make@4.4` 与 `cmake@3.28`,而索引里是 make 4.3、 cmake 4.4.2/4.0.2 —— 两个版本从来不存在。这条测试在 #531 的整个生命周期里都是绿的, 因为供给不读自己的结果。 ⭐ 一般形状:**fixture 里的取值在有东西开始检查它们的那一刻,就不再是随意的了。** 在「这段文字有没有到达那个文件」是唯一断言的时候,它们只是自由字符串。
Sunrisepeak
added a commit
that referenced
this pull request
Aug 31, 2026
* fix: #540 的七条审计,以及核验它们时挖出的四条 (2026.9.1.1) 七条里六条成立,一条判据打偏。核验过程本身挖出四条没有人报过的,其中一条比原报告 的全部七条都严重。它们几乎全是同一族:**mcpp 关于自己说了一句话,而 mcpp 不遵守它。** 完整核验、量化与设计见 `.agents/docs/2026-08-31-issue540-seven-audit-findings.md`。 ── 1. 供给从不检查自己是否成功(未报告,最严重)──────────────── `xlings::call` 返回 `expected<CallResult, string>`,只要子进程跑起来就处于**值**态 —— 能力自身的状态在 `CallResult` 里面,因为 xlings 讲完 NDJSON 协议后按设计退 0。 #531 的调用点只测了 `if (!r)`,于是 xlings 能报出的每一种失败都被读成成功。实测: $ mcpp build # deps = ["definitely-not-a-real-package"] Provisioning [xlings] deps (definitely-not-a-real-package) Finished dev [unoptimized + debuginfo] in 0.12s $ cat .mcpp/.xlings-deps.stamp definitely-not-a-real-package ← 记为已完成 $ mcpp build Finished dev in 0.00s ← 连 Provisioning 都不再打印 xlings 报得完全正确(`E_NOT_FOUND` + `{"exitCode":1,"kind":"result"}`),`call()` 也 解析对了。⚠️ 正确写法就在同一个文件里:依赖安装路径写的是 `if (r && r->exitCode != 0 && …)`。#531 的注释说它修的缺陷是「声明看起来被接受了却 什么都没做,这是一个配置键能有的最坏形态」—— 没人读结果,它的修法重现了那个形态, 而记号把它变成永久的。 ── 2. 该路径不认两个自动安装开关(未报告)──────────────────── 它自称与 `[toolchain]` 平权,而那条先例在 `MCPP_OFFLINE` 或 `MCPP_NO_AUTO_INSTALL` 下硬错并报出触发的是哪一个。⚠️ 一个专门导出 `MCPP_NO_AUTO_INSTALL` 来阻止意外下载 的 CI,会从一条从没听说过这个变量的路径上拿到下载。 拦的是安装**动作**而不是整块:已供给好的工程仍然离线构建得出来。 ── 3. 记号记录全局效果却存在项目里(未报告)──────────────── 安装落在 registry(刻意如此),而 `<project>/.mcpp/.xlings-deps.stamp` 记着它。清掉 或换掉 `MCPP_HOME`,项目仍然声称已装;`mcpp clean` 只删 `target/`,也清不掉。改按 依赖列表哈希存进 registry,并且只在成功时写。⚠️ 搬迁不得让昨天能跑的构建今天被拒。自审时发现:升级后每个已供给的工程读起来都是 「未供给」,配上第 2 条的闸,离线首次构建会被拒。旧记号因此在**唯一一处**被采信 —— 就是那道闸 —— 因为在那里网络关着,没有别的办法查证。它绝不被提升进 registry:写它 的那个版本不读结果,所以它的含义是「尝试过」而不是「成功了」,别处采信等于把缺陷 带过修它的这次升级。 ── 4. 三份手抄的词汇表,三份都漂移了 ─────────────────────── `kKnownBuildKeys`、`kKnownConditionalBuildKeys` 与 xpkg 的 `target_cfg` 列表,都是 别处已有机器可读形式(紧挨其上的读取点、`BuildInputs` 的成员表)的转录。代价不是 少一条警告,而是**一条假的警告**。 * `[build] std-module` / `std-compat-module` / `std-module-flags` 被读取却报 unsupported —— `kKnownBuildKeys` 的**第二次**漂移,而第一次的详细叙述就在它上方 八行。 * 条件轴拒绝 `BuildInputs` 的两个成员:`std-module-flags`(#494 就是为这条轴才把它 挪上来的,成员注释写着「membership here is what makes the cfg axis carry it」) 与 `private_include_dirs` —— 后者更严重,xpkg 描述符的 `target_cfg` 块,也就是 **同一条轴的另一套语法**,是接受它的。 * `[features]` 是唯一一个完全没有 schema 检查的结构化段落。 两条列表的消息现在都由列表本身生成。新增 6 个单测,每个都带否定对照 —— 「没有警告」 这类断言会被一个把检查整个删掉的解析器满足。 ── 5. cfg(<层> = "…"):文档记载而从未接线的特性 ──────────── docs/14 用一整节记载它,连「为什么不能用 feature 选择代替」和作用域约束都论证过; 而 `cfgpred::Ctx` 只由三元组构造,`match_kv` 只认 os/arch/family/env。于是每一个这样 的段落被**静默**丢弃,包成功构建在错误的 C 库配置上。实测:`cfg(env="gnu")` 生效、 `cfg(c-abi="glibc")` 不生效、零诊断。8 处文档如此(中英各 4)。 实现:目标侧解析(`tsd::resolve`)与 P1689 扫描之间有一段空窗,而 build.mcpp 已经在 用它 —— 它按同样的形状把 directive tail 镜像进 `packages[0]`。第二趟合并用同样的 `directives::mark` + `fold_private_tail`,不另造机制。⚠️ 两趟必须不相交,而只靠 `matches()` 做不到:`cfg(any(linux, c-abi="musl"))` 的 三元组腿在第一趟就为真,第二趟会再匹配一次,`append()` 是追加式的于是贡献两遍。 按**是否命名了层**归属,而不是按答案。e2e 328 数 `-D` 出现次数来守这条。⚠️ 层谓词不能选择依赖(层是从依赖图解析出来的),这种段落被报出并忽略。 ── 6. 未知的 cfg 键现在会说话 ────────────────────────────── 求值器过去对未知键返回假,而那与「这一段本就不该匹配」读数完全相同。⚠️ 词汇表从 求值器**导出**而不是被转录 —— 否则这条诊断自己就会成为第 4 条里的第四份手抄件。 求值器同时就是校验器:一次遍历回答三个问题,因为另写一个校验器就是同一份文法的 第二个解析器,而本仓库已经为其中一个付过账。 `ident()` 现在接受 `-` 与 `+`,否则 `c-abi` 会被扫成裸词 `c` 加一堆垃圾,诊断能报的 就只有字母 `c`。 ── 7. c-abi 层报的是库名,不再是三元组的 env 段 ────────────── 这条是实现第 5 条时才暴露的:谓词是一次比较,而比较有两侧,而此前的设计工作从没问过 右侧的取值是什么。它在普通 Linux 宿主上是 `gnu`(`payload_libc_name` 原样返回 env 段),而 docs/14 的表一直写着 `glibc`/`musl`/`picolibc`,e2e 296 的文件头也把它期望的 报告写作 `c-abi glibc (payload)`。⚠️ **一个只被打印的值没有拼写纪律,把它提升为用户 比较的对象会追溯地强加一条。** 请求侧保留三元组的拼写(规范 §3.4:env 段是对 c-abi 的请求而非答案),两者经 `c_abi_request_satisfied` 比较而非按相等 —— 否则每一次普通 `-gnu` 构建都会被报成请求 不匹配。Windows 上 `-gnu` 命名的是工具链的 MinGW 形态,其 C 运行时是 UCRT,因此映射 按 OS 分叉。 ── 8. 退出码:补上 runtime 的一半,并写下被指派的契约 ───────── 原报告说 docs/11 的表漏了 `4`。判据打偏了:那张表按信封命令划定,而**没有一个信封 命令给得出 4** —— `self env --format json` 恰恰是被特意做成绕开产生 4 的 `load_or_init` 的。表真正漏的是 `1`(`xpkg parse` 五处返回)。 2026-08-08 的协议设计文档 §R4 把完整契约指派给了 `docs/spec/`,一直没有写。现在写了: `docs/spec/exit-codes.md`(SPEC-003),0/1/2/4/70/127 全表 + 稳定性承诺。 ── 9. 其余文本 ───────────────────────────────────────────── * `mcpp build --help` / `mcpp test --help` 说默认档位是 release,而它是 dev。六处说得 对(含一条 e2e 与 mcpp 自己的 mcpp.toml),两处说错;`prepare.cppm` 那条字段注释是 没被报告的第三处。 * `mcpp index update <name>` 承诺按索引筛选而只筛项目级。限制此前只写在一条注释里 —— 一个只有实现者看得到的地方,从外面看与「这功能坏了」无从区分。 * docs/13 与 docs/17 仍在说 `[xlings] deps` 不是安装触发器(#531 之后为假)。 * `mcpp::target_libc()` 的文档改为它实际回答的问题:供给 sysroot 的那个**载荷**包, 而这个值是目标侧解析的一项**输入**。 ── 测试 ──────────────────────────────────────────────────── 单元:test_manifest 新增 6 个(三份词汇表各一正一负),test_targetside 新增 2 个; 96 个测试二进制全过。 e2e:新增 327(供给失败会报出来 + 两个开关 + 搬迁连续性,五条断言,前两条不需要网络)、 328(层谓词生效/不生效/恰好一次 + 未知键 + --strict)、329(退出码契约,含「退 1 且 stdout 带信封」)。⚠️ 判据的分母:327 的核心断言跨**两次**调用 —— 为失败而写的记号在写它的那一次里 不可见,只有第二次构建才分得开「失败了」与「失败了并被记成完成」。328 数 `-D` 的 出现次数而不是用预处理器判断,因为预处理器分不开一个 `-D` 和两个。 * fix(provisioning): stamp key uses uint64_t, not size_t 一个 32 位宿主会把 64 位的 FNV offset basis 截断,于是它拥有一份与别人不同的键空间 而没有任何东西说明为什么。碰撞本身两侧都不是正确性问题 —— 记号文件存的是**列表**, 比较也是针对内容的,所以两个共键的列表会重新供给而不是悄悄采用对方的记录。 * refactor(provisioning): 闸不再多套一层缩进 把 `have != want` 换成一个 `needProvision` 布尔,于是自动安装闸可以在供给块**之前** 求值并在采信旧记号时把它关掉 —— 供给块本身保持原来的嵌套层级。行为不变;改的是让 一个千行的 PR 里这一段仍然读得下去。 * fix(features): 保留键的诊断指向一个存在的拼写 自审读出:`deps` 的那条消息提供了 `optional = true`,而 mcpp 从来没有这个键。 一条把读者送去一个解析器不认识的键的诊断,与本次发布正在移除的那些警告是同一个 缺陷,只是外了一层。文档化的机制是 `[feature-deps.<name>]`(docs/05 §2.8.2)。 同步中英两份 docs/05。 * test(e2e 328): 补上依赖那一条腿 —— 它才是这个特性的动机 自审读出:328 此前每一条断言都能被一个只给 packages[0] 打补丁的实现满足。而 docs/14 是为「供给某一层、并支持其下方多个实现的包」写的这个特性 —— 那是一个**库**, 以别人的依赖身份被走到。与本 pass 共用同一段窗口的 build.mcpp tail 只打补丁给根包 (对它自己的用途是对的),照抄那个形状会让这个特性唯一存在的对象没被服务,而所有 只看根包的断言照样全绿。 新增的这条带否定对照:依赖里不匹配的那一段必须不生效。 * docs(11): 记下 layers[].interface 的取值变化 它是机器接口上的一个字段,而取值从 `gnu` 变成了 `glibc`/`ucrt`。§6 承诺的是 字段的**含义**不变 —— 含义确实没变 —— 但按字面量取值的客户端会受影响,而契约页 不说这件事,就只能靠对方撞上。 * test(e2e 328): 层谓词不能选依赖 —— 补上这条的判据 实现了这条诊断,却从没跑过它 —— 而「判据写了、绿了、却从没跑到」正是本次发布在修的 那一族。带一条同样重要的对照:同一个谓词下的 build 输入必须**仍然生效**,否则一条 警告就是把一次静默丢弃换成了另一次。 * test(e2e 88): fixture 声明了两个从不存在的版本 `make@4.4` 与 `cmake@3.28` —— 索引里是 make 4.3 与 cmake 4.4.2/4.0.2,两个都从没 解析过。这一点此前不可见,因为 #531 的供给不读自己的结果:xlings 报出的每一种失败都 被当成成功。于是**这条最直接覆盖 `[xlings] deps` 的测试,是建立在一次从未成功的安装 之上做断言的** —— 正是 #531 想要终结的那个状态。 结果被读之后,fixture 的错误第一次可见:构建停下来了。这不是回归,是这条修复第一个 抓到的真实例子,而它抓到的是仓库自己的测试。 改用 `ninja@1.12.1`:mcpp 能构建的地方它一定已装,所以供给短路,这条测试仍然不花 任何下载。 * docs: 记下 D12 的第一个捕获对象是本仓库自己的测试 e2e 88 的 fixture 声明 `make@4.4` 与 `cmake@3.28`,而索引里是 make 4.3、 cmake 4.4.2/4.0.2 —— 两个版本从来不存在。这条测试在 #531 的整个生命周期里都是绿的, 因为供给不读自己的结果。 ⭐ 一般形状:**fixture 里的取值在有东西开始检查它们的那一刻,就不再是随意的了。** 在「这段文字有没有到达那个文件」是唯一断言的时候,它们只是自由字符串。 * docs(spec-003): 穷举核对写成读数,而不是「我数了一遍」 §4 原本给了一个退出码清单并声称穷举,而那个清单少了三处 `return 4`(pack/pipeline、 cmd_toolchain、pm/commands —— 都是同一个 `load_or_init` 失败,所以 `4` 的含义没变, 共 11 处而非 8 处),也没提 `20` 与 `1024`。 改成:贴出产生读数的命令,然后**按出处**逐个归类。⚠️ `4` 同时落在两栏 —— 它在 `index_management.cppm` 里是退出码,在 `runtime/elf.cppm` 里是 `R_RISCV_COPY`。 一份声称穷举的规范,自己就得能被复核。 * test(e2e 328): 两处只在 Windows 上才成立的问题⚠️ **`cfg(all(unix, …))` 在 Windows 上正确地为假**,于是 fixture 的 #error 触发, Windows e2e 1/2 变红。这条腿要证明的是「三元组键与层键**组合**」,那么它的三元组 那一半就必须在测试会跑的每个平台上为真。改成 `any(unix, windows)`。 「恰好一次」那条腿同理:三元组腿为假的地方,只有一条路能匹配,这个守卫就不再守任何 东西 —— 它存在的理由正是第一趟会经三元组腿匹配而第二趟经层腿匹配。⚠️ **注释里的反引号落在**未加引号**的 heredoc 里,变成了命令替换。** fixture 要 插值 $CABI 所以 heredoc 不能加引号;套件因此打印 `syntax error: unexpected end of file` 而**测试照样通过**。注释移到 heredoc 之外。 顺带:`-DPROBE_ONCE=1` 的计数改为同时接受 `/D`(Windows 自举可能驱动 MSVC)。 本机全量:355 passed / 3 failed —— 三条(62、168、208)在已发布的 2026.8.30.2 上以 相同消息失败,是本机 musl/glibc 载荷的缺口,对照已跑。 --------- Co-authored-by: speak-agent <248744407+speak-agent@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
[xlings] depswas declared and never installed.ensure_project_index_dirwrote it into.mcpp/.xlings.jsonverbatim and stopped there, so a manifest sayingdeps = ["xim:mesa"]produced a file naming mesa, no payload anywhere, and:The declaration looked accepted and did nothing — the worst shape a config key can have.
[toolchain]has had declare it and mcpp provisions it on first use all along (the "First run — no toolchain configured … installing … as default" block); a build environment should not have two grades of declaration.Global scope, and the scope is the whole point
The obvious implementation —
install_packagesagainstmake_project_xlings_env— installs at project scope, and measurably does not work. On a freshMCPP_HOMEthe headers land in<proj>/.mcpp/.xlings/subos/_/usr/includewhile--sysrootnames<MCPP_HOME>/registry/subos/default: two SubOS views, payload in the one the compiler does not read,#include <gbm.h>still failing with the dependency installed and declared.make_xlings_envis the global env, so the payload lands in the registry whose SubOS is the sysroot — the same place[toolchain]installs into.That single choice is what removes the need for any sysroot-layering machinery. Nothing in
linkmodel.cppm,plan.runtimeSearchorlink_line.cppmis touched — those carry ordering invariants whose own comments say "a mutable view that outranks either of them lets a later install silently change which library an ALREADY LINKED artifact loads. That is not hypothetical — it is the defect this module was created for."Why
install_packagesand notresolve_xpkg_pathresolve_xpkg_pathrequires<name>@<version>and rejects a bare name — verified:A manifest is entitled to name a package without pinning it.
install_packagesresolves the version itself, and reports an ambiguous name with its candidates.(Noted in passing: the toolchain path's
(void)fetcher.resolve_xpkg_path(dep, …)forxim:glibc/xim:linux-headersdiscards its result, so the same rejection there would be silent. Not changed here.)Declared deps only
Provisioning uses
runtimeOwnerManifest.xlings.deps, notpenv.deps. A cross-compilation target sysroot is appended to the latter a few lines up, and provisioning it would change behaviour for projects that never asked: a name that does not resolve would turn a build that used to proceed into a hard failure. The contract is what you declared gets installed; the sysroot entry is mcpp's inference, not the author's declaration.Ordering is load-bearing
Provisioning runs before the runtime binding resolves, because a named
[xlings] subosthat does not exist yet is a hard error —— and provisioning is what creates it. Placed next to the custom-index sync, both first-use steps sit in one place.
Idempotent by content
A stamp records the dep list, so editing the list re-provisions and an unchanged list costs no xlings round-trip. Verified: a second
mcpp runemits noProvisioningline.Verified end to end on a fresh MCPP_HOME
A project with no mcpp-index dependency at all:
src/main.cppcontaining only#include <gbm.h>and agbm_format_get_namecall:Compile, link, run and environment all close — the environment via the pre-existing
compute_subos_envpath, now that there is something in the SubOS for it to read. TheGBM_BACKENDS_PATHdeclaration itself comes from openxlings/xim-pkgindex#713; before that PR the same run leaves it unset while everything else works.Tested with bare (
xim:mesa) and pinned (xim:mesa@25.0.7.2) spellings.Tests
mcpp test— 96 passed, 0 failed (1 skipped: the non-Linux boundary, as always on a Linux runner). The SubOS-env axis keeps its existing coverage intests/e2e/200_subos_env_reaches_program.sh.Design note: mcpp-index
.agents/docs/2026-08-30-gbm-cross-repo-closed-loop-plan.md§9 and §12 — §12.1 records the three measurements that retired B3.