agentskeptic 1.0.0 → 1.0.4

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 (136) hide show
  1. package/README.md +24 -27
  2. package/dist/agentRunBundle.d.ts +2 -0
  3. package/dist/agentRunBundle.d.ts.map +1 -1
  4. package/dist/agentRunBundle.js +4 -0
  5. package/dist/agentRunBundle.js.map +1 -1
  6. package/dist/cli/lockOrchestration.d.ts.map +1 -1
  7. package/dist/cli/lockOrchestration.js +12 -1
  8. package/dist/cli/lockOrchestration.js.map +1 -1
  9. package/dist/cli/lockOrchestration.test.js +1 -0
  10. package/dist/cli/lockOrchestration.test.js.map +1 -1
  11. package/dist/cli.js +1 -0
  12. package/dist/cli.js.map +1 -1
  13. package/dist/cliArgv.d.ts +2 -0
  14. package/dist/cliArgv.d.ts.map +1 -1
  15. package/dist/cliArgv.js +2 -0
  16. package/dist/cliArgv.js.map +1 -1
  17. package/dist/cliOperationalCodes.d.ts +1 -0
  18. package/dist/cliOperationalCodes.d.ts.map +1 -1
  19. package/dist/cliOperationalCodes.js +1 -0
  20. package/dist/cliOperationalCodes.js.map +1 -1
  21. package/dist/commercial/postVerifyOutcomeBeacon.d.ts +3 -3
  22. package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -1
  23. package/dist/commercial/postVerifyOutcomeBeacon.js +9 -6
  24. package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -1
  25. package/dist/commercial/verifyOutcomeBeaconBody.d.ts +12 -0
  26. package/dist/commercial/verifyOutcomeBeaconBody.d.ts.map +1 -0
  27. package/dist/commercial/verifyOutcomeBeaconBody.js +26 -0
  28. package/dist/commercial/verifyOutcomeBeaconBody.js.map +1 -0
  29. package/dist/decisionBlocker.contract.test.d.ts +2 -0
  30. package/dist/decisionBlocker.contract.test.d.ts.map +1 -0
  31. package/dist/decisionBlocker.contract.test.js +51 -0
  32. package/dist/decisionBlocker.contract.test.js.map +1 -0
  33. package/dist/decisionBlocker.d.ts +10 -0
  34. package/dist/decisionBlocker.d.ts.map +1 -0
  35. package/dist/decisionBlocker.js +66 -0
  36. package/dist/decisionBlocker.js.map +1 -0
  37. package/dist/decisionGate.assertSafe.test.d.ts +2 -0
  38. package/dist/decisionGate.assertSafe.test.d.ts.map +1 -0
  39. package/dist/decisionGate.assertSafe.test.js +52 -0
  40. package/dist/decisionGate.assertSafe.test.js.map +1 -0
  41. package/dist/decisionGate.d.ts +23 -0
  42. package/dist/decisionGate.d.ts.map +1 -0
  43. package/dist/decisionGate.js +88 -0
  44. package/dist/decisionGate.js.map +1 -0
  45. package/dist/decisionGate.persistBundle.test.d.ts +2 -0
  46. package/dist/decisionGate.persistBundle.test.d.ts.map +1 -0
  47. package/dist/{withWorkflowVerification.persistBundle.test.js → decisionGate.persistBundle.test.js} +31 -19
  48. package/dist/decisionGate.persistBundle.test.js.map +1 -0
  49. package/dist/decisionUnsafeError.d.ts +8 -0
  50. package/dist/decisionUnsafeError.d.ts.map +1 -0
  51. package/dist/decisionUnsafeError.js +12 -0
  52. package/dist/decisionUnsafeError.js.map +1 -0
  53. package/dist/discovery-payload-v1.json +154 -42
  54. package/dist/executionPathFindings.d.ts +1 -1
  55. package/dist/executionPathFindings.d.ts.map +1 -1
  56. package/dist/executionPathFindings.js +2 -2
  57. package/dist/executionPathFindings.js.map +1 -1
  58. package/dist/executionTrace.js +2 -2
  59. package/dist/executionTrace.js.map +1 -1
  60. package/dist/failureCatalog.d.ts +1 -0
  61. package/dist/failureCatalog.d.ts.map +1 -1
  62. package/dist/failureCatalog.js +1 -0
  63. package/dist/failureCatalog.js.map +1 -1
  64. package/dist/failureOriginCatalog.d.ts.map +1 -1
  65. package/dist/failureOriginCatalog.js +1 -0
  66. package/dist/failureOriginCatalog.js.map +1 -1
  67. package/dist/index.d.ts +15 -5
  68. package/dist/index.d.ts.map +1 -1
  69. package/dist/index.js +10 -4
  70. package/dist/index.js.map +1 -1
  71. package/dist/langGraphCheckpointTrustGate.d.ts +38 -0
  72. package/dist/langGraphCheckpointTrustGate.d.ts.map +1 -0
  73. package/dist/langGraphCheckpointTrustGate.js +127 -0
  74. package/dist/langGraphCheckpointTrustGate.js.map +1 -0
  75. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts +8 -0
  76. package/dist/langGraphCheckpointTrustIneligibleCertificate.d.ts.map +1 -0
  77. package/dist/langGraphCheckpointTrustIneligibleCertificate.js +17 -0
  78. package/dist/langGraphCheckpointTrustIneligibleCertificate.js.map +1 -0
  79. package/dist/langGraphCheckpointTrustUnsafeError.d.ts +8 -0
  80. package/dist/langGraphCheckpointTrustUnsafeError.d.ts.map +1 -0
  81. package/dist/langGraphCheckpointTrustUnsafeError.js +12 -0
  82. package/dist/langGraphCheckpointTrustUnsafeError.js.map +1 -0
  83. package/dist/loadEvents.d.ts +5 -0
  84. package/dist/loadEvents.d.ts.map +1 -1
  85. package/dist/loadEvents.js +32 -0
  86. package/dist/loadEvents.js.map +1 -1
  87. package/dist/operationalDisposition.d.ts +8 -0
  88. package/dist/operationalDisposition.d.ts.map +1 -1
  89. package/dist/operationalDisposition.js +8 -0
  90. package/dist/operationalDisposition.js.map +1 -1
  91. package/dist/outcomeCertificate.d.ts +14 -2
  92. package/dist/outcomeCertificate.d.ts.map +1 -1
  93. package/dist/outcomeCertificate.js +119 -0
  94. package/dist/outcomeCertificate.js.map +1 -1
  95. package/dist/outcomeCertificate.test.js +2 -0
  96. package/dist/outcomeCertificate.test.js.map +1 -1
  97. package/dist/pipeline.d.ts +18 -17
  98. package/dist/pipeline.d.ts.map +1 -1
  99. package/dist/pipeline.js +43 -149
  100. package/dist/pipeline.js.map +1 -1
  101. package/dist/publicDistribution.generated.d.ts +1 -1
  102. package/dist/publicDistribution.generated.js +1 -1
  103. package/dist/standardVerifyWorkflowCli.d.ts +6 -1
  104. package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
  105. package/dist/standardVerifyWorkflowCli.js +21 -3
  106. package/dist/standardVerifyWorkflowCli.js.map +1 -1
  107. package/dist/trustDecision.d.ts +8 -0
  108. package/dist/trustDecision.d.ts.map +1 -0
  109. package/dist/trustDecision.js +13 -0
  110. package/dist/trustDecision.js.map +1 -0
  111. package/dist/types.d.ts +24 -4
  112. package/dist/types.d.ts.map +1 -1
  113. package/dist/types.js.map +1 -1
  114. package/dist/verificationRunContext.d.ts.map +1 -1
  115. package/dist/verificationRunContext.js +3 -0
  116. package/dist/verificationRunContext.js.map +1 -1
  117. package/dist/verify/batchVerifyTelemetrySubcommand.d.ts.map +1 -1
  118. package/dist/verify/batchVerifyTelemetrySubcommand.js +107 -19
  119. package/dist/verify/batchVerifyTelemetrySubcommand.js.map +1 -1
  120. package/dist/verifyAgentskeptic.d.ts +3 -4
  121. package/dist/verifyAgentskeptic.d.ts.map +1 -1
  122. package/dist/verifyAgentskeptic.js +15 -27
  123. package/dist/verifyAgentskeptic.js.map +1 -1
  124. package/dist/verifyRunStateFromBufferedRunEvents.d.ts +18 -0
  125. package/dist/verifyRunStateFromBufferedRunEvents.d.ts.map +1 -0
  126. package/dist/verifyRunStateFromBufferedRunEvents.js +65 -0
  127. package/dist/verifyRunStateFromBufferedRunEvents.js.map +1 -0
  128. package/package.json +6 -5
  129. package/schemas/event.schema.json +35 -0
  130. package/schemas/outcome-certificate-v1.schema.json +25 -2
  131. package/schemas/workflow-engine-result.schema.json +2 -1
  132. package/scripts/discovery-acquisition.lib.cjs +54 -80
  133. package/scripts/discovery-payload.lib.cjs +37 -5
  134. package/dist/withWorkflowVerification.persistBundle.test.d.ts +0 -2
  135. package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +0 -1
  136. package/dist/withWorkflowVerification.persistBundle.test.js.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"cliOperationalCodes.js","sourceRoot":"","sources":["../src/cliOperationalCodes.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS,EAAE,WAAW;IACtB,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,0BAA0B,EAAE,4BAA4B;IACxD,kBAAkB,EAAE,oBAAoB;IACxC,2BAA2B,EAAE,6BAA6B;IAC1D,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,cAAc,EAAE,gBAAgB;IAChC,aAAa,EAAE,eAAe;IAC9B,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,2BAA2B;IACtD,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qCAAqC,EAAE,uCAAuC;IAC9E,2BAA2B,EAAE,6BAA6B;IAC1D,2CAA2C,EAAE,6CAA6C;IAC1F,uBAAuB,EAAE,yBAAyB;IAClD,qBAAqB,EAAE,uBAAuB;IAC9C,4BAA4B,EAAE,8BAA8B;IAC5D,iCAAiC,EAAE,mCAAmC;IACtE,8BAA8B,EAAE,gCAAgC;IAChE,oCAAoC,EAAE,sCAAsC;IAC5E,wCAAwC,EAAE,0CAA0C;IACpF,qBAAqB,EAAE,uBAAuB;IAC9C,2BAA2B,EAAE,6BAA6B;IAC1D,0BAA0B,EAAE,4BAA4B;IACxD,uBAAuB,EAAE,yBAAyB;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,oCAAoC,EAAE,sCAAsC;IAC5E,+BAA+B,EAAE,iCAAiC;IAClE,sBAAsB,EAAE,wBAAwB;IAChD,aAAa,EAAE,eAAe;IAC9B,sBAAsB,EAAE,wBAAwB;IAChD,iCAAiC,EAAE,mCAAmC;IACtE,eAAe,EAAE,iBAAiB;IAClC,8BAA8B,EAAE,gCAAgC;IAChE,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,6BAA6B,EAAE,+BAA+B;IAC9D,qBAAqB,EAAE,uBAAuB;IAC9C,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qBAAqB,EAAE,uBAAuB;IAC9C,mBAAmB,EAAE,qBAAqB;IAC1C,cAAc,EAAE,gBAAgB;IAChC,yBAAyB,EAAE,2BAA2B;IACtD,8BAA8B,EAAE,gCAAgC;IAChE,kCAAkC,EAAE,oCAAoC;IACxE,iCAAiC,EAAE,mCAAmC;IACtE,mBAAmB,EAAE,qBAAqB;IAC1C,eAAe,EAAE,iBAAiB;IAClC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,qCAAqC,EAAE,uCAAuC;IAC9E,wBAAwB,EAAE,0BAA0B;IACpD,6BAA6B,EAAE,+BAA+B;IAC9D,cAAc,EAAE,gBAAgB;CACxB,CAAC"}
1
+ {"version":3,"file":"cliOperationalCodes.js","sourceRoot":"","sources":["../src/cliOperationalCodes.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS,EAAE,WAAW;IACtB,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,0BAA0B,EAAE,4BAA4B;IACxD,kBAAkB,EAAE,oBAAoB;IACxC,2BAA2B,EAAE,6BAA6B;IAC1D,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,cAAc,EAAE,gBAAgB;IAChC,aAAa,EAAE,eAAe;IAC9B,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,yBAAyB,EAAE,2BAA2B;IACtD,yBAAyB,EAAE,2BAA2B;IACtD,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qCAAqC,EAAE,uCAAuC;IAC9E,2BAA2B,EAAE,6BAA6B;IAC1D,2CAA2C,EAAE,6CAA6C;IAC1F,uBAAuB,EAAE,yBAAyB;IAClD,qBAAqB,EAAE,uBAAuB;IAC9C,4BAA4B,EAAE,8BAA8B;IAC5D,iCAAiC,EAAE,mCAAmC;IACtE,8BAA8B,EAAE,gCAAgC;IAChE,oCAAoC,EAAE,sCAAsC;IAC5E,wCAAwC,EAAE,0CAA0C;IACpF,qBAAqB,EAAE,uBAAuB;IAC9C,2BAA2B,EAAE,6BAA6B;IAC1D,0BAA0B,EAAE,4BAA4B;IACxD,uBAAuB,EAAE,yBAAyB;IAClD,yBAAyB,EAAE,2BAA2B;IACtD,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,oCAAoC,EAAE,sCAAsC;IAC5E,+BAA+B,EAAE,iCAAiC;IAClE,sBAAsB,EAAE,wBAAwB;IAChD,aAAa,EAAE,eAAe;IAC9B,sBAAsB,EAAE,wBAAwB;IAChD,iCAAiC,EAAE,mCAAmC;IACtE,eAAe,EAAE,iBAAiB;IAClC,8BAA8B,EAAE,gCAAgC;IAChE,8BAA8B,EAAE,gCAAgC;IAChE,iCAAiC,EAAE,mCAAmC;IACtE,6BAA6B,EAAE,+BAA+B;IAC9D,qBAAqB,EAAE,uBAAuB;IAC9C,+BAA+B,EAAE,iCAAiC;IAClE,4BAA4B,EAAE,8BAA8B;IAC5D,4BAA4B,EAAE,8BAA8B;IAC5D,+BAA+B,EAAE,iCAAiC;IAClE,qBAAqB,EAAE,uBAAuB;IAC9C,mBAAmB,EAAE,qBAAqB;IAC1C,cAAc,EAAE,gBAAgB;IAChC,yBAAyB,EAAE,2BAA2B;IACtD,8BAA8B,EAAE,gCAAgC;IAChE,kCAAkC,EAAE,oCAAoC;IACxE,iCAAiC,EAAE,mCAAmC;IACtE,mBAAmB,EAAE,qBAAqB;IAC1C,eAAe,EAAE,iBAAiB;IAClC,uBAAuB,EAAE,yBAAyB;IAClD,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,yBAAyB;IAClD,qCAAqC,EAAE,uCAAuC;IAC9E,wBAAwB,EAAE,0BAA0B;IACpD,6BAA6B,EAAE,+BAA+B;IAC9D,cAAc,EAAE,gBAAgB;IAChC,gDAAgD,EAAE,kDAAkD;CAC5F,CAAC"}
@@ -1,11 +1,11 @@
1
- export type VerifyOutcomeSubcommand = "batch_verify" | "quick_verify" | "verify_integrator_owned";
2
- export type VerifyOutcomeTerminalStatus = "complete" | "inconsistent" | "incomplete";
3
- export type VerifyOutcomeWorkloadClass = "bundled_examples" | "non_bundled";
1
+ import type { OutcomeCertificateV1 } from "../outcomeCertificate.js";
2
+ import { type VerifyOutcomeSubcommand, type VerifyOutcomeTerminalStatus, type VerifyOutcomeWorkloadClass } from "./verifyOutcomeBeaconBody.js";
4
3
  /**
5
4
  * Best-effort POST to license origin. Never throws; never logs secrets.
6
5
  */
7
6
  export declare function postVerifyOutcomeBeacon(input: {
8
7
  runId: string | null;
8
+ certificate: OutcomeCertificateV1;
9
9
  terminal_status: VerifyOutcomeTerminalStatus;
10
10
  workload_class: VerifyOutcomeWorkloadClass;
11
11
  subcommand: VerifyOutcomeSubcommand;
@@ -1 +1 @@
1
- {"version":3,"file":"postVerifyOutcomeBeacon.d.ts","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,uBAAuB,GAAG,cAAc,GAAG,cAAc,GAAG,yBAAyB,CAAC;AAClG,MAAM,MAAM,2BAA2B,GAAG,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;AACrF,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAE5E;;GAEG;AACH,wBAAsB,uBAAuB,CAAC,KAAK,EAAE;IACnD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;IAC3C,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG,OAAO,CAAC,IAAI,CAAC,CA8BhB"}
1
+ {"version":3,"file":"postVerifyOutcomeBeacon.d.ts","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EAEL,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,0BAA0B,EAChC,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,wBAAsB,uBAAuB,CAAC,KAAK,EAAE;IACnD,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;IAC3C,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG,OAAO,CAAC,IAAI,CAAC,CAgChB"}
@@ -1,5 +1,6 @@
1
1
  import { LICENSE_API_BASE_URL, LICENSE_PREFLIGHT_ENABLED, } from "../generated/commercialBuildFlags.js";
2
2
  import { fetchWithTimeout } from "../telemetry/fetchWithTimeout.js";
3
+ import { buildVerifyOutcomeBeaconBodyV2, } from "./verifyOutcomeBeaconBody.js";
3
4
  /**
4
5
  * Best-effort POST to license origin. Never throws; never logs secrets.
5
6
  */
@@ -11,6 +12,13 @@ export async function postVerifyOutcomeBeacon(input) {
11
12
  if (!apiKey)
12
13
  return;
13
14
  const url = `${LICENSE_API_BASE_URL.replace(/\/$/, "")}/api/v1/funnel/verify-outcome`;
15
+ const body = buildVerifyOutcomeBeaconBodyV2({
16
+ run_id: input.runId,
17
+ certificate: input.certificate,
18
+ terminal_status: input.terminal_status,
19
+ workload_class: input.workload_class,
20
+ subcommand: input.subcommand,
21
+ });
14
22
  try {
15
23
  await fetchWithTimeout(url, {
16
24
  method: "POST",
@@ -18,12 +26,7 @@ export async function postVerifyOutcomeBeacon(input) {
18
26
  Authorization: `Bearer ${apiKey}`,
19
27
  "Content-Type": "application/json",
20
28
  },
21
- body: JSON.stringify({
22
- run_id: input.runId,
23
- terminal_status: input.terminal_status,
24
- workload_class: input.workload_class,
25
- subcommand: input.subcommand,
26
- }),
29
+ body: JSON.stringify(body),
27
30
  }, 400);
28
31
  }
29
32
  catch {
@@ -1 +1 @@
1
- {"version":3,"file":"postVerifyOutcomeBeacon.js","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAMpE;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,KAK7C;IACC,IAAI,CAAC,yBAAyB,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO;IAE/D,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE;QACxC,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO;IAEpB,MAAM,GAAG,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC;IACtF,IAAI,CAAC;QACH,MAAM,gBAAgB,CACpB,GAAG,EACH;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,UAAU,MAAM,EAAE;gBACjC,cAAc,EAAE,kBAAkB;aACnC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,MAAM,EAAE,KAAK,CAAC,KAAK;gBACnB,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,cAAc,EAAE,KAAK,CAAC,cAAc;gBACpC,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC;SACH,EACD,GAAG,CACJ,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,YAAY;IACd,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"postVerifyOutcomeBeacon.js","sourceRoot":"","sources":["../../src/commercial/postVerifyOutcomeBeacon.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE,OAAO,EACL,8BAA8B,GAI/B,MAAM,8BAA8B,CAAC;AAEtC;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,KAM7C;IACC,IAAI,CAAC,yBAAyB,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO;IAE/D,MAAM,MAAM,GACV,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE;QACxC,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO;IAEpB,MAAM,GAAG,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC;IACtF,MAAM,IAAI,GAAG,8BAA8B,CAAC;QAC1C,MAAM,EAAE,KAAK,CAAC,KAAK;QACnB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IACH,IAAI,CAAC;QACH,MAAM,gBAAgB,CACpB,GAAG,EACH;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,aAAa,EAAE,UAAU,MAAM,EAAE;gBACjC,cAAc,EAAE,kBAAkB;aACnC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;SAC3B,EACD,GAAG,CACJ,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,YAAY;IACd,CAAC;AACH,CAAC"}
@@ -0,0 +1,12 @@
1
+ import type { OutcomeCertificateV1 } from "../outcomeCertificate.js";
2
+ export type VerifyOutcomeTerminalStatus = "complete" | "inconsistent" | "incomplete";
3
+ export type VerifyOutcomeWorkloadClass = "bundled_examples" | "non_bundled";
4
+ export type VerifyOutcomeSubcommand = "batch_verify" | "quick_verify" | "verify_integrator_owned";
5
+ export declare function buildVerifyOutcomeBeaconBodyV2(input: {
6
+ run_id: string;
7
+ certificate: OutcomeCertificateV1;
8
+ terminal_status: VerifyOutcomeTerminalStatus;
9
+ workload_class: VerifyOutcomeWorkloadClass;
10
+ subcommand: VerifyOutcomeSubcommand;
11
+ }): Record<string, unknown>;
12
+ //# sourceMappingURL=verifyOutcomeBeaconBody.d.ts.map
@@ -0,0 +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,CAAC;AAalG,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,2BAA2B,CAAC;IAC7C,cAAc,EAAE,0BAA0B,CAAC;IAC3C,UAAU,EAAE,uBAAuB,CAAC;CACrC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAY1B"}
@@ -0,0 +1,26 @@
1
+ import { trustDecisionFromCertificate } from "../trustDecision.js";
2
+ function sortedReasonCodesFromCertificate(certificate, max) {
3
+ const raw = certificate.explanation.details.map((d) => d.code);
4
+ const out = [];
5
+ for (const c of [...new Set(raw)].sort((a, b) => a.localeCompare(b))) {
6
+ const t = c.length > 64 ? c.slice(0, 64) : c;
7
+ out.push(t);
8
+ if (out.length >= max)
9
+ break;
10
+ }
11
+ return out;
12
+ }
13
+ export function buildVerifyOutcomeBeaconBodyV2(input) {
14
+ return {
15
+ schema_version: 2,
16
+ run_id: input.run_id,
17
+ workflow_id: input.certificate.workflowId.slice(0, 512),
18
+ outcome_certificate_run_kind: input.certificate.runKind,
19
+ trust_decision: trustDecisionFromCertificate(input.certificate),
20
+ reason_codes: sortedReasonCodesFromCertificate(input.certificate, 8),
21
+ terminal_status: input.terminal_status,
22
+ workload_class: input.workload_class,
23
+ subcommand: input.subcommand,
24
+ };
25
+ }
26
+ //# sourceMappingURL=verifyOutcomeBeaconBody.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verifyOutcomeBeaconBody.js","sourceRoot":"","sources":["../../src/commercial/verifyOutcomeBeaconBody.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAMnE,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,KAM9C;IACC,OAAO;QACL,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;AACJ,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=decisionBlocker.contract.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionBlocker.contract.test.d.ts","sourceRoot":"","sources":["../src/decisionBlocker.contract.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,51 @@
1
+ import { readFileSync, mkdtempSync, rmSync } from "node:fs";
2
+ import { join, dirname } from "node:path";
3
+ import { tmpdir } from "node:os";
4
+ import { fileURLToPath } from "node:url";
5
+ import { DatabaseSync } from "node:sqlite";
6
+ import { afterAll, beforeAll, describe, expect, it } from "vitest";
7
+ import { buildOutcomeCertificateFromWorkflowResult } from "./outcomeCertificate.js";
8
+ import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
9
+ import { verifyWorkflow } from "./pipeline.js";
10
+ const root = join(dirname(fileURLToPath(import.meta.url)), "..");
11
+ describe("formatDecisionBlockerForHumans contract", () => {
12
+ /** Seeded SQLite under tmp — `examples/demo.db` is gitignored and absent on clean CI. */
13
+ let workDir;
14
+ let dbPath;
15
+ beforeAll(() => {
16
+ workDir = mkdtempSync(join(tmpdir(), "agentskeptic-decision-blocker-"));
17
+ dbPath = join(workDir, "demo.db");
18
+ const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
19
+ const db = new DatabaseSync(dbPath);
20
+ db.exec(sql);
21
+ db.close();
22
+ });
23
+ afterAll(() => {
24
+ rmSync(workDir, { recursive: true, force: true });
25
+ });
26
+ it("emits exactly six lines with required tokens for wf_missing certificate", async () => {
27
+ const eventsPath = join(root, "examples", "events.ndjson");
28
+ const registryPath = join(root, "examples", "tools.json");
29
+ const result = await verifyWorkflow({
30
+ workflowId: "wf_missing",
31
+ eventsPath,
32
+ registryPath,
33
+ database: { kind: "sqlite", path: dbPath },
34
+ logStep: () => { },
35
+ truthReport: () => { },
36
+ });
37
+ const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
38
+ const { lines, trustDecision } = formatDecisionBlockerForHumans(certificate);
39
+ expect(trustDecision).toBe("unsafe");
40
+ expect(lines).toHaveLength(6);
41
+ expect(lines[0]).toMatch(/^Trust: unsafe$/);
42
+ expect(lines[1]).toMatch(/^Workflow: wf_missing$/);
43
+ expect(lines[2]).toMatch(/^First problem step: seq=/);
44
+ expect(lines[2]).toContain("tool=crm.upsert_contact");
45
+ expect(lines[2]).toContain("status=missing");
46
+ expect(lines[3]).toContain("ROW_ABSENT");
47
+ expect(lines[4]).toMatch(/^Expected: /);
48
+ expect(lines[5]).toMatch(/^Observed: /);
49
+ });
50
+ });
51
+ //# sourceMappingURL=decisionBlocker.contract.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionBlocker.contract.test.js","sourceRoot":"","sources":["../src/decisionBlocker.contract.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,yCAAyC,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAEjE,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,yFAAyF;IACzF,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gCAAgC,CAAC,CAAC,CAAC;QACxE,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,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,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,MAAM,GAAG,MAAM,cAAc,CAAC;YAClC,UAAU,EAAE,YAAY;YACxB,UAAU;YACV,YAAY;YACZ,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YAC1C,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;YACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;SACtB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;QAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,10 @@
1
+ import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
2
+ import { type TrustDecision } from "./trustDecision.js";
3
+ /**
4
+ * Fixed six-line human blocker for operators (Requirement 4 contract).
5
+ */
6
+ export declare function formatDecisionBlockerForHumans(certificate: OutcomeCertificateV1): {
7
+ trustDecision: TrustDecision;
8
+ lines: string[];
9
+ };
10
+ //# sourceMappingURL=decisionBlocker.d.ts.map
@@ -0,0 +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;AAgCtF;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,WAAW,EAAE,oBAAoB,GAAG;IACjF,aAAa,EAAE,aAAa,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAoCA"}
@@ -0,0 +1,66 @@
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
+ function inferStepStatus(step) {
10
+ const o = step.observedOutcome.toLowerCase();
11
+ if (o.includes("missing") || o.includes("row is missing"))
12
+ return "missing";
13
+ // Batch contract `formatBatchObservedStateSummary`: ROW_ABSENT is often summarized as `rowCount=0` only.
14
+ if (/\browcount=0\b/.test(o) && !o.includes("field="))
15
+ return "missing";
16
+ if (o.includes("mismatch") || o.includes("wrong"))
17
+ return "inconsistent";
18
+ if (o.includes("matched") || o.includes("verified"))
19
+ return "verified";
20
+ return "non_verified";
21
+ }
22
+ function pickPrimaryStep(certificate) {
23
+ const steps = [...certificate.steps].sort((a, b) => a.seq - b.seq);
24
+ if (steps.length === 0)
25
+ return null;
26
+ const td = trustDecisionFromCertificate(certificate);
27
+ if (td === "safe")
28
+ return steps[0] ?? null;
29
+ for (const s of steps) {
30
+ if (inferStepStatus(s) !== "verified")
31
+ return s;
32
+ }
33
+ return steps[0] ?? null;
34
+ }
35
+ /**
36
+ * Fixed six-line human blocker for operators (Requirement 4 contract).
37
+ */
38
+ export function formatDecisionBlockerForHumans(certificate) {
39
+ const trustDecision = trustDecisionFromCertificate(certificate);
40
+ const codes = sortedUniqueCodes(certificate.explanation.details.map((d) => d.code), 5);
41
+ const primary = pickPrimaryStep(certificate);
42
+ const line3 = trustDecision === "safe"
43
+ ? "First problem step: n/a"
44
+ : primary !== null
45
+ ? `First problem step: seq=${primary.seq} tool=${primary.toolId ?? "unknown"} status=${inferStepStatus(primary)}`
46
+ : "First problem step: n/a";
47
+ const line5 = primary !== null
48
+ ? `Expected: ${truncateOneLine(primary.expectedOutcome, 200)}`
49
+ : "Expected: (no step data)";
50
+ const line6 = primary !== null
51
+ ? `Observed: ${truncateOneLine(primary.observedOutcome, 200)}`
52
+ : "Observed: (no step data)";
53
+ const lines = [
54
+ `Trust: ${trustDecision}`,
55
+ `Workflow: ${certificate.workflowId}`,
56
+ line3,
57
+ `Reason codes: ${codes.length > 0 ? codes.join(", ") : "(none)"}`,
58
+ line5,
59
+ line6,
60
+ ];
61
+ if (lines.length !== 6) {
62
+ throw new Error("formatDecisionBlockerForHumans: invariant violated (must be exactly 6 lines)");
63
+ }
64
+ return { trustDecision, lines };
65
+ }
66
+ //# sourceMappingURL=decisionBlocker.js.map
@@ -0,0 +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,SAAS,eAAe,CAAC,WAAiC;IACxD,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,eAAe,CAAC,WAAW,CAAC,CAAC;IAE7C,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"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=decisionGate.assertSafe.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionGate.assertSafe.test.d.ts","sourceRoot":"","sources":["../src/decisionGate.assertSafe.test.ts"],"names":[],"mappings":""}
@@ -0,0 +1,52 @@
1
+ import { readFileSync, mkdtempSync, rmSync } from "node:fs";
2
+ import { join, dirname } from "node:path";
3
+ import { tmpdir } from "node:os";
4
+ import { fileURLToPath } from "node:url";
5
+ import { DatabaseSync } from "node:sqlite";
6
+ import { afterAll, beforeAll, describe, expect, it } from "vitest";
7
+ import { createDecisionGate } from "./decisionGate.js";
8
+ import { DecisionUnsafeError } from "./decisionUnsafeError.js";
9
+ const root = join(dirname(fileURLToPath(import.meta.url)), "..");
10
+ describe("DecisionGate.assertSafeForIrreversibleAction", () => {
11
+ /** Seeded SQLite under tmp — `examples/demo.db` is gitignored and absent on clean CI. */
12
+ let workDir;
13
+ let dbPath;
14
+ beforeAll(() => {
15
+ workDir = mkdtempSync(join(tmpdir(), "agentskeptic-assert-safe-"));
16
+ dbPath = join(workDir, "demo.db");
17
+ const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
18
+ const db = new DatabaseSync(dbPath);
19
+ db.exec(sql);
20
+ db.close();
21
+ });
22
+ afterAll(() => {
23
+ rmSync(workDir, { recursive: true, force: true });
24
+ });
25
+ it("throws DecisionUnsafeError when DB does not match (wf_missing)", async () => {
26
+ const eventsPath = join(root, "examples", "events.ndjson");
27
+ const registryPath = join(root, "examples", "tools.json");
28
+ const lines = readFileSync(eventsPath, "utf8").split(/\r?\n/).filter((l) => l.trim().length > 0);
29
+ const gate = createDecisionGate({
30
+ workflowId: "wf_missing",
31
+ registryPath,
32
+ databaseUrl: dbPath,
33
+ projectRoot: root,
34
+ logStep: () => { },
35
+ truthReport: () => { },
36
+ });
37
+ for (const line of lines) {
38
+ const ev = JSON.parse(line);
39
+ if (ev.workflowId === "wf_missing") {
40
+ gate.appendRunEvent(ev);
41
+ }
42
+ }
43
+ await expect(gate.assertSafeForIrreversibleAction()).rejects.toSatisfy((e) => {
44
+ if (!(e instanceof DecisionUnsafeError))
45
+ return false;
46
+ if (e.trustDecision !== "unsafe")
47
+ return false;
48
+ return e.message.split("\n").length === 6;
49
+ });
50
+ });
51
+ });
52
+ //# sourceMappingURL=decisionGate.assertSafe.test.js.map
@@ -0,0 +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,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,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,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,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,kBAAkB,CAAC;YAC9B,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,mBAAmB,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtD,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"}
@@ -0,0 +1,23 @@
1
+ import { type OutcomeCertificateV1 } from "./outcomeCertificate.js";
2
+ import type { VerificationPolicy, WorkflowResult } from "./types.js";
3
+ export type CreateDecisionGateOptions = {
4
+ workflowId: string;
5
+ registryPath: string;
6
+ databaseUrl: string;
7
+ projectRoot?: string;
8
+ verificationPolicy?: VerificationPolicy;
9
+ logStep?: (line: object) => void;
10
+ truthReport?: (report: string) => void;
11
+ };
12
+ export type DecisionGate = {
13
+ appendRunEvent(value: unknown): void;
14
+ toNdjsonUtf8(): Buffer;
15
+ evaluate(): Promise<WorkflowResult>;
16
+ evaluateCertificate(): Promise<OutcomeCertificateV1>;
17
+ assertSafeForIrreversibleAction(): Promise<void>;
18
+ };
19
+ /**
20
+ * Runtime integration: buffer structured run events, evaluate against the registry + DB, assert before irreversible work.
21
+ */
22
+ export declare function createDecisionGate(options: CreateDecisionGateOptions): DecisionGate;
23
+ //# sourceMappingURL=decisionGate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionGate.d.ts","sourceRoot":"","sources":["../src/decisionGate.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAKjC,OAAO,KAAK,EAA0C,kBAAkB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAe7G,MAAM,MAAM,yBAAyB,GAAG;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IACrC,YAAY,IAAI,MAAM,CAAC;IACvB,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC;IACpC,mBAAmB,IAAI,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACrD,+BAA+B,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAClD,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,yBAAyB,GAAG,YAAY,CA+EnF"}
@@ -0,0 +1,88 @@
1
+ import path from "node:path";
2
+ import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
3
+ import { buildOutcomeCertificateFromWorkflowResult, } from "./outcomeCertificate.js";
4
+ import { verifyRunStateFromBufferedRunEvents } from "./verifyRunStateFromBufferedRunEvents.js";
5
+ import { loadSchemaValidator } from "./schemaLoad.js";
6
+ import { resolveVerificationPolicyInput } from "./verificationPolicy.js";
7
+ import { TruthLayerError } from "./truthLayerError.js";
8
+ import { trustDecisionFromCertificate } from "./trustDecision.js";
9
+ import { formatDecisionBlockerForHumans } from "./decisionBlocker.js";
10
+ import { DecisionUnsafeError } from "./decisionUnsafeError.js";
11
+ const validateEvent = loadSchemaValidator("event");
12
+ const POSTGRES_URL_RE = /^postgres(ql)?:\/\//i;
13
+ function verificationDatabaseFromUrl(databaseUrl, projectRoot) {
14
+ if (POSTGRES_URL_RE.test(databaseUrl)) {
15
+ return { kind: "postgres", connectionString: databaseUrl };
16
+ }
17
+ return { kind: "sqlite", path: path.resolve(projectRoot, databaseUrl) };
18
+ }
19
+ /**
20
+ * Runtime integration: buffer structured run events, evaluate against the registry + DB, assert before irreversible work.
21
+ */
22
+ export function createDecisionGate(options) {
23
+ const projectRoot = path.resolve(options.projectRoot ?? process.cwd());
24
+ const registryPath = path.resolve(projectRoot, options.registryPath);
25
+ const verificationPolicy = resolveVerificationPolicyInput(options.verificationPolicy);
26
+ const database = verificationDatabaseFromUrl(options.databaseUrl, projectRoot);
27
+ const logStep = options.logStep ?? (() => { });
28
+ const truthReport = options.truthReport ?? (() => { });
29
+ const bufferedRunEvents = [];
30
+ const runLevelReasons = [];
31
+ const api = {};
32
+ api.appendRunEvent = (value) => {
33
+ if (typeof value !== "object" || value === null) {
34
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
35
+ return;
36
+ }
37
+ if (!validateEvent(value)) {
38
+ runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
39
+ return;
40
+ }
41
+ const ev = value;
42
+ if (ev.workflowId !== options.workflowId) {
43
+ return;
44
+ }
45
+ bufferedRunEvents.push(ev);
46
+ };
47
+ api.toNdjsonUtf8 = () => {
48
+ const parts = [];
49
+ for (const ev of bufferedRunEvents) {
50
+ parts.push(`${JSON.stringify(ev)}\n`);
51
+ }
52
+ return Buffer.from(parts.join(""), "utf8");
53
+ };
54
+ api.evaluate = async () => {
55
+ if (!bufferedRunEvents.length && !runLevelReasons.length) {
56
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.CLI_USAGE, "DecisionGate.evaluate requires at least one buffered run event for the workflow.");
57
+ }
58
+ return verifyRunStateFromBufferedRunEvents({
59
+ workflowId: options.workflowId,
60
+ registryPath,
61
+ database,
62
+ projectRoot,
63
+ bufferedRunEvents,
64
+ runLevelReasons,
65
+ verificationPolicy,
66
+ logStep,
67
+ truthReport,
68
+ });
69
+ };
70
+ api.evaluateCertificate = async () => {
71
+ const result = await api.evaluate();
72
+ const certificate = buildOutcomeCertificateFromWorkflowResult(result, "contract_sql");
73
+ const validateCert = loadSchemaValidator("outcome-certificate-v1");
74
+ if (!validateCert(certificate)) {
75
+ throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
76
+ }
77
+ return certificate;
78
+ };
79
+ api.assertSafeForIrreversibleAction = async () => {
80
+ const certificate = await api.evaluateCertificate();
81
+ if (trustDecisionFromCertificate(certificate) !== "safe") {
82
+ const { lines } = formatDecisionBlockerForHumans(certificate);
83
+ throw new DecisionUnsafeError(certificate, lines);
84
+ }
85
+ };
86
+ return api;
87
+ }
88
+ //# sourceMappingURL=decisionGate.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionGate.js","sourceRoot":"","sources":["../src/decisionGate.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,0CAA0C,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACnD,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAE/C,SAAS,2BAA2B,CAAC,WAAmB,EAAE,WAAmB;IAC3E,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;AAC1E,CAAC;AAoBD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAkC;IACnE,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,8BAA8B,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,iBAAiB,GAAe,EAAE,CAAC;IACzC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,MAAM,GAAG,GAAG,EAAkB,CAAC;IAE/B,GAAG,CAAC,cAAc,GAAG,CAAC,KAAc,EAAQ,EAAE;QAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,KAAiB,CAAC;QAC7B,IAAI,EAAE,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO;QACT,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,GAAG,CAAC,YAAY,GAAG,GAAW,EAAE;QAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC;IAEF,GAAG,CAAC,QAAQ,GAAG,KAAK,IAA6B,EAAE;QACjD,IAAI,CAAC,iBAAiB,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,SAAS,EAC/B,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,mCAAmC,CAAC;YACzC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,YAAY;YACZ,QAAQ;YACR,WAAW;YACX,iBAAiB;YACjB,eAAe;YACf,kBAAkB;YAClB,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,GAAG,CAAC,mBAAmB,GAAG,KAAK,IAAmC,EAAE;QAClE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;QACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;QACJ,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IAEF,GAAG,CAAC,+BAA+B,GAAG,KAAK,IAAmB,EAAE;QAC9D,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,mBAAmB,EAAE,CAAC;QACpD,IAAI,4BAA4B,CAAC,WAAW,CAAC,KAAK,MAAM,EAAE,CAAC;YACzD,MAAM,EAAE,KAAK,EAAE,GAAG,8BAA8B,CAAC,WAAW,CAAC,CAAC;YAC9D,MAAM,IAAI,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,GAAG,CAAC;AACb,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=decisionGate.persistBundle.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionGate.persistBundle.test.d.ts","sourceRoot":"","sources":["../src/decisionGate.persistBundle.test.ts"],"names":[],"mappings":""}
@@ -7,14 +7,15 @@ import { DatabaseSync } from "node:sqlite";
7
7
  import { describe, expect, it, beforeAll, afterAll } from "vitest";
8
8
  import { normalizeSpkiPemForSidecar } from "./workflowResultSignature.js";
9
9
  import { loadCorpusRun, resolveCorpusRootReal } from "./debugCorpus.js";
10
- import { withWorkflowVerification } from "./pipeline.js";
10
+ import { createDecisionGate } from "./decisionGate.js";
11
+ import { writeRunBundleFromDecisionGate } from "./agentRunBundle.js";
11
12
  import { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
12
13
  const root = join(fileURLToPath(import.meta.url), "..", "..");
13
- describe("withWorkflowVerification persistBundle", () => {
14
+ describe("DecisionGate run bundle write", () => {
14
15
  let workDir;
15
16
  let dbPath;
16
17
  beforeAll(() => {
17
- workDir = mkdtempSync(join(tmpdir(), "etl-wfv-persist-"));
18
+ workDir = mkdtempSync(join(tmpdir(), "etl-dg-persist-"));
18
19
  dbPath = join(workDir, "demo.db");
19
20
  const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
20
21
  const db = new DatabaseSync(dbPath);
@@ -34,19 +35,24 @@ describe("withWorkflowVerification persistBundle", () => {
34
35
  const runId = "hook_run";
35
36
  const outDir = join(bundleParent, runId);
36
37
  try {
37
- const result = await withWorkflowVerification({
38
+ const gate = createDecisionGate({
38
39
  workflowId: wfId,
39
40
  registryPath,
40
- dbPath,
41
+ databaseUrl: dbPath,
42
+ projectRoot: root,
41
43
  truthReport: () => { },
42
- persistBundle: { outDir },
43
- }, (observeStep) => {
44
- for (const ev of events) {
45
- observeStep(ev);
46
- }
47
44
  });
45
+ for (const ev of events) {
46
+ gate.appendRunEvent(ev);
47
+ }
48
+ const result = await gate.evaluate();
48
49
  expect(result.steps.length).toBe(1);
49
50
  expect(result.steps[0].status).toBe("verified");
51
+ writeRunBundleFromDecisionGate({
52
+ outDir,
53
+ eventsNdjson: gate.toNdjsonUtf8(),
54
+ workflowResult: result,
55
+ });
50
56
  const loaded = loadCorpusRun(resolveCorpusRootReal(bundleParent), runId);
51
57
  expect(loaded.loadStatus).toBe("ok");
52
58
  const written = readFileSync(join(outDir, "events.ndjson"), "utf8").trim().split(/\r?\n/);
@@ -57,7 +63,7 @@ describe("withWorkflowVerification persistBundle", () => {
57
63
  rmSync(bundleParent, { recursive: true, force: true });
58
64
  }
59
65
  });
60
- it("persistBundle with ed25519PrivateKeyPemPath writes v2 bundle verifiable by verifyRunBundleSignature", async () => {
66
+ it("ed25519PrivateKeyPemPath writes v2 bundle verifiable by verifyRunBundleSignature", async () => {
61
67
  const eventsPath = join(root, "examples", "events.ndjson");
62
68
  const registryPath = join(root, "examples", "tools.json");
63
69
  const wfId = "wf_complete";
@@ -74,16 +80,22 @@ describe("withWorkflowVerification persistBundle", () => {
74
80
  writeFileSync(keyPath, privatePem, "utf8");
75
81
  writeFileSync(pubPath, normalizeSpkiPemForSidecar(publicPem), "utf8");
76
82
  try {
77
- await withWorkflowVerification({
83
+ const gate = createDecisionGate({
78
84
  workflowId: wfId,
79
85
  registryPath,
80
- dbPath,
86
+ databaseUrl: dbPath,
87
+ projectRoot: root,
81
88
  truthReport: () => { },
82
- persistBundle: { outDir, ed25519PrivateKeyPemPath: keyPath },
83
- }, (observeStep) => {
84
- for (const ev of events) {
85
- observeStep(ev);
86
- }
89
+ });
90
+ for (const ev of events) {
91
+ gate.appendRunEvent(ev);
92
+ }
93
+ const result = await gate.evaluate();
94
+ writeRunBundleFromDecisionGate({
95
+ outDir,
96
+ eventsNdjson: gate.toNdjsonUtf8(),
97
+ workflowResult: result,
98
+ ed25519PrivateKeyPemPath: keyPath,
87
99
  });
88
100
  const loaded = loadCorpusRun(resolveCorpusRootReal(bundleParent), runId);
89
101
  expect(loaded.loadStatus).toBe("ok");
@@ -101,4 +113,4 @@ describe("withWorkflowVerification persistBundle", () => {
101
113
  }
102
114
  });
103
115
  });
104
- //# sourceMappingURL=withWorkflowVerification.persistBundle.test.js.map
116
+ //# sourceMappingURL=decisionGate.persistBundle.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionGate.persistBundle.test.js","sourceRoot":"","sources":["../src/decisionGate.persistBundle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,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,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAE9D,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,OAAe,CAAC;IACpB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACzD,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,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,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,IAAI,GAAG,aAAa,CAAC;QAC3B,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,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;gBAC9B,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,WAAW,EAAE,MAAM;gBACnB,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEjD,8BAA8B,CAAC;gBAC7B,MAAM;gBACN,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;gBACjC,cAAc,EAAE,MAAM;aACvB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAErC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1F,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,KAAK,IAAI,EAAE;QAChG,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,IAAI,GAAG,aAAa,CAAC;QAC3B,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,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;QAE/G,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,aAAa,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QACjF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAW,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QACjD,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAC3C,aAAa,CAAC,OAAO,EAAE,0BAA0B,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;gBAC9B,UAAU,EAAE,IAAI;gBAChB,YAAY;gBACZ,WAAW,EAAE,MAAM;gBACnB,WAAW,EAAE,IAAI;gBACjB,WAAW,EAAE,GAAG,EAAE,GAAE,CAAC;aACtB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,8BAA8B,CAAC;gBAC7B,MAAM;gBACN,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;gBACjC,cAAc,EAAE,MAAM;gBACtB,wBAAwB,EAAE,OAAO;aAClC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,aAAa,CAAC,qBAAqB,CAAC,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;YACzE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO;YACvC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,cAAc,CAAC,aAAa,KAAK,CAAC;gBAAE,OAAO;YACtD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,uBAAuB,CAAC,YAAY,CAAC,CAAC,IAAI,CAC/E,0BAA0B,CAC3B,CAAC;YAEF,MAAM,EAAE,GAAG,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -0,0 +1,8 @@
1
+ import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
2
+ import type { TrustDecision } from "./trustDecision.js";
3
+ export declare class DecisionUnsafeError extends Error {
4
+ readonly trustDecision: TrustDecision;
5
+ readonly certificate: OutcomeCertificateV1;
6
+ constructor(certificate: OutcomeCertificateV1, lines: string[]);
7
+ }
8
+ //# sourceMappingURL=decisionUnsafeError.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"decisionUnsafeError.d.ts","sourceRoot":"","sources":["../src/decisionUnsafeError.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxD,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;gBAE/B,WAAW,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE;CAM/D"}