@dommaker/harness 0.16.9 → 0.17.1

package/src/constraints/registry.ts

@@ -1,134 +0,0 @@
-/**
- * 约束注册表
- *
- * 基于 core/constraints/definitions 构建，附加分层和退化元数据。
- * 分层规则：iron_law → safety（高阈值），guideline/tip → quality（低阈值）
- * 所有层级均可退化，区别仅在于退化阈值。
- */
-
-import type { Constraint, ConstraintLevel, ConstraintTrigger } from '../types/constraint';
-import type { LayeredConstraint, ConstraintLayer, DeprecationStatus, LayerStats, DeprecationSchedule } from './types';
-import { IRON_LAWS, GUIDELINES, TIPS } from '../core/constraints/definitions';
-
-function toLayered(constraint: Constraint): LayeredConstraint {
-  const layer: ConstraintLayer = constraint.level === 'iron_law' ? 'safety' : 'quality';
-  const schedule: DeprecationSchedule = layer === 'safety'
-    ? { targetLevel: 'guideline' as ConstraintLevel, reason: '退化：拦截率持续低于 5%', rollbackable: true }
-    : { targetLevel: (constraint.level === 'guideline' ? 'tip' : 'info') as ConstraintLevel, reason: '退化：拦截率持续低于 30%', rollbackable: true };
-  return {
-    ...constraint,
-    layer,
-    deprecationStatus: 'active' as DeprecationStatus,
-    permanent: false,
-    deprecationSchedule: schedule,
-  };
-}
-
-export class ConstraintRegistry {
-  private constraints: Map<string, LayeredConstraint>;
-
-  constructor() {
-    this.constraints = new Map();
-    const all = { ...IRON_LAWS, ...GUIDELINES, ...TIPS };
-    for (const [id, constraint] of Object.entries(all)) {
-      this.constraints.set(id, toLayered(constraint));
-    }
-  }
-
-  get(id: string): LayeredConstraint | undefined {
-    return this.constraints.get(id);
-  }
-
-  getAll(): LayeredConstraint[] {
-    return Array.from(this.constraints.values());
-  }
-
-  getByLayer(layer: ConstraintLayer): LayeredConstraint[] {
-    return this.getAll().filter(c => c.layer === layer);
-  }
-
-  getByStatus(status: DeprecationStatus): LayeredConstraint[] {
-    return this.getAll().filter(c => c.deprecationStatus === status);
-  }
-
-  getByTrigger(trigger: ConstraintTrigger): LayeredConstraint[] {
-    return this.getAll().filter(c => {
-      const triggers = Array.isArray(c.trigger) ? c.trigger : [c.trigger];
-      return triggers.includes(trigger);
-    });
-  }
-
-  getDeprecationCandidates(interceptRates: Map<string, number>): LayeredConstraint[] {
-    return this.getAll().filter(c => {
-      if (c.layer !== 'quality' || !c.deprecationSchedule) return false;
-      if (c.deprecationStatus !== 'active') return false;
-      const threshold = c.deprecationSchedule.interceptRateThreshold;
-      if (threshold === undefined) return false;
-      const rate = interceptRates.get(c.id);
-      return rate !== undefined && rate < threshold;
-    });
-  }
-
-  degrade(id: string): boolean {
-    const constraint = this.constraints.get(id);
-    if (!constraint || !constraint.deprecationSchedule) return false;
-    if (constraint.deprecationStatus !== 'active') return false;
-    constraint.level = constraint.deprecationSchedule.targetLevel;
-    constraint.deprecationStatus = 'deprecated';
-    return true;
-  }
-
-  rollback(id: string, originalLevel: ConstraintLevel): boolean {
-    const constraint = this.constraints.get(id);
-    if (!constraint) return false;
-    if (!constraint.deprecationSchedule?.rollbackable) return false;
-    constraint.level = originalLevel;
-    constraint.deprecationStatus = 'active';
-    return true;
-  }
-
-  scheduleDeprecation(id: string, schedule: DeprecationSchedule): boolean {
-    const constraint = this.constraints.get(id);
-    if (!constraint || constraint.layer !== 'quality') return false;
-    constraint.deprecationSchedule = schedule;
-    constraint.deprecationStatus = 'scheduled';
-    return true;
-  }
-
-  getLayerStats(): LayerStats[] {
-    const layers: ConstraintLayer[] = ['safety', 'quality'];
-    return layers.map(layer => {
-      const constraints = this.getByLayer(layer);
-      return {
-        layer,
-        totalConstraints: constraints.length,
-        active: constraints.filter(c => c.deprecationStatus === 'active').length,
-        scheduled: constraints.filter(c => c.deprecationStatus === 'scheduled').length,
-        deprecated: constraints.filter(c => c.deprecationStatus === 'deprecated').length,
-        removed: constraints.filter(c => c.deprecationStatus === 'removed').length,
-      };
-    });
-  }
-
-  toLegacyConstraints(): Constraint[] {
-    return this.getAll().map(c => ({
-      id: c.id,
-      rule: c.rule,
-      message: c.message,
-      level: c.level,
-      trigger: c.trigger,
-      enforcement: c.enforcement,
-      description: c.description,
-      enabled: c.enabled,
-      exceptions: c.exceptions,
-    }));
-  }
-
-  register(constraint: LayeredConstraint): void {
-    this.constraints.set(constraint.id, constraint);
-  }
-
-  remove(id: string): boolean {
-    return this.constraints.delete(id);
-  }
-}

package/src/constraints/types.ts

@@ -1,59 +0,0 @@
-/**
- * 约束分层类型定义
- *
- * 在原有 Constraint 基础上增加分层和退化元数据
- */
-
-import type { Constraint, ConstraintLevel } from '../types/constraint';
-
-/** 约束分层 */
-export type ConstraintLayer = 'safety' | 'quality';
-
-/** 退化状态 */
-export type DeprecationStatus = 'active' | 'scheduled' | 'deprecated' | 'removed';
-
-/** 退化计划 */
-export interface DeprecationSchedule {
-  /** 目标级别（当前 → 目标） */
-  targetLevel: ConstraintLevel;
-  /** 触发条件：拦截率低于此值时触发退化 */
-  interceptRateThreshold?: number;
-  /** 计划退化日期 */
-  scheduledDate?: string;
-  /** 退化原因 */
-  reason: string;
-  /** 是否可回滚 */
-  rollbackable: boolean;
-}
-
-/** 带分层元数据的约束 */
-export interface LayeredConstraint extends Constraint {
-  /** 所属层 */
-  layer: ConstraintLayer;
-  /** 退化状态 */
-  deprecationStatus: DeprecationStatus;
-  /** 退化计划（所有层均有，iron_law 高阈值，guideline/tip 低阈值） */
-  deprecationSchedule?: DeprecationSchedule;
-  /** 是否永久保留（false = 所有层均可退化，区别仅在于阈值） */
-  permanent?: boolean;
-}
-
-/** 约束拦截统计 */
-export interface ConstraintStats {
-  constraintId: string;
-  triggerCount: number;
-  passCount: number;
-  interceptCount: number;
-  interceptRate: number;
-  lastTriggered?: string;
-}
-
-/** 约束层统计汇总 */
-export interface LayerStats {
-  layer: ConstraintLayer;
-  totalConstraints: number;
-  active: number;
-  scheduled: number;
-  deprecated: number;
-  removed: number;
-}

package/src/core/constraints/checkers/always-pass.ts

@@ -1,22 +0,0 @@
-/**
- * 恒通过检查组（工单 21）
- *
- * 行为类约束由 promptInjection 注入驱动 + 事后检查，检查器侧恒通过；
- * Tips 仅作信息提示。这些约束无独立检查逻辑，故集中一处。
- */
-
-import { alwaysPass } from './types';
-
-// Mnilax guidelines + first-principles（injectPrompt=true，行为层，事后检查）
-export const surgicalChangesOnly = alwaysPass('surgical_changes_only');
-export const noModelForDeterministic = alwaysPass('no_model_for_deterministic');
-export const noConflictBlending = alwaysPass('no_conflict_blending');
-export const readBeforeWrite = alwaysPass('read_before_write');
-export const followConventions = alwaysPass('follow_conventions');
-export const firstPrinciplesFirst = alwaysPass('first_principles_first');
-export const fixTheProblemNotTheGate = alwaysPass('fix_the_problem_not_the_gate');
-export const diagnosisToFixGate = alwaysPass('diagnosis_to_fix_gate');
-
-// Tips — 总是通过（仅提示）
-export const readmeRequired = alwaysPass('readme_required');
-export const docRequiredForPublicApi = alwaysPass('doc_required_for_public_api');

package/src/core/constraints/checkers/guideline-flags.ts

@@ -1,30 +0,0 @@
-/**
- * 指导原则层轻量检查（工单 21）：纯上下文证据标志判定，无 I/O
- */
-
-import { contextFlag } from './types';
-
-export const noFixWithoutRootCause = contextFlag(
-  'no_fix_without_root_cause',
-  ctx => ctx.hasRootCauseInvestigation === true
-);
-
-export const noCodeWithoutTest = contextFlag(
-  'no_code_without_test',
-  ctx => ctx.hasFailingTest === true
-);
-
-export const simplestSolutionFirst = contextFlag(
-  'simplest_solution_first',
-  ctx => ctx.hasReuseCheck === true
-);
-
-export const noCreationWithoutReuseCheck = contextFlag(
-  'no_creation_without_reuse_check',
-  ctx => ctx.hasReuseCheck === true
-);
-
-export const noSkillWithoutTest = contextFlag(
-  'no_skill_without_test',
-  ctx => ctx.hasTest === true
-);

package/src/core/constraints/checkers/no-any-type.ts

@@ -1,42 +0,0 @@
-/**
- * no_any_type：变更 TS 文件不得出现 `: any`（工单 21）
- */
-
-import { existsSync, readFileSync } from 'fs';
-import type { ConstraintCheck } from './types';
-
-export const noAnyType: ConstraintCheck = {
-  id: 'no_any_type',
-  async evaluate(env) {
-    try {
-      const changedFiles = env.context.changedFiles || [];
-      const filesToCheck = changedFiles.filter(
-        f => f.endsWith('.ts') || f.endsWith('.tsx')
-      );
-
-      if (filesToCheck.length === 0) {
-        return true; // 无 TS 文件变更
-      }
-
-      for (const file of filesToCheck) {
-        if (!existsSync(file)) continue;
-        try {
-          const content = readFileSync(file, 'utf-8');
-          // 检查 : any（排除注释和字符串）
-          for (const line of content.split('\n')) {
-            if (line.trim().startsWith('//') || line.trim().startsWith('*')) continue;
-            if (line.includes(': any') && !line.includes('// ') && !line.includes('/*')) {
-              return false; // 发现 any 类型
-            }
-          }
-        } catch {
-          // 文件读取失败，忽略
-        }
-      }
-
-      return true;
-    } catch {
-      return true; // 检查失败，默认通过
-    }
-  },
-};

package/src/core/constraints/checkers/no-excuse-patterns.ts

@@ -1,24 +0,0 @@
-/**
- * no_excuse_patterns：完成声明不得包含借口模式（工单 21）
- */
-
-import type { ConstraintCheck } from './types';
-
-const EXCUSE_PATTERNS = [
-  /稍后修复/,
-  /小问题/,
-  /不影响功能/,
-  /以后再说/,
-  /先这样/,
-  /临时方案/,
-  /暂时这样/,
-];
-
-export const noExcusePatterns: ConstraintCheck = {
-  id: 'no_excuse_patterns',
-  evaluate(env) {
-    const text = env.context.completionClaimText || env.context.taskDescription || '';
-    if (!text) return true;
-    return !EXCUSE_PATTERNS.some(p => p.test(text));
-  },
-};

package/src/core/constraints/checkers/no-fuzzy-completion-claim.ts

@@ -1,33 +0,0 @@
-/**
- * no_fuzzy_completion_claim：完成声明不得包含模糊词（工单 21）
- */
-
-import type { ConstraintCheck } from './types';
-
-const FUZZY_PATTERNS = [
-  /应该没问题/,
-  /应该可以/,
-  /大概/,
-  /可能/,
-  /好像/,
-  /似乎/,
-  /差不多/,
-  /基本完成/,
-  /大部分/,
-  // audit-learned (2026-05-18): unverified completion claims
-  /我记得删[过掉]了/,
-  /之前说删了/,
-  /已删除.*但/,
-  /大部分实现/,
-  /大部分完成/,
-  /已修复.*但/,
-];
-
-export const noFuzzyCompletionClaim: ConstraintCheck = {
-  id: 'no_fuzzy_completion_claim',
-  evaluate(env) {
-    const text = env.context.completionClaimText || '';
-    if (!text) return true; // 没有文本时默认通过（由其他检查覆盖）
-    return !FUZZY_PATTERNS.some(p => p.test(text));
-  },
-};

package/src/core/constraints/checkers/no-performative-agreement.ts

@@ -1,22 +0,0 @@
-/**
- * no_performative_agreement：表演性同意辅助检查（工单 21）
- *
- * 主要由 promptInjection 驱动，此处做辅助检查。
- */
-
-import type { ConstraintCheck } from './types';
-
-const PERFORMATIVE_START = /^(好的[，,]*\s*我[来去]做|明白了[，,]*|没问题[，,]*|ok[，,]*\s*i.?ll)/i;
-
-export const noPerformativeAgreement: ConstraintCheck = {
-  id: 'no_performative_agreement',
-  evaluate(env) {
-    const text = env.context.taskDescription || '';
-    if (!text) return true;
-    // 以表演性模式开头且总长度很短 → 视为表演性同意
-    if (PERFORMATIVE_START.test(text) && text.length < 100) {
-      return false;
-    }
-    return true;
-  },
-};

package/src/core/constraints/checkers/no-simplification-without-approval.ts

@@ -1,29 +0,0 @@
-/**
- * no_simplification_without_approval：staged diff 不得含简化关键词（工单 21）
- */
-
-import type { ConstraintCheck } from './types';
-
-const SIMPLIFICATION_PATTERNS = [
-  /removed\s*test/i,
-  /simplified\s*logic/i,
-  /removed\s*validation/i,
-  /skip\s*check/i,
-];
-
-export const noSimplificationWithoutApproval: ConstraintCheck = {
-  id: 'no_simplification_without_approval',
-  async evaluate(env) {
-    try {
-      const diff = await env.stagedDiff();
-      for (const pattern of SIMPLIFICATION_PATTERNS) {
-        if (pattern.test(diff)) {
-          return false; // 发现简化关键词
-        }
-      }
-      return true;
-    } catch {
-      return true; // 检查失败，默认通过
-    }
-  },
-};

package/src/core/constraints/checkers/test-coverage.ts

@@ -1,35 +0,0 @@
-/**
- * test_coverage_required：读取 coverage 报告校验行覆盖率（工单 21）
- */
-
-import { existsSync, readFileSync } from 'fs';
-import { join } from 'path';
-import type { ConstraintCheck } from './types';
-
-export const testCoverageRequired: ConstraintCheck = {
-  id: 'test_coverage_required',
-  async evaluate(env) {
-    const projectPath = env.projectPath;
-    try {
-      const coverageJsonPath = join(projectPath, 'coverage', 'coverage-final.json');
-      const coverageSummaryPath = join(projectPath, 'coverage', 'coverage-summary.json');
-
-      if (!existsSync(coverageJsonPath) && !existsSync(coverageSummaryPath)) {
-        return true; // 无 coverage 报告，默认通过
-      }
-
-      if (existsSync(coverageSummaryPath)) {
-        const summary = JSON.parse(readFileSync(coverageSummaryPath, 'utf-8'));
-        const total = summary.total || {};
-        const linesCoverage = total.lines?.pct || 0;
-
-        // 默认要求 50% 覆盖率（可配置）
-        return linesCoverage >= 50;
-      }
-
-      return true;
-    } catch {
-      return true; // 检查失败，默认通过
-    }
-  },
-};

package/src/core/constraints/checkers/yagni.ts

@@ -1,65 +0,0 @@
-/**
- * yagni_check：过度设计信号 — 只有一个实现的 interface/abstract class（工单 21）
- *
- * 主要由 promptInjection 驱动，这里是辅助检查。
- */
-
-import * as fs from 'fs';
-import * as path from 'path';
-import type { ConstraintCheck } from './types';
-
-export const yagniCheck: ConstraintCheck = {
-  id: 'yagni_check',
-  async evaluate(env) {
-    const projectPath = env.projectPath;
-    const changedFiles = env.context.changedFiles;
-
-    // 无上下文时默认通过（主要由 promptInjection 驱动）
-    if (!projectPath || !changedFiles || changedFiles.length === 0) return true;
-
-    try {
-      for (const file of changedFiles) {
-        if (!file.endsWith('.ts') && !file.endsWith('.tsx')) continue;
-
-        const filePath = path.join(projectPath, file);
-        if (!fs.existsSync(filePath)) continue;
-
-        const content = fs.readFileSync(filePath, 'utf-8');
-
-        // 检查是否有 export interface/abstract class
-        const hasInterface = /export\s+(?:default\s+)?interface\s+(\w+)/g;
-        const hasAbstract = /export\s+(?:default\s+)?abstract\s+class\s+(\w+)/g;
-
-        const interfaces = [...content.matchAll(hasInterface)].map(m => m[1]);
-        const abstracts = [...content.matchAll(hasAbstract)].map(m => m[1]);
-
-        const exportedTypes = [...interfaces, ...abstracts];
-
-        for (const typeName of exportedTypes) {
-          // 检查同一个 typeName 的 implements/extends 出现次数
-          const implPattern = new RegExp(`(?:implements|extends)\\s+${typeName}\\b`, 'g');
-          // 简化版：只在 changedFiles 中搜索
-          let implCount = 0;
-          for (const f of changedFiles) {
-            if (!f.endsWith('.ts') && !f.endsWith('.tsx')) continue;
-            const fp = path.join(projectPath, f);
-            if (!fs.existsSync(fp)) continue;
-            const fc = fs.readFileSync(fp, 'utf-8');
-            const matches = fc.match(implPattern);
-            if (matches) implCount += matches.length;
-          }
-
-          // 只有一个实现者 → YAGNI 违规
-          if (implCount <= 1) {
-            return false;
-          }
-        }
-      }
-    } catch {
-      // 文件读取失败，默认通过
-      return true;
-    }
-
-    return true;
-  },
-};

package/src/core/constraints/definitions/tips.ts

@@ -1,63 +0,0 @@
-/**
- * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
- * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
- */
-
-import type { Constraint } from '../../../types/constraint';
-
-// ========================================
-// TIPS（提示）
-//
-// 定义：信息性提示，可忽略
-// ========================================
-
-export const TIPS: Record<string, Constraint> = {
-  /**
-   * 建议写 README
-   */
-  readme_required: {
-    id: 'readme_required',
-    rule: 'NEW MODULES SHOULD HAVE README',
-    message: '建议为新模块创建 README',
-    level: 'tip',
-    trigger: 'module_creation',
-    enforcement: 'create-readme',
-    description: `创建新模块时建议同时创建 README.md，说明：
-
-- 模块用途
-- 使用方法
-- API 文档
-- 示例代码
-
-README 帮助其他开发者快速了解模块。`,
-    promptInjection: '创建新模块时，同时创建 README.md 说明模块用途、使用方法和 API 文档，帮助其他开发者快速了解模块。',
-  },
-
-  /**
-   * 建议写 API 文档
-   */
-  doc_required_for_public_api: {
-    id: 'doc_required_for_public_api',
-    rule: 'PUBLIC API SHOULD HAVE DOCUMENTATION',
-    message: '建议为公共 API 添加文档注释',
-    level: 'tip',
-    trigger: 'export_change',
-    enforcement: 'add-docs',
-    description: `所有导出的函数、类、接口建议添加 JSDoc 注释：
-
-\`\`\`typescript
-/**
- * 计算两个数的和
- * @param a 第一个数
- * @param b 第二个数
- * @returns 两数之和
- */
-export function add(a: number, b: number): number {
-  return a + b;
-}
-\`\`\`
-
-文档注释帮助 IDE 提供智能提示。`,
-    promptInjection: '公共 API（导出的函数、类、接口）必须有 JSDoc 文档注释，说明参数、返回值和用法示例。',
-  },
-};

package/src/evolution/CONTEXT.md

@@ -1,22 +0,0 @@
-# evolution/
-
-## 职责
-约束自动进化：基于 trace 分析自动生成约束优化提案(autoEvolve)。
-
-## 核心导出
-- `auto-evolve.ts` — autoEvolve(): 纯计算 API，基于 trace 分析生成进化提案
-
-## 依赖关系
-- 依赖 `src/monitoring/` TraceAnalyzer / ConstraintEvolver
-- 依赖 `src/core/constraints/` 约束定义
-- 被 `src/cli/commands/flow.ts` CLI 消费(auto-apply)
-
-## 约定
-- autoEvolve() 是纯计算函数，不调用 LLM
-- 进化提案由 ConstraintEvolver 生成
-- 低风险提案可自动应用(flow --auto-apply)
-
-## 注意事项
-- 约束退化基于拦截率(不基于日历时间)
-- Iron Law: 拦截率 < 5%(≥100 次检查) → guideline
-- Guideline: 拦截率 < 30%(≥10 次检查) → tip