@jeger-ai/opengantry 2.5.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 +6 -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 +2 -0
- package/dist/cli/commands/init.d.ts.map +1 -1
- package/dist/cli/commands/init.js +20 -27
- 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/command-reporter.js +10 -0
- package/dist/cli/lib/command-reporter.js.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 +17 -2
- package/dist/cli/lib/defensive-guard.d.ts.map +1 -1
- package/dist/cli/lib/defensive-guard.js +240 -32
- package/dist/cli/lib/defensive-guard.js.map +1 -1
- package/dist/cli/lib/defensive-profile-presets.d.ts +10 -0
- package/dist/cli/lib/defensive-profile-presets.d.ts.map +1 -0
- package/dist/cli/lib/defensive-profile-presets.js +76 -0
- package/dist/cli/lib/defensive-profile-presets.js.map +1 -0
- package/dist/cli/lib/defensive-profile.d.ts +40 -4
- package/dist/cli/lib/defensive-profile.d.ts.map +1 -1
- package/dist/cli/lib/defensive-profile.js +136 -24
- package/dist/cli/lib/defensive-profile.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-defensive-profile.d.ts +5 -0
- package/dist/cli/lib/init-defensive-profile.d.ts.map +1 -0
- package/dist/cli/lib/init-defensive-profile.js +14 -0
- package/dist/cli/lib/init-defensive-profile.js.map +1 -0
- package/dist/cli/lib/init-interactive.d.ts.map +1 -1
- package/dist/cli/lib/init-interactive.js +34 -0
- package/dist/cli/lib/init-interactive.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 +3 -2
- package/dist/cli/lib/init-plan.js.map +1 -1
- package/dist/cli/lib/init-profile.d.ts +5 -0
- package/dist/cli/lib/init-profile.d.ts.map +1 -1
- package/dist/cli/lib/init-profile.js +9 -0
- package/dist/cli/lib/init-profile.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 +9 -0
- package/dist/cli/lib/verify-defensive-phase.d.ts.map +1 -0
- package/dist/cli/lib/verify-defensive-phase.js +44 -0
- package/dist/cli/lib/verify-defensive-phase.js.map +1 -0
- package/dist/cli/lib/verify-engine.d.ts +6 -34
- package/dist/cli/lib/verify-engine.d.ts.map +1 -1
- package/dist/cli/lib/verify-engine.js +63 -55
- 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 +6 -0
- 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-core.d.ts.map +1 -1
- package/dist/cli/program-core.js +2 -0
- package/dist/cli/program-core.js.map +1 -1
- package/dist/cli/program-workflow.d.ts.map +1 -1
- package/dist/cli/program-workflow.js.map +1 -1
- package/package.json +1 -1
- package/templates/.gitagent/config.json +12 -0
- package/templates/.gitagent/foreman/SUBSTRATE.version.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 -34
- 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,21 +1,19 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Verify pipeline order: engine (this module, evaluates phases — no logging or
|
|
3
|
+
* exit codes) → verify-failure-normalize (canonical failure contract) →
|
|
4
|
+
* verify-hints (remediation) → verify-presenters (sinks) → verify-run (orchestration).
|
|
5
|
+
*/
|
|
1
6
|
import path from "node:path";
|
|
2
7
|
import { toPosixRel } from "./cli-io.js";
|
|
3
8
|
import { gitRunOk } from "./git.js";
|
|
4
9
|
import { assertPlannerMissionProof, REL_MISSIONS_PREFIX } from "./git-proof.js";
|
|
5
10
|
import { gatePassed, runGate, resolveGateWorkDir } from "./gate.js";
|
|
6
11
|
import { evaluateKpiPhase } from "./kpi-engine.js";
|
|
7
|
-
import {
|
|
12
|
+
import { evaluateDefensiveGuardPhase } from "./verify-defensive-phase.js";
|
|
8
13
|
import { isLegislativeStub } from "./missions/formatter.js";
|
|
9
|
-
import {
|
|
14
|
+
import { isPendingStatus, verifyTraceEvidenceFreshness, verifyTraceRows, defaultExecutorLogPath } from "./trace.js";
|
|
10
15
|
import { errorMessage } from "./cli-io.js";
|
|
11
16
|
import { createVirtualFlightId, purgeVirtualFlightDir, scavengeStaleVirtualFlights, writeGateCaptureSync, } from "./virtual-scratch-store.js";
|
|
12
|
-
export function resolveVerifyExportFormat(options) {
|
|
13
|
-
if (options.format)
|
|
14
|
-
return options.format;
|
|
15
|
-
if (options.json === true)
|
|
16
|
-
return "json";
|
|
17
|
-
return undefined;
|
|
18
|
-
}
|
|
19
17
|
const MISSION_EXTENSIONS = new Set([".yaml", ".yml", ".md"]);
|
|
20
18
|
function isMissionFile(repoRel) {
|
|
21
19
|
const norm = repoRel.replace(/\\/g, "/");
|
|
@@ -51,9 +49,6 @@ function gitProofFailure(executorLogPath, message) {
|
|
|
51
49
|
gitProofMessage: message,
|
|
52
50
|
};
|
|
53
51
|
}
|
|
54
|
-
function tracePhaseFailure(phase, executorLogPath, fields) {
|
|
55
|
-
return { ok: false, phase, executorLogPath, ...fields };
|
|
56
|
-
}
|
|
57
52
|
export function resolveExecutorLogPath(root, options) {
|
|
58
53
|
return options.executorLog ? path.resolve(root, options.executorLog) : defaultExecutorLogPath(root);
|
|
59
54
|
}
|
|
@@ -95,11 +90,14 @@ function evaluateTracePhase(root, manifest, mission, options, executorLogPath) {
|
|
|
95
90
|
if (hasPending) {
|
|
96
91
|
return {
|
|
97
92
|
kind: "fail",
|
|
98
|
-
failure:
|
|
93
|
+
failure: {
|
|
94
|
+
ok: false,
|
|
95
|
+
phase: "trace_pending",
|
|
99
96
|
message: "Trace rows still PENDING — executor must execute, update mission trace row, then verify",
|
|
100
97
|
exitCode: 1,
|
|
98
|
+
executorLogPath,
|
|
101
99
|
gateCommand: mission.gate?.command,
|
|
102
|
-
}
|
|
100
|
+
},
|
|
103
101
|
};
|
|
104
102
|
}
|
|
105
103
|
const traceResult = verifyTraceRows(executorLogPath, mission.traceRows, {
|
|
@@ -110,13 +108,16 @@ function evaluateTracePhase(root, manifest, mission, options, executorLogPath) {
|
|
|
110
108
|
const first = traceResult.failures[0];
|
|
111
109
|
return {
|
|
112
110
|
kind: "fail",
|
|
113
|
-
failure:
|
|
111
|
+
failure: {
|
|
112
|
+
ok: false,
|
|
113
|
+
phase: "trace",
|
|
114
114
|
message: first.reason,
|
|
115
115
|
exitCode: 1,
|
|
116
|
-
|
|
116
|
+
executorLogPath,
|
|
117
|
+
traceKind: first.kind,
|
|
117
118
|
traceQuote: first.row.traceQuote,
|
|
118
119
|
traceReason: first.reason,
|
|
119
|
-
}
|
|
120
|
+
},
|
|
120
121
|
};
|
|
121
122
|
}
|
|
122
123
|
const evidence = verifyTraceEvidenceFreshness(root, manifest, mission.skillKey, executorLogPath, traceResult.resolvedLines, { skipStaleEvidence: options.skipStaleEvidence === true });
|
|
@@ -124,15 +125,18 @@ function evaluateTracePhase(root, manifest, mission, options, executorLogPath) {
|
|
|
124
125
|
const first = evidence.failures[0];
|
|
125
126
|
return {
|
|
126
127
|
kind: "fail",
|
|
127
|
-
failure:
|
|
128
|
+
failure: {
|
|
129
|
+
ok: false,
|
|
130
|
+
phase: "trace",
|
|
128
131
|
message: first.reason,
|
|
129
132
|
exitCode: 1,
|
|
133
|
+
executorLogPath,
|
|
130
134
|
traceKind: "stale_evidence",
|
|
131
135
|
traceQuote: first.row.traceQuote,
|
|
132
136
|
traceReason: first.reason,
|
|
133
137
|
attestationCommit: first.attestationCommit,
|
|
134
138
|
stalePaths: first.stalePaths,
|
|
135
|
-
}
|
|
139
|
+
},
|
|
136
140
|
};
|
|
137
141
|
}
|
|
138
142
|
return { kind: "ok", warnings: traceResult.warnings, skippedUncommitted: evidence.skippedUncommitted };
|
|
@@ -154,19 +158,44 @@ function recordVirtualGateCapture(root, flightId, gate, gateResult) {
|
|
|
154
158
|
stderr: gateResult.stderr,
|
|
155
159
|
});
|
|
156
160
|
}
|
|
157
|
-
function
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
+
function collectDefensiveAndKpiOutcomes(root, manifest, mission, options, executorLogPath) {
|
|
162
|
+
let kpiWarnings;
|
|
163
|
+
let defensiveWarnings;
|
|
164
|
+
let defensiveAudits;
|
|
165
|
+
if (mission.skillKey) {
|
|
166
|
+
const defensiveOutcome = evaluateDefensiveGuardPhase(root, manifest, mission.skillKey, executorLogPath);
|
|
167
|
+
if (defensiveOutcome.failure)
|
|
168
|
+
return { kind: "fail", failure: defensiveOutcome.failure };
|
|
169
|
+
if (defensiveOutcome.warnings.length > 0)
|
|
170
|
+
defensiveWarnings = defensiveOutcome.warnings;
|
|
171
|
+
if (defensiveOutcome.audits.length > 0)
|
|
172
|
+
defensiveAudits = defensiveOutcome.audits;
|
|
173
|
+
}
|
|
174
|
+
if (mission.kpiGate) {
|
|
175
|
+
const kpiOutcome = evaluateKpiPhase(root, manifest, mission.skillKey, mission.kpiGate, options, executorLogPath);
|
|
176
|
+
if (kpiOutcome?.kind === "fail")
|
|
177
|
+
return { kind: "fail", failure: kpiOutcome.failure };
|
|
178
|
+
if (kpiOutcome?.kind === "ok")
|
|
179
|
+
kpiWarnings = kpiOutcome.warnings;
|
|
180
|
+
}
|
|
181
|
+
return { kind: "ok", warnings: { kpiWarnings, defensiveWarnings, defensiveAudits } };
|
|
182
|
+
}
|
|
183
|
+
function buildFullVerifySuccess(proofMsnId, executorLogPath, trace, gitProofWarnings, extras) {
|
|
161
184
|
return {
|
|
162
|
-
ok:
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
exitCode: 1,
|
|
185
|
+
ok: true,
|
|
186
|
+
outcome: "full",
|
|
187
|
+
proofMsnId,
|
|
166
188
|
executorLogPath,
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
189
|
+
traceWarnings: trace.warnings,
|
|
190
|
+
...(gitProofWarnings.length > 0 ? { gitProofWarnings } : {}),
|
|
191
|
+
...(extras.kpiWarnings && extras.kpiWarnings.length > 0 ? { kpiWarnings: extras.kpiWarnings } : {}),
|
|
192
|
+
...(extras.defensiveWarnings && extras.defensiveWarnings.length > 0
|
|
193
|
+
? { defensiveWarnings: extras.defensiveWarnings }
|
|
194
|
+
: {}),
|
|
195
|
+
...(extras.defensiveAudits && extras.defensiveAudits.length > 0
|
|
196
|
+
? { defensiveAudits: extras.defensiveAudits }
|
|
197
|
+
: {}),
|
|
198
|
+
traceEvidenceSkippedUncommitted: trace.skippedUncommitted > 0 ? trace.skippedUncommitted : undefined,
|
|
170
199
|
};
|
|
171
200
|
}
|
|
172
201
|
/** Single source of truth for verify phase evaluation (no logging or exit codes). */
|
|
@@ -201,36 +230,15 @@ export function evaluateVerifyPhases(root, mission, options, manifest) {
|
|
|
201
230
|
recordVirtualGateCapture(root, virtualFlightId, gate, gateOutcome.gateResult);
|
|
202
231
|
if (gateOutcome.failure)
|
|
203
232
|
return gateOutcome.failure;
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
207
|
-
return defensiveOutcome;
|
|
208
|
-
}
|
|
209
|
-
let kpiWarnings;
|
|
210
|
-
if (mission.kpiGate) {
|
|
211
|
-
const kpiOutcome = evaluateKpiPhase(root, manifest, mission.skillKey, mission.kpiGate, options, executorLogPath);
|
|
212
|
-
if (kpiOutcome?.kind === "fail") {
|
|
213
|
-
return kpiOutcome.failure;
|
|
214
|
-
}
|
|
215
|
-
if (kpiOutcome?.kind === "ok") {
|
|
216
|
-
kpiWarnings = kpiOutcome.warnings;
|
|
217
|
-
}
|
|
218
|
-
}
|
|
233
|
+
const postGate = collectDefensiveAndKpiOutcomes(root, manifest, mission, options, executorLogPath);
|
|
234
|
+
if (postGate.kind === "fail")
|
|
235
|
+
return postGate.failure;
|
|
219
236
|
const trace = evaluateTracePhase(root, manifest, mission, options, executorLogPath);
|
|
220
237
|
if (trace.kind === "fail")
|
|
221
238
|
return trace.failure;
|
|
222
239
|
if (virtualFlightId) {
|
|
223
240
|
purgeVirtualFlightDir(root, virtualFlightId);
|
|
224
241
|
}
|
|
225
|
-
return
|
|
226
|
-
ok: true,
|
|
227
|
-
outcome: "full",
|
|
228
|
-
proofMsnId,
|
|
229
|
-
executorLogPath,
|
|
230
|
-
traceWarnings: trace.warnings,
|
|
231
|
-
...(gitProofWarnings.length > 0 ? { gitProofWarnings } : {}),
|
|
232
|
-
...(kpiWarnings && kpiWarnings.length > 0 ? { kpiWarnings } : {}),
|
|
233
|
-
traceEvidenceSkippedUncommitted: trace.skippedUncommitted > 0 ? trace.skippedUncommitted : undefined,
|
|
234
|
-
};
|
|
242
|
+
return buildFullVerifySuccess(proofMsnId, executorLogPath, trace, gitProofWarnings, postGate.warnings);
|
|
235
243
|
}
|
|
236
244
|
//# sourceMappingURL=verify-engine.js.map
|
|
@@ -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;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAsB,MAAM,WAAW,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAsB,MAAM,WAAW,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,eAAe,EAAE,sBAAsB,EAA2B,MAAM,YAAY,CAAC;AAU7I,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAqCpC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7D,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,OAAO,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,OAAe;IAC3E,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE;QACxC,MAAM;QACN,aAAa;QACb,GAAG,OAAO,SAAS;QACnB,IAAI;QACJ,mBAAmB;KACpB,CAAC,CAAC;IACH,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAqCD,SAAS,eAAe,CACtB,eAAuB,EACvB,OAAe;IAEf,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,WAAW;QAClB,OAAO;QACP,QAAQ,EAAE,CAAC;QACX,eAAe;QACf,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,OAAsB;IACzE,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,eAAuB;IAEvB,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;YACjC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,gBAAgB;SAC3B,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAChE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAY,EACZ,IAAc,EACd,OAAsB,EACtB,eAAuB;IAEvB,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,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACxF,OAAO;QACL,OAAO,EAAE;YACP,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,aAAa;YACtB,QAAQ,EAAE,CAAC;YACX,eAAe;YACf,WAAW,EAAE,IAAI,CAAC,OAAO;YACzB,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,YAAY,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;SAC/C;QACD,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,OAAsB,EACtB,eAAuB;IAEvB,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,eAAe;gBACtB,OAAO,EACL,yFAAyF;gBAC3F,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO;aACnC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,eAAe,EAAE,OAAO,CAAC,SAAS,EAAE;QACtE,kBAAkB,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI;KAC1C,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;aAC1B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,EACf,WAAW,CAAC,aAAa,EACzB,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAC1D,CAAC;IAEF,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,gBAAgB;gBAC3B,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAsB;IAC/D,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,qBAAqB,EAAE,CAAC;IACzC,2BAA2B,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAY,EACZ,QAAuB,EACvB,IAAc,EACd,UAAqC;IAErC,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;QAAE,OAAO;IACrC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE;QACnC,YAAY,EAAE,IAAI,CAAC,OAAO;QAC1B,SAAS,EAAE,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC;AAYD,SAAS,8BAA8B,CACrC,IAAY,EACZ,QAAkB,EAClB,OAAsB,EACtB,OAAsB,EACtB,eAAuB;IAEvB,IAAI,WAAiC,CAAC;IACtC,IAAI,iBAAuC,CAAC;IAC5C,IAAI,eAAqC,CAAC;IAE1C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,CAChB,CAAC;QACF,IAAI,gBAAgB,CAAC,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC;QACzF,IAAI,gBAAgB,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,iBAAiB,GAAG,gBAAgB,CAAC,QAAQ,CAAC;QACxF,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC;IACpF,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,gBAAgB,CACjC,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,eAAe,CAChB,CAAC;QACF,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;QACtF,IAAI,UAAU,EAAE,IAAI,KAAK,IAAI;YAAE,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC;IACnE,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE,eAAe,EAAE,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAkB,EAClB,eAAuB,EACvB,KAAiD,EACjD,gBAA0B,EAC1B,MAAwB;IAExB,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU;QACV,eAAe;QACf,aAAa,EAAE,KAAK,CAAC,QAAQ;QAC7B,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACjE,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC7D,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACP,+BAA+B,EAC7B,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,QAAkB;IAElB,MAAM,eAAe,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAEzD,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,eAAe;YACxB,UAAU;YACV,eAAe;YACf,aAAa,EAAE,EAAE;YACjB,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC;IACJ,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,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAC5E,wBAAwB,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAE9E,IAAI,WAAW,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC,OAAO,CAAC;IAEpD,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACnG,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IAEtD,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACpF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAEhD,IAAI,eAAe,EAAE,CAAC;QACpB,qBAAqB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,sBAAsB,CAAC,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACzG,CAAC"}
|
|
@@ -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"}
|