@jeger-ai/opengantry 3.2.5 → 3.2.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +3 -3
- package/dist/cli/commands/events-push.d.ts +9 -0
- package/dist/cli/commands/events-push.d.ts.map +1 -0
- package/dist/cli/commands/events-push.js +84 -0
- package/dist/cli/commands/events-push.js.map +1 -0
- package/dist/cli/commands/report.d.ts +8 -0
- package/dist/cli/commands/report.d.ts.map +1 -0
- package/dist/cli/commands/report.js +23 -0
- package/dist/cli/commands/report.js.map +1 -0
- package/dist/cli/commands/tmvc-guard.d.ts.map +1 -1
- package/dist/cli/commands/tmvc-guard.js +20 -0
- package/dist/cli/commands/tmvc-guard.js.map +1 -1
- package/dist/cli/commands/verify.d.ts.map +1 -1
- package/dist/cli/commands/verify.js +28 -0
- package/dist/cli/commands/verify.js.map +1 -1
- package/dist/cli/kernel.d.ts +1 -1
- package/dist/cli/kernel.d.ts.map +1 -1
- package/dist/cli/lib/atomic-fs.d.ts +3 -0
- package/dist/cli/lib/atomic-fs.d.ts.map +1 -1
- package/dist/cli/lib/atomic-fs.js +39 -0
- package/dist/cli/lib/atomic-fs.js.map +1 -1
- package/dist/cli/lib/constants.d.ts +2 -0
- package/dist/cli/lib/constants.d.ts.map +1 -1
- package/dist/cli/lib/constants.js +2 -0
- package/dist/cli/lib/constants.js.map +1 -1
- package/dist/cli/lib/context-feed-remediation.d.ts +2 -2
- package/dist/cli/lib/context-feed-remediation.d.ts.map +1 -1
- package/dist/cli/lib/context-feed-remediation.js +28 -26
- package/dist/cli/lib/context-feed-remediation.js.map +1 -1
- package/dist/cli/lib/context-feed-store.d.ts +10 -2
- package/dist/cli/lib/context-feed-store.d.ts.map +1 -1
- package/dist/cli/lib/context-feed-store.js +8 -28
- package/dist/cli/lib/context-feed-store.js.map +1 -1
- package/dist/cli/lib/event-spool.d.ts +17 -0
- package/dist/cli/lib/event-spool.d.ts.map +1 -0
- package/dist/cli/lib/event-spool.js +57 -0
- package/dist/cli/lib/event-spool.js.map +1 -0
- package/dist/cli/lib/gate-log-writer.d.ts +5 -0
- package/dist/cli/lib/gate-log-writer.d.ts.map +1 -0
- package/dist/cli/lib/gate-log-writer.js +29 -0
- package/dist/cli/lib/gate-log-writer.js.map +1 -0
- package/dist/cli/lib/git-metrics.d.ts +12 -0
- package/dist/cli/lib/git-metrics.d.ts.map +1 -1
- package/dist/cli/lib/git-metrics.js +34 -11
- package/dist/cli/lib/git-metrics.js.map +1 -1
- package/dist/cli/lib/gxt-error-codes.d.ts +1 -0
- package/dist/cli/lib/gxt-error-codes.d.ts.map +1 -1
- package/dist/cli/lib/gxt-error-codes.js +1 -0
- package/dist/cli/lib/gxt-error-codes.js.map +1 -1
- package/dist/cli/lib/ingest-wait.d.ts +21 -0
- package/dist/cli/lib/ingest-wait.d.ts.map +1 -0
- package/dist/cli/lib/ingest-wait.js +24 -0
- package/dist/cli/lib/ingest-wait.js.map +1 -0
- package/dist/cli/lib/report-demo-fixtures.d.ts +8 -0
- package/dist/cli/lib/report-demo-fixtures.d.ts.map +1 -0
- package/dist/cli/lib/report-demo-fixtures.js +48 -0
- package/dist/cli/lib/report-demo-fixtures.js.map +1 -0
- package/dist/cli/lib/report-demo-mode.d.ts +8 -0
- package/dist/cli/lib/report-demo-mode.d.ts.map +1 -0
- package/dist/cli/lib/report-demo-mode.js +33 -0
- package/dist/cli/lib/report-demo-mode.js.map +1 -0
- package/dist/cli/lib/report-overview-projector.d.ts +53 -0
- package/dist/cli/lib/report-overview-projector.d.ts.map +1 -0
- package/dist/cli/lib/report-overview-projector.js +179 -0
- package/dist/cli/lib/report-overview-projector.js.map +1 -0
- package/dist/cli/lib/report-projector.d.ts +60 -0
- package/dist/cli/lib/report-projector.d.ts.map +1 -0
- package/dist/cli/lib/report-projector.js +166 -0
- package/dist/cli/lib/report-projector.js.map +1 -0
- package/dist/cli/lib/report-server.d.ts +20 -0
- package/dist/cli/lib/report-server.d.ts.map +1 -0
- package/dist/cli/lib/report-server.js +221 -0
- package/dist/cli/lib/report-server.js.map +1 -0
- package/dist/cli/lib/report-template-css.d.ts +4 -0
- package/dist/cli/lib/report-template-css.d.ts.map +1 -0
- package/dist/cli/lib/report-template-css.js +196 -0
- package/dist/cli/lib/report-template-css.js.map +1 -0
- package/dist/cli/lib/report-template-html.d.ts +6 -0
- package/dist/cli/lib/report-template-html.d.ts.map +1 -0
- package/dist/cli/lib/report-template-html.js +189 -0
- package/dist/cli/lib/report-template-html.js.map +1 -0
- package/dist/cli/lib/report-template-overview.d.ts +3 -0
- package/dist/cli/lib/report-template-overview.d.ts.map +1 -0
- package/dist/cli/lib/report-template-overview.js +200 -0
- package/dist/cli/lib/report-template-overview.js.map +1 -0
- package/dist/cli/lib/report-template-shared.d.ts +8 -0
- package/dist/cli/lib/report-template-shared.d.ts.map +1 -0
- package/dist/cli/lib/report-template-shared.js +52 -0
- package/dist/cli/lib/report-template-shared.js.map +1 -0
- package/dist/cli/lib/runtime-exec.d.ts.map +1 -1
- package/dist/cli/lib/runtime-exec.js +1 -1
- package/dist/cli/lib/runtime-exec.js.map +1 -1
- package/dist/cli/lib/telemetry-log.d.ts +1 -1
- package/dist/cli/lib/telemetry-log.d.ts.map +1 -1
- package/dist/cli/lib/telemetry-log.js +14 -1
- package/dist/cli/lib/telemetry-log.js.map +1 -1
- package/dist/cli/lib/verify-engine.d.ts +6 -2
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +58 -171
- package/dist/cli/lib/verify-engine.js.map +1 -1
- package/dist/cli/lib/verify-export.d.ts.map +1 -1
- package/dist/cli/lib/verify-export.js +18 -2
- package/dist/cli/lib/verify-export.js.map +1 -1
- package/dist/cli/lib/verify-failure.d.ts +2 -0
- package/dist/cli/lib/verify-failure.d.ts.map +1 -1
- package/dist/cli/lib/verify-finding-fingerprint.d.ts +26 -0
- package/dist/cli/lib/verify-finding-fingerprint.d.ts.map +1 -0
- package/dist/cli/lib/verify-finding-fingerprint.js +117 -0
- package/dist/cli/lib/verify-finding-fingerprint.js.map +1 -0
- package/dist/cli/lib/verify-finding-gate-projector.d.ts +4 -0
- package/dist/cli/lib/verify-finding-gate-projector.d.ts.map +1 -0
- package/dist/cli/lib/verify-finding-gate-projector.js +53 -0
- package/dist/cli/lib/verify-finding-gate-projector.js.map +1 -0
- package/dist/cli/lib/verify-finding.d.ts +16 -3
- package/dist/cli/lib/verify-finding.d.ts.map +1 -1
- package/dist/cli/lib/verify-finding.js +9 -3
- package/dist/cli/lib/verify-finding.js.map +1 -1
- package/dist/cli/lib/verify-options.d.ts +15 -0
- package/dist/cli/lib/verify-options.d.ts.map +1 -1
- package/dist/cli/lib/verify-payload.d.ts +4 -3
- package/dist/cli/lib/verify-payload.d.ts.map +1 -1
- package/dist/cli/lib/verify-payload.js +13 -13
- package/dist/cli/lib/verify-payload.js.map +1 -1
- package/dist/cli/lib/verify-phase-clock.d.ts +16 -0
- package/dist/cli/lib/verify-phase-clock.d.ts.map +1 -0
- package/dist/cli/lib/verify-phase-clock.js +41 -0
- package/dist/cli/lib/verify-phase-clock.js.map +1 -0
- package/dist/cli/lib/verify-phase-steps.d.ts +54 -0
- package/dist/cli/lib/verify-phase-steps.d.ts.map +1 -0
- package/dist/cli/lib/verify-phase-steps.js +158 -0
- package/dist/cli/lib/verify-phase-steps.js.map +1 -0
- package/dist/cli/lib/verify-presenters.d.ts +2 -0
- package/dist/cli/lib/verify-presenters.d.ts.map +1 -1
- package/dist/cli/lib/verify-presenters.js +87 -14
- package/dist/cli/lib/verify-presenters.js.map +1 -1
- package/dist/cli/lib/verify-remediation-pipeline.d.ts +34 -0
- package/dist/cli/lib/verify-remediation-pipeline.d.ts.map +1 -0
- package/dist/cli/lib/verify-remediation-pipeline.js +96 -0
- package/dist/cli/lib/verify-remediation-pipeline.js.map +1 -0
- package/dist/cli/lib/verify-run-ring.d.ts +56 -0
- package/dist/cli/lib/verify-run-ring.d.ts.map +1 -0
- package/dist/cli/lib/verify-run-ring.js +165 -0
- package/dist/cli/lib/verify-run-ring.js.map +1 -0
- package/dist/cli/lib/verify-run.d.ts.map +1 -1
- package/dist/cli/lib/verify-run.js +36 -6
- package/dist/cli/lib/verify-run.js.map +1 -1
- package/dist/cli/lib/version.gen.d.ts +1 -1
- package/dist/cli/lib/version.gen.js +1 -1
- package/dist/cli/lib/virtual-scratch-store.d.ts.map +1 -1
- package/dist/cli/lib/virtual-scratch-store.js +2 -16
- package/dist/cli/lib/virtual-scratch-store.js.map +1 -1
- package/dist/cli/program-core.d.ts.map +1 -1
- package/dist/cli/program-core.js +17 -0
- package/dist/cli/program-core.js.map +1 -1
- package/dist/cli/program-workflow.d.ts.map +1 -1
- package/dist/cli/program-workflow.js +13 -0
- package/dist/cli/program-workflow.js.map +1 -1
- package/package.json +1 -1
- package/templates/.gitagent/foreman/SUBSTRATE.version.json +1 -1
- package/templates/.github/workflows/gxt-attest-ingest.yml +26 -0
- package/templates/integrations/compatibility.json +1 -1
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
import fs from "node:fs";
|
|
2
|
+
import path from "node:path";
|
|
3
|
+
import { parseBannedImportGateOutput } from "./banned-import-violation.js";
|
|
4
|
+
import { extractImportLayerGateReport } from "./surgeon.js";
|
|
5
|
+
import { verifyFinding } from "./verify-finding.js";
|
|
6
|
+
function readEvidenceSnippet(root, file, line, column) {
|
|
7
|
+
const abs = path.isAbsolute(file) ? file : path.join(root, file);
|
|
8
|
+
try {
|
|
9
|
+
const content = fs.readFileSync(abs, "utf8");
|
|
10
|
+
const lines = content.split(/\r?\n/);
|
|
11
|
+
const idx = line > 0 ? line - 1 : 0;
|
|
12
|
+
const row = lines[idx];
|
|
13
|
+
if (row === undefined)
|
|
14
|
+
return undefined;
|
|
15
|
+
if (column > 0 && column <= row.length) {
|
|
16
|
+
return row.slice(Math.max(0, column - 1));
|
|
17
|
+
}
|
|
18
|
+
return row;
|
|
19
|
+
}
|
|
20
|
+
catch (e) {
|
|
21
|
+
const errno = typeof e === "object" && e !== null ? e.code : undefined;
|
|
22
|
+
if (errno === "ENOENT")
|
|
23
|
+
return undefined;
|
|
24
|
+
throw e;
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
export function projectGateFindings(root, failure, hint) {
|
|
28
|
+
const stdout = failure.gateStdout ?? "";
|
|
29
|
+
const stderr = failure.gateStderr ?? "";
|
|
30
|
+
const combined = `${stdout}\n${stderr}`;
|
|
31
|
+
const importReport = extractImportLayerGateReport(stdout, stderr);
|
|
32
|
+
if (importReport && importReport.ok === false && importReport.violations.length > 0) {
|
|
33
|
+
return importReport.violations.map((v) => {
|
|
34
|
+
const evidence = readEvidenceSnippet(root, v.file, v.line, v.column);
|
|
35
|
+
return verifyFinding("gate", `${v.rule_id}: ${v.module_specifier}`, {
|
|
36
|
+
offending_file: v.file,
|
|
37
|
+
line: v.line,
|
|
38
|
+
start_column: v.column,
|
|
39
|
+
rule_id: v.rule_id,
|
|
40
|
+
...(evidence !== undefined ? { evidence } : {}),
|
|
41
|
+
});
|
|
42
|
+
});
|
|
43
|
+
}
|
|
44
|
+
const banned = parseBannedImportGateOutput(combined);
|
|
45
|
+
if (banned.length > 0) {
|
|
46
|
+
return banned.map((v) => verifyFinding("gate", `banned import "${v.specifier}"`, {
|
|
47
|
+
offending_file: v.file,
|
|
48
|
+
rule_id: "banned-import",
|
|
49
|
+
}));
|
|
50
|
+
}
|
|
51
|
+
return [verifyFinding("gate", hint)];
|
|
52
|
+
}
|
|
53
|
+
//# sourceMappingURL=verify-finding-gate-projector.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-finding-gate-projector.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding-gate-projector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAsB,MAAM,qBAAqB,CAAC;AAGxE,SAAS,mBAAmB,CAC1B,IAAY,EACZ,IAAY,EACZ,IAAY,EACZ,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACvC,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAE,CAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAClG,IAAI,KAAK,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,OAAoB,EACpB,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC;IAExC,MAAM,YAAY,GAAG,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClE,IAAI,YAAY,IAAI,YAAY,CAAC,EAAE,KAAK,KAAK,IAAI,YAAY,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpF,OAAO,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YACrE,OAAO,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,gBAAgB,EAAE,EAAE;gBAClE,cAAc,EAAE,CAAC,CAAC,IAAI;gBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,YAAY,EAAE,CAAC,CAAC,MAAM;gBACtB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,aAAa,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,SAAS,GAAG,EAAE;YACtD,cAAc,EAAE,CAAC,CAAC,IAAI;YACtB,OAAO,EAAE,eAAe;SACzB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
export declare const VERIFY_ENVELOPE_SCHEMA_VERSION:
|
|
1
|
+
export declare const VERIFY_ENVELOPE_SCHEMA_VERSION: 3;
|
|
2
2
|
export type VerifyFindingSeverity = "error" | "warning";
|
|
3
3
|
export type VerifyFailedGate = "gate" | "trace" | "git_proof" | "defensive" | "kpi" | "init" | "arch" | "interrogation";
|
|
4
4
|
export interface VerifyFinding {
|
|
@@ -7,10 +7,23 @@ export interface VerifyFinding {
|
|
|
7
7
|
line: number;
|
|
8
8
|
severity: VerifyFindingSeverity;
|
|
9
9
|
resolution_hint: string;
|
|
10
|
+
end_line?: number;
|
|
11
|
+
start_column?: number;
|
|
12
|
+
end_column?: number;
|
|
13
|
+
rule_id?: string;
|
|
14
|
+
evidence?: string;
|
|
15
|
+
fingerprint: string;
|
|
16
|
+
semantic_fingerprint: string;
|
|
10
17
|
}
|
|
11
|
-
export
|
|
18
|
+
export interface VerifyFindingInput {
|
|
12
19
|
offending_file?: string;
|
|
13
20
|
line?: number;
|
|
21
|
+
end_line?: number;
|
|
22
|
+
start_column?: number;
|
|
23
|
+
end_column?: number;
|
|
14
24
|
severity?: VerifyFindingSeverity;
|
|
15
|
-
|
|
25
|
+
rule_id?: string;
|
|
26
|
+
evidence?: string;
|
|
27
|
+
}
|
|
28
|
+
export declare function verifyFinding(failed_gate: VerifyFailedGate, resolution_hint: string, opts?: VerifyFindingInput): VerifyFinding;
|
|
16
29
|
//# sourceMappingURL=verify-finding.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-finding.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-finding.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,SAAS,CAAC;AAExD,MAAM,MAAM,gBAAgB,GACxB,MAAM,GACN,OAAO,GACP,WAAW,GACX,WAAW,GACX,KAAK,GACL,MAAM,GACN,MAAM,GACN,eAAe,CAAC;AAEpB,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,gBAAgB,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,qBAAqB,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,qBAAqB,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,aAAa,CAC3B,WAAW,EAAE,gBAAgB,EAC7B,eAAe,EAAE,MAAM,EACvB,IAAI,GAAE,kBAAuB,GAC5B,aAAa,CAaf"}
|
|
@@ -1,11 +1,17 @@
|
|
|
1
|
-
|
|
1
|
+
import { finalizeVerifyFinding } from "./verify-finding-fingerprint.js";
|
|
2
|
+
export const VERIFY_ENVELOPE_SCHEMA_VERSION = 3;
|
|
2
3
|
export function verifyFinding(failed_gate, resolution_hint, opts = {}) {
|
|
3
|
-
return {
|
|
4
|
+
return finalizeVerifyFinding({
|
|
4
5
|
failed_gate,
|
|
5
6
|
offending_file: opts.offending_file ?? "",
|
|
6
7
|
line: opts.line ?? 0,
|
|
7
8
|
severity: opts.severity ?? "error",
|
|
8
9
|
resolution_hint,
|
|
9
|
-
|
|
10
|
+
...(opts.end_line !== undefined ? { end_line: opts.end_line } : {}),
|
|
11
|
+
...(opts.start_column !== undefined ? { start_column: opts.start_column } : {}),
|
|
12
|
+
...(opts.end_column !== undefined ? { end_column: opts.end_column } : {}),
|
|
13
|
+
...(opts.rule_id !== undefined ? { rule_id: opts.rule_id } : {}),
|
|
14
|
+
...(opts.evidence !== undefined ? { evidence: opts.evidence } : {}),
|
|
15
|
+
});
|
|
10
16
|
}
|
|
11
17
|
//# sourceMappingURL=verify-finding.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-finding.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-finding.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAU,CAAC;AAwCzD,MAAM,UAAU,aAAa,CAC3B,WAA6B,EAC7B,eAAuB,EACvB,OAA2B,EAAE;IAE7B,OAAO,qBAAqB,CAAC;QAC3B,WAAW;QACX,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;QACzC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;QACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;QAClC,eAAe;QACf,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -42,5 +42,20 @@ export interface VerifyOptions {
|
|
|
42
42
|
exportPath?: string;
|
|
43
43
|
/** Require interrogation block on mission (CI hard mode). */
|
|
44
44
|
requireInterrogation?: boolean;
|
|
45
|
+
/** Override gate subprocess execution (default: in-process spawn via runGate). */
|
|
46
|
+
gateExecAdapter?: GateExecAdapter;
|
|
45
47
|
}
|
|
48
|
+
/** Input passed to a custom gate executor. */
|
|
49
|
+
export interface GateExecInput {
|
|
50
|
+
workingDirectory: string;
|
|
51
|
+
command: string;
|
|
52
|
+
}
|
|
53
|
+
/** Result from gate subprocess execution. */
|
|
54
|
+
export interface GateExecResult {
|
|
55
|
+
exitCode: number | null;
|
|
56
|
+
stdout: string;
|
|
57
|
+
stderr: string;
|
|
58
|
+
}
|
|
59
|
+
/** Pluggable gate runner — default uses in-process spawnSync. */
|
|
60
|
+
export type GateExecAdapter = (input: GateExecInput) => GateExecResult;
|
|
46
61
|
//# sourceMappingURL=verify-options.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-options.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,iFAAiF;AACjF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,KAAK,GAAG,MAAM,CAAC;AAEhF,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wFAAwF;IACxF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,+CAA+C;IAC/C,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,0EAA0E;IAC1E,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,wEAAwE;IACxE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,uEAAuE;IACvE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sFAAsF;IACtF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gFAAgF;IAChF,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC3B,qGAAqG;IACrG,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,oBAAoB,CAAC,EAAE,OAAO,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-options.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-options.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,iFAAiF;AACjF,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,KAAK,GAAG,MAAM,CAAC;AAEhF,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wFAAwF;IACxF,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,+CAA+C;IAC/C,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,0EAA0E;IAC1E,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,wEAAwE;IACxE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,uEAAuE;IACvE,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sFAAsF;IACtF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gFAAgF;IAChF,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC3B,qGAAqG;IACrG,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,kFAAkF;IAClF,eAAe,CAAC,EAAE,eAAe,CAAC;CACnC;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,6CAA6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,iEAAiE;AACjE,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,aAAa,KAAK,cAAc,CAAC"}
|
|
@@ -39,6 +39,7 @@ export interface VerifyFailedPayload {
|
|
|
39
39
|
exit_code: number;
|
|
40
40
|
envelope_schema_version: typeof VERIFY_ENVELOPE_SCHEMA_VERSION;
|
|
41
41
|
findings: VerifyFinding[];
|
|
42
|
+
findings_digest?: string;
|
|
42
43
|
mission_file_path?: string;
|
|
43
44
|
mission_source?: "flag" | "pin";
|
|
44
45
|
receipt_path?: string;
|
|
@@ -47,10 +48,10 @@ export interface VerifyFailedPayload {
|
|
|
47
48
|
failures?: string[];
|
|
48
49
|
}
|
|
49
50
|
export type VerifyResultPayload = VerifyPassedPayload | VerifyFailedPayload;
|
|
50
|
-
export declare function buildFindingsForFailure(normalized: NormalizedVerifyFailure, failure?: VerifyPhaseFailure): VerifyFinding[];
|
|
51
|
-
export declare function toVerifyFailedPayload(normalized: NormalizedVerifyFailure, failure
|
|
51
|
+
export declare function buildFindingsForFailure(root: string, normalized: NormalizedVerifyFailure, failure?: VerifyPhaseFailure): VerifyFinding[];
|
|
52
|
+
export declare function toVerifyFailedPayload(normalized: NormalizedVerifyFailure, failure: VerifyPhaseFailure | undefined, findings: VerifyFinding[]): VerifyFailedPayload;
|
|
52
53
|
export declare function buildBreakGlassPayload(root: string, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
53
54
|
export declare function initFailurePayload(e: unknown): VerifyFailedPayload;
|
|
54
|
-
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission,
|
|
55
|
+
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission, _options: VerifyOptions, result: VerifyPhaseResult): VerifyResultPayload;
|
|
55
56
|
export declare function buildVerifyResultPayload(root: string, manifest: Manifest, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
56
57
|
//# sourceMappingURL=verify-payload.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,
|
|
1
|
+
{"version":3,"file":"verify-payload.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAGL,KAAK,uBAAuB,EAC7B,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EACL,8BAA8B,EAE9B,KAAK,aAAa,EAEnB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,GAAG,eAAe,GAAG,aAAa,CAAC;IAChD,SAAS,EAAE,CAAC,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC1C,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAC;IAC3B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,kCAAkC,CAAC,EAAE,MAAM,CAAC;CAC7C;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,uBAAuB,EAAE,OAAO,8BAA8B,CAAC;IAC/D,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAChC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,mBAAmB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAE5E,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,kBAAkB,GAC3B,aAAa,EAAE,CAkCjB;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,uBAAuB,EACnC,OAAO,EAAE,kBAAkB,GAAG,SAAS,EACvC,QAAQ,EAAE,aAAa,EAAE,GACxB,mBAAmB,CAerB;AA2DD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAcrB;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,OAAO,GAAG,mBAAmB,CAIlE;AAED,wBAAgB,uCAAuC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAerB;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAGrB"}
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
import { runBreakGlassAuditFlow } from "./break-glass.js";
|
|
2
2
|
import { toPosixRel } from "./cli-io.js";
|
|
3
3
|
import { evaluateVerifyPhases, } from "./verify-engine.js";
|
|
4
|
-
import { normalizeInitFailure, normalizeVerifyPhaseFailure,
|
|
5
|
-
import { persistRemediationSnapshot } from "./context-feed-remediation.js";
|
|
4
|
+
import { normalizeInitFailure, normalizeVerifyPhaseFailure, } from "./verify-failure-normalize.js";
|
|
6
5
|
import { kpiFindingsToAdvisoryVerifyFindings } from "./kpi-advisory-findings.js";
|
|
6
|
+
import { projectGateFindings } from "./verify-finding-gate-projector.js";
|
|
7
7
|
import { VERIFY_ENVELOPE_SCHEMA_VERSION, verifyFinding, } from "./verify-finding.js";
|
|
8
|
-
export function buildFindingsForFailure(normalized, failure) {
|
|
8
|
+
export function buildFindingsForFailure(root, normalized, failure) {
|
|
9
9
|
const hint = normalized.fix_hints[0] ?? normalized.message;
|
|
10
10
|
const phaseGate = (normalized.phase === "trace_pending" ? "trace" : normalized.phase);
|
|
11
11
|
if (failure?.phase === "trace") {
|
|
12
12
|
return [
|
|
13
13
|
verifyFinding("trace", hint, {
|
|
14
14
|
offending_file: failure.executorLogPath,
|
|
15
|
-
line: 0,
|
|
15
|
+
line: failure.declaredLine ?? 0,
|
|
16
16
|
}),
|
|
17
17
|
];
|
|
18
18
|
}
|
|
@@ -24,7 +24,7 @@ export function buildFindingsForFailure(normalized, failure) {
|
|
|
24
24
|
];
|
|
25
25
|
}
|
|
26
26
|
if (failure?.phase === "gate") {
|
|
27
|
-
return
|
|
27
|
+
return projectGateFindings(root, failure, hint);
|
|
28
28
|
}
|
|
29
29
|
if (failure?.phase === "defensive") {
|
|
30
30
|
return [verifyFinding("defensive", failure.defensiveReason || hint)];
|
|
@@ -37,8 +37,7 @@ export function buildFindingsForFailure(normalized, failure) {
|
|
|
37
37
|
}
|
|
38
38
|
return [verifyFinding(phaseGate, hint)];
|
|
39
39
|
}
|
|
40
|
-
export function toVerifyFailedPayload(normalized, failure) {
|
|
41
|
-
const findings = buildFindingsForFailure(normalized, failure);
|
|
40
|
+
export function toVerifyFailedPayload(normalized, failure, findings) {
|
|
42
41
|
return {
|
|
43
42
|
status: "failed",
|
|
44
43
|
phase: normalized.phase,
|
|
@@ -121,9 +120,11 @@ export function buildBreakGlassPayload(root, mission, options) {
|
|
|
121
120
|
};
|
|
122
121
|
}
|
|
123
122
|
export function initFailurePayload(e) {
|
|
124
|
-
|
|
123
|
+
const normalized = normalizeInitFailure(e);
|
|
124
|
+
const findings = buildFindingsForFailure("", normalized);
|
|
125
|
+
return toVerifyFailedPayload(normalized, undefined, findings);
|
|
125
126
|
}
|
|
126
|
-
export function buildVerifyResultPayloadFromPhaseResult(root, mission,
|
|
127
|
+
export function buildVerifyResultPayloadFromPhaseResult(root, mission, _options, result) {
|
|
127
128
|
const missionRel = missionRelPath(root, mission);
|
|
128
129
|
if (result.ok) {
|
|
129
130
|
return successPayload(root, mission, result);
|
|
@@ -131,14 +132,13 @@ export function buildVerifyResultPayloadFromPhaseResult(root, mission, options,
|
|
|
131
132
|
const normalized = normalizeVerifyPhaseFailure({
|
|
132
133
|
failure: result,
|
|
133
134
|
missionArg: missionRel,
|
|
134
|
-
options,
|
|
135
|
+
options: _options,
|
|
135
136
|
root,
|
|
136
137
|
msnId: mission.msnId ?? undefined,
|
|
137
138
|
mission,
|
|
138
139
|
});
|
|
139
|
-
const
|
|
140
|
-
|
|
141
|
-
return payload;
|
|
140
|
+
const findings = buildFindingsForFailure(root, normalized, result);
|
|
141
|
+
return toVerifyFailedPayload(normalized, result, findings);
|
|
142
142
|
}
|
|
143
143
|
export function buildVerifyResultPayload(root, manifest, mission, options) {
|
|
144
144
|
const result = evaluateVerifyPhases(root, mission, options, manifest);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,
|
|
1
|
+
{"version":3,"file":"verify-payload.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,GAE5B,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAAE,mCAAmC,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EACL,8BAA8B,EAC9B,aAAa,GAGd,MAAM,qBAAqB,CAAC;AAiD7B,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,UAAmC,EACnC,OAA4B;IAE5B,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC;IAC3D,MAAM,SAAS,GAAG,CAAC,UAAU,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAqB,CAAC;IAE1G,IAAI,OAAO,EAAE,KAAK,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE;gBAC3B,cAAc,EAAE,OAAO,CAAC,eAAe;gBACvC,IAAI,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC;aAChC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO;YACL,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE;gBACzB,cAAc,EAAE,OAAO,CAAC,aAAa;aACtC,CAAC;SACH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,OAAO,EAAE,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,OAAuC,EACvC,QAAyB;IAEzB,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,uBAAuB,EAAE,8BAA8B;QACvD,QAAQ;QACR,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,OAAsB;IAC1D,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA0B;IACnD,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK;QACnB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CACrB,IAAY,EACZ,OAAsB,EACtB,MAA0B;IAE1B,IAAI,MAAM,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,eAAe;YACtB,SAAS,EAAE,CAAC;YACZ,OAAO,EAAE,yCAAyC;YAClD,MAAM,EAAE,MAAM,CAAC,UAAU;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,MAAM;QACb,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QAClC,iBAAiB,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC;QAChD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC/D,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,gBAAgB,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YACrD,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE;YACtC,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;YACrE,CAAC,CAAC,EAAE,QAAQ,EAAE,mCAAmC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE;YAC/E,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACjE,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,iBAAiB,EAAE;YAClD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC7D,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE;YAC9C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,+BAA+B,KAAK,SAAS;YACtD,CAAC,CAAC,EAAE,kCAAkC,EAAE,MAAM,CAAC,+BAA+B,EAAE;YAChF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,CAAC;QACZ,MAAM,EAAE,OAAO,CAAC,KAAK;QACrB,iBAAiB,EAAE,OAAO,CAAC,UAAU;QACrC,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,YAAY,EAAE,OAAO,CAAC,SAAS;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAU;IAC3C,MAAM,UAAU,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACzD,OAAO,qBAAqB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,IAAY,EACZ,OAAsB,EACtB,QAAuB,EACvB,MAAyB;IAEzB,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,UAAU;QACtB,OAAO,EAAE,QAAQ;QACjB,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QACjC,OAAO;KACR,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,qBAAqB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,OAAsB;IAEtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtE,OAAO,uCAAuC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACjF,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
export declare const VERIFY_PHASE_IDS: readonly ["git_proof", "interrogation", "gate", "defensive", "kpi", "trace"];
|
|
2
|
+
export type VerifyPhaseId = (typeof VERIFY_PHASE_IDS)[number];
|
|
3
|
+
export type VerifyPhaseTimingStatus = "passed" | "failed" | "skipped";
|
|
4
|
+
export interface VerifyPhaseTiming {
|
|
5
|
+
id: VerifyPhaseId;
|
|
6
|
+
duration_ms: number;
|
|
7
|
+
status: VerifyPhaseTimingStatus;
|
|
8
|
+
}
|
|
9
|
+
export declare class VerifyPhaseClock {
|
|
10
|
+
private readonly rows;
|
|
11
|
+
timed<T>(id: VerifyPhaseId, fn: () => T): T;
|
|
12
|
+
markFailed(id: VerifyPhaseId): void;
|
|
13
|
+
markSkipped(id: VerifyPhaseId): void;
|
|
14
|
+
finalize(): VerifyPhaseTiming[];
|
|
15
|
+
}
|
|
16
|
+
//# sourceMappingURL=verify-phase-clock.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-phase-clock.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-phase-clock.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,gBAAgB,8EAOnB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEtE,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,aAAa,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,uBAAuB,CAAC;CACjC;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA+C;IAEpE,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAW3C,UAAU,CAAC,EAAE,EAAE,aAAa,GAAG,IAAI;IASnC,WAAW,CAAC,EAAE,EAAE,aAAa,GAAG,IAAI;IAMpC,QAAQ,IAAI,iBAAiB,EAAE;CAMhC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
export const VERIFY_PHASE_IDS = [
|
|
2
|
+
"git_proof",
|
|
3
|
+
"interrogation",
|
|
4
|
+
"gate",
|
|
5
|
+
"defensive",
|
|
6
|
+
"kpi",
|
|
7
|
+
"trace",
|
|
8
|
+
];
|
|
9
|
+
export class VerifyPhaseClock {
|
|
10
|
+
rows = new Map();
|
|
11
|
+
timed(id, fn) {
|
|
12
|
+
const start = performance.now();
|
|
13
|
+
const result = fn();
|
|
14
|
+
this.rows.set(id, {
|
|
15
|
+
id,
|
|
16
|
+
duration_ms: Math.round(performance.now() - start),
|
|
17
|
+
status: "passed",
|
|
18
|
+
});
|
|
19
|
+
return result;
|
|
20
|
+
}
|
|
21
|
+
markFailed(id) {
|
|
22
|
+
const row = this.rows.get(id);
|
|
23
|
+
if (row) {
|
|
24
|
+
row.status = "failed";
|
|
25
|
+
return;
|
|
26
|
+
}
|
|
27
|
+
this.rows.set(id, { id, duration_ms: 0, status: "failed" });
|
|
28
|
+
}
|
|
29
|
+
markSkipped(id) {
|
|
30
|
+
if (!this.rows.has(id)) {
|
|
31
|
+
this.rows.set(id, { id, duration_ms: 0, status: "skipped" });
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
finalize() {
|
|
35
|
+
for (const id of VERIFY_PHASE_IDS) {
|
|
36
|
+
this.markSkipped(id);
|
|
37
|
+
}
|
|
38
|
+
return VERIFY_PHASE_IDS.map((id) => this.rows.get(id));
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
//# sourceMappingURL=verify-phase-clock.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-phase-clock.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-phase-clock.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,WAAW;IACX,eAAe;IACf,MAAM;IACN,WAAW;IACX,KAAK;IACL,OAAO;CACC,CAAC;AAYX,MAAM,OAAO,gBAAgB;IACV,IAAI,GAAG,IAAI,GAAG,EAAoC,CAAC;IAEpE,KAAK,CAAI,EAAiB,EAAE,EAAW;QACrC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE;YAChB,EAAE;YACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YAClD,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,UAAU,CAAC,EAAiB;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC;YACtB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,WAAW,CAAC,EAAiB;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,QAAQ;QACN,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;YAClC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;IAC1D,CAAC;CACF"}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
import { type GateRunResult } from "./gate.js";
|
|
2
|
+
import type { GateSpec, KpiFinding, Manifest, ParsedMission } from "./types.js";
|
|
3
|
+
import type { DefensiveFailure, GateFailure, GitProofFailure, KpiFailure, TraceFailure, TracePendingFailure } from "./verify-failure.js";
|
|
4
|
+
import type { GateExecInput, VerifyOptions } from "./verify-options.js";
|
|
5
|
+
import type { TraceVerifyWarning } from "./trace.js";
|
|
6
|
+
export type GitProofOutcome = {
|
|
7
|
+
kind: "ok";
|
|
8
|
+
proofMsnId: string;
|
|
9
|
+
warnings: string[];
|
|
10
|
+
} | {
|
|
11
|
+
kind: "fail";
|
|
12
|
+
failure: GitProofFailure;
|
|
13
|
+
};
|
|
14
|
+
export declare function evaluateGitProof(root: string, mission: ParsedMission, options: VerifyOptions, executorLogPath: string): GitProofOutcome;
|
|
15
|
+
export declare function defaultGateExecAdapter(input: GateExecInput): GateRunResult;
|
|
16
|
+
export declare function evaluateGatePhase(root: string, gate: GateSpec, options: VerifyOptions, executorLogPath: string): {
|
|
17
|
+
failure: GateFailure | null;
|
|
18
|
+
gateResult?: GateRunResult;
|
|
19
|
+
};
|
|
20
|
+
export type TracePhaseOutcome = {
|
|
21
|
+
kind: "ok";
|
|
22
|
+
warnings: TraceVerifyWarning[];
|
|
23
|
+
skippedUncommitted: number;
|
|
24
|
+
} | {
|
|
25
|
+
kind: "fail";
|
|
26
|
+
failure: TracePendingFailure | TraceFailure;
|
|
27
|
+
};
|
|
28
|
+
export interface PhaseContext {
|
|
29
|
+
root: string;
|
|
30
|
+
manifest: Manifest;
|
|
31
|
+
mission: ParsedMission;
|
|
32
|
+
options: VerifyOptions;
|
|
33
|
+
executorLogPath: string;
|
|
34
|
+
}
|
|
35
|
+
export declare function evaluateTracePhase(input: PhaseContext): TracePhaseOutcome;
|
|
36
|
+
export type DefensiveOutcome = {
|
|
37
|
+
kind: "ok";
|
|
38
|
+
warnings: string[];
|
|
39
|
+
audits: string[];
|
|
40
|
+
} | {
|
|
41
|
+
kind: "fail";
|
|
42
|
+
failure: DefensiveFailure;
|
|
43
|
+
};
|
|
44
|
+
export type KpiOutcome = {
|
|
45
|
+
kind: "ok";
|
|
46
|
+
warnings: string[];
|
|
47
|
+
advisoryFindings: KpiFinding[];
|
|
48
|
+
} | {
|
|
49
|
+
kind: "fail";
|
|
50
|
+
failure: KpiFailure;
|
|
51
|
+
};
|
|
52
|
+
export declare function evaluateDefensivePhase(input: PhaseContext): DefensiveOutcome;
|
|
53
|
+
export declare function evaluateKpiGatePhase(input: PhaseContext): KpiOutcome;
|
|
54
|
+
//# sourceMappingURL=verify-phase-steps.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-phase-steps.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-phase-steps.ts"],"names":[],"mappings":"AAEA,OAAO,EAA2C,KAAK,aAAa,EAAE,MAAM,WAAW,CAAC;AAGxF,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,KAAK,EACV,gBAAgB,EAChB,WAAW,EACX,eAAe,EACf,UAAU,EACV,YAAY,EACZ,mBAAmB,EACpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAkBrD,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAE/C,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,EACtB,eAAe,EAAE,MAAM,GACtB,eAAe,CAYjB;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,aAAa,GAAG,aAAa,CAK1E;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,aAAa,EACtB,eAAe,EAAE,MAAM,GACtB;IAAE,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,aAAa,CAAA;CAAE,CA2B7D;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,mBAAmB,GAAG,YAAY,CAAA;CAAE,CAAC;AAElE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,YAAY,GAAG,iBAAiB,CAuEzE;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAEhD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,gBAAgB,EAAE,UAAU,EAAE,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AAE1C,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB,CAe5E;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,YAAY,GAAG,UAAU,CAoBpE"}
|
|
@@ -0,0 +1,158 @@
|
|
|
1
|
+
import { errorMessage } from "./cli-io.js";
|
|
2
|
+
import { assertPlannerMissionProof } from "./git-proof.js";
|
|
3
|
+
import { gatePassed, runGate, resolveGateWorkDir } from "./gate.js";
|
|
4
|
+
import { evaluateKpiPhase } from "./kpi-engine.js";
|
|
5
|
+
import { evaluateDefensiveGuardPhase } from "./verify-defensive-phase.js";
|
|
6
|
+
import { isPendingStatus, verifyTraceEvidenceFreshness, verifyTraceRows } from "./trace.js";
|
|
7
|
+
function parseDeclaredAnchorLine(anchor) {
|
|
8
|
+
const n = Number.parseInt(anchor.trim(), 10);
|
|
9
|
+
return Number.isFinite(n) && n > 0 ? n : 0;
|
|
10
|
+
}
|
|
11
|
+
function gitProofFailure(executorLogPath, message) {
|
|
12
|
+
return {
|
|
13
|
+
ok: false,
|
|
14
|
+
phase: "git_proof",
|
|
15
|
+
message,
|
|
16
|
+
exitCode: 1,
|
|
17
|
+
executorLogPath,
|
|
18
|
+
gitProofMessage: message,
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
export function evaluateGitProof(root, mission, options, executorLogPath) {
|
|
22
|
+
try {
|
|
23
|
+
const gitProofWarnings = [];
|
|
24
|
+
const proofMsnId = assertPlannerMissionProof(root, mission.rawPath, {
|
|
25
|
+
msnId: mission.msnId ?? undefined,
|
|
26
|
+
scanDepth: options.scanDepth,
|
|
27
|
+
warnings: gitProofWarnings,
|
|
28
|
+
});
|
|
29
|
+
return { kind: "ok", proofMsnId, warnings: gitProofWarnings };
|
|
30
|
+
}
|
|
31
|
+
catch (e) {
|
|
32
|
+
return { kind: "fail", failure: gitProofFailure(executorLogPath, errorMessage(e)) };
|
|
33
|
+
}
|
|
34
|
+
}
|
|
35
|
+
export function defaultGateExecAdapter(input) {
|
|
36
|
+
return runGate(input.workingDirectory, {
|
|
37
|
+
command: input.command,
|
|
38
|
+
successSubstring: null,
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
export function evaluateGatePhase(root, gate, options, executorLogPath) {
|
|
42
|
+
const exec = options.gateExecAdapter ?? defaultGateExecAdapter;
|
|
43
|
+
const gateResult = exec({
|
|
44
|
+
workingDirectory: resolveGateWorkDir(root, options),
|
|
45
|
+
command: gate.command,
|
|
46
|
+
});
|
|
47
|
+
const normalized = {
|
|
48
|
+
exitCode: gateResult.exitCode,
|
|
49
|
+
stdout: gateResult.stdout,
|
|
50
|
+
stderr: gateResult.stderr,
|
|
51
|
+
combined: `${gateResult.stdout}\n${gateResult.stderr}`,
|
|
52
|
+
};
|
|
53
|
+
if (gatePassed(normalized, gate.successSubstring))
|
|
54
|
+
return { failure: null, gateResult: normalized };
|
|
55
|
+
return {
|
|
56
|
+
failure: {
|
|
57
|
+
ok: false,
|
|
58
|
+
phase: "gate",
|
|
59
|
+
message: "GATE FAILED",
|
|
60
|
+
exitCode: 1,
|
|
61
|
+
executorLogPath,
|
|
62
|
+
gateCommand: gate.command,
|
|
63
|
+
gateStdout: normalized.stdout,
|
|
64
|
+
gateStderr: normalized.stderr,
|
|
65
|
+
gateExitCode: normalized.exitCode ?? undefined,
|
|
66
|
+
},
|
|
67
|
+
gateResult: normalized,
|
|
68
|
+
};
|
|
69
|
+
}
|
|
70
|
+
export function evaluateTracePhase(input) {
|
|
71
|
+
const { root, manifest, mission, options, executorLogPath } = input;
|
|
72
|
+
const hasPending = mission.traceRows.some((row) => isPendingStatus(row.status));
|
|
73
|
+
if (hasPending) {
|
|
74
|
+
return {
|
|
75
|
+
kind: "fail",
|
|
76
|
+
failure: {
|
|
77
|
+
ok: false,
|
|
78
|
+
phase: "trace_pending",
|
|
79
|
+
message: "Trace rows still PENDING — executor must execute, update mission trace row, then verify",
|
|
80
|
+
exitCode: 1,
|
|
81
|
+
executorLogPath,
|
|
82
|
+
gateCommand: mission.gate?.command,
|
|
83
|
+
},
|
|
84
|
+
};
|
|
85
|
+
}
|
|
86
|
+
const traceResult = verifyTraceRows(executorLogPath, mission.traceRows, {
|
|
87
|
+
fuzzyNumericAnchor: options.fuzzyTrace === true,
|
|
88
|
+
strictTrace: options.strictTrace === true,
|
|
89
|
+
});
|
|
90
|
+
if (traceResult.failures.length > 0) {
|
|
91
|
+
const first = traceResult.failures[0];
|
|
92
|
+
return {
|
|
93
|
+
kind: "fail",
|
|
94
|
+
failure: {
|
|
95
|
+
ok: false,
|
|
96
|
+
phase: "trace",
|
|
97
|
+
message: first.reason,
|
|
98
|
+
exitCode: 1,
|
|
99
|
+
executorLogPath,
|
|
100
|
+
traceKind: first.kind,
|
|
101
|
+
traceQuote: first.row.traceQuote,
|
|
102
|
+
traceReason: first.reason,
|
|
103
|
+
declaredLine: parseDeclaredAnchorLine(first.row.anchor),
|
|
104
|
+
},
|
|
105
|
+
};
|
|
106
|
+
}
|
|
107
|
+
const evidence = verifyTraceEvidenceFreshness(root, manifest, mission.skillKey, executorLogPath, traceResult.resolvedLines, { skipStaleEvidence: options.skipStaleEvidence === true });
|
|
108
|
+
if (evidence.failures.length > 0) {
|
|
109
|
+
const first = evidence.failures[0];
|
|
110
|
+
return {
|
|
111
|
+
kind: "fail",
|
|
112
|
+
failure: {
|
|
113
|
+
ok: false,
|
|
114
|
+
phase: "trace",
|
|
115
|
+
message: first.reason,
|
|
116
|
+
exitCode: 1,
|
|
117
|
+
executorLogPath,
|
|
118
|
+
traceKind: "stale_evidence",
|
|
119
|
+
traceQuote: first.row.traceQuote,
|
|
120
|
+
traceReason: first.reason,
|
|
121
|
+
declaredLine: parseDeclaredAnchorLine(first.row.anchor),
|
|
122
|
+
attestationCommit: first.attestationCommit,
|
|
123
|
+
stalePaths: first.stalePaths,
|
|
124
|
+
},
|
|
125
|
+
};
|
|
126
|
+
}
|
|
127
|
+
return { kind: "ok", warnings: traceResult.warnings, skippedUncommitted: evidence.skippedUncommitted };
|
|
128
|
+
}
|
|
129
|
+
export function evaluateDefensivePhase(input) {
|
|
130
|
+
const { root, manifest, mission, executorLogPath } = input;
|
|
131
|
+
if (!mission.skillKey)
|
|
132
|
+
return { kind: "ok", warnings: [], audits: [] };
|
|
133
|
+
const defensiveOutcome = evaluateDefensiveGuardPhase(root, manifest, mission.skillKey, executorLogPath);
|
|
134
|
+
if (defensiveOutcome.failure)
|
|
135
|
+
return { kind: "fail", failure: defensiveOutcome.failure };
|
|
136
|
+
return {
|
|
137
|
+
kind: "ok",
|
|
138
|
+
warnings: defensiveOutcome.warnings,
|
|
139
|
+
audits: defensiveOutcome.audits,
|
|
140
|
+
};
|
|
141
|
+
}
|
|
142
|
+
export function evaluateKpiGatePhase(input) {
|
|
143
|
+
const { root, manifest, mission, options, executorLogPath } = input;
|
|
144
|
+
if (!mission.kpiGate)
|
|
145
|
+
return { kind: "ok", warnings: [], advisoryFindings: [] };
|
|
146
|
+
const kpiOutcome = evaluateKpiPhase(root, manifest, mission.skillKey, mission.kpiGate, options, executorLogPath);
|
|
147
|
+
if (kpiOutcome?.kind === "fail")
|
|
148
|
+
return { kind: "fail", failure: kpiOutcome.failure };
|
|
149
|
+
if (kpiOutcome?.kind === "ok") {
|
|
150
|
+
return {
|
|
151
|
+
kind: "ok",
|
|
152
|
+
warnings: kpiOutcome.warnings,
|
|
153
|
+
advisoryFindings: kpiOutcome.advisoryFindings ?? [],
|
|
154
|
+
};
|
|
155
|
+
}
|
|
156
|
+
return { kind: "ok", warnings: [], advisoryFindings: [] };
|
|
157
|
+
}
|
|
158
|
+
//# sourceMappingURL=verify-phase-steps.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-phase-steps.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-phase-steps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAsB,MAAM,WAAW,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAE1E,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAY5F,SAAS,uBAAuB,CAAC,MAAc;IAC7C,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,eAAe,CAAC,eAAuB,EAAE,OAAe;IAC/D,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,WAAW;QAClB,OAAO;QACP,QAAQ,EAAE,CAAC;QACX,eAAe;QACf,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAMD,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,eAAuB;IAEvB,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;YACjC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,gBAAgB;SAC3B,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAChE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAoB;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC,gBAAgB,EAAE;QACrC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,IAAc,EACd,OAAsB,EACtB,eAAuB;IAEvB,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,IAAI,sBAAsB,CAAC;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC;QACtB,gBAAgB,EAAE,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC;QACnD,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC,CAAC;IACH,MAAM,UAAU,GAAkB;QAChC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,QAAQ,EAAE,GAAG,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE;KACvD,CAAC;IACF,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IACpG,OAAO;QACL,OAAO,EAAE;YACP,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,aAAa;YACtB,QAAQ,EAAE,CAAC;YACX,eAAe;YACf,WAAW,EAAE,IAAI,CAAC,OAAO;YACzB,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,YAAY,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;SAC/C;QACD,UAAU,EAAE,UAAU;KACvB,CAAC;AACJ,CAAC;AAcD,MAAM,UAAU,kBAAkB,CAAC,KAAmB;IACpD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IACpE,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,eAAe;gBACtB,OAAO,EACL,yFAAyF;gBAC3F,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO;aACnC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,eAAe,EAAE,OAAO,CAAC,SAAS,EAAE;QACtE,kBAAkB,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI;KAC1C,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,YAAY,EAAE,uBAAuB,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;aACxD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,EACf,WAAW,CAAC,aAAa,EACzB,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAC1D,CAAC;IAEF,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,gBAAgB;gBAC3B,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,YAAY,EAAE,uBAAuB,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBACvD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC;AACzG,CAAC;AAUD,MAAM,UAAU,sBAAsB,CAAC,KAAmB;IACxD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACvE,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,CAChB,CAAC;IACF,IAAI,gBAAgB,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;QACnC,MAAM,EAAE,gBAAgB,CAAC,MAAM;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAmB;IACtD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;IAChF,MAAM,UAAU,GAAG,gBAAgB,CACjC,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,eAAe,CAChB,CAAC;IACF,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;IACtF,IAAI,UAAU,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,IAAI,EAAE;SACpD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;AAC5D,CAAC"}
|
|
@@ -4,6 +4,7 @@ import type { VerifyOptions } from "./verify-options.js";
|
|
|
4
4
|
import { type VerifyPhaseResult } from "./verify-engine.js";
|
|
5
5
|
import { type VerifyExportFormat } from "./verify-export.js";
|
|
6
6
|
import { type VerifyResultPayload } from "./verify-payload.js";
|
|
7
|
+
import { type RemediationSnapshot } from "./context-feed-store.js";
|
|
7
8
|
/** Shared verify orchestration context (load once, present by sink). */
|
|
8
9
|
export interface VerifyPresentContext {
|
|
9
10
|
root: string;
|
|
@@ -31,6 +32,7 @@ export declare function resolveVerifySink(options: {
|
|
|
31
32
|
export interface VerifyPresentResult {
|
|
32
33
|
ok: boolean;
|
|
33
34
|
exitCode: number;
|
|
35
|
+
remediation?: RemediationSnapshot | null;
|
|
34
36
|
}
|
|
35
37
|
export declare function presentBreakGlassJson(ctx: VerifyPresentContext): VerifyPresentResult;
|
|
36
38
|
export declare function presentBreakGlassHuman(ctx: VerifyPresentContext): VerifyPresentResult;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-presenters.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AASzD,OAAO,EAAwB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxF,OAAO,
|
|
1
|
+
{"version":3,"file":"verify-presenters.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-presenters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AASzD,OAAO,EAAwB,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAElF,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxF,OAAO,EAML,KAAK,mBAAmB,EACzB,MAAM,qBAAqB,CAAC;AAiB7B,OAAO,EAA2B,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAG5F,wEAAwE;AACxE,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,aAAa,CAAC;IACvB,yEAAyE;IACzE,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,UAAU,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,MAAM,GACN,iBAAiB,GACjB,oBAAoB,GACpB,OAAO,CAAC;AAEZ,6EAA6E;AAC7E,wBAAgB,yBAAyB,CAAC,OAAO,EAAE;IAAE,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,kBAAkB,GAAG,SAAS,CAIlI;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IACzC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,GAAG,UAAU,CASb;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAC1C;AAkCD,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,oBAAoB,GAAG,mBAAmB,CAIpF;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,oBAAoB,GAAG,mBAAmB,CAgBrF;AAoBD,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CA8BrB;AAED,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,oBAAoB,EACzB,KAAK,EAAE,OAAO,GACb,mBAAmB,CASrB;AAED,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,oBAAoB,EACzB,KAAK,EAAE,OAAO,GACb,mBAAmB,CAerB;AAED,wBAAgB,YAAY,CAC1B,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAwCrB;AAED,wBAAsB,UAAU,CAC9B,GAAG,EAAE,oBAAoB,EACzB,MAAM,EAAE,iBAAiB,EACzB,cAAc,EAAE,OAAO,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAmD9B;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,GAAG,IAAI,CAE3G;AAED,gFAAgF;AAChF,wBAAsB,8BAA8B,CAAC,KAAK,EAAE;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,QAAQ,EAAE,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,EAAE,iBAAiB,CAAC;CAC3B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAuC7B"}
|