@jeger-ai/opengantry 1.1.1 → 1.1.2
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/dist/cli/commands/arch.js +7 -7
- package/dist/cli/commands/arch.js.map +1 -1
- package/dist/cli/commands/doctor.js +2 -2
- package/dist/cli/commands/doctor.js.map +1 -1
- package/dist/cli/commands/init.js +4 -4
- package/dist/cli/commands/init.js.map +1 -1
- package/dist/cli/commands/metrics.js +2 -2
- package/dist/cli/commands/metrics.js.map +1 -1
- package/dist/cli/commands/onboarding.js +2 -2
- package/dist/cli/commands/onboarding.js.map +1 -1
- package/dist/cli/commands/runtime.js +3 -3
- package/dist/cli/commands/runtime.js.map +1 -1
- package/dist/cli/commands/upgrade.js +3 -3
- 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 +12 -4
- package/dist/cli/commands/verify.js.map +1 -1
- package/dist/cli/lib/architecture-pointer-doctor.d.ts.map +1 -1
- package/dist/cli/lib/architecture-pointer-doctor.js +4 -3
- package/dist/cli/lib/architecture-pointer-doctor.js.map +1 -1
- package/dist/cli/lib/architecture-pointer-schema.d.ts.map +1 -1
- package/dist/cli/lib/architecture-pointer-schema.js +2 -1
- package/dist/cli/lib/architecture-pointer-schema.js.map +1 -1
- package/dist/cli/lib/cli-io.d.ts +2 -0
- package/dist/cli/lib/cli-io.d.ts.map +1 -1
- package/dist/cli/lib/cli-io.js +4 -0
- package/dist/cli/lib/cli-io.js.map +1 -1
- package/dist/cli/lib/command-reporter.d.ts +8 -1
- package/dist/cli/lib/command-reporter.d.ts.map +1 -1
- package/dist/cli/lib/command-reporter.js +47 -2
- package/dist/cli/lib/command-reporter.js.map +1 -1
- package/dist/cli/lib/doctor-integration-checks.d.ts.map +1 -1
- package/dist/cli/lib/doctor-integration-checks.js +2 -1
- package/dist/cli/lib/doctor-integration-checks.js.map +1 -1
- package/dist/cli/lib/draft-token.d.ts.map +1 -1
- package/dist/cli/lib/draft-token.js +3 -2
- package/dist/cli/lib/draft-token.js.map +1 -1
- package/dist/cli/lib/fix-hints.d.ts +0 -21
- package/dist/cli/lib/fix-hints.d.ts.map +1 -1
- package/dist/cli/lib/fix-hints.js +1 -106
- package/dist/cli/lib/fix-hints.js.map +1 -1
- package/dist/cli/lib/git-proof.js +1 -1
- package/dist/cli/lib/git-proof.js.map +1 -1
- package/dist/cli/lib/init-tutorial.js +4 -4
- package/dist/cli/lib/init-tutorial.js.map +1 -1
- package/dist/cli/lib/mcp-runtime.d.ts.map +1 -1
- package/dist/cli/lib/mcp-runtime.js +3 -2
- package/dist/cli/lib/mcp-runtime.js.map +1 -1
- package/dist/cli/lib/mcp-upgrade.d.ts.map +1 -1
- package/dist/cli/lib/mcp-upgrade.js +2 -1
- package/dist/cli/lib/mcp-upgrade.js.map +1 -1
- package/dist/cli/lib/mission-markdown.d.ts.map +1 -1
- package/dist/cli/lib/mission-markdown.js +2 -1
- package/dist/cli/lib/mission-markdown.js.map +1 -1
- package/dist/cli/lib/mission-yaml.d.ts.map +1 -1
- package/dist/cli/lib/mission-yaml.js +2 -1
- package/dist/cli/lib/mission-yaml.js.map +1 -1
- package/dist/cli/lib/prompts-loader.d.ts +3 -0
- package/dist/cli/lib/prompts-loader.d.ts.map +1 -0
- package/dist/cli/lib/prompts-loader.js +5 -0
- package/dist/cli/lib/prompts-loader.js.map +1 -0
- package/dist/cli/lib/runtime-exec-orchestrator.d.ts.map +1 -1
- package/dist/cli/lib/runtime-exec-orchestrator.js +2 -1
- package/dist/cli/lib/runtime-exec-orchestrator.js.map +1 -1
- package/dist/cli/lib/substrate-version.d.ts.map +1 -1
- package/dist/cli/lib/substrate-version.js +4 -3
- package/dist/cli/lib/substrate-version.js.map +1 -1
- package/dist/cli/lib/teacher-identity.d.ts.map +1 -1
- package/dist/cli/lib/teacher-identity.js +4 -3
- package/dist/cli/lib/teacher-identity.js.map +1 -1
- package/dist/cli/lib/trace-status.d.ts +3 -3
- package/dist/cli/lib/trace-status.d.ts.map +1 -1
- package/dist/cli/lib/trace-status.js +8 -8
- package/dist/cli/lib/trace-status.js.map +1 -1
- package/dist/cli/lib/trace.js +2 -2
- package/dist/cli/lib/trace.js.map +1 -1
- package/dist/cli/lib/types.d.ts +2 -1
- package/dist/cli/lib/types.d.ts.map +1 -1
- package/dist/cli/lib/upgrade-apply.js +11 -11
- package/dist/cli/lib/upgrade-apply.js.map +1 -1
- package/dist/cli/lib/upgrade-plan.js +4 -4
- package/dist/cli/lib/upgrade-plan.js.map +1 -1
- package/dist/cli/lib/user-error.js +2 -2
- package/dist/cli/lib/user-error.js.map +1 -1
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +40 -41
- package/dist/cli/lib/verify-engine.js.map +1 -1
- package/dist/cli/lib/verify-failure-presentation.d.ts +2 -2
- package/dist/cli/lib/verify-failure-presentation.d.ts.map +1 -1
- package/dist/cli/lib/verify-failure-presentation.js +3 -32
- package/dist/cli/lib/verify-failure-presentation.js.map +1 -1
- package/dist/cli/lib/verify-present.d.ts +20 -0
- package/dist/cli/lib/verify-present.d.ts.map +1 -0
- package/dist/cli/lib/verify-present.js +123 -0
- package/dist/cli/lib/verify-present.js.map +1 -0
- package/dist/cli/lib/verify-remediation.d.ts +18 -5
- package/dist/cli/lib/verify-remediation.d.ts.map +1 -1
- package/dist/cli/lib/verify-remediation.js +120 -3
- package/dist/cli/lib/verify-remediation.js.map +1 -1
- package/dist/cli/lib/verify-result-payload.d.ts +3 -0
- package/dist/cli/lib/verify-result-payload.d.ts.map +1 -1
- package/dist/cli/lib/verify-result-payload.js +7 -3
- package/dist/cli/lib/verify-result-payload.js.map +1 -1
- package/dist/cli/lib/verify-run.d.ts +1 -7
- package/dist/cli/lib/verify-run.d.ts.map +1 -1
- package/dist/cli/lib/verify-run.js +38 -48
- 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/program-arch.js +2 -2
- package/dist/cli/program-arch.js.map +1 -1
- package/package.json +1 -1
- package/dist/cli/lib/verify-flow.d.ts +0 -23
- package/dist/cli/lib/verify-flow.d.ts.map +0 -1
- package/dist/cli/lib/verify-flow.js +0 -93
- package/dist/cli/lib/verify-flow.js.map +0 -1
- package/dist/cli/lib/verify-repair.d.ts +0 -4
- package/dist/cli/lib/verify-repair.d.ts.map +0 -1
- package/dist/cli/lib/verify-repair.js +0 -58
- package/dist/cli/lib/verify-repair.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-engine.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAY,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGtF,OAAO,EAAyC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG,MAAM,GAAG,eAAe,GAAG,OAAO,CAAC;AAElF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,kBAAkB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,eAAe,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,+BAA+B,CAAC,EAAE,MAAM,CAAC;CAC1C;AAED,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-engine.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAY,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGtF,OAAO,EAAyC,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG,MAAM,GAAG,eAAe,GAAG,OAAO,CAAC;AAElF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,kBAAkB,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,eAAe,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,+BAA+B,CAAC,EAAE,MAAM,CAAC;CAC1C;AAED,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,CAAC;AAgCxE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAE/E;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAEjF;AAyGD,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,QAAQ,GACjB,iBAAiB,CAqCnB"}
|
|
@@ -7,11 +7,18 @@ import { isPendingStatus } from "./trace-status.js";
|
|
|
7
7
|
import { verifyTraceEvidenceFreshness } from "./trace-evidence.js";
|
|
8
8
|
import { defaultWorkerLogPath, verifyTraceRows } from "./trace.js";
|
|
9
9
|
import { errorMessage } from "./cli-io.js";
|
|
10
|
-
function
|
|
11
|
-
return
|
|
10
|
+
function gitProofFailure(workerLogPath, message) {
|
|
11
|
+
return {
|
|
12
|
+
ok: false,
|
|
13
|
+
phase: "git_proof",
|
|
14
|
+
message,
|
|
15
|
+
exitCode: 1,
|
|
16
|
+
workerLogPath,
|
|
17
|
+
gitProofMessage: message,
|
|
18
|
+
};
|
|
12
19
|
}
|
|
13
|
-
function
|
|
14
|
-
return
|
|
20
|
+
function tracePhaseFailure(phase, workerLogPath, fields) {
|
|
21
|
+
return { ok: false, phase, workerLogPath, ...fields };
|
|
15
22
|
}
|
|
16
23
|
export function resolveGateWorkDir(root, options) {
|
|
17
24
|
return options.cwd ? path.resolve(root, options.cwd) : root;
|
|
@@ -27,15 +34,7 @@ function evaluateGitProof(root, mission, workerLogPath) {
|
|
|
27
34
|
return { kind: "ok", proofMsnId };
|
|
28
35
|
}
|
|
29
36
|
catch (e) {
|
|
30
|
-
|
|
31
|
-
return {
|
|
32
|
-
ok: false,
|
|
33
|
-
phase: "git_proof",
|
|
34
|
-
message,
|
|
35
|
-
exitCode: 1,
|
|
36
|
-
workerLogPath,
|
|
37
|
-
gitProofMessage: message,
|
|
38
|
-
};
|
|
37
|
+
return { kind: "fail", failure: gitProofFailure(workerLogPath, errorMessage(e)) };
|
|
39
38
|
}
|
|
40
39
|
}
|
|
41
40
|
function evaluateGatePhase(root, gate, options, workerLogPath) {
|
|
@@ -58,12 +57,12 @@ function evaluateTracePhase(root, manifest, mission, options, workerLogPath) {
|
|
|
58
57
|
const hasPending = mission.traceRows.some((row) => isPendingStatus(row.status));
|
|
59
58
|
if (hasPending) {
|
|
60
59
|
return {
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
60
|
+
kind: "fail",
|
|
61
|
+
failure: tracePhaseFailure("trace_pending", workerLogPath, {
|
|
62
|
+
message: "Trace rows still PENDING — worker must execute, update mission trace row, then verify",
|
|
63
|
+
exitCode: 1,
|
|
64
|
+
gateCommand: mission.gate?.command,
|
|
65
|
+
}),
|
|
67
66
|
};
|
|
68
67
|
}
|
|
69
68
|
const traceResult = verifyTraceRows(workerLogPath, mission.traceRows, {
|
|
@@ -73,30 +72,30 @@ function evaluateTracePhase(root, manifest, mission, options, workerLogPath) {
|
|
|
73
72
|
if (traceResult.failures.length > 0) {
|
|
74
73
|
const first = traceResult.failures[0];
|
|
75
74
|
return {
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
75
|
+
kind: "fail",
|
|
76
|
+
failure: tracePhaseFailure("trace", workerLogPath, {
|
|
77
|
+
message: first.reason,
|
|
78
|
+
exitCode: 1,
|
|
79
|
+
traceKind: classifyTraceFailure(first.reason, first.row.traceQuote, options.strictTrace === true),
|
|
80
|
+
traceQuote: first.row.traceQuote,
|
|
81
|
+
traceReason: first.reason,
|
|
82
|
+
}),
|
|
84
83
|
};
|
|
85
84
|
}
|
|
86
85
|
const evidence = verifyTraceEvidenceFreshness(root, manifest, mission.skillKey, workerLogPath, traceResult.resolvedLines, { skipStaleEvidence: options.skipStaleEvidence === true });
|
|
87
86
|
if (evidence.failures.length > 0) {
|
|
88
87
|
const first = evidence.failures[0];
|
|
89
88
|
return {
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
95
|
-
|
|
96
|
-
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
89
|
+
kind: "fail",
|
|
90
|
+
failure: tracePhaseFailure("trace", workerLogPath, {
|
|
91
|
+
message: first.reason,
|
|
92
|
+
exitCode: 1,
|
|
93
|
+
traceKind: "stale_evidence",
|
|
94
|
+
traceQuote: first.row.traceQuote,
|
|
95
|
+
traceReason: first.reason,
|
|
96
|
+
attestationCommit: first.attestationCommit,
|
|
97
|
+
stalePaths: first.stalePaths,
|
|
98
|
+
}),
|
|
100
99
|
};
|
|
101
100
|
}
|
|
102
101
|
return { kind: "ok", warnings: traceResult.warnings, skippedUncommitted: evidence.skippedUncommitted };
|
|
@@ -105,8 +104,8 @@ function evaluateTracePhase(root, manifest, mission, options, workerLogPath) {
|
|
|
105
104
|
export function evaluateVerifyPhases(root, mission, options, manifest) {
|
|
106
105
|
const workerLogPath = resolveWorkerLogPath(root, options);
|
|
107
106
|
const proof = evaluateGitProof(root, mission, workerLogPath);
|
|
108
|
-
if (
|
|
109
|
-
return proof;
|
|
107
|
+
if (proof.kind === "fail")
|
|
108
|
+
return proof.failure;
|
|
110
109
|
const { proofMsnId } = proof;
|
|
111
110
|
if (options.prePush === true && isLegislativeStub(mission)) {
|
|
112
111
|
return { ok: true, outcome: "pre_push_stub", proofMsnId, workerLogPath, traceWarnings: [] };
|
|
@@ -125,8 +124,8 @@ export function evaluateVerifyPhases(root, mission, options, manifest) {
|
|
|
125
124
|
if (gateFailure)
|
|
126
125
|
return gateFailure;
|
|
127
126
|
const trace = evaluateTracePhase(root, manifest, mission, options, workerLogPath);
|
|
128
|
-
if (
|
|
129
|
-
return trace;
|
|
127
|
+
if (trace.kind === "fail")
|
|
128
|
+
return trace.failure;
|
|
130
129
|
return {
|
|
131
130
|
ok: true,
|
|
132
131
|
outcome: "full",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,oBAAoB,EAAyB,MAAM,yBAAyB,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAA2B,MAAM,YAAY,CAAC;AAE5F,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,EAAE,oBAAoB,EAAyB,MAAM,yBAAyB,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAA2B,MAAM,YAAY,CAAC;AAE5F,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAyC3C,SAAS,eAAe,CACtB,aAAqB,EACrB,OAAe;IAEf,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,WAAW;QAClB,OAAO;QACP,QAAQ,EAAE,CAAC;QACX,aAAa;QACb,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAgC,EAChC,aAAqB,EACrB,MAAkE;IAElE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,OAAsB;IACrE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,OAAsB;IACvE,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAsB,EACtB,aAAqB;IAErB,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;SAClC,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAY,EACZ,IAAc,EACd,OAAsB,EACtB,aAAqB;IAErB,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC;QACX,aAAa;QACb,WAAW,EAAE,IAAI,CAAC,OAAO;QACzB,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,YAAY,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,OAAsB,EACtB,aAAqB;IAErB,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,iBAAiB,CAAC,eAAe,EAAE,aAAa,EAAE;gBACzD,OAAO,EACL,uFAAuF;gBACzF,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO;aACnC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,aAAa,EAAE,OAAO,CAAC,SAAS,EAAE;QACpE,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,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE;gBACjD,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC;gBACjG,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;aAC1B,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,aAAa,EACb,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,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE;gBACjD,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,SAAS,EAAE,gBAAgB;gBAC3B,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC;SACH,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;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,QAAkB;IAElB,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE1D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAE7B,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAC9F,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,6BAA6B;YACtC,QAAQ,EAAE,CAAC;YACX,aAAa;SACd,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAC1E,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAClF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAEhD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU;QACV,aAAa;QACb,aAAa,EAAE,KAAK,CAAC,QAAQ;QAC7B,+BAA+B,EAC7B,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC;AACJ,CAAC"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
2
2
|
import type { VerifyPhaseFailure } from "./verify-engine.js";
|
|
3
3
|
import type { VerifyOptions } from "./verify-types.js";
|
|
4
|
+
import { type AudienceTaggedStep } from "./verify-remediation.js";
|
|
4
5
|
export interface VerifyFailurePresentationInput {
|
|
5
6
|
failure: VerifyPhaseFailure;
|
|
6
7
|
missionArg: string;
|
|
@@ -14,6 +15,7 @@ export interface VerifyFailurePresentation {
|
|
|
14
15
|
detail_lines: string[];
|
|
15
16
|
fix_hints: string[];
|
|
16
17
|
next_actions: string[];
|
|
18
|
+
tagged_steps?: AudienceTaggedStep[];
|
|
17
19
|
exit_code: number;
|
|
18
20
|
gate?: {
|
|
19
21
|
stdout?: string;
|
|
@@ -25,6 +27,4 @@ export interface VerifyFailurePresentation {
|
|
|
25
27
|
};
|
|
26
28
|
}
|
|
27
29
|
export declare function verifyFailurePresentation(input: VerifyFailurePresentationInput): VerifyFailurePresentation;
|
|
28
|
-
/** CLI default channel: log presentation and set exit code. */
|
|
29
|
-
export declare function emitVerifyFailureFromPresentation(presentation: VerifyFailurePresentation): void;
|
|
30
30
|
//# sourceMappingURL=verify-failure-presentation.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure-presentation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-presentation.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-failure-presentation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-presentation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AAEjC,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,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,8BAA8B,GACpC,yBAAyB,CAwD3B"}
|
|
@@ -1,28 +1,13 @@
|
|
|
1
1
|
import { CLI_NAME } from "./constants.js";
|
|
2
|
-
import {
|
|
3
|
-
import { logError, setExitCode } from "./cli-io.js";
|
|
4
|
-
import { buildVerifyRemediation } from "./verify-remediation.js";
|
|
5
|
-
function failureHintContext(failure, missionArg, options, root, msnId) {
|
|
6
|
-
return {
|
|
7
|
-
root,
|
|
8
|
-
missionPath: missionArg,
|
|
9
|
-
msnId,
|
|
10
|
-
workerLogPath: failure.workerLogPath,
|
|
11
|
-
gateCommand: failure.gateCommand,
|
|
12
|
-
gitProofMessage: failure.gitProofMessage ?? failure.message,
|
|
13
|
-
traceKind: failure.traceKind,
|
|
14
|
-
traceQuote: failure.traceQuote,
|
|
15
|
-
traceFailureReason: failure.traceReason,
|
|
16
|
-
strictTrace: options.strictTrace,
|
|
17
|
-
};
|
|
18
|
-
}
|
|
2
|
+
import { buildVerifyHintContext, hintsForVerifyPhase, } from "./verify-remediation.js";
|
|
19
3
|
export function verifyFailurePresentation(input) {
|
|
20
4
|
const { failure, missionArg, root, msnId, options } = input;
|
|
21
|
-
const remediation =
|
|
5
|
+
const remediation = hintsForVerifyPhase(failure.phase, buildVerifyHintContext(failure, missionArg, options, root, msnId));
|
|
22
6
|
const base = {
|
|
23
7
|
error_code: remediation.error_code,
|
|
24
8
|
fix_hints: remediation.fix_hints,
|
|
25
9
|
next_actions: remediation.next_actions,
|
|
10
|
+
tagged_steps: remediation.tagged_steps,
|
|
26
11
|
exit_code: failure.exitCode,
|
|
27
12
|
};
|
|
28
13
|
switch (failure.phase) {
|
|
@@ -68,18 +53,4 @@ export function verifyFailurePresentation(input) {
|
|
|
68
53
|
}
|
|
69
54
|
}
|
|
70
55
|
}
|
|
71
|
-
/** CLI default channel: log presentation and set exit code. */
|
|
72
|
-
export function emitVerifyFailureFromPresentation(presentation) {
|
|
73
|
-
logError(`[${presentation.error_code}] ${presentation.headline}`);
|
|
74
|
-
for (const line of presentation.detail_lines) {
|
|
75
|
-
if (line.startsWith("---"))
|
|
76
|
-
logError(line);
|
|
77
|
-
else
|
|
78
|
-
logError(` ${line}`);
|
|
79
|
-
}
|
|
80
|
-
for (const hint of presentation.fix_hints) {
|
|
81
|
-
logFixHint(hint);
|
|
82
|
-
}
|
|
83
|
-
setExitCode(presentation.exit_code);
|
|
84
|
-
}
|
|
85
56
|
//# sourceMappingURL=verify-failure-presentation.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-failure-presentation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"verify-failure-presentation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure-presentation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI1C,OAAO,EACL,sBAAsB,EACtB,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC;AAsBjC,MAAM,UAAU,yBAAyB,CACvC,KAAqC;IAErC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC5D,MAAM,WAAW,GAAG,mBAAmB,CACrC,OAAO,CAAC,KAAK,EACb,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAClE,CAAC;IACF,MAAM,IAAI,GAAG;QACX,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,YAAY,EAAE,WAAW,CAAC,YAAY;QACtC,SAAS,EAAE,OAAO,CAAC,QAAQ;KAC5B,CAAC;IAEF,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,OAAO,CAAC,OAAO;gBACzB,YAAY,EAAE,EAAE;aACjB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,qBAAqB;gBAC/B,YAAY,EAAE;oBACZ,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtF,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;iBAC9F;gBACD,IAAI,EAAE;oBACJ,MAAM,EAAE,OAAO,CAAC,UAAU;oBAC1B,MAAM,EAAE,OAAO,CAAC,UAAU;oBAC1B,QAAQ,EAAE,OAAO,CAAC,YAAY;iBAC/B;aACF,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,GAAG,QAAQ,mFAAmF,OAAO,CAAC,aAAa,sCAAsC;gBACnK,YAAY,EAAE,EAAE;aACjB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,sEAAsE;gBAChF,YAAY,EAAE,CAAC,sBAAsB,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;gBAC9E,KAAK,EAAE,OAAO,CAAC,WAAW;oBACxB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE;oBACrD,CAAC,CAAC,SAAS;aACd,CAAC;QACJ,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC,KAAK,CAAC;YACzC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { Manifest, ParsedMission } from "./types.js";
|
|
2
|
+
import { type VerifyPhaseResult } from "./verify-engine.js";
|
|
3
|
+
import { type VerifyResultPayload } from "./verify-result-payload.js";
|
|
4
|
+
import type { VerifyOptions } from "./verify-types.js";
|
|
5
|
+
export interface VerifyPresentResult {
|
|
6
|
+
ok: boolean;
|
|
7
|
+
exitCode: number;
|
|
8
|
+
}
|
|
9
|
+
export type VerifySink = "break_glass_json" | "break_glass_human" | "json" | "fix_interactive" | "fix_noninteractive" | "human";
|
|
10
|
+
export declare function resolveVerifySink(options: VerifyOptions): VerifySink;
|
|
11
|
+
export declare function presentBreakGlassJson(root: string, mission: ParsedMission, options: VerifyOptions): VerifyPresentResult;
|
|
12
|
+
export declare function presentBreakGlassHuman(root: string, mission: ParsedMission, options: VerifyOptions): VerifyPresentResult;
|
|
13
|
+
export declare function presentJsonFromResult(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, manifest: Manifest, result: VerifyPhaseResult): VerifyPresentResult;
|
|
14
|
+
export declare function presentJsonInitFailure(options: VerifyOptions, error: unknown): VerifyPresentResult;
|
|
15
|
+
export declare function presentHumanInitFailure(options: VerifyOptions, error: unknown): VerifyPresentResult;
|
|
16
|
+
export declare function presentHuman(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, result: VerifyPhaseResult): VerifyPresentResult;
|
|
17
|
+
export declare function presentFix(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, result: VerifyPhaseResult, nonInteractive: boolean): Promise<VerifyPresentResult>;
|
|
18
|
+
/** Emit structured JSON without re-evaluating phases (tests / init errors). */
|
|
19
|
+
export declare function emitVerifyJson(payload: VerifyResultPayload, options: VerifyOptions): void;
|
|
20
|
+
//# sourceMappingURL=verify-present.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-present.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-present.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,EAEL,KAAK,iBAAiB,EACvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,UAAU,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,MAAM,GACN,iBAAiB,GACjB,oBAAoB,GACpB,OAAO,CAAC;AAEZ,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CASpE;AAMD,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAIrB;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,GACrB,mBAAmB,CAgBrB;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAWrB;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,OAAO,GACb,mBAAmB,CAIrB;AAED,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,OAAO,GACb,mBAAmB,CASrB;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,iBAAiB,GACxB,mBAAmB,CAerB;AAED,wBAAsB,UAAU,CAC9B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,iBAAiB,EACzB,cAAc,EAAE,OAAO,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAyC9B;AAED,+EAA+E;AAC/E,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,aAAa,GAAG,IAAI,CAEzF"}
|
|
@@ -0,0 +1,123 @@
|
|
|
1
|
+
import { CLI_NAME } from "./constants.js";
|
|
2
|
+
import { runBreakGlassAuditFlow } from "./break-glass-flow.js";
|
|
3
|
+
import { errorMessage } from "./cli-io.js";
|
|
4
|
+
import { CommandReporter } from "./command-reporter.js";
|
|
5
|
+
import { logFixHint } from "./fix-hints.js";
|
|
6
|
+
import { loadPrompts } from "./prompts-loader.js";
|
|
7
|
+
import { isGapmanUserError } from "./user-error.js";
|
|
8
|
+
import { verifyFailurePresentation } from "./verify-failure-presentation.js";
|
|
9
|
+
import { buildBreakGlassPayload, buildVerifyResultPayloadFromPhaseResult, initFailurePayload, } from "./verify-result-payload.js";
|
|
10
|
+
import { hintsForVerifyPhase, buildVerifyHintContext } from "./verify-remediation.js";
|
|
11
|
+
export function resolveVerifySink(options) {
|
|
12
|
+
if (options.breakGlass === true) {
|
|
13
|
+
return options.json ? "break_glass_json" : "break_glass_human";
|
|
14
|
+
}
|
|
15
|
+
if (options.json)
|
|
16
|
+
return "json";
|
|
17
|
+
if (options.fix === true) {
|
|
18
|
+
return options.fixNonInteractive ? "fix_noninteractive" : "fix_interactive";
|
|
19
|
+
}
|
|
20
|
+
return "human";
|
|
21
|
+
}
|
|
22
|
+
function reporterFor(options) {
|
|
23
|
+
return CommandReporter.forVerify(options);
|
|
24
|
+
}
|
|
25
|
+
export function presentBreakGlassJson(root, mission, options) {
|
|
26
|
+
const payload = buildBreakGlassPayload(root, mission, options);
|
|
27
|
+
reporterFor(options).emitJsonPayload(payload);
|
|
28
|
+
return { ok: payload.exit_code === 0, exitCode: payload.exit_code };
|
|
29
|
+
}
|
|
30
|
+
export function presentBreakGlassHuman(root, mission, options) {
|
|
31
|
+
const reporter = reporterFor(options);
|
|
32
|
+
const outcome = runBreakGlassAuditFlow(root, mission, options);
|
|
33
|
+
if (outcome.kind === "fail") {
|
|
34
|
+
reporter.emitError(errorMessage(outcome.error));
|
|
35
|
+
return { ok: false, exitCode: 2 };
|
|
36
|
+
}
|
|
37
|
+
reporter.emitInfo(`${CLI_NAME} verify: BREAK-GLASS — all gates skipped (audited on ${outcome.commitSha})`);
|
|
38
|
+
reporter.emitInfo(` reason: ${outcome.reason}`);
|
|
39
|
+
if (outcome.msnId)
|
|
40
|
+
reporter.emitInfo(` msn_id: ${outcome.msnId}`);
|
|
41
|
+
if (outcome.auditCommit) {
|
|
42
|
+
logFixHint("git push origin HEAD # audit empty commit (no gxt-bypass note)");
|
|
43
|
+
}
|
|
44
|
+
else {
|
|
45
|
+
logFixHint("git push origin refs/notes/gxt-bypass");
|
|
46
|
+
}
|
|
47
|
+
return { ok: true, exitCode: 0 };
|
|
48
|
+
}
|
|
49
|
+
export function presentJsonFromResult(root, mission, missionArg, options, manifest, result) {
|
|
50
|
+
const payload = buildVerifyResultPayloadFromPhaseResult(root, mission, missionArg, options, manifest, result);
|
|
51
|
+
reporterFor(options).emitJsonPayload(payload);
|
|
52
|
+
return { ok: payload.exit_code === 0, exitCode: payload.exit_code };
|
|
53
|
+
}
|
|
54
|
+
export function presentJsonInitFailure(options, error) {
|
|
55
|
+
const payload = initFailurePayload(error);
|
|
56
|
+
reporterFor(options).emitJsonPayload(payload);
|
|
57
|
+
return { ok: false, exitCode: payload.exit_code };
|
|
58
|
+
}
|
|
59
|
+
export function presentHumanInitFailure(options, error) {
|
|
60
|
+
const reporter = reporterFor(options);
|
|
61
|
+
if (isGapmanUserError(error)) {
|
|
62
|
+
reporter.emitError(`[${error.gxtCode}] ${error.message}`);
|
|
63
|
+
if (error.hint)
|
|
64
|
+
reporter.emitFixHint(error.hint);
|
|
65
|
+
return { ok: false, exitCode: error.exitCode };
|
|
66
|
+
}
|
|
67
|
+
reporter.emitError(errorMessage(error));
|
|
68
|
+
return { ok: false, exitCode: 1 };
|
|
69
|
+
}
|
|
70
|
+
export function presentHuman(root, mission, missionArg, options, result) {
|
|
71
|
+
const reporter = reporterFor(options);
|
|
72
|
+
if (result.ok) {
|
|
73
|
+
reporter.emitVerifySuccess(result, missionArg);
|
|
74
|
+
return { ok: true, exitCode: 0 };
|
|
75
|
+
}
|
|
76
|
+
const presentation = verifyFailurePresentation({
|
|
77
|
+
failure: result,
|
|
78
|
+
missionArg,
|
|
79
|
+
options,
|
|
80
|
+
root,
|
|
81
|
+
msnId: mission.msnId ?? undefined,
|
|
82
|
+
});
|
|
83
|
+
reporter.emitFailurePresentation(presentation);
|
|
84
|
+
return { ok: false, exitCode: presentation.exit_code };
|
|
85
|
+
}
|
|
86
|
+
export async function presentFix(root, mission, missionArg, options, result, nonInteractive) {
|
|
87
|
+
if (result.ok) {
|
|
88
|
+
return presentHuman(root, mission, missionArg, options, result);
|
|
89
|
+
}
|
|
90
|
+
const failure = result;
|
|
91
|
+
if (nonInteractive) {
|
|
92
|
+
return presentHuman(root, mission, missionArg, options, result);
|
|
93
|
+
}
|
|
94
|
+
const reporter = reporterFor(options);
|
|
95
|
+
const remediation = hintsForVerifyPhase(failure.phase, buildVerifyHintContext(failure, missionArg, options, root, mission.msnId ?? undefined));
|
|
96
|
+
reporter.emitError(`[${remediation.error_code}] verify failed at phase: ${failure.phase}`);
|
|
97
|
+
const p = await loadPrompts();
|
|
98
|
+
const choices = remediation.fix_hints.map((hint, i) => ({
|
|
99
|
+
value: String(i),
|
|
100
|
+
label: hint.length > 100 ? `${hint.slice(0, 97)}…` : hint,
|
|
101
|
+
hint,
|
|
102
|
+
}));
|
|
103
|
+
choices.push({ value: "quit", label: "Exit (fix manually)", hint: "" });
|
|
104
|
+
const selected = await p.select({
|
|
105
|
+
message: "Choose a remediation step",
|
|
106
|
+
options: choices,
|
|
107
|
+
});
|
|
108
|
+
if (p.isCancel(selected) || selected === "quit") {
|
|
109
|
+
reporter.emitNextSteps(remediation.next_actions, remediation.tagged_steps);
|
|
110
|
+
return { ok: false, exitCode: failure.exitCode };
|
|
111
|
+
}
|
|
112
|
+
const idx = Number.parseInt(String(selected), 10);
|
|
113
|
+
const hint = remediation.fix_hints[idx];
|
|
114
|
+
if (hint)
|
|
115
|
+
reporter.emitFixHint(hint);
|
|
116
|
+
reporter.emitNextSteps(remediation.next_actions, remediation.tagged_steps);
|
|
117
|
+
return { ok: false, exitCode: failure.exitCode };
|
|
118
|
+
}
|
|
119
|
+
/** Emit structured JSON without re-evaluating phases (tests / init errors). */
|
|
120
|
+
export function emitVerifyJson(payload, options) {
|
|
121
|
+
reporterFor(options).emitJsonPayload(payload);
|
|
122
|
+
}
|
|
123
|
+
//# sourceMappingURL=verify-present.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verify-present.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-present.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKpD,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EACL,sBAAsB,EACtB,uCAAuC,EACvC,kBAAkB,GAEnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAgBtF,MAAM,UAAU,iBAAiB,CAAC,OAAsB;IACtD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,OAAsB;IACzC,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,OAAsB,EACtB,OAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACpC,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,wDAAwD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3G,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK;QAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,UAAU,CAAC,iEAAiE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,uCAAuC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,QAAkB,EAClB,MAAyB;IAEzB,MAAM,OAAO,GAAG,uCAAuC,CACrD,IAAI,EACJ,OAAO,EACP,UAAU,EACV,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAC;IACF,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAsB,EACtB,KAAc;IAEd,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,OAAsB,EACtB,KAAc;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,IAAI;YAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB;IAEzB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,QAAQ,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,MAAM,YAAY,GAAG,yBAAyB,CAAC;QAC7C,OAAO,EAAE,MAAM;QACf,UAAU;QACV,OAAO;QACP,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;KAClC,CAAC,CAAC;IACH,QAAQ,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC;IAC/C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAY,EACZ,OAAsB,EACtB,UAAkB,EAClB,OAAsB,EACtB,MAAyB,EACzB,cAAuB;IAEvB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,OAAO,GAAG,MAA4B,CAAC;IAC7C,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,mBAAmB,CACrC,OAAO,CAAC,KAAK,EACb,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,CACvF,CAAC;IAEF,QAAQ,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,UAAU,6BAA6B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAE3F,MAAM,CAAC,GAAG,MAAM,WAAW,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;QACzD,IAAI;KACL,CAAC,CAAC,CAAC;IACJ,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC;QAC9B,OAAO,EAAE,2BAA2B;QACpC,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,IAAI;QAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAAC,OAA4B,EAAE,OAAsB;IACjF,WAAW,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
|
-
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
2
1
|
import type { OutputAudience } from "./audience-output.js";
|
|
3
|
-
import type {
|
|
4
|
-
import {
|
|
2
|
+
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
3
|
+
import type { TraceFailureKind } from "./trace-failure-kind.js";
|
|
4
|
+
import type { VerifyFailurePhase, VerifyPhaseFailure } from "./verify-engine.js";
|
|
5
|
+
import type { VerifyOptions } from "./verify-types.js";
|
|
5
6
|
export interface AudienceTaggedStep {
|
|
6
7
|
audience: OutputAudience;
|
|
7
8
|
step: string;
|
|
@@ -10,8 +11,20 @@ export interface VerifyRemediation {
|
|
|
10
11
|
error_code: GxtErrorCode;
|
|
11
12
|
fix_hints: string[];
|
|
12
13
|
next_actions: string[];
|
|
13
|
-
/** Structured audience tags for CommandReporter (when populated). */
|
|
14
14
|
tagged_steps?: AudienceTaggedStep[];
|
|
15
15
|
}
|
|
16
|
-
export
|
|
16
|
+
export interface VerifyHintContext {
|
|
17
|
+
root?: string;
|
|
18
|
+
missionPath: string;
|
|
19
|
+
msnId?: string;
|
|
20
|
+
workerLogPath?: string;
|
|
21
|
+
gateCommand?: string;
|
|
22
|
+
gitProofMessage?: string;
|
|
23
|
+
strictTrace?: boolean;
|
|
24
|
+
traceKind?: TraceFailureKind;
|
|
25
|
+
traceQuote?: string;
|
|
26
|
+
traceFailureReason?: string;
|
|
27
|
+
}
|
|
28
|
+
export declare function buildVerifyHintContext(failure: VerifyPhaseFailure, missionArg: string, options: Pick<VerifyOptions, "strictTrace">, root?: string, msnId?: string): VerifyHintContext;
|
|
29
|
+
export declare function hintsForVerifyPhase(phase: VerifyFailurePhase, ctx: VerifyHintContext): VerifyRemediation;
|
|
17
30
|
//# sourceMappingURL=verify-remediation.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-remediation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-remediation.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AASvD,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,MAAM,WAAW,iBAAiB;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,kBAAkB,EAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC,EAC3C,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACb,iBAAiB,CAanB;AAoGD,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,kBAAkB,EACzB,GAAG,EAAE,iBAAiB,GACrB,iBAAiB,CAenB"}
|
|
@@ -1,5 +1,122 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
|
|
1
|
+
import { GXT_ERROR, mapGitProofCodeToGxt } from "./gxt-error-codes.js";
|
|
2
|
+
import { hintForTraceKind, hintGate, hintGitProof, hintTracePendingSteps, parseGitProofCode, } from "./fix-hints.js";
|
|
3
|
+
export function buildVerifyHintContext(failure, missionArg, options, root, msnId) {
|
|
4
|
+
return {
|
|
5
|
+
root,
|
|
6
|
+
missionPath: missionArg,
|
|
7
|
+
msnId,
|
|
8
|
+
workerLogPath: failure.workerLogPath,
|
|
9
|
+
gateCommand: failure.gateCommand,
|
|
10
|
+
gitProofMessage: failure.gitProofMessage ?? failure.message,
|
|
11
|
+
traceKind: failure.traceKind,
|
|
12
|
+
traceQuote: failure.traceQuote,
|
|
13
|
+
traceFailureReason: failure.traceReason,
|
|
14
|
+
strictTrace: options.strictTrace,
|
|
15
|
+
};
|
|
16
|
+
}
|
|
17
|
+
function parseMsnIdFromGitProofMessage(message) {
|
|
18
|
+
const m = message.match(/\[(MSN-\d{4})\]/);
|
|
19
|
+
return m?.[1];
|
|
20
|
+
}
|
|
21
|
+
function tagStep(audience, step) {
|
|
22
|
+
return { audience, step };
|
|
23
|
+
}
|
|
24
|
+
function verifyCmd(mission) {
|
|
25
|
+
return `gapman verify --mission ${mission}`;
|
|
26
|
+
}
|
|
27
|
+
function hintsForGitProofPhase(ctx) {
|
|
28
|
+
const mission = ctx.missionPath;
|
|
29
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
30
|
+
const code = parseGitProofCode(ctx.gitProofMessage ?? "");
|
|
31
|
+
const gitCtx = {
|
|
32
|
+
root: ctx.root,
|
|
33
|
+
missionPath: mission,
|
|
34
|
+
msnId: ctx.msnId ?? parseMsnIdFromGitProofMessage(ctx.gitProofMessage ?? ""),
|
|
35
|
+
repoRelMission: mission,
|
|
36
|
+
};
|
|
37
|
+
const hint = code ? hintGitProof(code, gitCtx) : verifyCmdStr;
|
|
38
|
+
const nextActions = code === "NO_MSN_COMMITS" || code === "MISSION_FILE_NOT_MODIFIED_BY_TEACHER"
|
|
39
|
+
? [hint.split("; ")[0], 'gapman teacher set "$(git config user.email)"', verifyCmdStr]
|
|
40
|
+
: ['gapman teacher set "$(git config user.email)"', verifyCmdStr];
|
|
41
|
+
const tagged_steps = [
|
|
42
|
+
tagStep("teacher", 'gapman teacher set "$(git config user.email)"'),
|
|
43
|
+
tagStep("verifier", verifyCmdStr),
|
|
44
|
+
];
|
|
45
|
+
if (code === "NO_MSN_COMMITS" || code === "MISSION_FILE_NOT_MODIFIED_BY_TEACHER") {
|
|
46
|
+
tagged_steps.unshift(tagStep("teacher", nextActions[0]));
|
|
47
|
+
}
|
|
48
|
+
return {
|
|
49
|
+
error_code: code ? mapGitProofCodeToGxt(code) : GXT_ERROR.MISSION_UNSTAMPED,
|
|
50
|
+
fix_hints: [hint],
|
|
51
|
+
next_actions: nextActions,
|
|
52
|
+
tagged_steps,
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
function hintsForGatePhase(ctx) {
|
|
56
|
+
const mission = ctx.missionPath;
|
|
57
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
58
|
+
const gate = ctx.gateCommand ?? "<gate>";
|
|
59
|
+
return {
|
|
60
|
+
error_code: GXT_ERROR.GATE_FAILED,
|
|
61
|
+
fix_hints: [hintGate(gate, mission)],
|
|
62
|
+
next_actions: [`re-run gate: ${gate}`, verifyCmdStr],
|
|
63
|
+
tagged_steps: [
|
|
64
|
+
tagStep("worker", `re-run gate: ${gate}`),
|
|
65
|
+
tagStep("verifier", verifyCmdStr),
|
|
66
|
+
],
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
function hintsForTracePendingPhase(ctx) {
|
|
70
|
+
const mission = ctx.missionPath;
|
|
71
|
+
const workerLog = ctx.workerLogPath ?? "WORKER_LOG.md";
|
|
72
|
+
const steps = hintTracePendingSteps(workerLog, mission, ctx.gateCommand);
|
|
73
|
+
return {
|
|
74
|
+
error_code: GXT_ERROR.TRACE_PENDING,
|
|
75
|
+
fix_hints: steps.slice(0, 3),
|
|
76
|
+
next_actions: steps,
|
|
77
|
+
tagged_steps: [
|
|
78
|
+
tagStep("worker", steps[0]),
|
|
79
|
+
tagStep("worker", steps[1]),
|
|
80
|
+
tagStep("worker", steps[2]),
|
|
81
|
+
tagStep("verifier", steps[3] ?? verifyCmd(mission)),
|
|
82
|
+
],
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
function hintsForTracePhase(ctx) {
|
|
86
|
+
const mission = ctx.missionPath;
|
|
87
|
+
const workerLog = ctx.workerLogPath ?? "WORKER_LOG.md";
|
|
88
|
+
const verifyCmdStr = verifyCmd(mission);
|
|
89
|
+
const traceKind = ctx.traceKind ?? "other";
|
|
90
|
+
const hints = [hintForTraceKind(traceKind, workerLog, mission, ctx.traceQuote)];
|
|
91
|
+
const errorCode = traceKind === "ambiguous"
|
|
92
|
+
? GXT_ERROR.TRACE_AMBIGUOUS
|
|
93
|
+
: traceKind === "stale_evidence"
|
|
94
|
+
? GXT_ERROR.TRACE_STALE
|
|
95
|
+
: GXT_ERROR.TRACE_MISSING;
|
|
96
|
+
return {
|
|
97
|
+
error_code: errorCode,
|
|
98
|
+
fix_hints: hints,
|
|
99
|
+
next_actions: [verifyCmdStr, `gapman verify --mission ${mission} --fix`],
|
|
100
|
+
tagged_steps: [
|
|
101
|
+
tagStep("verifier", verifyCmdStr),
|
|
102
|
+
tagStep("verifier", `gapman verify --mission ${mission} --fix`),
|
|
103
|
+
],
|
|
104
|
+
};
|
|
105
|
+
}
|
|
106
|
+
export function hintsForVerifyPhase(phase, ctx) {
|
|
107
|
+
switch (phase) {
|
|
108
|
+
case "git_proof":
|
|
109
|
+
return hintsForGitProofPhase(ctx);
|
|
110
|
+
case "gate":
|
|
111
|
+
return hintsForGatePhase(ctx);
|
|
112
|
+
case "trace_pending":
|
|
113
|
+
return hintsForTracePendingPhase(ctx);
|
|
114
|
+
case "trace":
|
|
115
|
+
return hintsForTracePhase(ctx);
|
|
116
|
+
default: {
|
|
117
|
+
const _exhaustive = phase;
|
|
118
|
+
return _exhaustive;
|
|
119
|
+
}
|
|
120
|
+
}
|
|
4
121
|
}
|
|
5
122
|
//# sourceMappingURL=verify-remediation.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify-remediation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verify-remediation.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-remediation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAMvE,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,YAAY,EACZ,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AA2BxB,MAAM,UAAU,sBAAsB,CACpC,OAA2B,EAC3B,UAAkB,EAClB,OAA2C,EAC3C,IAAa,EACb,KAAc;IAEd,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,UAAU;QACvB,KAAK;QACL,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO;QAC3D,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,kBAAkB,EAAE,OAAO,CAAC,WAAW;QACvC,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,OAAe;IACpD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3C,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,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,GAAsB;IACnD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,WAAW,EAAE,OAAO;QACpB,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,6BAA6B,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC;QAC5E,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,GAAsB;IAC/C,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,IAAI,QAAQ,CAAC;IACzC,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,WAAW;QACjC,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,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAAC;YACzC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC;SAClC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAsB;IACvD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,IAAI,eAAe,CAAC;IACvD,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACzE,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,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAC5B,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;SACpD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAsB;IAChD,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC;IAChC,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,IAAI,eAAe,CAAC;IACvD,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC;IAC3C,MAAM,KAAK,GAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1F,MAAM,SAAS,GACb,SAAS,KAAK,WAAW;QACvB,CAAC,CAAC,SAAS,CAAC,eAAe;QAC3B,CAAC,CAAC,SAAS,KAAK,gBAAgB;YAC9B,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,KAAyB,EACzB,GAAsB;IAEtB,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACpC,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAChC,KAAK,eAAe;YAClB,OAAO,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACxC,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import type { GxtErrorCode } from "./gxt-error-codes.js";
|
|
2
2
|
import type { Manifest, ParsedMission } from "./types.js";
|
|
3
|
+
import { type VerifyPhaseResult } from "./verify-engine.js";
|
|
3
4
|
import type { VerifyOptions } from "./verify-types.js";
|
|
4
5
|
export interface VerifyTraceWarningJson {
|
|
5
6
|
dod_id: string;
|
|
@@ -34,6 +35,8 @@ export type VerifyResultPayload = VerifyPassedPayload | VerifyFailedPayload;
|
|
|
34
35
|
/** Break-glass audit → structured pass/fail payload (no logging). */
|
|
35
36
|
export declare function buildBreakGlassPayload(root: string, mission: ParsedMission, options: VerifyOptions): VerifyResultPayload;
|
|
36
37
|
export declare function initFailurePayload(e: unknown): VerifyFailedPayload;
|
|
38
|
+
/** Map a pre-computed phase result → structured payload (no logging or re-evaluation). */
|
|
39
|
+
export declare function buildVerifyResultPayloadFromPhaseResult(root: string, mission: ParsedMission, missionArg: string, options: VerifyOptions, _manifest: Manifest, result: VerifyPhaseResult): VerifyResultPayload;
|
|
37
40
|
/** Phase evaluation → structured payload (no logging or process exit). */
|
|
38
41
|
export declare function buildVerifyResultPayload(root: string, manifest: Manifest, mission: ParsedMission, missionArg: string, options: VerifyOptions): VerifyResultPayload;
|
|
39
42
|
/** Load workspace, parse mission, assert gate — flat init failures on error. */
|