@accelerator-mzq/forge 1.4.0

package/dist/core/validate/marker-integrity.js

@@ -0,0 +1,170 @@
+// marker integrity 验证 — Plan 3 reviewer P1.2 + P1.3
+// archive 命令调用,做 schema 校验之外的"内容真实性"验证
+import { existsSync } from 'node:fs';
+import { readFile } from 'node:fs/promises';
+import { join, dirname } from 'node:path';
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+import { computeLogHash, computeDiffHash } from '../hash/index.js';
+import { ok, failed, mergeResults } from './types.js';
+const execFileAsync = promisify(execFile);
+/**
+ * 验证 verify marker 的 evidence 完整性(P1.2)。
+ * 每条 evidence:
+ *   - log_path(相对 marker 文件目录)必须存在
+ *   - log 文件字节 SHA256 必须等于 log_hash
+ *   - pass 必须为 true
+ */
+export async function validateEvidence(marker, markerPath) {
+    const evidence = marker['evidence'];
+    if (!Array.isArray(evidence)) {
+        return failed({
+            artifact: 'marker',
+            field: 'evidence',
+            message: 'must be array',
+            file: markerPath,
+        });
+    }
+    const markerDir = dirname(markerPath);
+    const results = [];
+    for (let i = 0; i < evidence.length; i++) {
+        const e = evidence[i];
+        const logPath = e['log_path'];
+        const expectedHash = e['log_hash'];
+        const pass = e['pass'];
+        // log_path 是相对 marker 目录的路径
+        const absLogPath = join(markerDir, logPath);
+        if (!existsSync(absLogPath)) {
+            results.push(failed({
+                artifact: 'marker',
+                field: `evidence[${i}].log_path`,
+                message: `log 文件不存在: ${absLogPath}`,
+                file: markerPath,
+            }));
+            continue; // 文件不存在,跳过后续验证
+        }
+        // 字节级 SHA256 校验
+        const actualHash = await computeLogHash(absLogPath);
+        if (actualHash !== expectedHash) {
+            results.push(failed({
+                artifact: 'marker',
+                field: `evidence[${i}].log_hash`,
+                message: `期望 ${expectedHash},实际 ${actualHash}(log 已修改或损坏)`,
+                file: markerPath,
+            }));
+        }
+        // pass 必须为 true
+        if (pass !== true) {
+            results.push(failed({
+                artifact: 'marker',
+                field: `evidence[${i}].pass`,
+                message: 'must be true(失败的测试不能进 verify-passed)',
+                file: markerPath,
+            }));
+        }
+    }
+    return results.length === 0 ? ok() : mergeResults(...results);
+}
+/**
+ * 验证 review marker 的 git 完整性(P1.3)。
+ * 仅在 git.is_git_repo === true 时验证;非 git 由调用方决定是否 --force。
+ *
+ * 验证项:
+ *   - 重算 git.head(`git rev-parse HEAD`)与 marker 中的 head 比对
+ *   - 重算 git.diff_hash(用 marker 中的 diff_pathspec)与 marker 中的 diff_hash 比对
+ */
+export async function validateReviewGitIntegrity(marker, repoRoot, markerPath) {
+    const git = marker['git'];
+    if (!git || git['is_git_repo'] !== true) {
+        // non-git 不在这里验证(由 archive 命令决定 --force)
+        return ok();
+    }
+    // 重算 git.head
+    let actualHead;
+    try {
+        const { stdout } = await execFileAsync('git', ['rev-parse', 'HEAD'], {
+            cwd: repoRoot,
+            encoding: 'utf8',
+        });
+        actualHead = stdout.trim();
+    }
+    catch (err) {
+        return failed({
+            artifact: 'marker',
+            field: 'git.head',
+            message: `git rev-parse HEAD 失败: ${err.message}`,
+            file: markerPath,
+        });
+    }
+    if (actualHead !== git['head']) {
+        return failed({
+            artifact: 'marker',
+            field: 'git.head',
+            message: `期望 ${String(git['head'])},实际 ${actualHead}(代码已 commit / HEAD 已变)`,
+            file: markerPath,
+        });
+    }
+    // 重算 diff_hash,使用 marker 自身的 pathspec
+    const ps = git['diff_pathspec'];
+    let actualDiffHash;
+    try {
+        actualDiffHash = await computeDiffHash(repoRoot, { include: ps.include, exclude: ps.exclude });
+    }
+    catch (err) {
+        return failed({
+            artifact: 'marker',
+            field: 'git.diff_hash',
+            message: `计算 diff_hash 失败: ${err.message}`,
+            file: markerPath,
+        });
+    }
+    if (actualDiffHash !== git['diff_hash']) {
+        return failed({
+            artifact: 'marker',
+            field: 'git.diff_hash',
+            message: `期望 ${String(git['diff_hash'])},实际 ${actualDiffHash}(workspace 代码已改动)`,
+            file: markerPath,
+        });
+    }
+    return ok();
+}
+/**
+ * 验证 review_outcomes(P1.3 子项)。
+ * 每条 accepted=true 必须 resolved=true。
+ */
+export function validateReviewOutcomes(marker, markerPath) {
+    const outcomes = marker['review_outcomes'];
+    if (!Array.isArray(outcomes)) {
+        return failed({
+            artifact: 'marker',
+            field: 'review_outcomes',
+            message: 'must be array',
+            file: markerPath,
+        });
+    }
+    const results = [];
+    for (let i = 0; i < outcomes.length; i++) {
+        const o = outcomes[i];
+        if (o['accepted'] === true && o['resolved'] !== true) {
+            results.push(failed({
+                artifact: 'marker',
+                field: `review_outcomes[${i}].resolved`,
+                message: 'accepted=true 必须 resolved=true(spec §3.1 T4)',
+                file: markerPath,
+            }));
+        }
+    }
+    return results.length === 0 ? ok() : mergeResults(...results);
+}
+/**
+ * 读取文件内容,用于内容比对(P2.2 recover case B 校验)。
+ */
+export async function readFileContent(filePath) {
+    try {
+        return await readFile(filePath, 'utf8');
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=marker-integrity.js.map

package/dist/core/validate/marker-integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker-integrity.js","sourceRoot":"","sources":["../../../src/core/validate/marker-integrity.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,uCAAuC;AAEvC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAyB,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE7E,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAA+B,EAC/B,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,eAAe;YACxB,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAA4B,CAAC;QACjD,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,CAAW,CAAC;QACxC,MAAM,YAAY,GAAG,CAAC,CAAC,UAAU,CAAW,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAEvB,4BAA4B;QAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,YAAY,CAAC,YAAY;gBAChC,OAAO,EAAE,cAAc,UAAU,EAAE;gBACnC,IAAI,EAAE,UAAU;aACjB,CAAC,CACH,CAAC;YACF,SAAS,CAAC,eAAe;QAC3B,CAAC;QAED,gBAAgB;QAChB,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,YAAY,CAAC,YAAY;gBAChC,OAAO,EAAE,MAAM,YAAY,OAAO,UAAU,cAAc;gBAC1D,IAAI,EAAE,UAAU;aACjB,CAAC,CACH,CAAC;QACJ,CAAC;QAED,gBAAgB;QAChB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,YAAY,CAAC,QAAQ;gBAC5B,OAAO,EAAE,sCAAsC;gBAC/C,IAAI,EAAE,UAAU;aACjB,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,MAA+B,EAC/B,QAAgB,EAChB,UAAkB;IAElB,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAA4B,CAAC;IACrD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,yCAAyC;QACzC,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;IAED,cAAc;IACd,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE;YACnE,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;YAC3D,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,UAAU;YACjB,OAAO,EAAE,MAAM,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,UAAU,wBAAwB;YAC3E,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IAED,sCAAsC;IACtC,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAA6C,CAAC;IAC5E,IAAI,cAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACjG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,oBAAqB,GAAa,CAAC,OAAO,EAAE;YACrD,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,cAAc,KAAK,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACxC,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,MAAM,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,OAAO,cAAc,mBAAmB;YAC/E,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,EAAE,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAA+B,EAC/B,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC;YACZ,QAAQ,EAAE,QAAQ;YAClB,KAAK,EAAE,iBAAiB;YACxB,OAAO,EAAE,eAAe;YACxB,IAAI,EAAE,UAAU;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAA4B,CAAC;QACjD,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC;gBACL,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,mBAAmB,CAAC,YAAY;gBACvC,OAAO,EAAE,8CAA8C;gBACvD,IAAI,EAAE,UAAU;aACjB,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB;IACpD,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/core/validate/marker-schema.d.ts

@@ -0,0 +1,10 @@
+import type { AnyMarker } from '../markers/index.js';
+import { type ValidationResult } from './types.js';
+/**
+ * 校验 marker 对象的 schema 合法性。
+ * @param m - 已解析的 marker 对象(AnyMarker 或 unknown)
+ * @param file - 可选:来源文件路径,用于错误报告
+ */
+export declare function validateMarkerSchema(m: unknown, file?: string): ValidationResult;
+export type { AnyMarker };
+//# sourceMappingURL=marker-schema.d.ts.map

package/dist/core/validate/marker-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"marker-schema.d.ts","sourceRoot":"","sources":["../../../src/core/validate/marker-schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,KAAK,gBAAgB,EAA4B,MAAM,YAAY,CAAC;AAiD7E;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CA8FhF;AA+mBD,YAAY,EAAE,SAAS,EAAE,CAAC"}