@tbox.cn/app-toolkit 0.4.0 → 0.6.0

package/dist/index.d.ts

@@ -1,16 +1,30 @@
 import { z } from 'zod';
 
 /**
- * tbox.module.json schema v1（001 §3.6 字段名，003 §4.1 schema v1 定版）。
+ * tbox.module.json schema v1（001 §3.6 字段名，003 §4.1 schema v1 定版；v6 声明面翻转）。
  * app-toolkit 单一校验源（自 CLI module-schema.ts 迁入；CLI 经 re-export 消费）。
  *
  * 迁移改造（ai-build C2-5）：
  * - resourceNeedContribSchema 的 type 由 `z.enum(RESOURCE_TYPE_IDS)` 放宽为 `z.string()`——
  *   词汇校验移谓词、经 contracts 动态解析取 RESOURCE_TYPE_IDS（比静态 enum 更忠实应用版本）；
- * - demand meta additive：serviceNeedContribSchema 增 title?/description?（服务展示元数据，
+ * - demand meta additive：serviceConsumeContribSchema 增 name?/description?（服务展示元数据，
  *   manifest demand 侧 additive 扩展，catalog 聚合顺带携带——api.md ServiceDemand 对齐）；
  * - 安全钉子（H9b）：provider 名与 instance id 进凭据 stem 派生，字符集 pattern
  *   `/^[a-zA-Z0-9][a-zA-Z0-9._-]*$/` 为第一道防线（stem 派生处另有断言防线——纵深防御）。
+ *
+ * v6 声明面翻转（integrations v6 所有权模型）：
+ * - `contributes` → `declare`（声明/行为分离——owns/consumes 语义对仗）；
+ * - `declare.services` → `declare.consumes`（无向"服务" → 消费关系，多对多）；
+ * - += `declare.owns`：薄数组（strictObject 单键——互斥事实无元数据；元数据恒在
+ *   consumes 防双数组漂移）。服务归属唯一真源；双 owner = walk OWNERSHIP_CONFLICT；
+ * - 旧键 `contributes` / `declare.services`：parseModuleDescriptor 定向检测（N1——
+ *   报错含三路径升级指引，拒 loose 静默兜底）。
+ *
+ * v7 词汇统一（标识/展示名分轴，对齐实例轴 DeploymentInstance {id, name}）：
+ * - 根键 `name` → `id`（标识键：唯一、寻址）；根键 `title` → `name`（展示名：中文、可选）；
+ * - `declare.consumes[].title` → `name`（demand meta 同步跟随）；
+ * - 旧键 parseModuleDescriptor 定向检测（legacy? 标志——walk 据此拒 loose 兜底、
+ *   CLI sync 据此拒装配改写）。
  */
 /** 输入字符集（安全钉子①）：provider 名 / instanceId 恒经此 pattern（进凭据 stem 派生的输入） */
 declare const SAFE_NAME_PATTERN: RegExp;
@@ -63,7 +77,7 @@ declare const moduleDependencySchema: z.ZodObject<{
     range?: string | undefined;
     required?: boolean | undefined;
 }>;
-/** provider 供给槽声明（integrations v2：contributes.providers.slots 元素；
+/** provider 供给槽声明（integrations v2：declare.providers.slots 元素；
  *  provider = 厂商名（catalog 嵌套第一轴）、implementation = 'id@version'（第二轴）） */
 declare const providerSlotContribSchema: z.ZodObject<{
     service: z.ZodString;
@@ -90,8 +104,8 @@ declare const providerSlotContribSchema: z.ZodObject<{
     configSchema?: string | undefined;
     credentialSchema?: string | undefined;
 }>;
-/** 服务需求槽声明（contributes.services 元素；业务模块声明消费——catalog 需求侧聚合源） */
-declare const serviceNeedContribSchema: z.ZodObject<{
+/** 服务消费槽声明（declare.consumes 元素；业务模块声明消费——catalog 需求侧聚合源） */
+declare const serviceConsumeContribSchema: z.ZodObject<{
     service: z.ZodString;
     optional: z.ZodDefault<z.ZodBoolean>;
     defaults: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -104,7 +118,7 @@ declare const serviceNeedContribSchema: z.ZodObject<{
         provider: string;
         implementation: string;
     }>, "many">>;
-    title: z.ZodOptional<z.ZodString>;
+    name: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
     service: string;
@@ -113,7 +127,7 @@ declare const serviceNeedContribSchema: z.ZodObject<{
         provider: string;
         implementation: string;
     }[];
-    title?: string | undefined;
+    name?: string | undefined;
     description?: string | undefined;
 }, {
     service: string;
@@ -122,10 +136,18 @@ declare const serviceNeedContribSchema: z.ZodObject<{
         provider: string;
         implementation: string;
     }[] | undefined;
-    title?: string | undefined;
+    name?: string | undefined;
     description?: string | undefined;
 }>;
-/** 资源需求声明（contributes.resources 元素；type 放宽为 string——词汇校验移谓词经 resolver 取词表） */
+/** 服务归属声明（declare.owns 元素；v6 薄形状——互斥事实无元数据，strict 单键防双数组漂移） */
+declare const serviceOwnContribSchema: z.ZodObject<{
+    service: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    service: string;
+}, {
+    service: string;
+}>;
+/** 资源需求声明（declare.resources 元素；type 放宽为 string——词汇校验移谓词经 resolver 取词表） */
 declare const resourceNeedContribSchema: z.ZodObject<{
     id: z.ZodString;
     type: z.ZodString;
@@ -138,9 +160,10 @@ declare const resourceNeedContribSchema: z.ZodObject<{
 }>;
 declare const moduleDescriptorSchema: z.ZodObject<{
     schemaVersion: z.ZodDefault<z.ZodNumber>;
-    name: z.ZodString;
-    title: z.ZodOptional<z.ZodString>;
+    id: z.ZodString;
+    name: z.ZodOptional<z.ZodString>;
     description: z.ZodOptional<z.ZodString>;
+    hidden: z.ZodOptional<z.ZodBoolean>;
     version: z.ZodDefault<z.ZodString>;
     kind: z.ZodDefault<z.ZodEnum<["platform", "business", "third-party"]>>;
     risk: z.ZodDefault<z.ZodObject<{
@@ -160,7 +183,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
     }, {
         defaultMode?: "local" | "hybrid" | "sdk" | "codegen" | undefined;
     }>>;
-    contributes: z.ZodDefault<z.ZodObject<{
+    declare: z.ZodDefault<z.ZodObject<{
         handlers: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         tools: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         cards: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -247,7 +270,14 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 credentialSchema?: string | undefined;
             }[] | undefined;
         }>>;
-        services: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        owns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            service: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            service: string;
+        }, {
+            service: string;
+        }>, "many">>;
+        consumes: z.ZodDefault<z.ZodArray<z.ZodObject<{
             service: z.ZodString;
             optional: z.ZodDefault<z.ZodBoolean>;
             defaults: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -260,7 +290,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 provider: string;
                 implementation: string;
             }>, "many">>;
-            title: z.ZodOptional<z.ZodString>;
+            name: z.ZodOptional<z.ZodString>;
             description: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
             service: string;
@@ -269,7 +299,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 provider: string;
                 implementation: string;
             }[];
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }, {
             service: string;
@@ -278,7 +308,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 provider: string;
                 implementation: string;
             }[] | undefined;
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }>, "many">>;
         resources: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -320,14 +350,17 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 credentialSchema?: string | undefined;
             }[];
         };
-        services: {
+        owns: {
+            service: string;
+        }[];
+        consumes: {
             service: string;
             optional: boolean;
             defaults: {
                 provider: string;
                 implementation: string;
             }[];
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }[];
         resources: {
@@ -363,14 +396,17 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 credentialSchema?: string | undefined;
             }[] | undefined;
         } | undefined;
-        services?: {
+        owns?: {
+            service: string;
+        }[] | undefined;
+        consumes?: {
             service: string;
             optional?: boolean | undefined;
             defaults?: {
                 provider: string;
                 implementation: string;
             }[] | undefined;
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }[] | undefined;
         resources?: {
@@ -408,7 +444,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
     env: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
 }, "strict", z.ZodTypeAny, {
     schemaVersion: number;
-    name: string;
+    id: string;
     version: string;
     kind: "platform" | "business" | "third-party";
     risk: {
@@ -418,7 +454,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
     distribution: {
         defaultMode: "local" | "hybrid" | "sdk" | "codegen";
     };
-    contributes: {
+    declare: {
         handlers: string[];
         tools: string[];
         cards: {
@@ -447,14 +483,17 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 credentialSchema?: string | undefined;
             }[];
         };
-        services: {
+        owns: {
+            service: string;
+        }[];
+        consumes: {
             service: string;
             optional: boolean;
             defaults: {
                 provider: string;
                 implementation: string;
             }[];
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }[];
         resources: {
@@ -470,13 +509,15 @@ declare const moduleDescriptorSchema: z.ZodObject<{
         }[];
     };
     env: string[];
-    title?: string | undefined;
+    name?: string | undefined;
     description?: string | undefined;
+    hidden?: boolean | undefined;
 }, {
-    name: string;
+    id: string;
     schemaVersion?: number | undefined;
-    title?: string | undefined;
+    name?: string | undefined;
     description?: string | undefined;
+    hidden?: boolean | undefined;
     version?: string | undefined;
     kind?: "platform" | "business" | "third-party" | undefined;
     risk?: {
@@ -486,7 +527,7 @@ declare const moduleDescriptorSchema: z.ZodObject<{
     distribution?: {
         defaultMode?: "local" | "hybrid" | "sdk" | "codegen" | undefined;
     } | undefined;
-    contributes?: {
+    declare?: {
         handlers?: string[] | undefined;
         tools?: string[] | undefined;
         cards?: {
@@ -515,14 +556,17 @@ declare const moduleDescriptorSchema: z.ZodObject<{
                 credentialSchema?: string | undefined;
             }[] | undefined;
         } | undefined;
-        services?: {
+        owns?: {
+            service: string;
+        }[] | undefined;
+        consumes?: {
             service: string;
             optional?: boolean | undefined;
             defaults?: {
                 provider: string;
                 implementation: string;
             }[] | undefined;
-            title?: string | undefined;
+            name?: string | undefined;
             description?: string | undefined;
         }[] | undefined;
         resources?: {
@@ -542,7 +586,8 @@ declare const moduleDescriptorSchema: z.ZodObject<{
 type ModuleDescriptor = z.infer<typeof moduleDescriptorSchema>;
 type CardContrib = z.infer<typeof cardContribSchema>;
 type ProviderSlotContrib = z.infer<typeof providerSlotContribSchema>;
-type ServiceNeedContrib = z.infer<typeof serviceNeedContribSchema>;
+type ServiceConsumeContrib = z.infer<typeof serviceConsumeContribSchema>;
+type ServiceOwnContrib = z.infer<typeof serviceOwnContribSchema>;
 type ResourceNeedContrib = z.infer<typeof resourceNeedContribSchema>;
 type ParseModuleResult = {
     ok: true;
@@ -550,6 +595,7 @@ type ParseModuleResult = {
 } | {
     ok: false;
     errors: string[];
+    legacy?: true;
 };
 declare function parseModuleDescriptor(raw: unknown): ParseModuleResult;
 
@@ -697,14 +743,17 @@ interface ConfiguredService {
     instances?: Record<string, ServiceInstanceConfig>;
 }
 /**
- * 模块域全局配置（键 = 槽位域前缀，moduleDomainOf 派生；域 ≠ 模块名——auth 域由登录链消费）。
- * 域 ≠ 部署边界：单应用单厂商部署门禁不因 domains 表达力放开（混绑 die 原样）。
+ * 模块资源配置（integrations v6：modules 节 = 模块集成位——provider 绑定默认 + config
+ * 级联层 + v5 资源节三键合一；键 = install id（.tbox/app.json entry.id / packages/ 目录名；
+ * 仓内家族包恒等 manifest name 属规约）。provider/config 至少其一（空节点无意义）。
  */
-interface DomainConfig {
-    /** 域级默认厂商（implementation 恒派生——域层无精确绑定语义） */
+interface ModuleConfig {
+    /** 模块级默认厂商（v6 绑定组继承层——作用于该模块 declare.owns 的全部服务槽） */
     provider?: string;
-    /** 域级共享配置（该域全部槽合并进 config 级联，与绑定来源层无关） */
+    /** 模块级共享配置（config 五层级联第三层：root ByInstance 之后、slot 之前） */
     config?: Record<string, unknown>;
+    /** resourceId → 类型化资源声明（resourceId 词汇真源 = 模块 manifest declare.resources） */
+    resources?: Record<string, ResourceSpec>;
 }
 /**
  * 部署实例（业务主体拓扑条目；root instances 注册表元素——v4 参考表）。
@@ -746,15 +795,12 @@ interface IntegrationsConfig {
     credentialRef?: string;
     /** 部署级 per-instance 默认凭据表（键 = instanceId；商户级凭据主写位） */
     credentialRefByInstance?: Record<string, string>;
-    /** 模块域全局层（键 = moduleDomainOf(service)；无 ByInstance——全链唯一 ByInstance 层恒 root） */
-    domains?: Record<string, DomainConfig>;
     /** 部署实例注册表（参考表）；缺席 = 无参考表；空数组非法（zod 拒——无表 = 键缺席唯一写法） */
     instances?: DeploymentInstance[];
     /** 默认实例 id（单实例免填；∈instances ids；无表时独立在场 = 动态默认形态） */
     defaultInstanceId?: string | null;
-    /** 模块资源绑定（v5 新轴——与 domains 正交：domains = provider 绑定默认，modules = 资源绑定；
-     *  键 = install id（.tbox/app.json entry.id / packages/ 目录名；仓内家族包恒等 manifest name 属规约）；
-     *  无 per-instance 层（扩展位词汇预选 resourcesByInstance——instances 词恒属 services 激活语义） */
+    /** 模块集成位（v6：provider 绑定默认 + config 级联层 + v5 资源节三键合一；
+     *  顶层 domains 键已退役——旧键经 zod 防线拒收并指引 migrate 至 modules[owner]） */
     modules?: Record<string, ModuleConfig>;
     services: Record<string, ConfiguredService>;
 }
@@ -762,7 +808,7 @@ interface IntegrationsConfig {
 interface EffectiveService {
     provider: string | InlineVendorDeclaration$1;
     implementation: string;
-    /** 五层浅合并一层：root.config → root.configByInstance[k] → domain.config → slot.config → inst.config */
+    /** 五层浅合并一层：root.config → root.configByInstance[k] → modules[owner].config → slot.config → inst.config */
     config: Readonly<Record<string, unknown>>;
     credentialRef?: string;
 }
@@ -779,26 +825,34 @@ type EffectiveServiceResolution = {
     status: 'binding-unresolved';
     message: string;
 };
-/** 槽位域前缀（domains 键控轴）：首个点号前段；无点号取整串。域 ≠ 模块名（auth 域由登录链消费）。 */
+/**
+ * 槽位域前缀（首个点号前段；无点号取整串）。**v6 起退出级联**（modules[ownerOf] 取代
+ * domains 键控）——保留导出仅供词汇组织用途（guard/doctor 诊断消息按域聚合展示）。
+ * 域 ≠ 模块名（auth 域由登录链消费）；归属语义唯一真源 = 模块 manifest declare.owns。
+ * @deprecated 级联键控已退役（v6 ownership 模型）；新消费方禁用——归属查询走 ownerOf。
+ */
 declare function moduleDomainOf(service: string): string;
 /** 派生查表（buildSupplyLookup 产物）：键 `${provider}\u0000${service}` → implementation 清单（'id@version'）。 */
 type SupplyLookup$1 = Record<string, readonly string[]>;
 /**
  * 级联细则（一句话：层序优先于 scope 特异度；层内 per-instance 胜标量）：
- * - 绑定组（provider + implementation）：最特异层整组取（inst > slot > domain > root）——
+ * - 绑定组（provider + implementation）：最特异层整组取（inst > slot > modules[owner] > root）——
  *   独立 `??` 继承会产生跨层非法组合（inst.provider=wanda + 继承 slot 的 joycity impl），
  *   故组不可拆；组内 implementation 缺席 → supplies 派生（唯一命中；
  *   零命中/歧义/未注入查表 → binding-unresolved）；双字段显式在场 = 显式即真值（不派生，
  *   存量全显式文件零影响）。内联声明仅槽级且必带 implementation（防御分支兜底）。
- * - config 五层浅合并：root.config → root.configByInstance[k] → domain.config → slot.config →
- *   inst.config（service 标量胜 root ByInstance[k]——层序优先于 scope 特异度；
- *   domain.config 恒参与该域全部槽，与绑定来源层无关）
+ * - ownerOf（v6）：service → moduleId 归属表（buildOwnershipMap 产物，装配期显式注入）。
+ *   服务无主 → 跳过 modules 层（≡ 平台槽语义）；ownerOf 缺席且文件含 modules 级
+ *   绑定/配置 → binding-unresolved fail-visible（装配偏斜防线——防静默丢模块层语义）。
+ * - config 五层浅合并：root.config → root.configByInstance[k] → modules[owner].config →
+ *   slot.config → inst.config（service 标量胜 root ByInstance[k]——层序优先于 scope 特异度；
+ *   modules[owner].config 恒参与该模块 owns 全部服务槽，与绑定来源层无关）
  * - credentialRef：inst ?? slot ?? root.credentialRefByInstance[k] ?? root.credentialRef（v3 零改动；
- *   domain 层无 credentialRef——链位预留 slot 后、root ByInstance 前）
+ *   module 层无 credentialRef——链位预留 slot 后、root ByInstance 前）
  * 不抛领域错误；status 由 SDK registry 映射 PROVIDER_* 错误码
  * （binding-unresolved → PROVIDER_BINDING_UNRESOLVED；hasProviderBinding 点查 status !== 'ok' → false）。
  */
-declare function resolveEffectiveService(integrations: IntegrationsConfig, service: string, instanceId: string, supplies?: SupplyLookup$1): EffectiveServiceResolution;
+declare function resolveEffectiveService(integrations: IntegrationsConfig, service: string, instanceId: string, supplies?: SupplyLookup$1, ownerOf?: Record<string, string>): EffectiveServiceResolution;
 /**
  * root 部署实例注册表归一化（v4 wire → 消费形态单源）：
  * - instances 缺席 = 空表（无参考表——wanda 动态形态；空数组已在 zod 拒，此处纯防御）；
@@ -827,7 +881,7 @@ interface CatalogProviderEntry {
     /** 供给槽清单（service id） */
     services: string[];
 }
-/** catalog 需求侧聚合条目（模块 manifest contributes.services 元素聚合；services 键 = service id） */
+/** catalog 需求侧聚合条目（模块 manifest declare.consumes 元素聚合；services 键 = service id） */
 interface CatalogServiceEntry {
     /** 可选槽（未配置不 error——doctor warning 级） */
     optional: boolean;
@@ -868,11 +922,6 @@ interface KnowledgeResourceSpec {
 }
 /** 资源声明（discriminated by type；SDK zod / CLI doctor / 未来 app-toolkit 共用 wire 形状） */
 type ResourceSpec = KnowledgeResourceSpec;
-/** 模块资源配置（modules 节元素；strict 单字段——provider/config/instances 进 modules 即非法，防与 domains 双写位） */
-interface ModuleConfig {
-    /** resourceId → 类型化资源声明（resourceId 词汇真源 = 模块 manifest contributes.resources） */
-    resources: Record<string, ResourceSpec>;
-}
 
 /**
  * contracts 期望面编译期锁（satisfies 语义防接口漂移——contracts 加名/改签名即编译红）。
@@ -880,11 +929,11 @@ interface ModuleConfig {
  * contracts 恒 devDep 且限 import type——运行时全经 resolver 动态 import（版本解耦，D3）。
  */
 interface EvaluationExports {
-    /** 求值单源（TIER0；v3 显式激活 vs v4 通配语义随应用版本） */
+    /** 求值单源（TIER0；v3 显式激活 vs v4 通配语义随应用版本；v6 第五参 ownerOf） */
     resolveEffectiveService: typeof resolveEffectiveService;
     /** 供给查表派生（谓词 #12 与视图供给轴共用输入） */
     buildSupplyLookup: typeof buildSupplyLookup;
-    /** service → 首点段域前缀（谓词 #14 域键匹配） */
+    /** service → 首点段域前缀（v6 deprecated——级联键控退役，仅词汇组织消费） */
     moduleDomainOf: typeof moduleDomainOf;
     /** 部署实例注册表归一（默认实例委托——null → '*' 通配口径） */
     normalizeInstances: typeof normalizeInstances;
@@ -929,6 +978,9 @@ interface ResolvedContracts {
     evaluation: boolean;
     /** 严格 zod 面可用（parseIntegrationsConfig 在场——≥0.9 门控判据） */
     strictValidation: boolean;
+    /** v6 形状标记在场（OWNERSHIP_BINDING_V6——modules[owner] 绑定形状支持；标记门 P1：
+     *  v5 contracts + v6 toolkit 偏斜 → 503 第四分支，防静默忽略 ownerOf） */
+    ownershipBindingV6: boolean;
     /** 动态 import 产物（命名导出子集——Partial<EvaluationExports>） */
     module: ResolvedModule;
     /** 解析诊断（N1 构建指引 message 三分支的输入：未安装 / 版本 <0.9 / 源码态未构建） */
@@ -958,19 +1010,24 @@ declare function invalidateContractsResolver(appDir?: string): void;
  *   IMPL_WITHOUT_PROVIDER        #5/#13 error    impl-only（implementation 缺 provider 绑定组头）
  *   INLINE_PROVIDER_INVALID      #5     error    内联厂商声明超受控形状（槽级/实例级）
  *   SCHEMA_FILE_MISSING          #6     error    credentialType schema 引用不存在
- *   DOMAIN_CONFIG_INVALID        #7     error    root/domains 死配置（键 ∉ 引用厂商 schema properties；
+ *   DOMAIN_CONFIG_INVALID        #7     error    root/modules 死配置（键 ∉ 引用厂商 schema properties；
  *                                                api.md DOMAIN_CONFIG_UNUSED 行预留 warning 级，
  *                                                现行为 error 恒等旧谓词——doctor 门控等价）
  *   INSTANCE_KEY_NOT_REGISTERED  #8     error    ByInstance 键/实例键 ∉ 注册表白名单
  *   REALM_SWITCH_HINT            #9     warning  实现覆盖跨厂商（凭据域切换确认）
  *   WILDCARD_ALIGNMENT           #10    warning  通配形态齐步提示
  *   MULTI_INSTANCE_NO_DEFAULT    v4     warning  多实例无 defaultInstanceId（无 scope 访问落全局会话）
- *   VENDOR_NOT_INSTALLED         #11    error    root/domains 厂商未命中已装供给
+ *   VENDOR_NOT_INSTALLED         #11    error    root/modules 厂商未命中已装供给
  *   BINDING_UNRESOLVED           #12    error    绑定不可解析（resolveEffectiveService 求值失败）
- *   DOMAIN_KEY_UNMATCHED         #14    warning  domains 键 ∉ 匹配域集（typo）
+ *   IMPL_WITHOUT_PROVIDER        #5/#13 error    impl-only（implementation 缺 provider 绑定组头）
  *   RESOURCE_TYPE_UNKNOWN        #15    error    modules 资源节 type ∉ 词汇表
  *   RESOURCE_NOT_DECLARED        #16    warning  资源键/资源 id ∉ 模块声明集
+ *   MODULE_CONFIG_DEAD           v6     error    modules[m]（未安装 ∨ owns=0）携带 provider/config
+ *                                                （统一吸收原「#16 升级」特例——P2 一码一义）
+ *   GLOBAL_FIELD_UNDECLARED      #17    warning  全局层键过 #7 但 ∉ 引用厂商 x-tbox-global 并集（G 批；
+ *                                                零声明厂商整体跳过——#7 同遍历双判定，P4）
  *   ORPHANED_CREDENTIAL          写后对账 warning  凭据文件不再被引用（toolkit 写路径产出，非本谓词）
+ *   （v6 退役：DOMAIN_KEY_UNMATCHED #14——domains 键随归属模型退场）
  *
  * 输入形状（调用方负责装载）：
  * - integrations：config/integrations.json 解析产物（宽松 Record 透传——严格 zod 校验归模板 loader）
@@ -987,33 +1044,32 @@ declare function invalidateContractsResolver(appDir?: string): void;
  *    继承绑定（槽级 provider 缺席）经 effective 求值取厂商——supplies 在场时）
  * #5 实例 impl-only 禁止 + 覆盖命中供给（含槽级内联形状；provider-only = 派生位，合法）
  * #6 manifest configSchema/credentialSchema 引用文件存在性（内联与 manifest 绑定同查）
- * #7 root/domains 死配置：root.config/configByInstance/domains[d].config 键 ⊆ 引用厂商（并集）
- *    各槽 schema properties——引用面 = root.provider ∪ domains.*.provider ∪ 槽级（terse 化防退化）
+ * #7 root/modules 死配置：root.config/configByInstance/modules[m].config 键 ⊆ 引用厂商（并集）
+ *    各槽 schema properties——引用面 = root.provider ∪ modules.*.provider ∪ 槽级（terse 化防退化）；
+ *    modules 层 per-module 生效厂商 = resolveModuleBinding 单源（≡ modules[m].provider ?? root.provider）
  * #8 ByInstance/实例键 ∈ malls 白名单（v4：源 = root instances 注册表 ids——参考表在场时
- *    激活；'**' 通配键豁免；注册表缺席 → 跳过；domains 键 = 域前缀非 instanceId，不适用）
+ *    激活；'**' 通配键豁免；注册表缺席 → 跳过；modules 键 = install id 非 instanceId，不适用）
  * #9 实现覆盖跨厂商提示（realm switch——凭据域切换确认）
- * #11 root/domains 厂商未命中已装供给（vendor 集合 = suppliedProviders 键前缀展开）
+ * #11 root/modules 厂商未命中已装供给（vendor 集合 = suppliedProviders 键前缀展开）
  * #12 绑定可解析性：逐 (service, instanceId) 经 contracts resolveEffectiveService 求值
- *     （级联单源复用，谓词零级联实现），binding-unresolved → error（supplies 缺席 → 跳过）
+ *     （级联单源复用，谓词零级联实现；v6 ownerOf=ownership 显式参透传），binding-unresolved → error
  * #13 槽级/实例级 impl-only（implementation 需伴随 provider——provider 是绑定组头；
  *     zod 之外的第二道防线——doctor 读裸 JSON）
- * #14 domains 键 ∈ 匹配域集（已配置槽 ∪ 需求声明的 moduleDomainOf 并集；typo → warning）
- * #15-#16 modules 资源节对账（v5）：type ∉ RESOURCE_TYPE_IDS → error（裸 JSON 预启动反馈）；
- *     键 ∉ 已装模块 id 集 / 资源 id ∉ 模块 manifest contributes.resources 声明集（声明非空时）
- *     → warning（moduleResourceNeeds 缺席 → 需求面检查跳过，M3 降级先例）
+ * MODULE_CONFIG_DEAD：modules[m] 携带 provider/config 且（m ∉ installedModuleIds ∨ ownership
+ *     无任何 service 归属 m）→ error（键级 #16 warning 与本检查可同节点共发——键级 vs 值级不同断言面）
+ * #17（G 批）：与 #7 同遍历双判定（P4）——键 ∈ schema properties 但 ∉ x-tbox-global 并集 →
+ *     warning；引用厂商零全局声明（集空/缺席）→ 该厂商键整体跳过；检查序在 MODULE_CONFIG_DEAD 后
+ * #15-#16 modules 资源节对账（v5 延续）：type ∉ RESOURCE_TYPE_IDS → error；键 ∉ 已装模块 id 集 /
+ *     资源 id ∉ 模块 manifest declare.resources 声明集 → warning
  */
 
 /** contracts 注入面（resolver 装配产物运行时视图 = EvaluationExports 求值子集） */
-type PredicateContracts = Pick<EvaluationExports, 'resolveEffectiveService' | 'buildSupplyLookup' | 'moduleDomainOf' | 'normalizeInstances' | 'RESOURCE_TYPE_IDS'>;
+type PredicateContracts = Pick<EvaluationExports, 'resolveEffectiveService' | 'buildSupplyLookup' | 'normalizeInstances' | 'RESOURCE_TYPE_IDS'>;
 /** 派生查表形状（contracts buildSupplyLookup 产物；结构等价 TIER0 SupplyLookup——谓词零 contracts 静态依赖） */
 type SupplyLookup = Record<string, readonly string[]>;
 interface IntegrationServicePredicateInput {
     integrations: {
         provider?: string;
-        domains?: Record<string, {
-            provider?: string;
-            config?: Record<string, unknown>;
-        }>;
         config?: Record<string, unknown>;
         configByInstance?: Record<string, Record<string, unknown>>;
         credentialRef?: string;
@@ -1038,8 +1094,10 @@ interface IntegrationServicePredicateInput {
         }>;
         /** v4 默认实例（normalizeInstances 解析语义：显式 ?? 单候选唯一解） */
         defaultInstanceId?: string | null;
-        /** v5 模块资源绑定（modules 节——宽松透传；严格 zod 归模板 loader） */
+        /** v6 模块集成位（modules 节三键——宽松透传；严格 zod 归模板 loader） */
         modules?: Record<string, {
+            provider?: string;
+            config?: Record<string, unknown>;
             resources?: Record<string, {
                 type?: unknown;
             }>;
@@ -1058,12 +1116,20 @@ interface IntegrationServicePredicateInput {
     }>;
     /** 派生查表（buildSupplyLookup 产物；缺席 → #12 跳过 + #2 继承绑定不查 credentialType） */
     supplies?: SupplyLookup;
+    /** v6 服务归属表（walk.ownership——#12 ownerOf 透传 + MODULE_CONFIG_DEAD owns=0 判据；
+     *  缺席 = 归属面不可判 → MODULE_CONFIG_DEAD 退化为仅「未安装」分支） */
+    ownership?: Record<string, string>;
+    /** v6 已装模块 id 集（.tbox/app.json entry.id ∪ packages/ 目录名；缺席 → 「未安装」分支跳过） */
+    installedModuleIds?: ReadonlySet<string>;
     /** malls 白名单（deployments 控制面 extract；缺席 → ByInstance 键检查跳过） */
     malls?: string[];
     /** credentialType → schema 文件引用缺失（manifest 声明指向缺失文件；#6） */
     credentialSchemaMissing?: Record<string, boolean>;
     /** 厂商 → 槽 schema properties 键集（#7 用；调用方从 manifest configSchema 引用解析） */
     vendorConfigKeys?: Record<string, Set<string>>;
+    /** G 批：厂商 → x-tbox-global 标记键集（#17 用；#7 同循环收集——零新增 IO）；
+     *  缺席/空集 = 该厂商零声明 → #17 对其键整体跳过 */
+    vendorGlobalConfigKeys?: Record<string, Set<string>>;
     /** 厂商 → configSchema 引用文件缺失（#7 跳过该厂商——无 schema 不能判死配置） */
     vendorConfigSchemaMissing?: Record<string, boolean>;
     /** 凭据文件缺失（#1：credentialRef stem → 档内 credentials/<stem>.json 在场；域中立注入） */
@@ -1072,7 +1138,7 @@ interface IntegrationServicePredicateInput {
     credentialFileType?: Record<string, string | undefined>;
     /** #9：实现覆盖跨厂商提示位（CLI 侧组装） */
     realmSwitchHints?: string[];
-    /** v5：已装模块 id → manifest contributes.resources 声明 id 集（值空集 = 无声明，资源级跳过；
+    /** v5：已装模块 id → manifest declare.resources 声明 id 集（值空集 = 无声明，资源级跳过；
      *  缺席 = 无需求面信息——键未知/资源未声明检查跳过，type 检查恒跑） */
     moduleResourceNeeds?: Record<string, ReadonlySet<string>>;
 }
@@ -1107,7 +1173,7 @@ declare function evaluateIntegrationServices(input: IntegrationServicePredicateI
  *
  * manifest 候选路径探测（packages/<id>/tbox.module.json 优先 → node_modules/<pkg>/tbox.module.json；
  * tbox-app dev 真身经 .tbox-dev.local/dev-manifest.json redirects 独立 catalog 通道直达）一次遍历同时产出：
- *   1. modules：已装模块清单（declared；demand meta title/description 透传）
+ *   1. modules：已装模块清单（declared；demand meta name/description 透传）
  *   2. catalog（富形态）：providers 嵌套（vendor→impl→entry，per-service {implementation, credentialType}
  *      保真——同厂商异构/多实现合法，D25/H1）+ 需求侧聚合
  *   3. serviceSchemas：per-service schema 复合键表——键 `${provider}\u0000${service}`（H2，同一服务
@@ -1118,10 +1184,12 @@ declare function evaluateIntegrationServices(input: IntegrationServicePredicateI
  *      ③ 候选自身 {service-slots.json, src/service-slots.json}（local/codegen 全量副本——
  *      mall 生成应用主形态，不依赖 install）；零缓存枚举，与 manifest 探测同机制；
  *      多行业 contracts-* 天然扩展 F8）；缺席 → []（退化 demanded ∪ configured）
- *   5. slotMeta：词汇 meta 节（per-service {title,description} 展示元数据——消费端兜底链
+ *   5. slotMeta：词汇 meta 节（per-service {name,description} 展示元数据——消费端兜底链
  *      词汇 > demand > id，views/context resolveServiceDisplay 单源）；多包发现序首声明胜出
  *      （与 catalog addSlots 同语义）；contracts-mall 词汇锁保证 mall 域全量覆盖；缺席 → {}
- *   6. domainKeyIssues：跨模块域键冲突 issue（两模块派生同一 domains 键——P13）
+ *   6. ownership：service → moduleId 归属表（v6——declare.owns 聚合；install id 键控；
+ *      双 owner 冲突 → declarationIssues OWNERSHIP_CONFLICT + 先声明胜出）
+ *   7. declarationIssues：声明面诊断（OWNERSHIP_CONFLICT / OLD_MANIFEST_KEY——P3 通道）
  *
  * **约束（D26；FX-3/F7 边界）**：目录枚举零缓存——readdir / node_modules 候选探测 / `.tbox/app.json` 读取 /
  * dev-manifest 读取每次执行（枚举输入保持 fresh——agent 装卸模块下一笔即见）；manifest/service-slots
@@ -1129,6 +1197,18 @@ declare function evaluateIntegrationServices(input: IntegrationServicePredicateI
  * CLI 传 undefined 即全 fresh）。
  * 宽松解析语义（坏文件静默 + 重复键首声明保留）零改动。
  */
+/** 声明面诊断（v6 P3 通道——OWNERSHIP_CONFLICT / OLD_MANIFEST_KEY；error 级） */
+type DeclarationIssue = {
+    severity: 'error';
+    code: 'OWNERSHIP_CONFLICT';
+    message: string;
+    module?: string;
+} | {
+    severity: 'error';
+    code: 'OLD_MANIFEST_KEY';
+    message: string;
+    module?: string;
+};
 interface WalkManifestsResult {
     /** declared 产物（install id + descriptor；demand meta 透传） */
     modules: WalkModuleInfo[];
@@ -1142,19 +1222,17 @@ interface WalkManifestsResult {
     }>;
     /** 服务词汇 = 所有携带 service-slots.json 的已装契约包 `.slots` 键并集（缺席 → []） */
     vocabulary: string[];
-    /** 词汇 meta 节：per-service {title,description} 展示元数据（多包首声明胜出；缺席 → {}） */
+    /** 词汇 meta 节：per-service {name,description} 展示元数据（多包首声明胜出；缺席 → {}） */
     slotMeta: Record<string, SlotMeta>;
-    /** 跨模块域键冲突（P13——两模块的 service 集派生同一 domains 键） */
-    domainKeyIssues: Array<{
-        severity: 'warning';
-        code: 'DOMAIN_KEY_CONFLICT';
-        message: string;
-        module?: string;
-    }>;
+    /** v6 服务归属表：service → moduleId（install id 键控——integrations modules 节键同轴；
+     *  双 owner 冲突 → declarationIssues + 先声明胜出；dev 通道以 manifest id 参与归属） */
+    ownership: Record<string, string>;
+    /** 声明面诊断（OWNERSHIP_CONFLICT / OLD_MANIFEST_KEY） */
+    declarationIssues: DeclarationIssue[];
 }
-/** 槽位展示元数据（service-slots.json meta 节元素——宽松提取，字段皆可选） */
+/** 槽位展示元数据（service-slots.json meta 节元素——宽松提取，字段皆可选；v7 词汇统一 title→name） */
 interface SlotMeta {
-    title?: string;
+    name?: string;
     description?: string;
 }
 interface WalkModuleInfo {
@@ -1167,15 +1245,15 @@ interface WalkModuleInfo {
     descriptor: ModuleDescriptor;
 }
 /** 富形态供给条目：per-service {implementation, credentialType} 恒数组保真（H1）；
- *  title/description = 厂商展示元数据（strict manifest descriptor 透传——多包同厂商
- *  首声明胜出，与 owner 同语义；B1 walk 层传播） */
+ *  name/description = 厂商展示元数据（strict manifest descriptor 透传——多包同厂商
+ *  首声明胜出，与 owner 同语义；B1 walk 层传播；v7 词汇统一 title→name） */
 interface WalkProviderEntry {
     provider: string;
     implementation: string;
     credentialType: string;
     owner: string;
-    /** 厂商展示名（manifest 模块 meta——多包首声明；缺席 = undefined） */
-    title?: string;
+    /** 厂商展示名（manifest name——多包首声明；缺席 = undefined） */
+    name?: string;
     description?: string;
     local?: boolean;
     configSchema?: string;
@@ -1190,8 +1268,8 @@ interface WalkCatalog {
             provider: string;
             implementation: string;
         }>;
-        /** demand meta（title/description 首声明保留——模块 manifest demand 侧 additive） */
-        title?: string;
+        /** demand meta（name/description 首声明保留——模块 manifest demand 侧 additive；v7 title→name） */
+        name?: string;
         description?: string;
         owners: string[];
     }>;
@@ -1247,16 +1325,18 @@ interface PredicateIoInputs {
     credentialSchemaMissing: Record<string, boolean>;
     /** #7：厂商 → configSchema properties 键集并集 */
     vendorConfigKeys: Record<string, Set<string>>;
+    /** #17（G 批）：厂商 → x-tbox-global 标记键集（与 vendorConfigKeys 同循环收集——零新增 IO） */
+    vendorGlobalConfigKeys: Record<string, Set<string>>;
     /** #7：厂商 → configSchema 引用缺失（跳过该厂商死配置判定） */
     vendorConfigSchemaMissing: Record<string, boolean>;
     /** #9：实现覆盖跨厂商提示文案（已成形——谓词直投） */
     realmSwitchHints: string[];
     /** #8：root instances 注册表 ids（在场才传；缺席 → 键检查跳过） */
     malls?: string[];
-    /** #15-#16：已装模块 id → manifest contributes.resources 声明 id 集 */
+    /** #15-#16：已装模块 id → manifest declare.resources 声明 id 集 */
     moduleResourceNeeds: Record<string, ReadonlySet<string>>;
 }
-/** 装配全产物（= PredicateIoInputs + 供给/需求聚合——喂 evaluateIntegrationServices 的
+/** 装配全产物（= PredicateIoInputs + 供给/需求/归属聚合——喂 evaluateIntegrationServices 的
  *  非 contracts/integrations 入参全集，两消费方 spread 直投，零各自组装） */
 interface PredicateAssembly extends PredicateIoInputs {
     suppliedProviders: Record<string, {
@@ -1268,6 +1348,9 @@ interface PredicateAssembly extends PredicateIoInputs {
         optional: boolean;
         owners: string[];
     }>;
+    /** v6：服务归属表 + 已装模块 id 集（MODULE_CONFIG_DEAD / #12 ownerOf 透传） */
+    ownership?: Record<string, string>;
+    installedModuleIds?: ReadonlySet<string>;
 }
 /** stem → env 键（kebab → UPPER_SNAKE；与 SDK/provider-secret env 兜底同公式） */
 declare function refToEnvKey(stem: string): string;
@@ -1296,14 +1379,16 @@ declare function evaluateAppIntegrationIssues(appDir: string, integrations: Reco
  *
  * 不变式：**删除判据 ≡ doctor integration-services 报错判据（构造性同源）**——消费 doctor 同一
  * 共享求值器 evaluateAppIntegrationIssues 的结构化 issue，code 白名单
- * {VENDOR_NOT_INSTALLED, BINDING_UNRESOLVED} + 守卫（绑定引用链候选 provider ∈ installedVendors
- * 即保留，排除活厂商错配）→ 删除域严格 = "供给载体消亡"。
+ * {VENDOR_NOT_INSTALLED, BINDING_UNRESOLVED, MODULE_CONFIG_DEAD} + 守卫（绑定引用链候选
+ * provider ∈ installedVendors 即保留，排除活厂商错配）→ 删除域严格 = "供给载体消亡"。
+ * v6：模块卸载 → modules[m] **整节点确定性清理**（provider+config+resources——D4：
+ * 模块消亡清理 vs 集成位编辑保全不矛盾；MODULE_CONFIG_DEAD 为判据源）。
  *
  * 由此推论（均已实证）：需求侧孤儿绑定（demand 消失、供给在场）保留——doctor 判其合法；用户
  * 预配置绑定受保护；一次 remove 自愈全文件历史死债；凭据类 issue（CREDENTIAL_FILE_MISSING 等）
  * 刻意不进白名单，原样保留。
  *
- * 写侧三防线（镜像 write core）：N1 归一化（空模块节点删 domains 键）→ parseIntegrationsConfig
+ * 写侧三防线（镜像 write core）：归一化（空节点删键）→ parseIntegrationsConfig
  * 严格校验（失败弃写）→ writeAtomic。凭据孤儿只报告不清理（D9——与 DELETE 管线现行为一致）。
  * 全空（无任何存活绑定）→ 删文件——ensureMockBindings（缺席即生成）在重装供给时再生闭环。
  *
@@ -1320,6 +1405,23 @@ interface PruneResult {
 }
 declare function pruneIntegrationBindings(appDir: string): Promise<PruneResult>;
 
+/**
+ * 双键寻址（v7 词汇统一）：路径参数双键——id 精确优先 → 展示名唯一命中兜底 → 404
+ * （多命中 fail-visible，message 列候选 + 指引改用 id；复用既有 404 码零新错误码）。
+ *
+ * **消费边界（O1——双键语义单点）**：仅 factory.ts 控制面七方法入口接入；
+ * views / write-core / CLI 恒 id-only 纯函数。
+ *
+ * **纯参数式（F2）**：configuredKeys 由调用方注入——零 integrations 依赖、零 IO，
+ * 解析输入恒为 walk 产物快照 + 调用方键集。
+ */
+/** 模块双键解析：id 精确 → 展示名（descriptor.name ?? id）唯一命中 → 404。 */
+declare function resolveModuleKey(walk: WalkManifestsResult, key: string): WalkModuleInfo;
+/** 服务双键解析 → 真实 service id：服务键集（词汇 ∪ demand ∪ 供给足迹 ∪ configuredKeys）
+ *  精确命中 → 展示名（slotMeta.name ?? catalog.services[].name）唯一命中 → 404。
+ *  configuredKeys = 当前集成配置 services 节键集（调用方注入）。 */
+declare function resolveServiceKey(walk: WalkManifestsResult, configuredKeys: readonly string[], key: string): string;
+
 /**
  * .tbox/app.json npmModules 读写（自 CLI manifest.ts 迁入——assembly 层目录知识单源）。
  * npmModules 登记 = sdk 包双语义磁盘足迹之一（业务包 = packages/<id>/ 目录，sdk 包 = 本清单登记）。
@@ -1410,7 +1512,7 @@ interface BridgeProviderCatalog {
 }
 /** 富形态（工厂迁移面）：walkManifests 产物直通 */
 declare function loadProviderCatalogRaw(appDir: string): WalkCatalog;
-/** 桥源（形态冻结）：富形态 → 桥形状投影（demand meta title/description 剥离——桥面无此字段，
+/** 桥源（形态冻结）：富形态 → 桥形状投影（demand meta name/description 剥离——桥面无此字段，
  *  additive 差异声明见 app-sdk 桥 golden） */
 declare function loadProviderCatalog(appDir: string): BridgeProviderCatalog;
 interface ProviderServiceSchemas {
@@ -1540,7 +1642,8 @@ interface WriteCore {
     warmup(): Promise<void>;
     /** PUT /app/integration（root 节点全集） */
     applyApp(node: Record<string, unknown>, opts?: WriteOptions): SaveResult;
-    /** PUT /modules/:module/integration（domains 换算；N1 {} 删域键；v4.4 D34 写守卫单源） */
+    /** PUT /modules/:module/integration（v6 modules[owner] 集成位；键集纪律见 MODULE_INTEGRATION_NODE_KEYS；
+     *  N1 {} 清 provider/config 保 resources；moduleOwnershipWritable 写守卫单源） */
     applyModule(moduleId: string, node: Record<string, unknown>, opts?: WriteOptions): SaveResult;
     /** PUT /services/:service/integration（整节点含 instances map；N3 {} 不归一化；v4.4 A2 身份判据） */
     applyService(service: string, node: Record<string, unknown>, opts?: WriteOptions): SaveResult;
@@ -1568,6 +1671,44 @@ interface MockBindingsResult {
 }
 declare function ensureMockBindings(appDir: string): MockBindingsResult;
 
+/**
+ * 模块级联绑定单源（integrations v6 所有权模型——原 domain-binding.ts v4.4 F1/F3 重写）。
+ * integrations 层落位依据：谓词（同层）/ 写核（同层）/ views（下层可向上 import）三向消费
+ * 的唯一公共下层；import 前缀 guard 覆盖。
+ *
+ * 知识锚（module-tab note 单源锚表，v6 形态）：
+ *   模块级联（值 + 层） = resolveModuleBinding —— 谓词 #7（per-module 生效厂商 ≡
+ *                        `modules[m].provider ?? root.provider`）/ deriveBindingLayer 模块级段 /
+ *                        buildInheritance module 段 / binding（单数）
+ *   归属表             = walk.ownership（单源聚合产物；buildOwnershipMap 桥直通——
+ *                        registry 显式参 / 谓词 / 写守卫 / views 四消费方零第二实现）
+ *   来源层四层推导     = deriveBindingLayer（views/service-resolutions，模块级段改调本文件）
+ *   写通道可用性       = moduleOwnershipWritable —— configEditable 读标志 / applyModule 400 守卫
+ *                        共用（owns>0 唯一判据——多域归属合法化、共享键/多域判据随 D34 退役）
+ */
+/** 归属表构建（walk 单源直通——sdk 桥 re-export 消费；appDir 直入对齐 loadProviderCatalog
+ *  桥工效——模板装配第六行：`ownerOf: buildOwnershipMap(appDir)`）。 */
+declare function buildOwnershipMap(appDir: string): Record<string, string>;
+/** 模块级联绑定解析（值 + 来源层）：provider 取非空字符串（模块级优先 → root 兜底；空串 = 缺席）。
+ *  layer：modules[moduleId].provider 声明 → 'module'；root 兜底 → 'app'；双缺 → null（binding 双缺诚实态）。 */
+declare function resolveModuleBinding(config: Record<string, unknown> | null, moduleId: string): {
+    provider: string | null;
+    layer: 'module' | 'app' | null;
+};
+/** 模块集成位可写性（v6 判别联合——configEditable 读标志与 applyModule 写守卫共用单源）：
+ *  owns>0 唯一判据（D34 多域/shared-key 判据随 v6 退役——服务归属唯一真源 = declare.owns）。 */
+type ModuleOwnershipWritability = {
+    writable: true;
+    ownedServices: string[];
+} | {
+    writable: false;
+    reason: 'zero-ownership';
+    ownedServices: [];
+};
+declare function moduleOwnershipWritable(_walk: Pick<WalkManifestsResult, 'modules' | 'catalog' | 'ownership'>, mod: WalkModuleInfo): ModuleOwnershipWritability;
+/** 供给足迹（该厂商全部供给服务并集——应用级 integrationSchemas 作用域，D32） */
+declare function providerFootprint(catalog: WalkCatalog, provider: string): string[];
+
 /**
  * AppToolkitError（领域 6 码 + 壳层 2 码分界——toolkit 只产领域码）：
  * VALIDATION_FAILED(400) / SERVICE_NOT_FOUND(404) / MODULE_NOT_FOUND(404) /
@@ -1601,6 +1742,11 @@ declare function contractsNotResolvedMessage(contracts: {
  * agtcodingbox / tbox-ai-coding 经 `import type` 消费（L2 DTO 单源——API 层零类型镜像）。
  * 词汇七概念：app / module / service / instance / provider / integration / resolution。
  * 弃用词汇清单见 api.md §3 尾（component/slot/scope/configMode/…——防复活）。
+ *
+ * **v7 词汇统一破例声明（一次性收敛，此后恢复 additive-only）**：标识/展示名分轴
+ * （id = 标识、name = 展示名、description = 描述——对齐实例轴 {id, name}），
+ * title 键全量退役（与 manifest name→id/title→name 同一变更）；`.title` 消费方
+ * （外部仓 import type / 运行时读）需同窗迁移。
  */
 /** contracts 求值五态原样（EffectiveServiceResolution.status） */
 type ServiceStatus = 'ok' | 'service-not-configured' | 'instance-not-found' | 'instance-disabled' | 'binding-unresolved';
@@ -1615,58 +1761,66 @@ interface ModulesView {
 interface ModuleDeclaration {
     /** install id（packages/ 目录名 / .tbox/app.json entry.id）——恒业务模块（provider 家族不在本清单） */
     id: string;
-    /** 包名 */
+    /** 展示名（v7 词汇统一：manifest name ?? id——恒有值） */
     name: string;
-    title: string;
     description: string;
+    /** 隐藏模块（additive——manifest hidden === true 时携带；默认清单已过滤，本字段仅供
+     *  ?includeHidden=true 可见时徽标呈现） */
+    hidden?: boolean;
 }
 /** 服务需求声明（模块 demand 单元 / 平台服务条目——v4.4 D29 双端点同型；defaults 唯一落位 ServiceDetail） */
 interface ServiceDemand {
     service: string;
-    /** manifest demand meta；缺席 UI 回退 service id */
-    title?: string;
+    /** manifest demand meta（v7 title→name）；缺席 UI 回退 service id */
+    name?: string;
     description?: string;
     /** demand optional === false（多模块 OR 聚合见 resolution echo；平台服务条目恒 false） */
     required: boolean;
 }
 /** GET /modules/:module（模块静态一站式 · PUT 读对偶） */
 interface ModuleDetailView {
-    /** B1 additive：模块 meta 展示名（manifest title；视图层兜底 name——恒有值） */
-    title: string;
+    /** 模块展示名（v7 词汇统一：manifest name ?? id——恒有值） */
+    name: string;
     /** B1 additive：模块 meta 描述（manifest description；兜底 ''） */
     description: string;
-    /** v4.4 D34：demand 服务首段去重（排序；1..N；零域 = []） */
-    domainKeys: string[];
-    /** domains[换算键] 节点原值；未配置 = null；v4.4 D34：仅单域（writable）时在场——多域/零域/共享键无单键落点 */
+    /** 隐藏模块（additive——manifest hidden === true 时携带；详情恒 200 不受清单过滤影响，
+     *  本字段仅供面板徽标呈现） */
+    hidden?: boolean;
+    /** v6 所有权模型：模块归属服务（declare.owns 展平，排序；零归属 = []）——
+     *  v5 domainKeys 退役（破坏性更名；面板 presence-detection 双读义务见 api.md §3） */
+    ownedServices: string[];
+    /** modules[install id] 集成位原值（provider/config；resources 不投影——见 resources 字段）；未配置 = null */
     integration: ModuleIntegrationNode | null;
-    /** v4.4 D34：每域一条厂商绑定解析（单域 = 单元素；零域 = []；resolveDomainBinding 单源） */
-    providerBindings: ProviderBinding[];
-    /** v4.4 D34：单域 && 域键无跨模块共享（moduleDomainWritable 单源——读标志与写守卫共用） */
+    /** 模块资源只读镜像（N2 读半边——写侧 resources 恒保全；含 ref 台账展开态 resolvedDatasetId）；
+     *  无模块键/无资源节 = null */
+    resources?: ModuleResourcesEcho | null;
+    /** v6 单数化（v5 providerBindings[] 退役）：模块级厂商绑定解析（resolveModuleBinding 单源；
+     *  单值作用于全部 ownedServices） */
+    binding: ModuleBinding | null;
+    /** v6：owns.length > 0（moduleOwnershipWritable 单源——读标志与写守卫共用） */
     configEditable: boolean;
-    /** 本模块 demand（卡片展开 + 编辑器静态上下文自足） */
+    /** 本模块 demand（declare.consumes；卡片展开 + 编辑器静态上下文自足） */
     services: ServiceDemand[];
     /** v4.4 D31：include=serviceResolutions 内嵌（demand 服务过滤 ≡ 批量 ?service= 语义；<0.9/形态异常 → null——永不 503） */
     serviceResolutions?: ServiceResolutionsView | null;
-    /** v4.4 D32：include=integrationSchemas 层级富化（多域/零域/共享键/未绑定 → null） */
+    /** v4.4 D32：include=integrationSchemas 层级富化（零归属/未绑定 → null） */
     integrationSchemas?: LayerIntegrationSchemas | null;
     /** v4.6 D36：include=integrationFieldRegistry 集成字段注册表（null 语义镜像 integrationSchemas；
      *  未知厂商/零足迹 → 非 null 空集 + unsupplied 回填——D37 轴参假想计算同此） */
     integrationFieldRegistry?: IntegrationFieldRegistryView | null;
 }
-/** 模块域厂商绑定解析（v4.4 D34——静态文件事实；规则 ≡ 谓词 #7 域级，resolveDomainBinding 单源） */
-interface ProviderBinding {
-    /** 域键（= domainKeys 成员；多域模块每域一条） */
-    domain: string;
-    /** domains[domain].provider ?? root.provider（双缺 = null） */
-    effective: string | null;
+/** 模块级厂商绑定解析（v6——静态文件事实；规则 ≡ 谓词 #7 模块层，resolveModuleBinding 单源） */
+interface ModuleBinding {
+    /** modules[install id].provider ?? root.provider（双缺 = null） */
+    provider: string | null;
     /** 生效来源层（双缺 = null） */
     layer: 'module' | 'app' | null;
 }
 /** 层级 config schema 计算（v4.4 D32——静态轴富化，零 contracts） */
 interface LayerIntegrationSchemas {
-    /** 层生效厂商（resolveDomainBinding 单源） */
+    /** 层生效厂商（resolveModuleBinding 单源） */
     provider: string;
-    /** 模块级 = 本模块 demand ∩ 该厂商供给；应用级 = 供给足迹全量（configSchema = raw draft 2020-12 原文；供给在场未声明 = null） */
+    /** 模块级 = 本模块 ownedServices ∩ 该厂商供给；应用级 = 供给足迹全量（configSchema = raw draft 2020-12 原文；供给在场未声明 = null） */
     services: Record<string, {
         configSchema: object | null;
     }>;
@@ -1682,7 +1836,7 @@ interface IntegrationFieldRegistryView {
     unsupplied: string[];
     /** 作用域内全部非 null schema 的 additionalProperties 均 ≠ false（聚合；空真） */
     additionalPropertiesAllowed: boolean;
-    /** 逐 key 合并产物（首声明插入序 = scope 遍历序：app 字母序 / module demand 序） */
+    /** 逐 key 合并产物（首声明插入序 = scope 遍历序：app 字母序 / module ownedServices 序） */
     fields: Array<{
         key: string;
         /** null = 类型不可调和（R3/R2 异构/R1 enum 不等——冲突折叠，客户端 RawJson 保真） */
@@ -1692,6 +1846,9 @@ interface IntegrationFieldRegistryView {
             service: string;
             required: boolean;
         }>;
+        /** G 批：x-tbox-global 聚合旗标（sources.some——任一来源声明即 true；app/module 轴表单
+         *  仅渲染 true 字段，非全局键落 ExtraFields；service 轴全量透传） */
+        global: boolean;
     }>;
 }
 /** GET /app（应用静态视图：平台服务 + root 原值） */
@@ -1723,11 +1880,17 @@ interface ServiceDetail extends ServiceDemand {
     /** v4.7 D38：include=integrationSchemas 生效绑定富化（三态：null 全链未绑定 /
      *  绑定无可计算 schema / 含 schema；malformed 节点 → null——不放行域级联） */
     integrationSchemas?: ServiceIntegrationSchemas | null;
+    /** G 批：include=integrationFieldRegistry 服务轴注册表（loadServiceFieldRegistry——
+     *  四分支链推导复用 D38；fields = 该 schema 全部字段带 global 旗标；null 语义镜像 D38。
+     *  v5.1 D39：serviceProvider 轴参 = 假想重定向——仅表单投影按 X 计算，带非空轴参时
+     *  registry 恒非 null（豁免链③不镜像实际态 null）；同构 ≡ PUT 改写 provider 后实读） */
+    integrationFieldRegistry?: IntegrationFieldRegistryView | null;
 }
 /** 服务级生效绑定 schema（v4.7 D38 静态轴富化——零 contracts，永不 503；实例层无条件排除：
  *  node 级口径 ≠ resolution 默认实例口径，api.md §4.4 注） */
 interface ServiceIntegrationSchemas {
-    /** 生效厂商：显式（含内联声明名）?? domains[首段].provider ?? root.provider */
+    /** 生效厂商：显式（含内联声明名）?? modules[ownerOf].provider ?? root.provider；
+     *  v5.1 D39：serviceProvider 轴参在场时 = 假想短路值（非链解析产物） */
     provider: string;
     /** catalog 复合键（多 impl 声明序首个）> 内联 ref；miss（未知厂商/未供给/内联缺 ref）→ null（富化非门控） */
     configSchema: object | null;
@@ -1792,14 +1955,36 @@ interface AppIntegrationNode {
     defaultInstanceId?: string | null;
 }
 /** AppIntegrationNode 键集单源（runtime const——write applyApp 全量替换白名单
- *  （缺席根键删除；services/domains/modules 域不在其中）+ views/app 投影（GET 预填 ≡ PUT body，
- *  D21/L1——文件含 services/domains 但 root 节点投影只含本键集）） */
+ *  （缺席根键删除；services/modules 域不在其中；v6 domains 键退役）+ views/app 投影
+ *  （GET 预填 ≡ PUT body，D21/L1——文件含 services/modules 但 root 节点投影只含本键集）） */
 declare const APP_INTEGRATION_NODE_KEYS: readonly ["provider", "config", "configByInstance", "credentialRef", "credentialRefByInstance", "instances", "defaultInstanceId"];
-/** 模块域节点（恒字符串 provider——域层无凭据位，契约事实） */
+/** 模块集成位节点（v6——provider 绑定默认 + config 级联层；resources 不投影不写——
+ *  集成位编辑恒保全资源节，N2） */
 interface ModuleIntegrationNode {
     provider?: string;
     config?: Record<string, unknown>;
 }
+/** ModuleIntegrationNode 可写键集单源（v6——write applyModule 全量替换白名单
+ *  （键集外 400；resources 恒随既有节点保全）+ views/modules 投影（GET ≡ PUT，三同构）） */
+declare const MODULE_INTEGRATION_NODE_KEYS: readonly ["provider", "config"];
+/** 模块资源回显（只读投影——N2 读半边：写侧仍仅 provider/config，resources 恒保全）。
+ *  原值文件镜像（L1）+ ref 台账展开态：`ref` 在场且同目录 knowledge.json 命中时
+ *  `resolvedDatasetId` = 台账 datasetId（镜像 SDK resolveKnowledge 展开语义），未命中/台账缺失 = null。
+ *  路径锚定边界：视图恒读 `<appDir>/config/`（与 toolkit readIntegrationsConfig 同源——
+ *  `TBOX_INTEGRATIONS_FILE` 为 SDK 运行时逃生舱，视图不跟随，既有分叉）。 */
+interface ModuleResourceEcho {
+    type: 'knowledge';
+    /** 文件原值直填 datasetId（与 ref 互斥使用——并存时 SDK 侧 datasetId 优先） */
+    datasetId?: string;
+    /** 文件原值 ref（台账引用——knowledge.json knowledge_bases 键） */
+    ref?: string;
+    /** 展开态：datasetId 直填时 = 该值；ref 命中台账 = 台账 datasetId；ref 未命中/台账缺失 = null */
+    resolvedDatasetId: string | null;
+    topK?: number;
+    scoreThreshold?: number;
+}
+/** modules[install id].resources 只读镜像（键 = 资源 id；无模块键/无资源 = null） */
+type ModuleResourcesEcho = Record<string, ModuleResourceEcho>;
 /** services[s] 整节点 */
 interface ServiceIntegrationNode {
     /** 对象 = 自定义 API（仅槽级，P2） */
@@ -1849,8 +2034,8 @@ interface ProviderEntry {
     local: boolean;
     /** 供给声明来源包名 */
     owner: string;
-    /** B1 additive：厂商展示名（manifest 模块 meta——多包首声明；缺席 = undefined） */
-    title?: string;
+    /** 厂商展示名（v7 title→name：manifest name——多包首声明；缺席 = undefined） */
+    name?: string;
     description?: string;
 }
 /** GET /providers/:provider：供给足迹 */
@@ -1858,8 +2043,8 @@ interface ProviderDetail {
     provider: string;
     local: boolean;
     owner: string;
-    /** B1 additive：厂商展示名（同 ProviderEntry——首声明透传） */
-    title?: string;
+    /** 厂商展示名（同 ProviderEntry——首声明透传） */
+    name?: string;
     description?: string;
     /** per (provider, service) 保真，同厂商异构合法；★ implementations 恒数组（H1——
      *  多元素 = 升级窗口，UI 出 impl 选择器，PUT 显式钉版） */
@@ -1868,8 +2053,8 @@ interface ProviderDetail {
             implementation: string;
             credentialType: string;
         }>;
-        /** B1 additive：服务展示名（resolveServiceDisplay——词汇 > demand > id；恒发） */
-        title?: string;
+        /** 服务展示名（resolveServiceDisplay——词汇 > demand > id；恒发） */
+        name?: string;
         description?: string;
         /** v4.4 F5：include=integrationSchemas 切换态批量（纯 config——凭据结构归 /credential-types） */
         integrationSchemas?: {
@@ -1957,7 +2142,7 @@ interface IntegrationIssue {
 
 /**
  * 视图装配共享上下文（五投影共用；目录枚举零缓存——walkManifests 每次调用执行）。
- * 域前缀换算（service → 首点段）自 v4.4 F1 迁 integrations/domain-binding.ts（本文件 re-export 保导入路径）。
+ * v6：域前缀换算退役（domainOfService 随归属模型退场）——模块占用判定改 declare 三键直读。
  */
 interface ViewContext {
     appDir: string;
@@ -1969,22 +2154,27 @@ interface ViewSnapshot {
     catalog: WalkCatalog;
     integrations: Record<string, unknown> | null;
     contracts: ResolvedContracts;
+    /** 文件读原语透传（可选——resources 台账惰性读等 stat 指纹缓存消费；缺席 = 调用方直读） */
+    cache?: FileCache;
 }
 
-/** GET /modules：纯模块清单（demand 不在——卡片展开 = GET /modules/:m；provider 家族包不在清单） */
-declare function loadModulesView(snapshot: ViewSnapshot): {
+/** GET /modules：纯模块清单（demand 不在——卡片展开 = GET /modules/:m；provider 家族包不在清单；
+ *  hidden 模块默认过滤——includeHidden = true 可见并携带 hidden: true 徽标） */
+declare function loadModulesView(snapshot: ViewSnapshot, opts?: {
+    includeHidden?: boolean;
+}): {
     modules: ModuleDeclaration[];
 };
-/** GET /modules/:module：模块静态一站式（integration 节点原值 + demand；PUT 读对偶） */
+/** GET /modules/:module：模块静态一站式（modules[install id] 集成位原值 + demand；PUT 读对偶） */
 declare function loadModuleDetailView(snapshot: ViewSnapshot, moduleId: string): ModuleDetailView;
 
 /**
  * 应用静态投影（views/app；C4；FX-1c B10——root 节点投影修；v4.4 D29——services 双端点同型）。
  * /app = 平台服务 + root 节点原值（纯静态）：services = 服务词汇 − 模块占用
- * （ServiceDemand[]——平台条目 required 恒 false、title/description 缺席，D29）；
+ * （ServiceDemand[]——平台条目 required 恒 false、name/description 缺席，D29）；
  * 平台服务状态不在此（→ /service-resolutions）；模块服务不在此（→ /modules/:m）。
  * integration = **root 节点投影**（APP_INTEGRATION_NODE_KEYS——D21/L1：GET 预填 ≡ PUT body；
- * 文件另含 services/domains/modules 域键，不进 root 节点投影——原实现整文件透传，
+ * 文件另含 services/modules 域键，不进 root 节点投影——原实现整文件透传，
  * PUT 回会级联写回域键）；文件缺席 = null，文件在场 → 投影对象（可为空）。
  */
 declare function loadAppView(snapshot: ViewSnapshot): AppView;
@@ -2038,19 +2228,42 @@ declare function loadServiceResolutionDetail(service: string, snapshot: ViewSnap
  *  复合解析——v4.7 D38 收口，零新读取路径；供给在场未声明 = null，mock 合法） */
 declare function resolveLayerIntegrationSchemas(snapshot: ViewSnapshot, provider: string, services: readonly string[]): LayerIntegrationSchemas;
 declare function resolveLayerIntegrationSchemas(snapshot: ViewSnapshot, provider: string | null, services: readonly string[]): LayerIntegrationSchemas | null;
+/** D36 registry 构造（纯函数——消费 resolveLayerIntegrationSchemas 产物，禁旁路直取 serviceSchemas）。
+ *  fields 收集零过滤（布尔/非对象子 schema 入列，判定全权归 mergeFieldSources——S8 互证等式由
+ *  收集定义结构性闭合）；schemaless 仅 configSchema === null（布尔/畸形整 schema 防御跳过——
+ *  不入 schemaless、零参与聚合；D32 运行时畸形，非契约面）。 */
+declare function buildIntegrationFieldRegistry(layer: LayerIntegrationSchemas, o?: {
+    unsupplied?: string[];
+}): IntegrationFieldRegistryView;
+/** D37 生效厂商解析单源（实际/假想同径）：override（非空串）?? 实际解析。
+ *  空串归一（I3）单点；module 轴 v6 零归属 → null（override 不豁免——预览服务于保存）。 */
+declare function formProviderOf(axis: 'app' | 'module', snapshot: ViewSnapshot, moduleId?: string, override?: string): string | null;
 /** app 级 loader（v4.6 委托化——签名零改动，公开面保持；假想态归 loadAppFormViews override 参） */
 declare function loadAppIntegrationSchemas(snapshot: ViewSnapshot): LayerIntegrationSchemas | null;
 /** module 级 loader（v4.6 委托化——同上；多域/零域/共享键/未绑定 → 整字段 null，表单降级 = ExtraFields） */
 declare function loadModuleIntegrationSchemas(snapshot: ViewSnapshot, moduleId: string): LayerIntegrationSchemas | null;
 /** 服务级 loader（v4.7 D38）：四分支穷举（node.provider = 文件 services[s].provider 逐字原值；
  *  实例层无条件排除——node 级口径）；非空三分支归约一次复合解析。
- *  ① undefined/'' → resolveDomainBinding 域级联（域 + root 双缺 → 整字段 null）
+ *  ① undefined/'' → 模块级联（v6：modules[ownerOf[s]] → root 双缺 → 整字段 null）
  *  ② 非空 string → bare：catalog miss（未知厂商/未供给）→ configSchema:null 不 404（富化非门控）
  *  ③ 受控内联（isControlledInlineProvider 单源）→ 名 = p.provider；catalog 复合键 > p.configSchema ref
  *     （H9 逃逸 400 照抛——readInlineSchema 共享路径）
  *  ④ 其余（null/数组/原始值/坏对象）→ 整字段 null（≡ 谓词 #5 INLINE_PROVIDER_INVALID 同判——
- *     不放行域级联，防错误 schema 污染坏节点） */
-declare function loadServiceIntegrationSchemas(snapshot: ViewSnapshot, service: string): ServiceIntegrationSchemas | null;
+ *     不放行域级联，防错误 schema 污染坏节点）
+ *  v5.1 D39：serviceProvider = 服务轴向假想绑定（缺席/空串 ≡ 按实际解析——I3 归一单点在此头部，
+ *  registry 侧不重复归一）；非空轴参 → 短路 bare 解析（镜像 formProviderOf「输入替换非分支复制」先例：
+ *  任一原分支改写 provider 为 X 后实读都进 bare 分支，同构承诺 by construction）。短路在节点读取之前——
+ *  豁免链三分支（D39 与 D38 四分支的有意分歧：预览与坏文件解耦）：malformed（分支④）不污染假想 /
+ *  内联 ref 不读取（假想态无 H9 逃逸 400；catalog 命中的 manifest 声明路径照读，与节点声明的
+ *  用户可控路径不同性）/ 全链未绑定时假想仍非 null（服务轴恒可写，无 module 轴零归属对应物）。 */
+declare function loadServiceIntegrationSchemas(snapshot: ViewSnapshot, service: string, serviceProvider?: string): ServiceIntegrationSchemas | null;
+/** G 批：服务轴字段注册表（D38 四分支链复用——消费 loadServiceIntegrationSchemas 单源；
+ *  伪层 {provider, services: {[s]: {configSchema}}} → buildIntegrationFieldRegistry——
+ *  fields = 该 schema 全部字段带 global 旗标；configSchema null → schemaless=[service]
+ *  非 null 空集；schemas 整体 null（全链未绑定/坏节点）→ registry null——镜像 D38 语义）。
+ *  v5.1 D39：serviceProvider = 服务轴向假想绑定，纯透传（I1 单源——归一与短路都在链函数头部；
+ *  轴参仅重定向表单层投影，global 旗标全量透传语义不变）。 */
+declare function loadServiceFieldRegistry(snapshot: ViewSnapshot, service: string, serviceProvider?: string): IntegrationFieldRegistryView | null;
 
 /**
  * 凭据状态轴投影（views/credentials；v4.4 D33 独立端点 GET /credentials）：
@@ -2082,7 +2295,8 @@ declare function loadCredentialTypesView(snapshot: ViewSnapshot, provider?: stri
  * createAppToolkit（C4 工厂；v4.4——24 方法 = 11 读（含 credentials/credential-types 双端点）
  * + 4 写 + 9 迁移面；loadApp/loadModule/loadProvider 增 include 选项；v4.6——loadApp/loadModule
  * += 轴向假想绑定选项（appProvider/moduleProvider，D37）；表单双投影经 formViews 单点装配；
- * v4.7——loadService 增 include 选项（服务级生效绑定 schema 单体））。
+ * v4.7——loadService 增 include 选项（服务级生效绑定 schema 单体）；v5.1 D39——loadService
+ * += serviceProvider 轴参（服务轴向假想绑定，三轴收口））。
  * AppToolkit = AppToolkitRead & AppToolkitWrite & AppToolkitInternals——
  * Read+Write = HTTP 直通面 additive 冻结（L1 端点↔方法 1:1，L3 命名镜像：Integration=节点级 /
  * Config=文件级）；Internals = CLI/doctor/桥消费（自由演进）。
@@ -2101,10 +2315,16 @@ interface AppToolkitOptions {
     /** 写成功（实际落盘且非 dryRun/no-diff）→ 调用一次（宿主闭包内防抖/守卫）；CLI 不传恒 false */
     onApplied?: () => void;
 }
-/** ── HTTP 直通面（11 读；L1 镜像律：方法名 = load + URL 资源段；query → 选项字段 L4）── */
+/** ── HTTP 直通面（11 读；L1 镜像律：方法名 = load + URL 资源段；query → 选项字段 L4）──
+ *  **双键契约（v7 词汇统一）**：资源路径参数双键寻址（id 优先、唯一展示名兜底——resolve-key
+ *  单点；多命中 404 带候选）；query 过滤参数（loadServiceResolutions services?）恒 id-only。 */
 interface AppToolkitRead {
-    loadModules(): Promise<ModulesView>;
-    /** v4.6 D37：moduleProvider = 轴向假想绑定（缺席/空串 ≡ 按实际配置解析；需与表单 include 键同现） */
+    /** GET /modules：hidden 模块默认过滤（includeHidden = true 可见——对齐 ?dryRun 布尔参数先例） */
+    loadModules(o?: {
+        includeHidden?: boolean;
+    }): Promise<ModulesView>;
+    /** v4.6 D37：moduleProvider = 轴向假想绑定（缺席/空串 ≡ 按实际配置解析；需与表单 include 键同现）。
+     *  moduleId = 双键（id 优先、唯一展示名兜底）。 */
     loadModule(moduleId: string, o?: {
         include?: string[];
         moduleProvider?: string;
@@ -2114,8 +2334,11 @@ interface AppToolkitRead {
         include?: string[];
         appProvider?: string;
     }): Promise<AppView>;
+    /** v5.1 D39：serviceProvider = 服务轴向假想绑定（缺席/空串 ≡ 按实际配置解析；需与表单 include
+     *  键同现）——假想重定向仅表单双投影，integration/suppliedBy/defaults 恒实际态（I2） */
     loadService(service: string, o?: {
         include?: string[];
+        serviceProvider?: string;
     }): Promise<ServiceDetail>;
     loadServiceResolutions(services?: string[]): Promise<ServiceResolutionsView>;
     loadServiceResolution(service: string): Promise<ServiceResolutionDetail>;
@@ -2129,7 +2352,8 @@ interface AppToolkitRead {
     /** GET /credential-types[?provider=]（v4.4 D33——供给轴静态；零门控，永不 503） */
     loadCredentialTypes(provider?: string): Promise<CredentialTypesView>;
 }
-/** ── HTTP 直通面（4 写；body ≡ 文件节点全量替换；DELETE 无 dryRun/无 options）── */
+/** ── HTTP 直通面（4 写；body ≡ 文件节点全量替换；DELETE 无 dryRun/无 options）──
+ *  双键契约（v7）：路径键双键寻址（写侧 enqueue 闭包内解析——落盘键恒真实 id）。 */
 interface AppToolkitWrite {
     writeAppIntegration(node: AppIntegrationNode, o?: {
         dryRun?: boolean;
@@ -2179,4 +2403,4 @@ interface AppToolkitInternals {
 type AppToolkit = AppToolkitRead & AppToolkitWrite & AppToolkitInternals;
 declare function createAppToolkit(appDir: string, options?: AppToolkitOptions): AppToolkit;
 
-export { APP_INTEGRATION_NODE_KEYS, type AppIntegrationNode, type AppManifest, type AppManifestFull, type AppToolkit, AppToolkitError, type AppToolkitErrorCode, type AppToolkitInternals, type AppToolkitOptions, type AppToolkitRead, type AppToolkitWrite, type AppView, type AppliedCredential, type BindingLayer, type BridgeProviderCatalog, type CardContrib, type ContractsResolution, type CredentialBindingEcho, type CredentialEcho, type CredentialFile, type CredentialInput, type CredentialTypeEntry, type CredentialTypesView, type CredentialValues, type CredentialsView, type DeclaredModuleInfo, type EffectiveBinding, type EnvExpansionResult, type EvaluationExports, type FileCache, type InlineVendorDeclaration, type IntegrationFieldRegistryView, type IntegrationIssue, type IntegrationServiceIssue, type IntegrationServicePredicateInput, type LayerIntegrationSchemas, type MiniappContainerEntry, type MockBindingsResult, type ModuleDeclaration, type ModuleDescriptor, type ModuleDetailView, type ModuleIntegrationNode, type ModuleMode, type ModulesView, type NpmModuleEntry, type OrphanIssue, type ParseModuleResult, type PlannedCredential, type PredicateAssembly, type PredicateContracts, type PredicateIoInputs, type ProviderBinding, type ProviderDetail, type ProviderEntry, type ProviderServiceDetail, type ProviderServiceSchemas, type ProviderServiceSchemasResult, type ProviderSlotContrib, type ProvidersView, type PruneResult, type ReadIntegrationsResult, type ResolvedContracts, type ResolvedInstance, type ResolvedModule, type ResourceNeedContrib, SAFE_NAME_PATTERN, type SaveResult, type ServiceDemand, type ServiceDetail, type ServiceInstanceNode, type ServiceIntegrationNode, type ServiceIntegrationSchemas, type ServiceNeedContrib, type ServiceResolution, type ServiceResolutionDetail, type ServiceResolutionEntry, type ServiceResolutionsView, type ServiceStatus, type StemInput, type SupplyLookup, type ViewContext, type ViewSnapshot, type WalkCatalog, type WalkManifestsResult, type WalkModuleInfo, type WalkProviderEntry, type WriteCore, type WriteCoreOptions, type WriteOptions, assertValidModuleId, buildPredicateAssembly, checkInstanceKeys, collectDeclaredModules, contractsNotResolvedMessage, createAppToolkit, createFileCache, createWriteCore, credentialArtifactExists, deepEqual, deriveStem, echoForRef, ensureDir, ensureMockBindings, evaluateAppIntegrationIssues, evaluateIntegrationServices, expandEnvVars, extractModuleIdFromSource, invalidateContractsResolver, isControlledInlineProvider, isValidModuleId, loadAppIntegrationSchemas, loadAppView, loadCredentialTypesView, loadCredentialsView, loadModuleDetailView, loadModuleIntegrationSchemas, loadModulesView, loadProviderCatalog, loadProviderCatalogRaw, loadProviderDetailView, loadProviderServiceDetailView, loadProvidersView, loadServiceDetailView, loadServiceIntegrationSchemas, loadServiceResolutionDetail, loadServiceResolutionsView, manifestPath, maskCredentialValues, moduleDependencySchema, moduleDescriptorSchema, pageContribSchema, parseModuleDescriptor, providerSlotContribSchema, pruneIntegrationBindings, readAppManifest, readAppManifestFull, readCredentialFile, readIntegrationsConfig, readIntegrationsStrict, reconcileOrphanCredentials, refToEnvKey, removeNpmModule, resolveContractsForApp, resolveContractsForApp as resolveContractsForAppExport, resolveLayerIntegrationSchemas, resolveServiceSummary, resourceNeedContribSchema, serviceNeedContribSchema, stemToFilePath, stemToRef, tabContribSchema, updateNpmModule, upsertMiniappContainer, upsertNpmModule, walkManifests, writeAppManifest, writeAtomic, writeCredentialFile };
+export { APP_INTEGRATION_NODE_KEYS, type AppIntegrationNode, type AppManifest, type AppManifestFull, type AppToolkit, AppToolkitError, type AppToolkitErrorCode, type AppToolkitInternals, type AppToolkitOptions, type AppToolkitRead, type AppToolkitWrite, type AppView, type AppliedCredential, type BindingLayer, type BridgeProviderCatalog, type CardContrib, type ContractsResolution, type CredentialBindingEcho, type CredentialEcho, type CredentialFile, type CredentialInput, type CredentialTypeEntry, type CredentialTypesView, type CredentialValues, type CredentialsView, type DeclarationIssue, type DeclaredModuleInfo, type EffectiveBinding, type EnvExpansionResult, type EvaluationExports, type FileCache, type InlineVendorDeclaration, type IntegrationFieldRegistryView, type IntegrationIssue, type IntegrationServiceIssue, type IntegrationServicePredicateInput, type LayerIntegrationSchemas, MODULE_INTEGRATION_NODE_KEYS, type MiniappContainerEntry, type MockBindingsResult, type ModuleBinding, type ModuleDeclaration, type ModuleDescriptor, type ModuleDetailView, type ModuleIntegrationNode, type ModuleMode, type ModuleOwnershipWritability, type ModuleResourceEcho, type ModuleResourcesEcho, type ModulesView, type NpmModuleEntry, type OrphanIssue, type ParseModuleResult, type PlannedCredential, type PredicateAssembly, type PredicateContracts, type PredicateIoInputs, type ProviderDetail, type ProviderEntry, type ProviderServiceDetail, type ProviderServiceSchemas, type ProviderServiceSchemasResult, type ProviderSlotContrib, type ProvidersView, type PruneResult, type ReadIntegrationsResult, type ResolvedContracts, type ResolvedInstance, type ResolvedModule, type ResourceNeedContrib, SAFE_NAME_PATTERN, type SaveResult, type ServiceConsumeContrib, type ServiceDemand, type ServiceDetail, type ServiceInstanceNode, type ServiceIntegrationNode, type ServiceIntegrationSchemas, type ServiceOwnContrib, type ServiceResolution, type ServiceResolutionDetail, type ServiceResolutionEntry, type ServiceResolutionsView, type ServiceStatus, type SlotMeta, type StemInput, type SupplyLookup, type ViewContext, type ViewSnapshot, type WalkCatalog, type WalkManifestsResult, type WalkModuleInfo, type WalkProviderEntry, type WriteCore, type WriteCoreOptions, type WriteOptions, assertValidModuleId, buildIntegrationFieldRegistry, buildOwnershipMap, buildPredicateAssembly, checkInstanceKeys, collectDeclaredModules, contractsNotResolvedMessage, createAppToolkit, createFileCache, createWriteCore, credentialArtifactExists, deepEqual, deriveStem, echoForRef, ensureDir, ensureMockBindings, evaluateAppIntegrationIssues, evaluateIntegrationServices, expandEnvVars, extractModuleIdFromSource, formProviderOf, invalidateContractsResolver, isControlledInlineProvider, isValidModuleId, loadAppIntegrationSchemas, loadAppView, loadCredentialTypesView, loadCredentialsView, loadModuleDetailView, loadModuleIntegrationSchemas, loadModulesView, loadProviderCatalog, loadProviderCatalogRaw, loadProviderDetailView, loadProviderServiceDetailView, loadProvidersView, loadServiceDetailView, loadServiceFieldRegistry, loadServiceIntegrationSchemas, loadServiceResolutionDetail, loadServiceResolutionsView, manifestPath, maskCredentialValues, moduleDependencySchema, moduleDescriptorSchema, moduleOwnershipWritable, pageContribSchema, parseModuleDescriptor, providerFootprint, providerSlotContribSchema, pruneIntegrationBindings, readAppManifest, readAppManifestFull, readCredentialFile, readIntegrationsConfig, readIntegrationsStrict, reconcileOrphanCredentials, refToEnvKey, removeNpmModule, resolveContractsForApp, resolveContractsForApp as resolveContractsForAppExport, resolveLayerIntegrationSchemas, resolveModuleBinding, resolveModuleKey, resolveServiceKey, resolveServiceSummary, resourceNeedContribSchema, serviceConsumeContribSchema, serviceOwnContribSchema, stemToFilePath, stemToRef, tabContribSchema, updateNpmModule, upsertMiniappContainer, upsertNpmModule, walkManifests, writeAppManifest, writeAtomic, writeCredentialFile };