@dommaker/harness 0.16.6 → 0.16.8

package/src/core/constraints/doc-freshness/runner.ts

@@ -5,8 +5,8 @@
  * 通过 DocFreshnessConfig 配置驱动，不绑定任何项目结构。
  */
 
-import { existsSync, readFileSync, readdirSync, statSync } from 'fs';
-import { join, basename, relative } from 'path';
+import { existsSync, readFileSync, readdirSync } from 'fs';
+import { join } from 'path';
 import { detectSourceRoots } from '../../../utils/detect-source-roots';
 import type {
   DocFreshnessCheck,
@@ -454,7 +454,6 @@ export class FreshnessRunner {
       const suffix = filePattern.replace(/\*/g, '');
 
       const entries = readdirSync(searchDir, { withFileTypes: true });
-      const reg = new RegExp(pattern);
 
       let count = 0;
       for (const entry of entries) {

package/src/core/constraints/index.ts

@@ -10,11 +10,6 @@ export {
   getAllConstraints,
   findConstraintsByTrigger,
   getConstraint,
-  // 向后兼容
-  getAllLaws,
-  findLawsByTrigger,
-  getLaw,
-  filterLawsBySeverity,
 } from './definitions';
 
 // 约束检查器
@@ -24,11 +19,6 @@ export {
   checkConstraints,
   checkBeforeExecution,
   constraintChecker,
-  // 向后兼容
-  IronLawChecker,
-  checkIronLaw,
-  checkAllIronLaws,
-  ironLawChecker,
 } from './checker';
 
 // 类型导出
@@ -40,28 +30,12 @@ export type {
   ConstraintResult,
   ConstraintContext,
   ConstraintCheckResult,
-  // 向后兼容
-  IronLawId,
-  IronLawSeverity,
-  IronLawTrigger,
-  IronLaw,
-  IronLawResult,
   IronLawContext,
 } from '../../types/constraint';
 
-export {
-  ConstraintViolationError,
-  // 向后兼容
-  IronLawViolationError,
-} from '../../types/constraint';
+export { ConstraintViolationError } from '../../types/constraint';
 
 // 约束拦截器
-// 约束 Prompt 注入
-export {
-  formatConstraintsForPrompt,
-  type AgentRole,
-} from './prompt-injection';
-
 export {
   ConstraintInterceptor,
   constraintInterceptor,

package/src/core/constraints/interceptor.ts

@@ -3,7 +3,6 @@
  */
 
 import type {
-  Constraint,
   ConstraintTrigger,
   ConstraintContext,
   ConstraintLevel,
@@ -15,7 +14,6 @@ import type {
   EnforcementId,
   EnforcementExecutor,
   EnforcementContext,
-  EnforcementResult,
   InterceptionResult,
 } from '../../types/enforcement';
 import { constraintChecker } from './checker';

package/src/core/index.ts

@@ -3,7 +3,7 @@
  */
 
 // 约束系统（三层：Iron Laws / Guidelines / Tips）
-// 包含向后兼容的 IronLaw* 导出
+
 export * from './constraints';
 
 export * from './validators';

package/src/core/project-config-loader.ts

@@ -24,6 +24,51 @@ const DEFAULT_CONFIG: ProjectConfig = {
   custom_constraints_file: 'custom-constraints.yml',
 };
 
+/**
+ * config.yml 原始解析结果的进程级缓存（工单 16）
+ *
+ * 键为解析后的项目路径，条目带 mtimeMs+size 指纹：文件未变则直接复用，
+ * 避免单次 harness check 内多处读取者重复 yaml 解析；文件变更自动失效。
+ */
+const rawConfigCache = new Map<string, { mtimeMs: number; size: number; raw: Record<string, unknown> }>();
+
+/**
+ * 读取并解析 .harness/config.yml（进程级 memoize）
+ *
+ * 文件不存在时返回 undefined；解析失败向上抛出（由各调用方自行兜底）。
+ */
+export function loadRawProjectConfig(projectPath: string): Record<string, unknown> | undefined {
+  const key = path.resolve(projectPath);
+  const configPath = path.join(key, '.harness', 'config.yml');
+
+  let stat: fs.Stats | undefined;
+  try {
+    stat = fs.statSync(configPath);
+  } catch {
+    stat = undefined;
+  }
+  // 文件缺失，或 stat 不可用（如测试 mock）且文件不存在 → 无配置
+  if (!stat?.mtimeMs && !fs.existsSync(configPath)) {
+    rawConfigCache.delete(key);
+    return undefined;
+  }
+
+  // stat 指纹可用时走缓存;不可用则每次直读(不缓存,避免脏数据)
+  if (stat?.mtimeMs !== undefined) {
+    const cached = rawConfigCache.get(key);
+    if (cached && cached.mtimeMs === stat.mtimeMs && cached.size === stat.size) {
+      return cached.raw;
+    }
+  }
+
+  const loaded = yaml.load(fs.readFileSync(configPath, 'utf-8')) ?? {};
+  const raw = loaded as Record<string, unknown>;
+  if (stat?.mtimeMs !== undefined) {
+    rawConfigCache.set(key, { mtimeMs: stat.mtimeMs, size: stat.size, raw });
+  }
+  return raw;
+}
+
 /**
  * 项目配置加载器
  */
@@ -42,12 +87,10 @@ export class ProjectConfigLoader {
    * 加载项目配置
    */
   load(): ProjectConfig {
-    // 1. 加载主配置
-    const configPath = path.join(this.projectPath, '.harness', 'config.yml');
-    if (fs.existsSync(configPath)) {
-      const content = fs.readFileSync(configPath, 'utf-8');
-      const loaded = yaml.load(content) as ProjectConfig;
-      this.config = { ...DEFAULT_CONFIG, ...loaded };
+    // 1. 加载主配置（经进程级 memoize，避免重复 yaml 解析）
+    const raw = loadRawProjectConfig(this.projectPath);
+    if (raw) {
+      this.config = { ...DEFAULT_CONFIG, ...(raw as Partial<ProjectConfig>) };
     }
 
     // 2. 加载自定义约束
@@ -243,10 +286,3 @@ export class ProjectConfigLoader {
     );
   }
 }
-
-/**
- * 创建项目配置加载器
- */
-export function createProjectConfigLoader(projectPath?: string): ProjectConfigLoader {
-  return new ProjectConfigLoader(projectPath);
-}

package/src/core/validators/check-handlers/command.ts

@@ -0,0 +1,58 @@
+/**
+ * 检查点 command_* 族处理器（工单 23）
+ */
+
+import { execAsync } from '../../../utils/exec';
+import type { CheckpointCheck, CheckResult, CheckpointContext } from '../../../types/checkpoint';
+
+export async function checkCommandSuccess(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const command = check.config.command || '';
+
+  try {
+    const { stdout } = await execAsync(command, { cwd: context.workdir });
+    return {
+      checkId: check.id,
+      passed: true,
+      message: `命令执行成功: ${command}`,
+      actual: stdout.trim(),
+      expected: 'exit code 0',
+    };
+  } catch (error: any) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `命令执行失败: ${command}`,
+      actual: error.message,
+      expected: 'exit code 0',
+      error: error.message,
+    };
+  }
+}
+
+export async function checkCommandOutput(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const command = check.config.command || '';
+  const expected = String(check.config.expected || '');
+
+  try {
+    const { stdout } = await execAsync(command, { cwd: context.workdir });
+    const actual = stdout.trim();
+    const matches = actual.includes(expected);
+
+    return {
+      checkId: check.id,
+      passed: matches,
+      message: matches ? `命令输出匹配: ${expected}` : `命令输出不匹配: ${expected}`,
+      actual,
+      expected,
+    };
+  } catch (error: any) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `命令执行失败: ${command}`,
+      actual: error.message,
+      expected,
+      error: error.message,
+    };
+  }
+}

package/src/core/validators/check-handlers/file.ts

@@ -0,0 +1,104 @@
+/**
+ * 检查点 file_* 族处理器（工单 23）
+ */
+
+import * as fs from 'fs';
+import * as path from 'path';
+import type { CheckpointCheck, CheckResult, CheckpointContext } from '../../../types/checkpoint';
+
+export function resolvePath(relativePath: string, workdir: string): string {
+  if (path.isAbsolute(relativePath)) {
+    return relativePath;
+  }
+  return path.join(workdir, relativePath);
+}
+
+export async function checkFileExists(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const filePath = resolvePath(check.config.path || '', context.workdir);
+  const exists = fs.existsSync(filePath);
+
+  return {
+    checkId: check.id,
+    passed: exists,
+    message: exists ? `文件存在: ${filePath}` : `文件不存在: ${filePath}`,
+    actual: exists,
+    expected: true,
+  };
+}
+
+export async function checkFileNotEmpty(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const filePath = resolvePath(check.config.path || '', context.workdir);
+
+  if (!fs.existsSync(filePath)) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `文件不存在: ${filePath}`,
+      actual: false,
+      expected: true,
+    };
+  }
+
+  const stats = fs.statSync(filePath);
+  const notEmpty = stats.size > 0;
+
+  return {
+    checkId: check.id,
+    passed: notEmpty,
+    message: notEmpty ? `文件非空: ${filePath}` : `文件为空: ${filePath}`,
+    actual: stats.size,
+    expected: '> 0',
+  };
+}
+
+export async function checkFileContains(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const filePath = resolvePath(check.config.path || '', context.workdir);
+  const content = check.config.content || '';
+
+  if (!fs.existsSync(filePath)) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `文件不存在: ${filePath}`,
+      actual: null,
+      expected: content,
+    };
+  }
+
+  const fileContent = fs.readFileSync(filePath, 'utf-8');
+  const contains = fileContent.includes(content);
+
+  return {
+    checkId: check.id,
+    passed: contains,
+    message: contains ? `文件包含内容: ${content}` : `文件不包含内容: ${content}`,
+    actual: contains,
+    expected: true,
+  };
+}
+
+export async function checkFileNotContains(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const filePath = resolvePath(check.config.path || '', context.workdir);
+  const content = check.config.content || '';
+
+  if (!fs.existsSync(filePath)) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `文件不存在: ${filePath}`,
+      actual: null,
+      expected: `不包含: ${content}`,
+    };
+  }
+
+  const fileContent = fs.readFileSync(filePath, 'utf-8');
+  const notContains = !fileContent.includes(content);
+
+  return {
+    checkId: check.id,
+    passed: notContains,
+    message: notContains ? `文件不包含内容: ${content}` : `文件包含内容: ${content}`,
+    actual: !notContains,
+    expected: false,
+  };
+}

package/src/core/validators/check-handlers/http.ts

@@ -0,0 +1,88 @@
+/**
+ * 检查点 http_* 族处理器（工单 23）
+ */
+
+import type { CheckpointCheck, CheckResult, CheckpointContext } from '../../../types/checkpoint';
+
+/**
+ * HTTP 调用重试（处理 httpbin rate-limit 503/429）
+ */
+async function fetchWithRetry(url: string, init?: RequestInit, retries = 3): Promise<Response> {
+  let lastError: unknown;
+  for (let i = 0; i <= retries; i++) {
+    try {
+      const response = await fetch(url, init);
+      // 5xx / 429 → 重试，指数退避
+      if (!response.ok && i < retries && (response.status >= 500 || response.status === 429)) {
+        await new Promise(r => setTimeout(r, 2000 * (i + 1)));
+        continue;
+      }
+      return response;
+    } catch (e) {
+      lastError = e;
+      if (i < retries) await new Promise(r => setTimeout(r, 2000 * (i + 1)));
+    }
+  }
+  throw lastError;
+}
+
+export async function checkHttpStatus(check: CheckpointCheck, _context: CheckpointContext): Promise<CheckResult> {
+  const url = check.config.url || '';
+  const expected = check.config.expectedStatus || check.config.expected || 200;
+
+  try {
+    const response = await fetchWithRetry(url, { signal: AbortSignal.timeout(10000) });
+    const actual = response.status;
+    const matches = actual === expected;
+
+    return {
+      checkId: check.id,
+      passed: matches,
+      message: matches ? `HTTP 状态码匹配: ${expected}` : `HTTP 状态码不匹配: ${actual} != ${expected}`,
+      actual,
+      expected,
+    };
+  } catch (error: any) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `HTTP 请求失败: ${url}`,
+      actual: error.message,
+      expected,
+      error: error.message,
+    };
+  }
+}
+
+export async function checkHttpBody(check: CheckpointCheck, _context: CheckpointContext): Promise<CheckResult> {
+  const url = check.config.url || '';
+  const expected = String(check.config.expected || '');
+
+  try {
+    const response = await fetchWithRetry(url, {
+      method: check.config.method || 'GET',
+      headers: check.config.headers,
+      body: check.config.body ? JSON.stringify(check.config.body) : undefined,
+      signal: AbortSignal.timeout(10000),
+    });
+    const actual = await response.text();
+    const contains = actual.includes(expected);
+
+    return {
+      checkId: check.id,
+      passed: contains,
+      message: contains ? `HTTP 响应体包含: ${expected}` : `HTTP 响应体不包含: ${expected}`,
+      actual,
+      expected,
+    };
+  } catch (error: any) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `HTTP 请求失败: ${url}`,
+      actual: error.message,
+      expected,
+      error: error.message,
+    };
+  }
+}

package/src/core/validators/check-handlers/output.ts

@@ -0,0 +1,165 @@
+/**
+ * 检查点 output_* 族处理器（工单 23）
+ *
+ * 修复（工单 23 / 工单 06 决议）：output_* 族此前只读 context.output，
+ * 从不执行 config.command——dogfooding 的 no-console 检查点因此形同虚设。
+ * 现语义：context.output 已提供则用之；否则执行 config.command 取其 stdout。
+ * expected/content 为空串时按「输出应为空」判定（'' 恒被 includes 匹配的老 bug 移除）。
+ */
+
+import { execAsync } from '../../../utils/exec';
+import type { CheckpointCheck, CheckResult, CheckpointContext } from '../../../types/checkpoint';
+
+export function stringifyOutput(output: any): string {
+  if (typeof output === 'string') {
+    return output;
+  }
+  if (output === null || output === undefined) {
+    return '';
+  }
+  return JSON.stringify(output);
+}
+
+/**
+ * 取得待检查的输出：context.output 优先；未提供且配置了 command 时执行之。
+ * 返回 [输出文本, 命令执行错误（若有）]
+ */
+async function resolveOutput(
+  check: CheckpointCheck,
+  context: CheckpointContext
+): Promise<{ output: string; commandError?: string }> {
+  if (context.output !== undefined && context.output !== null) {
+    return { output: stringifyOutput(context.output) };
+  }
+  const command = check.config.command;
+  if (typeof command === 'string' && command.length > 0) {
+    try {
+      const { stdout } = await execAsync(command, { cwd: context.workdir });
+      return { output: stdout };
+    } catch (error: any) {
+      return { output: '', commandError: error.message };
+    }
+  }
+  return { output: '' };
+}
+
+export async function checkOutputContains(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const { output, commandError } = await resolveOutput(check, context);
+  if (commandError) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `命令执行失败: ${check.config.command}`,
+      actual: commandError,
+      expected: 'exit code 0',
+      error: commandError,
+    };
+  }
+
+  const content = check.config.content || String(check.config.expected || '');
+  // 空内容恒真（包含空串无意义）
+  const contains = content === '' ? true : output.includes(content);
+
+  return {
+    checkId: check.id,
+    passed: contains,
+    message: contains ? `输出包含内容: ${content}` : `输出不包含内容: ${content}`,
+    actual: contains,
+    expected: true,
+  };
+}
+
+export async function checkOutputNotContains(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const { output, commandError } = await resolveOutput(check, context);
+  if (commandError) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `命令执行失败: ${check.config.command}`,
+      actual: commandError,
+      expected: 'exit code 0',
+      error: commandError,
+    };
+  }
+
+  const content = check.config.content || String(check.config.expected || '');
+  // 空内容 → 语义为「输出应为空」（修复 '' 恒被 includes 匹配的老 bug）
+  const notContains = content === '' ? output.trim().length === 0 : !output.includes(content);
+
+  return {
+    checkId: check.id,
+    passed: notContains,
+    message: notContains ? `输出不包含内容: ${content}` : `输出包含内容: ${content}`,
+    actual: !notContains,
+    expected: false,
+  };
+}
+
+export async function checkOutputMatches(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const { output, commandError } = await resolveOutput(check, context);
+  if (commandError) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `命令执行失败: ${check.config.command}`,
+      actual: commandError,
+      expected: 'exit code 0',
+      error: commandError,
+    };
+  }
+
+  const pattern = check.config.pattern || '';
+  const regex = new RegExp(pattern, 'gm');
+  const matches = regex.test(output);
+
+  return {
+    checkId: check.id,
+    passed: matches,
+    message: matches ? `输出匹配正则: ${pattern}` : `输出不匹配正则: ${pattern}`,
+    actual: matches,
+    expected: true,
+  };
+}
+
+export async function checkJsonPath(check: CheckpointCheck, context: CheckpointContext): Promise<CheckResult> {
+  const jsonPath = check.config.jsonPath || '';
+  const expected = check.config.expected;
+
+  let actual: any;
+  try {
+    actual = getJsonValue(context.output, jsonPath);
+  } catch (error) {
+    return {
+      checkId: check.id,
+      passed: false,
+      message: `JSON 路径无效: ${jsonPath}`,
+      actual: null,
+      expected,
+      error: (error as Error).message,
+    };
+  }
+
+  const matches = JSON.stringify(actual) === JSON.stringify(expected);
+
+  return {
+    checkId: check.id,
+    passed: matches,
+    message: matches ? `JSON 路径匹配: ${jsonPath}` : `JSON 路径不匹配: ${jsonPath}`,
+    actual,
+    expected,
+  };
+}
+
+function getJsonValue(obj: any, jsonPath: string): any {
+  const parts = jsonPath.split('.');
+  let current = obj;
+
+  for (const part of parts) {
+    if (current === null || current === undefined) {
+      return undefined;
+    }
+    current = current[part];
+  }
+
+  return current;
+}