@dommaker/harness 0.19.0 → 1.0.0

package/src/cli/commands/sync-docs/capabilities-syncer.ts

@@ -1,18 +1,14 @@
 /**
- * CAPABILITIES.md 同步器（工单 22）
+ * CAPABILITIES.md 文件表格同步器（工单 22）
  *
- * 支持两种格式：
- * - 文件表格格式：模块/文件/说明三列表格，增删行维护
- * - 能力清单格式：计数行（CLI Commands (N) 等），FreshnessRunner 校验与刷新
+ * 只负责文件表格格式：模块/文件/说明三列表格，增删行维护。
+ * 能力清单格式（计数行）的解析与计数已收敛到 core/constraints/capabilities-parser（H2 O10-R3）。
  */
 
 import * as fs from 'fs/promises';
 import * as path from 'path';
-import { IRON_LAWS, GUIDELINES, TIPS } from '../../../core/constraints/definitions';
-import { isCapabilityListingFormat, readCapabilitiesEntries } from '../../../core/constraints/capabilities-parser';
-import { FreshnessRunner } from '../../../core/constraints/doc-freshness/runner';
+import { readCapabilitiesEntries } from '../../../core/constraints/capabilities-parser';
 import type { CapabilitiesMode } from '../../../core/project-config-loader';
-import type { DocFreshnessCheck } from '../../../types/project-config';
 import type { ModuleInfo, SyncResult } from './project-reader';
 
 /**
@@ -33,108 +29,6 @@ export async function parseCapabilitiesFiles(capabilitiesPath: string): Promise<
   return files;
 }
 
-/**
- * 检测 CAPABILITIES.md 是否使用能力清单格式（计数行），而非文件表格格式
- *
- * @deprecated 实现已收敛到 core/constraints/capabilities-parser（与工单 19-B 同方向），
- * 此处保留 re-export 兼容现有调用方
- */
-export { isCapabilityListingFormat };
-
-/**
- * 构建 CAPABILITIES.md 能力清单格式的检查配置
- */
-function buildCapabilityChecks(): DocFreshnessCheck[] {
-  return [
-    {
-      type: 'doc_regex_count',
-      doc: 'CAPABILITIES.md',
-      label: 'CLI Commands',
-      pattern: 'CLI Commands\\s*\\((\\d+)\\)',
-      actual: { kind: 'dir_count', path: 'src/cli/commands', extension: '.ts', exclude: ['index.ts'] },
-    },
-    {
-      type: 'doc_regex_count',
-      doc: 'CAPABILITIES.md',
-      label: 'Quality Gates',
-      pattern: 'Quality Gates?\\s*\\((\\d+)\\)',
-      actual: { kind: 'dir_count', path: 'src/gates', extension: '.ts', exclude: ['index.ts', 'types.ts'] },
-    },
-    {
-      type: 'doc_regex_count',
-      doc: 'CAPABILITIES.md',
-      label: 'Iron Laws',
-      pattern: 'Iron Laws?\\s*\\((\\d+)\\)',
-      actual: { kind: 'const_count', value: Object.keys(IRON_LAWS).length },
-    },
-    {
-      type: 'doc_regex_count',
-      doc: 'CAPABILITIES.md',
-      label: 'Guidelines',
-      pattern: 'Guidelines?\\s*\\((\\d+)\\)',
-      actual: { kind: 'const_count', value: Object.keys(GUIDELINES).length },
-    },
-    {
-      type: 'doc_regex_count',
-      doc: 'CAPABILITIES.md',
-      label: 'Tips',
-      pattern: 'Tips?\\s*\\((\\d+)\\)',
-      actual: { kind: 'const_count', value: Object.keys(TIPS).length },
-    },
-  ];
-}
-
-/**
- * 使用 FreshnessRunner 检查能力清单计数是否与代码一致（--check 模式）
- */
-export function checkCapabilityCounts(
-  projectPath: string
-): { match: boolean; mismatches: string[] } {
-  const runner = new FreshnessRunner();
-  const checks = buildCapabilityChecks();
-  const results = runner.runAll({ checks }, projectPath);
-
-  const mismatches: string[] = [];
-  for (const r of results) {
-    if (!r.pass && r.message) {
-      mismatches.push(r.message);
-    }
-  }
-
-  return { match: mismatches.length === 0, mismatches };
-}
-
-/**
- * 更新 CAPABILITIES.md 中的能力清单计数（write 模式）
- *
- * 使用 FreshnessRunner 获取实际计数，然后 regex 替换文档计数行。
- */
-export function updateCapabilityCounts(content: string, projectPath: string): string {
-  const runner = new FreshnessRunner();
-
-  const cliCount = runner.countFromDir('src/cli/commands', '.ts', ['index.ts'], projectPath);
-  const gateCount = runner.countFromDir('src/gates', '.ts', ['index.ts', 'types.ts'], projectPath);
-  const ironCount = Object.keys(IRON_LAWS).length;
-  const guideCount = Object.keys(GUIDELINES).length;
-  const tipsCount = Object.keys(TIPS).length;
-
-  const replacements: [RegExp, string][] = [
-    [/CLI Commands\s*\(\d+\)/, `CLI Commands (${cliCount})`],
-    [/Quality Gates?\s*\(\d+\)/, `Quality Gates (${gateCount})`],
-    [/Iron Laws?\s*\(\d+\)/, `Iron Laws (${ironCount})`],
-    [/Guidelines?\s*\(\d+\)/, `Guidelines (${guideCount})`],
-    [/Tips?\s*\(\d+\)/, `Tips (${tipsCount})`],
-  ];
-
-  for (const [regex, replacement] of replacements) {
-    if (regex.test(content)) {
-      content = content.replace(regex, replacement);
-    }
-  }
-
-  return content;
-}
-
 /**
  * 更新 CAPABILITIES.md 文件
  *

package/src/cli/commands/sync-docs/index.ts

@@ -6,7 +6,7 @@
  *
  * 实现拆分：
  * - project-reader.ts       项目信息读取（package.json/config.yml/源码扫描）
- * - capabilities-syncer.ts  CAPABILITIES.md 两种格式的对比与维护
+ * - capabilities-syncer.ts  CAPABILITIES.md 文件表格格式的对比与维护（能力清单格式解析/计数走 core/constraints/capabilities-parser）
  * - context-syncer.ts       CONTEXT.md 模板生成/发现/过时判定
  * - agents-syncer.ts        AGENTS.md 生成
  * - preserve-block.ts       PRESERVE 标记块提取与组合
@@ -16,16 +16,19 @@ import chalk from 'chalk';
 import * as fs from 'fs/promises';
 import { existsSync } from 'fs';
 import * as path from 'path';
-import { aggregateToSourceSubdir, readCapabilitiesEntries } from '../../../core/constraints/capabilities-parser';
+import {
+  aggregateToSourceSubdir,
+  readCapabilitiesEntries,
+  isCapabilityListingFormat,
+  checkCapabilityCounts,
+  updateCapabilityCounts,
+} from '../../../core/constraints/capabilities-parser';
 import { detectSourceRoots } from '../../../utils/detect-source-roots';
 import { getCapabilitiesMode } from '../../../core/project-config-loader';
 import { getSourceDirs, scanSourceModules, getRequiredContextDirs } from './project-reader';
 import type { ModuleInfo, SyncResult } from './project-reader';
 import {
   parseCapabilitiesFiles,
-  isCapabilityListingFormat,
-  checkCapabilityCounts,
-  updateCapabilityCounts,
   updateCapabilitiesFile,
   compactCapabilitiesContent,
 } from './capabilities-syncer';

package/src/context/CONTEXT.md

@@ -1,15 +1,11 @@
 # context/
 
 ## 职责
-上下文管理：Token 预算(多级分配)、渐进式加载(worker pool 并发)、文件/工具输出预算、会话压缩、Token 流水线、知识注入。
+上下文管理：Token 预算(多级分配)、会话压缩、会话管理、知识注入。
 
 ## 核心导出
 - `TokenBudget` — 多级 token 预算(system/user/tool/reserve)
-- `ProgressiveLoader` — 渐进式加载 + worker pool 并发
-- `FileBudget` — 文件级 token 预算
-- `ToolOutputBudget` — 工具输出 token 预算
 - `Compaction` — 会话压缩(摘要/截断/滑动窗口)
-- `TokenPipeline` — Token 流水线
 - `SessionManager` — 会话管理
 - `KnowledgeInjector` — 知识注入引擎
 
@@ -20,9 +16,8 @@
 
 ## 约定
 - Token 预算策略由配置文件控制
-- 渐进式加载保证输入顺序(worker pool 模式)
 - 会话压缩策略可组合
 
 ## 注意事项
-- Phase 2 实现的 Token 流水线 + 预算 + 压缩
 - 零 Token 成本：纯计算，不调用 LLM
+- Phase 2 前瞻的渐进式加载/Token 流水线/文件与工具输出预算已随 H1（#40）删除

package/src/context/__tests__/session-manager.test.ts

@@ -81,50 +81,6 @@ describe('SessionManager', () => {
     });
   });
 
-  describe('getWindowView', () => {
-    it('应该生成窗口视图', () => {
-      manager.createSession('session-1');
-      manager.appendToSession('session-1', {
-        type: 'system',
-        id: 'sys-1',
-        content: 'You are helpful.',
-        timestamp: 't1',
-      });
-      manager.appendToSession('session-1', {
-        type: 'user_message',
-        id: 'msg-1',
-        content: 'Hello',
-        timestamp: 't2',
-      });
-
-      const output = manager.getWindowView('session-1', {
-        total: 8000,
-        systemPrompt: 1000,
-        toolDefinitions: 500,
-        knowledge: 600,
-        notes: 300,
-        history: 5600,
-      });
-
-      expect(output.prompt).toContain('You are helpful.');
-      expect(output.prompt).toContain('Hello');
-      expect(output.snapshot).toBeDefined();
-    });
-
-    it('应该抛出当会话不存在', () => {
-      expect(() => {
-        manager.getWindowView('nonexistent', {
-          total: 8000,
-          systemPrompt: 1000,
-          toolDefinitions: 500,
-          knowledge: 600,
-          notes: 300,
-          history: 5600,
-        });
-      }).toThrow('不存在');
-    });
-  });
-
   describe('checkpointSession', () => {
     it('应该生成 checkpoint', () => {
       manager.createSession('session-1');
@@ -250,51 +206,4 @@ describe('SessionManager', () => {
     });
   });
 
-  describe('getWindowView with all event types', () => {
-    it('handles all event types through eventsToSources', () => {
-      manager.createSession('session-event-types');
-      manager.appendToSession('session-event-types', {
-        type: 'system',
-        id: 'sys-1',
-        content: 'System prompt',
-        timestamp: 't1',
-      });
-      manager.appendToSession('session-event-types', {
-        type: 'assistant_message',
-        id: 'asst-1',
-        content: 'I will help',
-        timestamp: 't2',
-      });
-      manager.appendToSession('session-event-types', {
-        type: 'tool_call',
-        id: 'tool-1',
-        content: 'run test',
-        timestamp: 't3',
-      });
-      manager.appendToSession('session-event-types', {
-        type: 'tool_result',
-        id: 'tool-2',
-        content: 'test output',
-        timestamp: 't4',
-      });
-      manager.appendToSession('session-event-types', {
-        type: 'checkpoint',
-        id: 'cp-1',
-        content: 'session summary',
-        timestamp: 't5',
-      });
-
-      const output = manager.getWindowView('session-event-types', {
-        total: 8000,
-        systemPrompt: 1000,
-        toolDefinitions: 500,
-        knowledge: 600,
-        notes: 300,
-        history: 5600,
-      });
-
-      expect(output).toBeDefined();
-      expect(output.prompt).toBeDefined();
-    });
-  });
 });

package/src/context/index.ts

@@ -1,15 +1,11 @@
 /**
  * 上下文管理模块
  *
- * Phase 2: Token 流水线 + 预算 + 压缩
+ * Token 预算 + 会话压缩 + 知识注入
  */
 
 export * from './types';
 export * from './token-budget';
-export * from './progressive-loader';
-export * from './file-budget';
-export * from './tool-output-budget';
 export * from './compaction';
-export * from './token-pipeline';
 export * from './session-manager';
 export * from './knowledge-injector';

package/src/context/knowledge-injector.ts

@@ -1,20 +1,20 @@
 /**
  * 知识注入器
  *
- * 将知识条目转换为 ContextSource，注入到 TokenPipeline 的 P3 位置
+ * 将知识条目转换为 ContextSource，供上层上下文组装消费
  * 支持按阶段预算、类型过滤、去重
  */
 
 import { KnowledgeQuery } from '../knowledge/query';
 import { TokenEstimator } from './token-budget';
-import type { KnowledgeEntry, KnowledgeType } from '../knowledge/types';
+import type { KnowledgeEntry, KnowledgeSubsystem } from '../knowledge/types';
 import type { ContextSource } from './types';
 
 export interface InjectionConfig {
   /** Token 预算（默认 800） */
   budget: number;
   /** 关注的知识类型 */
-  focusTypes?: KnowledgeType[];
+  focusTypes?: KnowledgeSubsystem[];
   /** 当前阶段 */
   phase?: string;
   /** 已注入的条目 ID（去重） */

package/src/context/session-manager.ts

@@ -8,26 +8,20 @@
 
 import * as fs from 'fs';
 import * as path from 'path';
-import { TokenPipeline } from './token-pipeline';
 import { ContextTracker } from '../monitoring/context-tracker';
 import type {
   SessionEvent,
   SessionHandle,
   SessionCheckpoint,
-  TokenBudgetAllocation,
-  PipelineOutput,
-  ContextSource,
 } from './types';
 
 export class SessionManager {
   private basePath: string;
   private sessions: Map<string, SessionHandle> = new Map();
-  private pipeline: TokenPipeline;
   private tracker: ContextTracker;
 
   constructor(basePath?: string) {
     this.basePath = basePath || process.cwd();
-    this.pipeline = new TokenPipeline();
     this.tracker = new ContextTracker(this.basePath);
   }
 
@@ -139,29 +133,6 @@ export class SessionManager {
     this.appendEvent(id, event);
   }
 
-  /**
-   * 获取当前轮窗口视图（自动从磁盘加载，S2）
-   *
-   * 将 session 事件转换为 ContextSource，通过 TokenPipeline 生成 prompt
-   */
-  getWindowView(id: string, budget: TokenBudgetAllocation): PipelineOutput {
-    const handle = this.getSession(id);
-    if (!handle) {
-      throw new Error(`会话 ${id} 不存在`);
-    }
-
-    // 将事件转换为 ContextSource
-    const sources = this.eventsToSources(handle.events);
-
-    // 通过 pipeline 生成窗口视图
-    const output = this.pipeline.run({ sources, budget });
-
-    // 记录快照
-    this.tracker.record(output.snapshot);
-
-    return output;
-  }
-
   /**
    * 生成 checkpoint（自动从磁盘加载，S2）
    */
@@ -242,51 +213,6 @@ export class SessionManager {
     return this.tracker;
   }
 
-  /**
-   * 将事件转换为 ContextSource
-   */
-  private eventsToSources(events: SessionEvent[]): ContextSource[] {
-    return events.map(event => {
-      let priority: number;
-      let type: ContextSource['type'];
-
-      switch (event.type) {
-        case 'system':
-          priority = 1;
-          type = 'system_prompt';
-          break;
-        case 'user_message':
-          priority = 6;
-          type = 'user_message';
-          break;
-        case 'assistant_message':
-          priority = 5;
-          type = 'session_event';
-          break;
-        case 'tool_call':
-        case 'tool_result':
-          priority = 5;
-          type = 'tool_output';
-          break;
-        case 'checkpoint':
-          priority = 4;
-          type = 'session_event';
-          break;
-        default:
-          priority = 5;
-          type = 'session_event';
-      }
-
-      return {
-        type,
-        id: event.id,
-        content: event.content,
-        priority,
-        metadata: event.metadata,
-      };
-    });
-  }
-
   /**
    * 生成 checkpoint 摘要
    */

package/src/context/types.ts

@@ -1,49 +1,9 @@
 /**
  * 上下文管理类型定义
  *
- * Phase 2: Token 流水线 + 预算 + 压缩
+ * Token 预算 + 会话压缩 + 会话管理 + 知识注入
  */
 
-import type { QueryResult } from '../knowledge/types';
-
-// ========================================
-// 文件读取预算
-// ========================================
-
-export interface FileBudgetConfig {
-  maxLines: number;           // 默认 2000
-  maxBytes: number;           // 默认 50KB (51200)
-  maxTokenEstimate: number;   // 默认 8000
-  continuationHint: boolean;  // 默认 true
-}
-
-export const DEFAULT_FILE_BUDGET: FileBudgetConfig = {
-  maxLines: 2000,
-  maxBytes: 51200,
-  maxTokenEstimate: 8000,
-  continuationHint: true,
-};
-
-// ========================================
-// 工具输出预算
-// ========================================
-
-export interface ToolOutputBudgetConfig {
-  maxChars: number;           // 默认 16000
-  maxTokenRatio: number;      // 默认 0.3 (占总预算 30%)
-  previewLines: number;       // 默认 50
-  overflowToDisk: boolean;    // 默认 false
-  dedup: boolean;             // 默认 true
-}
-
-export const DEFAULT_TOOL_OUTPUT_BUDGET: ToolOutputBudgetConfig = {
-  maxChars: 16000,
-  maxTokenRatio: 0.3,
-  previewLines: 50,
-  overflowToDisk: false,
-  dedup: true,
-};
-
 // ========================================
 // 会话压缩
 // ========================================
@@ -76,7 +36,7 @@ export interface SessionMessage {
 }
 
 // ========================================
-// Token Pipeline
+// 上下文来源
 // ========================================
 
 export type ContextSourceType = 'session_event' | 'tool_output' | 'knowledge' | 'user_message' | 'system_prompt' | 'tool_definition';
@@ -89,27 +49,6 @@ export interface ContextSource {
   metadata?: Record<string, any>;
 }
 
-export interface TokenBudgetAllocation {
-  total: number;
-  systemPrompt: number;    // 固定，不压缩
-  toolDefinitions: number; // 按需懒加载
-  knowledge: number;       // 500-800
-  notes: number;           // 200-500
-  history: number;         // 剩余预算
-}
-
-export interface PipelineInput {
-  sources: ContextSource[];
-  budget: TokenBudgetAllocation;
-  knowledge?: QueryResult;
-}
-
-export interface PipelineOutput {
-  prompt: string;
-  snapshot: ContextUsageSnapshot;
-  dropped: Array<{ type: string; id: string; reason: string }>;
-}
-
 // ========================================
 // 上下文使用快照
 // ========================================

package/src/core/constraints/__tests__/interceptor.test.ts

@@ -64,7 +64,6 @@ describe('ConstraintInterceptor', () => {
     mockChecker.getConstraints.mockReturnValue({
       ironLaws: { test_iron_law: mockIronLaw },
       guidelines: { test_guideline: mockGuideline },
-      tips: {},
       prompts: {},
     });
   });
@@ -202,7 +201,6 @@ describe('ConstraintInterceptor', () => {
       mockChecker.getConstraints.mockReturnValue({
         ironLaws: {},
         guidelines: {},
-        tips: {},
         prompts: {},
       });
 

package/src/core/constraints/agent-prompt-renderer.ts

@@ -8,7 +8,7 @@
  * custom 追加 → scenes 过滤），与 init 注入、harness check 同一来源。
  *
  * 输出按层级分组：铁律 → 指导原则 → 行为提示；无 promptInjection 的约束
- * （如 docs_freshness）不渲染。tip 层级已随 TIPS 退役，不参与分组。
+ * （如 docs_freshness）不渲染。
  */
 
 import type { Constraint, ConstraintLevel, ConstraintTrigger } from '../../types/constraint';

package/src/core/constraints/capabilities-parser.ts

@@ -1,11 +1,16 @@
 /**
- * CAPABILITIES.md 表格解析（工单 19-B）
+ * CAPABILITIES.md 解析与能力清单计数（工单 19-B / H2 O10-R3）
  *
  * 此前 checker.parseCapabilitiesFiles 与 sync-docs.parseCapabilitiesFiles
- * 各持一份正则，收敛到此处。
+ * 各持一份正则，收敛到此处。H2 起能力清单计数（checkCapabilityCounts /
+ * updateCapabilityCounts）也从 sync-docs/capabilities-syncer 收敛到此，
+ * 使本模块成为 CAPABILITIES.md 解析 + 计数唯一入口。
  */
 
 import * as fs from 'fs';
+import { IRON_LAWS, GUIDELINES } from './definitions';
+import { FreshnessRunner } from './doc-freshness/runner';
+import type { DocFreshnessCheck } from '../../types/project-config';
 
 /** 匹配表格单元格中的源码文件条目（如 `src/foo.ts`、`foo.tsx`） */
 const FILE_CELL_REGEX = /\|\s*([^|]+?\.(?:ts|tsx|js|jsx))\s*\|/g;
@@ -96,3 +101,91 @@ export function aggregateToSourceSubdir(root: string, file: string): string {
   if (idx === -1) return prefix;
   return prefix + rest.slice(0, idx) + '/';
 }
+
+// ── 能力清单计数 ────────────────────────────────────────────
+
+/**
+ * 构建 CAPABILITIES.md 能力清单格式的检查配置
+ */
+function buildCapabilityChecks(): DocFreshnessCheck[] {
+  return [
+    {
+      type: 'doc_regex_count',
+      doc: 'CAPABILITIES.md',
+      label: 'CLI Commands',
+      pattern: 'CLI Commands\\s*\\((\\d+)\\)',
+      // index.ts（已删 barrel）与 definitions.ts（命令注册表纯数据）不是命令实现，不计入
+      actual: { kind: 'dir_count', path: 'src/cli/commands', extension: '.ts', exclude: ['index.ts', 'definitions.ts'] },
+    },
+    {
+      type: 'doc_regex_count',
+      doc: 'CAPABILITIES.md',
+      label: 'Quality Gates',
+      pattern: 'Quality Gates?\\s*\\((\\d+)\\)',
+      actual: { kind: 'dir_count', path: 'src/gates', extension: '.ts', exclude: ['index.ts', 'types.ts'] },
+    },
+    {
+      type: 'doc_regex_count',
+      doc: 'CAPABILITIES.md',
+      label: 'Iron Laws',
+      pattern: 'Iron Laws?\\s*\\((\\d+)\\)',
+      actual: { kind: 'const_count', value: Object.keys(IRON_LAWS).length },
+    },
+    {
+      type: 'doc_regex_count',
+      doc: 'CAPABILITIES.md',
+      label: 'Guidelines',
+      pattern: 'Guidelines?\\s*\\((\\d+)\\)',
+      actual: { kind: 'const_count', value: Object.keys(GUIDELINES).length },
+    },
+  ];
+}
+
+/**
+ * 使用 FreshnessRunner 检查能力清单计数是否与代码一致（--check 模式）
+ */
+export function checkCapabilityCounts(
+  projectPath: string
+): { match: boolean; mismatches: string[] } {
+  const runner = new FreshnessRunner();
+  const checks = buildCapabilityChecks();
+  const results = runner.runAll({ checks }, projectPath);
+
+  const mismatches: string[] = [];
+  for (const r of results) {
+    if (!r.pass && r.message) {
+      mismatches.push(r.message);
+    }
+  }
+
+  return { match: mismatches.length === 0, mismatches };
+}
+
+/**
+ * 更新 CAPABILITIES.md 中的能力清单计数（write 模式）
+ *
+ * 使用 FreshnessRunner 获取实际计数，然后 regex 替换文档计数行。
+ */
+export function updateCapabilityCounts(content: string, projectPath: string): string {
+  const runner = new FreshnessRunner();
+
+  const cliCount = runner.countFromDir('src/cli/commands', '.ts', ['index.ts', 'definitions.ts'], projectPath);
+  const gateCount = runner.countFromDir('src/gates', '.ts', ['index.ts', 'types.ts'], projectPath);
+  const ironCount = Object.keys(IRON_LAWS).length;
+  const guideCount = Object.keys(GUIDELINES).length;
+
+  const replacements: [RegExp, string][] = [
+    [/CLI Commands\s*\(\d+\)/, `CLI Commands (${cliCount})`],
+    [/Quality Gates?\s*\(\d+\)/, `Quality Gates (${gateCount})`],
+    [/Iron Laws?\s*\(\d+\)/, `Iron Laws (${ironCount})`],
+    [/Guidelines?\s*\(\d+\)/, `Guidelines (${guideCount})`],
+  ];
+
+  for (const [regex, replacement] of replacements) {
+    if (regex.test(content)) {
+      content = content.replace(regex, replacement);
+    }
+  }
+
+  return content;
+}