@accelerator-mzq/forge 1.4.0

package/dist/core/monitor/artifact-observer.js

@@ -0,0 +1,180 @@
+// src/core/monitor/artifact-observer.ts — 把 forge 常规产物反推成 CLI 层 trace 事件(spec §3 / §3.2)
+import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { join } from 'node:path';
+import { parse as parseYAML } from 'yaml';
+import { parseMarker } from '../markers/parse.js';
+import { validateMarkerSchema } from '../validate/marker-schema.js';
+import { validateArchiveSummarySchema } from '../validate/archive-summary-schema.js';
+/** marker 文件名 → 监控阶段(以 Step 1 确认的实际文件名为准) */
+const MARKER_FILES = {
+    '.verify-passed': 'verify',
+    '.verify-failed': 'verify',
+    '.review-passed': 'review',
+    '.review-failed': 'review',
+};
+function mkEvent(changeId, stage, event, data, ts) {
+    return {
+        // 优先用产物自带时间戳;缺失才回退观察时刻 —— 报告时间线才不乱序(Codex 计划审查第 4 轮 检查点 3)
+        ts: ts ?? new Date().toISOString(),
+        schema: 'forge-monitor-trace/v1',
+        change_id: changeId,
+        stage,
+        layer: 'cli',
+        event,
+        data,
+    };
+}
+/** 扫一个目录里的 4 个 marker 文件,产出 marker_observed / record_error 事件 */
+function observeMarkers(dir, relBase, changeId) {
+    const events = [];
+    for (const [fileName, stage] of Object.entries(MARKER_FILES)) {
+        const markerPath = join(dir, fileName);
+        if (!existsSync(markerPath))
+            continue;
+        const relPath = join(relBase, fileName);
+        try {
+            const marker = parseMarker(readFileSync(markerPath, 'utf8'));
+            // marker 是 union 类型;失败类 marker 无 hash 字段,转 record 安全取值
+            const obj = marker;
+            const validation = validateMarkerSchema(marker, markerPath);
+            // 事件 ts 取 marker 自带时间戳(verify→verified_at / review→reviewed_at / failed→failed_at);
+            // 报告「阶段时间线」按真实时序排序才有意义(Codex 计划审查第 4 轮 检查点 3)。
+            // 用 typeof runtime guard 而非 as 断言 —— schema-invalid marker 的时间戳字段可能不是 string,
+            // as 会让非 string 值漏进 TraceEvent.ts,致 Task 11 排序 localeCompare 崩溃(第 5 轮 Finding 1)
+            const markerTs = typeof obj.verified_at === 'string'
+                ? obj.verified_at
+                : typeof obj.reviewed_at === 'string'
+                    ? obj.reviewed_at
+                    : typeof obj.failed_at === 'string'
+                        ? obj.failed_at
+                        : undefined;
+            events.push(mkEvent(changeId, stage, 'marker_observed', {
+                marker_schema: marker.schema,
+                path: relPath,
+                hashes: { tasks_hash: obj.tasks_hash, content_hash: obj.content_hash },
+                ok: validation.valid, // spec §3.2:ok = marker schema 校验是否通过
+                observed_at: new Date().toISOString(), // observer 实际跑的时刻,与 ts 区分
+            }, markerTs));
+            // I-2(spec §3.2):verify/review fence_observed —— 从 marker findings 抽未决项。
+            // findings 数组字段名按 marker 类型不同:verify(pass/fail)用 verify_findings;
+            // review-passed 用 review_outcomes;review-failed 用 unresolved_outcomes。
+            // 一个 marker 至多含其一,逐个探测取首个数组。
+            let rawFindings = [];
+            for (const key of ['verify_findings', 'review_outcomes', 'unresolved_outcomes']) {
+                if (Array.isArray(obj[key])) {
+                    rawFindings = obj[key];
+                    break;
+                }
+            }
+            const blockedFindings = rawFindings
+                .filter((f) => f.resolved === false)
+                .map((f, i) => ({ id: f.id ?? i, severity: f.severity ?? null, dimension: f.dimension }));
+            // 'S' 是 review_outcomes 的 CRITICAL 简码(verify_findings 不用简码)
+            const fenceOk = !blockedFindings.some((b) => b.severity === 'CRITICAL' || b.severity === 'S');
+            events.push(mkEvent(changeId, stage, 'fence_observed', { level: stage, ok: fenceOk, blocked_findings: blockedFindings, path: relPath }, markerTs));
+        }
+        catch (err) {
+            events.push(mkEvent(changeId, stage, 'record_error', { path: relPath, error: err.message }));
+        }
+    }
+    return events;
+}
+/** 读一个 change 目录的 .evidence/ack-log.jsonl,对每条 ack entry 产 ack_observed 事件(spec §3.2) */
+function observeAckLog(dir, changeId) {
+    const events = [];
+    const logPath = join(dir, '.evidence', 'ack-log.jsonl');
+    if (!existsSync(logPath))
+        return events;
+    let lines;
+    try {
+        lines = readFileSync(logPath, 'utf8').split(/\r?\n/);
+    }
+    catch {
+        return events; // 读失败 → 跳过,never-throw
+    }
+    for (const line of lines) {
+        if (!line.trim())
+            continue;
+        try {
+            const entry = JSON.parse(line);
+            if (entry.kind !== 'ack')
+                continue; // 只记 ack entry,跳过 evidence-helper
+            events.push(mkEvent(changeId, 'ack-confirm', 'ack_observed', {
+                action: entry.action ?? null,
+                finding_id: entry.finding_id ?? null,
+                severity: entry.target_severity ?? null,
+                user: entry.user ?? null,
+            }, typeof entry.timestamp === 'string' ? entry.timestamp : undefined));
+        }
+        catch {
+            /* 坏 JSON 行跳过 */
+        }
+    }
+    return events;
+}
+/**
+ * 扫描某 change 的产物,反推 CLI 层事件(spec §3 / §3.2)。
+ * 同时扫 active 目录 forge/changes/<id>/ 与 archive 目录 forge/changes/archive/<id>/
+ * —— 产物是 forge 常规输出、与监控开关无关,故可回溯 enable 之前的阶段(spec §2.4)。
+ * 单个产物解析失败不抛,产出一条 record_error 事件。
+ */
+export function observeArtifacts(projectRoot, changeId) {
+    const events = [];
+    // 1. active change 目录的 marker + ack-log
+    const activeDir = join(projectRoot, 'forge', 'changes', changeId);
+    if (existsSync(activeDir)) {
+        events.push(...observeMarkers(activeDir, join('forge', 'changes', changeId), changeId));
+        events.push(...observeAckLog(activeDir, changeId));
+    }
+    // 2. archive 目录 —— archive 成功后 change 移到 forge/changes/archive/<YYYY-MM-DD>-<changeId>/
+    //    (transaction.ts:56 给目录名加 archiveDate 前缀;monitor 不知 archiveDate,按正则反解;
+    //     Codex 计划审查第 2 轮 F-2 / 新-1 / 新-3)
+    const archiveRoot = join(projectRoot, 'forge', 'changes', 'archive');
+    if (existsSync(archiveRoot)) {
+        try {
+            for (const entry of readdirSync(archiveRoot, { withFileTypes: true })) {
+                if (!entry.isDirectory())
+                    continue;
+                // 目录名 = <YYYY-MM-DD>-<changeId>;剥一层日期前缀,余下须严格等于 changeId
+                const m = /^\d{4}-\d{2}-\d{2}-(.+)$/.exec(entry.name);
+                if (!m || m[1] !== changeId)
+                    continue;
+                const archiveDir = join(archiveRoot, entry.name);
+                const archiveRel = join('forge', 'changes', 'archive', entry.name);
+                events.push(...observeMarkers(archiveDir, archiveRel, changeId));
+                events.push(...observeAckLog(archiveDir, changeId));
+                // archive_summary.yaml —— 三级 fence 的 archive 侧裁决产物(spec §3.2)
+                const summaryPath = join(archiveDir, 'archive_summary.yaml');
+                if (!existsSync(summaryPath))
+                    continue;
+                const summaryRel = join(archiveRel, 'archive_summary.yaml');
+                try {
+                    const summary = parseYAML(readFileSync(summaryPath, 'utf8'));
+                    // Codex 计划审查第 2 轮 新-2:用完整 schema 校验定 ok,而非浅守卫 looksLikeArchiveSummary
+                    const validation = validateArchiveSummarySchema(summary, summaryPath);
+                    const s = (summary ?? {});
+                    events.push(mkEvent(changeId, 'archive', 'fence_observed', {
+                        level: 'archive',
+                        ok: validation.valid,
+                        path: summaryRel,
+                        verify_passed: s.verify_passed,
+                        review_passed: s.review_passed,
+                        process_evidence_summary: s.process_evidence_summary,
+                        observed_at: new Date().toISOString(),
+                    }, typeof s.archived_at === 'string' ? s.archived_at : undefined));
+                }
+                catch (err) {
+                    events.push(mkEvent(changeId, 'archive', 'record_error', {
+                        path: summaryRel,
+                        error: err.message,
+                    }));
+                }
+            }
+        }
+        catch {
+            // archive 目录读取失败(并发删除/权限)→ 跳过 archive 扫描,不破坏 active 事件契约
+        }
+    }
+    return events;
+}
+//# sourceMappingURL=artifact-observer.js.map

package/dist/core/monitor/artifact-observer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-observer.js","sourceRoot":"","sources":["../../../src/core/monitor/artifact-observer.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AAGrF,6CAA6C;AAC7C,MAAM,YAAY,GAAiC;IACjD,gBAAgB,EAAE,QAAQ;IAC1B,gBAAgB,EAAE,QAAQ;IAC1B,gBAAgB,EAAE,QAAQ;IAC1B,gBAAgB,EAAE,QAAQ;CAC3B,CAAC;AAEF,SAAS,OAAO,CACd,QAAgB,EAChB,KAAmB,EACnB,KAAa,EACb,IAA6B,EAC7B,EAAW;IAEX,OAAO;QACL,2DAA2D;QAC3D,EAAE,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAClC,MAAM,EAAE,wBAAwB;QAChC,SAAS,EAAE,QAAQ;QACnB,KAAK;QACL,KAAK,EAAE,KAAK;QACZ,KAAK;QACL,IAAI;KACL,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,SAAS,cAAc,CAAC,GAAW,EAAE,OAAe,EAAE,QAAgB;IACpE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,SAAS;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7D,uDAAuD;YACvD,MAAM,GAAG,GAAG,MAA4C,CAAC;YACzD,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAC5D,oFAAoF;YACpF,+CAA+C;YAC/C,8EAA8E;YAC9E,iFAAiF;YACjF,MAAM,QAAQ,GACZ,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;gBACjC,CAAC,CAAC,GAAG,CAAC,WAAW;gBACjB,CAAC,CAAC,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;oBACnC,CAAC,CAAC,GAAG,CAAC,WAAW;oBACjB,CAAC,CAAC,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;wBACjC,CAAC,CAAC,GAAG,CAAC,SAAS;wBACf,CAAC,CAAC,SAAS,CAAC;YACpB,MAAM,CAAC,IAAI,CACT,OAAO,CACL,QAAQ,EACR,KAAK,EACL,iBAAiB,EACjB;gBACE,aAAa,EAAE,MAAM,CAAC,MAAM;gBAC5B,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE;gBACtE,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,sCAAsC;gBAC5D,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,0BAA0B;aAClE,EACD,QAAQ,CACT,CACF,CAAC;YACF,yEAAyE;YACzE,kEAAkE;YAClE,uEAAuE;YACvE,6BAA6B;YAC7B,IAAI,WAAW,GAA8B,EAAE,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBAChF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAC5B,WAAW,GAAG,GAAG,CAAC,GAAG,CAA8B,CAAC;oBACpD,MAAM;gBACR,CAAC;YACH,CAAC;YACD,MAAM,eAAe,GAAG,WAAW;iBAChC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC;iBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YAC5F,4DAA4D;YAC5D,MAAM,OAAO,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC;YAC9F,MAAM,CAAC,IAAI,CACT,OAAO,CACL,QAAQ,EACR,KAAK,EACL,gBAAgB,EAChB,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAC/E,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CACT,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC,CAC3F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,SAAS,aAAa,CAAC,GAAW,EAAE,QAAgB;IAClD,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,KAAe,CAAC;IACpB,IAAI,CAAC;QACH,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,uBAAuB;IACxC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;YAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,SAAS,CAAC,kCAAkC;YACtE,MAAM,CAAC,IAAI,CACT,OAAO,CACL,QAAQ,EACR,aAAa,EACb,cAAc,EACd;gBACE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;gBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI;gBACpC,QAAQ,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;gBACvC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,IAAI;aACzB,EACD,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAClE,CACF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB;QAClB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAAmB,EAAE,QAAgB;IACpE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,wCAAwC;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxF,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,wFAAwF;IACxF,2EAA2E;IAC3E,uCAAuC;IACvC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,WAAW,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACtE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;oBAAE,SAAS;gBACnC,yDAAyD;gBACzD,MAAM,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;oBAAE,SAAS;gBAEtC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACnE,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAEpD,8DAA8D;gBAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;gBAC7D,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;oBAAE,SAAS;gBACvC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;gBAC5D,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAY,CAAC;oBACxE,sEAAsE;oBACtE,MAAM,UAAU,GAAG,4BAA4B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;oBACtE,MAAM,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAA4B,CAAC;oBACrD,MAAM,CAAC,IAAI,CACT,OAAO,CACL,QAAQ,EACR,SAAS,EACT,gBAAgB,EAChB;wBACE,KAAK,EAAE,SAAS;wBAChB,EAAE,EAAE,UAAU,CAAC,KAAK;wBACpB,IAAI,EAAE,UAAU;wBAChB,aAAa,EAAE,CAAC,CAAC,aAAa;wBAC9B,aAAa,EAAE,CAAC,CAAC,aAAa;wBAC9B,wBAAwB,EAAE,CAAC,CAAC,wBAAwB;wBACpD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,EACD,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAC9D,CACF,CAAC;gBACJ,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,CAAC,IAAI,CACT,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE;wBAC3C,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAG,GAAa,CAAC,OAAO;qBAC9B,CAAC,CACH,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;QAC3D,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/monitor/config.d.ts

@@ -0,0 +1,16 @@
+/** forge/config.yaml 的绝对路径(cwd=项目根约定,对齐 config 命令,spec §9 G-9) */
+export declare function monitorConfigPath(projectRoot: string): string;
+/**
+ * 读路径:任何异常(缺失 / 损坏 / 缺段)一律返回 false,绝不抛(spec §3.1)。
+ * 同步实现 —— exit 处理器与 CLI 子命令都可调。
+ */
+export declare function isMonitorEnabled(projectRoot: string): boolean;
+/**
+ * 写路径:fail-fast(spec §3.1 G-8)。
+ * - config 不存在 → 报错提示先 forge init(不自行造 config)。
+ * - config 损坏 → 报错 abort(不静默覆盖损坏文件)。
+ * 正常路径 read-modify-write,保留其它字段值(注释/格式不保留,与 `forge config set` 一致)。
+ * monitor 段内部也走 spread 合并,保留 monitor 对象的其它字段。
+ */
+export declare function setMonitorEnabled(projectRoot: string, enabled: boolean): void;
+//# sourceMappingURL=config.d.ts.map

package/dist/core/monitor/config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../../src/core/monitor/config.ts"],"names":[],"mappings":"AAOA,kEAAkE;AAClE,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE7D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAS7D;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAa7E"}

package/dist/core/monitor/config.js

@@ -0,0 +1,48 @@
+// src/core/monitor/config.ts — monitor 开关读写(spec §3.1)
+import { existsSync, readFileSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { stringify as stringifyYAML } from 'yaml';
+import { parseConfig } from '../parse/index.js';
+/** forge/config.yaml 的绝对路径(cwd=项目根约定,对齐 config 命令,spec §9 G-9) */
+export function monitorConfigPath(projectRoot) {
+    return join(projectRoot, 'forge', 'config.yaml');
+}
+/**
+ * 读路径:任何异常(缺失 / 损坏 / 缺段)一律返回 false,绝不抛(spec §3.1)。
+ * 同步实现 —— exit 处理器与 CLI 子命令都可调。
+ */
+export function isMonitorEnabled(projectRoot) {
+    try {
+        const path = monitorConfigPath(projectRoot);
+        if (!existsSync(path))
+            return false;
+        const config = parseConfig(readFileSync(path, 'utf8'));
+        return config.monitor?.enabled === true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * 写路径:fail-fast(spec §3.1 G-8)。
+ * - config 不存在 → 报错提示先 forge init(不自行造 config)。
+ * - config 损坏 → 报错 abort(不静默覆盖损坏文件)。
+ * 正常路径 read-modify-write,保留其它字段值(注释/格式不保留,与 `forge config set` 一致)。
+ * monitor 段内部也走 spread 合并,保留 monitor 对象的其它字段。
+ */
+export function setMonitorEnabled(projectRoot, enabled) {
+    const path = monitorConfigPath(projectRoot);
+    if (!existsSync(path)) {
+        throw new Error(`forge/config.yaml 不存在(${path})—— 先跑 \`forge init\` 初始化项目`);
+    }
+    let config;
+    try {
+        config = parseConfig(readFileSync(path, 'utf8'));
+    }
+    catch (err) {
+        throw new Error(`forge/config.yaml 解析失败,拒绝覆盖:${err.message}`);
+    }
+    config.monitor = { ...config.monitor, enabled };
+    writeFileSync(path, stringifyYAML(config), 'utf8');
+}
+//# sourceMappingURL=config.js.map

package/dist/core/monitor/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../src/core/monitor/config.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,kEAAkE;AAClE,MAAM,UAAU,iBAAiB,CAAC,WAAmB;IACnD,OAAO,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAAmB;IAClD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACpC,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,OAAO,MAAM,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAAgB;IACrE,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,6BAA6B,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,MAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,+BAAgC,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,CAAC,OAAO,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;IAChD,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC"}

package/dist/core/monitor/divergence-map.d.ts

@@ -0,0 +1,5 @@
+import type { DivergenceMap, DivergenceScenario } from './types.js';
+export declare const DIVERGENCE_MAP: DivergenceMap;
+/** 按 scenario_id 查询 */
+export declare function findScenario(id: string): DivergenceScenario | undefined;
+//# sourceMappingURL=divergence-map.d.ts.map

package/dist/core/monitor/divergence-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"divergence-map.d.ts","sourceRoot":"","sources":["../../../src/core/monitor/divergence-map.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEpE,eAAO,MAAM,cAAc,EAAE,aA0G5B,CAAC;AAEF,uBAAuB;AACvB,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAEvE"}

package/dist/core/monitor/divergence-map.js

@@ -0,0 +1,92 @@
+export const DIVERGENCE_MAP = {
+    meta: {
+        schema: 'forge-monitor-divergence-map/v1',
+        // 挖掘时两上游仓的实际 commit(git -C ../OpenSpec / ../superpowers rev-parse --short HEAD)
+        synced_against: { openspec: '435458b', superpowers: 'e7a2d16' },
+        synced_at: '2026-05-16',
+    },
+    scenarios: [
+        // ── brainstorm ────────────────────────────────────────────────────────
+        {
+            stage: 'brainstorm',
+            scenario_id: 'brainstorm-one-line-need',
+            desc: '用户给一句话需求(如「加个 todo list」),要不要先问澄清问题再动手?',
+            openspec: 'openspec change new 仅 scaffold 出 change 目录骨架,无强制澄清问答,直接进产物起草',
+            superpowers: 'brainstorming skill 有 HARD-GATE + 逐个澄清问答 checklist,但属 skill 行为约束,无机器 fence 兜底',
+            forge: 'forge:brainstorming skill 强制逐个提问 + 「禁止行为」明令即使用户说「我想清楚了」也不许跳过问答,产物只能落 forge/drafts/',
+            rationale: '反向加固 —— 防 AI 拿一句话需求当完整 spec、跳过澄清直接写代码',
+            regression_signal: 'brainstorm 阶段 trace 无 clarifying-question 事件、直接出现 draft/artifact 写入 → forge 塌回 OpenSpec 无澄清基线',
+        },
+        // ── propose ───────────────────────────────────────────────────────────
+        {
+            stage: 'propose',
+            scenario_id: 'propose-artifact-completeness',
+            desc: 'proposal 写完了,specs/design/tasks 还没补齐,要不要就这样进 apply?',
+            openspec: 'openspec 产物按 artifact-graph 逐件生成,validate 做结构校验但不阻塞流程推进,缺件可继续',
+            superpowers: 'writing-plans skill 产计划文档并自检 placeholder,但无四件套强校验,scope 解耦靠人把关',
+            forge: 'propose 末尾强制跑 forge validate <id> 校验 proposal+specs+design+tasks 四件套齐全 + 三段 scope anchor,失败回补不留半成品',
+            rationale: '反向加固 —— 防 AI 只写 proposal 就推进、留不完整产物拖到后续阶段',
+            regression_signal: 'propose 阶段 trace 无 forge-validate 通过事件、或 validate exit_code≠0 仍进 apply → forge 塌回 OpenSpec 弱校验基线',
+        },
+        // ── apply ─────────────────────────────────────────────────────────────
+        {
+            stage: 'apply',
+            scenario_id: 'apply-out-of-scope-finding',
+            desc: '子代理实施中发现一个本 change 没覆盖、但相关的需求,要不要顺手做掉?',
+            openspec: 'openspec 无子代理派发协议,实施由单一代理顺序跑,scope 外发现多半被就地吸收进当前改动',
+            superpowers: 'subagent-driven-development 派 fresh 子代理逐 task 实施,但 scope 外发现的处置靠主代理判断,无强制四选项',
+            forge: 'apply 的 Fluid Pause:子代理报非 CRITICAL concern 时主代理停下走 AskUserQuestion 四选项(扩 scope/加 task/转 out-of-scope/Other),决策写 marker pause_decisions',
+            rationale: '反向加固 —— 防 AI 子代理擅自扩 scope、把计划外改动悄悄塞进当前 change',
+            regression_signal: 'apply 阶段 trace 出现 scope 外 commit 但无 fluid-pause / pause_decision 事件 → forge 塌回 superpowers 无强制暂停基线',
+        },
+        // ── review ────────────────────────────────────────────────────────────
+        {
+            stage: 'review',
+            scenario_id: 'review-finding-severity-ack',
+            desc: 'review 子代理报了一条意见,主代理觉得不重要,要不要直接略过?',
+            openspec: 'openspec 无独立 review 阶段,正确性靠 validate + 人工把关,review finding 无 severity 分级与签收',
+            superpowers: 'requesting-code-review 派 code-reviewer 子代理并分 Critical/Important/Minor,但接受/反驳由主代理自由裁量,无存档强制',
+            forge: 'review finding 带严重度分级,主代理逐条判接受/拒绝,拒绝须证据存档;仅「无未存档拒绝 + 接受项全实现测试通过 + 本轮无新 task」三条件齐才打 .review-passed',
+            rationale: '反向加固 —— 防 AI 主代理无证据略过 review 意见、草率打 review-passed marker',
+            regression_signal: 'review 阶段 trace 有 reviewer finding 但无对应 accept/reject 记录,或 .review-passed 在仍有 finding 未处置时落地 → forge 塌回 superpowers 自由裁量基线',
+        },
+        // ── verify ────────────────────────────────────────────────────────────
+        {
+            stage: 'verify',
+            scenario_id: 'verify-tests-green',
+            desc: '测试全 pass,要不要继续深挖?',
+            openspec: '无强 verify 阶段,验证靠 review,≈ 弱/无对应',
+            superpowers: 'verification-before-completion:跑验证命令、确认输出;pass 即可声明完成',
+            forge: 'verifying-three-dimensions:测试 pass 只是 Correctness 一维;还需 Completeness + Coherence',
+            rationale: '反向加固 —— 防 AI 拿「测试绿」当完工',
+            regression_signal: 'verify 阶段 trace 只有 Correctness 维度 record,缺 Completeness/Coherence → forge 塌回 superpowers 基线',
+        },
+        // ── archive ───────────────────────────────────────────────────────────
+        {
+            stage: 'archive',
+            scenario_id: 'archive-unresolved-warning',
+            desc: 'review 留了个未解决 WARNING,要不要归档?',
+            openspec: 'openspec archive 无 severity 分级 fence → 多半放行',
+            superpowers: 'finishing-a-development-branch:给 merge/PR/cleanup 选项,不强制 finding 解决',
+            forge: '三级 fence:WARNING 未 resolve 且无 ack → 拒签 exit 1',
+            rationale: '反向加固 —— 强 fence 防偷懒归档',
+            regression_signal: 'archive 在有未 ack WARNING 时 cli_exit.exit_code=0 → 回归',
+        },
+        // ── explore ───────────────────────────────────────────────────────────
+        {
+            stage: 'explore',
+            scenario_id: 'explore-capture-conclusion',
+            desc: '一轮探索想出了结论,要不要顺手把结论写进 design/proposal 产物?',
+            openspec: 'openspec 探索能力弱,无显式 explore 阶段;探索心得多半直接被吸收进产物或散落上下文',
+            superpowers: 'superpowers 无 exploring skill,非线性探索靠 brainstorming/systematic-debugging 边角覆盖,结论落点无约束',
+            forge: 'forge:exploring skill 强制末尾输出 ## Exploration Summary 收尾、capture offer 必须给具体 file:section,且禁止 explore turn 内直接 Write/Edit 改 forge/changes/* 产物',
+            rationale: '反向加固 —— 防 AI 探索完无结论、或绕开用户确认直接把探索改动塞进产物',
+            regression_signal: 'explore 阶段 trace 出现 forge/changes/* 产物写入但无 capture-offer + 用户确认事件,或无 exploration-summary 收尾 → forge 塌回上游无约束基线',
+        },
+    ],
+};
+/** 按 scenario_id 查询 */
+export function findScenario(id) {
+    return DIVERGENCE_MAP.scenarios.find((s) => s.scenario_id === id);
+}
+//# sourceMappingURL=divergence-map.js.map

package/dist/core/monitor/divergence-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"divergence-map.js","sourceRoot":"","sources":["../../../src/core/monitor/divergence-map.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,cAAc,GAAkB;IAC3C,IAAI,EAAE;QACJ,MAAM,EAAE,iCAAiC;QACzC,gFAAgF;QAChF,cAAc,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE;QAC/D,SAAS,EAAE,YAAY;KACxB;IACD,SAAS,EAAE;QACT,yEAAyE;QACzE;YACE,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,0BAA0B;YACvC,IAAI,EAAE,yCAAyC;YAC/C,QAAQ,EAAE,8DAA8D;YACxE,WAAW,EACT,+EAA+E;YACjF,KAAK,EACH,oFAAoF;YACtF,SAAS,EAAE,uCAAuC;YAClD,iBAAiB,EACf,+FAA+F;SAClG;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,+BAA+B;YAC5C,IAAI,EAAE,qDAAqD;YAC3D,QAAQ,EACN,+DAA+D;YACjE,WAAW,EACT,gEAAgE;YAClE,KAAK,EACH,oGAAoG;YACtG,SAAS,EAAE,2CAA2C;YACtD,iBAAiB,EACf,kGAAkG;SACrG;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,OAAO;YACd,WAAW,EAAE,4BAA4B;YACzC,IAAI,EAAE,wCAAwC;YAC9C,QAAQ,EACN,oDAAoD;YACtD,WAAW,EACT,8EAA8E;YAChF,KAAK,EACH,wIAAwI;YAC1I,SAAS,EAAE,+CAA+C;YAC1D,iBAAiB,EACf,oGAAoG;SACvG;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,QAAQ;YACf,WAAW,EAAE,6BAA6B;YAC1C,IAAI,EAAE,oCAAoC;YAC1C,QAAQ,EACN,6EAA6E;YAC/E,WAAW,EACT,4FAA4F;YAC9F,KAAK,EACH,mGAAmG;YACrG,SAAS,EAAE,0DAA0D;YACrE,iBAAiB,EACf,4HAA4H;SAC/H;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,QAAQ;YACf,WAAW,EAAE,oBAAoB;YACjC,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,iCAAiC;YAC3C,WAAW,EAAE,uDAAuD;YACpE,KAAK,EACH,kFAAkF;YACpF,SAAS,EAAE,wBAAwB;YACnC,iBAAiB,EACf,6FAA6F;SAChG;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,4BAA4B;YACzC,IAAI,EAAE,8BAA8B;YACpC,QAAQ,EAAE,6CAA6C;YACvD,WAAW,EAAE,qEAAqE;YAClF,KAAK,EAAE,+CAA+C;YACtD,SAAS,EAAE,uBAAuB;YAClC,iBAAiB,EAAE,qDAAqD;SACzE;QACD,yEAAyE;QACzE;YACE,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,4BAA4B;YACzC,IAAI,EAAE,0CAA0C;YAChD,QAAQ,EAAE,oDAAoD;YAC9D,WAAW,EACT,sFAAsF;YACxF,KAAK,EACH,8IAA8I;YAChJ,SAAS,EAAE,wCAAwC;YACnD,iBAAiB,EACf,+GAA+G;SAClH;KACF;CACF,CAAC;AAEF,uBAAuB;AACvB,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;AACpE,CAAC"}

package/dist/core/monitor/exit-handler.d.ts

@@ -0,0 +1,6 @@
+/**
+ * exit 处理器的可测逻辑:config 守卫 + 跳过自身 + 绝不抛(spec §4 约束 1/3/4)。
+ * `process.on('exit')` 注册体只调本函数。
+ */
+export declare function maybeRecordCliExit(projectRoot: string, argv: string[], exitCode: number): void;
+//# sourceMappingURL=exit-handler.d.ts.map

package/dist/core/monitor/exit-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exit-handler.d.ts","sourceRoot":"","sources":["../../../src/core/monitor/exit-handler.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAc9F"}

package/dist/core/monitor/exit-handler.js

@@ -0,0 +1,27 @@
+// src/core/monitor/exit-handler.ts — exit 处理器逻辑(spec §4)
+import { isMonitorEnabled } from './config.js';
+import { recordCliExit } from './trace-store.js';
+/**
+ * exit 处理器的可测逻辑:config 守卫 + 跳过自身 + 绝不抛(spec §4 约束 1/3/4)。
+ * `process.on('exit')` 注册体只调本函数。
+ */
+export function maybeRecordCliExit(projectRoot, argv, exitCode) {
+    try {
+        if (!Array.isArray(argv))
+            return;
+        if (argv[0] === 'monitor')
+            return; // 跳过自身,避免噪声/递归
+        if (!isMonitorEnabled(projectRoot))
+            return; // config 守卫:关闭即返回
+        recordCliExit(projectRoot, {
+            ts: new Date().toISOString(),
+            command: argv,
+            cwd: projectRoot,
+            exit_code: exitCode,
+        });
+    }
+    catch {
+        // 绝不抛 —— 'exit' 处理器抛异常会污染进程退出
+    }
+}
+//# sourceMappingURL=exit-handler.js.map

package/dist/core/monitor/exit-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exit-handler.js","sourceRoot":"","sources":["../../../src/core/monitor/exit-handler.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAmB,EAAE,IAAc,EAAE,QAAgB;IACtF,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO;QACjC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,eAAe;QAClD,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAAE,OAAO,CAAC,kBAAkB;QAC9D,aAAa,CAAC,WAAW,EAAE;YACzB,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YAC5B,OAAO,EAAE,IAAI;YACb,GAAG,EAAE,WAAW;YAChB,SAAS,EAAE,QAAQ;SACpB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;AACH,CAAC"}

package/dist/core/monitor/health-verdict.d.ts

@@ -0,0 +1,9 @@
+import { type TraceEvent, type HealthVerdict } from './types.js';
+/**
+ * 计算健康裁决。只做 spec §10.1 列的「可机检」项:
+ * - regression:hardening_step.executed === false(加固步骤未执行)。
+ * - anomaly:某阶段有 CLI 事件但完全无 AI stage_enter(AI trace 缺该阶段)。
+ * 语义细微的 regression_signal 不在此机评,交报告并排呈现给人判。
+ */
+export declare function computeVerdict(events: TraceEvent[]): HealthVerdict;
+//# sourceMappingURL=health-verdict.d.ts.map

package/dist/core/monitor/health-verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"health-verdict.d.ts","sourceRoot":"","sources":["../../../src/core/monitor/health-verdict.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,aAAa,EAGnB,MAAM,YAAY,CAAC;AAKpB;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,aAAa,CA2ClE"}

package/dist/core/monitor/health-verdict.js

@@ -0,0 +1,55 @@
+// src/core/monitor/health-verdict.ts — 健康裁决(spec §10.1:只做可机检的判定)
+import { COMPARABLE_STAGES, } from './types.js';
+/** 可对比阶段集合 —— check 2 只对它们判 AI trace 缺失(forge 专属阶段 CLI-only,不判) */
+const COMPARABLE_STAGE_SET = new Set(COMPARABLE_STAGES);
+/**
+ * 计算健康裁决。只做 spec §10.1 列的「可机检」项:
+ * - regression:hardening_step.executed === false(加固步骤未执行)。
+ * - anomaly:某阶段有 CLI 事件但完全无 AI stage_enter(AI trace 缺该阶段)。
+ * 语义细微的 regression_signal 不在此机评,交报告并排呈现给人判。
+ */
+export function computeVerdict(events) {
+    const items = [];
+    // 检查 1:加固步骤未执行 → regression
+    for (const e of events) {
+        if (e.layer === 'ai' && e.event === 'hardening_step' && e.data.executed === false) {
+            items.push({
+                kind: 'regression',
+                stage: e.stage,
+                detail: `加固步骤未执行:${String(e.data.step ?? '(未命名)')}`,
+                evidence: `trace ${e.ts} hardening_step executed=false`,
+            });
+        }
+    }
+    // 检查 2:某阶段有 CLI 事件但无 AI stage_enter → anomaly
+    const stagesWithCli = new Set();
+    const stagesWithAiEnter = new Set();
+    for (const e of events) {
+        if (e.layer === 'cli')
+            stagesWithCli.add(e.stage);
+        if (e.layer === 'ai' && e.event === 'stage_enter')
+            stagesWithAiEnter.add(e.stage);
+    }
+    for (const stage of stagesWithCli) {
+        // 只对可对比阶段判 AI trace 缺失;forge 专属阶段(ack-confirm/upgrade/codex-adversarial)
+        // 按 spec §1.3 本就 CLI-only、注入内容不要求 AI record,跳过避免假阳性(M-3)
+        if (!COMPARABLE_STAGE_SET.has(stage))
+            continue;
+        if (!stagesWithAiEnter.has(stage)) {
+            items.push({
+                kind: 'anomaly',
+                stage,
+                detail: `${stage} 阶段有 CLI 事件但缺 AI stage_enter record`,
+                evidence: `${stage} AI trace 不完整(可能漏记或中途启用)`,
+            });
+        }
+    }
+    // 计算最终 level:如果有 regression 则为 regression,否则有 items 就 anomaly,都没有就 ok
+    const level = items.some((i) => i.kind === 'regression')
+        ? 'regression'
+        : items.length > 0
+            ? 'anomaly'
+            : 'ok';
+    return { level, items };
+}
+//# sourceMappingURL=health-verdict.js.map

package/dist/core/monitor/health-verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"health-verdict.js","sourceRoot":"","sources":["../../../src/core/monitor/health-verdict.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,OAAO,EACL,iBAAiB,GAKlB,MAAM,YAAY,CAAC;AAEpB,mEAAmE;AACnE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAe,iBAAiB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,KAAK,GAAkB,EAAE,CAAC;IAEhC,4BAA4B;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAClF,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,MAAM,EAAE,WAAW,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,EAAE;gBACnD,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,gCAAgC;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC9C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAgB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,aAAa;YAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACpF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAClC,yEAAyE;QACzE,yDAAyD;QACzD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC/C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS;gBACf,KAAK;gBACL,MAAM,EAAE,GAAG,KAAK,qCAAqC;gBACrD,QAAQ,EAAE,GAAG,KAAK,0BAA0B;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,MAAM,KAAK,GAA2B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;QAC9E,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC"}

package/dist/core/monitor/report-renderer.d.ts

@@ -0,0 +1,4 @@
+import type { TraceEvent, CliExitRecord } from './types.js';
+/** 渲染某 change 的完整监控报告 markdown */
+export declare function renderReport(changeId: string, events: TraceEvent[], cliExits: CliExitRecord[], now?: string): string;
+//# sourceMappingURL=report-renderer.d.ts.map

package/dist/core/monitor/report-renderer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-renderer.d.ts","sourceRoot":"","sources":["../../../src/core/monitor/report-renderer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAS5D,kCAAkC;AAClC,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,UAAU,EAAE,EACpB,QAAQ,EAAE,aAAa,EAAE,EACzB,GAAG,GAAE,MAAiC,GACrC,MAAM,CAmFR"}

package/dist/core/monitor/report-renderer.js

@@ -0,0 +1,82 @@
+import { computeVerdict } from './health-verdict.js';
+import { DIVERGENCE_MAP, findScenario } from './divergence-map.js';
+/** 净化 markdown 表格单元格:转义管道符、压平换行(防 AI 自由文本破坏表格) */
+function sanitizeCell(s) {
+    return s.replace(/\|/g, '\\|').replace(/\r?\n/g, ' ');
+}
+/** 渲染某 change 的完整监控报告 markdown */
+export function renderReport(changeId, events, cliExits, now = new Date().toISOString()) {
+    const verdict = computeVerdict(events);
+    const lines = [];
+    lines.push(`# Forge 工作流监控报告 — ${changeId}`, '');
+    lines.push(`生成时间:${now}`);
+    lines.push(`差异映射表同步于:${DIVERGENCE_MAP.meta.synced_at}`, '');
+    // ── 1. 健康裁决 ──
+    lines.push('## 1. 健康裁决', '');
+    const levelText = { ok: '✓ OK', regression: '✗ 检出回归', anomaly: '⚠ 检出异常' }[verdict.level];
+    lines.push(`整体:${levelText}`, '');
+    if (verdict.items.length === 0) {
+        lines.push('无命中项。', '');
+    }
+    else {
+        for (const it of verdict.items) {
+            const tag = it.kind === 'regression' ? '回归' : '异常';
+            lines.push(`- [${tag}] (${it.stage}) ${it.detail}`);
+            lines.push(`  证据:${it.evidence}`);
+        }
+        lines.push('');
+    }
+    // ── 2. 阶段时间线 ──
+    lines.push('## 2. 阶段时间线', '');
+    // §2.4:分维度覆盖标注 —— 中途启用监控时各维度覆盖范围不同,如实呈现、不假装完整
+    const markerStages = [...new Set(events.filter((e) => e.layer === 'cli').map((e) => e.stage))];
+    const aiStages = [...new Set(events.filter((e) => e.layer === 'ai').map((e) => e.stage))];
+    const exitCmds = [...new Set(cliExits.map((c) => c.command[0] ?? '?'))];
+    if (events.length > 0 || cliExits.length > 0) {
+        lines.push(`维度覆盖 —— CLI 产物观察: ${markerStages.join(', ') || '(无)'};` +
+            ` AI trace: ${aiStages.join(', ') || '(无)'};` +
+            ` CLI exit: ${exitCmds.join(', ') || '(无)'}`, '');
+    }
+    if (events.length === 0) {
+        lines.push('(无 trace 事件)', '');
+    }
+    else {
+        lines.push('| 时间 | 阶段 | 层 | 事件 |', '| --- | --- | --- | --- |');
+        for (const e of events) {
+            lines.push(`| ${e.ts} | ${e.stage} | ${e.layer} | ${sanitizeCell(e.event)} |`);
+        }
+        lines.push('');
+    }
+    if (cliExits.length > 0) {
+        lines.push('CLI exit 记录:');
+        for (const c of cliExits) {
+            lines.push(`- ${c.ts} \`forge ${c.command.join(' ')}\` → exit ${c.exit_code}`);
+        }
+        lines.push('');
+    }
+    // ── 3. 三方对比表 ──
+    lines.push('## 3. 三方对比表(Forge vs OpenSpec vs Superpowers)', '');
+    lines.push('| scenario | forge 实际走法 | openspec | superpowers | 加固守住? |', '| --- | --- | --- | --- | --- |');
+    const decisions = events.filter((e) => e.layer === 'ai' && e.event === 'decision');
+    if (decisions.length === 0) {
+        lines.push('| (无 decision record) | — | — | — | — |');
+    }
+    else {
+        for (const d of decisions) {
+            const sidRaw = String(d.data.scenario_id ?? '');
+            const chosen = sanitizeCell(String(d.data.chosen ?? '(未记录)'));
+            const sc = findScenario(sidRaw);
+            lines.push(`| ${sanitizeCell(sidRaw)} | ${chosen} | ${sanitizeCell(sc?.openspec ?? '?')} | ${sanitizeCell(sc?.superpowers ?? '?')} | ? |`);
+        }
+    }
+    lines.push('');
+    lines.push('> `加固守住?` 列填 `?` 的需人工对照 `regression_signal` 判定(spec §10.1)。', '');
+    // ── 4. 附录 ──
+    lines.push('## 4. 附录:原始 trace', '');
+    lines.push('```jsonl');
+    for (const e of events)
+        lines.push(JSON.stringify(e));
+    lines.push('```', '');
+    return lines.join('\n');
+}
+//# sourceMappingURL=report-renderer.js.map

package/dist/core/monitor/report-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-renderer.js","sourceRoot":"","sources":["../../../src/core/monitor/report-renderer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnE,kDAAkD;AAClD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,kCAAkC;AAClC,MAAM,UAAU,YAAY,CAC1B,QAAgB,EAChB,MAAoB,EACpB,QAAyB,EACzB,MAAc,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAEtC,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,qBAAqB,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,YAAY,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAE5D,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAClC,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,iBAAiB;IACjB,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC9B,8CAA8C;IAC9C,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,qBAAqB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG;YACtD,cAAc,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG;YAC7C,cAAc,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,EAC9C,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,2BAA2B,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,MAAM,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,iBAAiB;IACjB,KAAK,CAAC,IAAI,CAAC,+CAA+C,EAAE,EAAE,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CACR,4DAA4D,EAC5D,iCAAiC,CAClC,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IACnF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACxD,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC;YAC9D,MAAM,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CACR,KAAK,YAAY,CAAC,MAAM,CAAC,MAAM,MAAM,MAAM,YAAY,CAAC,EAAE,EAAE,QAAQ,IAAI,GAAG,CAAC,MAAM,YAAY,CAAC,EAAE,EAAE,WAAW,IAAI,GAAG,CAAC,QAAQ,CAC/H,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,6DAA6D,EAAE,EAAE,CAAC,CAAC;IAE9E,cAAc;IACd,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAEtB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}