@tbox.cn/app-toolkit 0.3.0 → 0.4.0

package/src/views/modules.ts

@@ -1,7 +1,7 @@
 import type { ModuleDeclaration, ModuleDetailView, ProviderBinding, ServiceDemand } from '../dto.js';
 import { AppToolkitError } from '../core/errors.js';
 import { moduleDomainWritable, resolveDomainBinding } from '../integrations/domain-binding.js';
-import type { ViewSnapshot } from './context.js';
+import { resolveServiceDisplay, type ViewSnapshot } from './context.js';
 
 /**
  * 需求轴/模块静态投影（views/modules；C4）。静态端点结构性零求值（铁律 #3——
@@ -19,7 +19,7 @@ function familyName(s: string): string {
   return s.replace(/^@tbox\.cn\/app-/, '').replace(/^@[^/]+\//, '');
 }
 
-/** provider 家族包判定（模块清单排除供给/实施载体；生态三先例同源：verify-cli 排除判定 /
+/** provider 家族包判定（模块清单排除供给/实施载体；生态三先例同源：stage 排除判定 /
  *  guard-vendor-neutrality「provider-* 包」/ cli deriveModuleId 家族推导）。install id 与
  *  包名 basename 双查 = 防 .tbox/app.json 登记漂移纵深；命名而非结构（provider-custom 零贡献
  *  空壳与「零贡献合法」形态不可结构区分）；未来收敛 = manifest 显式角色标记（届时整体退场）。 */
@@ -34,10 +34,9 @@ export function loadModulesView(snapshot: ViewSnapshot): { modules: ModuleDeclar
     .map((mod) => ({
       id: mod.id,
       name: mod.descriptor.name,
-      // 模块级 title/description：manifest 无模块级 meta 字段（demand meta 属 per-service）——
-      // 一期回退 install id / 空描述（UI 侧按词汇表或 demand meta 增强）
-      title: mod.descriptor.name,
-      description: '',
+      // 模块 meta（B1 additive）：manifest title/description——兜底 name / ''（视图层灌值）
+      title: mod.descriptor.title ?? mod.descriptor.name,
+      description: mod.descriptor.description ?? '',
     }))
     .sort((a, b) => a.id.localeCompare(b.id));
   return { modules };
@@ -49,12 +48,16 @@ export function loadModuleDetailView(snapshot: ViewSnapshot, moduleId: string):
   if (!mod) {
     throw new AppToolkitError('MODULE_NOT_FOUND', 404, `模块 ${moduleId} 非已装模块`);
   }
-  const services: ServiceDemand[] = (mod.descriptor.contributes.services ?? []).map((need) => ({
-    service: need.service,
-    ...(need.title ? { title: need.title } : {}),
-    ...(need.description ? { description: need.description } : {}),
-    required: need.optional === false,
-  }));
+  const services: ServiceDemand[] = (mod.descriptor.contributes.services ?? []).map((need) => {
+    // 展示名单源走链（B1）：词汇 meta > demand meta > id——词汇主源防 manifest demand 漂移
+    const display = resolveServiceDisplay(snapshot.walk, need.service);
+    return {
+      service: need.service,
+      title: display.title,
+      ...(display.description !== undefined ? { description: display.description } : {}),
+      required: need.optional === false,
+    };
+  });
   const w = moduleDomainWritable(snapshot.walk, mod);
   const domains = (snapshot.integrations as { domains?: Record<string, unknown> } | null)?.domains ?? {};
   // integration = domains[换算键] 节点原值（D21 编辑预填源）；未配置 = null；多域/零域/共享键 = null（D34）
@@ -63,5 +66,14 @@ export function loadModuleDetailView(snapshot: ViewSnapshot, moduleId: string):
     const binding = resolveDomainBinding(snapshot.integrations, d);
     return { domain: d, effective: binding.provider, layer: binding.layer };
   });
-  return { domainKeys: [...w.domainKeys], integration, providerBindings, configEditable: w.writable, services };
+  return {
+    // 模块 meta（B1 additive）——兜底与 /modules 同语义
+    title: mod.descriptor.title ?? mod.descriptor.name,
+    description: mod.descriptor.description ?? '',
+    domainKeys: [...w.domainKeys],
+    integration,
+    providerBindings,
+    configEditable: w.writable,
+    services,
+  };
 }

package/src/views/providers.ts

@@ -2,7 +2,7 @@ import type { ProviderDetail, ProviderEntry, ProviderServiceDetail, ProvidersVie
 import { AppToolkitError } from '../core/errors.js';
 import { existsSync, readFileSync, realpathSync } from 'node:fs';
 import { isAbsolute, join, relative, resolve, sep } from 'node:path';
-import type { ViewSnapshot } from './context.js';
+import { resolveServiceDisplay, type ViewSnapshot } from './context.js';
 
 /**
  * 供给轴投影（views/providers；C4）。供给关系三切片（P5）：
@@ -21,6 +21,9 @@ export function loadProvidersView(snapshot: ViewSnapshot): ProvidersView {
       provider,
       local: entries.every((e) => e.local === true),
       owner: entries[0].owner,
+      // 厂商展示元数据（B1 walk 层传播——首条目 = 首声明，与 owner 同语义）
+      ...(entries[0].title ? { title: entries[0].title } : {}),
+      ...(entries[0].description ? { description: entries[0].description } : {}),
     });
   }
   return { providers: providers.sort((a, b) => a.provider.localeCompare(b.provider)) };
@@ -40,6 +43,12 @@ export function loadProviderDetailView(snapshot: ViewSnapshot, provider: string,
       bucket.implementations.push({ implementation: entry.implementation, credentialType: entry.credentialType });
     }
   }
+  // 服务展示名走链（B1）：词汇 meta > demand meta > id（title 恒发）
+  for (const [service, bucket] of Object.entries(services)) {
+    const display = resolveServiceDisplay(snapshot.walk, service);
+    bucket.title = display.title;
+    if (display.description !== undefined) bucket.description = display.description;
+  }
   if (include?.has('integrationSchemas')) {
     for (const [service, bucket] of Object.entries(services)) {
       bucket.integrationSchemas = { configSchema: resolveServiceConfigSchema(snapshot, provider, service) };
@@ -50,6 +59,9 @@ export function loadProviderDetailView(snapshot: ViewSnapshot, provider: string,
     provider,
     local: entries.every((e) => e.local === true),
     owner: entries[0].owner,
+    // 厂商展示元数据（B1 walk 层传播——首条目透传）
+    ...(entries[0].title ? { title: entries[0].title } : {}),
+    ...(entries[0].description ? { description: entries[0].description } : {}),
     services,
   };
 }

package/src/views/service-detail.ts

@@ -1,7 +1,7 @@
 import type { ServiceDetail } from '../dto.js';
 import { AppToolkitError } from '../core/errors.js';
 import { isKnownService } from '../integrations/read.js';
-import { suppliedByVendors, type ViewSnapshot } from './context.js';
+import { resolveServiceDisplay, suppliedByVendors, type ViewSnapshot } from './context.js';
 
 /**
  * 服务静态单体投影（views/service-detail；C4）。求值数据不在此（→ /service-resolutions/:service）。
@@ -17,10 +17,12 @@ export function loadServiceDetailView(snapshot: ViewSnapshot, service: string):
   }
   // integration = 文件 services[s] 逐字原值（编辑预填源 D21）；无声明 = null
   const integration = (configured[service] as ServiceDetail['integration'] | undefined) ?? null;
+  // 展示名单源走链（B1）：词汇 meta > demand meta > id——替换 demand 直拼（恒有值）
+  const display = resolveServiceDisplay(snapshot.walk, service);
   return {
     service,
-    ...(demand?.title ? { title: demand.title } : { title: service }),
-    ...(demand?.description ? { description: demand.description } : {}),
+    title: display.title,
+    ...(display.description !== undefined ? { description: display.description } : {}),
     required: demand ? !demand.optional : false,
     // defaults 唯一落位（manifest 预填）
     defaults: demand ? demand.defaults.map((d) => ({ ...d })) : [],

package/tests/demo-app.ts

@@ -50,6 +50,11 @@ export interface FakeContractsOptions {
   resolveBody?: string;
   /** service-slots.json 词汇（P9 身份判据/求值键集；缺省不物化 = 词汇空） */
   slots?: string[];
+  /** 词汇 meta 节（per-service {title,description}——B1 展示名链 fixture） */
+  meta?: Record<string, { title?: string; description?: string }>;
+  /** service-slots.json 落位：'root' = 包根（缺省——夹具/旧布局形态）；
+   *  'src' = 包内 src/（发布包 src 附带 / shim 链接形态——B0 探测跳 ②） */
+  slotsLayout?: 'root' | 'src';
   /** zod 形拒绝 fixture（A1 T9/T10）：parseIntegrationsConfig 恒抛带 issues 的结构化错误
    *  （结构性 ZodError 形——issues[].path 供 fields 断言；仅在专属 fixture 上使用） */
   zodRejectPaths?: string[][];
@@ -58,7 +63,7 @@ export interface FakeContractsOptions {
 /** 假 contracts 包：package.json exports 形态逐字段复刻发布面（types+import 双条件、无 require/default）
  *  ——resolver 不经 exports 解析（包根直探），该形态为 E4 类错误的机械防线。 */
 export function writeFakeContractsPackage(packageRoot: string, opts: FakeContractsOptions = {}): void {
-  const { version = '0.9.0', withStrict = true, withDist = true, brokenDist = false, missingEvaluationExports = false, rejectMarker, resolveBody, slots, zodRejectPaths } = opts;
+  const { version = '0.9.0', withStrict = true, withDist = true, brokenDist = false, missingEvaluationExports = false, rejectMarker, resolveBody, slots, meta, slotsLayout = 'root', zodRejectPaths } = opts;
   const strictBody = withStrict
     ? `export function parseIntegrationsConfig(raw) { ${
         rejectMarker ? `if (JSON.stringify(raw).includes(${JSON.stringify(rejectMarker)})) throw new Error("fake strict reject"); ` : ''
@@ -113,12 +118,31 @@ export function writeFakeContractsPackage(packageRoot: string, opts: FakeContrac
     mkdirSync(join(packageRoot, 'src'), { recursive: true });
     writeFileSync(join(packageRoot, 'src', 'runtime.ts'), exportsBody);
   }
-  // service-slots.json（P9 词汇源——探测链发现位 = 包根；缺省不物化 = 词汇空）
+  // service-slots.json（P9 词汇源——探测三跳发现位；缺省不物化 = 词汇空；
+  // slotsLayout 控制包根/src 落位——B0 探测跳①/②）
   if (slots && slots.length > 0) {
-    writeFileSync(join(packageRoot, 'service-slots.json'), `${JSON.stringify({ slots }, null, 2)}\n`);
+    const slotsFile = slotsLayout === 'src' ? join(packageRoot, 'src', 'service-slots.json') : join(packageRoot, 'service-slots.json');
+    mkdirSync(dirname(slotsFile), { recursive: true });
+    writeFileSync(slotsFile, `${JSON.stringify(meta ? { slots, meta } : { slots }, null, 2)}\n`);
   }
 }
 
+/**
+ * 候选自身 src 词汇包（B0 探测跳 ③——local/codegen 全量副本形态）：
+ * 落 <appDir>/packages/<name>/src/service-slots.json（无 package.json/node_modules——
+ * mall 生成应用主形态：stage rewriteExportsToSrc 展开后永驻 packages/*，不依赖 install）。
+ */
+export function writeSelfSrcContractPackage(
+  appDir: string,
+  name: string,
+  content: { slots: string[]; meta?: Record<string, { title?: string; description?: string }> },
+): string {
+  const dir = join(appDir, 'packages', name, 'src');
+  mkdirSync(dir, { recursive: true });
+  writeFileSync(join(dir, 'service-slots.json'), `${JSON.stringify(content, null, 2)}\n`);
+  return join(appDir, 'packages', name);
+}
+
 export interface LinkOptions {
   /** 候选子目录：''（appDir 根）/ 'apps/server' / 'apps/client' / 'packages/<id>' */
   subdir: string;

package/tests/dev-manifest-catalog.test.ts

@@ -2,7 +2,7 @@ import { describe, it, expect, afterEach } from 'vitest';
 import { mkdirSync, writeFileSync } from 'node:fs';
 import { join } from 'node:path';
 import { walkManifests } from '../src/assembly/walk-manifests.js';
-import { createTempApp, type TempApp } from './demo-app.js';
+import { createTempApp, linkContracts, writeFakeContractsPackage, writeSelfSrcContractPackage, type TempApp } from './demo-app.js';
 
 /**
  * dev-manifest catalog 通道（通道 1.5）单测：聚合宽/声明窄不变量锁定。
@@ -112,3 +112,83 @@ describe('walkManifests · dev-manifest catalog 通道（聚合宽/声明窄）'
     expect(walk.modules).toHaveLength(0);
   });
 });
+
+/**
+ * 词汇探测三跳（B0 回归锁）：词汇源三真实布局全覆盖——
+ * ① nm 包根（夹具/旧布局）② nm src/（发布包 src 附带 + 模板 shim 链接）③ 候选自身 src/
+ * （local/codegen 全量副本——mall 生成应用主形态，不依赖 install）。
+ * 修复前探测只扫包根 → 三形态全 miss（vocabulary 恒空）。
+ */
+describe('walkManifests · 词汇探测三跳 + slotMeta（B0）', () => {
+  it('P1: nm 包根布局（跳①）→ vocabulary 命中；slotMeta 透传', () => {
+    app = createTempApp('tbox-probe-');
+    const store = join(app.appDir, '_store-a');
+    writeFakeContractsPackage(store, {
+      slots: ['auth.alipay-login', 'mall.info'],
+      meta: { 'auth.alipay-login': { title: '支付宝登录', description: '登录换码（code2Session）' } },
+    });
+    linkContracts(app.appDir, store, { subdir: 'apps/server' });
+
+    const walk = walkManifests(app.appDir);
+    expect(walk.vocabulary).toEqual(['auth.alipay-login', 'mall.info']);
+    expect(walk.slotMeta['auth.alipay-login']).toEqual({ title: '支付宝登录', description: '登录换码（code2Session）' });
+    expect(walk.slotMeta['mall.info']).toBeUndefined(); // meta 缺席槽不入表
+  });
+
+  it('P2: nm src 布局（跳②——发布包 src 附带 / shim 链接形态）→ 命中', () => {
+    app = createTempApp('tbox-probe-');
+    const store = join(app.appDir, '_store-b');
+    writeFakeContractsPackage(store, { slots: ['parking.query'], slotsLayout: 'src' });
+    linkContracts(app.appDir, store, { subdir: 'apps/server' });
+
+    const walk = walkManifests(app.appDir);
+    expect(walk.vocabulary).toEqual(['parking.query']);
+  });
+
+  it('P3: 候选自身 src 布局（跳③——local/codegen 全量副本，无 node_modules 链接）→ 命中', () => {
+    app = createTempApp('tbox-probe-');
+    writeSelfSrcContractPackage(app.appDir, 'contracts-mall', {
+      slots: ['member.account', 'parking.payment'],
+      meta: { 'member.account': { title: '会员账户' } },
+    });
+
+    const walk = walkManifests(app.appDir);
+    expect(walk.vocabulary).toEqual(['member.account', 'parking.payment']);
+    expect(walk.slotMeta['member.account']).toEqual({ title: '会员账户' });
+  });
+
+  it('P4: 多包同槽 meta → 发现序首声明胜出（apps/* 先于 packages/* 候选序）', () => {
+    app = createTempApp('tbox-probe-');
+    const storeA = join(app.appDir, '_store-first');
+    writeFakeContractsPackage(storeA, { slots: ['x.y'], meta: { 'x.y': { title: '甲' } } });
+    linkContracts(app.appDir, storeA, { subdir: 'apps/server' });
+    const storeB = join(app.appDir, '_store-second');
+    writeFakeContractsPackage(storeB, { slots: ['x.y'], meta: { 'x.y': { title: '乙' } } });
+    linkContracts(app.appDir, storeB, { subdir: 'packages/mock' });
+
+    const walk = walkManifests(app.appDir);
+    expect(walk.slotMeta['x.y']).toEqual({ title: '甲' });
+  });
+
+  it('P5: 坏 meta 条目（非对象/非 string/空串）→ 宽松跳过，slots 正常', () => {
+    app = createTempApp('tbox-probe-');
+    const store = join(app.appDir, '_store-bad');
+    writeFakeContractsPackage(store, { slots: ['a.b'] });
+    writeFileSync(
+      join(store, 'service-slots.json'),
+      JSON.stringify({ slots: ['a.b', 'c.d', 'e.f'], meta: { 'a.b': '字符串', 'c.d': { title: 42 }, 'e.f': { title: '甲', description: '' } } }),
+    );
+    linkContracts(app.appDir, store, { subdir: 'apps/server' });
+
+    const walk = walkManifests(app.appDir);
+    expect(walk.vocabulary).toEqual(['a.b', 'c.d', 'e.f']);
+    expect(walk.slotMeta).toEqual({ 'e.f': { title: '甲' } }); // 空串 description 不入表（与 title 守卫对称）
+  });
+
+  it('P6: 无契约包（退化态）→ vocabulary 空 + slotMeta 空（P9 退化路径语义锁）', () => {
+    app = createTempApp('tbox-probe-');
+    const walk = walkManifests(app.appDir);
+    expect(walk.vocabulary).toEqual([]);
+    expect(walk.slotMeta).toEqual({});
+  });
+});

package/tests/module-schema.test.ts

@@ -81,4 +81,19 @@ describe('module-schema（descriptor zod 单源）', () => {
       expect(parsed.data.contributes.resources).toEqual([]);
     }
   });
+
+  it('B1 模块 meta additive：根级 title/description 保真；缺席仍合法（回退归视图层）', () => {
+    const withMeta = parseModuleDescriptor({ ...BASE_MANIFEST, title: '停车缴费', description: '车辆查询与绑定、停车费用查询、缴费支付与开票' });
+    expect(withMeta.ok).toBe(true);
+    if (withMeta.ok) {
+      expect(withMeta.value.title).toBe('停车缴费');
+      expect(withMeta.value.description).toContain('停车费用查询');
+    }
+    const withoutMeta = moduleDescriptorSchema.safeParse(BASE_MANIFEST);
+    expect(withoutMeta.success).toBe(true);
+    if (withoutMeta.success) {
+      expect(withoutMeta.data.title).toBeUndefined();
+      expect(withoutMeta.data.description).toBeUndefined();
+    }
+  });
 });

package/tests/vendor-schema-keywords.test.ts

@@ -98,4 +98,16 @@ describe('vendor schema 关键词矩阵 ⊆ 渲染器支持集（D32 表单引
       expect(used.has(k), `基线关键词 ${k} 未被提取到——提取器或目录布局变化，人工核对`).toBe(true);
     }
   });
+
+  it('B5 展示名 tripwire：全文件 properties.*.title 必在（新字段裸键名结构性不可上线）', () => {
+    const files = schemaFiles();
+    expect(files.length).toBeGreaterThan(5);
+    for (const { pkg, rel } of files) {
+      const doc = JSON.parse(readFileSync(rel, 'utf8')) as { properties?: Record<string, unknown> };
+      for (const [key, sub] of Object.entries(doc.properties ?? {})) {
+        const hasTitle = !!sub && typeof sub === 'object' && typeof (sub as { title?: unknown }).title === 'string';
+        expect(hasTitle, `${pkg} 字段 "${key}" 缺 title——集成配置表单展示名必填（B5 防线；纯名词，长尾注记移 description）`).toBe(true);
+      }
+    }
+  });
 });

package/tests/views.test.ts

@@ -4,8 +4,9 @@ import { mkdirSync, readFileSync, symlinkSync } from 'node:fs';
 import { fileURLToPath } from 'node:url';
 import { createAppToolkit, type AppToolkit } from '../src/factory.js';
 import { invalidateContractsResolver } from '../src/core/contracts-resolver.js';
-import { walkManifests } from '../src/assembly/walk-manifests.js';
+import { walkManifests, type WalkManifestsResult } from '../src/assembly/walk-manifests.js';
 import { buildIntegrationFieldRegistry, loadModuleFormViews, loadModuleIntegrationSchemas } from '../src/views/integration-schemas.js';
+import { resolveServiceDisplay } from '../src/views/context.js';
 import type { ViewSnapshot } from '../src/views/context.js';
 import { URL_METHOD_MAP } from './naming-alignment.test.js';
 import { createTempApp, writeFakeContractsPackage, linkContracts, writeAppFile, type TempApp } from './demo-app.js';
@@ -258,7 +259,8 @@ describe('views/工厂（O 矩阵核心族）', () => {
     expect(Object.keys(appView)).toEqual(['services', 'integration']);
     const mod = await h.tk.loadModule('module-parking');
     // v4.4 D34：domainKeys/providerBindings/configEditable 显式化（include 两键可选缺席——F4）
-    expect(Object.keys(mod)).toEqual(['domainKeys', 'integration', 'providerBindings', 'configEditable', 'services']);
+    // B1 additive：模块 meta title/description 前置（恒发——兜底 name/''）
+    expect(Object.keys(mod)).toEqual(['title', 'description', 'domainKeys', 'integration', 'providerBindings', 'configEditable', 'services']);
     const svc = await h.tk.loadService('parking.query');
     expect(Object.keys(svc).some((k) => ['resolution', 'issues', 'contracts'].includes(k))).toBe(false);
     // 静态端点在 <0.9 下照常（永不 503——O13 反例联动）
@@ -279,7 +281,7 @@ describe('views/工厂（O 矩阵核心族）', () => {
   });
 
   it('O3 键集 = 服务词汇 ∪ 已配置；required echo（OR 聚合 + 平台 false）', async () => {
-    // vocabulary 空（无契约包 fixture）→ 键集 = 已配置（parking.query + auth.alipay-login）
+    // vocabulary 空（无契约包 fixture 物化 slots——退化态回归锁；词汇在场态见 B1 族 T-O3）
     const batch = await h.tk.loadServiceResolutions();
     expect(Object.keys(batch.resolutions).sort()).toEqual(['auth.alipay-login', 'parking.query']);
     // parking.query 由 module-parking demand required:0 → required true
@@ -1697,3 +1699,157 @@ describe('v4.6 D36/D37（integrationFieldRegistry + 轴向假想绑定）', () =
     h2.app.dispose();
   });
 });
+
+/**
+ * B1 展示名链（模块 meta / 词汇 meta 单源 / resolveServiceDisplay 兜底链）：
+ * 兜底链 = 词汇 meta（slotMeta）> demand meta（catalog.services）> service id（逐字段回落）。
+ * fixture：词汇 meta 停车查询 vs demand meta 车位查询——断言词汇胜出（防漂移锁）。
+ */
+describe('B1 展示名链', () => {
+  /** 展示名 fixture 基座：词汇物化（3 槽 2 meta）+ 停车模块（带 meta + demand meta）+ demo 厂商 */
+  function displayHarness(): Harness {
+    const app = createTempApp('tbox-display-');
+    invalidateContractsResolver();
+    const store = joinStore(app.appDir, 'contracts');
+    writeFakeContractsPackage(store, {
+      version: '0.9.0',
+      slots: ['parking.query', 'auth.alipay-login', 'mall.info'],
+      meta: {
+        'parking.query': { title: '停车查询', description: '费用报价、车场信息、可享权益' },
+        'auth.alipay-login': { title: '支付宝登录' },
+      },
+    });
+    linkContracts(app.appDir, store, { subdir: 'apps/server' });
+    mkdirDeep(join(app.appDir, 'packages', 'module-parking'));
+    writeAppFile(
+      app.appDir,
+      'packages/module-parking/tbox.module.json',
+      JSON.stringify({
+        schemaVersion: 1,
+        name: 'module-parking',
+        version: '0.1.0',
+        kind: 'business',
+        title: '停车缴费',
+        description: '车辆查询与绑定、停车费用查询、缴费支付与开票',
+        contributes: {
+          // demand meta title=车位查询——应被词汇 meta 停车查询压过（词汇主源）
+          services: [{ service: 'parking.query', optional: false, title: '车位查询' }],
+        },
+        dependencies: { modules: [] },
+        env: [],
+      }),
+    );
+    mkdirDeep(join(app.appDir, 'packages', 'provider-demo'));
+    writeAppFile(
+      app.appDir,
+      'packages/provider-demo/tbox.module.json',
+      JSON.stringify({
+        schemaVersion: 1,
+        name: 'provider-demo',
+        version: '0.1.0',
+        kind: 'third-party',
+        title: '万达',
+        description: '万达厂商集成',
+        contributes: {
+          providers: {
+            slots: [{ service: 'parking.query', provider: 'wanda', implementation: 'wanda-parking@1', credentialType: 'apikey' }],
+          },
+        },
+        dependencies: { modules: [] },
+        env: [],
+      }),
+    );
+    const tk = createAppToolkit(app.appDir);
+    return { app, tk };
+  }
+
+  it('T1 resolveServiceDisplay 三态：词汇 > demand > id；逐字段回落（词汇仅 description 时 demand title 可达）', () => {
+    const walk = {
+      slotMeta: {
+        'a.b': { title: '甲', description: '甲描述' },
+        'c.d': { description: '只有描述' },
+      },
+      catalog: {
+        services: {
+          'a.b': { title: '乙', description: '乙描述' },
+          'c.d': { title: '丙' },
+        },
+      },
+    } as unknown as WalkManifestsResult;
+    // 词汇全量在场 → 词汇胜出
+    expect(resolveServiceDisplay(walk, 'a.b')).toEqual({ title: '甲', description: '甲描述' });
+    // 词汇仅 description → title 回落 demand、description 取词汇（逐字段回落）
+    expect(resolveServiceDisplay(walk, 'c.d')).toEqual({ title: '丙', description: '只有描述' });
+    // 双缺席 → demand
+    expect(resolveServiceDisplay(walk, 'e.f')).toEqual({ title: 'e.f' });
+    // 双双缺席 → id 兜底（title 恒有值）
+    const bare = { slotMeta: {}, catalog: { services: {} } } as unknown as WalkManifestsResult;
+    expect(resolveServiceDisplay(bare, 'x.y')).toEqual({ title: 'x.y' });
+  });
+
+  it('T2 loadModulesView：模块 meta 填充；name 兜底', async () => {
+    const h2 = displayHarness();
+    const v = await h2.tk.loadModules();
+    const parking = v.modules.find((m) => m.id === 'module-parking');
+    expect(parking?.title).toBe('停车缴费');
+    expect(parking?.description).toBe('车辆查询与绑定、停车费用查询、缴费支付与开票');
+    // 无 meta 模块（provider 家族不在清单——用第二基座验证兜底）
+    const h3 = harnessWithContracts();
+    const bare = (await h3.tk.loadModules()).modules.find((m) => m.id === 'module-parking');
+    expect(bare?.title).toBe('module-parking');
+    expect(bare?.description).toBe('');
+    h3.app.dispose();
+    h2.app.dispose();
+  });
+
+  it('T3 loadModuleDetailView：meta 恒发；services[] 词汇优先（demand 车位查询被词汇停车查询压过——防漂移锁）', async () => {
+    const h2 = displayHarness();
+    const v = await h2.tk.loadModule('module-parking');
+    expect(v.title).toBe('停车缴费');
+    expect(v.description).toContain('停车费用查询');
+    const svc = v.services.find((s) => s.service === 'parking.query');
+    expect(svc?.title).toBe('停车查询');
+    expect(svc?.description).toBe('费用报价、车场信息、可享权益');
+    expect(svc?.required).toBe(true);
+    h2.app.dispose();
+  });
+
+  it('T-O3 词汇在场键集：resolutions 键集 = 词汇（退化态 = 既有 O3——无 slots 物化基座）', async () => {
+    const h2 = displayHarness();
+    const batch = await h2.tk.loadServiceResolutions();
+    expect(Object.keys(batch.resolutions).sort()).toEqual(['auth.alipay-login', 'mall.info', 'parking.query']);
+    h2.app.dispose();
+  });
+
+  it('T4 loadAppView 平台条目：title 走链恒发；词汇无 meta 槽 = id 兜底', async () => {
+    const h2 = displayHarness();
+    const v = await h2.tk.loadApp();
+    const byKey = Object.fromEntries(v.services.map((s) => [s.service, s]));
+    // 平台条目 = 词汇 − 占用（parking.query 被模块占用）
+    expect(Object.keys(byKey).sort()).toEqual(['auth.alipay-login', 'mall.info']);
+    expect(byKey['auth.alipay-login']?.title).toBe('支付宝登录');
+    expect(byKey['mall.info']?.title).toBe('mall.info');
+    expect(byKey['auth.alipay-login']?.required).toBe(false);
+    h2.app.dispose();
+  });
+
+  it('T5 loadServiceDetailView：词汇优先 + id 兜底恒有值', async () => {
+    const h2 = displayHarness();
+    expect((await h2.tk.loadService('parking.query')).title).toBe('停车查询');
+    expect((await h2.tk.loadService('mall.info')).title).toBe('mall.info');
+    h2.app.dispose();
+  });
+
+  it('T6 厂商 title 传播（walk 层首声明）+ /providers/:p services[] 走链', async () => {
+    const h2 = displayHarness();
+    const list = await h2.tk.loadProviders();
+    const wanda = list.providers.find((p) => p.provider === 'wanda');
+    expect(wanda?.title).toBe('万达');
+    expect(wanda?.description).toBe('万达厂商集成');
+    const detail = await h2.tk.loadProvider('wanda');
+    expect(detail.title).toBe('万达');
+    expect(detail.services['parking.query']?.title).toBe('停车查询');
+    expect(detail.services['parking.query']?.description).toBe('费用报价、车场信息、可享权益');
+    h2.app.dispose();
+  });
+});