dsh-data-domain-knowledge 0.1.0-alpha.8 → 0.1.0-alpha.9

package/lib/types/wiki-materialize.js

@@ -0,0 +1,171 @@
+/**
+ * Materialize（0063 §5.3）：**坐标 → Wiki Card**。
+ *
+ * ## 它在整条链路里的位置
+ *
+ * ```text
+ * Document ──▶ Extract ──▶ Resolve ──▶ Materialize ──▶ Wiki Card
+ *                          知识 + 坐标        卡片
+ * ```
+ *
+ * 前两段由 `wiki-trial.ts` 完成（它对一份文档产出 Knowledge 清单与坐标）。这一段把
+ * 坐标变成卡片身份 —— **系统做，确定性**。同一份报告跑两次得到同一批卡片；展示标题
+ * 会在后续的模型组织阶段统一生成。
+ *
+ * ## 为什么不让模型做
+ *
+ * | 理由 | 说明 |
+ * |---|---|
+ * | 坐标就是卡片身份 | 三个分量已经在 Knowledge 的标签里，模型再判一遍是重复劳动 |
+ * | 坐标是确定的 | 三个分量已经在 Knowledge 的标签里，模型再判一遍是重复劳动 |
+ * | 标题属于表达 | 这里只给出候选标题，后续 `Organize` 会按整批 Knowledge 重新组织展示标题 |
+ *
+ * **没有「要不要建卡」这个问题**：一个坐标 + 至少一条 Knowledge，就天然要建。
+ *
+ * ## 产出的是 `ExtractionCandidate`，不是卡片
+ *
+ * 这一点是刻意的：编译链路的下游（判重、并入已有卡片、正文追加、图片、相关块、索引页）
+ * 全都建立在「候选」这个概念上，而且它们与「候选从哪来」无关。所以这一段只换**来源**，
+ * 不换下游 —— 迁移的影响面因此收在一个函数里。
+ */
+import { legacyCardNameFor } from './wiki-trial.js';
+/**
+ * 一个骨架的小节名 → 渲染用的标题。
+ *
+ * `字段` 是提示词里的兜底值（「拿不准就填字段」），它不是一个小节而是一个位置。
+ * 单独成节比硬塞进某个小节诚实：塞进去之后，人读到的正文会像是那一节的内容，
+ * 而模型其实说了「我不知道它属于哪一节」。
+ */
+const FIELD_SECTION = '字段';
+/**
+ * 报告里的坐标是**名字**，库里要的是**轴实体 id**。
+ *
+ * 抽出来只因为这一处映射有两个调用方（物化卡片 / 收知识），而它们**必须给出同一个
+ * 答案**：`ingestTrialKnowledge` 的注释写着「坐标从轴的解析结果来，**不从名字猜**。
+ * 名字会改，id 不会」—— 两处各写一遍，就是那条纪律被破坏的方式。
+ *
+ * 名字在库里查不到（没接注册表、或那个轴没解析出来）时给空串；三个都空时调用方据此
+ * **不给卡片写坐标**，而不是写一个「三段空串」的假坐标。
+ */
+export function coordinateIdsOf(axes, object, action, scene) {
+    const idOf = (list, name) => name === null ? '' : list.find(axis => axis.name === name)?.id ?? '';
+    return {
+        objectId: idOf(axes.objects, object),
+        actionId: idOf(axes.actions, action),
+        sceneId: idOf(axes.scenes, scene),
+    };
+}
+/** 一个坐标是不是「三段都空」—— 那种情况不是坐标，是「这一次没拿到坐标」。 */
+export function coordinateIsEmpty(coordinate) {
+    return coordinate.objectId === '' && coordinate.actionId === '' && coordinate.sceneId === '';
+}
+/**
+ * 把一份抽取报告物化成候选。
+ *
+ * `profileId` 是这张卡用的**骨架**（§8.2：第一版一个知识库固定一个）。它只决定
+ * 卡片按哪套小节校验与渲染，不决定卡片的身份 —— 身份是坐标推出来的卡名。
+ */
+export function candidatesFromReport(input) {
+    const { report, profileId, sourceId } = input;
+    const byId = new Map(report.knowledge.map(item => [item.id, item]));
+    const seenNames = new Map();
+    const collisions = [];
+    const cards = [];
+    let unresolvedCoordinates = 0;
+    for (const card of report.wikiCards) {
+        // 一条 Knowledge 都没引用到的卡不建 —— 空壳卡没有任何东西可召回，
+        // 而它占的 id 会让下一份真正说了点什么的文档并进这张空卡里。
+        const items = card.placements
+            .map(placement => byId.get(placement.item))
+            .filter((item) => item !== undefined);
+        if (items.length === 0)
+            continue;
+        /**
+         * 撞名检测。键是**坐标**而不是卡名 —— 要抓的正是「两个不同坐标、同一个名字」。
+         */
+        const coordinate = `${card.object ?? ''}\u0001${card.action ?? ''}\u0001${card.scene ?? ''}`;
+        const previous = seenNames.get(card.name);
+        if (previous !== undefined && previous !== coordinate)
+            collisions.push(card.name);
+        else
+            seenNames.set(card.name, coordinate);
+        /**
+         * 坐标换成轴实体 id（0069）。**这一步就是 0069 之前缺的那一步**：报告里的坐标是
+         * 名字，而卡片落地要的是 id —— 从前它在这里被丢掉，于是库里「这张卡是哪个坐标」
+         * 只能从卡名字面反推。
+         */
+        const ids = coordinateIdsOf(report, card.object, card.action, card.scene);
+        const usable = coordinateIsEmpty(ids) ? undefined : ids;
+        if (usable === undefined)
+            unresolvedCoordinates += 1;
+        cards.push({
+            candidate: {
+                kind: 'entity',
+                name: card.name,
+                type: profileId,
+                // 旧的无分隔拼接标题继续参与召回与判重，但不再占据展示标题。
+                aliases: [...new Set([legacyCardNameFor(card.object, card.action, card.scene)])]
+                    .filter(alias => alias !== card.name),
+                body: renderFallbackBody(card.placements, byId),
+                ...(items[0] ? { summary: items[0].text } : {}),
+                /**
+                 * 证据取这条卡里**第一条核对得上的引文**。
+                 *
+                 * 卡片级别的 evidence 只是「这张卡是从哪份文档的哪一段来的」这一条线索 ——
+                 * 逐条知识各自的出处留在 Knowledge 上（那是真源）。所以这里挑一条就够，
+                 * 不把每条知识的引文都堆到卡片上：那会让同一句话在库里存很多份。
+                 */
+                evidence: evidenceOf(items, sourceId),
+                confidence: 0.7,
+            },
+            ...(usable === undefined ? {} : { coordinate: usable }),
+            /**
+             * 落位（0063 §4.5）。`order` 已经是排好序的 —— `materialize()` 排过一次，
+             * 这里照抄，不再排第二遍（两处都排就是两套顺序）。
+             */
+            placements: card.placements.map((placement, index) => ({
+                knowledgeId: placement.item,
+                section: placement.section,
+                ordinal: index,
+                origin: 'compiler',
+            })),
+        });
+    }
+    return { cards, collisions, unresolvedCoordinates };
+}
+/**
+ * 兼容路径：按 section 分组拼接原文。
+ *
+ * 这不是默认的卡片正文。默认开启 Card Organize 时，`runtime.ts` 会用组织器产出的
+ * `renderOrganizeBody()`；这里仅保留给显式关闭组织或组织调用失败的兼容场景。
+ */
+function renderFallbackBody(placements, byId) {
+    const order = [];
+    const grouped = new Map();
+    for (const placement of placements) {
+        const item = byId.get(placement.item);
+        if (item === undefined)
+            continue;
+        const section = placement.section.trim() || FIELD_SECTION;
+        if (!grouped.has(section)) {
+            grouped.set(section, []);
+            order.push(section);
+        }
+        grouped.get(section).push(item.text);
+    }
+    return order
+        .map(section => `## ${section}\n\n${grouped.get(section).join('\n\n')}`)
+        .join('\n\n');
+}
+/** 这张卡的证据：第一条核对得上的引文。一条都没有时只给来源 id。 */
+function evidenceOf(items, sourceId) {
+    for (const item of items) {
+        const source = item.sources.find(candidate => candidate.found);
+        if (source === undefined)
+            continue;
+        const heading = source.headingPath.length > 0 ? source.headingPath[source.headingPath.length - 1] : '';
+        return { sourceId, ...(heading ? { heading } : {}), quote: source.quote };
+    }
+    return { sourceId };
+}
+//# sourceMappingURL=wiki-materialize.js.map

package/lib/types/wiki-materialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wiki-materialize.js","sourceRoot":"","sources":["../../src/wiki-materialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAKH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAGnD;;;;;;GAMG;AACH,MAAM,aAAa,GAAG,IAAI,CAAA;AAyB1B;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAyE,EACzE,MAAqB,EACrB,MAAqB,EACrB,KAAoB;IAEpB,MAAM,IAAI,GAAG,CAAC,IAAiB,EAAE,IAAmB,EAAU,EAAE,CAC9D,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAA;IACtE,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC;QACpC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC;KAClC,CAAA;AACH,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,iBAAiB,CAAC,UAA0B;IAC1D,OAAO,UAAU,CAAC,QAAQ,KAAK,EAAE,IAAI,UAAU,CAAC,QAAQ,KAAK,EAAE,IAAI,UAAU,CAAC,OAAO,KAAK,EAAE,CAAA;AAC9F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAIpC;IACC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAA;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,MAAM,KAAK,GAAuB,EAAE,CAAA;IACpC,IAAI,qBAAqB,GAAG,CAAC,CAAA;IAE7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACpC,0CAA0C;QAC1C,kCAAkC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU;aAC1B,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;aAC1C,MAAM,CAAC,CAAC,IAAI,EAA0B,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;QAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAEhC;;WAEG;QACH,MAAM,UAAU,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,SAAS,IAAI,CAAC,MAAM,IAAI,EAAE,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAA;QAC5F,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,UAAU;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;;YAC5E,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QAEzC;;;;WAIG;QACH,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;QACzE,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAA;QACvD,IAAI,MAAM,KAAK,SAAS;YAAE,qBAAqB,IAAI,CAAC,CAAA;QAEpD,KAAK,CAAC,IAAI,CAAC;YACT,SAAS,EAAE;gBACT,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,SAAS;gBACf,gCAAgC;gBAChC,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;qBAC7E,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC;gBACvC,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC/C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C;;;;;;mBAMG;gBACH,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACrC,UAAU,EAAE,GAAG;aAChB;YACD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;YACvD;;;eAGG;YACH,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACrD,WAAW,EAAE,SAAS,CAAC,IAAI;gBAC3B,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;SACJ,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAA;AACrD,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,UAA0D,EAC1D,IAAiC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,aAAa,CAAA;QACzD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAAC,CAAC;QAC5E,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,KAAK;SACT,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,OAAO,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;SACxE,IAAI,CAAC,MAAM,CAAC,CAAA;AACjB,CAAC;AAED,uCAAuC;AACvC,SAAS,UAAU,CAAC,KAAuB,EAAE,QAAgB;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC9D,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAClC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACtG,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAA;IAC3E,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,CAAA;AACrB,CAAC"}

package/lib/types/wiki-trial-types.d.ts

@@ -0,0 +1,298 @@
+/**
+ * Wiki 抽取试跑（0063）的**类型真源**。
+ *
+ * ## 为什么要单独一个文件
+ *
+ * 这些类型有两个消费者：服务端的判定（`wiki-trial.ts`）和客户端的展示
+ * （`client/WikiTrialRun.tsx`）。原来客户端手抄了一份镜像，结果两次改版各漂了一次 ——
+ * 一次漏了 `items`，一次漏了 `summary`，界面上表现为整块白屏或少半页。
+ *
+ * 改成让客户端 `export type` 转发服务端模块也不行：那会把 `types.ts` 一并拉进客户端的
+ * 类型程序，而它依赖 `node:fs` / `node:os` / `process`，客户端 tsconfig 里没有 Node 类型。
+ *
+ * 所以类型单独放这里：**它不 import 任何东西，也不碰任何 Node API**。服务端与客户端
+ * 各自 import 它，只有一份定义。客户端用 `export type` 转发，编译后被完全抹掉，
+ * esbuild 不会把这个模块打进浏览器 bundle。
+ */
+export type TrialActor = '系统' | '模型' | '人';
+/** 0063 §5 的四个阶段。`phase` 只用于界面分组，不影响判定。 */
+export type TrialPhase = '① Extract · 抽取' | '② Resolve · 归一' | '③ Materialize · 物化' | '④ Index · 建索引';
+/**
+ * 一处出处（0063 §2.1）。
+ *
+ * `found` / `locator` / `headingPath` 里，只有 `headingPath` 可能来自模型；
+ * 能不能在原文里逐字找到要**本地查**，那是引文核验。
+ */
+export interface TrialSource {
+    documentId: string;
+    quote: string;
+    /** 引文在原文里的起止字符偏移。找不到时没有这个字段。 */
+    locator?: {
+        start: number;
+        end: number;
+    };
+    headingPath: string[];
+    /** 引文是不是真能在原文里一字不差找到。false 说明模型改写了。 */
+    found: boolean;
+}
+/**
+ * 知识：一条可独立检索、验证或执行的最小知识单元。
+ *
+ * （不是"命题"。`查埋点方案维表取 spm_babel_template` 不是命题，但它是知识。）
+ *
+ * **只有 `text` 是内容**，其余全是索引与出处。
+ */
+export interface TrialKnowledge {
+    id: string;
+    text: string;
+    /** 三个轴实体的**名字**，不是 id —— 换成 id 是第 4 步的事。 */
+    object: string | null;
+    action: string | null;
+    scene: string | null;
+    /**
+     * 这条知识在卡里排哪。
+     *
+     * 合法取值来自类型定义（`card.type` 管的是建议小节）。**试跑没有类型** ——
+     * 0063 没有规定卡片从哪得到类型，所以这一步只报出来，不校验。Knowledge 暂不增加
+     * `Fact` / `Rule` / `Procedure` / `Constraint` 正式字段；未来若需要记录，先放抽取或
+     * Card metadata，等不同类型产生不同策略后再结构化。
+     */
+    section: string;
+    /** 同一小节内的第几位，从 1 开始。 */
+    order: number;
+    sources: TrialSource[];
+    /**
+     * 三个分量全空。
+     *
+     * **它仍然是合法的知识**：有 `text`、有 `sources`。它不进矩阵、不成卡，
+     * 但会被全库命中。坐标不是知识的必要条件，是它进入领域 Wiki 的入场券。
+     */
+    noCoordinate: boolean;
+}
+/**
+ * 一个轴实体。
+ *
+ * `name` 是抽取阶段给出的 **mention**（原文里怎么称呼它），`id` 是第 4 步的机械绑定结果。
+ * 当这次试跑带着知识库时，`id` 来自**轴注册表**（`axis-registry.ts`）—— 那是 Resolve
+ * 真正的产出；没有注册表时退化成按名字算出来的稳定 id，此时 `outcome` 是 `no-registry`。
+ */
+export interface TrialAxis {
+    name: string;
+    /** 名字 → id 的机械绑定结果（第 4 步）。 */
+    id: string;
+    /**
+     * 这一轮拿到的那句定义（0068）。
+     *
+     * 命中已有实体时给的是**库里那份**（模型这次提的可能没被采纳 —— 人写的不许覆盖）；
+     * 新建时给的是模型这次写的。两处都不是「模型刚才说了什么」的原文。
+     */
+    definition?: string;
+    /** 从原文复制的最短证据片段；用于 review 坐标是否真的有依据。 */
+    evidence?: string;
+    /**
+     * 模型指认的已有坐标名字（0068）。它在 `how === 'model-picked'` 时被采纳，
+     * 其余情况下只是「它以为对上了」这件事的记录 —— 报告要能看出模型错在哪。
+     */
+    existing?: string;
+    /** 本文档内与它归一的其它写法。 */
+    aliases: string[];
+    /**
+     * 抽取给出的**作用域证据**：这个 mention 属于谁。空串 = 没有证据。
+     *
+     * 它是 `坑位click` → `通天塔坑位click` 那条路的关键输入。**没有证据就不加前缀** ——
+     * 机械拼接会把 `楼层`、`spm` 这些通用对象错加成「通天塔楼层」。
+     */
+    parentMention?: string;
+    /**
+     * 注册表给的结论。
+     *
+     * - `matched`：命中了一个已有实体（canonical / alias / 全局唯一）。
+     * - `new`：没有命中，这次**新建了一个候选**（`status: candidate`，等人确认）。
+     * - `ambiguous`：多个作用域都命中，且没有足够证据选一个 —— **没猜**。
+     * - `no-registry`：这次试跑没有知识库上下文，只做了文档内的机械归一。
+     */
+    outcome: 'matched' | 'new' | 'ambiguous' | 'no-registry';
+    /** 一句话说清「为什么是这个结论」。命中方式，或候选清单。 */
+    how: string;
+}
+/** `content.knowledge` 的一条：知识引用 × 位置。 */
+export interface TrialPlacement {
+    item: string;
+    section: string;
+    order: number;
+}
+/**
+ * Wiki Card：一个坐标 + 它组织起来的 Knowledge。
+ *
+ * **卡片不存正文。** `content.knowledge` 是引用与位置，`content.editorial`
+ * （summary / notes / warnings）由人写，试跑不产。
+ */
+export interface TrialWikiCard {
+    object: string | null;
+    action: string | null;
+    scene: string | null;
+    /** 系统按坐标推导的自然语言展示标题。 */
+    name: string;
+    placements: TrialPlacement[];
+}
+/**
+ * 矩阵里的一组：**同一个 `(object, action, scene)` 下的知识**。
+ *
+ * 组是矩阵最小的可点单位。一个场景一张 Wiki Card，所以 `card` 至多一个名字；
+ * 而 `items` 是这一组的知识 id —— 点开一个数字要看到的就是它们。
+ */
+export interface TrialMatrixGroup {
+    /** 场景名。空串 = 这一组没有场景。 */
+    scene: string;
+    /** 落在这一组的知识条数。 */
+    knowledge: number;
+    /** 这一组的 Wiki Card 名。没有成卡时是空串。 */
+    card: string;
+    /** 这一组里的知识 id，按它们在报告里的顺序。 */
+    items: string[];
+}
+/** 矩阵的一格。**场景落在格子内部**，不进坐标轴。 */
+export interface TrialMatrixCell {
+    object: string | null;
+    action: string | null;
+    /** 这一格按场景分的组。渲染成 `场景名:数字`。 */
+    groups: TrialMatrixGroup[];
+    /** 这一格的合计条数。 */
+    knowledge: number;
+}
+/**
+ * 有对象、没有动作（或反过来）的那些知识，**归到它已有的那一边**。
+ *
+ * 0063 原稿给矩阵多留了一行「无对象」和一列「无动作」。那样做的代价是**每个对象都多
+ * 一格、每个动作都多一格**，而绝大多数格子是空的 —— 空的形状本身没有信息，有信息的是
+ * 「这个对象有几条知识还没配动作」。所以这些知识挂在行头 / 列头上：数字跟着它归属的
+ * 那一边走，不再单开一条轴。
+ */
+export interface TrialMatrixLoose {
+    /** 对象名或动作名。 */
+    name: string;
+    groups: TrialMatrixGroup[];
+    knowledge: number;
+}
+export interface TrialMatrix {
+    /** 行：对象名，按模型给出顺序。 */
+    objects: string[];
+    /** 列：动作名，按模型给出顺序。 */
+    actions: string[];
+    cells: TrialMatrixCell[];
+    /** 有对象、没有动作的知识，按对象归拢 —— 显示在行头上。 */
+    noAction: TrialMatrixLoose[];
+    /** 有动作、没有对象的知识，按动作归拢 —— 显示在列头上。 */
+    noObject: TrialMatrixLoose[];
+    /** 三个分量都空的知识条数。它不进矩阵、不成卡，只被全库命中。 */
+    noCoordinate: number;
+    /** 有知识的格子数。 */
+    withKnowledge: number;
+    /** 有内容的格子数（有知识或有卡）。 */
+    filled: number;
+    /** 格子总数：对象 × 动作。两个轴都不单开一格。 */
+    slots: number;
+}
+/**
+ * 一步的**实际产出**，一行一条。
+ *
+ * 它和 `rows` 是两件事：`rows` 回答"这一步按什么判"，`items` 回答"它判出了什么"。
+ * 只有统计没有值，人没法 review —— 而 review 正是试跑面板的全部用途。
+ */
+export interface TrialStepItem {
+    /** 左边：这一步看的东西。 */
+    ref: string;
+    /** 右边：这一步产出的值。 */
+    value: string;
+    /** 补充：理由、原文片段。 */
+    note?: string;
+    /** 这个值要人看。界面加波浪线。 */
+    flag?: 'warn';
+}
+export interface TrialStep {
+    id: string;
+    order: number;
+    name: string;
+    phase: TrialPhase;
+    actor: TrialActor;
+    needsHuman: boolean;
+    summary: string;
+    /** 判据、统计、缺什么。 */
+    rows: Array<{
+        label: string;
+        value: string;
+    }>;
+    items: TrialStepItem[];
+}
+/**
+ * 四条本地核验（0063 §5.7）。
+ *
+ * 报出来，**不阻塞**。`hits` 是这次命中几条；`note` 说这条核验抓的是什么。
+ */
+export interface TrialCheck {
+    name: string;
+    what: string;
+    hits: number;
+    note: string;
+}
+/** 抽取轨迹（0063 §5.5）。**它是审计，不是知识模型的一部分。** */
+export interface TrialAudit {
+    dropped: Array<{
+        quote: string;
+        why: string;
+    }>;
+}
+export interface TrialReport {
+    title: string;
+    subject: string;
+    lines: number;
+    chars: number;
+    headings: number;
+    objects: TrialAxis[];
+    actions: TrialAxis[];
+    scenes: TrialAxis[];
+    knowledge: TrialKnowledge[];
+    wikiCards: TrialWikiCard[];
+    matrix: TrialMatrix;
+    checks: TrialCheck[];
+    steps: TrialStep[];
+    exceptions: Array<{
+        step: string;
+        message: string;
+    }>;
+    /**
+     * 模型接缝的状态。`ok: false` 时 `why` 说明原因（界面上要显示，不能静默）。
+     *
+     * `raw` 是模型实际回了什么的一小段。**没有它，降级告警没有下一步** ——
+     * 「模型的回答里没有 JSON」这句话本身不告诉人该去改什么。
+     */
+    model: {
+        ok: boolean;
+        why?: string;
+        raw?: string;
+    };
+    /**
+     * 原样发出去的提示词。
+     *
+     * 面板要把它摊开：文档写一套、代码跑另一套而没人发现，是最贵的错。所以这里给的是
+     * **实际调用用的字符串**，不是文档里的理想版。
+     */
+    prompt: {
+        system: string;
+        user: string;
+    };
+    /**
+     * 这一次下发了多少已有坐标（0068）。
+     *
+     * `null` = 没有下发（试跑面板没接注册表，或者库里一个实体都没有）。**截断数必须露出来**：
+     * 模型看不到某条坐标时会以为库里没有它，而那个误判只会在下一次抽取显形。
+     */
+    axesContext: {
+        injected: number;
+        totals: number;
+        truncated: number;
+        selection?: 'full' | 'relevant' | 'head';
+    } | null;
+    audit: TrialAudit;
+}
+//# sourceMappingURL=wiki-trial-types.d.ts.map

package/lib/types/wiki-trial-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wiki-trial-types.d.ts","sourceRoot":"","sources":["../../src/wiki-trial-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,CAAA;AAE1C,2CAA2C;AAC3C,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,gBAAgB,GAChB,oBAAoB,GACpB,eAAe,CAAA;AAEnB;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,gCAAgC;IAChC,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IACxC,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,uCAAuC;IACvC,KAAK,EAAE,OAAO,CAAA;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,4CAA4C;IAC5C,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB;;;;;;;OAOG;IACH,OAAO,EAAE,MAAM,CAAA;IACf,wBAAwB;IACxB,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,WAAW,EAAE,CAAA;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAA;CACtB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAA;IACV;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,qBAAqB;IACrB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB;;;;;;;OAOG;IACH,OAAO,EAAE,SAAS,GAAG,KAAK,GAAG,WAAW,GAAG,aAAa,CAAA;IACxD,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,yCAAyC;AACzC,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,cAAc,EAAE,CAAA;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wBAAwB;IACxB,KAAK,EAAE,MAAM,CAAA;IACb,kBAAkB;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,6BAA6B;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAA;CAChB;AAED,gCAAgC;AAChC,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,gBAAgB,EAAE,CAAA;IAC1B,gBAAgB;IAChB,SAAS,EAAE,MAAM,CAAA;CAClB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,eAAe;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,gBAAgB,EAAE,CAAA;IAC1B,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,qBAAqB;IACrB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,qBAAqB;IACrB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,KAAK,EAAE,eAAe,EAAE,CAAA;IACxB,mCAAmC;IACnC,QAAQ,EAAE,gBAAgB,EAAE,CAAA;IAC5B,mCAAmC;IACnC,QAAQ,EAAE,gBAAgB,EAAE,CAAA;IAC5B,oCAAoC;IACpC,YAAY,EAAE,MAAM,CAAA;IACpB,eAAe;IACf,aAAa,EAAE,MAAM,CAAA;IACrB,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAA;IACd,8BAA8B;IAC9B,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,kBAAkB;IAClB,GAAG,EAAE,MAAM,CAAA;IACX,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,kBAAkB;IAClB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,qBAAqB;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,UAAU,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;IACjB,UAAU,EAAE,OAAO,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,iBAAiB;IACjB,IAAI,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC7C,KAAK,EAAE,aAAa,EAAE,CAAA;CACvB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;CACb;AAED,2CAA2C;AAC3C,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAC/C;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,SAAS,EAAE,aAAa,EAAE,CAAA;IAC1B,MAAM,EAAE,WAAW,CAAA;IACnB,MAAM,EAAE,UAAU,EAAE,CAAA;IACpB,KAAK,EAAE,SAAS,EAAE,CAAA;IAClB,UAAU,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACpD;;;;;OAKG;IACH,KAAK,EAAE;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAClD;;;;;OAKG;IACH,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;IACxC;;;;;OAKG;IACH,WAAW,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;IACrH,KAAK,EAAE,UAAU,CAAA;CAClB"}

package/lib/types/wiki-trial-types.js

@@ -0,0 +1,18 @@
+/**
+ * Wiki 抽取试跑（0063）的**类型真源**。
+ *
+ * ## 为什么要单独一个文件
+ *
+ * 这些类型有两个消费者：服务端的判定（`wiki-trial.ts`）和客户端的展示
+ * （`client/WikiTrialRun.tsx`）。原来客户端手抄了一份镜像，结果两次改版各漂了一次 ——
+ * 一次漏了 `items`，一次漏了 `summary`，界面上表现为整块白屏或少半页。
+ *
+ * 改成让客户端 `export type` 转发服务端模块也不行：那会把 `types.ts` 一并拉进客户端的
+ * 类型程序，而它依赖 `node:fs` / `node:os` / `process`，客户端 tsconfig 里没有 Node 类型。
+ *
+ * 所以类型单独放这里：**它不 import 任何东西，也不碰任何 Node API**。服务端与客户端
+ * 各自 import 它，只有一份定义。客户端用 `export type` 转发，编译后被完全抹掉，
+ * esbuild 不会把这个模块打进浏览器 bundle。
+ */
+export {};
+//# sourceMappingURL=wiki-trial-types.js.map

package/lib/types/wiki-trial-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wiki-trial-types.js","sourceRoot":"","sources":["../../src/wiki-trial-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG"}