agentskeptic 4.2.0 → 5.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 +1 -1
- 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 +4 -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 +13 -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 +285 -0
- package/dist/evidenceCompleteness.js.map +1 -0
- package/dist/execution-identity.v1.json +1 -1
- 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/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 +12 -4
- package/dist/governanceEvidence.test.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- 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 +16 -10
- package/dist/outcomeCertificate.d.ts.map +1 -1
- package/dist/outcomeCertificate.js +45 -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/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 +1 -0
- package/dist/remediationConsumptionGuard.test.js.map +1 -1
- package/dist/remediationWireSurfaceGuard.test.js +1 -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 +15 -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/standardVerifyWorkflowCli.js +2 -2
- package/dist/verify/batchVerifyTelemetrySubcommand.js +1 -1
- 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/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/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/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
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;AAajC,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,MAAM,oBAAoB,CAAC;AAElE,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-v2");
|
|
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-v2");
|
|
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,6 @@
|
|
|
1
1
|
import type { QuickVerifyReport } from "./quickVerify/runQuickVerify.js";
|
|
2
2
|
import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
|
|
3
|
+
import { type EvidenceCompletenessJson } from "./evidenceCompleteness.js";
|
|
3
4
|
import type { Reason, WorkflowResult } from "./types.js";
|
|
4
5
|
export type OutcomeCertificateRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
|
|
5
6
|
export type OutcomeCertificateStateRelation = "matches_expectations" | "does_not_match" | "not_established";
|
|
@@ -21,9 +22,12 @@ export type OutcomeCertificateCheckpointVerdict = {
|
|
|
21
22
|
seqs: number[];
|
|
22
23
|
productionMeaning: string;
|
|
23
24
|
};
|
|
24
|
-
/**
|
|
25
|
-
|
|
26
|
-
|
|
25
|
+
/**
|
|
26
|
+
* Normative JSON shape: schemas/outcome-certificate-v2.schema.json (`schemaVersion` 2 + `evidenceCompleteness`).
|
|
27
|
+
* Type name retained as OutcomeCertificateV1 for semver-stable imports.
|
|
28
|
+
*/
|
|
29
|
+
export type OutcomeCertificateV2 = {
|
|
30
|
+
schemaVersion: 2;
|
|
27
31
|
workflowId: string;
|
|
28
32
|
runKind: OutcomeCertificateRunKind;
|
|
29
33
|
stateRelation: OutcomeCertificateStateRelation;
|
|
@@ -36,28 +40,30 @@ export type OutcomeCertificateV1 = {
|
|
|
36
40
|
};
|
|
37
41
|
steps: OutcomeCertificateStep[];
|
|
38
42
|
humanReport: string;
|
|
43
|
+
evidenceCompleteness: EvidenceCompletenessJson;
|
|
39
44
|
checkpointVerdicts?: OutcomeCertificateCheckpointVerdict[];
|
|
40
45
|
};
|
|
46
|
+
export type OutcomeCertificateV1 = OutcomeCertificateV2;
|
|
41
47
|
export declare function deriveHighStakesReliance(runKind: OutcomeCertificateRunKind, stateRelation: OutcomeCertificateStateRelation): OutcomeCertificateHighStakesReliance;
|
|
42
48
|
export declare function workflowResultToStateRelation(result: WorkflowResult): OutcomeCertificateStateRelation;
|
|
43
49
|
export declare function computeCheckpointVerdictsFromWorkflowResult(result: WorkflowResult): OutcomeCertificateCheckpointVerdict[];
|
|
44
50
|
/** Exact stderr headline for LangGraph ineligible (A2) terminal contract. */
|
|
45
51
|
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):
|
|
52
|
+
export declare function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId: string, runLevelReasons: Reason[]): OutcomeCertificateV2;
|
|
53
|
+
export declare function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult(result: WorkflowResult): OutcomeCertificateV2;
|
|
48
54
|
/**
|
|
49
55
|
* Build Outcome Certificate from a finalized contract `WorkflowResult` (batch / library verify).
|
|
50
56
|
*/
|
|
51
|
-
export declare function buildOutcomeCertificateFromWorkflowResult(result: WorkflowResult, runKind: "contract_sql"):
|
|
57
|
+
export declare function buildOutcomeCertificateFromWorkflowResult(result: WorkflowResult, runKind: "contract_sql"): OutcomeCertificateV2;
|
|
52
58
|
export type BuildQuickOutcomeCertificateOptions = {
|
|
53
59
|
report: QuickVerifyReport;
|
|
54
60
|
workflowId: string;
|
|
55
61
|
humanReportOptions: Parameters<typeof formatQuickVerifyHumanReport>[1];
|
|
56
62
|
};
|
|
57
|
-
export declare function buildOutcomeCertificateFromQuickReport(options: BuildQuickOutcomeCertificateOptions):
|
|
58
|
-
export declare function formatOutcomeCertificateHuman(certificate:
|
|
63
|
+
export declare function buildOutcomeCertificateFromQuickReport(options: BuildQuickOutcomeCertificateOptions): OutcomeCertificateV2;
|
|
64
|
+
export declare function formatOutcomeCertificateHuman(certificate: OutcomeCertificateV2): string;
|
|
59
65
|
/** User-facing truth-check verdict for CLI `agentskeptic check` stderr prefix. */
|
|
60
66
|
export type TruthCheckVerdictLabel = "trusted" | "not_trusted" | "unknown";
|
|
61
|
-
export declare function truthCheckVerdictFromCertificate(certificate:
|
|
62
|
-
export declare function assertOutcomeCertificateInvariants(certificate:
|
|
67
|
+
export declare function truthCheckVerdictFromCertificate(certificate: OutcomeCertificateV2): TruthCheckVerdictLabel;
|
|
68
|
+
export declare function assertOutcomeCertificateInvariants(certificate: OutcomeCertificateV2): void;
|
|
63
69
|
//# 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,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;;;GAGG;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,kBAAkB,CAAC,EAAE,mCAAmC,EAAE,CAAC;CAC5D,CAAC;AAEF,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,CA0CtB;AAED,wBAAgB,iEAAiE,CAC/E,MAAM,EAAE,cAAc,GACrB,oBAAoB,CAmCtB;AAED;;GAEG;AACH,wBAAgB,yCAAyC,CACvD,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,cAAc,GACtB,oBAAoB,CAyBtB;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,CA2CzH;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,CAsB1F"}
|
|
@@ -1,4 +1,6 @@
|
|
|
1
1
|
import { formatQuickVerifyHumanReport } from "./quickVerify/formatQuickVerifyHumanReport.js";
|
|
2
|
+
import { buildEvidenceCompletenessForIneligibleLangGraph, buildEvidenceCompletenessFromWorkflowResult, } from "./evidenceCompleteness.js";
|
|
3
|
+
import { EVIDENCE_COMPLETENESS_BEGIN, formatEvidenceCompletenessHuman, } from "./formatEvidenceCompletenessHuman.js";
|
|
2
4
|
import { formatWorkflowTruthReportStruct } from "./workflowTruthReport.js";
|
|
3
5
|
export function deriveHighStakesReliance(runKind, stateRelation) {
|
|
4
6
|
if (runKind === "quick_preview")
|
|
@@ -44,6 +46,9 @@ function buildRelianceRationale(runKind, stateRelation, highStakesReliance) {
|
|
|
44
46
|
}
|
|
45
47
|
return "Verification could not be completed or could not establish a determinate match (incomplete registry, empty capture, indeterminate window, or connector issue). Do not treat absence of a mismatch as proof of success.";
|
|
46
48
|
}
|
|
49
|
+
function appendEvidenceCompletenessHuman(baseHuman, ec, ctx) {
|
|
50
|
+
return `${baseHuman}\n\n${formatEvidenceCompletenessHuman(ec, ctx)}`;
|
|
51
|
+
}
|
|
47
52
|
function buildExplanationFromWorkflowResult(result) {
|
|
48
53
|
const truth = result.workflowTruthReport;
|
|
49
54
|
const details = [];
|
|
@@ -123,11 +128,19 @@ export function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, r
|
|
|
123
128
|
message: "No schema-valid schemaVersion 3 tool_observed lines for this workflow in LangGraph checkpoint trust mode.",
|
|
124
129
|
},
|
|
125
130
|
];
|
|
126
|
-
const
|
|
131
|
+
const humanBase = runLevelReasons.length > 0
|
|
127
132
|
? `${ineligibleHeadline}\n${runLevelReasons.map((r) => `${r.code}: ${r.message}`).join("\n")}`
|
|
128
133
|
: `${ineligibleHeadline}\n${details[0].code}: ${details[0].message}`;
|
|
134
|
+
const evidenceCompleteness = buildEvidenceCompletenessForIneligibleLangGraph({
|
|
135
|
+
headline: ineligibleHeadline,
|
|
136
|
+
details,
|
|
137
|
+
});
|
|
138
|
+
const humanReport = appendEvidenceCompletenessHuman(humanBase, evidenceCompleteness, {
|
|
139
|
+
runKind,
|
|
140
|
+
highStakesReliance,
|
|
141
|
+
});
|
|
129
142
|
const cert = {
|
|
130
|
-
schemaVersion:
|
|
143
|
+
schemaVersion: 2,
|
|
131
144
|
workflowId,
|
|
132
145
|
runKind,
|
|
133
146
|
stateRelation,
|
|
@@ -137,6 +150,7 @@ export function buildIneligibleLangGraphCheckpointTrustCertificate(workflowId, r
|
|
|
137
150
|
explanation: { headline: ineligibleHeadline, details },
|
|
138
151
|
steps: [],
|
|
139
152
|
humanReport,
|
|
153
|
+
evidenceCompleteness,
|
|
140
154
|
};
|
|
141
155
|
assertOutcomeCertificateInvariants(cert);
|
|
142
156
|
return cert;
|
|
@@ -149,13 +163,18 @@ export function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResul
|
|
|
149
163
|
const steps = truth.steps.map(truthStepToCertificateStep);
|
|
150
164
|
const checkpointVerdicts = computeCheckpointVerdictsFromWorkflowResult(result);
|
|
151
165
|
const baseHuman = formatWorkflowTruthReportStruct(truth);
|
|
152
|
-
const
|
|
166
|
+
const workflowHuman = checkpointVerdicts.length === 0
|
|
153
167
|
? baseHuman
|
|
154
168
|
: `${baseHuman}\n\nlanggraph_checkpoint_verdicts:\n${checkpointVerdicts
|
|
155
169
|
.map((c) => `${c.checkpointKey}\t${c.verdict}\t${c.productionMeaning}`)
|
|
156
170
|
.join("\n")}`;
|
|
171
|
+
const evidenceCompleteness = buildEvidenceCompletenessFromWorkflowResult(result);
|
|
172
|
+
const humanReport = appendEvidenceCompletenessHuman(workflowHuman, evidenceCompleteness, {
|
|
173
|
+
runKind,
|
|
174
|
+
highStakesReliance,
|
|
175
|
+
});
|
|
157
176
|
const cert = {
|
|
158
|
-
schemaVersion:
|
|
177
|
+
schemaVersion: 2,
|
|
159
178
|
workflowId: result.workflowId,
|
|
160
179
|
runKind,
|
|
161
180
|
stateRelation,
|
|
@@ -165,6 +184,7 @@ export function buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResul
|
|
|
165
184
|
explanation: buildExplanationFromWorkflowResult(result),
|
|
166
185
|
steps,
|
|
167
186
|
humanReport,
|
|
187
|
+
evidenceCompleteness,
|
|
168
188
|
checkpointVerdicts,
|
|
169
189
|
};
|
|
170
190
|
assertOutcomeCertificateInvariants(cert);
|
|
@@ -178,9 +198,13 @@ export function buildOutcomeCertificateFromWorkflowResult(result, runKind) {
|
|
|
178
198
|
const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
|
|
179
199
|
const truth = result.workflowTruthReport;
|
|
180
200
|
const steps = truth.steps.map(truthStepToCertificateStep);
|
|
181
|
-
const
|
|
201
|
+
const evidenceCompleteness = buildEvidenceCompletenessFromWorkflowResult(result);
|
|
202
|
+
const humanReport = appendEvidenceCompletenessHuman(formatWorkflowTruthReportStruct(truth), evidenceCompleteness, {
|
|
203
|
+
runKind,
|
|
204
|
+
highStakesReliance,
|
|
205
|
+
});
|
|
182
206
|
const cert = {
|
|
183
|
-
schemaVersion:
|
|
207
|
+
schemaVersion: 2,
|
|
184
208
|
workflowId: result.workflowId,
|
|
185
209
|
runKind,
|
|
186
210
|
stateRelation,
|
|
@@ -190,6 +214,7 @@ export function buildOutcomeCertificateFromWorkflowResult(result, runKind) {
|
|
|
190
214
|
explanation: buildExplanationFromWorkflowResult(result),
|
|
191
215
|
steps,
|
|
192
216
|
humanReport,
|
|
217
|
+
evidenceCompleteness,
|
|
193
218
|
};
|
|
194
219
|
assertOutcomeCertificateInvariants(cert);
|
|
195
220
|
return cert;
|
|
@@ -206,7 +231,8 @@ export function buildOutcomeCertificateFromQuickReport(options) {
|
|
|
206
231
|
const runKind = "quick_preview";
|
|
207
232
|
const stateRelation = quickVerdictToStateRelation(report.verdict);
|
|
208
233
|
const highStakesReliance = deriveHighStakesReliance(runKind, stateRelation);
|
|
209
|
-
const
|
|
234
|
+
const evidenceCompleteness = report.evidenceCompleteness;
|
|
235
|
+
const humanReport = appendEvidenceCompletenessHuman(formatQuickVerifyHumanReport(report, humanReportOptions), evidenceCompleteness, { runKind, highStakesReliance });
|
|
210
236
|
const details = [];
|
|
211
237
|
for (const u of report.units) {
|
|
212
238
|
if (u.verdict !== "verified") {
|
|
@@ -217,7 +243,7 @@ export function buildOutcomeCertificateFromQuickReport(options) {
|
|
|
217
243
|
}
|
|
218
244
|
}
|
|
219
245
|
const cert = {
|
|
220
|
-
schemaVersion:
|
|
246
|
+
schemaVersion: 2,
|
|
221
247
|
workflowId,
|
|
222
248
|
runKind,
|
|
223
249
|
stateRelation,
|
|
@@ -235,6 +261,7 @@ export function buildOutcomeCertificateFromQuickReport(options) {
|
|
|
235
261
|
observedOutcome: u.reconciliation.observed_database,
|
|
236
262
|
})),
|
|
237
263
|
humanReport,
|
|
264
|
+
evidenceCompleteness,
|
|
238
265
|
};
|
|
239
266
|
assertOutcomeCertificateInvariants(cert);
|
|
240
267
|
return cert;
|
|
@@ -253,9 +280,19 @@ export function truthCheckVerdictFromCertificate(certificate) {
|
|
|
253
280
|
}
|
|
254
281
|
export function assertOutcomeCertificateInvariants(certificate) {
|
|
255
282
|
const expected = deriveHighStakesReliance(certificate.runKind, certificate.stateRelation);
|
|
283
|
+
if (certificate.schemaVersion !== 2) {
|
|
284
|
+
throw new Error(`outcome_certificate: schemaVersion ${certificate.schemaVersion} !== 2`);
|
|
285
|
+
}
|
|
256
286
|
if (certificate.highStakesReliance !== expected) {
|
|
257
287
|
throw new Error(`outcome_certificate: highStakesReliance ${certificate.highStakesReliance} !== derived ${expected} for runKind=${certificate.runKind} stateRelation=${certificate.stateRelation}`);
|
|
258
288
|
}
|
|
289
|
+
if (certificate.evidenceCompleteness.schemaVersion !== 1 ||
|
|
290
|
+
certificate.evidenceCompleteness.blockerCategory === undefined) {
|
|
291
|
+
throw new Error("outcome_certificate: evidenceCompleteness malformed");
|
|
292
|
+
}
|
|
293
|
+
if (!certificate.humanReport.includes(EVIDENCE_COMPLETENESS_BEGIN)) {
|
|
294
|
+
throw new Error("outcome_certificate: humanReport must contain evidence_completeness anchors");
|
|
295
|
+
}
|
|
259
296
|
if (formatOutcomeCertificateHuman(certificate) !== certificate.humanReport) {
|
|
260
297
|
throw new Error("outcome_certificate: humanReport must equal formatOutcomeCertificateHuman(certificate)");
|
|
261
298
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"outcomeCertificate.js","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAE7F,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAoD3E,MAAM,UAAU,wBAAwB,CACtC,OAAkC,EAClC,aAA8C;IAE9C,IAAI,OAAO,KAAK,eAAe;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,aAAa,KAAK,sBAAsB;QAAE,OAAO,WAAW,CAAC;IACjE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAAsB;IAClE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,sBAAsB,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,gBAAgB,CAAC;IAC9D,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAuB;IACzD,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS;QAC7C,eAAe,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC,SAAS;QACnE,eAAe,EAAE,IAAI,CAAC,oBAAoB;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAkC,EAClC,aAA8C,EAC9C,kBAAwD;IAExD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAChC,OAAO,8LAA8L,CAAC;IACxM,CAAC;IACD,IAAI,OAAO,KAAK,yCAAyC,EAAE,CAAC;QAC1D,IAAI,kBAAkB,KAAK,WAAW,EAAE,CAAC;YACvC,OAAO,qTAAqT,CAAC;QAC/T,CAAC;QACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;YACvC,OAAO,qPAAqP,CAAC;QAC/P,CAAC;QACD,OAAO,kPAAkP,CAAC;IAC5P,CAAC;IACD,IAAI,kBAAkB,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,0PAA0P,CAAC;IACpQ,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,2LAA2L,CAAC;IACrM,CAAC;IACD,OAAO,wNAAwN,CAAC;AAClO,CAAC;AAED,SAAS,kCAAkC,CAAC,MAAsB;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC;IACpC,MAAM,QAAQ,GACZ,KAAK,CAAC,eAAe,EAAE,OAAO;QAC9B,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,UAAU,gBAAgB,EAAE,CAAC,QAAQ,eAAe,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAuB;IAC3D,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC;QAAE,OAAO,YAAY,CAAC;IACtF,IACE,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,oBAAoB,CAC7F,EACD,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACtE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAuD;IAEvD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;QAC/B,OAAO,yFAAyF,CAAC;IACnG,CAAC;IACD,OAAO,0FAA0F,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,2CAA2C,CACzD,MAAsB;IAEtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuD,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,sBAAsB,KAAK,SAAS;YAAE,SAAS;QACrD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACtB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QACvD,OAAO;YACL,aAAa,EAAE,GAAG;YAClB,OAAO;YACP,IAAI,EAAE,UAAU;YAChB,iBAAiB,EAAE,2BAA2B,CAAC,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,8CAA8C,GACzD,wCAAiD,CAAC;AAEpD,MAAM,UAAU,kDAAkD,CAChE,UAAkB,EAClB,eAAyB;IAEzB,MAAM,OAAO,GAAG,yCAAyC,CAAC;IAC1D,MAAM,aAAa,GAAoC,iBAAiB,CAAC;IACzE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,8CAA8C,CAAC;IAC1E,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EACL,2GAA2G;aAC9G;SACF,CAAC;IACR,MAAM,WAAW,GACf,eAAe,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,GAAG,kBAAkB,KAAK,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC9F,CAAC,CAAC,GAAG,kBAAkB,KAAK,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;IAC3E,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,kBAAkB;QACjC,WAAW,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE;QACtD,KAAK,EAAE,EAAE;QACT,WAAW;KACZ,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iEAAiE,CAC/E,MAAsB;IAEtB,MAAM,OAAO,GAAG,yCAAyC,CAAC;IAC1D,MAAM,aAAa,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,MAAM,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,WAAW,GACf,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,GAAG,SAAS,uCAAuC,kBAAkB;aAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;aACtE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACtB,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,WAAW,EAAE,kCAAkC,CAAC,MAAM,CAAC;QACvD,KAAK;QACL,WAAW;QACX,kBAAkB;KACnB,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yCAAyC,CACvD,MAAsB,EACtB,OAAuB;IAEvB,MAAM,aAAa,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,WAAW,EAAE,kCAAkC,CAAC,MAAM,CAAC;QACvD,KAAK;QACL,WAAW;KACZ,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAqC;IACxE,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,sBAAsB,CAAC;IACtD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,gBAAgB,CAAC;IAChD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAQD,MAAM,UAAU,sCAAsC,CAAC,OAA4C;IACjG,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC;IAC3D,MAAM,OAAO,GAAG,eAAwB,CAAC;IACzC,MAAM,aAAa,GAAG,2BAA2B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,4BAA4B,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7E,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,cAAc,CAAC,CAAC,OAAO,EAAE;gBAC/B,OAAO,EAAE,CAAC,CAAC,cAAc,EAAE,oBAAoB,IAAI,CAAC,CAAC,OAAO;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,MAAM,CAAC,OAAO;QAC7B,WAAW,EAAE;YACX,QAAQ,EAAE,MAAM,CAAC,OAAO;YACxB,OAAO;SACR;QACD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,QAAQ,UAAU,CAAC,CAAC,MAAM,GAAG;YAC/D,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ;YAC1C,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,iBAAiB;SACpD,CAAC,CAAC;QACH,WAAW;KACZ,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,WAAiC;IAC7E,OAAO,WAAW,CAAC,WAAW,CAAC;AACjC,CAAC;AAKD,MAAM,UAAU,gCAAgC,CAAC,WAAiC;IAChF,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB,IAAI,WAAW,CAAC,kBAAkB,KAAK,WAAW,EAAE,CAAC;QAC3G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,WAAiC;IAClF,MAAM,QAAQ,GAAG,wBAAwB,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;IAC1F,IAAI,WAAW,CAAC,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,2CAA2C,WAAW,CAAC,kBAAkB,gBAAgB,QAAQ,gBAAgB,WAAW,CAAC,OAAO,kBAAkB,WAAW,CAAC,aAAa,EAAE,CAClL,CAAC;IACJ,CAAC;IACD,IAAI,6BAA6B,CAAC,WAAW,CAAC,KAAK,WAAW,CAAC,WAAW,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;IAC5G,CAAC;AACH,CAAC"}
|
|
1
|
+
{"version":3,"file":"outcomeCertificate.js","sourceRoot":"","sources":["../src/outcomeCertificate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EACL,+CAA+C,EAC/C,2CAA2C,GAE5C,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,2BAA2B,EAC3B,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AA0D3E,MAAM,UAAU,wBAAwB,CACtC,OAAkC,EAClC,aAA8C;IAE9C,IAAI,OAAO,KAAK,eAAe;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,aAAa,KAAK,sBAAsB;QAAE,OAAO,WAAW,CAAC;IACjE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAAsB;IAClE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,sBAAsB,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,gBAAgB,CAAC;IAC9D,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAuB;IACzD,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS;QAC7C,eAAe,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC,SAAS;QACnE,eAAe,EAAE,IAAI,CAAC,oBAAoB;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAkC,EAClC,aAA8C,EAC9C,kBAAwD;IAExD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAChC,OAAO,8LAA8L,CAAC;IACxM,CAAC;IACD,IAAI,OAAO,KAAK,yCAAyC,EAAE,CAAC;QAC1D,IAAI,kBAAkB,KAAK,WAAW,EAAE,CAAC;YACvC,OAAO,qTAAqT,CAAC;QAC/T,CAAC;QACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;YACvC,OAAO,qPAAqP,CAAC;QAC/P,CAAC;QACD,OAAO,kPAAkP,CAAC;IAC5P,CAAC;IACD,IAAI,kBAAkB,KAAK,WAAW,EAAE,CAAC;QACvC,OAAO,0PAA0P,CAAC;IACpQ,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,2LAA2L,CAAC;IACrM,CAAC;IACD,OAAO,wNAAwN,CAAC;AAClO,CAAC;AAED,SAAS,+BAA+B,CACtC,SAAiB,EACjB,EAA4B,EAC5B,GAAqG;IAErG,OAAO,GAAG,SAAS,OAAO,+BAA+B,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,kCAAkC,CAAC,MAAsB;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC;IACpC,MAAM,QAAQ,GACZ,KAAK,CAAC,eAAe,EAAE,OAAO;QAC9B,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,UAAU,gBAAgB,EAAE,CAAC,QAAQ,eAAe,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAuB;IAC3D,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC;QAAE,OAAO,YAAY,CAAC;IACtF,IACE,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,oBAAoB,CAC7F,EACD,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACtE,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAuD;IAEvD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;QAC/B,OAAO,yFAAyF,CAAC;IACnG,CAAC;IACD,OAAO,0FAA0F,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,2CAA2C,CACzD,MAAsB;IAEtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuD,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,sBAAsB,KAAK,SAAS;YAAE,SAAS;QACrD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACtB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QACvD,OAAO;YACL,aAAa,EAAE,GAAG;YAClB,OAAO;YACP,IAAI,EAAE,UAAU;YAChB,iBAAiB,EAAE,2BAA2B,CAAC,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,8CAA8C,GACzD,wCAAiD,CAAC;AAEpD,MAAM,UAAU,kDAAkD,CAChE,UAAkB,EAClB,eAAyB;IAEzB,MAAM,OAAO,GAAG,yCAAyC,CAAC;IAC1D,MAAM,aAAa,GAAoC,iBAAiB,CAAC;IACzE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,kBAAkB,GAAG,8CAA8C,CAAC;IAC1E,MAAM,OAAO,GACX,eAAe,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC;YACE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EACL,2GAA2G;aAC9G;SACF,CAAC;IACR,MAAM,SAAS,GACb,eAAe,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,GAAG,kBAAkB,KAAK,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC9F,CAAC,CAAC,GAAG,kBAAkB,KAAK,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;IAC3E,MAAM,oBAAoB,GAAG,+CAA+C,CAAC;QAC3E,QAAQ,EAAE,kBAAkB;QAC5B,OAAO;KACR,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,+BAA+B,CAAC,SAAS,EAAE,oBAAoB,EAAE;QACnF,OAAO;QACP,kBAAkB;KACnB,CAAC,CAAC;IACH,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,kBAAkB;QACjC,WAAW,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE;QACtD,KAAK,EAAE,EAAE;QACT,WAAW;QACX,oBAAoB;KACrB,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iEAAiE,CAC/E,MAAsB;IAEtB,MAAM,OAAO,GAAG,yCAAyC,CAAC;IAC1D,MAAM,aAAa,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,MAAM,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,aAAa,GACjB,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,GAAG,SAAS,uCAAuC,kBAAkB;aAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;aACtE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACtB,MAAM,oBAAoB,GAAG,2CAA2C,CAAC,MAAM,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,+BAA+B,CAAC,aAAa,EAAE,oBAAoB,EAAE;QACvF,OAAO;QACP,kBAAkB;KACnB,CAAC,CAAC;IACH,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,WAAW,EAAE,kCAAkC,CAAC,MAAM,CAAC;QACvD,KAAK;QACL,WAAW;QACX,oBAAoB;QACpB,kBAAkB;KACnB,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yCAAyC,CACvD,MAAsB,EACtB,OAAuB;IAEvB,MAAM,aAAa,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC1D,MAAM,oBAAoB,GAAG,2CAA2C,CAAC,MAAM,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,+BAA+B,CAAC,+BAA+B,CAAC,KAAK,CAAC,EAAE,oBAAoB,EAAE;QAChH,OAAO;QACP,kBAAkB;KACnB,CAAC,CAAC;IACH,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,WAAW,EAAE,kCAAkC,CAAC,MAAM,CAAC;QACvD,KAAK;QACL,WAAW;QACX,oBAAoB;KACrB,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAqC;IACxE,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,sBAAsB,CAAC;IACtD,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,gBAAgB,CAAC;IAChD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAQD,MAAM,UAAU,sCAAsC,CAAC,OAA4C;IACjG,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC;IAC3D,MAAM,OAAO,GAAG,eAAwB,CAAC;IACzC,MAAM,aAAa,GAAG,2BAA2B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC5E,MAAM,oBAAoB,GAAG,MAAM,CAAC,oBAAoB,CAAC;IACzD,MAAM,WAAW,GAAG,+BAA+B,CACjD,4BAA4B,CAAC,MAAM,EAAE,kBAAkB,CAAC,EACxD,oBAAoB,EACpB,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAChC,CAAC;IACF,MAAM,OAAO,GAA0C,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,cAAc,CAAC,CAAC,OAAO,EAAE;gBAC/B,OAAO,EAAE,CAAC,CAAC,cAAc,EAAE,oBAAoB,IAAI,CAAC,CAAC,OAAO;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAyB;QACjC,aAAa,EAAE,CAAC;QAChB,UAAU;QACV,OAAO;QACP,aAAa;QACb,kBAAkB;QAClB,iBAAiB,EAAE,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACrF,aAAa,EAAE,MAAM,CAAC,OAAO;QAC7B,WAAW,EAAE;YACX,QAAQ,EAAE,MAAM,CAAC,OAAO;YACxB,OAAO;SACR;QACD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,QAAQ,UAAU,CAAC,CAAC,MAAM,GAAG;YAC/D,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ;YAC1C,eAAe,EAAE,CAAC,CAAC,cAAc,CAAC,iBAAiB;SACpD,CAAC,CAAC;QACH,WAAW;QACX,oBAAoB;KACrB,CAAC;IACF,kCAAkC,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,WAAiC;IAC7E,OAAO,WAAW,CAAC,WAAW,CAAC;AACjC,CAAC;AAKD,MAAM,UAAU,gCAAgC,CAAC,WAAiC;IAChF,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB,IAAI,WAAW,CAAC,kBAAkB,KAAK,WAAW,EAAE,CAAC;QAC3G,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,WAAiC;IAClF,MAAM,QAAQ,GAAG,wBAAwB,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC;IAC1F,IAAI,WAAW,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,sCAAsC,WAAW,CAAC,aAAa,QAAQ,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,WAAW,CAAC,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,2CAA2C,WAAW,CAAC,kBAAkB,gBAAgB,QAAQ,gBAAgB,WAAW,CAAC,OAAO,kBAAkB,WAAW,CAAC,aAAa,EAAE,CAClL,CAAC;IACJ,CAAC;IACD,IACE,WAAW,CAAC,oBAAoB,CAAC,aAAa,KAAK,CAAC;QACpD,WAAW,CAAC,oBAAoB,CAAC,eAAe,KAAK,SAAS,EAC9D,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,6BAA6B,CAAC,WAAW,CAAC,KAAK,WAAW,CAAC,WAAW,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;IAC5G,CAAC;AACH,CAAC"}
|
|
@@ -42,7 +42,7 @@ describe("outcomeCertificate", () => {
|
|
|
42
42
|
truthReport: () => { },
|
|
43
43
|
});
|
|
44
44
|
const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
|
|
45
|
-
const validate = loadSchemaValidator("outcome-certificate-
|
|
45
|
+
const validate = loadSchemaValidator("outcome-certificate-v2");
|
|
46
46
|
expect(validate(certificate)).toBe(true);
|
|
47
47
|
assertOutcomeCertificateInvariants(certificate);
|
|
48
48
|
expect(formatOutcomeCertificateHuman(certificate)).toBe(certificate.humanReport);
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
export declare const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution.md";
|
|
2
2
|
export declare const PUBLIC_CANONICAL_SITE_ORIGIN = "https://agentskeptic.com";
|
|
3
|
-
export declare const AGENTSKEPTIC_CLI_SEMVER = "
|
|
3
|
+
export declare const AGENTSKEPTIC_CLI_SEMVER = "5.0.0";
|
|
4
4
|
export declare function formatDistributionFooter(): string;
|
|
5
5
|
//# sourceMappingURL=publicDistribution.generated.d.ts.map
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
// Generated by npm run emit-primary-marketing — do not hand edit.
|
|
2
2
|
export const PUBLIC_DISTRIBUTION_SSOT_BLOB_URL = "https://github.com/jwekavanagh/agentskeptic/blob/main/docs/public-distribution.md";
|
|
3
3
|
export const PUBLIC_CANONICAL_SITE_ORIGIN = "https://agentskeptic.com";
|
|
4
|
-
export const AGENTSKEPTIC_CLI_SEMVER = "
|
|
4
|
+
export const AGENTSKEPTIC_CLI_SEMVER = "5.0.0";
|
|
5
5
|
export function formatDistributionFooter() {
|
|
6
6
|
return "Context: https://agentskeptic.com/database-truth-vs-traces\n"
|
|
7
7
|
+ "https://agentskeptic.com/integrate\n"
|
|
@@ -3,16 +3,21 @@ import { formatQuickVerifyHumanReport, QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_
|
|
|
3
3
|
import { HUMAN_REPORT_BEGIN, HUMAN_REPORT_END, verdictLine } from "./quickVerifyHumanCopy.js";
|
|
4
4
|
import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
|
|
5
5
|
import { buildQuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
|
|
6
|
+
import { buildEvidenceCompletenessFromQuickReport } from "../evidenceCompleteness.js";
|
|
6
7
|
function minimalReport(verdict) {
|
|
8
|
+
const ingest = { reasonCodes: ["INGEST_NO_ACTIONS"], malformedLineCount: 0 };
|
|
9
|
+
const units = [];
|
|
10
|
+
const evidenceCompleteness = buildEvidenceCompletenessFromQuickReport({ verdict, ingest, units });
|
|
7
11
|
return {
|
|
8
|
-
schemaVersion:
|
|
12
|
+
schemaVersion: 5,
|
|
9
13
|
verdict,
|
|
10
14
|
summary: `Inferred provisional check — rollup ${verdict} is not a production-safety or audit-final verdict. 0 unit(s).`,
|
|
11
15
|
verificationMode: "inferred",
|
|
12
16
|
scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
|
|
13
17
|
productTruth: buildQuickVerifyProductTruth(false),
|
|
14
|
-
ingest
|
|
15
|
-
|
|
18
|
+
ingest,
|
|
19
|
+
evidenceCompleteness,
|
|
20
|
+
units,
|
|
16
21
|
exportableRegistry: { tools: [] },
|
|
17
22
|
};
|
|
18
23
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;
|
|
1
|
+
{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,wCAAwC,EAAE,MAAM,4BAA4B,CAAC;AAGtF,SAAS,aAAa,CAAC,OAAsC;IAC3D,MAAM,MAAM,GAAG,EAAE,WAAW,EAAE,CAAC,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;IAC7E,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,oBAAoB,GAAG,wCAAwC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAClG,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,OAAO;QACP,OAAO,EAAE,uCAAuC,OAAO,gEAAgE;QACvH,gBAAgB,EAAE,UAAU;QAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;QACxC,YAAY,EAAE,4BAA4B,CAAC,KAAK,CAAC;QACjD,MAAM;QACN,oBAAoB;QACpB,KAAK;QACL,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -2,8 +2,9 @@ import type { CorrectnessDefinitionV1, ToolRegistryEntry } from "../types.js";
|
|
|
2
2
|
import type { QuickContractExport } from "./buildQuickContractEventsNdjson.js";
|
|
3
3
|
import { type QuickVerifyScope } from "./quickVerifyScope.js";
|
|
4
4
|
import { type QuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
|
|
5
|
+
import { type EvidenceCompletenessJson } from "../evidenceCompleteness.js";
|
|
5
6
|
export type QuickVerifyReport = {
|
|
6
|
-
schemaVersion:
|
|
7
|
+
schemaVersion: 5;
|
|
7
8
|
verdict: "pass" | "fail" | "uncertain";
|
|
8
9
|
summary: string;
|
|
9
10
|
verificationMode: "inferred";
|
|
@@ -18,6 +19,7 @@ export type QuickVerifyReport = {
|
|
|
18
19
|
actionKey?: string;
|
|
19
20
|
}>;
|
|
20
21
|
runHeaderReasonCodes?: string[];
|
|
22
|
+
evidenceCompleteness: EvidenceCompletenessJson;
|
|
21
23
|
units: Array<{
|
|
22
24
|
unitId: string;
|
|
23
25
|
kind: "row" | "related_exists";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runQuickVerify.d.ts","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAA2C,MAAM,aAAa,CAAC;AAmBvH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAA8B,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAgC,KAAK,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;
|
|
1
|
+
{"version":3,"file":"runQuickVerify.d.ts","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAA2C,MAAM,aAAa,CAAC;AAmBvH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAA8B,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAgC,KAAK,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAM1G,OAAO,EAA4C,KAAK,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAErH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,aAAa,EAAE,CAAC,CAAC;IACjB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,UAAU,CAAC;IAC7B,KAAK,EAAE,gBAAgB,CAAC;IACxB,YAAY,EAAE,uBAAuB,CAAC;IACtC,MAAM,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,kBAAkB,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9D,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7D,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,oBAAoB,EAAE,wBAAwB,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,KAAK,GAAG,gBAAgB,CAAC;QAC/B,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,YAAY,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QACxD,gBAAgB,EAAE,OAAO,CAAC;QAC1B,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAA;SAAE,CAAC;QAC1E,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE;YACd,QAAQ,EAAE,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC;YACjB,iBAAiB,EAAE,MAAM,CAAC;YAC1B,oBAAoB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,qBAAqB,CAAC,EAAE,uBAAuB,CAAC;KACjD,CAAC,CAAC;IACH,kBAAkB,EAAE;QAAE,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,mBAAmB,EAAE,CAAC;CACxC,CAAC;AAiEF,wBAAsB,cAAc,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA0Y/F;AAED,gDAAgD;AAChD,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAEzE;AAED,wBAAsB,+BAA+B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAUhH"}
|
|
@@ -23,6 +23,7 @@ import { buildQuickUnitReconciliation } from "../reconciliationPresentation.js";
|
|
|
23
23
|
import { buildSyntheticRowParams } from "./buildSyntheticRowParams.js";
|
|
24
24
|
import { flatKeyToJsonPointer } from "./flatKeyToJsonPointer.js";
|
|
25
25
|
import { normalizedSqlRowRequestFingerprint } from "./verificationRequestFingerprint.js";
|
|
26
|
+
import { buildEvidenceCompletenessFromQuickReport } from "../evidenceCompleteness.js";
|
|
26
27
|
function rollupVerdict(units, ingestCodes, hadActions) {
|
|
27
28
|
if (!hadActions &&
|
|
28
29
|
(ingestCodes.includes("INGEST_NO_ACTIONS") || ingestCodes.includes("INGEST_NO_STRUCTURED_TOOL_ACTIVITY"))) {
|
|
@@ -94,14 +95,21 @@ export async function runQuickVerify(opts) {
|
|
|
94
95
|
};
|
|
95
96
|
if (ingest.inputTooLarge) {
|
|
96
97
|
const units = [];
|
|
98
|
+
const verdict = "uncertain";
|
|
99
|
+
const evidenceCompleteness = buildEvidenceCompletenessFromQuickReport({
|
|
100
|
+
verdict,
|
|
101
|
+
ingest: ingestBlock,
|
|
102
|
+
units: [],
|
|
103
|
+
});
|
|
97
104
|
const report = {
|
|
98
|
-
schemaVersion:
|
|
99
|
-
verdict
|
|
105
|
+
schemaVersion: 5,
|
|
106
|
+
verdict,
|
|
100
107
|
summary: buildSummary("uncertain", units, ingestBlock),
|
|
101
108
|
verificationMode: "inferred",
|
|
102
109
|
scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
|
|
103
110
|
productTruth: buildQuickVerifyProductTruth(false),
|
|
104
111
|
ingest: ingestBlock,
|
|
112
|
+
evidenceCompleteness,
|
|
105
113
|
units,
|
|
106
114
|
exportableRegistry: { tools: [] },
|
|
107
115
|
};
|
|
@@ -408,8 +416,20 @@ export async function runQuickVerify(opts) {
|
|
|
408
416
|
contractExports.sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
|
|
409
417
|
const anyNotContractEligible = units.some((u) => !u.contractEligible);
|
|
410
418
|
const contractReplayPartialCoverage = exportTools.length > 0 && anyNotContractEligible;
|
|
419
|
+
const evidenceCompleteness = buildEvidenceCompletenessFromQuickReport({
|
|
420
|
+
verdict,
|
|
421
|
+
ingest: ingestBlock,
|
|
422
|
+
units: units.map((u) => ({
|
|
423
|
+
unitId: u.unitId,
|
|
424
|
+
verdict: u.verdict,
|
|
425
|
+
reasonCodes: u.reasonCodes,
|
|
426
|
+
sourceAction: u.sourceAction,
|
|
427
|
+
reconciliation: u.reconciliation,
|
|
428
|
+
verification: u.verification,
|
|
429
|
+
})),
|
|
430
|
+
});
|
|
411
431
|
const report = {
|
|
412
|
-
schemaVersion:
|
|
432
|
+
schemaVersion: 5,
|
|
413
433
|
verdict,
|
|
414
434
|
summary: buildSummary(verdict, units, ingestBlock),
|
|
415
435
|
verificationMode: "inferred",
|
|
@@ -418,6 +438,7 @@ export async function runQuickVerify(opts) {
|
|
|
418
438
|
ingest: ingestBlock,
|
|
419
439
|
...(ingestWarnings ? { ingestWarnings } : {}),
|
|
420
440
|
...(runHeaderReasonCodes.length ? { runHeaderReasonCodes } : {}),
|
|
441
|
+
evidenceCompleteness,
|
|
421
442
|
units,
|
|
422
443
|
exportableRegistry: { tools: exportTools },
|
|
423
444
|
};
|