agentskeptic 4.2.0 → 6.0.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.remediationExhaustive.test.js +1 -1
- package/dist/bootstrap/runBootstrapSubcommand.js +1 -1
- package/dist/ciLock.js +1 -1
- package/dist/ciLock.js.map +1 -1
- package/dist/cli.js +2 -2
- package/dist/commercial/trustDecisionRecord.d.ts.map +1 -1
- package/dist/commercial/trustDecisionRecord.js +7 -3
- package/dist/commercial/trustDecisionRecord.js.map +1 -1
- package/dist/commercial/trustDecisionRecord.schema.test.js +24 -2
- package/dist/commercial/trustDecisionRecord.schema.test.js.map +1 -1
- package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -1
- package/dist/commercial/verifyOutcomeBeaconBody.js +2 -1
- package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -1
- package/dist/compare.acceptance.test.js +1 -1
- package/dist/decisionBlocker.d.ts +1 -11
- package/dist/decisionBlocker.d.ts.map +1 -1
- package/dist/decisionBlocker.js +1 -41
- package/dist/decisionBlocker.js.map +1 -1
- package/dist/decisionEvidenceBundle/validateDecisionEvidenceBundle.js +1 -1
- package/dist/decisionEvidenceBundle/writeDecisionEvidenceBundle.js +2 -2
- package/dist/decisionEvidenceBundle.test.js +50 -3
- package/dist/decisionEvidenceBundle.test.js.map +1 -1
- package/dist/decisionGate.assertSafe.test.js +1 -1
- package/dist/decisionGate.assertSafe.test.js.map +1 -1
- package/dist/decisionGate.js +1 -1
- package/dist/enforceStateful.js +2 -2
- package/dist/enforceStateful.js.map +1 -1
- package/dist/evidenceCompleteness.d.ts +54 -0
- package/dist/evidenceCompleteness.d.ts.map +1 -0
- package/dist/evidenceCompleteness.js +263 -0
- package/dist/evidenceCompleteness.js.map +1 -0
- package/dist/execution-identity.v1.json +1 -1
- package/dist/failureSpine.d.ts +37 -0
- package/dist/failureSpine.d.ts.map +1 -0
- package/dist/failureSpine.js +218 -0
- package/dist/failureSpine.js.map +1 -0
- package/dist/failureSpine.test.d.ts +2 -0
- package/dist/failureSpine.test.d.ts.map +1 -0
- package/dist/failureSpine.test.js +28 -0
- package/dist/failureSpine.test.js.map +1 -0
- package/dist/formatEvidenceCompletenessHuman.d.ts +12 -0
- package/dist/formatEvidenceCompletenessHuman.d.ts.map +1 -0
- package/dist/formatEvidenceCompletenessHuman.js +47 -0
- package/dist/formatEvidenceCompletenessHuman.js.map +1 -0
- package/dist/formatFailureSpineHuman.d.ts +4 -0
- package/dist/formatFailureSpineHuman.d.ts.map +1 -0
- package/dist/formatFailureSpineHuman.js +18 -0
- package/dist/formatFailureSpineHuman.js.map +1 -0
- package/dist/governanceEvidence.d.ts +9 -3
- package/dist/governanceEvidence.d.ts.map +1 -1
- package/dist/governanceEvidence.js +10 -5
- package/dist/governanceEvidence.js.map +1 -1
- package/dist/governanceEvidence.test.js +31 -4
- package/dist/governanceEvidence.test.js.map +1 -1
- package/dist/index.d.ts +7 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +5 -2
- package/dist/index.js.map +1 -1
- package/dist/langGraphCheckpointTrustGate.js +1 -1
- package/dist/langGraphCheckpointTrustIneligibleCertificate.js +1 -1
- package/dist/loop/loopOutput.d.ts +0 -4
- package/dist/loop/loopOutput.d.ts.map +1 -1
- package/dist/loop/loopOutput.js +3 -6
- package/dist/loop/loopOutput.js.map +1 -1
- package/dist/loop/runLoopSubcommand.d.ts.map +1 -1
- package/dist/loop/runLoopSubcommand.js +0 -2
- package/dist/loop/runLoopSubcommand.js.map +1 -1
- package/dist/outcomeCertificate.d.ts +20 -10
- package/dist/outcomeCertificate.d.ts.map +1 -1
- package/dist/outcomeCertificate.js +85 -8
- package/dist/outcomeCertificate.js.map +1 -1
- package/dist/outcomeCertificate.test.js +1 -1
- package/dist/publicDistribution.generated.d.ts +1 -1
- package/dist/publicDistribution.generated.js +1 -1
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +8 -3
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -1
- package/dist/quickVerify/quickParamPointerNegatives.test.js +5 -2
- package/dist/quickVerify/quickParamPointerNegatives.test.js.map +1 -1
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.js +7 -4
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.js.map +1 -1
- package/dist/quickVerify/runQuickVerify.d.ts +3 -1
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
- package/dist/quickVerify/runQuickVerify.js +24 -3
- package/dist/quickVerify/runQuickVerify.js.map +1 -1
- package/dist/redactEvidenceString.d.ts +5 -0
- package/dist/redactEvidenceString.d.ts.map +1 -0
- package/dist/redactEvidenceString.js +17 -0
- package/dist/redactEvidenceString.js.map +1 -0
- package/dist/remediationConsumptionGuard.test.js +3 -0
- package/dist/remediationConsumptionGuard.test.js.map +1 -1
- package/dist/remediationMessage.d.ts +6 -0
- package/dist/remediationMessage.d.ts.map +1 -0
- package/dist/remediationMessage.js +30 -0
- package/dist/remediationMessage.js.map +1 -0
- package/dist/remediationWireSurfaceGuard.test.js +3 -0
- package/dist/remediationWireSurfaceGuard.test.js.map +1 -1
- package/dist/schemaLoad.d.ts +1 -1
- package/dist/schemaLoad.d.ts.map +1 -1
- package/dist/schemaLoad.js +25 -1
- package/dist/schemaLoad.js.map +1 -1
- package/dist/sdk/_generated/openapi-types.d.ts +25 -15
- package/dist/sdk/_generated/openapi-types.d.ts.map +1 -1
- package/dist/shareReport/postPublicVerificationReport.d.ts +3 -3
- package/dist/shareReport/postPublicVerificationReport.js +1 -1
- package/dist/shareReport/postPublicVerificationReport.js.map +1 -1
- package/dist/standardVerifyWorkflowCli.d.ts +7 -7
- package/dist/standardVerifyWorkflowCli.js +3 -3
- package/dist/trustDecision.d.ts +7 -2
- package/dist/trustDecision.d.ts.map +1 -1
- package/dist/trustDecision.js +14 -7
- package/dist/trustDecision.js.map +1 -1
- package/dist/verify/batchVerifyTelemetrySubcommand.js +2 -2
- package/package.json +4 -3
- package/schemas/decision-evidence-exit-v1.schema.json +1 -1
- package/schemas/evidence-completeness-v1.schema.json +87 -0
- package/schemas/failure-spine-v1.schema.json +38 -0
- package/schemas/material-truth-v2.schema.json +83 -0
- package/schemas/openapi-commercial-v1.in.yaml +46 -21
- package/schemas/openapi-commercial-v1.yaml +47 -22
- package/schemas/outcome-certificate-v2.schema.json +93 -0
- package/schemas/outcome-certificate-v3.schema.json +97 -0
- package/schemas/public-verification-report-v3.schema.json +15 -0
- package/schemas/quick-verify-report.schema.json +6 -2
- package/schemas/regression-artifact-v1.schema.json +1 -1
- package/schemas/trust-decision-record-v1.schema.json +3 -3
- package/scripts/discovery-payload.lib.cjs +140 -18
- package/dist/decisionBlocker.contract.test.d.ts +0 -2
- package/dist/decisionBlocker.contract.test.d.ts.map +0 -1
- package/dist/decisionBlocker.contract.test.js +0 -51
- package/dist/decisionBlocker.contract.test.js.map +0 -1
- package/dist/loop/failureHints.d.ts +0 -6
- package/dist/loop/failureHints.d.ts.map +0 -1
- package/dist/loop/failureHints.js +0 -36
- package/dist/loop/failureHints.js.map +0 -1
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
import { redactEvidenceString } from "./redactEvidenceString.js";
|
|
2
|
+
export const EVIDENCE_COMPLETENESS_BEGIN = "=== evidence_completeness ===";
|
|
3
|
+
export const EVIDENCE_COMPLETENESS_END = "=== end evidence_completeness ===";
|
|
4
|
+
/** Max body lines between anchors (excluding boundary lines). */
|
|
5
|
+
export const EVIDENCE_COMPLETENESS_MAX_LINES = 22;
|
|
6
|
+
export function formatEvidenceCompletenessHuman(ec, ctx) {
|
|
7
|
+
const lines = [EVIDENCE_COMPLETENESS_BEGIN];
|
|
8
|
+
lines.push(`Blocker: ${ec.blockerCategory}`);
|
|
9
|
+
lines.push(`Quick signal: ${ec.quickSignal}`);
|
|
10
|
+
if (ec.verifiedClaims.length > 0) {
|
|
11
|
+
lines.push("Verified:");
|
|
12
|
+
for (const v of ec.verifiedClaims.slice(0, 8)) {
|
|
13
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
14
|
+
break;
|
|
15
|
+
lines.push(` - ${v}`);
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
if (ec.unverifiedClaims.length > 0) {
|
|
19
|
+
lines.push("Not verified:");
|
|
20
|
+
for (const v of ec.unverifiedClaims.slice(0, 8)) {
|
|
21
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
22
|
+
break;
|
|
23
|
+
lines.push(` - ${v}`);
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
if (ec.missingInputs.length > 0) {
|
|
27
|
+
lines.push("Missing input:");
|
|
28
|
+
for (const m of ec.missingInputs.slice(0, 4)) {
|
|
29
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
30
|
+
break;
|
|
31
|
+
lines.push(` - ${m.code}: ${m.hint}`);
|
|
32
|
+
}
|
|
33
|
+
}
|
|
34
|
+
lines.push("Next:");
|
|
35
|
+
for (const n of ec.nextActions) {
|
|
36
|
+
if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
|
|
37
|
+
break;
|
|
38
|
+
lines.push(` - ${n.text}`);
|
|
39
|
+
}
|
|
40
|
+
lines.push(`Trust boundary: runKind=${ctx.runKind} highStakesReliance=${ctx.highStakesReliance} (see certificate fields for normative meaning).`);
|
|
41
|
+
while (lines.length > 1 + EVIDENCE_COMPLETENESS_MAX_LINES) {
|
|
42
|
+
lines.pop();
|
|
43
|
+
}
|
|
44
|
+
lines.push(EVIDENCE_COMPLETENESS_END);
|
|
45
|
+
return lines.map((l) => redactEvidenceString(l, 2048)).join("\n");
|
|
46
|
+
}
|
|
47
|
+
//# sourceMappingURL=formatEvidenceCompletenessHuman.js.map
|
|
@@ -0,0 +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"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import type { FailureSpineV1 } from "./failureSpine.js";
|
|
2
|
+
/** Single producer of the terminal `failure_spine:` human block (must match certificate.failureSpine). */
|
|
3
|
+
export declare function formatFailureSpineHuman(spine: FailureSpineV1): string;
|
|
4
|
+
//# sourceMappingURL=formatFailureSpineHuman.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"formatFailureSpineHuman.d.ts","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,0GAA0G;AAC1G,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAcrE"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { formatOperationalMessage } from "./failureCatalog.js";
|
|
2
|
+
/** Single producer of the terminal `failure_spine:` human block (must match certificate.failureSpine). */
|
|
3
|
+
export function formatFailureSpineHuman(spine) {
|
|
4
|
+
const summaryOneLine = formatOperationalMessage(spine.summary);
|
|
5
|
+
const af = spine.actionableFailure;
|
|
6
|
+
const primary = spine.primaryCodes.join(",");
|
|
7
|
+
const lines = [
|
|
8
|
+
"failure_spine:",
|
|
9
|
+
` trust_decision: ${spine.trustDecision}`,
|
|
10
|
+
` summary: ${summaryOneLine}`,
|
|
11
|
+
` actionable_failure: category=${af.category} severity=${af.severity} recommended_action=${af.recommendedAction} automation_safe=${af.automationSafe}`,
|
|
12
|
+
` primary_codes: ${primary}`,
|
|
13
|
+
` rerun_guidance: ${formatOperationalMessage(spine.rerunGuidance)}`,
|
|
14
|
+
` source: ${spine.source}`,
|
|
15
|
+
];
|
|
16
|
+
return lines.join("\n");
|
|
17
|
+
}
|
|
18
|
+
//# sourceMappingURL=formatFailureSpineHuman.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"formatFailureSpineHuman.js","sourceRoot":"","sources":["../src/formatFailureSpineHuman.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAG/D,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;QACpE,aAAa,KAAK,CAAC,MAAM,EAAE;KAC5B,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
+
import type { EvidenceCompletenessJson } from "./evidenceCompleteness.js";
|
|
2
3
|
type MaterialTruthStep = {
|
|
3
4
|
seq: number;
|
|
4
5
|
toolId: string;
|
|
@@ -11,17 +12,22 @@ type MaterialTruthCheckpointVerdict = {
|
|
|
11
12
|
verdict: "verified" | "inconsistent" | "incomplete";
|
|
12
13
|
seqs: number[];
|
|
13
14
|
};
|
|
14
|
-
export type
|
|
15
|
-
schemaVersion:
|
|
15
|
+
export type MaterialTruthV2 = {
|
|
16
|
+
schemaVersion: 2;
|
|
16
17
|
workflowId: string;
|
|
17
18
|
runKind: OutcomeCertificateV1["runKind"];
|
|
18
19
|
stateRelation: OutcomeCertificateV1["stateRelation"];
|
|
19
20
|
reasonCodes: string[];
|
|
21
|
+
evidenceGapPrimary: EvidenceCompletenessJson["blockerCategory"];
|
|
20
22
|
steps: MaterialTruthStep[];
|
|
21
23
|
checkpointVerdicts: MaterialTruthCheckpointVerdict[];
|
|
22
24
|
};
|
|
25
|
+
/** @deprecated Prefer `MaterialTruthV2` / `materialTruthProjectionFromCertificate`. */
|
|
26
|
+
export type MaterialTruthV1 = MaterialTruthV2;
|
|
23
27
|
export declare function canonicalCertificateSha256(certificate: OutcomeCertificateV1): string;
|
|
24
|
-
export declare function
|
|
28
|
+
export declare function materialTruthProjectionFromCertificate(certificate: OutcomeCertificateV1): MaterialTruthV2;
|
|
29
|
+
/** @deprecated Use `materialTruthProjectionFromCertificate`. */
|
|
30
|
+
export declare function materialTruthProjectionV1(certificate: OutcomeCertificateV1): MaterialTruthV2;
|
|
25
31
|
export declare function materialTruthSha256(certificate: OutcomeCertificateV1): string;
|
|
26
32
|
export {};
|
|
27
33
|
//# sourceMappingURL=governanceEvidence.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"governanceEvidence.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"governanceEvidence.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAM1E,KAAK,iBAAiB,GAAG;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,8BAA8B,GAAG;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,aAAa,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACrD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;IAChE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,kBAAkB,EAAE,8BAA8B,EAAE,CAAC;CACtD,CAAC;AAEF,uFAAuF;AACvF,MAAM,MAAM,eAAe,GAAG,eAAe,CAAC;AAgD9C,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEpF;AAED,wBAAgB,sCAAsC,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAEzG;AAED,gEAAgE;AAChE,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAE5F;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAE7E"}
|
|
@@ -6,7 +6,7 @@ import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
|
6
6
|
function sortedUniqueStrings(values) {
|
|
7
7
|
return [...new Set(values)].sort((a, b) => a.localeCompare(b));
|
|
8
8
|
}
|
|
9
|
-
function
|
|
9
|
+
function buildMaterialTruthProjectionFromCertificate(certificate) {
|
|
10
10
|
const reasonCodes = sortedUniqueStrings(certificate.explanation.details.map((d) => d.code));
|
|
11
11
|
const steps = [...certificate.steps]
|
|
12
12
|
.map((s) => ({
|
|
@@ -25,15 +25,16 @@ function buildMaterialTruthProjectionV1(certificate) {
|
|
|
25
25
|
}))
|
|
26
26
|
.sort((a, b) => a.checkpointKey.localeCompare(b.checkpointKey));
|
|
27
27
|
const out = {
|
|
28
|
-
schemaVersion:
|
|
28
|
+
schemaVersion: 2,
|
|
29
29
|
workflowId: certificate.workflowId,
|
|
30
30
|
runKind: certificate.runKind,
|
|
31
31
|
stateRelation: certificate.stateRelation,
|
|
32
32
|
reasonCodes,
|
|
33
|
+
evidenceGapPrimary: certificate.evidenceCompleteness.blockerCategory,
|
|
33
34
|
steps,
|
|
34
35
|
checkpointVerdicts,
|
|
35
36
|
};
|
|
36
|
-
const validate = loadSchemaValidator("material-truth-
|
|
37
|
+
const validate = loadSchemaValidator("material-truth-v2");
|
|
37
38
|
if (!validate(out)) {
|
|
38
39
|
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, `material_truth_invalid: ${JSON.stringify(validate.errors ?? [])}`);
|
|
39
40
|
}
|
|
@@ -45,10 +46,14 @@ function sha256HexUtf8(input) {
|
|
|
45
46
|
export function canonicalCertificateSha256(certificate) {
|
|
46
47
|
return sha256HexUtf8(stableStringify(certificate));
|
|
47
48
|
}
|
|
49
|
+
export function materialTruthProjectionFromCertificate(certificate) {
|
|
50
|
+
return buildMaterialTruthProjectionFromCertificate(certificate);
|
|
51
|
+
}
|
|
52
|
+
/** @deprecated Use `materialTruthProjectionFromCertificate`. */
|
|
48
53
|
export function materialTruthProjectionV1(certificate) {
|
|
49
|
-
return
|
|
54
|
+
return buildMaterialTruthProjectionFromCertificate(certificate);
|
|
50
55
|
}
|
|
51
56
|
export function materialTruthSha256(certificate) {
|
|
52
|
-
return sha256HexUtf8(stableStringify(
|
|
57
|
+
return sha256HexUtf8(stableStringify(buildMaterialTruthProjectionFromCertificate(certificate)));
|
|
53
58
|
}
|
|
54
59
|
//# sourceMappingURL=governanceEvidence.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"governanceEvidence.js","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"governanceEvidence.js","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AA8BjE,SAAS,mBAAmB,CAAC,MAAgB;IAC3C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,2CAA2C,CAAC,WAAiC;IACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KACjD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,MAAM,GAAG,GAAoB;QAC3B,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,WAAW;QACX,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CAAC,eAAe;QACpE,KAAK;QACL,kBAAkB;KACnB,CAAC;IACF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,WAAiC;IAC1E,OAAO,aAAa,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,WAAiC;IACtF,OAAO,2CAA2C,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,yBAAyB,CAAC,WAAiC;IACzE,OAAO,2CAA2C,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACnE,OAAO,aAAa,CAAC,eAAe,CAAC,2CAA2C,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC"}
|
|
@@ -1,14 +1,35 @@
|
|
|
1
1
|
import { describe, expect, it } from "vitest";
|
|
2
|
-
import {
|
|
2
|
+
import { minimalEvidenceCompletenessFixture } from "./evidenceCompleteness.js";
|
|
3
|
+
import { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
|
4
|
+
import { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
5
|
+
import { canonicalCertificateSha256, materialTruthProjectionFromCertificate, materialTruthSha256, } from "./governanceEvidence.js";
|
|
6
|
+
const fixtureFailureSpine = {
|
|
7
|
+
schemaVersion: 1,
|
|
8
|
+
trustDecision: "safe",
|
|
9
|
+
summary: "summary",
|
|
10
|
+
actionableFailure: {
|
|
11
|
+
category: "unclassified",
|
|
12
|
+
severity: "low",
|
|
13
|
+
recommendedAction: "none",
|
|
14
|
+
automationSafe: true,
|
|
15
|
+
},
|
|
16
|
+
primaryCodes: ["OK"],
|
|
17
|
+
rerunGuidance: remediationMessageForRecommendedAction("none"),
|
|
18
|
+
source: "workflow",
|
|
19
|
+
};
|
|
3
20
|
function fixture(overrides) {
|
|
21
|
+
const ec = minimalEvidenceCompletenessFixture({ blockerCategory: "none" });
|
|
22
|
+
const humanReportBody = "human body\n\n=== evidence_completeness ===\nstub\n=== end evidence_completeness ===\n\n" +
|
|
23
|
+
formatFailureSpineHuman(fixtureFailureSpine);
|
|
4
24
|
return {
|
|
5
|
-
schemaVersion:
|
|
25
|
+
schemaVersion: 3,
|
|
6
26
|
workflowId: "wf_test",
|
|
7
27
|
runKind: "contract_sql",
|
|
8
28
|
stateRelation: "matches_expectations",
|
|
9
29
|
highStakesReliance: "permitted",
|
|
10
30
|
relianceRationale: "rationale",
|
|
11
31
|
intentSummary: "summary",
|
|
32
|
+
evidenceCompleteness: ec,
|
|
12
33
|
explanation: {
|
|
13
34
|
headline: "headline",
|
|
14
35
|
details: [
|
|
@@ -31,7 +52,8 @@ function fixture(overrides) {
|
|
|
31
52
|
observedOutcome: "observed 1",
|
|
32
53
|
},
|
|
33
54
|
],
|
|
34
|
-
humanReport:
|
|
55
|
+
humanReport: humanReportBody,
|
|
56
|
+
failureSpine: fixtureFailureSpine,
|
|
35
57
|
checkpointVerdicts: [
|
|
36
58
|
{
|
|
37
59
|
checkpointKey: "cp_b",
|
|
@@ -51,8 +73,9 @@ function fixture(overrides) {
|
|
|
51
73
|
}
|
|
52
74
|
describe("governanceEvidence", () => {
|
|
53
75
|
it("builds stable, normalized material truth projection", () => {
|
|
54
|
-
const p =
|
|
76
|
+
const p = materialTruthProjectionFromCertificate(fixture());
|
|
55
77
|
expect(p.reasonCodes).toEqual(["CODE_A", "CODE_B"]);
|
|
78
|
+
expect(p.evidenceGapPrimary).toBe("none");
|
|
56
79
|
expect(p.steps.map((s) => s.seq)).toEqual([1, 2]);
|
|
57
80
|
expect(p.steps[0]?.toolId).toBe("");
|
|
58
81
|
expect(p.checkpointVerdicts.map((c) => c.checkpointKey)).toEqual(["cp_a", "cp_b"]);
|
|
@@ -70,6 +93,10 @@ describe("governanceEvidence", () => {
|
|
|
70
93
|
{ code: "CODE_A", message: "different message a" },
|
|
71
94
|
],
|
|
72
95
|
},
|
|
96
|
+
evidenceCompleteness: minimalEvidenceCompletenessFixture({
|
|
97
|
+
blockerCategory: "none",
|
|
98
|
+
unverifiedClaims: ["other"],
|
|
99
|
+
}),
|
|
73
100
|
});
|
|
74
101
|
expect(materialTruthSha256(a)).toBe(materialTruthSha256(b));
|
|
75
102
|
expect(canonicalCertificateSha256(a)).not.toBe(canonicalCertificateSha256(b));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"governanceEvidence.test.js","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"governanceEvidence.test.js","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kCAAkC,EAAE,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,mBAAmB,GAAG;IAC1B,aAAa,EAAE,CAAU;IACzB,aAAa,EAAE,MAAe;IAC9B,OAAO,EAAE,SAAS;IAClB,iBAAiB,EAAE;QACjB,QAAQ,EAAE,cAAuB;QACjC,QAAQ,EAAE,KAAc;QACxB,iBAAiB,EAAE,MAAe;QAClC,cAAc,EAAE,IAAI;KACrB;IACD,YAAY,EAAE,CAAC,IAAI,CAAC;IACpB,aAAa,EAAE,sCAAsC,CAAC,MAAM,CAAC;IAC7D,MAAM,EAAE,UAAmB;CAC5B,CAAC;AAEF,SAAS,OAAO,CAAC,SAAyC;IACxD,MAAM,EAAE,GAAG,kCAAkC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3E,MAAM,eAAe,GACnB,0FAA0F;QAC1F,uBAAuB,CAAC,mBAAmB,CAAC,CAAC;IAC/C,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa,EAAE,sBAAsB;QACrC,kBAAkB,EAAE,WAAW;QAC/B,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,SAAS;QACxB,oBAAoB,EAAE,EAAE;QACxB,WAAW,EAAE;YACX,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;gBACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;aACrC;SACF;QACD,KAAK,EAAE;YACL;gBACE,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,QAAQ;gBAChB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;YACD;gBACE,GAAG,EAAE,CAAC;gBACN,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;SACF;QACD,WAAW,EAAE,eAAe;QAC5B,YAAY,EAAE,mBAAmB;QACjC,kBAAkB,EAAE;YAClB;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACf,iBAAiB,EAAE,2BAA2B;aAC/C;YACD;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,cAAc;gBACvB,IAAI,EAAE,CAAC,CAAC,CAAC;gBACT,iBAAiB,EAAE,2BAA2B;aAC/C;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,sCAAsC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,OAAO,CAAC;YAChB,WAAW,EAAE,sBAAsB;YACnC,iBAAiB,EAAE,mBAAmB;YACtC,WAAW,EAAE;gBACX,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;oBAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;iBACnD;aACF;YACD,oBAAoB,EAAE,kCAAkC,CAAC;gBACvD,eAAe,EAAE,MAAM;gBACvB,gBAAgB,EAAE,CAAC,OAAO,CAAC;aAC5B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -2,16 +2,20 @@ export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqu
|
|
|
2
2
|
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
|
-
export type { OutcomeCertificateV1, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, TruthCheckVerdictLabel, } from "./outcomeCertificate.js";
|
|
5
|
+
export type { OutcomeCertificateV3, OutcomeCertificateV1, OutcomeCertificateV2, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, TruthCheckVerdictLabel, } from "./outcomeCertificate.js";
|
|
6
|
+
export { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
7
|
+
export { buildFailureSpineFromIneligibleLangGraph, buildFailureSpineFromQuickReport, buildFailureSpineFromWorkflowResult, } from "./failureSpine.js";
|
|
8
|
+
export type { FailureSpineSource, FailureSpineV1 } from "./failureSpine.js";
|
|
9
|
+
export { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
|
6
10
|
export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
|
|
7
11
|
export type { VerifyRunStateFromEventsInput } from "./pipeline.js";
|
|
8
12
|
export { assertLangGraphCheckpointProductionGate, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
|
|
9
13
|
export type { CreateDecisionGateOptions, DecisionGate } from "./decisionGate.js";
|
|
10
14
|
export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpointTrustGate.js";
|
|
11
15
|
export type { CreateLangGraphCheckpointTrustGateOptions, LangGraphCheckpointTrustEligibility, LangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
|
|
12
|
-
export { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
16
|
+
export { trustDecisionFromCertificate, trustDecisionFromRelianceFields } from "./trustDecision.js";
|
|
13
17
|
export type { TrustDecision } from "./trustDecision.js";
|
|
14
|
-
export {
|
|
18
|
+
export { firstProblemStepForCertificate } from "./decisionBlocker.js";
|
|
15
19
|
export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
|
|
16
20
|
export type { TrustDecisionRecordV1, TrustCertificateSnapshotV1, TrustGateKind, } from "./commercial/trustDecisionRecord.js";
|
|
17
21
|
export { loadSchemaValidator } from "./schemaLoad.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,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,EACnC,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,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,MAAM,oBAAoB,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,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AACjF,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,11 +1,14 @@
|
|
|
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";
|
|
5
|
+
export { buildFailureSpineFromIneligibleLangGraph, buildFailureSpineFromQuickReport, buildFailureSpineFromWorkflowResult, } from "./failureSpine.js";
|
|
6
|
+
export { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
|
4
7
|
export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
|
|
5
8
|
export { assertLangGraphCheckpointProductionGate, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
|
|
6
9
|
export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpointTrustGate.js";
|
|
7
|
-
export { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
8
|
-
export {
|
|
10
|
+
export { trustDecisionFromCertificate, trustDecisionFromRelianceFields } from "./trustDecision.js";
|
|
11
|
+
export { firstProblemStepForCertificate } from "./decisionBlocker.js";
|
|
9
12
|
export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
|
|
10
13
|
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
11
14
|
export { quickReportToStdoutLine } from "./quickVerify/runQuickVerify.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;
|
|
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;AACjF,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"}
|
|
@@ -118,7 +118,7 @@ export function createLangGraphCheckpointTrustGate(options) {
|
|
|
118
118
|
truthReport,
|
|
119
119
|
});
|
|
120
120
|
const certificate = buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result);
|
|
121
|
-
const validateCert = loadSchemaValidator("outcome-certificate-
|
|
121
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v3");
|
|
122
122
|
if (!validateCert(certificate)) {
|
|
123
123
|
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
124
124
|
}
|
|
@@ -8,7 +8,7 @@ import { buildIneligibleLangGraphCheckpointTrustCertificate, } from "./outcomeCe
|
|
|
8
8
|
*/
|
|
9
9
|
export function validatedLangGraphIneligibleCertificate(workflowId, reasons) {
|
|
10
10
|
const certificate = buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, reasons);
|
|
11
|
-
const validateCert = loadSchemaValidator("outcome-certificate-
|
|
11
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v3");
|
|
12
12
|
if (!validateCert(certificate)) {
|
|
13
13
|
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
14
14
|
}
|
|
@@ -9,10 +9,6 @@ export declare function renderLoopTerminalContract(input: {
|
|
|
9
9
|
kind: "summary";
|
|
10
10
|
artifact: RegressionArtifactV1;
|
|
11
11
|
};
|
|
12
|
-
failureHint?: {
|
|
13
|
-
likelyCause: string;
|
|
14
|
-
nextAction: string;
|
|
15
|
-
};
|
|
16
12
|
}): string;
|
|
17
13
|
export declare function renderLoopOperationalUnknown(input: {
|
|
18
14
|
message: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AASrE,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;
|
|
1
|
+
{"version":3,"file":"loopOutput.d.ts","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAErE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AASrE,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,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,MAAM,CAQT"}
|
package/dist/loop/loopOutput.js
CHANGED
|
@@ -20,12 +20,9 @@ export function renderLoopTerminalContract(input) {
|
|
|
20
20
|
lines.push(`LOCAL_REGRESSION_COMPARE: classification=${input.compare.artifact.narrative.classification}; introduced=${v.introducedLogicalStepKeys.length}; resolved=${v.resolvedLogicalStepKeys.length}; recurring=${v.recurringSignatures.length}`);
|
|
21
21
|
}
|
|
22
22
|
if (verdict !== "TRUSTED") {
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
}
|
|
26
|
-
else {
|
|
27
|
-
lines.push("NEXT_ACTION: Fix the reported verification mismatch/incompleteness and rerun `agentskeptic loop`.");
|
|
28
|
-
}
|
|
23
|
+
const nextPrimary = input.certificate.evidenceCompleteness.nextActions[0]?.text ??
|
|
24
|
+
"Fix the reported verification mismatch/incompleteness and rerun `agentskeptic loop`.";
|
|
25
|
+
lines.push(`NEXT_ACTION: ${nextPrimary}`);
|
|
29
26
|
}
|
|
30
27
|
lines.push(`RUN_REF: ${input.runRef}`);
|
|
31
28
|
return lines.join("\n");
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loopOutput.js","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAGnE,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,
|
|
1
|
+
{"version":3,"file":"loopOutput.js","sourceRoot":"","sources":["../../src/loop/loopOutput.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAGnE,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,KAI5C;IACC,OAAO;QACL,kBAAkB;QAClB,QAAQ,KAAK,CAAC,OAAO,EAAE;QACvB,qCAAqC;QACrC,gBAAgB,KAAK,CAAC,UAAU,EAAE;QAClC,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":"
|
|
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,CAgFrE"}
|
|
@@ -5,7 +5,6 @@ import { runBatchVerifyToValidatedCertificate } from "../standardVerifyWorkflowC
|
|
|
5
5
|
import { verifyWorkflow } from "../pipeline.js";
|
|
6
6
|
import { TruthLayerError } from "../truthLayerError.js";
|
|
7
7
|
import { cliErrorEnvelope, CLI_OPERATIONAL_CODES, formatOperationalMessage } from "../failureCatalog.js";
|
|
8
|
-
import { buildFailureHint } from "./failureHints.js";
|
|
9
8
|
import { renderLoopOperationalUnknown, renderLoopTerminalContract } from "./loopOutput.js";
|
|
10
9
|
import { latestCompatiblePriorRun, storeLoopRun } from "./localRunStore.js";
|
|
11
10
|
import { normalizeToEmittedWorkflowResult } from "../workflowResultNormalize.js";
|
|
@@ -80,7 +79,6 @@ export async function runLoopSubcommand(args) {
|
|
|
80
79
|
certificate,
|
|
81
80
|
runRef: runRef(parsed.workflowId, current.runDir, current.capturedAt),
|
|
82
81
|
compare,
|
|
83
|
-
failureHint: buildFailureHint(certificate),
|
|
84
82
|
});
|
|
85
83
|
process.stdout.write(`${output}\n`);
|
|
86
84
|
if (certificate.stateRelation === "matches_expectations")
|
|
@@ -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,
|
|
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,UAAU,EACR,uGAAuG;YACzG,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"}
|
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
|
|
2
2
|
import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
|
|
3
|
+
import { type EvidenceCompletenessJson } from "./evidenceCompleteness.js";
|
|
4
|
+
import { type FailureSpineV1 } from "./failureSpine.js";
|
|
3
5
|
import type { Reason, WorkflowResult } from "./types.js";
|
|
4
6
|
export type OutcomeCertificateRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
|
|
5
7
|
export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
|
|
@@ -21,9 +23,11 @@ export type OutcomeCertificateCheckpointVerdict = {
|
|
|
21
23
|
seqs: number[];
|
|
22
24
|
productionMeaning: string;
|
|
23
25
|
};
|
|
24
|
-
/**
|
|
25
|
-
|
|
26
|
-
|
|
26
|
+
/**
|
|
27
|
+
* Normative JSON shape: schemas/outcome-certificate-v3.schema.json (`schemaVersion` 3 + `failureSpine` + `evidenceCompleteness`).
|
|
28
|
+
*/
|
|
29
|
+
export type OutcomeCertificateV3 = {
|
|
30
|
+
schemaVersion: 3;
|
|
27
31
|
workflowId: string;
|
|
28
32
|
runKind: OutcomeCertificateRunKind;
|
|
29
33
|
stateRelation: OutcomeCertificateStateRelation;
|
|
@@ -36,28 +40,34 @@ export type OutcomeCertificateV1 = {
|
|
|
36
40
|
};
|
|
37
41
|
steps: OutcomeCertificateStep[];
|
|
38
42
|
humanReport: string;
|
|
43
|
+
evidenceCompleteness: EvidenceCompletenessJson;
|
|
44
|
+
failureSpine: FailureSpineV1;
|
|
39
45
|
checkpointVerdicts?: OutcomeCertificateCheckpointVerdict[];
|
|
40
46
|
};
|
|
47
|
+
/** @deprecated Use OutcomeCertificateV3 — alias retained for semver-stable imports */
|
|
48
|
+
export type OutcomeCertificateV2 = OutcomeCertificateV3;
|
|
49
|
+
/** @deprecated Use OutcomeCertificateV3 — alias retained for semver-stable imports */
|
|
50
|
+
export type OutcomeCertificateV1 = OutcomeCertificateV3;
|
|
41
51
|
export declare function deriveHighStakesReliance(runKind: OutcomeCertificateRunKind, stateRelation: OutcomeCertificateStateRelation): OutcomeCertificateHighStakesReliance;
|
|
42
52
|
export declare function workflowResultToStateRelation(result: WorkflowResult): OutcomeCertificateStateRelation;
|
|
43
53
|
export declare function computeCheckpointVerdictsFromWorkflowResult(result: WorkflowResult): OutcomeCertificateCheckpointVerdict[];
|
|
44
54
|
/** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
|
|
45
55
|
export declare const LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE: "LangGraph checkpoint trust: ineligible";
|
|
46
|
-
export declare function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId: string, runLevelReasons: Reason[]):
|
|
47
|
-
export declare function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result: WorkflowResult):
|
|
56
|
+
export declare function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId: string, runLevelReasons: Reason[]): OutcomeCertificateV3;
|
|
57
|
+
export declare function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result: WorkflowResult): OutcomeCertificateV3;
|
|
48
58
|
/**
|
|
49
59
|
* Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
|
|
50
60
|
*/
|
|
51
|
-
export declare function buildOutcomeCertificateFromWorkflowResult(result: WorkflowResult, runKind: "contract_sql"):
|
|
61
|
+
export declare function buildOutcomeCertificateFromWorkflowResult(result: WorkflowResult, runKind: "contract_sql"): OutcomeCertificateV3;
|
|
52
62
|
export type BuildQuickOutcomeCertificateOptions = {
|
|
53
63
|
report: QuickVerifyReport;
|
|
54
64
|
workflowId: string;
|
|
55
65
|
humanReportOptions: Parameters<typeof formatQuickVerifyHumanReport>[1];
|
|
56
66
|
};
|
|
57
|
-
export declare function buildOutcomeCertificateFromQuickReport(options: BuildQuickOutcomeCertificateOptions):
|
|
58
|
-
export declare function formatOutcomeCertificateHuman(certificate:
|
|
67
|
+
export declare function buildOutcomeCertificateFromQuickReport(options: BuildQuickOutcomeCertificateOptions): OutcomeCertificateV3;
|
|
68
|
+
export declare function formatOutcomeCertificateHuman(certificate: OutcomeCertificateV3): string;
|
|
59
69
|
/** User-facing truth-check verdict for CLI `agentskeptic check` stderr prefix. */
|
|
60
70
|
export type TruthCheckVerdictLabel = "trusted" | "not_trusted" | "unknown";
|
|
61
|
-
export declare function truthCheckVerdictFromCertificate(certificate:
|
|
62
|
-
export declare function assertOutcomeCertificateInvariants(certificate:
|
|
71
|
+
export declare function truthCheckVerdictFromCertificate(certificate: OutcomeCertificateV3): TruthCheckVerdictLabel;
|
|
72
|
+
export declare function assertOutcomeCertificateInvariants(certificate: OutcomeCertificateV3): void;
|
|
63
73
|
//# sourceMappingURL=outcomeCertificate.d.ts.map
|
|
@@ -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,KAAK,EAAE,MAAM,EAAe,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGzF,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
|
|
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,EAGL,KAAK,wBAAwB,EAC9B,MAAM,2BAA2B,CAAC;AAKnC,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,KAAK,EAAE,MAAM,EAAe,cAAc,EAAqB,MAAM,YAAY,CAAC;AAGzF,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;CAC5D,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,CA2CtB;AAED;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAiCtB;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,CAmDzH;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,CA0B1F"}
|