agentskeptic 0.1.5 → 0.1.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +2 -2
- package/dist/bootstrap/bootstrapReadmeTemplate.d.ts +3 -0
- package/dist/bootstrap/bootstrapReadmeTemplate.d.ts.map +1 -0
- package/dist/bootstrap/bootstrapReadmeTemplate.js +17 -0
- package/dist/bootstrap/bootstrapReadmeTemplate.js.map +1 -0
- package/dist/bootstrap/parseBootstrapPackInput.d.ts +16 -0
- package/dist/bootstrap/parseBootstrapPackInput.d.ts.map +1 -0
- package/dist/bootstrap/parseBootstrapPackInput.js +95 -0
- package/dist/bootstrap/parseBootstrapPackInput.js.map +1 -0
- package/dist/bootstrap/parseBootstrapPackInput.test.d.ts +2 -0
- package/dist/bootstrap/parseBootstrapPackInput.test.d.ts.map +1 -0
- package/dist/bootstrap/parseBootstrapPackInput.test.js +46 -0
- package/dist/bootstrap/parseBootstrapPackInput.test.js.map +1 -0
- package/dist/bootstrap/runBootstrapSubcommand.d.ts +9 -0
- package/dist/bootstrap/runBootstrapSubcommand.d.ts.map +1 -0
- package/dist/bootstrap/runBootstrapSubcommand.js +263 -0
- package/dist/bootstrap/runBootstrapSubcommand.js.map +1 -0
- package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.d.ts +6 -0
- package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.d.ts.map +1 -0
- package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.js +16 -0
- package/dist/bootstrap/synthesizeQuickInputFromOpenAiV1.js.map +1 -0
- package/dist/cli.js +8 -0
- package/dist/cli.js.map +1 -1
- package/dist/cliOperationalCodes.d.ts +7 -0
- package/dist/cliOperationalCodes.d.ts.map +1 -1
- package/dist/cliOperationalCodes.js +7 -0
- package/dist/cliOperationalCodes.js.map +1 -1
- package/dist/commercial/licensePreflight.test.js +47 -18
- package/dist/commercial/licensePreflight.test.js.map +1 -1
- package/dist/debugServer.d.ts +2 -0
- package/dist/debugServer.d.ts.map +1 -1
- package/dist/debugServer.js +13 -12
- package/dist/debugServer.js.map +1 -1
- package/dist/debugServer.test.js +31 -2
- package/dist/debugServer.test.js.map +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/loadEvents.d.ts +2 -0
- package/dist/loadEvents.d.ts.map +1 -1
- package/dist/loadEvents.js +11 -0
- package/dist/loadEvents.js.map +1 -1
- package/dist/operationalDisposition.d.ts +56 -0
- package/dist/operationalDisposition.d.ts.map +1 -1
- package/dist/operationalDisposition.js +56 -0
- package/dist/operationalDisposition.js.map +1 -1
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts +5 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts.map +1 -1
- package/dist/quickVerify/buildQuickContractEventsNdjson.js +27 -14
- package/dist/quickVerify/buildQuickContractEventsNdjson.js.map +1 -1
- package/dist/quickVerify/exportTool.d.ts +7 -1
- package/dist/quickVerify/exportTool.d.ts.map +1 -1
- package/dist/quickVerify/exportTool.js +26 -0
- package/dist/quickVerify/exportTool.js.map +1 -1
- package/dist/quickVerify/formatQuickVerifyHumanReport.js +1 -1
- package/dist/quickVerify/formatQuickVerifyHumanReport.js.map +1 -1
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +2 -2
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -1
- package/dist/quickVerify/ingest.d.ts.map +1 -1
- package/dist/quickVerify/ingest.js +43 -0
- package/dist/quickVerify/ingest.js.map +1 -1
- package/dist/quickVerify/quickVerifyProductTruth.d.ts +5 -1
- package/dist/quickVerify/quickVerifyProductTruth.d.ts.map +1 -1
- package/dist/quickVerify/quickVerifyProductTruth.js +6 -0
- package/dist/quickVerify/quickVerifyProductTruth.js.map +1 -1
- package/dist/quickVerify/quickVerifyScope.d.ts +1 -1
- package/dist/quickVerify/quickVerifyScope.d.ts.map +1 -1
- package/dist/quickVerify/quickVerifyScope.js +1 -1
- package/dist/quickVerify/quickVerifyScope.js.map +1 -1
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
- package/dist/quickVerify/runQuickVerify.js +35 -8
- package/dist/quickVerify/runQuickVerify.js.map +1 -1
- package/dist/quickVerify/tableScoring.d.ts.map +1 -1
- package/dist/quickVerify/tableScoring.js +6 -1
- package/dist/quickVerify/tableScoring.js.map +1 -1
- package/dist/schemaLoad.d.ts +1 -1
- package/dist/schemaLoad.d.ts.map +1 -1
- package/dist/schemaLoad.js +2 -0
- package/dist/schemaLoad.js.map +1 -1
- package/dist/standardVerifyWorkflowCli.d.ts +5 -0
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
- package/dist/standardVerifyWorkflowCli.js +14 -7
- package/dist/standardVerifyWorkflowCli.js.map +1 -1
- package/package.json +16 -7
- package/schemas/bootstrap-pack-input-v1.schema.json +61 -0
- package/schemas/quick-verify-report.schema.json +2 -2
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +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"}
|
|
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,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
CHANGED
|
@@ -3,7 +3,7 @@ export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js"
|
|
|
3
3
|
export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
|
|
4
4
|
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
5
5
|
export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
|
|
6
|
-
export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, } from "./quickVerify/quickVerifyProductTruth.js";
|
|
6
|
+
export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, buildQuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
|
|
7
7
|
export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
|
|
8
8
|
export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
|
|
9
9
|
export { loadEventsForWorkflow } from "./loadEvents.js";
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,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,
|
|
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,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
CHANGED
|
@@ -1,3 +1,5 @@
|
|
|
1
1
|
import type { LoadEventsResult } from "./types.js";
|
|
2
|
+
/** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
|
|
3
|
+
export declare function resetLoadEventsTestThrowInvocationCounter(): void;
|
|
2
4
|
export declare function loadEventsForWorkflow(eventsFilePath: string, workflowId: string): LoadEventsResult;
|
|
3
5
|
//# sourceMappingURL=loadEvents.d.ts.map
|
package/dist/loadEvents.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;
|
|
1
|
+
{"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
CHANGED
|
@@ -4,10 +4,21 @@ import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
|
|
|
4
4
|
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
5
5
|
import { TruthLayerError } from "./truthLayerError.js";
|
|
6
6
|
const validateEvent = loadSchemaValidator("event");
|
|
7
|
+
let testThrowInvocationCounter = 0;
|
|
8
|
+
/** Clears the per-process counter used with `AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS` (Vitest only). */
|
|
9
|
+
export function resetLoadEventsTestThrowInvocationCounter() {
|
|
10
|
+
testThrowInvocationCounter = 0;
|
|
11
|
+
}
|
|
7
12
|
function isToolObserved(ev) {
|
|
8
13
|
return ev.type === "tool_observed";
|
|
9
14
|
}
|
|
10
15
|
export function loadEventsForWorkflow(eventsFilePath, workflowId) {
|
|
16
|
+
if (process.env.AGENTSKEPTIC_TEST_THROW_ON_LOAD_EVENTS === "1") {
|
|
17
|
+
testThrowInvocationCounter += 1;
|
|
18
|
+
if (testThrowInvocationCounter === 2) {
|
|
19
|
+
throw new Error("INJECTED_SECRET_MARKER");
|
|
20
|
+
}
|
|
21
|
+
}
|
|
11
22
|
const runLevelReasons = [];
|
|
12
23
|
let raw;
|
|
13
24
|
try {
|
package/dist/loadEvents.js.map
CHANGED
|
@@ -1 +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"}
|
|
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,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"}
|
|
@@ -494,5 +494,61 @@ export declare const OPERATIONAL_DISPOSITION: {
|
|
|
494
494
|
readonly recommendedAction: "manual_review";
|
|
495
495
|
readonly automationSafe: false;
|
|
496
496
|
};
|
|
497
|
+
readonly BOOTSTRAP_USAGE: {
|
|
498
|
+
readonly origin: "inputs";
|
|
499
|
+
readonly summary: "Invalid or incomplete CLI arguments for agentskeptic bootstrap.";
|
|
500
|
+
readonly actionableCategory: "bad_input";
|
|
501
|
+
readonly actionableSeverity: "low";
|
|
502
|
+
readonly recommendedAction: "fix_cli_usage";
|
|
503
|
+
readonly automationSafe: false;
|
|
504
|
+
};
|
|
505
|
+
readonly BOOTSTRAP_INPUT_INVALID: {
|
|
506
|
+
readonly origin: "inputs";
|
|
507
|
+
readonly summary: "Bootstrap pack input JSON failed validation or semantic checks.";
|
|
508
|
+
readonly actionableCategory: "bad_input";
|
|
509
|
+
readonly actionableSeverity: "medium";
|
|
510
|
+
readonly recommendedAction: "fix_registry_events_or_compare_files";
|
|
511
|
+
readonly automationSafe: false;
|
|
512
|
+
};
|
|
513
|
+
readonly BOOTSTRAP_OUT_EXISTS: {
|
|
514
|
+
readonly origin: "inputs";
|
|
515
|
+
readonly summary: "Bootstrap --out path already exists; remove it or choose a new directory.";
|
|
516
|
+
readonly actionableCategory: "bad_input";
|
|
517
|
+
readonly actionableSeverity: "low";
|
|
518
|
+
readonly recommendedAction: "fix_cli_usage";
|
|
519
|
+
readonly automationSafe: false;
|
|
520
|
+
};
|
|
521
|
+
readonly BOOTSTRAP_NO_TOOL_CALLS: {
|
|
522
|
+
readonly origin: "inputs";
|
|
523
|
+
readonly summary: "Bootstrap input contained no tool_calls to synthesize.";
|
|
524
|
+
readonly actionableCategory: "bad_input";
|
|
525
|
+
readonly actionableSeverity: "medium";
|
|
526
|
+
readonly recommendedAction: "fix_registry_events_or_compare_files";
|
|
527
|
+
readonly automationSafe: false;
|
|
528
|
+
};
|
|
529
|
+
readonly BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID: {
|
|
530
|
+
readonly origin: "inputs";
|
|
531
|
+
readonly summary: "A tool_calls[].function.arguments string was not valid JSON object text.";
|
|
532
|
+
readonly actionableCategory: "bad_input";
|
|
533
|
+
readonly actionableSeverity: "medium";
|
|
534
|
+
readonly recommendedAction: "fix_registry_events_or_compare_files";
|
|
535
|
+
readonly automationSafe: false;
|
|
536
|
+
};
|
|
537
|
+
readonly BOOTSTRAP_QUICK_NOT_PASS: {
|
|
538
|
+
readonly origin: "inputs";
|
|
539
|
+
readonly summary: "Quick Verify did not return verdict pass for the synthesized bootstrap input.";
|
|
540
|
+
readonly actionableCategory: "bad_input";
|
|
541
|
+
readonly actionableSeverity: "medium";
|
|
542
|
+
readonly recommendedAction: "manual_review";
|
|
543
|
+
readonly automationSafe: false;
|
|
544
|
+
};
|
|
545
|
+
readonly BOOTSTRAP_NO_EXPORTABLE_TOOLS: {
|
|
546
|
+
readonly origin: "inputs";
|
|
547
|
+
readonly summary: "Quick Verify produced no exportable registry tools for contract replay.";
|
|
548
|
+
readonly actionableCategory: "bad_input";
|
|
549
|
+
readonly actionableSeverity: "medium";
|
|
550
|
+
readonly recommendedAction: "manual_review";
|
|
551
|
+
readonly automationSafe: false;
|
|
552
|
+
};
|
|
497
553
|
};
|
|
498
554
|
//# sourceMappingURL=operationalDisposition.d.ts.map
|
|
@@ -1 +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
|
|
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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgiBmC,CAAC"}
|
|
@@ -486,5 +486,61 @@ export const OPERATIONAL_DISPOSITION = {
|
|
|
486
486
|
recommendedAction: "manual_review",
|
|
487
487
|
automationSafe: false,
|
|
488
488
|
},
|
|
489
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_USAGE]: {
|
|
490
|
+
origin: "inputs",
|
|
491
|
+
summary: "Invalid or incomplete CLI arguments for agentskeptic bootstrap.",
|
|
492
|
+
actionableCategory: "bad_input",
|
|
493
|
+
actionableSeverity: "low",
|
|
494
|
+
recommendedAction: "fix_cli_usage",
|
|
495
|
+
automationSafe: false,
|
|
496
|
+
},
|
|
497
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_INPUT_INVALID]: {
|
|
498
|
+
origin: "inputs",
|
|
499
|
+
summary: "Bootstrap pack input JSON failed validation or semantic checks.",
|
|
500
|
+
actionableCategory: "bad_input",
|
|
501
|
+
actionableSeverity: "medium",
|
|
502
|
+
recommendedAction: "fix_registry_events_or_compare_files",
|
|
503
|
+
automationSafe: false,
|
|
504
|
+
},
|
|
505
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_OUT_EXISTS]: {
|
|
506
|
+
origin: "inputs",
|
|
507
|
+
summary: "Bootstrap --out path already exists; remove it or choose a new directory.",
|
|
508
|
+
actionableCategory: "bad_input",
|
|
509
|
+
actionableSeverity: "low",
|
|
510
|
+
recommendedAction: "fix_cli_usage",
|
|
511
|
+
automationSafe: false,
|
|
512
|
+
},
|
|
513
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_TOOL_CALLS]: {
|
|
514
|
+
origin: "inputs",
|
|
515
|
+
summary: "Bootstrap input contained no tool_calls to synthesize.",
|
|
516
|
+
actionableCategory: "bad_input",
|
|
517
|
+
actionableSeverity: "medium",
|
|
518
|
+
recommendedAction: "fix_registry_events_or_compare_files",
|
|
519
|
+
automationSafe: false,
|
|
520
|
+
},
|
|
521
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_TOOL_CALL_ARGUMENTS_INVALID]: {
|
|
522
|
+
origin: "inputs",
|
|
523
|
+
summary: "A tool_calls[].function.arguments string was not valid JSON object text.",
|
|
524
|
+
actionableCategory: "bad_input",
|
|
525
|
+
actionableSeverity: "medium",
|
|
526
|
+
recommendedAction: "fix_registry_events_or_compare_files",
|
|
527
|
+
automationSafe: false,
|
|
528
|
+
},
|
|
529
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_QUICK_NOT_PASS]: {
|
|
530
|
+
origin: "inputs",
|
|
531
|
+
summary: "Quick Verify did not return verdict pass for the synthesized bootstrap input.",
|
|
532
|
+
actionableCategory: "bad_input",
|
|
533
|
+
actionableSeverity: "medium",
|
|
534
|
+
recommendedAction: "manual_review",
|
|
535
|
+
automationSafe: false,
|
|
536
|
+
},
|
|
537
|
+
[CLI_OPERATIONAL_CODES.BOOTSTRAP_NO_EXPORTABLE_TOOLS]: {
|
|
538
|
+
origin: "inputs",
|
|
539
|
+
summary: "Quick Verify produced no exportable registry tools for contract replay.",
|
|
540
|
+
actionableCategory: "bad_input",
|
|
541
|
+
actionableSeverity: "medium",
|
|
542
|
+
recommendedAction: "manual_review",
|
|
543
|
+
automationSafe: false,
|
|
544
|
+
},
|
|
489
545
|
};
|
|
490
546
|
//# sourceMappingURL=operationalDisposition.js.map
|
|
@@ -1 +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"}
|
|
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;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"}
|
|
@@ -1,11 +1,16 @@
|
|
|
1
1
|
import type { VerificationRequest } from "../types.js";
|
|
2
2
|
export type QuickContractExport = {
|
|
3
3
|
toolId: string;
|
|
4
|
+
kind: "sql_row";
|
|
4
5
|
request: VerificationRequest;
|
|
6
|
+
} | {
|
|
7
|
+
toolId: string;
|
|
8
|
+
kind: "related_exists_export";
|
|
5
9
|
};
|
|
6
10
|
/**
|
|
7
11
|
* Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
|
|
8
12
|
* Empty exports → caller writes a zero-byte file (no trailing newline).
|
|
13
|
+
* Exports are sorted by toolId (UTF-16) before assigning seq 0..n-1.
|
|
9
14
|
*/
|
|
10
15
|
export declare function buildQuickContractEventsNdjson(input: {
|
|
11
16
|
workflowId: string;
|
|
@@ -1 +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,
|
|
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,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"}
|
|
@@ -2,26 +2,39 @@ import { compareUtf16Id } from "../resolveExpectation.js";
|
|
|
2
2
|
/**
|
|
3
3
|
* Synthetic tool_observed NDJSON (schemaVersion 1) for contract replay.
|
|
4
4
|
* Empty exports → caller writes a zero-byte file (no trailing newline).
|
|
5
|
+
* Exports are sorted by toolId (UTF-16) before assigning seq 0..n-1.
|
|
5
6
|
*/
|
|
6
7
|
export function buildQuickContractEventsNdjson(input) {
|
|
7
8
|
if (input.exports.length === 0)
|
|
8
9
|
return "";
|
|
10
|
+
const sorted = [...input.exports].sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
|
|
9
11
|
const lines = [];
|
|
10
|
-
for (let seq = 0; seq <
|
|
11
|
-
const
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
12
|
+
for (let seq = 0; seq < sorted.length; seq++) {
|
|
13
|
+
const exp = sorted[seq];
|
|
14
|
+
if (exp.kind === "related_exists_export") {
|
|
15
|
+
lines.push(JSON.stringify({
|
|
16
|
+
schemaVersion: 1,
|
|
17
|
+
workflowId: input.workflowId,
|
|
18
|
+
seq,
|
|
19
|
+
type: "tool_observed",
|
|
20
|
+
toolId: exp.toolId,
|
|
21
|
+
params: {},
|
|
22
|
+
}));
|
|
23
|
+
}
|
|
24
|
+
else {
|
|
25
|
+
const __qvFields = {};
|
|
26
|
+
for (const k of Object.keys(exp.request.requiredFields).sort(compareUtf16Id)) {
|
|
27
|
+
__qvFields[k] = exp.request.requiredFields[k];
|
|
28
|
+
}
|
|
29
|
+
lines.push(JSON.stringify({
|
|
30
|
+
schemaVersion: 1,
|
|
31
|
+
workflowId: input.workflowId,
|
|
32
|
+
seq,
|
|
33
|
+
type: "tool_observed",
|
|
34
|
+
toolId: exp.toolId,
|
|
35
|
+
params: { __qvFields },
|
|
36
|
+
}));
|
|
15
37
|
}
|
|
16
|
-
const line = {
|
|
17
|
-
schemaVersion: 1,
|
|
18
|
-
workflowId: input.workflowId,
|
|
19
|
-
seq,
|
|
20
|
-
type: "tool_observed",
|
|
21
|
-
toolId,
|
|
22
|
-
params: { __qvFields },
|
|
23
|
-
};
|
|
24
|
-
lines.push(JSON.stringify(line));
|
|
25
38
|
}
|
|
26
39
|
return `${lines.join("\n")}\n`;
|
|
27
40
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"buildQuickContractEventsNdjson.js","sourceRoot":"","sources":["../../src/quickVerify/buildQuickContractEventsNdjson.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"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"}
|
|
@@ -1,6 +1,12 @@
|
|
|
1
|
-
import type { ToolRegistryEntry, VerificationRequest } from "../types.js";
|
|
1
|
+
import type { ResolvedRelationalCheck, ToolRegistryEntry, VerificationRequest } from "../types.js";
|
|
2
2
|
/**
|
|
3
3
|
* Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
|
|
4
4
|
*/
|
|
5
5
|
export declare function exportSqlRowTool(toolId: string, req: VerificationRequest): ToolRegistryEntry;
|
|
6
|
+
/**
|
|
7
|
+
* Build Advanced `sql_relational` registry entry for one inferred `related_exists` check (all const; batch replay with `params: {}`).
|
|
8
|
+
*/
|
|
9
|
+
export declare function exportSqlRelationalRelatedExistsTool(toolId: string, rel: Extract<ResolvedRelationalCheck, {
|
|
10
|
+
checkKind: "related_exists";
|
|
11
|
+
}>): ToolRegistryEntry;
|
|
6
12
|
//# sourceMappingURL=exportTool.d.ts.map
|
|
@@ -1 +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;
|
|
1
|
+
{"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"}
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import { compareUtf16Id } from "../resolveExpectation.js";
|
|
1
2
|
/**
|
|
2
3
|
* Build Advanced-mode registry entry for a row unit (sql_row + pointers for dynamic fields).
|
|
3
4
|
*/
|
|
@@ -17,4 +18,29 @@ export function exportSqlRowTool(toolId, req) {
|
|
|
17
18
|
},
|
|
18
19
|
};
|
|
19
20
|
}
|
|
21
|
+
/**
|
|
22
|
+
* Build Advanced `sql_relational` registry entry for one inferred `related_exists` check (all const; batch replay with `params: {}`).
|
|
23
|
+
*/
|
|
24
|
+
export function exportSqlRelationalRelatedExistsTool(toolId, rel) {
|
|
25
|
+
const sortedEq = [...rel.matchEq].sort((a, b) => compareUtf16Id(a.column, b.column));
|
|
26
|
+
const matchEq = sortedEq.map((m) => ({
|
|
27
|
+
column: { const: m.column },
|
|
28
|
+
value: { const: m.value },
|
|
29
|
+
}));
|
|
30
|
+
return {
|
|
31
|
+
toolId,
|
|
32
|
+
effectDescriptionTemplate: `Quick inferred related_exists: ${rel.id}`,
|
|
33
|
+
verification: {
|
|
34
|
+
kind: "sql_relational",
|
|
35
|
+
checks: [
|
|
36
|
+
{
|
|
37
|
+
checkKind: "related_exists",
|
|
38
|
+
id: rel.id,
|
|
39
|
+
childTable: { const: rel.childTable },
|
|
40
|
+
matchEq,
|
|
41
|
+
},
|
|
42
|
+
],
|
|
43
|
+
},
|
|
44
|
+
};
|
|
45
|
+
}
|
|
20
46
|
//# sourceMappingURL=exportTool.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"exportTool.js","sourceRoot":"","sources":["../../src/quickVerify/exportTool.ts"],"names":[],"mappings":"
|
|
1
|
+
{"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"}
|
|
@@ -57,7 +57,7 @@ export function formatQuickVerifyHumanReport(report, ctx = {}) {
|
|
|
57
57
|
: ctx.dbFlag
|
|
58
58
|
? `--db ${ctx.dbFlag}`
|
|
59
59
|
: `--db <sqlitePath>`;
|
|
60
|
-
body.push(`Optional contract replay (partial coverage — exported
|
|
60
|
+
body.push(`Optional contract replay (partial coverage — exported tools only, not full quick inferred parity): agentskeptic --workflow-id ${wf} --events ${ev} --registry ${reg} ${dbPart}`);
|
|
61
61
|
const anchors = [HUMAN_REPORT_BEGIN, verdictLine(report.verdict), HUMAN_REPORT_END];
|
|
62
62
|
const banner = [QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3];
|
|
63
63
|
return `${anchors.join("\n")}\n${banner.join("\n")}\n\n${body.join("\n")}\n`;
|
|
@@ -1 +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
|
|
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,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"}
|
|
@@ -2,7 +2,7 @@ import { describe, expect, it } from "vitest";
|
|
|
2
2
|
import { formatQuickVerifyHumanReport, QUICK_VERIFY_BANNER_LINE_1, QUICK_VERIFY_BANNER_LINE_2, QUICK_VERIFY_BANNER_LINE_3, } from "./formatQuickVerifyHumanReport.js";
|
|
3
3
|
import { HUMAN_REPORT_BEGIN, HUMAN_REPORT_END, verdictLine } from "./quickVerifyHumanCopy.js";
|
|
4
4
|
import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
|
|
5
|
-
import {
|
|
5
|
+
import { buildQuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
|
|
6
6
|
function minimalReport(verdict) {
|
|
7
7
|
return {
|
|
8
8
|
schemaVersion: 4,
|
|
@@ -10,7 +10,7 @@ function minimalReport(verdict) {
|
|
|
10
10
|
summary: `Inferred provisional check — rollup ${verdict} is not a production-safety or audit-final verdict. 0 unit(s).`,
|
|
11
11
|
verificationMode: "inferred",
|
|
12
12
|
scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
|
|
13
|
-
productTruth:
|
|
13
|
+
productTruth: buildQuickVerifyProductTruth(false),
|
|
14
14
|
ingest: { reasonCodes: ["INGEST_NO_ACTIONS"], malformedLineCount: 0 },
|
|
15
15
|
units: [],
|
|
16
16
|
exportableRegistry: { tools: [] },
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"formatQuickVerifyHumanReport.test.js","sourceRoot":"","sources":["../../src/quickVerify/formatQuickVerifyHumanReport.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;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"}
|
|
@@ -1 +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;
|
|
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;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"}
|
|
@@ -19,7 +19,44 @@ function getToolNameKey(obj) {
|
|
|
19
19
|
}
|
|
20
20
|
return undefined;
|
|
21
21
|
}
|
|
22
|
+
function tryParseFunctionArgumentsField(fnObj) {
|
|
23
|
+
const inner = fnObj.arguments;
|
|
24
|
+
if (inner && typeof inner === "object" && !Array.isArray(inner)) {
|
|
25
|
+
return inner;
|
|
26
|
+
}
|
|
27
|
+
if (typeof inner === "string") {
|
|
28
|
+
const u = inner.trim();
|
|
29
|
+
if (u.length > 0 && (u.startsWith("{") || u.startsWith("["))) {
|
|
30
|
+
try {
|
|
31
|
+
const parsed = JSON.parse(u);
|
|
32
|
+
if (parsed !== null && typeof parsed === "object" && !Array.isArray(parsed)) {
|
|
33
|
+
return parsed;
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
catch {
|
|
37
|
+
/* ignore */
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
return undefined;
|
|
42
|
+
}
|
|
43
|
+
/** OpenAI `tool_calls[]` items: nested `function.arguments` wins over stray top-level `arguments` / empty objects. */
|
|
44
|
+
function tryOpenAiToolCallParamBag(obj) {
|
|
45
|
+
const fn = obj.function;
|
|
46
|
+
if (!fn || typeof fn !== "object" || fn === null || Array.isArray(fn))
|
|
47
|
+
return undefined;
|
|
48
|
+
const fnObj = fn;
|
|
49
|
+
const fnName = fnObj.name;
|
|
50
|
+
if (typeof fnName !== "string" || fnName.length === 0)
|
|
51
|
+
return undefined;
|
|
52
|
+
if (!Object.prototype.hasOwnProperty.call(fnObj, "arguments"))
|
|
53
|
+
return undefined;
|
|
54
|
+
return tryParseFunctionArgumentsField(fnObj);
|
|
55
|
+
}
|
|
22
56
|
function getParamsObject(obj) {
|
|
57
|
+
const openAiBag = tryOpenAiToolCallParamBag(obj);
|
|
58
|
+
if (openAiBag !== undefined)
|
|
59
|
+
return openAiBag;
|
|
23
60
|
for (const k of ["params", "arguments", "input"]) {
|
|
24
61
|
const v = obj[k];
|
|
25
62
|
if (v && typeof v === "object" && !Array.isArray(v))
|
|
@@ -41,6 +78,12 @@ function getParamsObject(obj) {
|
|
|
41
78
|
}
|
|
42
79
|
}
|
|
43
80
|
}
|
|
81
|
+
const fn = obj.function;
|
|
82
|
+
if (fn && typeof fn === "object" && !Array.isArray(fn)) {
|
|
83
|
+
const parsed = tryParseFunctionArgumentsField(fn);
|
|
84
|
+
if (parsed !== undefined)
|
|
85
|
+
return parsed;
|
|
86
|
+
}
|
|
44
87
|
const out = {};
|
|
45
88
|
const skip = new Set(["tool_calls", "toolId", "tool", "name", "action", "function"]);
|
|
46
89
|
for (const k of Object.keys(obj)) {
|