@jeger-ai/opengantry 2.6.0 → 2.7.0
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 +5 -4
- package/dist/cli/commands/arch.d.ts.map +1 -1
- package/dist/cli/commands/arch.js +39 -87
- package/dist/cli/commands/arch.js.map +1 -1
- package/dist/cli/commands/init.d.ts.map +1 -1
- package/dist/cli/commands/init.js +18 -25
- package/dist/cli/commands/init.js.map +1 -1
- package/dist/cli/commands/onboarding.js +1 -1
- package/dist/cli/commands/onboarding.js.map +1 -1
- package/dist/cli/commands/perimeter.d.ts.map +1 -1
- package/dist/cli/commands/perimeter.js +3 -6
- package/dist/cli/commands/perimeter.js.map +1 -1
- package/dist/cli/commands/planner.d.ts.map +1 -1
- package/dist/cli/commands/planner.js +5 -17
- package/dist/cli/commands/planner.js.map +1 -1
- package/dist/cli/commands/upgrade.d.ts.map +1 -1
- package/dist/cli/commands/upgrade.js +6 -14
- package/dist/cli/commands/upgrade.js.map +1 -1
- package/dist/cli/commands/verify.d.ts.map +1 -1
- package/dist/cli/commands/verify.js +19 -27
- package/dist/cli/commands/verify.js.map +1 -1
- package/dist/cli/lib/command-boundary.d.ts +16 -0
- package/dist/cli/lib/command-boundary.d.ts.map +1 -0
- package/dist/cli/lib/command-boundary.js +45 -0
- package/dist/cli/lib/command-boundary.js.map +1 -0
- package/dist/cli/lib/command-reporter.d.ts +3 -3
- package/dist/cli/lib/command-reporter.d.ts.map +1 -1
- package/dist/cli/lib/context-feed-remediation.d.ts +1 -1
- package/dist/cli/lib/context-feed-remediation.d.ts.map +1 -1
- package/dist/cli/lib/defensive-guard.d.ts +2 -3
- package/dist/cli/lib/defensive-guard.d.ts.map +1 -1
- package/dist/cli/lib/defensive-guard.js +56 -69
- package/dist/cli/lib/defensive-guard.js.map +1 -1
- package/dist/cli/lib/errors.d.ts +8 -2
- package/dist/cli/lib/errors.d.ts.map +1 -1
- package/dist/cli/lib/errors.js +12 -8
- package/dist/cli/lib/errors.js.map +1 -1
- package/dist/cli/lib/executor-log-line-map.d.ts +0 -2
- package/dist/cli/lib/executor-log-line-map.d.ts.map +1 -1
- package/dist/cli/lib/executor-log-line-map.js +0 -5
- package/dist/cli/lib/executor-log-line-map.js.map +1 -1
- package/dist/cli/lib/git-proof.js +2 -2
- package/dist/cli/lib/gxt-error-codes.d.ts +4 -2
- package/dist/cli/lib/gxt-error-codes.d.ts.map +1 -1
- package/dist/cli/lib/gxt-error-codes.js +9 -7
- package/dist/cli/lib/gxt-error-codes.js.map +1 -1
- package/dist/cli/lib/init-plan.d.ts +3 -1
- package/dist/cli/lib/init-plan.d.ts.map +1 -1
- package/dist/cli/lib/init-plan.js +2 -5
- package/dist/cli/lib/init-plan.js.map +1 -1
- package/dist/cli/lib/init-tutorial.js +1 -1
- package/dist/cli/lib/init-tutorial.js.map +1 -1
- package/dist/cli/lib/kpi-engine.d.ts +2 -2
- package/dist/cli/lib/kpi-engine.d.ts.map +1 -1
- package/dist/cli/lib/kpi-engine.js +3 -2
- package/dist/cli/lib/kpi-engine.js.map +1 -1
- package/dist/cli/lib/mcp-governance.d.ts.map +1 -1
- package/dist/cli/lib/mcp-governance.js +15 -15
- package/dist/cli/lib/mcp-governance.js.map +1 -1
- package/dist/cli/lib/mcp-runtime.d.ts +2 -2
- package/dist/cli/lib/mcp-runtime.d.ts.map +1 -1
- package/dist/cli/lib/mcp-runtime.js +1 -1
- package/dist/cli/lib/mcp-runtime.js.map +1 -1
- package/dist/cli/lib/mcp-upgrade.js +2 -2
- package/dist/cli/lib/mcp-write-guard.d.ts +2 -2
- package/dist/cli/lib/mcp-write-guard.js +2 -2
- package/dist/cli/lib/missions/parser.js +4 -4
- package/dist/cli/lib/surgeons/registry.d.ts +3 -2
- package/dist/cli/lib/surgeons/registry.d.ts.map +1 -1
- package/dist/cli/lib/surgeons/registry.js.map +1 -1
- package/dist/cli/lib/trace.d.ts +2 -1
- package/dist/cli/lib/trace.d.ts.map +1 -1
- package/dist/cli/lib/trace.js +21 -27
- package/dist/cli/lib/trace.js.map +1 -1
- package/dist/cli/lib/upgrade-apply.js +7 -7
- package/dist/cli/lib/verify-defensive-phase.d.ts +2 -13
- package/dist/cli/lib/verify-defensive-phase.d.ts.map +1 -1
- package/dist/cli/lib/verify-defensive-phase.js +11 -11
- package/dist/cli/lib/verify-defensive-phase.js.map +1 -1
- package/dist/cli/lib/verify-engine.d.ts +4 -36
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +28 -24
- package/dist/cli/lib/verify-engine.js.map +1 -1
- package/dist/cli/lib/verify-export.d.ts +1 -1
- package/dist/cli/lib/verify-export.d.ts.map +1 -1
- package/dist/cli/lib/verify-failure-normalize.d.ts +3 -9
- package/dist/cli/lib/verify-failure-normalize.d.ts.map +1 -1
- package/dist/cli/lib/verify-failure-normalize.js +91 -12
- package/dist/cli/lib/verify-failure-normalize.js.map +1 -1
- package/dist/cli/lib/verify-failure.d.ts +57 -0
- package/dist/cli/lib/verify-failure.d.ts.map +1 -0
- package/dist/cli/lib/verify-failure.js +2 -0
- package/dist/cli/lib/verify-failure.js.map +1 -0
- package/dist/cli/lib/verify-hints.d.ts +5 -18
- package/dist/cli/lib/verify-hints.d.ts.map +1 -1
- package/dist/cli/lib/verify-hints.js +40 -61
- package/dist/cli/lib/verify-hints.js.map +1 -1
- package/dist/cli/lib/verify-payload.d.ts +35 -2
- package/dist/cli/lib/verify-payload.d.ts.map +1 -1
- package/dist/cli/lib/verify-payload.js.map +1 -1
- package/dist/cli/lib/verify-presenters.d.ts +3 -0
- package/dist/cli/lib/verify-presenters.d.ts.map +1 -1
- package/dist/cli/lib/verify-presenters.js +18 -5
- package/dist/cli/lib/verify-presenters.js.map +1 -1
- package/dist/cli/lib/verify-run.d.ts +0 -2
- package/dist/cli/lib/verify-run.d.ts.map +1 -1
- package/dist/cli/lib/verify-run.js +2 -2
- package/dist/cli/lib/version.gen.d.ts +1 -1
- package/dist/cli/lib/version.gen.js +1 -1
- package/dist/cli/program-workflow.d.ts.map +1 -1
- package/dist/cli/program-workflow.js.map +1 -1
- package/package.json +1 -1
- package/templates/integrations/compatibility.json +1 -1
- package/dist/cli/lib/verify-failure-normalize-phases.d.ts +0 -9
- package/dist/cli/lib/verify-failure-normalize-phases.d.ts.map +0 -1
- package/dist/cli/lib/verify-failure-normalize-phases.js +0 -84
- package/dist/cli/lib/verify-failure-normalize-phases.js.map +0 -1
- package/dist/cli/lib/verify-payload-types.d.ts +0 -36
- package/dist/cli/lib/verify-payload-types.d.ts.map +0 -1
- package/dist/cli/lib/verify-payload-types.js +0 -2
- package/dist/cli/lib/verify-payload-types.js.map +0 -1
- package/dist/cli/lib/verify-presentation.d.ts +0 -15
- package/dist/cli/lib/verify-presentation.d.ts.map +0 -1
- package/dist/cli/lib/verify-presentation.js +0 -12
- package/dist/cli/lib/verify-presentation.js.map +0 -1
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type { VerifyResultPayload } from "./verify-payload
|
|
1
|
+
import type { VerifyResultPayload } from "./verify-payload.js";
|
|
2
2
|
export type VerifyExportFormat = "json" | "sarif" | "junit";
|
|
3
3
|
export declare function buildVerifyExportDocument(payload: VerifyResultPayload, format: VerifyExportFormat): string;
|
|
4
4
|
export declare function buildSarifDocument(payload: VerifyResultPayload): Record<string, unknown>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-export.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"verify-export.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC;AAa5D,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAaR;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiDxF;AAuBD,wBAAgB,aAAa,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAoBlE"}
|
|
@@ -3,8 +3,9 @@ import type { ParsedMission } from "./types.js";
|
|
|
3
3
|
import type { VerifyOptions, VerifyPhaseFailure } from "./verify-engine.js";
|
|
4
4
|
import { type AudienceTaggedStep } from "./verify-hints.js";
|
|
5
5
|
import { type RemediationSnapshot } from "./context-feed-store.js";
|
|
6
|
-
import type { VerifyFailedPayload } from "./verify-payload
|
|
7
|
-
/** Canonical verify-failure contract — single mapping for all sinks.
|
|
6
|
+
import type { VerifyFailedPayload } from "./verify-payload.js";
|
|
7
|
+
/** Canonical verify-failure contract — single mapping for all sinks.
|
|
8
|
+
* Gate output lives in the single `gate` field; sink projections rename at their boundary. */
|
|
8
9
|
export interface NormalizedVerifyFailure {
|
|
9
10
|
phase: string;
|
|
10
11
|
message: string;
|
|
@@ -15,16 +16,9 @@ export interface NormalizedVerifyFailure {
|
|
|
15
16
|
tagged_steps?: AudienceTaggedStep[];
|
|
16
17
|
headline: string;
|
|
17
18
|
detail_lines: string[];
|
|
18
|
-
stdout?: string;
|
|
19
|
-
stderr?: string;
|
|
20
19
|
failures?: string[];
|
|
21
20
|
gate?: RemediationSnapshot["gate"];
|
|
22
21
|
kpi?: RemediationSnapshot["kpi"];
|
|
23
|
-
presentation_gate?: {
|
|
24
|
-
stdout?: string;
|
|
25
|
-
stderr?: string;
|
|
26
|
-
exitCode?: number;
|
|
27
|
-
};
|
|
28
22
|
trace?: {
|
|
29
23
|
failures?: string[];
|
|
30
24
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure-normalize.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-failure-normalize.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE5E,OAAO,EAAuB,KAAK,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D;8FAC8F;AAC9F,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnC,GAAG,CAAC,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAChC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,2BAA2B,GAAG,IAAI,CAC5C,uBAAuB,EACrB,OAAO,GACP,SAAS,GACT,WAAW,GACX,YAAY,GACZ,WAAW,GACX,cAAc,GACd,cAAc,GACd,mBAAmB,GACnB,QAAQ,CACX,CAAC;AAEF,MAAM,WAAW,8BAA8B;IAC7C,OAAO,EAAE,kBAAkB,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,YAAY,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CACjC;AAED,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,kBAAkB,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,aAAa,GAAG,IAAI,CAAC;CAChC;AAgHD,8FAA8F;AAC9F,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,0BAA0B,GAAG,uBAAuB,CAgCtG;AAED,uDAAuD;AACvD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAyB5E;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,uBAAuB,GAAG,mBAAmB,CAa9F;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,uBAAuB,GAAG,yBAAyB,CAoBpG;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,uBAAuB,GAAG,mBAAmB,CAgB9F"}
|
|
@@ -1,9 +1,80 @@
|
|
|
1
|
-
import { GXT_ERROR,
|
|
1
|
+
import { GXT_ERROR, gxtCodeFromGantryUserError } from "./gxt-error-codes.js";
|
|
2
2
|
import { errorMessage, toPosixRel } from "./cli-io.js";
|
|
3
|
-
import {
|
|
4
|
-
import {
|
|
3
|
+
import { isGantryUserError } from "./errors.js";
|
|
4
|
+
import { CLI_NAME } from "./constants.js";
|
|
5
|
+
import { hintsForVerifyPhase } from "./verify-hints.js";
|
|
5
6
|
import { REMEDIATION_SCHEMA_VERSION, } from "./context-feed-store.js";
|
|
6
|
-
|
|
7
|
+
function normalizeGitProofPhase(base) {
|
|
8
|
+
return { ...base, headline: base.message, detail_lines: [] };
|
|
9
|
+
}
|
|
10
|
+
function normalizeGatePhase(base, failure) {
|
|
11
|
+
return {
|
|
12
|
+
...base,
|
|
13
|
+
headline: "verify: GATE FAILED",
|
|
14
|
+
detail_lines: [
|
|
15
|
+
...(failure.gateStdout !== undefined ? [`--- stdout ---\n${failure.gateStdout}`] : []),
|
|
16
|
+
...(failure.gateStderr !== undefined ? [`--- stderr ---\n${failure.gateStderr}`] : []),
|
|
17
|
+
...(failure.gateExitCode !== undefined ? [`exit code: ${String(failure.gateExitCode)}`] : []),
|
|
18
|
+
],
|
|
19
|
+
gate: {
|
|
20
|
+
...(failure.gateStdout !== undefined ? { stdout: failure.gateStdout } : {}),
|
|
21
|
+
...(failure.gateStderr !== undefined ? { stderr: failure.gateStderr } : {}),
|
|
22
|
+
...(failure.gateExitCode !== undefined ? { exit_code: failure.gateExitCode } : {}),
|
|
23
|
+
},
|
|
24
|
+
};
|
|
25
|
+
}
|
|
26
|
+
function normalizeDefensivePhase(base, failure) {
|
|
27
|
+
const reason = failure.defensiveReason;
|
|
28
|
+
return {
|
|
29
|
+
...base,
|
|
30
|
+
headline: "verify: DEFENSIVE GUARD FAILED",
|
|
31
|
+
detail_lines: [
|
|
32
|
+
reason,
|
|
33
|
+
...(failure.defensiveNetLoc !== undefined
|
|
34
|
+
? [`net_loc: ${String(failure.defensiveNetLoc)} (max: ${String(failure.defensiveMaxNetLoc ?? "?")})`]
|
|
35
|
+
: []),
|
|
36
|
+
],
|
|
37
|
+
failures: [reason],
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
function normalizeKpiPhase(base, failure) {
|
|
41
|
+
const reason = failure.kpiReason;
|
|
42
|
+
return {
|
|
43
|
+
...base,
|
|
44
|
+
headline: "verify: KPI GATE FAILED",
|
|
45
|
+
detail_lines: [
|
|
46
|
+
reason,
|
|
47
|
+
...(failure.kpiMetric
|
|
48
|
+
? [`metric: ${failure.kpiMetric} ${failure.kpiOp ?? ""} ${String(failure.kpiExpected ?? "")} (actual: ${String(failure.kpiActual ?? "missing")})`]
|
|
49
|
+
: []),
|
|
50
|
+
`report: ${failure.kpiReportPath}`,
|
|
51
|
+
],
|
|
52
|
+
failures: [reason],
|
|
53
|
+
kpi: {
|
|
54
|
+
...(failure.kpiMetric ? { metric: failure.kpiMetric } : {}),
|
|
55
|
+
...(failure.kpiOp ? { op: failure.kpiOp } : {}),
|
|
56
|
+
...(failure.kpiExpected !== undefined ? { expected: failure.kpiExpected } : {}),
|
|
57
|
+
...(failure.kpiActual !== undefined ? { actual: failure.kpiActual } : {}),
|
|
58
|
+
report_path: failure.kpiReportPath,
|
|
59
|
+
},
|
|
60
|
+
};
|
|
61
|
+
}
|
|
62
|
+
function normalizeTracePendingPhase(base, failure) {
|
|
63
|
+
return {
|
|
64
|
+
...base,
|
|
65
|
+
headline: `${CLI_NAME} verify: legislative stub complete (git-proof OK) — executor must execute, append ${failure.executorLogPath}, set trace row PASS, then re-verify`,
|
|
66
|
+
detail_lines: [],
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
function normalizeTracePhase(base, failure) {
|
|
70
|
+
return {
|
|
71
|
+
...base,
|
|
72
|
+
headline: "verify: TRACE MAPPING FAILED (Evidence Tampering / missing evidence)",
|
|
73
|
+
detail_lines: [`DoD trace failure: ${failure.traceReason}`],
|
|
74
|
+
failures: [`DoD trace: ${failure.traceReason}`],
|
|
75
|
+
trace: { failures: [`DoD trace: ${failure.traceReason}`] },
|
|
76
|
+
};
|
|
77
|
+
}
|
|
7
78
|
function remediationMeta(root, mission, missionArg, msnId) {
|
|
8
79
|
if (mission) {
|
|
9
80
|
return {
|
|
@@ -18,8 +89,8 @@ function remediationMeta(root, mission, missionArg, msnId) {
|
|
|
18
89
|
}
|
|
19
90
|
/** Map engine phase failure to canonical contract (hints + phase artifacts in one switch). */
|
|
20
91
|
export function normalizeVerifyPhaseFailure(input) {
|
|
21
|
-
const { failure, missionArg, root, msnId,
|
|
22
|
-
const remediation = hintsForVerifyPhase(failure
|
|
92
|
+
const { failure, missionArg, root, msnId, mission } = input;
|
|
93
|
+
const remediation = hintsForVerifyPhase(failure, { missionPath: missionArg, root, msnId });
|
|
23
94
|
const base = {
|
|
24
95
|
phase: failure.phase,
|
|
25
96
|
message: failure.message,
|
|
@@ -44,15 +115,15 @@ export function normalizeVerifyPhaseFailure(input) {
|
|
|
44
115
|
case "trace":
|
|
45
116
|
return normalizeTracePhase(base, failure);
|
|
46
117
|
default: {
|
|
47
|
-
const _exhaustive = failure
|
|
118
|
+
const _exhaustive = failure;
|
|
48
119
|
return _exhaustive;
|
|
49
120
|
}
|
|
50
121
|
}
|
|
51
122
|
}
|
|
52
123
|
/** Map init/pre-phase errors to canonical contract. */
|
|
53
124
|
export function normalizeInitFailure(error) {
|
|
54
|
-
if (
|
|
55
|
-
const errorCode =
|
|
125
|
+
if (isGantryUserError(error)) {
|
|
126
|
+
const errorCode = gxtCodeFromGantryUserError(error.code);
|
|
56
127
|
return {
|
|
57
128
|
phase: "init",
|
|
58
129
|
message: error.message,
|
|
@@ -85,8 +156,8 @@ export function toVerifyFailedPayload(normalized) {
|
|
|
85
156
|
fix_hints: normalized.fix_hints,
|
|
86
157
|
next_actions: normalized.next_actions,
|
|
87
158
|
exit_code: normalized.exit_code,
|
|
88
|
-
...(normalized.stdout !== undefined ? { stdout: normalized.stdout } : {}),
|
|
89
|
-
...(normalized.stderr !== undefined ? { stderr: normalized.stderr } : {}),
|
|
159
|
+
...(normalized.gate?.stdout !== undefined ? { stdout: normalized.gate.stdout } : {}),
|
|
160
|
+
...(normalized.gate?.stderr !== undefined ? { stderr: normalized.gate.stderr } : {}),
|
|
90
161
|
...(normalized.failures ? { failures: normalized.failures } : {}),
|
|
91
162
|
};
|
|
92
163
|
}
|
|
@@ -99,7 +170,15 @@ export function toFailurePresentation(normalized) {
|
|
|
99
170
|
next_actions: normalized.next_actions,
|
|
100
171
|
tagged_steps: normalized.tagged_steps,
|
|
101
172
|
exit_code: normalized.exit_code,
|
|
102
|
-
...(normalized.
|
|
173
|
+
...(normalized.gate
|
|
174
|
+
? {
|
|
175
|
+
gate: {
|
|
176
|
+
stdout: normalized.gate.stdout,
|
|
177
|
+
stderr: normalized.gate.stderr,
|
|
178
|
+
exitCode: normalized.gate.exit_code,
|
|
179
|
+
},
|
|
180
|
+
}
|
|
181
|
+
: {}),
|
|
103
182
|
...(normalized.trace ? { trace: normalized.trace } : {}),
|
|
104
183
|
};
|
|
105
184
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure-normalize.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAE7E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,
|
|
1
|
+
{"version":3,"file":"verify-failure-normalize.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-normalize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAE7E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGhD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA2B,MAAM,mBAAmB,CAAC;AACjF,OAAO,EACL,0BAA0B,GAE3B,MAAM,yBAAyB,CAAC;AAwEjC,SAAS,sBAAsB,CAAC,IAAiC;IAC/D,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAiC,EACjC,OAAoB;IAEpB,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,qBAAqB;QAC/B,YAAY,EAAE;YACZ,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9F;QACD,IAAI,EAAE;YACJ,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAiC,EACjC,OAAyB;IAEzB,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IACvC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,gCAAgC;QAC1C,YAAY,EAAE;YACZ,MAAM;YACN,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS;gBACvC,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,UAAU,MAAM,CAAC,OAAO,CAAC,kBAAkB,IAAI,GAAG,CAAC,GAAG,CAAC;gBACrG,CAAC,CAAC,EAAE,CAAC;SACR;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAiC,EACjC,OAAmB;IAEnB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,yBAAyB;QACnC,YAAY,EAAE;YACZ,MAAM;YACN,GAAG,CAAC,OAAO,CAAC,SAAS;gBACnB,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,IAAI,EAAE,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC;gBAClJ,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,OAAO,CAAC,aAAa,EAAE;SACnC;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,GAAG,EAAE;YACH,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,WAAW,EAAE,OAAO,CAAC,aAAa;SACnC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAiC,EACjC,OAA4B;IAE5B,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,GAAG,QAAQ,qFAAqF,OAAO,CAAC,eAAe,sCAAsC;QACvK,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAiC,EACjC,OAAqB;IAErB,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,sEAAsE;QAChF,YAAY,EAAE,CAAC,sBAAsB,OAAO,CAAC,WAAW,EAAE,CAAC;QAC3D,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC;QAC/C,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,IAAwB,EACxB,OAAyC,EACzC,UAAkB,EAClB,KAAyB;IAEzB,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,iBAAiB,EAAE,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC;YACrE,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,2BAA2B,CAAC,KAAiC;IAC3E,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC5D,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,QAAQ;QAC3B,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC;KAC7D,CAAC;IAEF,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,MAAM;YACT,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChD,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,eAAe;YAClB,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,KAAK,OAAO;YACV,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzD,OAAO;YACL,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,QAAQ;YACzB,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;YACzC,YAAY,EAAE,EAAE;YAChB,QAAQ,EAAE,KAAK,CAAC,OAAO;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO;QACL,KAAK,EAAE,MAAM;QACb,OAAO;QACP,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,SAAS,CAAC,WAAW;QACjC,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAmC;IACvE,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,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,MAAM,UAAU,qBAAqB,CAAC,UAAmC;IACvE,OAAO;QACL,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,GAAG,CAAC,UAAU,CAAC,IAAI;YACjB,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;oBAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM;oBAC9B,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS;iBACpC;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,UAAmC;IACvE,OAAO;QACL,cAAc,EAAE,0BAA0B;QAC1C,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
import type { KpiThresholdOp } from "./types.js";
|
|
2
|
+
import type { TraceFailureKind } from "./trace.js";
|
|
3
|
+
export type VerifyFailurePhase = "git_proof" | "gate" | "defensive" | "kpi" | "trace_pending" | "trace";
|
|
4
|
+
export type KpiFailureKind = "missing" | "invalid" | "stale" | "threshold" | "exit_code";
|
|
5
|
+
interface VerifyFailureBase {
|
|
6
|
+
ok: false;
|
|
7
|
+
message: string;
|
|
8
|
+
exitCode: number;
|
|
9
|
+
executorLogPath: string;
|
|
10
|
+
}
|
|
11
|
+
export interface GitProofFailure extends VerifyFailureBase {
|
|
12
|
+
phase: "git_proof";
|
|
13
|
+
gitProofMessage: string;
|
|
14
|
+
}
|
|
15
|
+
export interface GateFailure extends VerifyFailureBase {
|
|
16
|
+
phase: "gate";
|
|
17
|
+
/** Absent only for the "mission has no gate_command" failure. */
|
|
18
|
+
gateCommand?: string;
|
|
19
|
+
gateStdout?: string;
|
|
20
|
+
gateStderr?: string;
|
|
21
|
+
gateExitCode?: number;
|
|
22
|
+
}
|
|
23
|
+
export interface DefensiveFailure extends VerifyFailureBase {
|
|
24
|
+
phase: "defensive";
|
|
25
|
+
defensiveReason: string;
|
|
26
|
+
defensiveNetLoc?: number;
|
|
27
|
+
defensiveMaxNetLoc?: number;
|
|
28
|
+
defensiveWarnings?: string[];
|
|
29
|
+
defensiveAudits?: string[];
|
|
30
|
+
}
|
|
31
|
+
export interface KpiFailure extends VerifyFailureBase {
|
|
32
|
+
phase: "kpi";
|
|
33
|
+
kpiKind: KpiFailureKind;
|
|
34
|
+
kpiReason: string;
|
|
35
|
+
kpiReportPath: string;
|
|
36
|
+
kpiMetric?: string;
|
|
37
|
+
kpiOp?: KpiThresholdOp;
|
|
38
|
+
kpiExpected?: number;
|
|
39
|
+
kpiActual?: number | boolean;
|
|
40
|
+
kpiStalePaths?: string[];
|
|
41
|
+
}
|
|
42
|
+
export interface TracePendingFailure extends VerifyFailureBase {
|
|
43
|
+
phase: "trace_pending";
|
|
44
|
+
gateCommand?: string;
|
|
45
|
+
}
|
|
46
|
+
export interface TraceFailure extends VerifyFailureBase {
|
|
47
|
+
phase: "trace";
|
|
48
|
+
traceKind: TraceFailureKind;
|
|
49
|
+
traceReason: string;
|
|
50
|
+
traceQuote: string;
|
|
51
|
+
attestationCommit?: string;
|
|
52
|
+
stalePaths?: string[];
|
|
53
|
+
}
|
|
54
|
+
/** Discriminated on `phase` — phase-specific fields exist only on their variant. */
|
|
55
|
+
export type VerifyPhaseFailure = GitProofFailure | GateFailure | DefensiveFailure | KpiFailure | TracePendingFailure | TraceFailure;
|
|
56
|
+
export {};
|
|
57
|
+
//# sourceMappingURL=verify-failure.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-failure.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,KAAK,GAAG,eAAe,GAAG,OAAO,CAAC;AAExG,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAEzF,UAAU,iBAAiB;IACzB,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,iBAAiB;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,UAAW,SAAQ,iBAAiB;IACnD,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,gBAAgB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,oFAAoF;AACpF,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,WAAW,GACX,gBAAgB,GAChB,UAAU,GACV,mBAAmB,GACnB,YAAY,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-failure.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":""}
|
|
@@ -1,7 +1,6 @@
|
|
|
1
1
|
import type { OutputAudience } from "./audience-output.js";
|
|
2
2
|
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
3
|
-
import type {
|
|
4
|
-
import type { VerifyFailurePhase, VerifyOptions, VerifyPhaseFailure, KpiFailureKind } from "./verify-engine.js";
|
|
3
|
+
import type { VerifyPhaseFailure } from "./verify-engine.js";
|
|
5
4
|
export interface AudienceTaggedStep {
|
|
6
5
|
audience: OutputAudience;
|
|
7
6
|
step: string;
|
|
@@ -12,23 +11,11 @@ export interface VerifyRemediation {
|
|
|
12
11
|
next_actions: string[];
|
|
13
12
|
tagged_steps?: AudienceTaggedStep[];
|
|
14
13
|
}
|
|
15
|
-
|
|
16
|
-
|
|
14
|
+
/** Mission/repo coordinates shared by every remediation, independent of the failing phase. */
|
|
15
|
+
export interface VerifyHintMeta {
|
|
17
16
|
missionPath: string;
|
|
17
|
+
root?: string;
|
|
18
18
|
msnId?: string;
|
|
19
|
-
executorLogPath?: string;
|
|
20
|
-
gateCommand?: string;
|
|
21
|
-
gitProofMessage?: string;
|
|
22
|
-
strictTrace?: boolean;
|
|
23
|
-
traceKind?: TraceFailureKind;
|
|
24
|
-
traceQuote?: string;
|
|
25
|
-
traceFailureReason?: string;
|
|
26
|
-
kpiFailureReason?: string;
|
|
27
|
-
kpiKind?: KpiFailureKind;
|
|
28
|
-
defensiveReason?: string;
|
|
29
|
-
gateStderr?: string;
|
|
30
|
-
gateStdout?: string;
|
|
31
19
|
}
|
|
32
|
-
export declare function
|
|
33
|
-
export declare function hintsForVerifyPhase(phase: VerifyFailurePhase, ctx: VerifyHintContext): VerifyRemediation;
|
|
20
|
+
export declare function hintsForVerifyPhase(failure: VerifyPhaseFailure, meta: VerifyHintMeta): VerifyRemediation;
|
|
34
21
|
//# sourceMappingURL=verify-hints.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-hints.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAYzD,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"verify-hints.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAYzD,OAAO,KAAK,EAQV,kBAAkB,EACnB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,cAAc,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,YAAY,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,CAAC,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAED,8FAA8F;AAC9F,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAmJD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,kBAAkB,EAC3B,IAAI,EAAE,cAAc,GACnB,iBAAiB,CAmBnB"}
|
|
@@ -2,39 +2,20 @@ import { GXT_ERROR, mapGitProofCodeToGxt } from "./gxt-error-codes.js";
|
|
|
2
2
|
import { gateOutputIndicatesBannedImport } from "./banned-import-violation.js";
|
|
3
3
|
import { gateOutputIndicatesImportLayer } from "./surgeon.js";
|
|
4
4
|
import { hintForTraceKind, hintGate, hintGitProof, hintTracePendingSteps, parseGitProofCode, parseMsnIdFromGitProofMessage, } from "./fix-hints.js";
|
|
5
|
-
export function buildVerifyHintContext(failure, missionArg, options, root, msnId) {
|
|
6
|
-
return {
|
|
7
|
-
root,
|
|
8
|
-
missionPath: missionArg,
|
|
9
|
-
msnId,
|
|
10
|
-
executorLogPath: failure.executorLogPath,
|
|
11
|
-
gateCommand: failure.gateCommand,
|
|
12
|
-
gitProofMessage: failure.gitProofMessage ?? failure.message,
|
|
13
|
-
traceKind: failure.traceKind,
|
|
14
|
-
traceQuote: failure.traceQuote,
|
|
15
|
-
traceFailureReason: failure.traceReason,
|
|
16
|
-
kpiFailureReason: failure.kpiReason ?? failure.message,
|
|
17
|
-
kpiKind: failure.kpiKind,
|
|
18
|
-
gateStderr: failure.gateStderr,
|
|
19
|
-
gateStdout: failure.gateStdout,
|
|
20
|
-
defensiveReason: failure.defensiveReason,
|
|
21
|
-
strictTrace: options.strictTrace,
|
|
22
|
-
};
|
|
23
|
-
}
|
|
24
5
|
function tagStep(audience, step) {
|
|
25
6
|
return { audience, step };
|
|
26
7
|
}
|
|
27
8
|
function verifyCmd(mission) {
|
|
28
9
|
return `gantry verify --mission ${mission}`;
|
|
29
10
|
}
|
|
30
|
-
function hintsForGitProofPhase(
|
|
31
|
-
const mission =
|
|
11
|
+
function hintsForGitProofPhase(failure, meta) {
|
|
12
|
+
const mission = meta.missionPath;
|
|
32
13
|
const verifyCmdStr = verifyCmd(mission);
|
|
33
|
-
const code = parseGitProofCode(
|
|
14
|
+
const code = parseGitProofCode(failure.gitProofMessage);
|
|
34
15
|
const gitCtx = {
|
|
35
|
-
root:
|
|
16
|
+
root: meta.root,
|
|
36
17
|
missionPath: mission,
|
|
37
|
-
msnId:
|
|
18
|
+
msnId: meta.msnId ?? parseMsnIdFromGitProofMessage(failure.gitProofMessage),
|
|
38
19
|
repoRelMission: mission,
|
|
39
20
|
};
|
|
40
21
|
const hint = code ? hintGitProof(code, gitCtx) : verifyCmdStr;
|
|
@@ -55,13 +36,13 @@ function hintsForGitProofPhase(ctx) {
|
|
|
55
36
|
tagged_steps,
|
|
56
37
|
};
|
|
57
38
|
}
|
|
58
|
-
function hintsForGatePhase(
|
|
59
|
-
const mission =
|
|
39
|
+
function hintsForGatePhase(failure, meta) {
|
|
40
|
+
const mission = meta.missionPath;
|
|
60
41
|
const verifyCmdStr = verifyCmd(mission);
|
|
61
|
-
const gate =
|
|
62
|
-
const combined = `${
|
|
63
|
-
const errorCode = gateOutputIndicatesImportLayer(
|
|
64
|
-
|| gateOutputIndicatesImportLayer(
|
|
42
|
+
const gate = failure.gateCommand ?? "<gate>";
|
|
43
|
+
const combined = `${failure.gateStderr ?? ""}\n${failure.gateStdout ?? ""}`;
|
|
44
|
+
const errorCode = gateOutputIndicatesImportLayer(failure.gateStdout ?? "")
|
|
45
|
+
|| gateOutputIndicatesImportLayer(failure.gateStderr ?? "")
|
|
65
46
|
? GXT_ERROR.IMPORT_LAYER_VIOLATION
|
|
66
47
|
: gateOutputIndicatesBannedImport(combined)
|
|
67
48
|
? GXT_ERROR.BANNED_IMPORT_DETECTED
|
|
@@ -87,27 +68,26 @@ function kpiErrorCodeForKind(kind) {
|
|
|
87
68
|
case "threshold":
|
|
88
69
|
case "exit_code":
|
|
89
70
|
return GXT_ERROR.KPI_GATE_FAILED;
|
|
90
|
-
default:
|
|
91
|
-
|
|
71
|
+
default: {
|
|
72
|
+
const _exhaustive = kind;
|
|
73
|
+
return _exhaustive;
|
|
74
|
+
}
|
|
92
75
|
}
|
|
93
76
|
}
|
|
94
|
-
function hintsForDefensivePhase(
|
|
95
|
-
const
|
|
96
|
-
const verifyCmdStr = verifyCmd(mission);
|
|
97
|
-
const reason = ctx.defensiveReason ?? "defensive guard failed";
|
|
77
|
+
function hintsForDefensivePhase(failure, meta) {
|
|
78
|
+
const verifyCmdStr = verifyCmd(meta.missionPath);
|
|
98
79
|
return {
|
|
99
80
|
error_code: GXT_ERROR.DEFENSIVE_GUARD_FAILED,
|
|
100
|
-
fix_hints: [
|
|
81
|
+
fix_hints: [failure.defensiveReason, "reduce TMVC diff size or adjust defensive_profile.guards.net_loc_budget"],
|
|
101
82
|
next_actions: [verifyCmdStr],
|
|
102
83
|
tagged_steps: [tagStep("executor", "reduce diff churn in mission TMVC roots"), tagStep("verifier", verifyCmdStr)],
|
|
103
84
|
};
|
|
104
85
|
}
|
|
105
|
-
function hintsForKpiPhase(
|
|
106
|
-
const mission =
|
|
86
|
+
function hintsForKpiPhase(failure, meta) {
|
|
87
|
+
const mission = meta.missionPath;
|
|
107
88
|
const verifyCmdStr = verifyCmd(mission);
|
|
108
|
-
const errorCode = kpiErrorCodeForKind(ctx.kpiKind);
|
|
109
89
|
return {
|
|
110
|
-
error_code:
|
|
90
|
+
error_code: kpiErrorCodeForKind(failure.kpiKind),
|
|
111
91
|
fix_hints: [
|
|
112
92
|
`gantry scan --mission ${mission}`,
|
|
113
93
|
`commit updated KPI report under .gitagent/kpi/`,
|
|
@@ -120,10 +100,9 @@ function hintsForKpiPhase(ctx) {
|
|
|
120
100
|
],
|
|
121
101
|
};
|
|
122
102
|
}
|
|
123
|
-
function hintsForTracePendingPhase(
|
|
124
|
-
const mission =
|
|
125
|
-
const
|
|
126
|
-
const steps = hintTracePendingSteps(executorLog, mission, ctx.gateCommand);
|
|
103
|
+
function hintsForTracePendingPhase(failure, meta) {
|
|
104
|
+
const mission = meta.missionPath;
|
|
105
|
+
const steps = hintTracePendingSteps(failure.executorLogPath, mission, failure.gateCommand);
|
|
127
106
|
return {
|
|
128
107
|
error_code: GXT_ERROR.TRACE_PENDING,
|
|
129
108
|
fix_hints: steps.slice(0, 3),
|
|
@@ -136,15 +115,15 @@ function hintsForTracePendingPhase(ctx) {
|
|
|
136
115
|
],
|
|
137
116
|
};
|
|
138
117
|
}
|
|
139
|
-
function hintsForTracePhase(
|
|
140
|
-
const mission =
|
|
141
|
-
const executorLog = ctx.executorLogPath ?? "EXECUTOR_LOG.md";
|
|
118
|
+
function hintsForTracePhase(failure, meta) {
|
|
119
|
+
const mission = meta.missionPath;
|
|
142
120
|
const verifyCmdStr = verifyCmd(mission);
|
|
143
|
-
const
|
|
144
|
-
|
|
145
|
-
|
|
121
|
+
const hints = [
|
|
122
|
+
hintForTraceKind(failure.traceKind, failure.executorLogPath, mission, failure.traceQuote),
|
|
123
|
+
];
|
|
124
|
+
const errorCode = failure.traceKind === "ambiguous"
|
|
146
125
|
? GXT_ERROR.TRACE_AMBIGUOUS
|
|
147
|
-
: traceKind === "stale_evidence"
|
|
126
|
+
: failure.traceKind === "stale_evidence"
|
|
148
127
|
? GXT_ERROR.TRACE_STALE
|
|
149
128
|
: GXT_ERROR.TRACE_MISSING;
|
|
150
129
|
return {
|
|
@@ -157,22 +136,22 @@ function hintsForTracePhase(ctx) {
|
|
|
157
136
|
],
|
|
158
137
|
};
|
|
159
138
|
}
|
|
160
|
-
export function hintsForVerifyPhase(
|
|
161
|
-
switch (phase) {
|
|
139
|
+
export function hintsForVerifyPhase(failure, meta) {
|
|
140
|
+
switch (failure.phase) {
|
|
162
141
|
case "git_proof":
|
|
163
|
-
return hintsForGitProofPhase(
|
|
142
|
+
return hintsForGitProofPhase(failure, meta);
|
|
164
143
|
case "gate":
|
|
165
|
-
return hintsForGatePhase(
|
|
144
|
+
return hintsForGatePhase(failure, meta);
|
|
166
145
|
case "defensive":
|
|
167
|
-
return hintsForDefensivePhase(
|
|
146
|
+
return hintsForDefensivePhase(failure, meta);
|
|
168
147
|
case "kpi":
|
|
169
|
-
return hintsForKpiPhase(
|
|
148
|
+
return hintsForKpiPhase(failure, meta);
|
|
170
149
|
case "trace_pending":
|
|
171
|
-
return hintsForTracePendingPhase(
|
|
150
|
+
return hintsForTracePendingPhase(failure, meta);
|
|
172
151
|
case "trace":
|
|
173
|
-
return hintsForTracePhase(
|
|
152
|
+
return hintsForTracePhase(failure, meta);
|
|
174
153
|
default: {
|
|
175
|
-
const _exhaustive =
|
|
154
|
+
const _exhaustive = failure;
|
|
176
155
|
return _exhaustive;
|
|
177
156
|
}
|
|
178
157
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-hints.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,GAC9B,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-hints.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-hints.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,GAC9B,MAAM,gBAAgB,CAAC;AA+BxB,SAAS,OAAO,CAAC,QAAwB,EAAE,IAAY;IACrD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,SAAS,CAAC,OAAe;IAChC,OAAO,2BAA2B,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAwB,EAAE,IAAoB;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,OAAO;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,6BAA6B,CAAC,OAAO,CAAC,eAAe,CAAC;QAC3E,cAAc,EAAE,OAAO;KACxB,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IAC9D,MAAM,WAAW,GACf,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,sCAAsC;QAC1E,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,EAAE,+CAA+C,EAAE,YAAY,CAAC;QACvF,CAAC,CAAC,CAAC,+CAA+C,EAAE,YAAY,CAAC,CAAC;IACtE,MAAM,YAAY,GAAyB;QACzC,OAAO,CAAC,SAAS,EAAE,+CAA+C,CAAC;QACnE,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;KAClC,CAAC;IACF,IAAI,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,sCAAsC,EAAE,CAAC;QACjF,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,iBAAiB;QAC3E,SAAS,EAAE,CAAC,IAAI,CAAC;QACjB,YAAY,EAAE,WAAW;QACzB,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAoB,EAAE,IAAoB;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,IAAI,QAAQ,CAAC;IAC7C,MAAM,QAAQ,GAAG,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,KAAK,OAAO,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;IAC5E,MAAM,SAAS,GAAG,8BAA8B,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;WACrE,8BAA8B,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC,sBAAsB;QAClC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC;YACzC,CAAC,CAAC,SAAS,CAAC,sBAAsB;YAClC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC;IAC5B,OAAO;QACL,UAAU,EAAE,SAAS;QACrB,SAAS,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,YAAY,EAAE,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,CAAC;QACpD,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,gBAAgB,IAAI,EAAE,CAAC;YAC3C,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAoB;IAC/C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,kBAAkB,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,kBAAkB,CAAC;QACtC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,gBAAgB,CAAC;QACpC,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,SAAS,CAAC,eAAe,CAAC;QACnC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAyB,EAAE,IAAoB;IAC7E,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,sBAAsB;QAC5C,SAAS,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,yEAAyE,CAAC;QAC/G,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,YAAY,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,yCAAyC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;KAClH,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAmB,EAAE,IAAoB;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,OAAO;QACL,UAAU,EAAE,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC;QAChD,SAAS,EAAE;YACT,yBAAyB,OAAO,EAAE;YAClC,gDAAgD;YAChD,YAAY;SACb;QACD,YAAY,EAAE,CAAC,yBAAyB,OAAO,EAAE,EAAE,YAAY,CAAC;QAChE,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,yBAAyB,OAAO,EAAE,CAAC;YACvD,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA4B,EAAE,IAAoB;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3F,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,aAAa;QACnC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5B,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAqB,EAAE,IAAoB;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa;QACtB,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC;KAC1F,CAAC;IACF,MAAM,SAAS,GACb,OAAO,CAAC,SAAS,KAAK,WAAW;QAC/B,CAAC,CAAC,SAAS,CAAC,eAAe;QAC3B,CAAC,CAAC,OAAO,CAAC,SAAS,KAAK,gBAAgB;YACtC,CAAC,CAAC,SAAS,CAAC,WAAW;YACvB,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC;IAChC,OAAO;QACL,UAAU,EAAE,SAAS;QACrB,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,CAAC,YAAY,EAAE,2BAA2B,OAAO,QAAQ,CAAC;QACxE,YAAY,EAAE;YACZ,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;YACjC,OAAO,CAAC,UAAU,EAAE,2BAA2B,OAAO,QAAQ,CAAC;SAChE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAA2B,EAC3B,IAAoB;IAEpB,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9C,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/C,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzC,KAAK,eAAe;YAClB,OAAO,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1,7 +1,40 @@
|
|
|
1
1
|
import type { Manifest, ParsedMission } from "./types.js";
|
|
2
2
|
import { type VerifyOptions, type VerifyPhaseResult } from "./verify-engine.js";
|
|
3
|
-
|
|
4
|
-
|
|
3
|
+
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
4
|
+
export interface VerifyTraceWarningJson {
|
|
5
|
+
dod_id: string;
|
|
6
|
+
declared_line: number;
|
|
7
|
+
found_line: number;
|
|
8
|
+
auto_resolved?: boolean;
|
|
9
|
+
}
|
|
10
|
+
export interface VerifyPassedPayload {
|
|
11
|
+
status: "passed";
|
|
12
|
+
phase: "full" | "pre_push_stub" | "break_glass";
|
|
13
|
+
exit_code: 0;
|
|
14
|
+
msn_id?: string;
|
|
15
|
+
mission_file_path?: string;
|
|
16
|
+
message?: string;
|
|
17
|
+
audit_commit?: string;
|
|
18
|
+
trace_warnings?: VerifyTraceWarningJson[];
|
|
19
|
+
git_proof_warnings?: string[];
|
|
20
|
+
kpi_warnings?: string[];
|
|
21
|
+
defensive_warnings?: string[];
|
|
22
|
+
defensive_audits?: string[];
|
|
23
|
+
trace_evidence_skipped_uncommitted?: number;
|
|
24
|
+
}
|
|
25
|
+
export interface VerifyFailedPayload {
|
|
26
|
+
status: "failed";
|
|
27
|
+
phase: string;
|
|
28
|
+
message: string;
|
|
29
|
+
error_code: GxtErrorCode;
|
|
30
|
+
fix_hints: string[];
|
|
31
|
+
next_actions: string[];
|
|
32
|
+
exit_code: number;
|
|
33
|
+
stdout?: string;
|
|
34
|
+
stderr?: string;
|
|
35
|
+
failures?: string[];
|
|
36
|
+
}
|
|
37
|
+
export type VerifyResultPayload = VerifyPassedPayload | VerifyFailedPayload;
|
|
5
38
|
export declare function buildBreakGlassPayload(root: string, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
6
39
|
export declare function initFailurePayload(e: unknown): VerifyFailedPayload;
|
|
7
40
|
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, _manifest: Manifest, result: VerifyPhaseResult): VerifyResultPayload;
|
|
@@ -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,aAAa,EAClB,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAS5B,YAAY,
|
|
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,aAAa,EAClB,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAS5B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEzD,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,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,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,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;AAwD5E,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,CAElE;AAED,wBAAgB,uCAAuC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,QAAQ,EACnB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAgBrB;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAUrB"}
|
|
@@ -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,GAIrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;
|
|
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,GAIrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AA0C3E,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,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,OAAO,qBAAqB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,uCAAuC,CACrD,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,SAAmB,EACnB,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;QACP,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;QACjC,OAAO;KACR,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IAClD,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,UAAkB,EAClB,OAAsB;IAEtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtE,OAAO,uCAAuC,CAC5C,IAAI,EACJ,OAAO,EACP,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAC;AACJ,CAAC"}
|