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
|
@@ -287,7 +287,7 @@ describe("operational success: no stderr envelope (Module A negative)", () => {
|
|
|
287
287
|
expect(r.status).toBe(0);
|
|
288
288
|
expect(r.stderr).toBe("");
|
|
289
289
|
const parsed = JSON.parse(r.stdout.trim());
|
|
290
|
-
const validateResult = loadSchemaValidator("outcome-certificate-
|
|
290
|
+
const validateResult = loadSchemaValidator("outcome-certificate-v3");
|
|
291
291
|
expect(validateResult(parsed)).toBe(true);
|
|
292
292
|
expect(parsed.workflowId).toBe("wf_complete");
|
|
293
293
|
expect(parsed.stateRelation).toBe("matches_expectations");
|
|
@@ -79,7 +79,7 @@ function shouldEmitActivationProvisionalBlockedLine(code, message) {
|
|
|
79
79
|
return false;
|
|
80
80
|
}
|
|
81
81
|
function validateCertificateOrExit(certificate) {
|
|
82
|
-
const validateCert = loadSchemaValidator("outcome-certificate-
|
|
82
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v3");
|
|
83
83
|
if (!validateCert(certificate)) {
|
|
84
84
|
writeBootstrapOperationalFailure(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
85
85
|
process.exit(3);
|
package/dist/ciLock.js
CHANGED
|
@@ -76,7 +76,7 @@ export function toCiLockV1(emitted) {
|
|
|
76
76
|
if ("workflowTruthReport" in emitted && emitted.schemaVersion === 15) {
|
|
77
77
|
return workflowResultToCiLockV1(emitted);
|
|
78
78
|
}
|
|
79
|
-
if ("verdict" in emitted
|
|
79
|
+
if ("verdict" in emitted) {
|
|
80
80
|
return quickReportToCiLockV1(emitted);
|
|
81
81
|
}
|
|
82
82
|
throw new Error("toCiLockV1: unsupported emitted type");
|
package/dist/ciLock.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ciLock.js","sourceRoot":"","sources":["../src/ciLock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGvD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAyCjE,SAAS,mBAAmB,CAAC,GAAa;IACxC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,MAAM,EAAE,GAAG,MAAM,CAAC,sBAAsB,CAAC;IACzC,MAAM,aAAa,GACjB,EAAE,CAAC,IAAI,KAAK,QAAQ;QAClB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,mBAAmB,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAE7F,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC;IACpD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,EAAE,GACN,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;YAChE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,EAAE,EAAE,YAAY,IAAI,UAAU,CAAC;QACpD,OAAO;YACL,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,YAAY;YACZ,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9D,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI;SAC1C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC;IACtD,MAAM,mBAAmB,GAAG,EAAE;QAC5B,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;QAC/F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,qBAAqB,CAAC;IAC5D,MAAM,qBAAqB,GAAG,EAAE,EAAE,qBAAqB,CAAC;IACxD,OAAO;QACL,iBAAiB,EAAE,CAAC;QACpB,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB;QACnB,aAAa;QACb,KAAK,EAAE,SAAS;QAChB,mBAAmB;QACnB,0BAA0B,EAAE,EAAE,EAAE,eAAe,IAAI,IAAI;QACvD,qBAAqB,EACnB,qBAAqB,KAAK,SAAS,IAAI,qBAAqB,KAAK,IAAI;YACnE,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAA6B;YAChF,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAyB;IAC7D,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;SAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC,WAAW,CAAC;QAC/C,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ;QACjC,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,WAAW;KACxC,CAAC,CAAC,CAAC;IACN,OAAO;QACL,iBAAiB,EAAE,CAAC;QACpB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,iBAAiB,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QACjE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YAC/C,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,oBAAoB,CAAC;YAClD,CAAC,CAAC,EAAE;QACN,KAAK;KACN,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,UAAU,CAAC,OAA2C;IACpE,IAAI,qBAAqB,IAAI,OAAO,IAAI,OAAO,CAAC,aAAa,KAAK,EAAE,EAAE,CAAC;QACrE,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,SAAS,IAAI,OAAO,
|
|
1
|
+
{"version":3,"file":"ciLock.js","sourceRoot":"","sources":["../src/ciLock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGvD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAyCjE,SAAS,mBAAmB,CAAC,GAAa;IACxC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,MAAM,EAAE,GAAG,MAAM,CAAC,sBAAsB,CAAC;IACzC,MAAM,aAAa,GACjB,EAAE,CAAC,IAAI,KAAK,QAAQ;QAClB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,mBAAmB,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAE7F,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC;IACpD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,MAAM,EAAE,GACN,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC;YAChE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,EAAE,EAAE,YAAY,IAAI,UAAU,CAAC;QACpD,OAAO;YACL,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,YAAY;YACZ,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9D,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI;SAC1C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC;IACtD,MAAM,mBAAmB,GAAG,EAAE;QAC5B,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;QAC/F,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,qBAAqB,CAAC;IAC5D,MAAM,qBAAqB,GAAG,EAAE,EAAE,qBAAqB,CAAC;IACxD,OAAO;QACL,iBAAiB,EAAE,CAAC;QACpB,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,mBAAmB;QACnB,aAAa;QACb,KAAK,EAAE,SAAS;QAChB,mBAAmB;QACnB,0BAA0B,EAAE,EAAE,EAAE,eAAe,IAAI,IAAI;QACvD,qBAAqB,EACnB,qBAAqB,KAAK,SAAS,IAAI,qBAAqB,KAAK,IAAI;YACnE,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAA6B;YAChF,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAyB;IAC7D,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;SAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC,WAAW,CAAC;QAC/C,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ;QACjC,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,WAAW;KACxC,CAAC,CAAC,CAAC;IACN,OAAO;QACL,iBAAiB,EAAE,CAAC;QACpB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,iBAAiB,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;QACjE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;YAC/C,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,oBAAoB,CAAC;YAClD,CAAC,CAAC,EAAE;QACN,KAAK;KACN,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,UAAU,CAAC,OAA2C;IACpE,IAAI,qBAAqB,IAAI,OAAO,IAAI,OAAO,CAAC,aAAa,KAAK,EAAE,EAAE,CAAC;QACrE,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;QACzB,OAAO,qBAAqB,CAAC,OAA4B,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAa;IACnD,MAAM,CAAC,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,sBAAsB,EAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,sBAAsB,EAAE,+BAA+B,CAAC,GAAG,CAAC,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,sBAAsB,EAAE,+BAA+B,CAAC,GAAG,CAAC,CAAC,CAAC;IAChH,CAAC;IACD,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,+BAA+B,CAAC,GAAW;IAClD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,OAAO,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAW,EAAE,CAAW;IACzD,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC"}
|
package/dist/cli.js
CHANGED
|
@@ -177,7 +177,7 @@ Provide exactly one of --db or --postgres-url.
|
|
|
177
177
|
|
|
178
178
|
Optional output:
|
|
179
179
|
--no-human-report For verdict exits 0–2, do not print certificate.humanReport or distribution footer to stderr (stderr empty). stdout Outcome Certificate JSON is unchanged. Exit 3 stderr is unchanged (single-line JSON envelope).
|
|
180
|
-
--share-report-origin <https://host> After successful verification, POST a shareable report (
|
|
180
|
+
--share-report-origin <https://host> After successful verification, POST a shareable report (v3 envelope) to that origin (https only, origin with no path), then print human report + footer to stderr and Outcome Certificate JSON to stdout. On POST failure: exit 3, stdout empty, stderr single-line JSON envelope (code SHARE_REPORT_FAILED). See docs/shareable-verification-reports.md.
|
|
181
181
|
|
|
182
182
|
Exit codes:
|
|
183
183
|
0 workflow status complete
|
|
@@ -804,7 +804,7 @@ async function runQuickSubcommand(args) {
|
|
|
804
804
|
}
|
|
805
805
|
if (shareReportOrigin !== undefined) {
|
|
806
806
|
const shareRes = await postPublicVerificationReport(shareReportOrigin, {
|
|
807
|
-
schemaVersion:
|
|
807
|
+
schemaVersion: 3,
|
|
808
808
|
certificate,
|
|
809
809
|
});
|
|
810
810
|
if (!shareRes.ok) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trustDecisionRecord.d.ts","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"trustDecisionRecord.d.ts","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGrE,OAAO,EAAgC,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEvF,MAAM,MAAM,aAAa,GAAG,2BAA2B,GAAG,+BAA+B,CAAC;AAE1F,0HAA0H;AAC1H,MAAM,MAAM,qBAAqB,GAAG;IAClC,cAAc,EAAE,CAAC,CAAC;IAClB,cAAc,EAAE,aAAa,CAAC;IAC9B,SAAS,EAAE,aAAa,CAAC;IACzB,OAAO,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,oBAAoB,EAAE,0BAA0B,CAAC;IACjD,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACvC,cAAc,EAAE,CAAC,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC1C,cAAc,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACtD,oBAAoB,EAAE,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACjE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EACT;QACE,GAAG,EAAE,MAAM,CAAC;QACZ,OAAO,EAAE,MAAM,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;KACxB,GACD,IAAI,CAAC;CACV,CAAC;AAEF,yFAAyF;AACzF,eAAO,MAAM,8BAA8B,QAAQ,CAAC;AAkBpD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,oBAAoB,GAAG,0BAA0B,CAoBjG;AAED,MAAM,MAAM,mCAAmC,GAAG;IAChD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,0BAA0B,CAAC,MAAM,EAAE;IACjD,WAAW,EAAE,oBAAoB,CAAC;IAClC,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,mCAAmC,CAAC;CAClD,GAAG,qBAAqB,CA6BxB"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import { firstProblemStepForCertificate
|
|
1
|
+
import { firstProblemStepForCertificate } from "../decisionBlocker.js";
|
|
2
|
+
import { formatEvidenceCompletenessHuman } from "../formatEvidenceCompletenessHuman.js";
|
|
2
3
|
import { trustDecisionFromCertificate } from "../trustDecision.js";
|
|
3
4
|
/** Max UTF-8 size for serialized **`TrustDecisionRecordV1`** posted to hosted ingest. */
|
|
4
5
|
export const MAX_TRUST_DECISION_RECORD_UTF8 = 65536;
|
|
@@ -39,7 +40,10 @@ export function buildCertificateSnapshotV1(cert) {
|
|
|
39
40
|
}
|
|
40
41
|
export function buildTrustDecisionRecordV1(params) {
|
|
41
42
|
const { certificate, gateKind } = params;
|
|
42
|
-
const
|
|
43
|
+
const human_blocker_lines = formatEvidenceCompletenessHuman(certificate.evidenceCompleteness, {
|
|
44
|
+
runKind: certificate.runKind,
|
|
45
|
+
highStakesReliance: certificate.highStakesReliance,
|
|
46
|
+
}).split("\n");
|
|
43
47
|
const routing_key = params.routingOpts.ownerRoutingKey ?? params.routingOpts.workflowIdFallback;
|
|
44
48
|
const routing = { routing_key };
|
|
45
49
|
if (params.routingOpts.routingTeam !== undefined && params.routingOpts.routingTeam.length > 0) {
|
|
@@ -54,7 +58,7 @@ export function buildTrustDecisionRecordV1(params) {
|
|
|
54
58
|
gate_kind: gateKind,
|
|
55
59
|
routing,
|
|
56
60
|
certificate_snapshot: buildCertificateSnapshotV1(certificate),
|
|
57
|
-
human_blocker_lines
|
|
61
|
+
human_blocker_lines,
|
|
58
62
|
};
|
|
59
63
|
const size = Buffer.byteLength(JSON.stringify(record), "utf8");
|
|
60
64
|
if (size > MAX_TRUST_DECISION_RECORD_UTF8) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trustDecisionRecord.js","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,
|
|
1
|
+
{"version":3,"file":"trustDecisionRecord.js","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,8BAA8B,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,+BAA+B,EAAE,MAAM,uCAAuC,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAsB,MAAM,qBAAqB,CAAC;AA+BvF,yFAAyF;AACzF,MAAM,CAAC,MAAM,8BAA8B,GAAG,KAAK,CAAC;AAEpD,SAAS,sBAAsB,CAAC,CAAS,EAAE,GAAW;IACpD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;IAC1D,OAAO,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAuD,EAAE,GAAW;IACnG,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG;YAAE,MAAM;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAA0B;IACnE,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,IAAI,CAAC,UAAU;QAC5B,QAAQ,EAAE,IAAI,CAAC,OAAO;QACtB,cAAc,EAAE,IAAI,CAAC,aAAa;QAClC,oBAAoB,EAAE,IAAI,CAAC,kBAAkB;QAC7C,YAAY,EAAE,KAAK;QACnB,aAAa,EACX,OAAO,KAAK,IAAI;YACd,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,OAAO,EAAE,OAAO,CAAC,MAAM,IAAI,SAAS;gBACpC,cAAc,EAAE,sBAAsB,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC;gBACpE,cAAc,EAAE,sBAAsB,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC;aACrE;KACR,CAAC;AACJ,CAAC;AASD,MAAM,UAAU,0BAA0B,CAAC,MAI1C;IACC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,mBAAmB,GAAG,+BAA+B,CAAC,WAAW,CAAC,oBAAoB,EAAE;QAC5F,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,kBAAkB,EAAE,WAAW,CAAC,kBAAkB;KACnD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe,IAAI,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC;IAChG,MAAM,OAAO,GAAqC,EAAE,WAAW,EAAE,CAAC;IAClE,IAAI,MAAM,CAAC,WAAW,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1F,OAAO,CAAC,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAA0B;QACpC,cAAc,EAAE,CAAC;QACjB,cAAc,EAAE,4BAA4B,CAAC,WAAW,CAAC;QACzD,SAAS,EAAE,QAAQ;QACnB,OAAO;QACP,oBAAoB,EAAE,0BAA0B,CAAC,WAAW,CAAC;QAC7D,mBAAmB;KACpB,CAAC;IAEF,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,IAAI,IAAI,GAAG,8BAA8B,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,8EAA8E,IAAI,MAAM,8BAA8B,GAAG,CAAC,CAAC;IAC7I,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -1,8 +1,28 @@
|
|
|
1
1
|
import { describe, expect, it } from "vitest";
|
|
2
2
|
import { loadSchemaValidator } from "../schemaLoad.js";
|
|
3
|
+
import { minimalEvidenceCompletenessFixture } from "../evidenceCompleteness.js";
|
|
4
|
+
import { formatFailureSpineHuman } from "../formatFailureSpineHuman.js";
|
|
5
|
+
import { remediationMessageForRecommendedAction } from "../remediationMessage.js";
|
|
3
6
|
import { buildTrustDecisionRecordV1 } from "./trustDecisionRecord.js";
|
|
4
|
-
const
|
|
7
|
+
const ecMinimal = minimalEvidenceCompletenessFixture({ blockerCategory: "state_mismatch" });
|
|
8
|
+
const fsMinimal = {
|
|
5
9
|
schemaVersion: 1,
|
|
10
|
+
trustDecision: "unsafe",
|
|
11
|
+
summary: "h",
|
|
12
|
+
actionableFailure: {
|
|
13
|
+
category: "state_inconsistency",
|
|
14
|
+
severity: "high",
|
|
15
|
+
recommendedAction: "manual_review",
|
|
16
|
+
automationSafe: false,
|
|
17
|
+
},
|
|
18
|
+
primaryCodes: ["C"],
|
|
19
|
+
rerunGuidance: remediationMessageForRecommendedAction("manual_review"),
|
|
20
|
+
source: "workflow",
|
|
21
|
+
};
|
|
22
|
+
const humanBase = "r\n\n=== evidence_completeness ===\nx\n=== end evidence_completeness ===\n\n" +
|
|
23
|
+
formatFailureSpineHuman(fsMinimal);
|
|
24
|
+
const minimalCertNoSafe = {
|
|
25
|
+
schemaVersion: 3,
|
|
6
26
|
workflowId: "wf_x",
|
|
7
27
|
runKind: "contract_sql",
|
|
8
28
|
stateRelation: "does_not_match",
|
|
@@ -10,6 +30,7 @@ const minimalCertNoSafe = {
|
|
|
10
30
|
relianceRationale: "x",
|
|
11
31
|
intentSummary: "x",
|
|
12
32
|
explanation: { headline: "h", details: [{ code: "C", message: "m" }] },
|
|
33
|
+
evidenceCompleteness: ecMinimal,
|
|
13
34
|
steps: [
|
|
14
35
|
{
|
|
15
36
|
seq: 0,
|
|
@@ -19,7 +40,8 @@ const minimalCertNoSafe = {
|
|
|
19
40
|
observedOutcome: "o",
|
|
20
41
|
},
|
|
21
42
|
],
|
|
22
|
-
humanReport:
|
|
43
|
+
humanReport: humanBase,
|
|
44
|
+
failureSpine: fsMinimal,
|
|
23
45
|
};
|
|
24
46
|
describe("trust decision record ingest shape", () => {
|
|
25
47
|
it("validates TrustDecisionRecordV1 envelope", () => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trustDecisionRecord.schema.test.js","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.schema.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAEtE,MAAM,iBAAiB,GAAyB;IAC9C,aAAa,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM;IAClB,OAAO,EAAE,cAAc;IACvB,aAAa,EAAE,gBAAgB;IAC/B,kBAAkB,EAAE,YAAY;IAChC,iBAAiB,EAAE,GAAG;IACtB,aAAa,EAAE,GAAG;IAClB,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;IACtE,KAAK,EAAE;QACL;YACE,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,cAAc,EAAE,GAAG;YACnB,eAAe,EAAE,GAAG;YACpB,eAAe,EAAE,GAAG;SACrB;KACF;IACD,WAAW,EAAE,
|
|
1
|
+
{"version":3,"file":"trustDecisionRecord.schema.test.js","sourceRoot":"","sources":["../../src/commercial/trustDecisionRecord.schema.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAEtE,MAAM,SAAS,GAAG,kCAAkC,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAC5F,MAAM,SAAS,GAAG;IAChB,aAAa,EAAE,CAAU;IACzB,aAAa,EAAE,QAAiB;IAChC,OAAO,EAAE,GAAG;IACZ,iBAAiB,EAAE;QACjB,QAAQ,EAAE,qBAA8B;QACxC,QAAQ,EAAE,MAAe;QACzB,iBAAiB,EAAE,eAAwB;QAC3C,cAAc,EAAE,KAAK;KACtB;IACD,YAAY,EAAE,CAAC,GAAG,CAAC;IACnB,aAAa,EAAE,sCAAsC,CAAC,eAAe,CAAC;IACtE,MAAM,EAAE,UAAmB;CAC5B,CAAC;AACF,MAAM,SAAS,GACb,8EAA8E;IAC9E,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAErC,MAAM,iBAAiB,GAAyB;IAC9C,aAAa,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM;IAClB,OAAO,EAAE,cAAc;IACvB,aAAa,EAAE,gBAAgB;IAC/B,kBAAkB,EAAE,YAAY;IAChC,iBAAiB,EAAE,GAAG;IACtB,aAAa,EAAE,GAAG;IAClB,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;IACtE,oBAAoB,EAAE,SAAS;IAC/B,KAAK,EAAE;QACL;YACE,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,cAAc,EAAE,GAAG;YACnB,eAAe,EAAE,GAAG;YACpB,eAAe,EAAE,GAAG;SACrB;KACF;IACD,WAAW,EAAE,SAAS;IACtB,YAAY,EAAE,SAAS;CACxB,CAAC;AAEF,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,0BAA0B,CAAC;YACxC,WAAW,EAAE,iBAAiB;YAC9B,QAAQ,EAAE,2BAA2B;YACrC,WAAW,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,0BAA0B,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verifyOutcomeBeaconBody.d.ts","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGrE,MAAM,MAAM,2BAA2B,GAAG,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAC5E,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,cAAc,GAAG,yBAAyB,GAAG,UAAU,CAAC;AAE/G,MAAM,MAAM,gCAAgC,GAAG;IAC7C,EAAE,EAAE,cAAc,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,cAAc,CAAC;IAC9E,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,WAAW,EACP,KAAK,GACL,kBAAkB,GAClB,gBAAgB,GAChB,uBAAuB,GACvB,qBAAqB,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,cAAc,EAAE,gBAAgB,GAAG,uBAAuB,GAAG,qBAAqB,CAAC;IACnF,MAAM,EAAE,CAAC,gCAAgC,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,gCAAgC,CAAC,CAAC;CAClJ,CAAC;AAEF,KAAK,eAAe,GAAG;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,mCAAmC,GAC3C,CAAC,eAAe,GAAG;IAAE,UAAU,EAAE,OAAO,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC,GAChF,CAAC,eAAe,GAAG;IAAE,UAAU,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,2BAA2B,CAAA;CAAE,CAAC,CAAC;AAa5F,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,mCAAmC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,
|
|
1
|
+
{"version":3,"file":"verifyOutcomeBeaconBody.d.ts","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGrE,MAAM,MAAM,2BAA2B,GAAG,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAC5E,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,cAAc,GAAG,yBAAyB,GAAG,UAAU,CAAC;AAE/G,MAAM,MAAM,gCAAgC,GAAG;IAC7C,EAAE,EAAE,cAAc,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,cAAc,CAAC;IAC9E,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,WAAW,EACP,KAAK,GACL,kBAAkB,GAClB,gBAAgB,GAChB,uBAAuB,GACvB,qBAAqB,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,2BAA2B,GAAG;IACxC,cAAc,EAAE,gBAAgB,GAAG,uBAAuB,GAAG,qBAAqB,CAAC;IACnF,MAAM,EAAE,CAAC,gCAAgC,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,gCAAgC,CAAC,CAAC;CAClJ,CAAC;AAEF,KAAK,eAAe,GAAG;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,mCAAmC,GAC3C,CAAC,eAAe,GAAG;IAAE,UAAU,EAAE,OAAO,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAA;CAAE,CAAC,GAChF,CAAC,eAAe,GAAG;IAAE,UAAU,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,2BAA2B,CAAA;CAAE,CAAC,CAAC;AAa5F,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,mCAAmC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBlH"}
|
|
@@ -12,10 +12,11 @@ function sortedReasonCodesFromCertificate(certificate, max) {
|
|
|
12
12
|
}
|
|
13
13
|
export function buildVerifyOutcomeBeaconBodyV2(input) {
|
|
14
14
|
const baseRecord = {
|
|
15
|
-
schema_version:
|
|
15
|
+
schema_version: 3,
|
|
16
16
|
run_id: input.run_id,
|
|
17
17
|
workflow_id: input.certificate.workflowId.slice(0, 512),
|
|
18
18
|
outcome_certificate_run_kind: input.certificate.runKind,
|
|
19
|
+
evidence_gap_primary: input.certificate.evidenceCompleteness.blockerCategory,
|
|
19
20
|
trust_decision: trustDecisionFromCertificate(input.certificate),
|
|
20
21
|
reason_codes: sortedReasonCodesFromCertificate(input.certificate, 8),
|
|
21
22
|
terminal_status: input.terminal_status,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verifyOutcomeBeaconBody.js","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAiCnE,SAAS,gCAAgC,CAAC,WAAiC,EAAE,GAAW;IACtF,MAAM,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG;YAAE,MAAM;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAA0C;IACvF,MAAM,UAAU,GAA4B;QAC1C,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACvD,4BAA4B,EAAE,KAAK,CAAC,WAAW,CAAC,OAAO;QACvD,cAAc,EAAE,4BAA4B,CAAC,KAAK,CAAC,WAAW,CAAC;QAC/D,YAAY,EAAE,gCAAgC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QACpE,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC;IACF,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACpC,UAAU,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3C,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}
|
|
1
|
+
{"version":3,"file":"verifyOutcomeBeaconBody.js","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAiCnE,SAAS,gCAAgC,CAAC,WAAiC,EAAE,GAAW;IACtF,MAAM,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG;YAAE,MAAM;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAA0C;IACvF,MAAM,UAAU,GAA4B;QAC1C,cAAc,EAAE,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACvD,4BAA4B,EAAE,KAAK,CAAC,WAAW,CAAC,OAAO;QACvD,oBAAoB,EAAE,KAAK,CAAC,WAAW,CAAC,oBAAoB,CAAC,eAAe;QAC5E,cAAc,EAAE,4BAA4B,CAAC,KAAK,CAAC,WAAW,CAAC;QAC/D,YAAY,EAAE,gCAAgC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QACpE,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC;IACF,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QACpC,UAAU,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3C,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}
|
|
@@ -52,7 +52,7 @@ function wf(steps, id = "wf_compare_ac") {
|
|
|
52
52
|
describe("Run comparison acceptance tests", () => {
|
|
53
53
|
const v = loadSchemaValidator("run-comparison-report");
|
|
54
54
|
const vArtifact = loadSchemaValidator("regression-artifact-v1");
|
|
55
|
-
const vCert = loadSchemaValidator("outcome-certificate-
|
|
55
|
+
const vCert = loadSchemaValidator("outcome-certificate-v3");
|
|
56
56
|
it("AC_9_1_multi_run_compare_emits_schema_v4", () => {
|
|
57
57
|
const r0 = wf([sqlRowStep(0, "t", "a", true)]);
|
|
58
58
|
const r1 = wf([sqlRowStep(0, "t", "a", true)]);
|
|
@@ -1,14 +1,4 @@
|
|
|
1
1
|
import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
* Exported for Trust Decision Record snapshots — same selection rules as **`formatDecisionBlockerForHumans`**.
|
|
5
|
-
*/
|
|
2
|
+
/** Exported for Trust Decision Record / material truth snapshots. */
|
|
6
3
|
export declare function firstProblemStepForCertificate(certificate: OutcomeCertificateV1): OutcomeCertificateV1["steps"][0] | null;
|
|
7
|
-
/**
|
|
8
|
-
* Fixed six-line human blocker for operators (Requirement 4 contract).
|
|
9
|
-
*/
|
|
10
|
-
export declare function formatDecisionBlockerForHumans(certificate: OutcomeCertificateV1): {
|
|
11
|
-
trustDecision: TrustDecision;
|
|
12
|
-
lines: string[];
|
|
13
|
-
};
|
|
14
4
|
//# sourceMappingURL=decisionBlocker.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"decisionBlocker.d.ts","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"decisionBlocker.d.ts","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAapE,qEAAqE;AACrE,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,oBAAoB,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CASzH"}
|
package/dist/decisionBlocker.js
CHANGED
|
@@ -1,11 +1,4 @@
|
|
|
1
1
|
import { trustDecisionFromCertificate } from "./trustDecision.js";
|
|
2
|
-
function truncateOneLine(s, max) {
|
|
3
|
-
const flat = s.replace(/\s+/g, " ").trim();
|
|
4
|
-
return flat.length <= max ? flat : `${flat.slice(0, max - 1)}…`;
|
|
5
|
-
}
|
|
6
|
-
function sortedUniqueCodes(codes, cap) {
|
|
7
|
-
return [...new Set(codes)].sort((a, b) => a.localeCompare(b)).slice(0, cap);
|
|
8
|
-
}
|
|
9
2
|
function inferStepStatus(step) {
|
|
10
3
|
const o = step.observedOutcome.toLowerCase();
|
|
11
4
|
if (o.includes("missing") || o.includes("row is missing"))
|
|
@@ -19,9 +12,7 @@ function inferStepStatus(step) {
|
|
|
19
12
|
return "verified";
|
|
20
13
|
return "non_verified";
|
|
21
14
|
}
|
|
22
|
-
/**
|
|
23
|
-
* Exported for Trust Decision Record snapshots — same selection rules as **`formatDecisionBlockerForHumans`**.
|
|
24
|
-
*/
|
|
15
|
+
/** Exported for Trust Decision Record / material truth snapshots. */
|
|
25
16
|
export function firstProblemStepForCertificate(certificate) {
|
|
26
17
|
const steps = [...certificate.steps].sort((a, b) => a.seq - b.seq);
|
|
27
18
|
if (steps.length === 0)
|
|
@@ -35,35 +26,4 @@ export function firstProblemStepForCertificate(certificate) {
|
|
|
35
26
|
}
|
|
36
27
|
return steps[0] ?? null;
|
|
37
28
|
}
|
|
38
|
-
/**
|
|
39
|
-
* Fixed six-line human blocker for operators (Requirement 4 contract).
|
|
40
|
-
*/
|
|
41
|
-
export function formatDecisionBlockerForHumans(certificate) {
|
|
42
|
-
const trustDecision = trustDecisionFromCertificate(certificate);
|
|
43
|
-
const codes = sortedUniqueCodes(certificate.explanation.details.map((d) => d.code), 5);
|
|
44
|
-
const primary = firstProblemStepForCertificate(certificate);
|
|
45
|
-
const line3 = trustDecision === "safe"
|
|
46
|
-
? "First problem step: n/a"
|
|
47
|
-
: primary !== null
|
|
48
|
-
? `First problem step: seq=${primary.seq} tool=${primary.toolId ?? "unknown"} status=${inferStepStatus(primary)}`
|
|
49
|
-
: "First problem step: n/a";
|
|
50
|
-
const line5 = primary !== null
|
|
51
|
-
? `Expected: ${truncateOneLine(primary.expectedOutcome, 200)}`
|
|
52
|
-
: "Expected: (no step data)";
|
|
53
|
-
const line6 = primary !== null
|
|
54
|
-
? `Observed: ${truncateOneLine(primary.observedOutcome, 200)}`
|
|
55
|
-
: "Observed: (no step data)";
|
|
56
|
-
const lines = [
|
|
57
|
-
`Trust: ${trustDecision}`,
|
|
58
|
-
`Workflow: ${certificate.workflowId}`,
|
|
59
|
-
line3,
|
|
60
|
-
`Reason codes: ${codes.length > 0 ? codes.join(", ") : "(none)"}`,
|
|
61
|
-
line5,
|
|
62
|
-
line6,
|
|
63
|
-
];
|
|
64
|
-
if (lines.length !== 6) {
|
|
65
|
-
throw new Error("formatDecisionBlockerForHumans: invariant violated (must be exactly 6 lines)");
|
|
66
|
-
}
|
|
67
|
-
return { trustDecision, lines };
|
|
68
|
-
}
|
|
69
29
|
//# sourceMappingURL=decisionBlocker.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"decisionBlocker.js","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,
|
|
1
|
+
{"version":3,"file":"decisionBlocker.js","sourceRoot":"","sources":["../src/decisionBlocker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE,SAAS,eAAe,CAAC,IAAsC;IAC7D,MAAM,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;IAC7C,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,yGAAyG;IACzG,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,cAAc,CAAC;IACzE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvE,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,8BAA8B,CAAC,WAAiC;IAC9E,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,EAAE,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,UAAU;YAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC1B,CAAC"}
|
|
@@ -44,7 +44,7 @@ export function validateDecisionEvidenceBundle(bundleDir) {
|
|
|
44
44
|
structuralErrors.push({ code: "CERTIFICATE_PARSE", message: parsed.message });
|
|
45
45
|
}
|
|
46
46
|
else {
|
|
47
|
-
const v = loadSchemaValidator("outcome-certificate-
|
|
47
|
+
const v = loadSchemaValidator("outcome-certificate-v3");
|
|
48
48
|
if (!v(parsed.value)) {
|
|
49
49
|
structuralErrors.push({
|
|
50
50
|
code: "CERTIFICATE_SCHEMA",
|
|
@@ -29,7 +29,7 @@ function validateOptional(schemaName, label, value) {
|
|
|
29
29
|
export function writeDecisionEvidenceBundle(options) {
|
|
30
30
|
const resolved = path.resolve(options.outDir);
|
|
31
31
|
mkdirSync(resolved, { recursive: true });
|
|
32
|
-
const validateCert = loadSchemaValidator("outcome-certificate-
|
|
32
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v3");
|
|
33
33
|
if (!validateCert(options.certificate)) {
|
|
34
34
|
throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage(`writeDecisionEvidenceBundle: certificate invalid ${JSON.stringify(validateCert.errors ?? [])}`));
|
|
35
35
|
}
|
|
@@ -43,7 +43,7 @@ export function writeDecisionEvidenceBundle(options) {
|
|
|
43
43
|
const exitPayload = {
|
|
44
44
|
schemaVersion: 1,
|
|
45
45
|
exitCode: exitCodeFromOutcomeCertificate(options.certificate),
|
|
46
|
-
cliConvention: "
|
|
46
|
+
cliConvention: "outcome_certificate_v2",
|
|
47
47
|
};
|
|
48
48
|
validateOptional("decision-evidence-exit-v1", "exit", exitPayload);
|
|
49
49
|
const exitUtf8 = `${JSON.stringify(exitPayload)}\n`;
|
|
@@ -1,20 +1,67 @@
|
|
|
1
1
|
import { describe, expect, it } from "vitest";
|
|
2
2
|
import { mkdirSync, rmSync } from "node:fs";
|
|
3
3
|
import path from "node:path";
|
|
4
|
+
import { minimalEvidenceCompletenessFixture } from "./evidenceCompleteness.js";
|
|
5
|
+
import { EVIDENCE_COMPLETENESS_BEGIN, formatEvidenceCompletenessHuman, } from "./formatEvidenceCompletenessHuman.js";
|
|
6
|
+
import { formatFailureSpineHuman } from "./formatFailureSpineHuman.js";
|
|
7
|
+
import { remediationMessageForRecommendedAction } from "./remediationMessage.js";
|
|
4
8
|
import { writeDecisionEvidenceBundle } from "./decisionEvidenceBundle/writeDecisionEvidenceBundle.js";
|
|
5
9
|
import { formatValidationStdout, validateDecisionEvidenceBundle, } from "./decisionEvidenceBundle/validateDecisionEvidenceBundle.js";
|
|
6
|
-
function
|
|
10
|
+
function minimalFailureSpine(stateRelation) {
|
|
11
|
+
if (stateRelation === "matches_expectations") {
|
|
12
|
+
return {
|
|
13
|
+
schemaVersion: 1,
|
|
14
|
+
trustDecision: "safe",
|
|
15
|
+
summary: "s",
|
|
16
|
+
actionableFailure: {
|
|
17
|
+
category: "unclassified",
|
|
18
|
+
severity: "low",
|
|
19
|
+
recommendedAction: "none",
|
|
20
|
+
automationSafe: true,
|
|
21
|
+
},
|
|
22
|
+
primaryCodes: ["OK"],
|
|
23
|
+
rerunGuidance: remediationMessageForRecommendedAction("none"),
|
|
24
|
+
source: "workflow",
|
|
25
|
+
};
|
|
26
|
+
}
|
|
7
27
|
return {
|
|
8
28
|
schemaVersion: 1,
|
|
29
|
+
trustDecision: "unsafe",
|
|
30
|
+
summary: "h",
|
|
31
|
+
actionableFailure: {
|
|
32
|
+
category: "state_inconsistency",
|
|
33
|
+
severity: "high",
|
|
34
|
+
recommendedAction: "manual_review",
|
|
35
|
+
automationSafe: false,
|
|
36
|
+
},
|
|
37
|
+
primaryCodes: ["ROW_ABSENT"],
|
|
38
|
+
rerunGuidance: remediationMessageForRecommendedAction("manual_review"),
|
|
39
|
+
source: "workflow",
|
|
40
|
+
};
|
|
41
|
+
}
|
|
42
|
+
function minimalCertificate(stateRelation) {
|
|
43
|
+
const ec = minimalEvidenceCompletenessFixture(stateRelation === "matches_expectations" ?
|
|
44
|
+
{ blockerCategory: "none" }
|
|
45
|
+
: { blockerCategory: "state_mismatch" });
|
|
46
|
+
const rl = stateRelation === "matches_expectations" ? "permitted" : "prohibited";
|
|
47
|
+
const fs = minimalFailureSpine(stateRelation);
|
|
48
|
+
const hrBase = `${"human"}\n\n${formatEvidenceCompletenessHuman(ec, { runKind: "contract_sql", highStakesReliance: rl })}`;
|
|
49
|
+
if (!hrBase.includes(EVIDENCE_COMPLETENESS_BEGIN))
|
|
50
|
+
throw new Error("fixture humanReport missing anchors");
|
|
51
|
+
const hr = `${hrBase}\n\n${formatFailureSpineHuman(fs)}`;
|
|
52
|
+
return {
|
|
53
|
+
schemaVersion: 3,
|
|
9
54
|
workflowId: "wf_test",
|
|
10
55
|
runKind: "contract_sql",
|
|
11
56
|
stateRelation,
|
|
12
|
-
highStakesReliance:
|
|
57
|
+
highStakesReliance: rl,
|
|
13
58
|
relianceRationale: "r",
|
|
14
59
|
intentSummary: "s",
|
|
15
60
|
explanation: { headline: "h", details: [] },
|
|
61
|
+
evidenceCompleteness: ec,
|
|
16
62
|
steps: [],
|
|
17
|
-
humanReport:
|
|
63
|
+
humanReport: hr,
|
|
64
|
+
failureSpine: fs,
|
|
18
65
|
};
|
|
19
66
|
}
|
|
20
67
|
describe("decisionEvidenceBundle", () => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"decisionEvidenceBundle.test.js","sourceRoot":"","sources":["../src/decisionEvidenceBundle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAgB,MAAM,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yDAAyD,CAAC;AACtG,OAAO,EACL,sBAAsB,EACtB,8BAA8B,GAC/B,MAAM,4DAA4D,CAAC;AAEpE,SAAS,
|
|
1
|
+
{"version":3,"file":"decisionEvidenceBundle.test.js","sourceRoot":"","sources":["../src/decisionEvidenceBundle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAgB,MAAM,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,kCAAkC,EAAE,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EACL,2BAA2B,EAC3B,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,OAAO,EAAE,sCAAsC,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,yDAAyD,CAAC;AACtG,OAAO,EACL,sBAAsB,EACtB,8BAA8B,GAC/B,MAAM,4DAA4D,CAAC;AAEpE,SAAS,mBAAmB,CAAC,aAAoD;IAC/E,IAAI,aAAa,KAAK,sBAAsB,EAAE,CAAC;QAC7C,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,MAAM;YACrB,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE;gBACjB,QAAQ,EAAE,cAAc;gBACxB,QAAQ,EAAE,KAAK;gBACf,iBAAiB,EAAE,MAAM;gBACzB,cAAc,EAAE,IAAI;aACrB;YACD,YAAY,EAAE,CAAC,IAAI,CAAC;YACpB,aAAa,EAAE,sCAAsC,CAAC,MAAM,CAAC;YAC7D,MAAM,EAAE,UAAU;SACnB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,QAAQ;QACvB,OAAO,EAAE,GAAG;QACZ,iBAAiB,EAAE;YACjB,QAAQ,EAAE,qBAAqB;YAC/B,QAAQ,EAAE,MAAM;YAChB,iBAAiB,EAAE,eAAe;YAClC,cAAc,EAAE,KAAK;SACtB;QACD,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,aAAa,EAAE,sCAAsC,CAAC,eAAe,CAAC;QACtE,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,aAAoD;IAC9E,MAAM,EAAE,GAAG,kCAAkC,CAC3C,aAAa,KAAK,sBAAsB,CAAC,CAAC;QACxC,EAAE,eAAe,EAAE,MAAM,EAAE;QAC7B,CAAC,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,CACxC,CAAC;IACF,MAAM,EAAE,GAAG,aAAa,KAAK,sBAAsB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,YAAsB,CAAC;IAC5F,MAAM,EAAE,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,GAAG,OAAO,OAAO,+BAA+B,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IAC3H,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC1G,MAAM,EAAE,GAAG,GAAG,MAAM,OAAO,uBAAuB,CAAC,EAAE,CAAC,EAAE,CAAC;IACzD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa;QACb,kBAAkB,EAAE,EAAE;QACtB,iBAAiB,EAAE,GAAG;QACtB,aAAa,EAAE,GAAG;QAClB,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;QAC3C,oBAAoB,EAAE,EAAE;QACxB,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,EAAE;QACf,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,iBAAiB,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC;YACH,2BAA2B,CAAC;gBAC1B,MAAM,EAAE,GAAG;gBACX,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,CAAC;gBACjD,aAAa,EAAE,KAAK;gBACpB,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzE,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,iBAAiB,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC;YACH,2BAA2B,CAAC;gBAC1B,MAAM,EAAE,GAAG;gBACX,WAAW,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;gBACvD,aAAa,EAAE,KAAK;gBACpB,KAAK,EAAE,OAAO;aACf,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,8BAA8B,CAAC,GAAG,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -45,7 +45,7 @@ describe("DecisionGate.assertSafeForIrreversibleAction", () => {
|
|
|
45
45
|
return false;
|
|
46
46
|
if (e.trustDecision !== "unsafe")
|
|
47
47
|
return false;
|
|
48
|
-
return e.message.
|
|
48
|
+
return e.message.includes("=== evidence_completeness ===");
|
|
49
49
|
});
|
|
50
50
|
});
|
|
51
51
|
});
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"decisionGate.assertSafe.test.js","sourceRoot":"","sources":["../src/decisionGate.assertSafe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,sBAAsB,CAAC;YAClC,UAAU,EAAE,YAAY;YACxB,YAAY;YACZ,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;YACvD,IAAI,EAAE,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACnC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,MAAM,MAAM,CAAC,IAAI,CAAC,+BAA+B,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAU,EAAE,EAAE;YACpF,IAAI,CAAC,CAAC,CAAC,YAAY,yBAAyB,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5D,IAAI,CAAC,CAAC,aAAa,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC/C,OAAO,CAAC,CAAC,OAAO,CAAC,
|
|
1
|
+
{"version":3,"file":"decisionGate.assertSafe.test.js","sourceRoot":"","sources":["../src/decisionGate.assertSafe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,sBAAsB,CAAC;YAClC,UAAU,EAAE,YAAY;YACxB,YAAY;YACZ,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA4B,CAAC;YACvD,IAAI,EAAE,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACnC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,MAAM,MAAM,CAAC,IAAI,CAAC,+BAA+B,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAU,EAAE,EAAE;YACpF,IAAI,CAAC,CAAC,CAAC,YAAY,yBAAyB,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5D,IAAI,CAAC,CAAC,aAAa,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC/C,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,+BAA+B,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/decisionGate.js
CHANGED
|
@@ -77,7 +77,7 @@ export function createDecisionGateImpl(options) {
|
|
|
77
77
|
api.evaluateCertificate = async () => {
|
|
78
78
|
const result = await api.evaluate();
|
|
79
79
|
const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
|
|
80
|
-
const validateCert = loadSchemaValidator("outcome-certificate-
|
|
80
|
+
const validateCert = loadSchemaValidator("outcome-certificate-v3");
|
|
81
81
|
if (!validateCert(certificate)) {
|
|
82
82
|
throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
|
|
83
83
|
}
|
package/dist/enforceStateful.js
CHANGED
|
@@ -111,10 +111,10 @@ export async function runStatefulEnforce(args) {
|
|
|
111
111
|
: "incomplete";
|
|
112
112
|
}
|
|
113
113
|
const payload = {
|
|
114
|
-
schema_version:
|
|
114
|
+
schema_version: 3,
|
|
115
115
|
run_id: runId,
|
|
116
116
|
workflow_id: workflowId,
|
|
117
|
-
|
|
117
|
+
outcome_certificate: certificate,
|
|
118
118
|
material_truth_sha256: materialTruthSha256(certificate),
|
|
119
119
|
certificate_sha256: canonicalCertificateSha256(certificate),
|
|
120
120
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"enforceStateful.js","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,SAAS,gBAAgB,CAAC,IAAc;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,aAAa,EACnC,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS;QAAE,OAAO,iBAAiB,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,cAAc,CAAC;IACrC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,aAAa;IACpB,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAC5F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,mBAAmB,EACzC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,IAAkG,EAClG,OAAgC;IAEhC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAe;IACxD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,IAAI,WAAW,GAAgC,IAAI,CAAC;IACpD,IAAI,EAAE,GAA0B,IAAI,CAAC;IACrC,IAAI,WAAW,GAAgC,IAAI,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GACX,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC5B,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACtC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAErC,MAAM,KAAK,GACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;YACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;YAC5C,UAAU,EAAE,CAAC;QACf,MAAM,2BAA2B,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QAElF,IAAI,cAA0D,CAAC;QAC/D,IAAI,UAAkB,CAAC;QACvB,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtC,EAAE,GAAG,CAAC,CAAC;YACP,MAAM,GAAG,GAAG,MAAM,+BAA+B,CAAC;gBAChD,SAAS,EACP,CAAC,CAAC,SAAS,KAAK,GAAG;oBACjB,CAAC,CAAC,MAAM,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;wBAC5C,IAAI,CAAC,GAAG,EAAE,CAAC;wBACX,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;wBAClC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;4BAC7B,CAAC,IAAI,CAAC,CAAC;wBACT,CAAC,CAAC,CAAC;wBACH,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC1C,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBACpC,CAAC,CAAC;oBACJ,CAAC,CAAC,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACnF,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,SAAS;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,IAAI,SAAS;aAClC,CAAC,CAAC;YACH,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC;YAC/B,WAAW,GAAG,sCAAsC,CAAC;gBACnD,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,UAAU,EAAE,CAAC,CAAC,eAAe;gBAC7B,kBAAkB,EAAE;oBAClB,UAAU,EAAE,CAAC,CAAC,eAAe;oBAC7B,UAAU,EAAE,CAAC,CAAC,cAAc,IAAI,SAAS;oBACzC,YAAY,EAAE,CAAC,CAAC,UAAU;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,SAAS;oBAC7B,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,SAAS;iBACzC;aACF,CAAC,CAAC;YACH,cAAc;gBACZ,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU;oBAC1C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc;wBAChD,CAAC,CAAC,YAAY,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YACjD,WAAW,GAAG,MAAM,CAAC;YACrB,MAAM,EAAE,GAAG,MAAM,+BAA+B,CAAC,GAAG,EAAE,CACpD,cAAc,CAAC;gBACb,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC;aAC/F,CAAC,CACH,CAAC;YACF,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;YAC/B,WAAW,GAAG,yCAAyC,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;YAC5E,cAAc;gBACZ,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU;oBACrC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc;wBAC/C,CAAC,CAAC,YAAY,CAAC;QACnB,CAAC;QACD,MAAM,OAAO,GAA4B;YACvC,cAAc,EAAE,CAAC;YACjB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,UAAU;YACvB,
|
|
1
|
+
{"version":3,"file":"enforceStateful.js","sourceRoot":"","sources":["../src/enforceStateful.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC1F,OAAO,EACL,sCAAsC,EACtC,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,SAAS,gBAAgB,CAAC,IAAc;IACtC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,aAAa,EACnC,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS;QAAE,OAAO,iBAAiB,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,cAAc,CAAC;IACrC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAc;IAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,gBAAgB,CAAC,CAAC;AACjF,CAAC;AAED,SAAS,aAAa;IACpB,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAC5F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,mBAAmB,EACzC,gEAAgE,CACjE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,oBAAoB,CACjC,IAAkG,EAClG,OAAgC;IAEhC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAe;IACxD,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,IAAI,WAAW,GAAgC,IAAI,CAAC;IACpD,IAAI,EAAE,GAA0B,IAAI,CAAC;IACrC,IAAI,WAAW,GAAgC,IAAI,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GACX,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC5B,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACtC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAErC,MAAM,KAAK,GACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,EAAE;YACvC,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,IAAI,EAAE;YAC5C,UAAU,EAAE,CAAC;QACf,MAAM,2BAA2B,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QAElF,IAAI,cAA0D,CAAC;QAC/D,IAAI,UAAkB,CAAC;QACvB,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtC,EAAE,GAAG,CAAC,CAAC;YACP,MAAM,GAAG,GAAG,MAAM,+BAA+B,CAAC;gBAChD,SAAS,EACP,CAAC,CAAC,SAAS,KAAK,GAAG;oBACjB,CAAC,CAAC,MAAM,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;wBAC5C,IAAI,CAAC,GAAG,EAAE,CAAC;wBACX,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;wBAClC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;4BAC7B,CAAC,IAAI,CAAC,CAAC;wBACT,CAAC,CAAC,CAAC;wBACH,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC1C,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBACpC,CAAC,CAAC;oBACJ,CAAC,CAAC,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACnF,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,SAAS;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,IAAI,SAAS;aAClC,CAAC,CAAC;YACH,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC;YAC/B,WAAW,GAAG,sCAAsC,CAAC;gBACnD,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,UAAU,EAAE,CAAC,CAAC,eAAe;gBAC7B,kBAAkB,EAAE;oBAClB,UAAU,EAAE,CAAC,CAAC,eAAe;oBAC7B,UAAU,EAAE,CAAC,CAAC,cAAc,IAAI,SAAS;oBACzC,YAAY,EAAE,CAAC,CAAC,UAAU;oBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,SAAS;oBAC7B,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,SAAS;iBACzC;aACF,CAAC,CAAC;YACH,cAAc;gBACZ,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU;oBAC1C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc;wBAChD,CAAC,CAAC,YAAY,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YACjD,WAAW,GAAG,MAAM,CAAC;YACrB,MAAM,EAAE,GAAG,MAAM,+BAA+B,CAAC,GAAG,EAAE,CACpD,cAAc,CAAC;gBACb,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC;aAC/F,CAAC,CACH,CAAC;YACF,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;YAC/B,WAAW,GAAG,yCAAyC,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;YAC5E,cAAc;gBACZ,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU;oBACrC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc;wBAC/C,CAAC,CAAC,YAAY,CAAC;QACnB,CAAC;QACD,MAAM,OAAO,GAA4B;YACvC,cAAc,EAAE,CAAC;YACjB,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,UAAU;YACvB,mBAAmB,EAAE,WAAW;YAChC,qBAAqB,EAAE,mBAAmB,CAAC,WAAW,CAAC;YACvD,kBAAkB,EAAE,0BAA0B,CAAC,WAAW,CAAC;SAC5D,CAAC;QAEF,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YAC5B,MAAM,QAAQ,GACZ,OAAO,CAAC,GAAG,CAAC,6CAA6C,EAAE,IAAI,EAAE;gBACjE,OAAO,CAAC,GAAG,CAAC,kDAAkD,EAAE,IAAI,EAAE,CAAC;YACzE,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,4CAA4C,EAAE,IAAI,EAAE;gBAChE,OAAO,CAAC,GAAG,CAAC,iDAAiD,EAAE,IAAI,EAAE,CAAC;YACxE,MAAM,uBAAuB,GAC3B,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC5E,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,uBAAuB,CAAC,EAAE,CAAC;gBAC5D,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,aAAa,EACnC,qPAAqP,CACtP,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,wBAAwB,GAAG,QAAQ,CAAC;YAC5C,OAAO,CAAC,uBAAuB,GAAG,uBAAuB,CAAC;QAC5D,CAAC;QAED,MAAM,KAAK,GACT,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,+BAA+B;YAC5D,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,4BAA4B;gBACxD,CAAC,CAAC,2BAA2B,CAAC;QAEhC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,CAAC,GACL,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBAC1D,QAAQ,CAAC,IAAgC;gBAC5C,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,WAAW,GACf,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;YACnF,MAAM,WAAW,GACf,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;gBAC3B,CAAC,CAAC,CAAC,CAAC,OAAO;gBACX,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;oBAC5B,CAAC,CAAC,CAAC,CAAC,MAAM;oBACV,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ;wBACjC,CAAC,CAAC,CAAC,CAAC,WAAW;wBACf,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,GAAG,WAAW,KAAK,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrG,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;QAE3F,MAAM,OAAO,GACX,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAC1D,QAAQ,CAAC,IAAgC;YAC5C,CAAC,CAAC,EAAE,CAAC;QAEP,MAAM,YAAY,GAChB,OAAO,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAExF,IAAI,KAAK,KAAK,2BAA2B,IAAI,CAAC,YAAY,KAAK,OAAO,IAAI,YAAY,KAAK,YAAY,CAAC,EAAE,CAAC;YACzG,MAAM,GAAG,GACP,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,yDAAyD,CAAC,CAAC,CAAC,iBAAiB,CAAC;YAChH,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9F,0BAA0B,CAAC;gBACzB,WAAW;gBACX,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI;gBACrB,WAAW;gBACX,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CAAC;QACL,CAAC;QAED,6FAA6F;QAC7F,MAAM,YAAY,GAChB,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,IAAI,YAAY,KAAK,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,iCAAiC,EAAE,iBAAiB,CAAC,CAAC,CAAC;YAC5G,0BAA0B,CAAC;gBACzB,WAAW;gBACX,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI;gBACrB,WAAW;gBACX,oBAAoB,EAAE,IAAI;aAC3B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,KAAK,UAAU,EAAE,CAAC;YAClC,0BAA0B,CAAC;gBACzB,WAAW;gBACX,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI;gBACrB,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,KAAK,cAAc,EAAE,CAAC;YACtC,0BAA0B,CAAC;gBACzB,WAAW;gBACX,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,IAAI;gBACrB,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;QACD,0BAA0B,CAAC;YACzB,WAAW;YACX,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,CAAC;YACX,eAAe,EAAE,IAAI;YACrB,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,0BAA0B,CAAC;gBACzB,WAAW;gBACX,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,CAAC,CAAC,IAAI;gBACvB,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,54 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Canonical evidence completeness object (schemas/evidence-completeness-v1.schema.json).
|
|
3
|
+
*/
|
|
4
|
+
import type { WorkflowEngineResult, WorkflowResult } from "./types.js";
|
|
5
|
+
export type EvidenceGapPrimary = "none" | "preview_lane" | "ingest_empty" | "ingest_unstructured" | "registry_unknown_tool" | "registry_resolution" | "database_access" | "timing_or_window" | "witness_unavailable" | "state_mismatch" | "verification_incomplete" | "event_sequence" | "control_flow_context" | "unclassified";
|
|
6
|
+
export type QuickSignalEvidence = "na" | "no_actions" | "no_structured_activity" | "no_sql_candidates" | "sql_ran_uncertain" | "sql_ran_failed" | "sql_ran_passed";
|
|
7
|
+
/** Wire + runtime shape (certificate / quick stdout). */
|
|
8
|
+
export type EvidenceCompletenessJson = {
|
|
9
|
+
schemaVersion: 1;
|
|
10
|
+
blockerCategory: EvidenceGapPrimary;
|
|
11
|
+
quickSignal: QuickSignalEvidence;
|
|
12
|
+
verifiedClaims: string[];
|
|
13
|
+
unverifiedClaims: string[];
|
|
14
|
+
missingInputs: Array<{
|
|
15
|
+
code: string;
|
|
16
|
+
hint: string;
|
|
17
|
+
}>;
|
|
18
|
+
nextActions: Array<{
|
|
19
|
+
id: string;
|
|
20
|
+
text: string;
|
|
21
|
+
}>;
|
|
22
|
+
};
|
|
23
|
+
export declare function workflowResultToEngineSlice(result: WorkflowResult): WorkflowEngineResult;
|
|
24
|
+
export declare function buildEvidenceCompletenessFromWorkflowResult(result: WorkflowResult): EvidenceCompletenessJson;
|
|
25
|
+
export type QuickReportEvidenceInput = {
|
|
26
|
+
verdict: "pass" | "fail" | "uncertain";
|
|
27
|
+
ingest: {
|
|
28
|
+
reasonCodes: string[];
|
|
29
|
+
};
|
|
30
|
+
units: Array<{
|
|
31
|
+
unitId: string;
|
|
32
|
+
verdict: "verified" | "fail" | "uncertain";
|
|
33
|
+
reasonCodes: string[];
|
|
34
|
+
sourceAction: {
|
|
35
|
+
toolName: string;
|
|
36
|
+
};
|
|
37
|
+
reconciliation: {
|
|
38
|
+
verification_verdict: string;
|
|
39
|
+
};
|
|
40
|
+
verification: Record<string, unknown>;
|
|
41
|
+
}>;
|
|
42
|
+
};
|
|
43
|
+
export declare function buildEvidenceCompletenessFromQuickReport(input: QuickReportEvidenceInput): EvidenceCompletenessJson;
|
|
44
|
+
/** LangGraph checkpoint trust ineligible: no runnable verification trace. */
|
|
45
|
+
export declare function buildEvidenceCompletenessForIneligibleLangGraph(params: {
|
|
46
|
+
headline: string;
|
|
47
|
+
details: Array<{
|
|
48
|
+
code: string;
|
|
49
|
+
message: string;
|
|
50
|
+
}>;
|
|
51
|
+
}): EvidenceCompletenessJson;
|
|
52
|
+
/** Deterministic completeness object for minimal tests and fixtures (normative blocker `none`). */
|
|
53
|
+
export declare function minimalEvidenceCompletenessFixture(overrides?: Partial<EvidenceCompletenessJson>): EvidenceCompletenessJson;
|
|
54
|
+
//# sourceMappingURL=evidenceCompleteness.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"evidenceCompleteness.d.ts","sourceRoot":"","sources":["../src/evidenceCompleteness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAyB,oBAAoB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAQ9F,MAAM,MAAM,kBAAkB,GAC1B,MAAM,GACN,cAAc,GACd,cAAc,GACd,qBAAqB,GACrB,uBAAuB,GACvB,qBAAqB,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,qBAAqB,GACrB,gBAAgB,GAChB,yBAAyB,GACzB,gBAAgB,GAChB,sBAAsB,GACtB,cAAc,CAAC;AAEnB,MAAM,MAAM,mBAAmB,GAC3B,IAAI,GACJ,YAAY,GACZ,wBAAwB,GACxB,mBAAmB,GACnB,mBAAmB,GACnB,gBAAgB,GAChB,gBAAgB,CAAC;AAErB,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IACrC,aAAa,EAAE,CAAC,CAAC;IACjB,eAAe,EAAE,kBAAkB,CAAC;IACpC,WAAW,EAAE,mBAAmB,CAAC;IACjC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,aAAa,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrD,WAAW,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAClD,CAAC;AA0FF,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,oBAAoB,CAGxF;AAED,wBAAgB,2CAA2C,CAAC,MAAM,EAAE,cAAc,GAAG,wBAAwB,CAgD5G;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACvC,MAAM,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClC,KAAK,EAAE,KAAK,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;QAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,YAAY,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAA;SAAE,CAAC;QACnC,cAAc,EAAE;YAAE,oBAAoB,EAAE,MAAM,CAAA;SAAE,CAAC;QACjD,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACvC,CAAC,CAAC;CACJ,CAAC;AAWF,wBAAgB,wCAAwC,CAAC,KAAK,EAAE,wBAAwB,GAAG,wBAAwB,CA6ElH;AAED,6EAA6E;AAC7E,wBAAgB,+CAA+C,CAAC,MAAM,EAAE;IACtE,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACnD,GAAG,wBAAwB,CAsB3B;AAED,mGAAmG;AACnG,wBAAgB,kCAAkC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,wBAAwB,CAAC,GAAG,wBAAwB,CAW1H"}
|