R-00083: capability 键改为消费上游生成物（T-capability-01 生成转换半边）

[Go1c]

背景

D-015 已裁决（架构源 ADR-040 §7.1 / ADR-048，PR #21 起），取代了 ADR-040 §7 原先那句「消费方不得从任一来源派生 capability key，仓内私有键是唯一正确模型」。裁决把权威与发射分开：ids/index.json 仍是唯一权威，架构生成器成为唯一发射方，下游改为消费投影——仓内私有 capability 键值表从「唯一正确模型」变成违规。

R-00083 的「生成转换」半边随之解除阻塞。既有 crate-private CapabilityKey + StaticCapabilities（51c0410）的排序唯一集合语义不变，不推倒。

改动

1. 镜像重同步与重 pin（fab2e93）

上游 PR #23/#27 后 docs/architecture/abi/ 四件镜像重新字节级同步到 origin/main 提交 3287bba（内容提交 99f94fb）：

• ids/index.json 零改动（capability numeric 权威未变）
• lumio_core.h 新增 9 个 LUMIO_CAPABILITY_<SCREAMING> 键常量 + LUMIO_CAPABILITY_COUNT
• root-abi-bundle.json / packages/index.json 的 compilerHash、outputHash 随生成器版本变动

.baseline.sha256 与 generated.rs 的绑定常量（bundle / header / compiler digest）一并重 pin。所有哈希均从上游发布物本机重算实测读出，未从任何派单文本抄录（compilerHash 一天内变了两次）。digest 链自洽：header sha256 == bundle.outputFiles[0].digest，bundle sha256 == packages/index.json 的 rootAbi.bundleDigest。

2. 生成转换（2de6912）

• cargo xtask gen-contracts 从 ids-index.json 的 Capability 命名空间生成 CAPABILITY_KEYS，并在生成期与镜像 Header 的键常量、LUMIO_CAPABILITY_COUNT 做三方交叉核对，任一不一致直接失败
• LUMIO_CAPABILITY_BITS 显式排除在键空间外：D-015 只裁了键，掩码/计数与 bit 位仍未冻结，registry::capability_bits() 保持恒空并有测试守护
• CapabilityKey 去掉裸构造器：唯一构造路径是 from_registered(ArchitectureCapabilityKey) 与按 id 查表的 from_registry_id，crate 内外都无法凭空造一个注册表没有的键
• 决策落 .spec/decisions/0006；.spec 里「Capability 不绑定」的过期表述同步更新

守护验证（对照组探针，非空口声称）

探针	结果
Header 键数值篡改 VOXEL_SPATIAL 6u→66u	gen-contracts EXIT=1，点名该常量
删掉 Header 里 VOXEL_ALL_RESIDENT	gen-contracts EXIT=1，点名缺失键
COUNT 9u→8u	gen-contracts EXIT=1，报数量不符
镜像改了但漏重生成	capability_keys_match_header_projection FAILED
全部违规移除后	四项全部 EXIT=0 / ok，Header 恢复上游 digest fa2aaca2…

镜像 digest 漂移守护同样实测有效：重同步后未改绑定常量时，bound_identity_matches_published_bundle_mirror 与 bundle_digest_and_consumer_standing_match_packages_index_mirror 先红，改常量后转绿。

收口门槛（本机实跑，均 EXIT=0）

• cargo fmt --all -- --check
• cargo clippy --workspace --all-targets --all-features -- -D warnings、cargo clippy --workspace --all-targets -- -D warnings
• cargo test --workspace → 110 passed / 0 failed（改前 106，+4 为新增守护）
• cargo test --workspace --all-features → 133 passed / 0 failed
• cargo test --workspace --no-default-features → 127 passed / 0 failed
• cargo xtask check-dep-dag / check-baseline / dump-symbols
• node .spec/tools/spec-lint.mjs（OK）、node --test .spec/tools/spec-lint.test.mjs（13 pass / 0 fail）
• .github/workflows/repository-policy.yml 的 readme job 逐条复现：15/15 断言 OK，sha256sum -c docs/architecture/.baseline.sha256 五项全 OK

Known gaps

• capability_bits（掩码 vs 计数、bit 位指派）仍未冻结，本 PR 不碰——读键可以，推 bit 不行
• cargo deny check / cargo audit / Miri 本机工具链不可用，未执行；三平台交叉构建与 Sanitizer 未系统化执行

🤖 Generated with Claude Code