agentskeptic 6.0.1 → 6.2.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/dist/actionableFailure.d.ts +8 -1
- package/dist/actionableFailure.d.ts.map +1 -1
- package/dist/actionableFailure.js +588 -1
- package/dist/actionableFailure.js.map +1 -1
- package/dist/correctnessDefinition.d.ts.map +1 -1
- package/dist/correctnessDefinition.js +2 -22
- package/dist/correctnessDefinition.js.map +1 -1
- package/dist/evidenceCompleteness.d.ts +9 -5
- package/dist/evidenceCompleteness.d.ts.map +1 -1
- package/dist/evidenceCompleteness.js +65 -111
- package/dist/evidenceCompleteness.js.map +1 -1
- package/dist/execution-identity.v1.json +1 -1
- package/dist/failureSpine.d.ts +5 -2
- package/dist/failureSpine.d.ts.map +1 -1
- package/dist/failureSpine.js +3 -81
- package/dist/failureSpine.js.map +1 -1
- package/dist/failureSpine.test.js +3 -0
- package/dist/failureSpine.test.js.map +1 -1
- package/dist/formatEvidenceCompletenessHuman.d.ts +1 -1
- package/dist/formatEvidenceCompletenessHuman.d.ts.map +1 -1
- package/dist/formatEvidenceCompletenessHuman.js +34 -1
- package/dist/formatEvidenceCompletenessHuman.js.map +1 -1
- package/dist/formatFailureSpineHuman.d.ts.map +1 -1
- package/dist/formatFailureSpineHuman.js +5 -1
- package/dist/formatFailureSpineHuman.js.map +1 -1
- package/dist/index.d.ts +3 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -1
- package/dist/index.js.map +1 -1
- package/dist/loop/loopOutput.contract.test.d.ts +2 -0
- package/dist/loop/loopOutput.contract.test.d.ts.map +1 -0
- package/dist/loop/loopOutput.contract.test.js +22 -0
- package/dist/loop/loopOutput.contract.test.js.map +1 -0
- package/dist/loop/loopOutput.d.ts +2 -1
- package/dist/loop/loopOutput.d.ts.map +1 -1
- package/dist/loop/loopOutput.js +9 -2
- package/dist/loop/loopOutput.js.map +1 -1
- package/dist/loop/runLoopSubcommand.d.ts.map +1 -1
- package/dist/loop/runLoopSubcommand.js +1 -1
- package/dist/loop/runLoopSubcommand.js.map +1 -1
- package/dist/outcomeCertificate.d.ts +3 -1
- package/dist/outcomeCertificate.d.ts.map +1 -1
- package/dist/outcomeCertificate.js +39 -4
- package/dist/outcomeCertificate.js.map +1 -1
- package/dist/outcomeCertificate.test.js +130 -0
- package/dist/outcomeCertificate.test.js.map +1 -1
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/quickSyntheticWorkflow.d.ts +8 -0
- package/dist/quickSyntheticWorkflow.d.ts.map +1 -0
- package/dist/quickSyntheticWorkflow.js +59 -0
- package/dist/quickSyntheticWorkflow.js.map +1 -0
- package/dist/quickVerify/canonicalJson.d.ts.map +1 -1
- package/dist/quickVerify/canonicalJson.js +6 -1
- package/dist/quickVerify/canonicalJson.js.map +1 -1
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +92 -2
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -1
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
- package/dist/quickVerify/runQuickVerify.js +48 -4
- package/dist/quickVerify/runQuickVerify.js.map +1 -1
- package/dist/remediationConsumptionGuard.test.js +1 -0
- package/dist/remediationConsumptionGuard.test.js.map +1 -1
- package/dist/remediationDecision.parity.test.d.ts +2 -0
- package/dist/remediationDecision.parity.test.d.ts.map +1 -0
- package/dist/remediationDecision.parity.test.js +22 -0
- package/dist/remediationDecision.parity.test.js.map +1 -0
- package/dist/remediationMessage.d.ts +2 -0
- package/dist/remediationMessage.d.ts.map +1 -1
- package/dist/remediationMessage.js +2 -0
- package/dist/remediationMessage.js.map +1 -1
- package/dist/remediationWireSurfaceGuard.test.js +1 -0
- package/dist/remediationWireSurfaceGuard.test.js.map +1 -1
- package/dist/sdk/_generated/openapi-types.d.ts +2 -2
- package/dist/sdk/_generated/openapi-types.d.ts.map +1 -1
- package/dist/types.d.ts +50 -0
- package/dist/types.d.ts.map +1 -1
- package/dist/workflowFailureSignals.d.ts +8 -0
- package/dist/workflowFailureSignals.d.ts.map +1 -0
- package/dist/workflowFailureSignals.js +65 -0
- package/dist/workflowFailureSignals.js.map +1 -0
- package/dist/workflowResultSlice.d.ts +6 -0
- package/dist/workflowResultSlice.d.ts.map +1 -0
- package/dist/workflowResultSlice.js +8 -0
- package/dist/workflowResultSlice.js.map +1 -0
- package/package.json +1 -1
- package/schemas/evidence-completeness-v1.schema.json +180 -1
- package/schemas/openapi-commercial-v1.in.yaml +2 -2
- package/schemas/openapi-commercial-v1.yaml +3 -3
- package/schemas/outcome-certificate-v3.schema.json +8 -0
package/dist/failureSpine.js
CHANGED
|
@@ -2,14 +2,12 @@
|
|
|
2
2
|
* Unified failure spine v1 — certificate.failureSpine JSON + human failure_spine block source.
|
|
3
3
|
*/
|
|
4
4
|
import { deriveActionableFailureWorkflow } from "./actionableFailure.js";
|
|
5
|
-
import { workflowResultToEngineSlice } from "./evidenceCompleteness.js";
|
|
6
5
|
import { buildFailureAnalysis } from "./failureAnalysis.js";
|
|
7
6
|
import { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
8
7
|
import { redactEvidenceString } from "./redactEvidenceString.js";
|
|
9
8
|
import { trustDecisionFromRelianceFields } from "./trustDecision.js";
|
|
10
9
|
import { DEFAULT_VERIFICATION_POLICY } from "./verificationPolicy.js";
|
|
11
10
|
import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
|
|
12
|
-
import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
|
|
13
11
|
function sortUniqueCodes(codes) {
|
|
14
12
|
return [...new Set(codes)].sort((a, b) => a.localeCompare(b));
|
|
15
13
|
}
|
|
@@ -27,19 +25,6 @@ function collectWorkflowCodes(result) {
|
|
|
27
25
|
}
|
|
28
26
|
return s;
|
|
29
27
|
}
|
|
30
|
-
function syntheticFailureBase(result) {
|
|
31
|
-
const codes = [...collectWorkflowCodes(result)].sort((a, b) => a.localeCompare(b)).slice(0, 12);
|
|
32
|
-
return {
|
|
33
|
-
summary: "Synthetic failure analysis for evidence completeness fallback.",
|
|
34
|
-
primaryOrigin: "workflow_flow",
|
|
35
|
-
confidence: "medium",
|
|
36
|
-
unknownReasonCodes: [],
|
|
37
|
-
evidence: codes.length > 0
|
|
38
|
-
? [{ scope: "run_level", codes }]
|
|
39
|
-
: [{ scope: "step", codes: ["UNCLASSIFIED_GAP"], seq: 0, toolId: "" }],
|
|
40
|
-
alternativeHypotheses: undefined,
|
|
41
|
-
};
|
|
42
|
-
}
|
|
43
28
|
function primaryCodesForWorkflowResult(result) {
|
|
44
29
|
const fa = result.workflowTruthReport.failureAnalysis;
|
|
45
30
|
if (fa !== null) {
|
|
@@ -52,18 +37,15 @@ function primaryCodesForWorkflowResult(result) {
|
|
|
52
37
|
return all.length ? sortUniqueCodes(all).slice(0, 24) : ["UNCLASSIFIED"];
|
|
53
38
|
}
|
|
54
39
|
export function buildFailureSpineFromWorkflowResult(params) {
|
|
55
|
-
const { result, runKind, stateRelation, highStakesReliance } = params;
|
|
40
|
+
const { result, runKind, stateRelation, highStakesReliance, remediationDecision } = params;
|
|
56
41
|
const truth = result.workflowTruthReport;
|
|
57
|
-
|
|
58
|
-
let actionableFailure;
|
|
42
|
+
let actionableFailure = remediationDecision.actionableFailure;
|
|
59
43
|
let summary;
|
|
60
44
|
if (truth.failureAnalysis !== null) {
|
|
61
45
|
actionableFailure = truth.failureAnalysis.actionableFailure;
|
|
62
46
|
summary = truth.failureAnalysis.summary;
|
|
63
47
|
}
|
|
64
48
|
else {
|
|
65
|
-
const base = syntheticFailureBase(result);
|
|
66
|
-
actionableFailure = deriveActionableFailureWorkflow(engineSlice, base);
|
|
67
49
|
summary = truth.trustSummary;
|
|
68
50
|
}
|
|
69
51
|
const trustDecision = trustDecisionFromRelianceFields({
|
|
@@ -82,48 +64,6 @@ export function buildFailureSpineFromWorkflowResult(params) {
|
|
|
82
64
|
source: "workflow",
|
|
83
65
|
};
|
|
84
66
|
}
|
|
85
|
-
function quickVerifyReportToSyntheticEngine(report, workflowId) {
|
|
86
|
-
const status = report.verdict === "fail" ? "inconsistent" : report.verdict === "pass" ? "complete" : "incomplete";
|
|
87
|
-
const steps = report.units.map((u, i) => {
|
|
88
|
-
const st = u.verdict === "verified" ? "verified" : u.verdict === "fail" ? "inconsistent" : "uncertain";
|
|
89
|
-
const reasons = u.reasonCodes.length > 0
|
|
90
|
-
? u.reasonCodes.map((c) => ({ code: c, message: c }))
|
|
91
|
-
: u.verdict !== "verified"
|
|
92
|
-
? [{ code: SQL_VERIFICATION_OUTCOME_CODE.ROW_ABSENT, message: "quick synthetic absent" }]
|
|
93
|
-
: [];
|
|
94
|
-
const step = {
|
|
95
|
-
seq: i,
|
|
96
|
-
toolId: u.sourceAction.toolName,
|
|
97
|
-
intendedEffect: { narrative: u.explanation },
|
|
98
|
-
observedExecution: { paramsCanonical: "{}" },
|
|
99
|
-
verificationRequest: {
|
|
100
|
-
kind: "sql_row",
|
|
101
|
-
table: u.inference.table,
|
|
102
|
-
identityEq: [{ column: "id", value: "quick_synthetic" }],
|
|
103
|
-
requiredFields: {},
|
|
104
|
-
},
|
|
105
|
-
status: st,
|
|
106
|
-
reasons,
|
|
107
|
-
evidenceSummary: {},
|
|
108
|
-
repeatObservationCount: 1,
|
|
109
|
-
evaluatedObservationOrdinal: 1,
|
|
110
|
-
};
|
|
111
|
-
if (st !== "verified") {
|
|
112
|
-
step.failureDiagnostic = "workflow_execution";
|
|
113
|
-
}
|
|
114
|
-
return step;
|
|
115
|
-
});
|
|
116
|
-
return {
|
|
117
|
-
schemaVersion: 8,
|
|
118
|
-
workflowId,
|
|
119
|
-
status,
|
|
120
|
-
runLevelReasons: [],
|
|
121
|
-
verificationPolicy: DEFAULT_VERIFICATION_POLICY,
|
|
122
|
-
eventSequenceIntegrity: { kind: "normal" },
|
|
123
|
-
steps,
|
|
124
|
-
verificationRunContext: createEmptyVerificationRunContext(),
|
|
125
|
-
};
|
|
126
|
-
}
|
|
127
67
|
function primaryCodesQuick(report) {
|
|
128
68
|
const codes = [];
|
|
129
69
|
for (const u of report.units) {
|
|
@@ -133,26 +73,8 @@ function primaryCodesQuick(report) {
|
|
|
133
73
|
}
|
|
134
74
|
return codes.length ? sortUniqueCodes(codes) : ["UNCLASSIFIED"];
|
|
135
75
|
}
|
|
136
|
-
function syntheticQuickFailureAnalysis(report) {
|
|
137
|
-
return {
|
|
138
|
-
summary: report.summary,
|
|
139
|
-
primaryOrigin: "workflow_flow",
|
|
140
|
-
confidence: "medium",
|
|
141
|
-
unknownReasonCodes: [],
|
|
142
|
-
evidence: [{ scope: "run_level", codes: ["QUICK_PREVIEW_SYNTHETIC"] }],
|
|
143
|
-
alternativeHypotheses: undefined,
|
|
144
|
-
};
|
|
145
|
-
}
|
|
146
76
|
export function buildFailureSpineFromQuickReport(params) {
|
|
147
|
-
const
|
|
148
|
-
const fa = buildFailureAnalysis(engine);
|
|
149
|
-
let actionableFailure;
|
|
150
|
-
if (fa !== null) {
|
|
151
|
-
actionableFailure = deriveActionableFailureWorkflow(engine, fa);
|
|
152
|
-
}
|
|
153
|
-
else {
|
|
154
|
-
actionableFailure = deriveActionableFailureWorkflow(engine, syntheticQuickFailureAnalysis(params.report));
|
|
155
|
-
}
|
|
77
|
+
const actionableFailure = params.remediationDecision.actionableFailure;
|
|
156
78
|
const trustDecision = trustDecisionFromRelianceFields({
|
|
157
79
|
runKind: "quick_preview",
|
|
158
80
|
stateRelation: params.stateRelation,
|
package/dist/failureSpine.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"failureSpine.js","sourceRoot":"","sources":["../src/failureSpine.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"failureSpine.js","sourceRoot":"","sources":["../src/failureSpine.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE,OAAO,EAAE,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AAMrE,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAehF,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAsB;IAClD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,sBAAsB,CAAC,OAAO;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,6BAA6B,CAAC,MAAsB;IAC3D,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC;IACtD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;QACjC,IAAI,EAAE,EAAE,MAAM;YAAE,OAAO,eAAe,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,MAMnD;IACC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,GAAG,MAAM,CAAC;IAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IAEzC,IAAI,iBAAiB,GAAG,mBAAmB,CAAC,iBAAiB,CAAC;IAC9D,IAAI,OAAe,CAAC;IAEpB,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACnC,iBAAiB,GAAG,KAAK,CAAC,eAAe,CAAC,iBAAiB,CAAC;QAC5D,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC;IAC1C,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC;IAC/B,CAAC;IAED,MAAM,aAAa,GAAG,+BAA+B,CAAC;QACpD,OAAO;QACP,aAAa;QACb,kBAAkB;KACnB,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,oBAAoB,CACxC,sCAAsC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,EAC3E,GAAG,CACJ,CAAC;IAEF,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,aAAa;QACb,OAAO;QACP,iBAAiB;QACjB,YAAY,EAAE,6BAA6B,CAAC,MAAM,CAAC;QACnD,aAAa;QACb,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAyB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,MAMhD;IACC,MAAM,iBAAiB,GAAG,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC;IAEvE,MAAM,aAAa,GAAG,+BAA+B,CAAC;QACpD,OAAO,EAAE,eAAe;QACxB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,oBAAoB,CACxC,sCAAsC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,EAC3E,GAAG,CACJ,CAAC;IAEF,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,aAAa;QACb,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO;QAC9B,iBAAiB;QACjB,YAAY,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9C,aAAa;QACb,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wCAAwC,CAAC,MAMxD;IACC,MAAM,MAAM,GAAyB;QACnC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,YAAY;QACpB,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,kBAAkB,EAAE,2BAA2B;QAC/C,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,KAAK,EAAE,EAAE;QACT,sBAAsB,EAAE,iCAAiC,EAAE;KAC5D,CAAC;IAEF,MAAM,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAwB;QAChC,OAAO,EAAE,MAAM,CAAC,QAAQ;QACxB,aAAa,EAAE,eAAe;QAC9B,UAAU,EAAE,KAAK;QACjB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EACN,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC/D,qBAAqB,EAAE,SAAS;KACjC,CAAC;IAEF,MAAM,iBAAiB,GACrB,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,+BAA+B,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE5G,MAAM,aAAa,GAAG,+BAA+B,CAAC;QACpD,OAAO,EAAE,yCAAyC;QAClD,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;KAC9C,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,oBAAoB,CACxC,sCAAsC,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,EAC3E,GAAG,CACJ,CAAC;IAEF,IAAI,YAAsB,CAAC;IAC3B,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzF,CAAC;SAAM,CAAC;QACN,YAAY,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,aAAa;QACb,OAAO,EAAE,MAAM,CAAC,QAAQ;QACxB,iBAAiB;QACjB,YAAY;QACZ,aAAa;QACb,MAAM,EAAE,sBAAsB;KAC/B,CAAC;AACJ,CAAC"}
|
|
@@ -2,6 +2,7 @@ import { readFileSync } from "node:fs";
|
|
|
2
2
|
import { dirname, join } from "node:path";
|
|
3
3
|
import { fileURLToPath } from "node:url";
|
|
4
4
|
import { describe, expect, it } from "vitest";
|
|
5
|
+
import { deriveRemediationDecisionFromWorkflowResult } from "./actionableFailure.js";
|
|
5
6
|
import { buildFailureSpineFromWorkflowResult } from "./failureSpine.js";
|
|
6
7
|
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
7
8
|
const root = join(__dirname, "..");
|
|
@@ -11,11 +12,13 @@ describe("buildFailureSpineFromWorkflowResult (wf_multi_all_fail golden)", () =>
|
|
|
11
12
|
const result = JSON.parse(raw);
|
|
12
13
|
const fa = result.workflowTruthReport.failureAnalysis;
|
|
13
14
|
expect(fa).not.toBeNull();
|
|
15
|
+
const remediationDecision = deriveRemediationDecisionFromWorkflowResult(result);
|
|
14
16
|
const spine = buildFailureSpineFromWorkflowResult({
|
|
15
17
|
result,
|
|
16
18
|
runKind: "contract_sql",
|
|
17
19
|
stateRelation: "does_not_match",
|
|
18
20
|
highStakesReliance: "prohibited",
|
|
21
|
+
remediationDecision,
|
|
19
22
|
});
|
|
20
23
|
expect(spine.trustDecision).toBe("unsafe");
|
|
21
24
|
expect(spine.source).toBe("workflow");
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"failureSpine.test.js","sourceRoot":"","sources":["../src/failureSpine.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAGxE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,QAAQ,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,2CAA2C,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAmB,CAAC;QACjD,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1B,MAAM,KAAK,GAAG,mCAAmC,CAAC;YAChD,MAAM;YACN,OAAO,EAAE,cAAc;YACvB,aAAa,EAAE,gBAAgB;YAC/B,kBAAkB,EAAE,YAAY;
|
|
1
|
+
{"version":3,"file":"failureSpine.test.js","sourceRoot":"","sources":["../src/failureSpine.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,2CAA2C,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAGxE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,QAAQ,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,2CAA2C,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAmB,CAAC;QACjD,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1B,MAAM,mBAAmB,GAAG,2CAA2C,CAAC,MAAM,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,mCAAmC,CAAC;YAChD,MAAM;YACN,OAAO,EAAE,cAAc;YACvB,aAAa,EAAE,gBAAgB;YAC/B,kBAAkB,EAAE,YAAY;YAChC,mBAAmB;SACpB,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAG,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -4,7 +4,7 @@ export type EvidenceCompletenessRunKind = "contract_sql" | "contract_sql_langgra
|
|
|
4
4
|
export declare const EVIDENCE_COMPLETENESS_BEGIN: "=== evidence_completeness ===";
|
|
5
5
|
export declare const EVIDENCE_COMPLETENESS_END: "=== end evidence_completeness ===";
|
|
6
6
|
/** Max body lines between anchors (excluding boundary lines). */
|
|
7
|
-
export declare const EVIDENCE_COMPLETENESS_MAX_LINES:
|
|
7
|
+
export declare const EVIDENCE_COMPLETENESS_MAX_LINES: 48;
|
|
8
8
|
export declare function formatEvidenceCompletenessHuman(ec: EvidenceCompletenessJson, ctx: {
|
|
9
9
|
runKind: EvidenceCompletenessRunKind;
|
|
10
10
|
highStakesReliance: "permitted" | "prohibited";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatEvidenceCompletenessHuman.d.ts","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAG1E,qFAAqF;AACrF,MAAM,MAAM,2BAA2B,GACnC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,eAAO,MAAM,2BAA2B,EAAG,+BAAwC,CAAC;AACpF,eAAO,MAAM,yBAAyB,EAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,eAAO,MAAM,+BAA+B,EAAG,EAAW,CAAC;AAE3D,wBAAgB,+BAA+B,CAC7C,EAAE,EAAE,wBAAwB,EAC5B,GAAG,EAAE;IAAE,OAAO,EAAE,2BAA2B,CAAC;IAAC,kBAAkB,EAAE,WAAW,GAAG,YAAY,CAAA;CAAE,GAC5F,MAAM,
|
|
1
|
+
{"version":3,"file":"formatEvidenceCompletenessHuman.d.ts","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAG1E,qFAAqF;AACrF,MAAM,MAAM,2BAA2B,GACnC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,eAAO,MAAM,2BAA2B,EAAG,+BAAwC,CAAC;AACpF,eAAO,MAAM,yBAAyB,EAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,eAAO,MAAM,+BAA+B,EAAG,EAAW,CAAC;AAE3D,wBAAgB,+BAA+B,CAC7C,EAAE,EAAE,wBAAwB,EAC5B,GAAG,EAAE;IAAE,OAAO,EAAE,2BAA2B,CAAC;IAAC,kBAAkB,EAAE,WAAW,GAAG,YAAY,CAAA;CAAE,GAC5F,MAAM,CAkER"}
|
|
@@ -2,7 +2,7 @@ import { redactEvidenceString } from "./redactEvidenceString.js";
|
|
|
2
2
|
export const EVIDENCE_COMPLETENESS_BEGIN = "=== evidence_completeness ===";
|
|
3
3
|
export const EVIDENCE_COMPLETENESS_END = "=== end evidence_completeness ===";
|
|
4
4
|
/** Max body lines between anchors (excluding boundary lines). */
|
|
5
|
-
export const EVIDENCE_COMPLETENESS_MAX_LINES =
|
|
5
|
+
export const EVIDENCE_COMPLETENESS_MAX_LINES = 48;
|
|
6
6
|
export function formatEvidenceCompletenessHuman(ec, ctx) {
|
|
7
7
|
const lines = [EVIDENCE_COMPLETENESS_BEGIN];
|
|
8
8
|
lines.push(`Blocker: ${ec.blockerCategory}`);
|
|
@@ -37,6 +37,39 @@ export function formatEvidenceCompletenessHuman(ec, ctx) {
|
|
|
37
37
|
break;
|
|
38
38
|
lines.push(` - ${n.text}`);
|
|
39
39
|
}
|
|
40
|
+
if (ec.remediationItems !== undefined && ec.remediationItems.length > 0) {
|
|
41
|
+
lines.push("Remediation items:");
|
|
42
|
+
for (const item of ec.remediationItems.slice(0, 8)) {
|
|
43
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
44
|
+
break;
|
|
45
|
+
lines.push(` - ${item.id}: ${item.actionText}`);
|
|
46
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
47
|
+
break;
|
|
48
|
+
lines.push(` Failed check: ${item.failedCheck}`);
|
|
49
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
50
|
+
break;
|
|
51
|
+
lines.push(` Expected state: ${item.expectedState.summary}`);
|
|
52
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
53
|
+
break;
|
|
54
|
+
lines.push(` Automation: ${item.automation.label}`);
|
|
55
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
56
|
+
break;
|
|
57
|
+
lines.push(` Rerun: ${item.rerunPath.readinessLabel}`);
|
|
58
|
+
if (item.humanReview.required && item.humanReview.decisionPrompt !== undefined) {
|
|
59
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
60
|
+
break;
|
|
61
|
+
lines.push(` Manual review: ${item.humanReview.decisionPrompt}`);
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
else if (ec.rerunReadiness !== undefined && lines.length < 1 + EVIDENCE_COMPLETENESS_MAX_LINES) {
|
|
66
|
+
lines.push(`Rerun readiness: ${ec.rerunReadiness}`);
|
|
67
|
+
}
|
|
68
|
+
if (ec.rerunPath !== undefined &&
|
|
69
|
+
(ec.remediationItems === undefined || ec.remediationItems.length === 0) &&
|
|
70
|
+
lines.length < 1 + EVIDENCE_COMPLETENESS_MAX_LINES) {
|
|
71
|
+
lines.push(`Rerun: ${ec.rerunPath.readinessLabel}`);
|
|
72
|
+
}
|
|
40
73
|
lines.push(`Trust boundary: runKind=${ctx.runKind} highStakesReliance=${ctx.highStakesReliance} (see certificate fields for normative meaning).`);
|
|
41
74
|
while (lines.length > 1 + EVIDENCE_COMPLETENESS_MAX_LINES) {
|
|
42
75
|
lines.pop();
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatEvidenceCompletenessHuman.js","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAQjE,MAAM,CAAC,MAAM,2BAA2B,GAAG,+BAAwC,CAAC;AACpF,MAAM,CAAC,MAAM,yBAAyB,GAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAW,CAAC;AAE3D,MAAM,UAAU,+BAA+B,CAC7C,EAA4B,EAC5B,GAA6F;IAE7F,MAAM,KAAK,GAAa,CAAC,2BAA2B,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;YAAE,MAAM;QAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,CAAC,IAAI,CACR,2BAA2B,GAAG,CAAC,OAAO,uBAAuB,GAAG,CAAC,kBAAkB,kDAAkD,CACtI,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,+BAA+B,EAAE,CAAC;QAC1D,KAAK,CAAC,GAAG,EAAE,CAAC;IACd,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC"}
|
|
1
|
+
{"version":3,"file":"formatEvidenceCompletenessHuman.js","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAQjE,MAAM,CAAC,MAAM,2BAA2B,GAAG,+BAAwC,CAAC;AACpF,MAAM,CAAC,MAAM,yBAAyB,GAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAW,CAAC;AAE3D,MAAM,UAAU,+BAA+B,CAC7C,EAA4B,EAC5B,GAA6F;IAE7F,MAAM,KAAK,GAAa,CAAC,2BAA2B,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;YAAE,MAAM;QAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACnD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACjD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YACpD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;gBAC/E,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;oBAAE,MAAM;gBAC/D,KAAK,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,+BAA+B,EAAE,CAAC;QACjG,KAAK,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,IACE,EAAE,CAAC,SAAS,KAAK,SAAS;QAC1B,CAAC,EAAE,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC;QACvE,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,+BAA+B,EAClD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,CAAC,IAAI,CACR,2BAA2B,GAAG,CAAC,OAAO,uBAAuB,GAAG,CAAC,kBAAkB,kDAAkD,CACtI,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,+BAA+B,EAAE,CAAC;QAC1D,KAAK,CAAC,GAAG,EAAE,CAAC;IACd,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatFailureSpineHuman.d.ts","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"formatFailureSpineHuman.d.ts","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,0GAA0G;AAC1G,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAiBrE"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { formatOperationalMessage } from "./failureCatalog.js";
|
|
2
|
+
import { AUTOMATION_BOUNDARY_CONNECTOR } from "./remediationMessage.js";
|
|
2
3
|
/** Single producer of the terminal `failure_spine:` human block (must match certificate.failureSpine). */
|
|
3
4
|
export function formatFailureSpineHuman(spine) {
|
|
4
5
|
const summaryOneLine = formatOperationalMessage(spine.summary);
|
|
@@ -11,8 +12,11 @@ export function formatFailureSpineHuman(spine) {
|
|
|
11
12
|
` actionable_failure: category=${af.category} severity=${af.severity} recommended_action=${af.recommendedAction} automation_safe=${af.automationSafe}`,
|
|
12
13
|
` primary_codes: ${primary}`,
|
|
13
14
|
` rerun_guidance: ${formatOperationalMessage(spine.rerunGuidance)}`,
|
|
14
|
-
` source: ${spine.source}`,
|
|
15
15
|
];
|
|
16
|
+
if (af.automationSafe && af.recommendedAction === "improve_read_connectivity") {
|
|
17
|
+
lines.push(` automation_boundary: ${AUTOMATION_BOUNDARY_CONNECTOR}`);
|
|
18
|
+
}
|
|
19
|
+
lines.push(` source: ${spine.source}`);
|
|
16
20
|
return lines.join("\n");
|
|
17
21
|
}
|
|
18
22
|
//# sourceMappingURL=formatFailureSpineHuman.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatFailureSpineHuman.js","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"formatFailureSpineHuman.js","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,OAAO,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAExE,0GAA0G;AAC1G,MAAM,UAAU,uBAAuB,CAAC,KAAqB;IAC3D,MAAM,cAAc,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,KAAK,CAAC,iBAAiB,CAAC;IACnC,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG;QACZ,gBAAgB;QAChB,qBAAqB,KAAK,CAAC,aAAa,EAAE;QAC1C,cAAc,cAAc,EAAE;QAC9B,kCAAkC,EAAE,CAAC,QAAQ,aAAa,EAAE,CAAC,QAAQ,uBAAuB,EAAE,CAAC,iBAAiB,oBAAoB,EAAE,CAAC,cAAc,EAAE;QACvJ,oBAAoB,OAAO,EAAE;QAC7B,qBAAqB,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE;KACrE,CAAC;IACF,IAAI,EAAE,CAAC,cAAc,IAAI,EAAE,CAAC,iBAAiB,KAAK,2BAA2B,EAAE,CAAC;QAC9E,KAAK,CAAC,IAAI,CAAC,0BAA0B,6BAA6B,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -3,7 +3,9 @@ export type { CiLockV1, CiLockBatchV1, CiLockQuickV1 } from "./ciLock.js";
|
|
|
3
3
|
export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
|
|
4
4
|
export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, truthCheckVerdictFromCertificate, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
|
|
5
5
|
export type { OutcomeCertificateV3, OutcomeCertificateV1, OutcomeCertificateV2, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, TruthCheckVerdictLabel, } from "./outcomeCertificate.js";
|
|
6
|
-
export { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
6
|
+
export { AUTOMATION_BOUNDARY_CONNECTOR, remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
7
|
+
export { deriveRemediationDecisionFromQuickReport, deriveRemediationDecisionFromWorkflowResult } from "./actionableFailure.js";
|
|
8
|
+
export type { AutomationClass, RemediationDecision, RemediationItem, RemediationNextAction, RerunPath, RerunReadiness, } from "./types.js";
|
|
7
9
|
export { buildFailureSpineFromIneligibleLangGraph, buildFailureSpineFromQuickReport, buildFailureSpineFromWorkflowResult, } from "./failureSpine.js";
|
|
8
10
|
export type { FailureSpineSource, FailureSpineV1 } from "./failureSpine.js";
|
|
9
11
|
export { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,EACnC,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,EACnC,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AAChH,OAAO,EAAE,wCAAwC,EAAE,2CAA2C,EAAE,MAAM,wBAAwB,CAAC;AAC/H,YAAY,EACV,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,qBAAqB,EACrB,SAAS,EACT,cAAc,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,wCAAwC,EACxC,gCAAgC,EAChC,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EACL,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAChG,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AACnG,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,YAAY,EACV,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACnG,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,YAAY,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAC1F,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
|
|
2
2
|
export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
|
|
3
3
|
export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, truthCheckVerdictFromCertificate, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
|
|
4
|
-
export { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
4
|
+
export { AUTOMATION_BOUNDARY_CONNECTOR, remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
5
|
+
export { deriveRemediationDecisionFromQuickReport, deriveRemediationDecisionFromWorkflowResult } from "./actionableFailure.js";
|
|
5
6
|
export { buildFailureSpineFromIneligibleLangGraph, buildFailureSpineFromQuickReport, buildFailureSpineFromWorkflowResult, } from "./failureSpine.js";
|
|
6
7
|
export { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
|
7
8
|
export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AAcjC,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AAcjC,OAAO,EAAE,6BAA6B,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AAChH,OAAO,EAAE,wCAAwC,EAAE,2CAA2C,EAAE,MAAM,wBAAwB,CAAC;AAS/H,OAAO,EACL,wCAAwC,EACxC,gCAAgC,EAChC,mCAAmC,GACpC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE5E,OAAO,EACL,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAMhG,OAAO,EAAE,4BAA4B,EAAE,+BAA+B,EAAE,MAAM,oBAAoB,CAAC;AAEnG,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAM3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAM1E,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEnG,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE1F,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAE1F,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAyCtD,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loopOutput.contract.test.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.contract.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { CLI_OPERATIONAL_CODES } from "../cliOperationalCodes.js";
|
|
3
|
+
import { TruthLayerError } from "../truthLayerError.js";
|
|
4
|
+
import { renderLoopOperationalUnknown } from "./loopOutput.js";
|
|
5
|
+
describe("renderLoopOperationalUnknown", () => {
|
|
6
|
+
it("CLI_USAGE matches disposition WHY + fix_cli_usage NEXT_ACTION", () => {
|
|
7
|
+
const err = new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "test-cli-usage");
|
|
8
|
+
const out = renderLoopOperationalUnknown({
|
|
9
|
+
code: err.code,
|
|
10
|
+
message: err.message,
|
|
11
|
+
runRef: "unavailable",
|
|
12
|
+
});
|
|
13
|
+
expect(out).toBe([
|
|
14
|
+
"VERDICT: UNKNOWN",
|
|
15
|
+
"WHY: Invalid or incomplete CLI arguments for agentskeptic.",
|
|
16
|
+
"LOCAL_REGRESSION_COMPARE: no_anchor",
|
|
17
|
+
"NEXT_ACTION: Fix CLI flags or paths (events, registry, database URL), then rerun verify.",
|
|
18
|
+
"RUN_REF: unavailable",
|
|
19
|
+
].join("\n"));
|
|
20
|
+
});
|
|
21
|
+
});
|
|
22
|
+
//# sourceMappingURL=loopOutput.contract.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loopOutput.contract.test.js","sourceRoot":"","sources":["../../src/loop/loopOutput.contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAE/D,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,IAAI,eAAe,CAAC,qBAAqB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,4BAA4B,CAAC;YACvC,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CACd;YACE,kBAAkB;YAClB,4DAA4D;YAC5D,qCAAqC;YACrC,0FAA0F;YAC1F,sBAAsB;SACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -11,8 +11,9 @@ export declare function renderLoopTerminalContract(input: {
|
|
|
11
11
|
};
|
|
12
12
|
}): string;
|
|
13
13
|
export declare function renderLoopOperationalUnknown(input: {
|
|
14
|
+
/** TruthLayerError.code or best-effort operational code string */
|
|
15
|
+
code: string;
|
|
14
16
|
message: string;
|
|
15
|
-
nextAction: string;
|
|
16
17
|
runRef: string;
|
|
17
18
|
}): string;
|
|
18
19
|
//# sourceMappingURL=loopOutput.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGrE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAUrE,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,WAAW,EAAE,oBAAoB,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,QAAQ,EAAE,oBAAoB,CAAA;KAAE,CAAC;CACvG,GAAG,MAAM,CAqBT;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,kEAAkE;IAClE,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,MAAM,CAYT"}
|
package/dist/loop/loopOutput.js
CHANGED
|
@@ -1,3 +1,6 @@
|
|
|
1
|
+
import { deriveActionableFailureOperational } from "../actionableFailure.js";
|
|
2
|
+
import { OPERATIONAL_DISPOSITION } from "../operationalDisposition.js";
|
|
3
|
+
import { remediationMessageForRecommendedAction } from "../remediationMessage.js";
|
|
1
4
|
import { trustDecisionFromCertificate } from "../trustDecision.js";
|
|
2
5
|
function normalizedVerdict(certificate) {
|
|
3
6
|
const trust = trustDecisionFromCertificate(certificate);
|
|
@@ -28,11 +31,15 @@ export function renderLoopTerminalContract(input) {
|
|
|
28
31
|
return lines.join("\n");
|
|
29
32
|
}
|
|
30
33
|
export function renderLoopOperationalUnknown(input) {
|
|
34
|
+
const row = OPERATIONAL_DISPOSITION[input.code];
|
|
35
|
+
const why = row?.summary ?? input.message;
|
|
36
|
+
const af = deriveActionableFailureOperational(input.code);
|
|
37
|
+
const nextAction = remediationMessageForRecommendedAction(af.recommendedAction);
|
|
31
38
|
return [
|
|
32
39
|
"VERDICT: UNKNOWN",
|
|
33
|
-
`WHY: ${
|
|
40
|
+
`WHY: ${why}`,
|
|
34
41
|
"LOCAL_REGRESSION_COMPARE: no_anchor",
|
|
35
|
-
`NEXT_ACTION: ${
|
|
42
|
+
`NEXT_ACTION: ${nextAction}`,
|
|
36
43
|
`RUN_REF: ${input.runRef}`,
|
|
37
44
|
].join("\n");
|
|
38
45
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loopOutput.js","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"loopOutput.js","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kCAAkC,EAAE,MAAM,yBAAyB,CAAC;AAE7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAElF,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAEnE,SAAS,iBAAiB,CAAC,WAAiC;IAC1D,MAAM,KAAK,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,KAAK,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC;IAC7C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAI1C;IACC,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,EAAE,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACpD,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,iBAAiB,CAAC;QAChE,KAAK,CAAC,IAAI,CACR,4CAA4C,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,cAAc,gBAAgB,CAAC,CAAC,yBAAyB,CAAC,MAAM,cAAc,CAAC,CAAC,uBAAuB,CAAC,MAAM,eAAe,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CACzO,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,WAAW,GACf,KAAK,CAAC,WAAW,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI;YAC3D,sFAAsF,CAAC;QACzF,KAAK,CAAC,IAAI,CAAC,gBAAgB,WAAW,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAK5C;IACC,MAAM,GAAG,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAuB,CAAC,CAAC;IACnE,MAAM,GAAG,GAAG,GAAG,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC;IAC1C,MAAM,EAAE,GAAG,kCAAkC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,sCAAsC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAChF,OAAO;QACL,kBAAkB;QAClB,QAAQ,GAAG,EAAE;QACb,qCAAqC;QACrC,gBAAgB,UAAU,EAAE;QAC5B,YAAY,KAAK,CAAC,MAAM,EAAE;KAC3B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runLoopSubcommand.d.ts","sourceRoot":"","sources":["../../src/loop/runLoopSubcommand.ts"],"names":[],"mappings":"AAoCA,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,
|
|
1
|
+
{"version":3,"file":"runLoopSubcommand.d.ts","sourceRoot":"","sources":["../../src/loop/runLoopSubcommand.ts"],"names":[],"mappings":"AAoCA,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA+ErE"}
|
|
@@ -94,8 +94,8 @@ export async function runLoopSubcommand(args) {
|
|
|
94
94
|
: formatOperationalMessage(e instanceof Error ? e.message : String(e));
|
|
95
95
|
process.stderr.write(`${cliErrorEnvelope(code, msg)}\n`);
|
|
96
96
|
const out = renderLoopOperationalUnknown({
|
|
97
|
+
code,
|
|
97
98
|
message: msg,
|
|
98
|
-
nextAction: "Check your CLI args, event/registry paths, and database connectivity, then rerun `agentskeptic loop`.",
|
|
99
99
|
runRef: "unavailable",
|
|
100
100
|
});
|
|
101
101
|
process.stdout.write(`${out}\n`);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runLoopSubcommand.js","sourceRoot":"","sources":["../../src/loop/runLoopSubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACjF,OAAO,EAAE,oCAAoC,EAAE,MAAM,iCAAiC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACzG,OAAO,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+BAA+B,CAAC;AACjF,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAGlF,SAAS,YAAY,CAAC,IAAc;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IACjD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,UAAkB,EAAE,MAAc,EAAE,UAAkB;IACpE,OAAO,GAAG,UAAU,eAAe,UAAU,SAAS,MAAM,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,0BAA0B,CAAC,kBAA0B;IAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IAC1C,OAAO,gCAAgC,CAAC,MAAwB,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAc;IACpD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,uBAAuB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,IAAI,CAAC;QACH,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,GAAG,MAAM,oCAAoC,CAAC,GAAG,EAAE,CACtF,cAAc,CAAC;YACb,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;YAC7C,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CACH,CAAC;QAEF,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,YAAY,CAAC;YAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,cAAc;YACd,WAAW;YACX,OAAO;SACR,CAAC,CAAC;QAEH,IAAI,OAAO,GAEoF;YAC7F,IAAI,EAAE,4BAA4B;SACnC,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,0BAA0B,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBACzE,MAAM,QAAQ,GAAG,sCAAsC,CAAC;oBACtD,OAAO,EAAE,CAAC,WAAW,EAAE,cAAc,CAAC;oBACtC,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACpE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC;iBACnD,CAAC,CAAC;gBACH,OAAO,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;YAC1C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;YACnD,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,WAAW;YACX,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC;YACrE,OAAO;SACR,CAAC,CAAC;QACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;QAEpC,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,CAAC,YAAY,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,cAAc,CAAC;QAC1F,MAAM,GAAG,GACP,CAAC,YAAY,eAAe;YAC1B,CAAC,CAAC,CAAC,CAAC,OAAO;YACX,CAAC,CAAC,wBAAwB,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,4BAA4B,CAAC;YACvC,OAAO,EAAE,GAAG;YACZ,
|
|
1
|
+
{"version":3,"file":"runLoopSubcommand.js","sourceRoot":"","sources":["../../src/loop/runLoopSubcommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,uBAAuB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACjF,OAAO,EAAE,oCAAoC,EAAE,MAAM,iCAAiC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACzG,OAAO,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+BAA+B,CAAC;AACjF,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAGlF,SAAS,YAAY,CAAC,IAAc;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IACjD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,UAAkB,EAAE,MAAc,EAAE,UAAkB;IACpE,OAAO,GAAG,UAAU,eAAe,UAAU,SAAS,MAAM,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,0BAA0B,CAAC,kBAA0B;IAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;IAC1C,OAAO,gCAAgC,CAAC,MAAwB,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAc;IACpD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,uBAAuB,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,IAAI,CAAC;QACH,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,GAAG,MAAM,oCAAoC,CAAC,GAAG,EAAE,CACtF,cAAc,CAAC;YACb,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;YAC7C,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CACH,CAAC;QAEF,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,YAAY,CAAC;YAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,cAAc;YACd,WAAW;YACX,OAAO;SACR,CAAC,CAAC;QAEH,IAAI,OAAO,GAEoF;YAC7F,IAAI,EAAE,4BAA4B;SACnC,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,0BAA0B,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBACzE,MAAM,QAAQ,GAAG,sCAAsC,CAAC;oBACtD,OAAO,EAAE,CAAC,WAAW,EAAE,cAAc,CAAC;oBACtC,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBACpE,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC;iBACnD,CAAC,CAAC;gBACH,OAAO,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;YAC1C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;YACnD,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,WAAW;YACX,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC;YACrE,OAAO;SACR,CAAC,CAAC;QACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;QAEpC,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,CAAC,YAAY,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,cAAc,CAAC;QAC1F,MAAM,GAAG,GACP,CAAC,YAAY,eAAe;YAC1B,CAAC,CAAC,CAAC,CAAC,OAAO;YACX,CAAC,CAAC,wBAAwB,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,4BAA4B,CAAC;YACvC,IAAI;YACJ,OAAO,EAAE,GAAG;YACZ,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}
|
|
@@ -2,7 +2,7 @@ import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
|
|
|
2
2
|
import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
|
|
3
3
|
import { type EvidenceCompletenessJson } from "./evidenceCompleteness.js";
|
|
4
4
|
import { type FailureSpineV1 } from "./failureSpine.js";
|
|
5
|
-
import type { Reason, WorkflowResult } from "./types.js";
|
|
5
|
+
import type { CorrectnessDefinitionV1, Reason, WorkflowResult } from "./types.js";
|
|
6
6
|
export type OutcomeCertificateRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
|
|
7
7
|
export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
|
|
8
8
|
export type OutcomeCertificateHighStakesReliance = "permitted" | "prohibited";
|
|
@@ -43,6 +43,8 @@ export type OutcomeCertificateV3 = {
|
|
|
43
43
|
evidenceCompleteness: EvidenceCompletenessJson;
|
|
44
44
|
failureSpine: FailureSpineV1;
|
|
45
45
|
checkpointVerdicts?: OutcomeCertificateCheckpointVerdict[];
|
|
46
|
+
/** Mirrors `workflowTruthReport.correctnessDefinition` when present (optional attestation field). */
|
|
47
|
+
correctnessDefinition?: CorrectnessDefinitionV1 | null;
|
|
46
48
|
};
|
|
47
49
|
/** @deprecated Use OutcomeCertificateV3 — alias retained for semver-stable imports */
|
|
48
50
|
export type OutcomeCertificateV2 = OutcomeCertificateV3;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"outcomeCertificate.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,
|
|
1
|
+
{"version":3,"file":"outcomeCertificate.d.ts","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAIL,KAAK,wBAAwB,EAC9B,MAAM,2BAA2B,CAAC;AAKnC,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAe,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGlH,MAAM,MAAM,yBAAyB,GACjC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,MAAM,MAAM,+BAA+B,GACvC,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,oCAAoC,GAAG,WAAW,GAAG,YAAY,CAAC;AAE9E,MAAM,MAAM,mCAAmC,GAAG;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,mCAAmC,GAAG;IAChD,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,yBAAyB,CAAC;IACnC,aAAa,EAAE,+BAA+B,CAAC;IAC/C,kBAAkB,EAAE,oCAAoC,CAAC;IACzD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE;QACX,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,mCAAmC,EAAE,CAAC;KAChD,CAAC;IACF,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,EAAE,wBAAwB,CAAC;IAC/C,YAAY,EAAE,cAAc,CAAC;IAC7B,kBAAkB,CAAC,EAAE,mCAAmC,EAAE,CAAC;IAC3D,qGAAqG;IACrG,qBAAqB,CAAC,EAAE,uBAAuB,GAAG,IAAI,CAAC;CACxD,CAAC;AAEF,sFAAsF;AACtF,MAAM,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AACxD,sFAAsF;AACtF,MAAM,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAExD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,EAClC,aAAa,EAAE,+BAA+B,GAC7C,oCAAoC,CAItC;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,cAAc,GAAG,+BAA+B,CAIrG;AA0FD,wBAAgB,2CAA2C,CACzD,MAAM,EAAE,cAAc,GACrB,mCAAmC,EAAE,CA2BvC;AAED,6EAA6E;AAC7E,eAAO,MAAM,8CAA8C,EACzD,wCAAiD,CAAC;AAEpD,wBAAgB,kDAAkD,CAChE,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,GACxB,oBAAoB,CAmDtB;AAED,wBAAgB,iEAAiE,CAC/E,MAAM,EAAE,cAAc,GACrB,oBAAoB,CAgDtB;AAED;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAsCtB;AAQD,MAAM,MAAM,mCAAmC,GAAG;IAChD,MAAM,EAAE,iBAAiB,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,mCAAmC,GAAG,oBAAoB,CAqEzH;AAED,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEvF;AAED,kFAAkF;AAClF,MAAM,MAAM,sBAAsB,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAAC;AAE3E,wBAAgB,gCAAgC,CAAC,WAAW,EAAE,oBAAoB,GAAG,sBAAsB,CAQ1G;AAED,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAqC1F"}
|