chore: migrate descriptors to SPEC-001 short-name identity (mcpp 0.0.106)

mcpp 0.0.106 restores the canonical identity form: `namespace` carries the
hierarchy, `name` is a single atomic segment. 0.0.105 briefly required the
opposite (name spelled as the fully-qualified `<namespace>.<name>`), which was
an encoding constraint rather than a design rule — it existed only because mcpp
re-derived the wire name instead of using the literal it had already read.

  namespace = "compat", name = "compat.zlib"   ->   name = "zlib"

45 descriptors migrated; the 3 namespace-less public module packages
(imgui/ffmpeg/opencv) are unchanged — a bare name IS their full identity.

Three short names now repeat across namespaces: `imgui`, `ffmpeg` and `lua`
(compat's versus the default namespace's, and compat's `lua` versus
mcpplibs.capi's). That is legal — identity is the PAIR, and only the pair has
to be unique. It needs xlings >= 0.4.69 (openxlings/xlings#381), which keys the
index by (namespace, name); 0.0.106 bundles it. Verified against a local path
index: bare `imgui` resolves to `mcpplibs:imgui` and `[dependencies.compat]
imgui` resolves to `compat:imgui`, each installing to its own store dir.

check_package_name.lua is inverted to match: `name` must be atomic, hierarchy
belongs in `namespace`, and the legacy fully-qualified spelling stays accepted
(the prefix is stripped before judging) so nothing published before this is
invalidated. No filename lint — the filename is not part of identity.

min_mcpp/latest_mcpp move to 0.0.106 in lock-step with the CI pin. This one is
NOT optional: a client older than 0.0.106 re-derives `<ns>.<short>`, misses the
short-name key, and reports a bare E_NOT_FOUND with nothing pointing at the
cause.

Verified locally: all 48 descriptors pass the inverted lint; identity pairs are
unique; no `name` still carries a dot; the three counterexamples (non-atomic
short name, dotted name without a namespace, legacy FQN) each behave as
specified.

Author: Sunrisepeak

.github/workflows/validate.yml

@@ -11,6 +11,16 @@ on:
   workflow_dispatch:
 
 env:
+  # 0.0.106: SPEC-001 package identity (mcpp#280). `package.name` is a SINGLE
+  # ATOMIC SEGMENT — all hierarchy lives in `package.namespace` — and mcpp
+  # addresses a package by the LITERAL name it read, so descriptors no longer
+  # repeat their namespace inside `name`. This index is migrated to the short
+  # form, which is why min_mcpp/latest_mcpp move in lock-step: an older client
+  # re-derives `<ns>.<short>`, misses, and reports a bare E_NOT_FOUND. Bundles
+  # xlings 0.4.69, which keys its index by (namespace, name) so two packages
+  # sharing a short name in one index are both addressable (xlings#381) — this
+  # index now has three such pairs (imgui / ffmpeg / lua under compat vs the
+  # default namespace).
   # 0.0.102: windows command-line ceiling (mcpp#261 — the clang scan rule got
   # its P1689 JSON through shell redirection, which forced a `cmd /c` wrapper
   # and with it cmd.exe's 8191-char limit; clang-scan-deps -o removes both, and
@@ -47,7 +57,7 @@ env:
   # 0.0.94 fixed feature-gated `sources` under `mcpp test` (mcpp#218); 0.0.91
   # added standard = "c++fly" to the resolver grammar, so c++fly descriptors
   # get the lint WARN below, not a hard grammar-parse rejection.
-  MCPP_VERSION: "0.0.102"
+  MCPP_VERSION: "0.0.106"
 
 jobs:
   lint:
@@ -90,14 +100,11 @@ jobs:
             if ! lua5.4 tests/check_mirror_urls.lua "$f"; then
               fail=1
             fi
-            # 5. `name` must be the fully-qualified `<namespace>.<short>`.
-            #    The split form (namespace = "chriskohlhoff", name = "asio")
-            #    parses and passes `mcpp xpkg parse`, but xlings keys the index
-            #    on the literal `name` while mcpp asks for the reconstructed
-            #    FQN — they never meet, so the package is uninstallable on
-            #    every platform (mcpp-community/mcpp#278). This check is cheap
-            #    and catches in seconds what otherwise fails an hour into the
-            #    workspace job.
+            # 5. `name` must be a SINGLE ATOMIC SEGMENT; hierarchy belongs in
+            #    `namespace` (mcpp SPEC-001 §3.2). The legacy fully-qualified
+            #    spelling stays accepted. Cheap second gate: it runs before the
+            #    pinned mcpp is even downloaded, and mcpp >= 0.0.106 enforces
+            #    the same rule inside `mcpp xpkg parse`.
             if ! lua5.4 tests/check_package_name.lua "$f"; then
               fail=1
             fi
@@ -207,21 +214,21 @@ jobs:
             ext: tar.gz
             mcpp: bin/mcpp
             xlings: registry/bin/xlings
-            mcpp_version: "0.0.102"   # keep in sync with env.MCPP_VERSION
+            mcpp_version: "0.0.106"   # keep in sync with env.MCPP_VERSION
           - platform: macos
             os: macos-15
             suffix: macosx-arm64
             ext: tar.gz
             mcpp: bin/mcpp
             xlings: registry/bin/xlings
-            mcpp_version: "0.0.102"   # keep in sync with env.MCPP_VERSION
+            mcpp_version: "0.0.106"   # keep in sync with env.MCPP_VERSION
           - platform: windows
             os: windows-latest
             suffix: windows-x86_64
             ext: zip
             mcpp: bin/mcpp.exe
             xlings: registry/bin/xlings.exe
-            mcpp_version: "0.0.102"   # keep in sync with env.MCPP_VERSION
+            mcpp_version: "0.0.106"   # keep in sync with env.MCPP_VERSION
     env:
       MCPP_EFFECTIVE: ${{ matrix.mcpp_version }}
     steps:

docs/repository-and-schema.md

@@ -13,6 +13,7 @@ tests/examples/<member>/     每库测试工程(workspace 成员;<member> 为包
                              ([target.'cfg(...)'])
   tests/*.cpp                行为断言(独立 main,退出码非 0 即失败)
 tests/check_mirror_urls.lua  lint:GLOBAL+CN 表完整性,以及 CN 指向 mcpp-res
+tests/check_package_name.lua lint:身份形态(name 为单一原子段,层级归 namespace)
 tests/list_cn_urls.lua       抽取 CN url,供 mirror-cn-reachable 使用
 README.md                    索引说明与贡献入口
 .github/workflows/validate.yml   CI:lint / mirror-cn-reachable / workspace(3 平台矩阵)
@@ -37,6 +38,24 @@ tools/compat-ffmpeg/ 等      compat 大包的描述符再生成流水线
 
 `package` 必填字段:`spec`、`namespace`、`name`、`description`、`licenses`、`repo`、`type="package"`、`xpm`、`mcpp`。
 
+### 包身份:`(namespace, name)`
+
+身份是二元组 —— **`namespace` 是点分层级路径,`name` 是单一原子段**。层级一律放 `namespace`(mcpp SPEC-001 §3.2,`docs/spec/package-identity.md`):
+
+```lua
+namespace = "compat",        name = "zlib"      -- ✅
+namespace = "mcpplibs.capi", name = "lua"       -- ✅ 多级命名空间
+namespace = "mcpplibs",      name = "capi.lua"  -- ❌ 短名仍带点
+```
+
+最后一种被拒绝而非重新解读:`name` 里多出的点描述的是一个**没人声明过的命名空间**。mcpp 曾按最后一个点切分、静默造出 `(mcpplibs.capi, lua)`,0.0.106 起改为拒绝。
+
+**兼容形态**:SPEC-001 之前发布的描述符把命名空间重复写在 `name` 里(`namespace="compat", name="compat.zlib"`),仍被接受 —— 前缀会先剥离再判定,wire key 是字面 `name`,两种写法都可安装。本仓已统一迁到短名形态。
+
+**同短名不同命名空间可共存**:本仓现有三对 —— `compat:imgui` 与默认命名空间的 `imgui`、`compat:ffmpeg` 与 `ffmpeg`、`compat:lua` 与 `mcpplibs.capi:lua`。需要 xlings ≥ 0.4.69([xlings#381](https://github.com/openxlings/xlings/issues/381));`(namespace, name)` 唯一即可,`name` 本身不必唯一。
+
+**文件名不参与解析**,可以任意。推荐 `<name>.lua` 或 `<namespace>.<name>.lua`(命中 mcpp 的快路径),但描述符按**声明的身份**被发现,叫别的名字也能解析。
+
 `xpm.<linux|macosx|windows>.<裸版本>`:
 
 - `url`:字符串,或 `{ GLOBAL=…, CN=… }` 表(本仓统一使用表形式)。
@@ -76,7 +95,9 @@ mcpp 跑 `xpkg parse`(strict:未知键即失败),所以需要更新文法/键的
 - 触发条件:PR(改动 `pkgs/**/*.lua`、`tests/**`、`README.md` 或本 workflow)、push 至 main、nightly cron、手动触发。
 - `env.MCPP_VERSION` 为全部 job 使用的 mcpp 版本,本地验证应与之对齐。
 - `lint`(始终运行):lua 语法 `loadfile(f,'t')`;须含 `spec=`/`name=`/`xpm=`;禁止前导 v 版本;执行
-  `check_mirror_urls.lua`;再用 CI pin 的 mcpp 对每个描述符跑 `mcpp xpkg parse`(strict,未知键即失败)。
+  `check_mirror_urls.lua`;执行 `check_package_name.lua`(身份形态,见上文「包身份」);再用 CI pin 的
+  mcpp 对每个描述符跑 `mcpp xpkg parse`(strict,未知键即失败)。mcpp ≥ 0.0.106 的 `xpkg parse` 自身
+  也强制身份形态,lua lint 因此是更早、更便宜的冗余闸门。
 - `mirror-cn-reachable`(始终运行):逐个 `curl` CN url,均须返回 200。
 - `workspace (linux|macos|windows)`:整个测试面就是一个 mcpp workspace,**唯一的构建/运行通道**——
   没有任何 shell 驱动的例外(公开模块包 imgui/ffmpeg/opencv/tinyhttps 也是普通成员,经成员级
@@ -96,6 +117,7 @@ for f in pkgs/*/*.lua; do
   for n in 'spec *=' 'name *=' 'xpm *='; do grep -q "$n" "$f" || { echo "MISS $n $f"; fail=1; }; done
   grep -nqE '\["v[0-9]+|\["[^"]+"\][[:space:]]*=[[:space:]]*"v[0-9]+' "$f" && { echo "LEADING-V $f"; fail=1; }
   lua5.4 tests/check_mirror_urls.lua "$f" >/dev/null 2>&1 || { echo "MIRROR $f"; fail=1; }
+  lua5.4 tests/check_package_name.lua "$f" || fail=1
 done
 [ $fail -eq 0 ] && echo "ALL LINT PASS"
 ```

index.toml

@@ -7,5 +7,5 @@
 # "floor first, new grammar after" rollout rule mechanically.
 [index]
 spec        = "1"
-min_mcpp    = "0.0.102"
-latest_mcpp = "0.0.102"
+min_mcpp    = "0.0.106"
+latest_mcpp = "0.0.106"

pkgs/c/chriskohlhoff.asio.lua

@@ -46,7 +46,7 @@ package = {
     -- identity normalizes both spellings) but registers the index entry under
     -- `asio`, which no consumer request can ever hit → E_NOT_FOUND at install.
     -- See mcpp-community/mcpp#278; the lint in validate.yml enforces this.
-    name        = "chriskohlhoff.asio",
+    name        = "asio",
     description = "Standalone asio exposed as the C++23 module `asio` (separate compilation)",
     licenses    = {"BSL-1.0"},
     repo        = "https://github.com/chriskohlhoff/asio",

pkgs/c/cmdline.lua

@@ -11,7 +11,7 @@
 package = {
     spec        = "1",
     namespace = "mcpplibs",
-    name        = "mcpplibs.cmdline",
+    name        = "cmdline",
     description = "A simple command-line parsing library/framework for modern C++",
     licenses    = {"Apache-2.0"},
     repo        = "https://github.com/mcpplibs/cmdline",

pkgs/c/compat.bzip2.lua

@@ -1,7 +1,7 @@
 package = {
     spec        = "1",
     namespace   = "compat",
-    name        = "compat.bzip2",
+    name        = "bzip2",
     description = "A freely available high-quality data compressor",
     licenses    = {"bzip2-1.0.6"},
     repo        = "https://sourceware.org/bzip2/",

pkgs/c/compat.cjson.lua

@@ -11,7 +11,7 @@
 package = {
     spec        = "1",
     namespace   = "compat",
-    name        = "compat.cjson",
+    name        = "cjson",
     description = "Ultralightweight JSON parser in ANSI C",
     licenses    = {"MIT"},
     repo        = "https://github.com/DaveGamble/cJSON",

pkgs/c/compat.eigen.lua

@@ -63,7 +63,7 @@
 package = {
     spec        = "1",
     namespace   = "compat",
-    name        = "compat.eigen",
+    name        = "eigen",
     description = "C++ template library for linear algebra (header-only)",
     licenses    = {"MPL-2.0"},
     repo        = "https://gitlab.com/libeigen/eigen",

pkgs/c/compat.ffmpeg.lua

@@ -7,7 +7,7 @@
 -- include_dirs_after (-idirafter, mcpp#249) so libc++ <version> is not shadowed
 -- by ffmpeg's VERSION file on case-insensitive macOS.
 package = {
-    spec = "1", namespace = "compat", name = "compat.ffmpeg",
+    spec = "1", namespace = "compat", name = "ffmpeg",
     description = "FFmpeg 8.1.2 multimedia libraries, full source build (LGPL profile, multi-platform)",
     licenses = {"LGPL-2.1-or-later"}, repo = "https://ffmpeg.org", type = "package",
     xpm = {

pkgs/c/compat.ftxui.lua

@@ -11,7 +11,7 @@
 package = {
     spec        = "1",
     namespace = "compat",
-    name        = "compat.ftxui",
+    name        = "ftxui",
     description = "C++ Functional Terminal User Interface (screen + dom + component)",
     licenses    = {"MIT"},
     repo        = "https://github.com/ArthurSonzogni/FTXUI",