@dommaker/harness 0.19.0 → 1.1.0

package/src/completion-checkers/types.ts

@@ -0,0 +1,84 @@
+/**
+ * Completion Checkers 类型定义（T7-E1，studio#160）
+ *
+ * 三个纯判定函数共享的输入/输出/配置类型。
+ * 与 ConstraintCheck 闭环注册表无关：直接 export，不注册、不碰 checkers/index.ts。
+ * 函数不碰文件系统与 git，commits 由调用方（studio 侧 git log）供给。
+ */
+
+/** WU 提交输入（有序，base..HEAD 升序） */
+export interface CommitInput {
+  /** 完整 sha */
+  sha: string;
+  /** commit subject（第一行） */
+  subject: string;
+  /** commit body（trailer 所在） */
+  body: string;
+  /** 本 commit 触碰的文件清单（相对路径） */
+  files: string[];
+  /**
+   * 是否 merge commit。调用方有 git 数据时应显式供给（如 %P 父数 > 1）；
+   * 缺省时按 subject 启发式判定（`/^Merge\s/`）。
+   */
+  isMerge?: boolean;
+}
+
+/** 判定结论：pass / violation / waiver（豁免放行，记台账）/ skip（不适用，不记台账） */
+export type CheckerVerdict = 'pass' | 'violation' | 'waiver' | 'skip';
+
+/** 单 commit 判定明细 */
+export interface CommitVerdict {
+  sha: string;
+  verdict: CheckerVerdict;
+  reason?: string;
+}
+
+/** verifyTddChain 结果。整体 verdict 只取 pass/violation/skip；waiver 是 commit 级结论 */
+export interface TddChainResult {
+  checker: 'tdd-chain';
+  verdict: 'pass' | 'violation' | 'skip';
+  commits: CommitVerdict[];
+}
+
+/** verifyPhaseFormat 结果 */
+export interface PhaseFormatResult {
+  checker: 'phase-format';
+  verdict: 'pass' | 'violation' | 'skip';
+  commits: CommitVerdict[];
+}
+
+/** verifyContractPresence 上下文（类型→字段的判定方法映射是代码不是配置） */
+export interface ContractPresenceContext {
+  /** review 类型契约：studio agent-loop 已解析的 metadata.reviewReport */
+  reviewReport?: unknown;
+  [key: string]: unknown;
+}
+
+/** verifyContractPresence 结果 */
+export interface ContractPresenceResult {
+  checker: 'contract-presence';
+  verdict: 'pass' | 'violation' | 'skip';
+  detail?: string;
+}
+
+/**
+ * completion_checkers 配置（对应 yml 顶层键 `completion_checkers:`，studio 侧自解）。
+ * 只配开关/glob/契约类型清单；协议格式（Tested-By、Tests: none、phase 结构）写死为机制本体。
+ * 缺省 = 全开 + 默认 glob。
+ */
+export interface CompletionCheckersConfig {
+  /** 总开关，缺省 true */
+  enabled?: boolean;
+  /** 各 checker 开关，缺省全开 */
+  checkers?: {
+    tddChain?: boolean;
+    phaseFormat?: boolean;
+    contractPresence?: boolean;
+  };
+  /** 测试文件 glob，缺省 DEFAULT_TEST_GLOBS */
+  testGlobs?: string[];
+  /** 非代码文件 glob，缺省 DEFAULT_NONCODE_GLOBS */
+  noncodeGlobs?: string[];
+  /** 契约类型清单：类型在清单内才判定，无表项 = skip */
+  contracts?: string[];
+}

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;
+}