agentskeptic 0.1.4 → 0.1.6

package/dist/discovery-payload-v1.json

@@ -14,7 +14,7 @@
   },
   "appendix": {
     "slug": "/database-truth-vs-traces",
-    "visitorProblemAnswer": "Teams ship agent and automation workflows where traces, tool responses, and success flags look green while the database row is missing, stale, or wrong. AgentSkeptic closes that gap by comparing structured tool activity to read-only SQL against your SQLite or Postgres at verification time: it tells you whether observed state matched expectations derived from what the workflow claimed—not whether a step narrative sounded successful. It is a snapshot check, not proof of causality or execution.",
+    "visitorProblemAnswer": "Teams ship agent and automation workflows where traces, tool responses, and success flags look green while the database row is missing, stale, or wrong. AgentSkeptic compares structured tool activity to read-only SQL against your SQLite or Postgres at verification time and reports whether observed state matched expectations derived from what the workflow claimed—not whether the step narrative read as successful.\n\nUse it when you need persisted rows checked against declared tool parameters at verification time before customer-facing actions, compliance evidence, or CI gates.",
     "intentPhrases": [
       "green trace wrong database row agent workflow",
       "trace says success but CRM row missing",
@@ -38,7 +38,12 @@
       "Green LangGraph or agent trace but wrong or missing Postgres row",
       "OpenAI-style tool loop reported success; CRM or SQLite state does not match",
       "CI passed on workflow logs; database side effect never showed up",
-      "Need a gate before production: read-only verification, not more log volume"
+      "Need a gate before production: read-only verification, not more log volume",
+      "Green dashboards still happen when an AI agent writes wrong CRM data and you need read-only SQL before you trust the row.",
+      "When automation reports success while database records disagree with declared tool parameters until read-only verification, treat trace color as non-authoritative.",
+      "Debugging Postgres after a LangGraph run requires row-level truth at verification time beyond trace completion flags alone for customer-facing data.",
+      "When a Stripe webhook returns OK you still need the ledger database row to match before finance treats settlement as final and read-only SQL verifies persisted state.",
+      "CI can stay green on workflow logs while the database side effect is missing until a read-only gate surfaces ROW_ABSENT before production."
     ],
     "indexableGuides": [
       {
@@ -65,6 +70,45 @@
         "path": "/guides/pre-production-read-only-sql-gate",
         "navLabel": "Pre-production read-only SQL gate",
         "problemAnchor": "Need a gate before production: read-only verification, not more log volume"
+      },
+      {
+        "path": "/guides/ai-agent-wrong-crm-data",
+        "navLabel": "AI agent wrong CRM data read-only check",
+        "problemAnchor": "Green dashboards still happen when an AI agent writes wrong CRM data"
+      },
+      {
+        "path": "/guides/automation-success-database-mismatch",
+        "navLabel": "Automation success vs database mismatch",
+        "problemAnchor": "When automation reports success while database records disagree with declared tool parameters until read-only verification"
+      },
+      {
+        "path": "/guides/debug-postgres-after-langgraph",
+        "navLabel": "Debug Postgres after LangGraph runs",
+        "problemAnchor": "Debugging Postgres after a LangGraph run requires row-level truth at verification time beyond trace completion flags alone"
+      },
+      {
+        "path": "/guides/stripe-webhook-database-alignment",
+        "navLabel": "Stripe webhook OK vs database alignment",
+        "problemAnchor": "When a Stripe webhook returns OK you still need the ledger database row to match before finance treats settlement as final"
+      },
+      {
+        "path": "/guides/ci-green-missing-database-side-effect",
+        "navLabel": "CI green but missing database side effect",
+        "problemAnchor": "CI can stay green on workflow logs while the database side effect is missing until a read-only gate surfaces ROW_ABSENT before production"
+      }
+    ],
+    "indexableExamples": [
+      {
+        "path": "/examples/wf-complete",
+        "navLabel": "Bundled verified workflow (wf_complete)",
+        "problemAnchor": "Bundled wf_complete demo: read-only SQL matched the expected contacts row under the packaged registry at verification time.",
+        "embedKey": "wf_complete"
+      },
+      {
+        "path": "/examples/wf-missing",
+        "navLabel": "Bundled inconsistent workflow (wf_missing)",
+        "problemAnchor": "Bundled wf_missing demo: ROW_ABSENT when structured tool activity implied a row read-only SQL did not find at verification time.",
+        "embedKey": "wf_missing"
       }
     ],
     "shareableTerminalDemo": {

package/dist/index.d.ts

@@ -6,7 +6,7 @@ export { loadSchemaValidator } from "./schemaLoad.js";
 export type { SchemaValidatorName } from "./schemaLoad.js";
 export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
 export type { QuickVerifyReport, RunQuickVerifyOptions, RunQuickVerifyResult, } from "./quickVerify/runQuickVerify.js";
-export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, type QuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
+export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, type QuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
 export type { QuickContractExport } from "./quickVerify/buildQuickContractEventsNdjson.js";
 export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
 export type { EventLoadSummary, RegistryValidationResult, ResolutionIssue, ResolutionSkipped, StructuralIssue, } from "./registryValidation.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -3,7 +3,7 @@ export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js"
 export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
 export { loadSchemaValidator } from "./schemaLoad.js";
 export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
-export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, } from "./quickVerify/quickVerifyProductTruth.js";
+export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
 export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
 export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
 export { loadEventsForWorkflow } from "./loadEvents.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,GAEnC,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA8CtD,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,GAE7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA8CtD,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}

package/dist/loadEvents.d.ts

@@ -1,3 +1,5 @@
 import type { LoadEventsResult } from "./types.js";
+/** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
+export declare function resetLoadEventsTestThrowInvocationCounter(): void;
 export declare function loadEventsForWorkflow(eventsFilePath: string, workflowId: string): LoadEventsResult;
 //# sourceMappingURL=loadEvents.d.ts.map

package/dist/loadEvents.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAUxF,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CA4ElB"}
+{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAQxF,uGAAuG;AACvG,wBAAgB,yCAAyC,IAAI,IAAI,CAEhE;AAMD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CAkFlB"}

package/dist/loadEvents.js

@@ -4,10 +4,21 @@ import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
 import { loadSchemaValidator } from "./schemaLoad.js";
 import { TruthLayerError } from "./truthLayerError.js";
 const validateEvent = loadSchemaValidator("event");
+let testThrowInvocationCounter = 0;
+/** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
+export function resetLoadEventsTestThrowInvocationCounter() {
+    testThrowInvocationCounter = 0;
+}
 function isToolObserved(ev) {
     return ev.type === "tool_observed";
 }
 export function loadEventsForWorkflow(eventsFilePath, workflowId) {
+    if (process.env.AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS === "1") {
+        testThrowInvocationCounter += 1;
+        if (testThrowInvocationCounter === 2) {
+            throw new Error("INJECTED_SECRET_MARKER");
+        }
+    }
     const runLevelReasons = [];
     let raw;
     try {

package/dist/loadEvents.js.map

@@ -1 +1 @@
-{"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,IAAI,0BAA0B,GAAG,CAAC,CAAC;AAEnC,uGAAuG;AACvG,MAAM,UAAU,yCAAyC;IACvD,0BAA0B,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,KAAK,GAAG,EAAE,CAAC;QAC/D,0BAA0B,IAAI,CAAC,CAAC;QAChC,IAAI,0BAA0B,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC"}

package/dist/operationalDisposition.d.ts

@@ -494,5 +494,61 @@ export declare const OPERATIONAL_DISPOSITION: {
         readonly recommendedAction: "manual_review";
         readonly automationSafe: false;
     };
+    readonly BOOTSTRAP_USAGE: {
+        readonly origin: "inputs";
+        readonly summary: "Invalid or incomplete CLI arguments for agentskeptic bootstrap.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "low";
+        readonly recommendedAction: "fix_cli_usage";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_INPUT_INVALID: {
+        readonly origin: "inputs";
+        readonly summary: "Bootstrap pack input JSON failed validation or semantic checks.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "medium";
+        readonly recommendedAction: "fix_registry_events_or_compare_files";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_OUT_EXISTS: {
+        readonly origin: "inputs";
+        readonly summary: "Bootstrap --out path already exists; remove it or choose a new directory.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "low";
+        readonly recommendedAction: "fix_cli_usage";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_NO_TOOL_CALLS: {
+        readonly origin: "inputs";
+        readonly summary: "Bootstrap input contained no tool_calls to synthesize.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "medium";
+        readonly recommendedAction: "fix_registry_events_or_compare_files";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID: {
+        readonly origin: "inputs";
+        readonly summary: "A tool_calls[].function.arguments string was not valid JSON object text.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "medium";
+        readonly recommendedAction: "fix_registry_events_or_compare_files";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_QUICK_NOT_PASS: {
+        readonly origin: "inputs";
+        readonly summary: "Quick Verify did not return verdict pass for the synthesized bootstrap input.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "medium";
+        readonly recommendedAction: "manual_review";
+        readonly automationSafe: false;
+    };
+    readonly BOOTSTRAP_NO_EXPORTABLE_TOOLS: {
+        readonly origin: "inputs";
+        readonly summary: "Quick Verify produced no exportable registry tools for contract replay.";
+        readonly actionableCategory: "bad_input";
+        readonly actionableSeverity: "medium";
+        readonly recommendedAction: "manual_review";
+        readonly automationSafe: false;
+    };
 };
 //# sourceMappingURL=operationalDisposition.d.ts.map

package/dist/operationalDisposition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwemC,CAAC"}
+{"version":3,"file":"operationalDisposition.d.ts","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAK7D,OAAO,KAAK,EACV,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACtB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,yBAAyB,GAAG;IACtC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgiBmC,CAAC"}

package/dist/operationalDisposition.js

@@ -486,5 +486,61 @@ export const OPERATIONAL_DISPOSITION = {
         recommendedAction: "manual_review",
         automationSafe: false,
     },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE]: {
+        origin: "inputs",
+        summary: "Invalid or incomplete CLI arguments for agentskeptic bootstrap.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "low",
+        recommendedAction: "fix_cli_usage",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID]: {
+        origin: "inputs",
+        summary: "Bootstrap pack input JSON failed validation or semantic checks.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "medium",
+        recommendedAction: "fix_registry_events_or_compare_files",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_OUT_EXISTS]: {
+        origin: "inputs",
+        summary: "Bootstrap --out path already exists; remove it or choose a new directory.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "low",
+        recommendedAction: "fix_cli_usage",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_TOOL_CALLS]: {
+        origin: "inputs",
+        summary: "Bootstrap input contained no tool_calls to synthesize.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "medium",
+        recommendedAction: "fix_registry_events_or_compare_files",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID]: {
+        origin: "inputs",
+        summary: "A tool_calls[].function.arguments string was not valid JSON object text.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "medium",
+        recommendedAction: "fix_registry_events_or_compare_files",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_QUICK_NOT_PASS]: {
+        origin: "inputs",
+        summary: "Quick Verify did not return verdict pass for the synthesized bootstrap input.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "medium",
+        recommendedAction: "manual_review",
+        automationSafe: false,
+    },
+    [CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_EXPORTABLE_TOOLS]: {
+        origin: "inputs",
+        summary: "Quick Verify produced no exportable registry tools for contract replay.",
+        actionableCategory: "bad_input",
+        actionableSeverity: "medium",
+        recommendedAction: "manual_review",
+        automationSafe: false,
+    },
 };
 //# sourceMappingURL=operationalDisposition.js.map

package/dist/operationalDisposition.js.map

@@ -1 +1 @@
-{"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}
+{"version":3,"file":"operationalDisposition.js","sourceRoot":"","sources":["../src/operationalDisposition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EACL,4CAA4C,EAC5C,gDAAgD,GACjD,MAAM,4BAA4B,CAAC;AAgBpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE;QACjC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wCAAwC;QACjD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0CAA0C;QACnD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,EAAE;QAC1C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gCAAgC;QACzC,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,mDAAmD;QAC5D,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gEAAgE;QACzE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yCAAyC;QAClD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4EAA4E;QACrF,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,iDAAiD;QAC1D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2CAA2C,CAAC,EAAE;QACnE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,0FAA0F;QACnG,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,sDAAsD;QAC/D,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oDAAoD;QAC7D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,+BAA+B;QAClD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,6BAA6B;QAChD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wCAAwC,CAAC,EAAE;QAChE,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,EAAE;QACnD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,0BAA0B,CAAC,EAAE;QAClD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,0BAA0B;QAC7C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,uDAAuD;QAChE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6CAA6C;QACtD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,4GAA4G;QAC9G,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,qJAAqJ;QACvJ,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,mWAAmW;QACrW,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oCAAoC,CAAC,EAAE;QAC5D,MAAM,EAAE,QAAQ;QAChB,OAAO,EACL,uHAAuH;QACzH,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8DAA8D;QACvE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,gCAAgC;QACnD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,kCAAkC;QACrD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,aAAa,CAAC,EAAE;QACrC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2DAA2D;QACpE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,EAAE;QAC9C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,qEAAqE;QAC9E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,yBAAyB;QAC5C,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,4CAA4C;QACrD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,oEAAoE;QAC7E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,qDAAqD;QAC9D,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,6DAA6D;QACtE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8CAA8C;QACvD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,EAAE;QACpD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,+BAA+B,CAAC,EAAE;QACvD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,EAAE;QAC7C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,mEAAmE;QAC5E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,8HAA8H;QACvI,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,cAAc,CAAC,EAAE;QACtC,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,+DAA+D;QACxE,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,EAAE;QACjD,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,gDAAgD;QACzD,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,EAAE;QACtD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,yEAAyE;QAC3E,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,kCAAkC,CAAC,EAAE;QAC1D,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,gIAAgI;QAClI,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,EAAE;QACzD,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,2KAA2K;QAC7K,kBAAkB,EAAE,sBAAsB;QAC1C,kBAAkB,EAAE,MAAM;QAC1B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,mBAAmB,CAAC,EAAE;QAC3C,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,kGAAkG;QAC3G,kBAAkB,EAAE,8BAA8B;QAClD,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,eAAe,CAAC,EAAE;QACvC,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,iEAAiE;QAC1E,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAAE;QAC5C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,2EAA2E;QACpF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,uBAAuB,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,wDAAwD;QACjE,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,qCAAqC,CAAC,EAAE;QAC7D,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,0EAA0E;QACnF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,sCAAsC;QACzD,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,wBAAwB,CAAC,EAAE;QAChD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,+EAA+E;QACxF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;IACD,CAAC,qBAAqB,CAAC,6BAA6B,CAAC,EAAE;QACrD,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,yEAAyE;QAClF,kBAAkB,EAAE,WAAW;QAC/B,kBAAkB,EAAE,QAAQ;QAC5B,iBAAiB,EAAE,eAAe;QAClC,cAAc,EAAE,KAAK;KACtB;CACoE,CAAC"}

package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts

@@ -1,11 +1,16 @@
 import type { VerificationRequest } from "../types.js";
 export type QuickContractExport = {
     toolId: string;
+    kind: "sql_row";
     request: VerificationRequest;
+} | {
+    toolId: string;
+    kind: "related_exists_export";
 };
 /**
  * Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
  * Empty exports → caller writes a zero-byte file (no trailing newline).
+ * Exports are sorted by toolId (UTF-16) before assigning seq 0..n-1.
  */
 export declare function buildQuickContractEventsNdjson(input: {
     workflowId: string;

package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"buildQuickContractEventsNdjson.d.ts","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,MAAM,mBAAmB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEnF;;;GAGG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,mBAAmB,EAAE,CAAC;CAChC,GAAG,MAAM,CAoBT"}
+{"version":3,"file":"buildQuickContractEventsNdjson.d.ts","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,MAAM,mBAAmB,GAC3B;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAA;CAAE,GACjE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAAC;AAEtD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,mBAAmB,EAAE,CAAC;CAChC,GAAG,MAAM,CAmCT"}

package/dist/quickVerify/buildQuickContractEventsNdjson.js

@@ -2,26 +2,39 @@ import { compareUtf16Id } from "../resolveExpectation.js";
 /**
  * Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
  * Empty exports → caller writes a zero-byte file (no trailing newline).
+ * Exports are sorted by toolId (UTF-16) before assigning seq 0..n-1.
  */
 export function buildQuickContractEventsNdjson(input) {
     if (input.exports.length === 0)
         return "";
+    const sorted = [...input.exports].sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
     const lines = [];
-    for (let seq = 0; seq < input.exports.length; seq++) {
-        const { toolId, request } = input.exports[seq];
-        const __qvFields = {};
-        for (const k of Object.keys(request.requiredFields).sort(compareUtf16Id)) {
-            __qvFields[k] = request.requiredFields[k];
+    for (let seq = 0; seq < sorted.length; seq++) {
+        const exp = sorted[seq];
+        if (exp.kind === "related_exists_export") {
+            lines.push(JSON.stringify({
+                schemaVersion: 1,
+                workflowId: input.workflowId,
+                seq,
+                type: "tool_observed",
+                toolId: exp.toolId,
+                params: {},
+            }));
+        }
+        else {
+            const __qvFields = {};
+            for (const k of Object.keys(exp.request.requiredFields).sort(compareUtf16Id)) {
+                __qvFields[k] = exp.request.requiredFields[k];
+            }
+            lines.push(JSON.stringify({
+                schemaVersion: 1,
+                workflowId: input.workflowId,
+                seq,
+                type: "tool_observed",
+                toolId: exp.toolId,
+                params: { __qvFields },
+            }));
         }
-        const line = {
-            schemaVersion: 1,
-            workflowId: input.workflowId,
-            seq,
-            type: "tool_observed",
-            toolId,
-            params: { __qvFields },
-        };
-        lines.push(JSON.stringify(line));
     }
     return `${lines.join("\n")}\n`;
 }

package/dist/quickVerify/buildQuickContractEventsNdjson.js.map

@@ -1 +1 @@
-{"version":3,"file":"buildQuickContractEventsNdjson.js","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAK1D;;;GAGG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAG9C;IACC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QACpD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC;QAChD,MAAM,UAAU,GAAqD,EAAE,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACzE,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC;QAC7C,CAAC;QACD,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG;YACH,IAAI,EAAE,eAAe;YACrB,MAAM;YACN,MAAM,EAAE,EAAE,UAAU,EAAE;SACvB,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}
+{"version":3,"file":"buildQuickContractEventsNdjson.js","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAO1D;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAG9C;IACC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,SAAS,CAAC;gBACb,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,GAAG;gBACH,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,MAAM,EAAE,EAAE;aACX,CAAC,CACH,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAqD,EAAE,CAAC;YACxE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC7E,UAAU,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAE,CAAC;YACjD,CAAC;YACD,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,SAAS,CAAC;gBACb,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,GAAG;gBACH,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,MAAM,EAAE,EAAE,UAAU,EAAE;aACvB,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/quickVerify/exportTool.d.ts

@@ -1,6 +1,12 @@
-import type { ToolRegistryEntry, VerificationRequest } from "../types.js";
+import type { ResolvedRelationalCheck, ToolRegistryEntry, VerificationRequest } from "../types.js";
 /**
  * Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
  */
 export declare function exportSqlRowTool(toolId: string, req: VerificationRequest): ToolRegistryEntry;
+/**
+ * Build Advanced `sql_relational` registry entry for one inferred `related_exists` check (all const; batch replay with `params: {}`).
+ */
+export declare function exportSqlRelationalRelatedExistsTool(toolId: string, rel: Extract<ResolvedRelationalCheck, {
+    checkKind: "related_exists";
+}>): ToolRegistryEntry;
 //# sourceMappingURL=exportTool.d.ts.map

package/dist/quickVerify/exportTool.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exportTool.d.ts","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE1E;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,GAAG,iBAAiB,CAe5F"}
+{"version":3,"file":"exportTool.d.ts","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAGnG;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,mBAAmB,GAAG,iBAAiB,CAe5F;AAED;;GAEG;AACH,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,OAAO,CAAC,uBAAuB,EAAE;IAAE,SAAS,EAAE,gBAAgB,CAAA;CAAE,CAAC,GACrE,iBAAiB,CAqBnB"}

package/dist/quickVerify/exportTool.js

@@ -1,3 +1,4 @@
+import { compareUtf16Id } from "../resolveExpectation.js";
 /**
  * Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
  */
@@ -17,4 +18,29 @@ export function exportSqlRowTool(toolId, req) {
         },
     };
 }
+/**
+ * Build Advanced `sql_relational` registry entry for one inferred `related_exists` check (all const; batch replay with `params: {}`).
+ */
+export function exportSqlRelationalRelatedExistsTool(toolId, rel) {
+    const sortedEq = [...rel.matchEq].sort((a, b) => compareUtf16Id(a.column, b.column));
+    const matchEq = sortedEq.map((m) => ({
+        column: { const: m.column },
+        value: { const: m.value },
+    }));
+    return {
+        toolId,
+        effectDescriptionTemplate: `Quick inferred related_exists: ${rel.id}`,
+        verification: {
+            kind: "sql_relational",
+            checks: [
+                {
+                    checkKind: "related_exists",
+                    id: rel.id,
+                    childTable: { const: rel.childTable },
+                    matchEq,
+                },
+            ],
+        },
+    };
+}
 //# sourceMappingURL=exportTool.js.map

package/dist/quickVerify/exportTool.js.map

@@ -1 +1 @@
-{"version":3,"file":"exportTool.js","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,GAAwB;IACvE,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QAC3B,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;KAC1B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,yBAAyB,EAAE,uBAAuB,GAAG,CAAC,KAAK,EAAE;QAC7D,YAAY,EAAE;YACZ,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;YAC3B,UAAU;YACV,cAAc,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE;SAC3C;KACmB,CAAC;AACzB,CAAC"}
+{"version":3,"file":"exportTool.js","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc,EAAE,GAAwB;IACvE,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QAC3B,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;KAC1B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,yBAAyB,EAAE,uBAAuB,GAAG,CAAC,KAAK,EAAE;QAC7D,YAAY,EAAE;YACZ,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;YAC3B,UAAU;YACV,cAAc,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE;SAC3C;KACmB,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oCAAoC,CAClD,MAAc,EACd,GAAsE;IAEtE,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QAC3B,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;KAC1B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,MAAM;QACN,yBAAyB,EAAE,kCAAkC,GAAG,CAAC,EAAE,EAAE;QACrE,YAAY,EAAE;YACZ,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG,CAAC,EAAE;oBACV,UAAU,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE;oBACrC,OAAO;iBACR;aACF;SACF;KACmB,CAAC;AACzB,CAAC"}

package/dist/quickVerify/formatQuickVerifyHumanReport.js

@@ -57,7 +57,7 @@ export function formatQuickVerifyHumanReport(report, ctx = {}) {
         : ctx.dbFlag
             ? `--db ${ctx.dbFlag}`
             : `--db <sqlitePath>`;
-    body.push(`Optional contract replay (partial coverage — exported row tools only; not full relational/multi-effect parity with quick scope): agentskeptic --workflow-id ${wf} --events ${ev} --registry ${reg} ${dbPart}`);
+    body.push(`Optional contract replay (partial coverage — exported tools only, not full quick inferred parity): agentskeptic --workflow-id ${wf} --events ${ev} --registry ${reg} ${dbPart}`);
     const anchors = [HUMAN_REPORT_BEGIN, verdictLine(report.verdict), HUMAN_REPORT_END];
     const banner = [QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3];
     return `${anchors.join("\n")}\n${banner.join("\n")}\n\n${body.join("\n")}\n`;

package/dist/quickVerify/formatQuickVerifyHumanReport.js.map

@@ -1 +1 @@
-{"version":3,"file":"formatQuickVerifyHumanReport.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,0BAA0B,EAC1B,4BAA4B,EAC5B,WAAW,GACZ,MAAM,2BAA2B,CAAC;AAEnC,uGAAuG;AACvG,MAAM,CAAC,MAAM,0BAA0B,GACrC,sIAAsI,CAAC;AACzI,MAAM,CAAC,MAAM,0BAA0B,GACrC,4HAA4H,CAAC;AAC/H,MAAM,CAAC,MAAM,0BAA0B,GACrC,qLAAqL,CAAC;AAUxL;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAyB,EACzB,MAAkC,EAAE;IAEpC,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,oBAAoB,EAAE,MAAM,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpB,IAAI,CAAC,IAAI,CACP,gMAAgM,CACjM,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/E,IAAI,CAAC,IAAI,CACP,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,YAAY,CAAC,QAAQ,WAAW,CAAC,CAAC,YAAY,CAAC,WAAW,YAAY,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,UAAU,qBAAqB,CAAC,CAAC,gBAAgB,EAAE,CACnN,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,6BAA6B,GAAG,CAAC,CAAC,cAAc,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,IAAI,CAAC,KAAK,gCAAgC,GAAG,CAAC,CAAC,cAAc,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,qBAAqB,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,8CAA8C,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;YACxD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,cAAc,CAAC;IAC5C,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,IAAI,iBAAiB,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW;QAC5B,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,GAAG,CAAC,MAAM;YACV,CAAC,CAAC,QAAQ,GAAG,CAAC,MAAM,EAAE;YACtB,CAAC,CAAC,mBAAmB,CAAC;IAC1B,IAAI,CAAC,IAAI,CACP,+JAA+J,EAAE,aAAa,EAAE,eAAe,GAAG,IAAI,MAAM,EAAE,CAC/M,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,0BAA0B,CAAC,CAAC;IAEpG,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC/E,CAAC"}
+{"version":3,"file":"formatQuickVerifyHumanReport.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,0BAA0B,EAC1B,4BAA4B,EAC5B,WAAW,GACZ,MAAM,2BAA2B,CAAC;AAEnC,uGAAuG;AACvG,MAAM,CAAC,MAAM,0BAA0B,GACrC,sIAAsI,CAAC;AACzI,MAAM,CAAC,MAAM,0BAA0B,GACrC,4HAA4H,CAAC;AAC/H,MAAM,CAAC,MAAM,0BAA0B,GACrC,qLAAqL,CAAC;AAUxL;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAyB,EACzB,MAAkC,EAAE;IAEpC,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,oBAAoB,EAAE,MAAM,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpB,IAAI,CAAC,IAAI,CACP,gMAAgM,CACjM,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/E,IAAI,CAAC,IAAI,CACP,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,YAAY,CAAC,QAAQ,WAAW,CAAC,CAAC,YAAY,CAAC,WAAW,YAAY,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,UAAU,qBAAqB,CAAC,CAAC,gBAAgB,EAAE,CACnN,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,oBAAoB,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,KAAK,6BAA6B,GAAG,CAAC,CAAC,cAAc,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,IAAI,CAAC,KAAK,gCAAgC,GAAG,CAAC,CAAC,cAAc,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,qBAAqB,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,8CAA8C,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;YACxD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,cAAc,CAAC;IAC5C,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAC/C,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,IAAI,iBAAiB,CAAC;IAClD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW;QAC5B,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,GAAG,CAAC,MAAM;YACV,CAAC,CAAC,QAAQ,GAAG,CAAC,MAAM,EAAE;YACtB,CAAC,CAAC,mBAAmB,CAAC;IAC1B,IAAI,CAAC,IAAI,CACP,iIAAiI,EAAE,aAAa,EAAE,eAAe,GAAG,IAAI,MAAM,EAAE,CACjL,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,0BAA0B,CAAC,CAAC;IAEpG,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC/E,CAAC"}

package/dist/quickVerify/formatQuickVerifyHumanReport.test.js

@@ -2,7 +2,7 @@ import { describe, expect, it } from "vitest";
 import { formatQuickVerifyHumanReport, QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3, } from "./formatQuickVerifyHumanReport.js";
 import { HUMAN_REPORT_BEGIN, HUMAN_REPORT_END, verdictLine } from "./quickVerifyHumanCopy.js";
 import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
-import { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH } from "./quickVerifyProductTruth.js";
+import { buildQuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
 function minimalReport(verdict) {
     return {
         schemaVersion: 4,
@@ -10,7 +10,7 @@ function minimalReport(verdict) {
         summary: `Inferred provisional check — rollup ${verdict} is not a production-safety or audit-final verdict. 0 unit(s).`,
         verificationMode: "inferred",
         scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
-        productTruth: DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH,
+        productTruth: buildQuickVerifyProductTruth(false),
         ingest: { reasonCodes: ["INGEST_NO_ACTIONS"], malformedLineCount: 0 },
         units: [],
         exportableRegistry: { tools: [] },

package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,kCAAkC,EAAE,MAAM,8BAA8B,CAAC;AAGlF,SAAS,aAAa,CAAC,OAAsC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,OAAO;QACP,OAAO,EAAE,uCAAuC,OAAO,gEAAgE;QACvH,gBAAgB,EAAE,UAAU;QAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;QACxC,YAAY,EAAE,kCAAkC;QAChD,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE;QACrE,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAG5E,SAAS,aAAa,CAAC,OAAsC;IAC3D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,OAAO;QACP,OAAO,EAAE,uCAAuC,OAAO,gEAAgE;QACvH,gBAAgB,EAAE,UAAU;QAC5B,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE;QACxC,YAAY,EAAE,4BAA4B,CAAC,KAAK,CAAC;QACjD,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE;QACrE,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAU,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,4BAA4B,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/quickVerify/ingest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ingest.d.ts","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AA+F9E,MAAM,MAAM,aAAa,GAAG;IAC1B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,mBAAmB,IAAI,aAAa,CAEnD;AAUD,wBAAgB,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAevE;AA6CD,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CA2FnE;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1D,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,QAAQ,GAAE,MAA0B,EACpC,QAAQ,GAAE,MAA0B,GACnC;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CA6C1D;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,EAAE,GACnB;IAAE,MAAM,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;KAAE,CAAC,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAA;CAAE,CAatG"}
+{"version":3,"file":"ingest.d.ts","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AAuI9E,MAAM,MAAM,aAAa,GAAG;IAC1B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,wBAAgB,mBAAmB,IAAI,aAAa,CAEnD;AAUD,wBAAgB,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAevE;AA6CD,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CA2FnE;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE1D,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,QAAQ,GAAE,MAA0B,EACpC,QAAQ,GAAE,MAA0B,GACnC;IAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CA6C1D;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,EAAE,GACnB;IAAE,MAAM,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;KAAE,CAAC,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAA;CAAE,CAatG"}