@dommaker/harness 0.8.3 → 0.10.0

package/README.md

@@ -1,202 +1,181 @@
 # @dommaker/harness
 
-> AI Agent 的工程约束框架 — 让 Agent 不会乱承诺、不会跳过验证、不会简化测试。
+> AI Agent 工程约束框架 — 从代码质量约束到知识积累引擎
 
----
-
-## 🚀 快速开始
+[![npm version](https://img.shields.io/npm/v/@dommaker/harness)](https://www.npmjs.com/package/@dommaker/harness)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
 
-### 安装
+## 定位
 
-```bash
-npm install -g @dommaker/harness
 ```
-
-### 最小工作流
-
-```bash
-# 开发前
-harness check
-
-# 开发 + 写测试
-
-# 提交前
-harness passes-gate
+代码质量约束（补偿模型弱点）
+        ↓
+知识积累基础设施（模型做不到的事）
++ 最小安全护栏（模型无关的底线）
 ```
 
----
-
-## 📋 CLI 命令
+**核心理念：Harness 不是目的，知识才是护城河。**
 
-### 日常使用
+Skill、Agent、工具链会随模型迭代更新，但领域知识是永恒的。
 
-```bash
-harness check           # 检查铁律（开发前后必用）
-harness passes-gate     # 测试门控（提交前验证）
-harness status          # 查看状态（异常、统计）
-harness flow            # 一键诊断 + 提案流程
-```
+---
 
-### 项目初始化
+## 安装
 
 ```bash
-harness init --preset standard    # 初始化配置
-harness init --print-snippets     # 输出代码片段
+npm install @dommaker/harness
 ```
 
-### 门禁检查
+### CLI
 
 ```bash
-# 测试门控
-harness passes-gate                    # 运行测试
-harness passes-gate --coverage         # 检查覆盖率
-harness pg                              # 别名
-
-# 验收标准
-harness acceptance --task-id TASK-001  # 检查指定任务
-harness acceptance --check-all         # 检查所有任务
-harness acceptance list                 # 列出验收标准
-harness acc                             # 别名
-
-# 性能门控
-harness performance --coverage --coverage-threshold 85  # 覆盖率检查
-harness performance --bundle --bundle-threshold 300      # 打包大小检查
-harness perf                                              # 别名
-
-# 安全门控
-harness security                        # npm audit 检查
-harness security --severity critical    # 只显示 critical 级别
-harness security audit                  # 详细漏洞报告
-harness sec                             # 别名
-
-# API 契约
-harness contract                        # OpenAPI Schema 验证
-harness contract validate               # Schema 语法验证
-harness contract --contract-path api/openapi.yaml
-
-# 代码审查
-harness review                          # PR 审查状态检查
-harness review --min-reviewers 2        # 要求 2 个审批
-harness review status                   # PR 详情
-
-# 命令黑名单
-harness command "rm -rf /"             # 检查命令
-harness command --level "DROP TABLE"   # 显示风险等级
-harness command --list                  # 列出所有规则
-harness cmd                              # 别名
+harness check                # 检查约束（开发前后）
+harness passes-gate          # 测试门控（提交前）
+harness status               # 查看状态和异常
+harness flow                 # 一键诊断 + 优化提案
+harness init --preset standard  # 初始化配置
 ```
 
-### Spec 验证
+### 作为库使用
 
-```bash
-harness spec            # 验证所有 Spec
-harness spec --staged   # 验证暂存文件
-harness spec list       # 支持的 Spec 类型
-```
+```typescript
+import {
+  // 约束系统
+  checkConstraints,
+  checkBeforeExecution,
+  interceptOperation,
+  // 知识引擎
+  KnowledgeStore,
+  KnowledgeQuery,
+  KnowledgeLinter,
+  ReferenceTracker,
+  // 安全护栏
+  InputGuardrail,
+  OutputGuardrail,
+  ToolGuardrail,
+  Sandbox,
+  // 上下文管理
+  TokenBudget,
+  SessionCompaction,
+  // Agent 生命周期
+  AgentLifecycle,
+} from '@dommaker/harness';
 
-### 检查点验证
+// 约束检查
+const result = await checkConstraints(context);
+if (!result.passed) {
+  console.error(result.ironLaws.filter(r => !r.passed));
+}
 
-```bash
-harness validate                     # 验证检查点
-harness validate --strict            # 严格模式
-harness validate -f checkpoint.json  # 指定文件
-```
+// 知识存储与查询
+const store = new KnowledgeStore({ baseDir: '.harness/knowledge' });
+const query = new KnowledgeQuery(store);
+const docs = query.search('architecture decisions');
 
-### 报告
+// 安全护栏
+const guardrail = new InputGuardrail();
+await guardrail.check(userInput);
 
-```bash
-harness report                        # 生成 Markdown 报告
-harness report -f json                # JSON 格式
-harness report -o report.md           # 输出到文件
-```
-
-### 诊断
+// Token 预算
+const budget = new TokenBudget({ model: 'claude-3', totalTokens: 200000 });
+budget.allocate('system', 2000);
+budget.allocate('user', 4000);
 
-```bash
-harness flow                          # 一键诊断 + 提案
-harness flow --auto-apply             # 自动应用低风险提案
+// Agent 生命周期
+const lifecycle = new AgentLifecycle();
+lifecycle.init({ id: 'agent-1', role: 'coder' });
 ```
 
 ---
 
-## 🎯 核心概念
+## 核心架构
 
 ### 三层约束体系
 
 | 层级 | 严重性 | 说明 |
 |------|:------:|------|
-| **Iron Law** | 🔴 error | 绝对禁止，无例外 |
-| **Guideline** | 🟡 warning | 推荐遵守，有例外 |
-| **Tip** | 🔵 info | 信息性提示 |
-
-### 7 条铁律
-
-| ID | 规则 |
-|---|------|
-| `no_bypass_checkpoint` | 禁止跳过检查点 |
-| `no_self_approval` | 禁止自评通过（必须测试）|
-| `no_completion_without_verification` | 完成必须验证 |
-| `no_test_simplification` | 禁止简化测试 |
-| `incremental_progress` | 单任务单会话 |
-| `verify_external_capability` | 外部能力先验证 |
-| `no_implementation_without_requirement_review` | 实现后对比需求 |
-
-### 8 种门禁（均有 CLI 命令）
-
-| 门禁 | CLI 命令 | 用途 |
-|------|:--------:|------|
-| PassesGate | `passes-gate` / `pg` | 测试门控 |
-| SpecAcceptanceGate | `acceptance` / `acc` | 验收标准检查 |
-| PerformanceGate | `performance` / `perf` | 性能门控 |
-| SecurityGate | `security` / `sec` | 安全检查 |
-| ContractGate | `contract` | API 契约验证 |
-| ReviewGate | `review` | PR 审核检查 |
-| CommandGate | `command` / `cmd` | 命令黑名单 |
-| CheckpointValidator | `validate` | 检查点验证 |
+| **Iron Law** | error | 绝对禁止，无例外（8 条） |
+| **Guideline** | warning | 推荐遵守，有例外（11 条） |
+| **Tip** | info | 信息性提示（2 条） |
+
+### 子系统
+
+| 模块 | 目录 | 说明 |
+|------|------|------|
+| **约束引擎** | `core/`, `constraints/` | 三层约束检查、拦截器、自定义约束配置 |
+| **知识引擎** | `knowledge/` | 存储、查询、引用追踪、质量检查、生命周期（draft→canonical→archived） |
+| **上下文管理** | `context/` | Token 预算、会话压缩、渐进式加载、知识注入 |
+| **安全护栏** | `safety/` | 输入/输出/工具调用安全检查、沙箱（L1-L4） |
+| **验证循环** | `verification/` | 规则引擎 + 推理验证，支持检查点恢复 |
+| **门禁系统** | `gates/` | 8 种门禁：测试/验收/性能/安全/契约/审查/命令/检查点 |
+| **监控** | `monitoring/` | Trace 收集分析、约束诊断/进化、知识诊断/进化 |
+| **Agent 管理** | `agents/` | Agent 生命周期状态机（init→running→completed） |
+| **LLM 集成** | `llm/` | LLM 适配层，支持多 provider |
+| **失败处理** | `failure/` | 错误分类、失败记录 |
+| **Dashboard** | `dashboard/` | 统计面板、状态展示 |
+| **架构约束** | `architecture/` | 架构级约束检查、跨项目依赖检查 |
+| **Spec 检查** | `spec/` | 代码注解中的 Spec 验证 |
 
 ---
 
-## 🔧 代码集成
+## CLI 命令
 
-```typescript
-import {
-  IronLawChecker,
-  PassesGate,
-  CommandGate,
-  CheckpointValidator,
-} from '@dommaker/harness';
+### 日常
 
-// 铁律检查
-const checker = IronLawChecker.getInstance();
-const results = await checker.checkAll(context);
+```bash
+harness check                    # 约束检查
+harness passes-gate [options]    # 测试门控（别名: pg）
+harness status [--anomalies]     # 状态查看
+harness flow [--auto-apply] [--auto-execute]  # 诊断 + 提案
+```
 
-// 测试门控
-const gate = new PassesGate({ requireEvidence: true });
-const passed = await gate.runTests();
+### 门禁
 
-// 命令黑名单
-const commandGate = new CommandGate();
-const result = await commandGate.check('rm -rf /');
-// { passed: false, message: '命令被禁止执行...' }
+```bash
+harness acceptance [--task-id ID] [--check-all]  # 验收标准（别名: acc）
+harness performance [--coverage] [--bundle]       # 性能门控（别名: perf）
+harness security [--severity level]               # 安全检查（别名: sec）
+harness contract [--contract-path path]           # API 契约验证
+harness review [--min-reviewers N]                # PR 审查检查
+harness command "command string"                  # 命令黑名单（别名: cmd）
 ```
 
-> 详细 API 参考：[capabilities/](capabilities/) 目录
+### 其他
+
+```bash
+harness init [--preset standard|strict|relaxed]  # 初始化
+harness validate [--strict]                       # 检查点验证
+harness spec [--staged]                           # Spec 验证
+harness report [-f json|markdown] [-o file]       # 报告生成
+```
 
 ---
 
+## 配置
+
 ### .harness/config.yml
 
 ```yaml
-preset: standard
+preset: standard  # standard | strict | relaxed
 
 # 自定义约束例外
 custom_constraints:
   no_fix_without_root_cause:
     extend_exceptions:
-      - my_special_case
+      - hotfix_branch
 ```
 
-### CI 集成
+### Presets
+
+| Preset | 说明 |
+|--------|------|
+| `strict` | 全部约束启用（Iron Laws + Guidelines + Tips） |
+| `standard` | Iron Laws + Guidelines（默认） |
+| `relaxed` | 仅 Iron Laws |
+
+---
+
+## CI 集成
 
 ```yaml
 # .github/workflows/harness-check.yml
@@ -212,63 +191,36 @@ jobs:
 
 ---
 
-## 📊 Trace & 日志
+## 日志与诊断
 
-### 目录结构
+运行时状态存储在 `.harness/` 目录：
 
 ```
 .harness/
-├── traces/
-│   ├── execution.log      # 约束检查记录（JSON Lines）
-│   └── summary.json       # 统计汇总
-└── state.json             # Harness 状态
+├── traces/           # 约束检查记录（JSON Lines）
+├── failures/         # 失败记录
+├── diagnoses/        # 诊断报告
+├── proposals/        # 约束优化提案
+└── state.json        # 运行状态
 ```
 
-### 查看日志
-
 ```bash
-# 查看状态和统计
-harness status
-
-# 查看详细统计
-harness status --detail
-
-# 只看异常
-harness status --anomalies
-
-# 分析最近 N 小时
-harness status --hours 48
-```
-
-### 日志格式
-
-**execution.log**（JSON Lines 格式）：
-```json
-{"timestamp":"2026-04-28T15:00:00Z","constraintId":"no_bypass_checkpoint","result":"passed","duration":12}
-{"timestamp":"2026-04-28T15:01:00Z","constraintId":"no_self_approval","result":"bypassed","reason":"hotfix"}
+harness status --anomalies    # 查看异常
+harness status --hours 48     # 最近 48 小时统计
+harness flow --auto-apply     # 诊断 + 自动应用低风险提案
 ```
 
-**summary.json**：
-```json
-{"totalChecks":150,"passRate":0.92,"bypassRate":0.08,"anomalies":2}
-```
-
-### 异常检测
-
-当 `harness status --anomalies` 发现异常时，运行 `harness flow` 进行诊断和优化提案。
-
 ---
 
-## 🔧 开发
+## 开发
 
 ```bash
 npm install
-npm run build
-npm test
+npm run build          # 编译 TypeScript
+npm test               # 运行测试（覆盖率阈值 50%）
+npm run lint           # ESLint
 ```
 
----
-
-## 📝 License
+## 许可证
 
-MIT © dommaker
+MIT

package/bin/harness.js

@@ -7,13 +7,14 @@
  */
 
 const { Command } = require('commander');
-const { 
-  check, 
-  listLaws, 
-  validate, 
-  runPassesGate, 
+const { version } = require('../package.json');
+const {
+  check,
+  listLaws,
+  validate,
+  runPassesGate,
   checkCoverage,
-  init, 
+  init,
   report,
   status,
   flow,
@@ -28,8 +29,16 @@ const {
   validateSchema,
   review,
   reviewStatus,
-  command,
-  cmd
+  executeCommand,
+  syncDocs,
+  knowledgeList,
+  knowledgeSearch,
+  knowledgeImport,
+  knowledgeDecay,
+  knowledgeStats,
+  failureList,
+  failureStats,
+  failureClear,
 } = require('../dist/cli/commands/index');
 
 const program = new Command();
@@ -37,7 +46,7 @@ const program = new Command();
 program
   .name('harness')
   .description('通用工程约束框架 - 铁律系统、检查点验证、测试门控、执行追踪')
-  .version('0.8.0');
+  .version(version);
 
 // ========================================
 // harness check
@@ -102,6 +111,7 @@ program
   .command('init')
   .description('初始化项目的 harness 配置')
   .option('-p, --preset <preset>', '预设名称 (strict/standard/relaxed)', 'standard')
+  .option('-g, --governance <level>', '治理级别 (minimal/standard/strict)')
   .option('-t, --type <type>', '项目类型 (node-api/nextjs-app/python-api/custom)')
   .option('--project-path <path>', '项目路径')
   .option('--no-git-hooks', '不创建 Git hooks')
@@ -118,7 +128,7 @@ program
   .command('report')
   .description('生成检查报告')
   .option('-o, --output <path>', '输出文件路径')
-  .option('-f, --format <format>', '输出格式 (json/markdown)', 'markdown')
+  .option('-f, --format <format>', '输出格式 (json/markdown/html)', 'markdown')
   .option('-p, --project-path <path>', '项目路径')
   .action(async (options) => {
     await report(options);
@@ -262,7 +272,7 @@ program
   .description('API 契约门控，检查 OpenAPI Schema')
   .option('-p, --project-path <path>', '项目路径')
   .option('--contract-path <path>', '契约文件路径', 'openapi.yaml')
-  .option('--strict', '严格模式', true)
+  .option('--no-strict', '关闭严格模式')
   .option('--allow-breaking', '允许破坏性变更', false)
   .action(async (subcommand, options, command) => {
     if (subcommand === 'validate') {
@@ -280,8 +290,8 @@ program
   .description('代码审查门控，检查审查状态')
   .option('-p, --project-path <path>', '项目路径')
   .option('--min-reviewers <n>', '最少审查人数', '1')
-  .option('--require-approval', '要求审批', true)
-  .option('--block-on-changes', '阻止变更请求', true)
+  .option('--no-require-approval', '不要求审批')
+  .option('--no-block-on-changes', '不阻止变更请求')
   .option('--allowed-reviewers <list>', '允许的审查者（逗号分隔）')
   .action(async (subcommand, options, command) => {
     if (subcommand === 'status') {
@@ -308,58 +318,110 @@ program
   .option('--list', '列出所有黑名单规则')
   .option('--json', 'JSON 格式输出')
   .option('--strict', '严格模式（warn 也阻止）')
-  .action(async (cmd, options, command) => {
-    const gate = require('../dist/gates/command').createCommandGate({ strict: options.strict });
-    
-    if (options.list) {
-      const { DEFAULT_COMMAND_BLACKLIST } = require('../dist/gates/command');
-      if (options.json) {
-        console.log(JSON.stringify(DEFAULT_COMMAND_BLACKLIST.map(r => ({
-          id: r.id,
-          level: r.level,
-          message: r.message,
-          category: r.category,
-        })), null, 2));
-      } else {
-        console.log('\n命令黑名单规则：\n');
-        console.log(`共 ${DEFAULT_COMMAND_BLACKLIST.length} 条规则`);
-        console.log('使用 harness command --list --json 查看详情');
-      }
-      return;
-    }
-    
-    if (!cmd) {
-      console.error('错误：请提供要检查的命令');
-      console.error('用法：harness command "your command"');
+  .action(async (cmd, options) => {
+    await executeCommand(cmd, options);
+  });
+
+// ========================================
+// harness sync-docs
+// ========================================
+program
+  .command('sync-docs')
+  .description('同步项目文档（CAPABILITIES.md、CONTEXT.md、CHANGELOG.md）')
+  .option('-p, --project-path <path>', '项目路径')
+  .option('-c, --check', '只检查不修改（CI 模式）', false)
+  .option('--changelog', '生成 CHANGELOG 条目', false)
+  .option('--json', '输出 JSON 格式（供 LLM 消费）', false)
+  .action(async (options) => {
+    const ok = await syncDocs(options);
+    if (!ok && options.check) {
       process.exit(1);
     }
-    
-    const result = await gate.check(cmd);
-    
-    if (options.level) {
-      const { getCommandRiskLevel } = require('../dist/gates/command');
-      const level = getCommandRiskLevel(cmd);
-      if (options.json) {
-        console.log(JSON.stringify({ level, command: cmd }));
-      } else {
-        const levelColors = { high: '\x1b[31m', medium: '\x1b[33m', low: '\x1b[32m' };
-        console.log(`${levelColors[level]}${level}\x1b[0m ${cmd}`);
-      }
-      process.exit(level === 'high' ? 1 : 0);
+  });
+
+// ========================================
+// harness knowledge
+// ========================================
+program
+  .command('knowledge [subcommand] [arg]')
+  .description('知识库管理（list/search/import/decay/stats）')
+  .alias('kb')
+  .option('-p, --project-path <path>', '项目路径')
+  .option('--type <types>', '按类型过滤（逗号分隔）')
+  .option('--maturity <levels>', '按成熟度过滤（逗号分隔）')
+  .option('--tag <tags>', '按标签过滤（逗号分隔）')
+  .option('--sources <sources>', '导入源（逗号分隔: code,git,docs）')
+  .option('--limit <n>', '结果数量限制', '20')
+  .option('--reset', '重置导入状态', false)
+  .option('--json', 'JSON 格式输出', false)
+  .action(async (subcommand, arg, options) => {
+    const opts = { projectPath: options.projectPath, json: options.json };
+    switch (subcommand) {
+      case 'list':
+      case 'ls':
+        await knowledgeList({ ...opts, type: options.type, maturity: options.maturity, tag: options.tag });
+        break;
+      case 'search':
+      case 's':
+        if (!arg) { console.error('请提供搜索关键词'); process.exit(1); }
+        await knowledgeSearch(arg, { ...opts, limit: parseInt(options.limit, 10) });
+        break;
+      case 'import':
+      case 'i':
+        await knowledgeImport({ ...opts, sources: options.sources, reset: options.reset });
+        break;
+      case 'decay':
+      case 'd':
+        await knowledgeDecay(opts);
+        break;
+      case 'stats':
+      case 'st':
+        await knowledgeStats(opts);
+        break;
+      default:
+        // 无子命令时显示帮助
+        if (!subcommand) {
+          program.commands.find(c => c.name() === 'knowledge').help();
+        } else {
+          console.error(`未知子命令: ${subcommand}`);
+          process.exit(1);
+        }
     }
-    
-    if (options.json) {
-      console.log(JSON.stringify({
-        command: cmd,
-        passed: result.passed,
-        message: result.message,
-        details: result.details,
-      }, null, 2));
-    } else {
-      console.log(result.passed ? `\x1b[32m✓\x1b[0m ${result.message}` : `\x1b[31m✗\x1b[0m ${result.message}`);
+  });
+
+// ========================================
+// harness failure
+// ========================================
+program
+  .command('failure [subcommand]')
+  .description('失败记录管理（list/stats/clear）')
+  .option('-p, --project-path <path>', '项目路径')
+  .option('--type <type>', '按错误类型过滤')
+  .option('--level <level>', '按失败等级过滤 (L1/L2/L3/L4)')
+  .option('--limit <n>', '结果数量限制', '20')
+  .option('--json', 'JSON 格式输出', false)
+  .action(async (subcommand, options) => {
+    const opts = { projectPath: options.projectPath, json: options.json };
+    switch (subcommand) {
+      case 'list':
+      case 'ls':
+        await failureList({ ...opts, limit: parseInt(options.limit, 10), type: options.type, level: options.level });
+        break;
+      case 'stats':
+      case 'st':
+        await failureStats(opts);
+        break;
+      case 'clear':
+        await failureClear(opts);
+        break;
+      default:
+        if (!subcommand) {
+          program.commands.find(c => c.name() === 'failure').help();
+        } else {
+          console.error(`未知子命令: ${subcommand}`);
+          process.exit(1);
+        }
     }
-    
-    process.exit(result.passed ? 0 : 1);
   });
 
 // 解析命令行参数

package/dist/agents/index.d.ts

@@ -0,0 +1,3 @@
+export * from './types';
+export * from './lifecycle';
+//# sourceMappingURL=index.d.ts.map

package/dist/agents/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/agents/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,aAAa,CAAC"}

package/dist/agents/index.js

@@ -0,0 +1,19 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./types"), exports);
+__exportStar(require("./lifecycle"), exports);
+//# sourceMappingURL=index.js.map