agentskeptic 4.1.1 → 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.
Files changed (119) hide show
  1. package/README.md +17 -20
  2. package/config/marketing.json +2 -1
  3. package/dist/actionableFailure.remediationExhaustive.test.js +1 -1
  4. package/dist/bootstrap/runBootstrapSubcommand.js +1 -1
  5. package/dist/ciLock.js +1 -1
  6. package/dist/ciLock.js.map +1 -1
  7. package/dist/cli.js +89 -5
  8. package/dist/cli.js.map +1 -1
  9. package/dist/cliArgv.d.ts +8 -0
  10. package/dist/cliArgv.d.ts.map +1 -1
  11. package/dist/cliArgv.js +42 -1
  12. package/dist/cliArgv.js.map +1 -1
  13. package/dist/commercial/trustDecisionRecord.d.ts.map +1 -1
  14. package/dist/commercial/trustDecisionRecord.js +7 -3
  15. package/dist/commercial/trustDecisionRecord.js.map +1 -1
  16. package/dist/commercial/trustDecisionRecord.schema.test.js +4 -2
  17. package/dist/commercial/trustDecisionRecord.schema.test.js.map +1 -1
  18. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -1
  19. package/dist/commercial/verifyOutcomeBeaconBody.js +2 -1
  20. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -1
  21. package/dist/compare.acceptance.test.js +1 -1
  22. package/dist/decisionBlocker.d.ts +1 -11
  23. package/dist/decisionBlocker.d.ts.map +1 -1
  24. package/dist/decisionBlocker.js +1 -41
  25. package/dist/decisionBlocker.js.map +1 -1
  26. package/dist/decisionEvidenceBundle/validateDecisionEvidenceBundle.js +1 -1
  27. package/dist/decisionEvidenceBundle/writeDecisionEvidenceBundle.js +2 -2
  28. package/dist/decisionEvidenceBundle.test.js +13 -3
  29. package/dist/decisionEvidenceBundle.test.js.map +1 -1
  30. package/dist/decisionGate.assertSafe.test.js +1 -1
  31. package/dist/decisionGate.assertSafe.test.js.map +1 -1
  32. package/dist/decisionGate.js +1 -1
  33. package/dist/enforceStateful.js +2 -2
  34. package/dist/enforceStateful.js.map +1 -1
  35. package/dist/evidenceCompleteness.d.ts +54 -0
  36. package/dist/evidenceCompleteness.d.ts.map +1 -0
  37. package/dist/evidenceCompleteness.js +285 -0
  38. package/dist/evidenceCompleteness.js.map +1 -0
  39. package/dist/execution-identity.v1.json +1 -1
  40. package/dist/formatEvidenceCompletenessHuman.d.ts +12 -0
  41. package/dist/formatEvidenceCompletenessHuman.d.ts.map +1 -0
  42. package/dist/formatEvidenceCompletenessHuman.js +47 -0
  43. package/dist/formatEvidenceCompletenessHuman.js.map +1 -0
  44. package/dist/governanceEvidence.d.ts +9 -3
  45. package/dist/governanceEvidence.d.ts.map +1 -1
  46. package/dist/governanceEvidence.js +10 -5
  47. package/dist/governanceEvidence.js.map +1 -1
  48. package/dist/governanceEvidence.test.js +12 -4
  49. package/dist/governanceEvidence.test.js.map +1 -1
  50. package/dist/index.d.ts +4 -4
  51. package/dist/index.d.ts.map +1 -1
  52. package/dist/index.js +2 -2
  53. package/dist/index.js.map +1 -1
  54. package/dist/langGraphCheckpointTrustGate.js +1 -1
  55. package/dist/langGraphCheckpointTrustIneligibleCertificate.js +1 -1
  56. package/dist/loop/loopOutput.d.ts +0 -4
  57. package/dist/loop/loopOutput.d.ts.map +1 -1
  58. package/dist/loop/loopOutput.js +3 -6
  59. package/dist/loop/loopOutput.js.map +1 -1
  60. package/dist/loop/runLoopSubcommand.d.ts.map +1 -1
  61. package/dist/loop/runLoopSubcommand.js +0 -2
  62. package/dist/loop/runLoopSubcommand.js.map +1 -1
  63. package/dist/outcomeCertificate.d.ts +18 -9
  64. package/dist/outcomeCertificate.d.ts.map +1 -1
  65. package/dist/outcomeCertificate.js +54 -8
  66. package/dist/outcomeCertificate.js.map +1 -1
  67. package/dist/outcomeCertificate.test.js +1 -1
  68. package/dist/publicDistribution.generated.d.ts +1 -1
  69. package/dist/publicDistribution.generated.js +1 -1
  70. package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +8 -3
  71. package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -1
  72. package/dist/quickVerify/runQuickVerify.d.ts +3 -1
  73. package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
  74. package/dist/quickVerify/runQuickVerify.js +24 -3
  75. package/dist/quickVerify/runQuickVerify.js.map +1 -1
  76. package/dist/redactEvidenceString.d.ts +5 -0
  77. package/dist/redactEvidenceString.d.ts.map +1 -0
  78. package/dist/redactEvidenceString.js +17 -0
  79. package/dist/redactEvidenceString.js.map +1 -0
  80. package/dist/remediationConsumptionGuard.test.js +1 -0
  81. package/dist/remediationConsumptionGuard.test.js.map +1 -1
  82. package/dist/remediationWireSurfaceGuard.test.js +1 -0
  83. package/dist/remediationWireSurfaceGuard.test.js.map +1 -1
  84. package/dist/schemaLoad.d.ts +1 -1
  85. package/dist/schemaLoad.d.ts.map +1 -1
  86. package/dist/schemaLoad.js +15 -1
  87. package/dist/schemaLoad.js.map +1 -1
  88. package/dist/sdk/AgentSkeptic.d.ts +17 -0
  89. package/dist/sdk/AgentSkeptic.d.ts.map +1 -1
  90. package/dist/sdk/AgentSkeptic.js +30 -0
  91. package/dist/sdk/AgentSkeptic.js.map +1 -1
  92. package/dist/sdk/_generated/openapi-types.d.ts +25 -15
  93. package/dist/sdk/_generated/openapi-types.d.ts.map +1 -1
  94. package/dist/standardVerifyWorkflowCli.d.ts +2 -0
  95. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  96. package/dist/standardVerifyWorkflowCli.js +6 -3
  97. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  98. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  99. package/dist/verify/batchVerifyTelemetrySubcommand.js +18 -3
  100. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  101. package/package.json +4 -3
  102. package/schemas/decision-evidence-exit-v1.schema.json +1 -1
  103. package/schemas/evidence-completeness-v1.schema.json +87 -0
  104. package/schemas/material-truth-v2.schema.json +83 -0
  105. package/schemas/openapi-commercial-v1.in.yaml +46 -21
  106. package/schemas/openapi-commercial-v1.yaml +47 -22
  107. package/schemas/outcome-certificate-v2.schema.json +93 -0
  108. package/schemas/public-verification-report-v3.schema.json +15 -0
  109. package/schemas/quick-verify-report.schema.json +6 -2
  110. package/schemas/regression-artifact-v1.schema.json +1 -1
  111. package/schemas/trust-decision-record-v1.schema.json +3 -3
  112. package/dist/decisionBlocker.contract.test.d.ts +0 -2
  113. package/dist/decisionBlocker.contract.test.d.ts.map +0 -1
  114. package/dist/decisionBlocker.contract.test.js +0 -51
  115. package/dist/decisionBlocker.contract.test.js.map +0 -1
  116. package/dist/loop/failureHints.d.ts +0 -6
  117. package/dist/loop/failureHints.d.ts.map +0 -1
  118. package/dist/loop/failureHints.js +0 -36
  119. package/dist/loop/failureHints.js.map +0 -1
@@ -1,4 +1,5 @@
1
- import { firstProblemStepForCertificate, formatDecisionBlockerForHumans } from "../decisionBlocker.js";
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 { lines } = formatDecisionBlockerForHumans(certificate);
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: 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,8BAA8B,EAAE,MAAM,uBAAuB,CAAC;AACvG,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,EAAE,KAAK,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAC9D,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,EAAE,KAAK;KAC3B,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
+ {"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,9 @@
1
1
  import { describe, expect, it } from "vitest";
2
2
  import { loadSchemaValidator } from "../schemaLoad.js";
3
+ import { minimalEvidenceCompletenessFixture } from "../evidenceCompleteness.js";
3
4
  import { buildTrustDecisionRecordV1 } from "./trustDecisionRecord.js";
4
5
  const minimalCertNoSafe = {
5
- schemaVersion: 1,
6
+ schemaVersion: 2,
6
7
  workflowId: "wf_x",
7
8
  runKind: "contract_sql",
8
9
  stateRelation: "does_not_match",
@@ -10,6 +11,7 @@ const minimalCertNoSafe = {
10
11
  relianceRationale: "x",
11
12
  intentSummary: "x",
12
13
  explanation: { headline: "h", details: [{ code: "C", message: "m" }] },
14
+ evidenceCompleteness: minimalEvidenceCompletenessFixture({ blockerCategory: "state_mismatch" }),
13
15
  steps: [
14
16
  {
15
17
  seq: 0,
@@ -19,7 +21,7 @@ const minimalCertNoSafe = {
19
21
  observedOutcome: "o",
20
22
  },
21
23
  ],
22
- humanReport: "r",
24
+ humanReport: "r\n\n=== evidence_completeness ===\nx\n=== end evidence_completeness ===",
23
25
  };
24
26
  describe("trust decision record ingest shape", () => {
25
27
  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,GAAG;CACjB,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
+ {"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,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,oBAAoB,EAAE,kCAAkC,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,CAAC;IAC/F,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,0EAA0E;CACxF,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,CAgBlH"}
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: 2,
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-v1");
55
+ const vCert = loadSchemaValidator("outcome-certificate-v2");
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
- import { type TrustDecision } from "./trustDecision.js";
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;AACpE,OAAO,EAAgC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAqBtF;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,oBAAoB,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CASzH;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,oBAAoB,GAAG;IACjF,aAAa,EAAE,aAAa,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAoCA"}
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"}
@@ -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,EAAsB,MAAM,oBAAoB,CAAC;AAEtF,SAAS,eAAe,CAAC,CAAS,EAAE,GAAW;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,OAAO,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAe,EAAE,GAAW;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED,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;;GAEG;AACH,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;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,WAAiC;IAI9E,MAAM,aAAa,GAAG,4BAA4B,CAAC,WAAW,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,iBAAiB,CAC7B,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAClD,CAAC,CACF,CAAC;IACF,MAAM,OAAO,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;IAE5D,MAAM,KAAK,GACT,aAAa,KAAK,MAAM;QACtB,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,OAAO,KAAK,IAAI;YAChB,CAAC,CAAC,2BAA2B,OAAO,CAAC,GAAG,SAAS,OAAO,CAAC,MAAM,IAAI,SAAS,WAAW,eAAe,CAAC,OAAO,CAAC,EAAE;YACjH,CAAC,CAAC,yBAAyB,CAAC;IAElC,MAAM,KAAK,GACT,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,aAAa,eAAe,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE;QAC9D,CAAC,CAAC,0BAA0B,CAAC;IACjC,MAAM,KAAK,GACT,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,aAAa,eAAe,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE;QAC9D,CAAC,CAAC,0BAA0B,CAAC;IAEjC,MAAM,KAAK,GAAG;QACZ,UAAU,aAAa,EAAE;QACzB,aAAa,WAAW,CAAC,UAAU,EAAE;QACrC,KAAK;QACL,iBAAiB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,KAAK;QACL,KAAK;KACN,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC"}
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-v1");
47
+ const v = loadSchemaValidator("outcome-certificate-v2");
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-v1");
32
+ const validateCert = loadSchemaValidator("outcome-certificate-v2");
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: "outcome_certificate_v1",
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,30 @@
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";
4
6
  import { writeDecisionEvidenceBundle } from "./decisionEvidenceBundle/writeDecisionEvidenceBundle.js";
5
7
  import { formatValidationStdout, validateDecisionEvidenceBundle, } from "./decisionEvidenceBundle/validateDecisionEvidenceBundle.js";
6
8
  function minimalCertificate(stateRelation) {
9
+ const ec = minimalEvidenceCompletenessFixture(stateRelation === "matches_expectations" ?
10
+ { blockerCategory: "none" }
11
+ : { blockerCategory: "state_mismatch" });
12
+ const rl = stateRelation === "matches_expectations" ? "permitted" : "prohibited";
13
+ const hr = `${"human"}\n\n${formatEvidenceCompletenessHuman(ec, { runKind: "contract_sql", highStakesReliance: rl })}`;
14
+ if (!hr.includes(EVIDENCE_COMPLETENESS_BEGIN))
15
+ throw new Error("fixture humanReport missing anchors");
7
16
  return {
8
- schemaVersion: 1,
17
+ schemaVersion: 2,
9
18
  workflowId: "wf_test",
10
19
  runKind: "contract_sql",
11
20
  stateRelation,
12
- highStakesReliance: stateRelation === "matches_expectations" ? "permitted" : "prohibited",
21
+ highStakesReliance: rl,
13
22
  relianceRationale: "r",
14
23
  intentSummary: "s",
15
24
  explanation: { headline: "h", details: [] },
25
+ evidenceCompleteness: ec,
16
26
  steps: [],
17
- humanReport: "human",
27
+ humanReport: hr,
18
28
  };
19
29
  }
20
30
  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,kBAAkB,CAAC,aAAoD;IAC9E,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa;QACb,kBAAkB,EAAE,aAAa,KAAK,sBAAsB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;QACzF,iBAAiB,EAAE,GAAG;QACtB,aAAa,EAAE,GAAG;QAClB,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;QAC3C,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,OAAO;KACrB,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"}
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,2BAA2B,EAAE,MAAM,yDAAyD,CAAC;AACtG,OAAO,EACL,sBAAsB,EACtB,8BAA8B,GAC/B,MAAM,4DAA4D,CAAC;AAEpE,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,GAAG,OAAO,OAAO,+BAA+B,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IACvH,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACtG,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;KAChB,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.split("\n").length === 6;
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,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,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"}
@@ -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-v1");
80
+ const validateCert = loadSchemaValidator("outcome-certificate-v2");
81
81
  if (!validateCert(certificate)) {
82
82
  throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
83
83
  }
@@ -111,10 +111,10 @@ export async function runStatefulEnforce(args) {
111
111
  : "incomplete";
112
112
  }
113
113
  const payload = {
114
- schema_version: 2,
114
+ schema_version: 3,
115
115
  run_id: runId,
116
116
  workflow_id: workflowId,
117
- outcome_certificate_v1: certificate,
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,sBAAsB,EAAE,WAAW;YACnC,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"}
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;AAO9F,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;AAmHF,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"}