@cyning/harness 1.1.0 → 2.0.0

package/lib/cli.js

@@ -19,6 +19,13 @@ import {
   GraphYamlError,
   yamlPathFor,
 } from './graph-yaml.js';
+import {
+  buildSnapshot,
+  checkAxioms,
+  ingestRepoIdempotent,
+  loadEvents,
+  writeSnapshot,
+} from './graph-hgm.js';
 
 function usage(version = 'unknown') {
   console.log(`@cyning/harness · cyning-harness CLI (v${version})
@@ -38,6 +45,9 @@ function usage(version = 'unknown') {
   npx @cyning/harness graph yaml check --graph-id ID [--input DIR] [--graph-json FILE]
   npx @cyning/harness graph yaml compile --all [--input DIR]
   npx @cyning/harness graph yaml check --all [--input DIR] [--graph-json FILE]
+  npx @cyning/harness graph ingest [--target PATH] [--actor ACTOR] [--dry-run]
+  npx @cyning/harness graph snapshot [--target PATH]
+  npx @cyning/harness graph axioms check [--target PATH] [--json]
 
 说明:
   init        首次接入 · 内部调用 wizard/install.sh + harness-sync.sh apply
@@ -48,7 +58,10 @@ function usage(version = 'unknown') {
   verify      30 前聚合：gate-check + audit D5 + S5 warn + 可选 --graph
   sync index  生成 .cyning-harness/invoke_index.json
   task check  校验 task.harness.v1.json sidecar · --no-circular 检测 depends_on 环
-  graph yaml  Inform 图谱 YAML 编译 / 校验（v1.1+）
+  graph yaml    Inform 图谱 YAML 编译 / 校验（v1.1+）
+  graph ingest  扫描业务仓 → 追加 HGM 事件（v2.0+）
+  graph snapshot 事件重放 → graph/snapshot.json（v2.0+）
+  graph axioms  跑 HGM 公理检查（v2.0+）
 
 环境:
   CYNING_HARNESS   覆盖产品包根（维护者本地 clone 开发）
@@ -514,31 +527,54 @@ async function cmdTask(args) {
 
 async function cmdGraph(args) {
   if (args.includes('--help') || args.includes('-h')) {
-    console.log(`用法: npx @cyning/harness graph yaml compile|check [选项]
+    console.log(`用法: npx @cyning/harness graph <子命令> [选项]
 
 子命令:
   graph yaml compile --graph-id ID [--input DIR] [--output FILE]
   graph yaml compile --all [--input DIR]
   graph yaml check --graph-id ID [--input DIR] [--graph-json FILE]
   graph yaml check --all [--input DIR] [--graph-json FILE]
+  graph ingest [--target PATH] [--actor ACTOR] [--dry-run]
+  graph snapshot [--target PATH]
+  graph axioms check [--target PATH] [--json]
 
 选项:
-  --input DIR         输入目录（默认 target/docs/_tech_graph）
-  --output FILE       输出 MD 路径（仅单图 compile）
-  --graph-json FILE   对比的 graph.json 路径（默认 input/graph.json）
-  --all               处理目录下所有 *.graph.yaml
+  --input DIR         graph yaml 输入目录（默认 target/docs/_tech_graph）
+  --output FILE       graph yaml 输出 MD 路径（仅单图 compile）
+  --graph-json FILE   graph yaml 对比的 graph.json 路径
+  --target PATH       业务仓根目录（默认当前目录）
+  --actor ACTOR       ingest actor（默认 system）
+  --dry-run           ingest 仅输出事件数 · 不写入
+  --json              axioms 输出 JSON
 `);
     return;
   }
 
   const [sub, ...subRest] = args;
-  if (sub !== 'yaml') {
-    const err = new Error(`graph 子命令未知: ${sub ?? '(空)'}`);
-    err.exitCode = 1;
-    throw err;
+  if (sub === 'yaml') {
+    await cmdGraphYaml(subRest);
+    return;
+  }
+  if (sub === 'ingest') {
+    await cmdGraphIngest(subRest);
+    return;
+  }
+  if (sub === 'snapshot') {
+    await cmdGraphSnapshot(subRest);
+    return;
+  }
+  if (sub === 'axioms') {
+    await cmdGraphAxioms(subRest);
+    return;
   }
 
-  const [action, ...actionRest] = subRest;
+  const err = new Error(`graph 子命令未知: ${sub ?? '(空)'}`);
+  err.exitCode = 1;
+  throw err;
+}
+
+async function cmdGraphYaml(args) {
+  const [action, ...actionRest] = args;
   if (action !== 'compile' && action !== 'check') {
     const err = new Error(`graph yaml 动作未知: ${action ?? '(空)'}`);
     err.exitCode = 1;
@@ -638,3 +674,97 @@ async function cmdGraph(args) {
     throw err;
   }
 }
+
+async function cmdGraphIngest(args) {
+  let rest = args;
+  const { value: targetArg, rest: r1 } = takeOption(rest, '--target');
+  rest = r1;
+  const { value: actor, rest: r2 } = takeOption(rest, '--actor');
+  rest = r2;
+  const dryRun = rest.includes('--dry-run');
+  rest = rest.filter((a) => a !== '--dry-run');
+
+  if (rest.length > 0) {
+    const err = new Error(`graph ingest 未知参数: ${rest.join(' ')}`);
+    err.exitCode = 1;
+    throw err;
+  }
+
+  const target = resolveTarget(process.cwd(), targetArg);
+  const result = ingestRepoIdempotent(target, {
+    actor: actor || 'system',
+    source: 'cli',
+    dryRun,
+  });
+
+  console.log(`目标: ${target}`);
+  console.log(`新事件: ${result.count}`);
+  console.log(`跳过（已存在）: ${result.skipped}`);
+  if (dryRun) {
+    console.log('mode: dry-run（未写入）');
+  }
+}
+
+async function cmdGraphSnapshot(args) {
+  let rest = args;
+  const { value: targetArg, rest: r1 } = takeOption(rest, '--target');
+  rest = r1;
+
+  if (rest.length > 0) {
+    const err = new Error(`graph snapshot 未知参数: ${rest.join(' ')}`);
+    err.exitCode = 1;
+    throw err;
+  }
+
+  const target = resolveTarget(process.cwd(), targetArg);
+  const events = loadEvents(target);
+  const snapshot = buildSnapshot(events);
+  const out = writeSnapshot(target, snapshot);
+
+  console.log(`events: ${events.length}`);
+  console.log(`nodes: ${Object.keys(snapshot.nodes).length}`);
+  console.log(`edges: ${snapshot.edges.length}`);
+  console.log(`snapshot: ${out}`);
+}
+
+async function cmdGraphAxioms(args) {
+  const [sub, ...rest] = args;
+  if (sub !== 'check') {
+    const err = new Error(`graph axioms 动作未知: ${sub ?? '(空)'}`);
+    err.exitCode = 1;
+    throw err;
+  }
+
+  let remaining = rest;
+  const { value: targetArg, rest: r1 } = takeOption(remaining, '--target');
+  remaining = r1;
+  const json = remaining.includes('--json');
+  remaining = remaining.filter((a) => a !== '--json');
+
+  if (remaining.length > 0) {
+    const err = new Error(`graph axioms check 未知参数: ${remaining.join(' ')}`);
+    err.exitCode = 1;
+    throw err;
+  }
+
+  const target = resolveTarget(process.cwd(), targetArg);
+  const events = loadEvents(target);
+  const snapshot = buildSnapshot(events);
+  const result = checkAxioms(snapshot);
+
+  if (json) {
+    console.log(JSON.stringify(result, null, 2));
+  } else {
+    console.log(`axioms: ${result.ok ? 'PASS' : 'FAIL'}`);
+    console.log(`violations: ${result.violations.length}`);
+    for (const v of result.violations) {
+      console.log(`  [${v.axiom}/${v.severity}] ${v.message}`);
+    }
+  }
+
+  if (!result.ok) {
+    const err = new Error('HGM axioms 未通过');
+    err.exitCode = 2;
+    throw err;
+  }
+}