agentskeptic 0.1.5 → 0.1.7
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 +41 -99
- 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 +139 -34
- 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.d.ts +7 -2
- package/dist/commercial/licensePreflight.d.ts.map +1 -1
- package/dist/commercial/licensePreflight.js +6 -5
- package/dist/commercial/licensePreflight.js.map +1 -1
- package/dist/commercial/licensePreflight.test.js +70 -21
- package/dist/commercial/licensePreflight.test.js.map +1 -1
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts +13 -0
- package/dist/commercial/postVerifyOutcomeBeacon.d.ts.map +1 -0
- package/dist/commercial/postVerifyOutcomeBeacon.js +33 -0
- package/dist/commercial/postVerifyOutcomeBeacon.js.map +1 -0
- package/dist/commercial/quickVerifyFunnelTerminalStatus.d.ts +5 -0
- package/dist/commercial/quickVerifyFunnelTerminalStatus.d.ts.map +1 -0
- package/dist/commercial/quickVerifyFunnelTerminalStatus.js +11 -0
- package/dist/commercial/quickVerifyFunnelTerminalStatus.js.map +1 -0
- package/dist/commercial/verifyWorkloadClassify.d.ts +17 -0
- package/dist/commercial/verifyWorkloadClassify.d.ts.map +1 -0
- package/dist/commercial/verifyWorkloadClassify.js +47 -0
- package/dist/commercial/verifyWorkloadClassify.js.map +1 -0
- package/dist/commercial/verifyWorkloadClassify.test.d.ts +2 -0
- package/dist/commercial/verifyWorkloadClassify.test.d.ts.map +1 -0
- package/dist/commercial/verifyWorkloadClassify.test.js +45 -0
- package/dist/commercial/verifyWorkloadClassify.test.js.map +1 -0
- 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/publicDistribution.generated.d.ts +2 -0
- package/dist/publicDistribution.generated.d.ts.map +1 -1
- package/dist/publicDistribution.generated.js +2 -0
- package/dist/publicDistribution.generated.js.map +1 -1
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts +6 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts.map +1 -1
- package/dist/quickVerify/buildQuickContractEventsNdjson.js +33 -14
- package/dist/quickVerify/buildQuickContractEventsNdjson.js.map +1 -1
- package/dist/quickVerify/buildSyntheticRowParams.d.ts +7 -0
- package/dist/quickVerify/buildSyntheticRowParams.d.ts.map +1 -0
- package/dist/quickVerify/buildSyntheticRowParams.js +13 -0
- package/dist/quickVerify/buildSyntheticRowParams.js.map +1 -0
- package/dist/quickVerify/buildSyntheticRowParams.test.d.ts +2 -0
- package/dist/quickVerify/buildSyntheticRowParams.test.d.ts.map +1 -0
- package/dist/quickVerify/buildSyntheticRowParams.test.js +19 -0
- package/dist/quickVerify/buildSyntheticRowParams.test.js.map +1 -0
- package/dist/quickVerify/exportTool.d.ts +12 -1
- package/dist/quickVerify/exportTool.d.ts.map +1 -1
- package/dist/quickVerify/exportTool.js +45 -0
- package/dist/quickVerify/exportTool.js.map +1 -1
- package/dist/quickVerify/flatKeyToJsonPointer.d.ts +16 -0
- package/dist/quickVerify/flatKeyToJsonPointer.d.ts.map +1 -0
- package/dist/quickVerify/flatKeyToJsonPointer.js +44 -0
- package/dist/quickVerify/flatKeyToJsonPointer.js.map +1 -0
- package/dist/quickVerify/flatKeyToJsonPointer.test.d.ts +2 -0
- package/dist/quickVerify/flatKeyToJsonPointer.test.d.ts.map +1 -0
- package/dist/quickVerify/flatKeyToJsonPointer.test.js +19 -0
- package/dist/quickVerify/flatKeyToJsonPointer.test.js.map +1 -0
- 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 +1 -0
- package/dist/quickVerify/ingest.d.ts.map +1 -1
- package/dist/quickVerify/ingest.js +44 -1
- package/dist/quickVerify/ingest.js.map +1 -1
- package/dist/quickVerify/planRowUnit.pointer-promotion.test.d.ts +2 -0
- package/dist/quickVerify/planRowUnit.pointer-promotion.test.d.ts.map +1 -0
- package/dist/quickVerify/planRowUnit.pointer-promotion.test.js +30 -0
- package/dist/quickVerify/planRowUnit.pointer-promotion.test.js.map +1 -0
- package/dist/quickVerify/quickParamPointerNegatives.test.d.ts +2 -0
- package/dist/quickVerify/quickParamPointerNegatives.test.d.ts.map +1 -0
- package/dist/quickVerify/quickParamPointerNegatives.test.js +25 -0
- package/dist/quickVerify/quickParamPointerNegatives.test.js.map +1 -0
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.d.ts +2 -0
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.d.ts.map +1 -0
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.js +34 -0
- package/dist/quickVerify/quickParamPointerPromotionGoldens.test.js.map +1 -0
- package/dist/quickVerify/quickParamPointerReplay.test.d.ts +2 -0
- package/dist/quickVerify/quickParamPointerReplay.test.d.ts.map +1 -0
- package/dist/quickVerify/quickParamPointerReplay.test.js +23 -0
- package/dist/quickVerify/quickParamPointerReplay.test.js.map +1 -0
- 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 +2 -2
- package/dist/quickVerify/quickVerifyScope.d.ts.map +1 -1
- package/dist/quickVerify/quickVerifyScope.js +2 -2
- package/dist/quickVerify/quickVerifyScope.js.map +1 -1
- package/dist/quickVerify/rowUnit.d.ts +8 -0
- package/dist/quickVerify/rowUnit.d.ts.map +1 -1
- package/dist/quickVerify/rowUnit.js +17 -2
- package/dist/quickVerify/rowUnit.js.map +1 -1
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -1
- package/dist/quickVerify/runQuickVerify.js +102 -11
- 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/quickVerify/verificationRequestFingerprint.d.ts +6 -0
- package/dist/quickVerify/verificationRequestFingerprint.d.ts.map +1 -0
- package/dist/quickVerify/verificationRequestFingerprint.js +23 -0
- package/dist/quickVerify/verificationRequestFingerprint.js.map +1 -0
- package/dist/quickVerify/verificationRequestFingerprint.test.d.ts +2 -0
- package/dist/quickVerify/verificationRequestFingerprint.test.d.ts.map +1 -0
- package/dist/quickVerify/verificationRequestFingerprint.test.js +26 -0
- package/dist/quickVerify/verificationRequestFingerprint.test.js.map +1 -0
- 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 +18 -0
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -1
- package/dist/standardVerifyWorkflowCli.js +45 -25
- package/dist/standardVerifyWorkflowCli.js.map +1 -1
- package/dist/telemetry/cliInstallId.d.ts +8 -0
- package/dist/telemetry/cliInstallId.d.ts.map +1 -0
- package/dist/telemetry/cliInstallId.js +72 -0
- package/dist/telemetry/cliInstallId.js.map +1 -0
- package/dist/telemetry/fetchWithTimeout.d.ts +6 -0
- package/dist/telemetry/fetchWithTimeout.d.ts.map +1 -0
- package/dist/telemetry/fetchWithTimeout.js +15 -0
- package/dist/telemetry/fetchWithTimeout.js.map +1 -0
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts +8 -0
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.d.ts.map +1 -0
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.js +22 -0
- package/dist/telemetry/maybeEmitOssClaimTicketUrl.js.map +1 -0
- package/dist/telemetry/ossClaimOrigin.d.ts +6 -0
- package/dist/telemetry/ossClaimOrigin.d.ts.map +1 -0
- package/dist/telemetry/ossClaimOrigin.js +9 -0
- package/dist/telemetry/ossClaimOrigin.js.map +1 -0
- package/dist/telemetry/ossClaimOrigin.test.d.ts +2 -0
- package/dist/telemetry/ossClaimOrigin.test.d.ts.map +1 -0
- package/dist/telemetry/ossClaimOrigin.test.js +9 -0
- package/dist/telemetry/ossClaimOrigin.test.js.map +1 -0
- package/dist/telemetry/postOssClaimTicket.d.ts +14 -0
- package/dist/telemetry/postOssClaimTicket.d.ts.map +1 -0
- package/dist/telemetry/postOssClaimTicket.js +42 -0
- package/dist/telemetry/postOssClaimTicket.js.map +1 -0
- package/dist/telemetry/postProductActivationEvent.d.ts +25 -0
- package/dist/telemetry/postProductActivationEvent.d.ts.map +1 -0
- package/dist/telemetry/postProductActivationEvent.js +71 -0
- package/dist/telemetry/postProductActivationEvent.js.map +1 -0
- package/dist/telemetry/postProductActivationEvent.test.d.ts +2 -0
- package/dist/telemetry/postProductActivationEvent.test.d.ts.map +1 -0
- package/dist/telemetry/postProductActivationEvent.test.js +65 -0
- package/dist/telemetry/postProductActivationEvent.test.js.map +1 -0
- package/dist/telemetry/productActivationHeaders.d.ts +5 -0
- package/dist/telemetry/productActivationHeaders.d.ts.map +1 -0
- package/dist/telemetry/productActivationHeaders.js +5 -0
- package/dist/telemetry/productActivationHeaders.js.map +1 -0
- package/dist/telemetry/resolveTelemetrySource.d.ts +7 -0
- package/dist/telemetry/resolveTelemetrySource.d.ts.map +1 -0
- package/dist/telemetry/resolveTelemetrySource.js +10 -0
- package/dist/telemetry/resolveTelemetrySource.js.map +1 -0
- package/package.json +19 -9
- package/schemas/bootstrap-pack-input-v1.schema.json +61 -0
- package/schemas/quick-verify-report.schema.json +3 -3
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ingest.js","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAIrD,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAU,CAAC;AAEtF,SAAS,cAAc,CAAC,GAA4B;IAClD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,eAAe,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;YACxB,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAI,EAA8B,CAAC,IAAI,CAAC;gBAClD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC/D,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAU,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAA4B,CAAC;QACzF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;oBACxC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5E,OAAO,MAAiC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,KAAK,UAAU;YAAE,SAAS;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM,GAAG,8BAA8B,CAAC;AAE9C,MAAM,SAAS,GAAG,6EAA6E,CAAC;AAChG,MAAM,SAAS,GAAG,8CAA8C,CAAC;AACjE,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjC,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAkB,EAAE;QAC7C,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAEzB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAqB;IAC1D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC;AAC3D,CAAC;AAQD,MAAM,UAAU,mBAAmB;IACjC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,UAAU,CAAC,GAAkB,EAAE,QAAgB,EAAE,MAA+B;IACvF,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAkB,EAAE,KAAc;IAC/D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;YAAE,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,KAAK,GAAkB,IAAI,CAAC;QAChC,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,GAAG,EAAE,CAAC;oBACR,GAAG,GAAG,KAAK,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAChB,GAAG,GAAG,IAAI,CAAC;oBACX,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,KAAK;oBAAE,KAAK,GAAG,IAAI,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAC7B,KAAK,GAAG,EAAE,CAAC;gBACX,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK,GAAG,eAAe,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrD,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAExB,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,mBAAmB,CAAC;YAClC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QACxC,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;QAClC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;gBAC1C,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0BAA0B;IAC5B,CAAC;IAED,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC;YAC/D,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAY,CAAC;YACvC,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;YAChC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACL,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;oBACrF,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;oBAC9C,aAAa,EAAE,KAAK;iBACrB,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,YAAY;QACd,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACnD,OAAO;QACL,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,OAAO;QACpB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,aAAa,EAAE,KAAK;KACrB,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,aAAa,CAC3B,MAA+B,EAC/B,WAAmB,iBAAiB,EACpC,WAAmB,iBAAiB;IAEpC,MAAM,IAAI,GAA+B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IAEnC,SAAS,IAAI,CAAC,MAAc,EAAE,GAAY,EAAE,KAAa,EAAE,OAAsB;QAC/E,IAAI,OAAO,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,CAAC;QACZ,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;YACnG,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,GAAiB,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC1C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAoB;IAEpB,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkE,CAAC;IACvF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,eAAe,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;AACzD,CAAC"}
|
|
1
|
+
{"version":3,"file":"ingest.js","sourceRoot":"","sources":["../../src/quickVerify/ingest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAIrD,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAU,CAAC;AAEtF,SAAS,cAAc,CAAC,GAA4B;IAClD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,eAAe,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;YACxB,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,GAAI,EAA8B,CAAC,IAAI,CAAC;gBAClD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC/D,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,8BAA8B,CAAC,KAA8B;IACpE,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC;IAC9B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,KAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;gBACxC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC5E,OAAO,MAAiC,CAAC;gBAC3C,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,YAAY;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,sHAAsH;AACtH,SAAS,yBAAyB,CAAC,GAA4B;IAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;IACxB,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IACxF,MAAM,KAAK,GAAG,EAA6B,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;IAC1B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAChF,OAAO,8BAA8B,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B;IACnD,MAAM,SAAS,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAU,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAA4B,CAAC;QACzF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;oBACxC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5E,OAAO,MAAiC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,YAAY;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC;IACxB,IAAI,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,8BAA8B,CAAC,EAA6B,CAAC,CAAC;QAC7E,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;IAC1C,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,KAAK,UAAU;YAAE,SAAS;QAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM,GAAG,8BAA8B,CAAC;AAE9C,MAAM,SAAS,GAAG,6EAA6E,CAAC;AAChG,MAAM,SAAS,GAAG,8CAA8C,CAAC;AACjE,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,IAAY;IAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjC,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAkB,EAAE;QAC7C,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAY,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC;IAEzB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAqB;IAC1D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC;AAC3D,CAAC;AAQD,MAAM,UAAU,mBAAmB;IACjC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,UAAU,CAAC,GAAkB,EAAE,QAAgB,EAAE,MAA+B;IACvF,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAkB,EAAE,KAAc;IAC/D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACtC,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;YAAE,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,MAAM;QACxB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,KAAK,GAAkB,IAAI,CAAC;QAChC,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,GAAG,EAAE,CAAC;oBACR,GAAG,GAAG,KAAK,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAChB,GAAG,GAAG,IAAI,CAAC;oBACX,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,KAAK;oBAAE,KAAK,GAAG,IAAI,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAC7B,KAAK,GAAG,EAAE,CAAC;gBACX,SAAS;YACX,CAAC;YACD,IAAI,EAAE,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;YACxB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,KAAK,GAAG,eAAe,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,wBAAwB,CAAC;YACvC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,IAAI;SACpB,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrD,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAExB,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,CAAC,mBAAmB,CAAC;YAClC,kBAAkB,EAAE,CAAC;YACrB,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QACxC,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;QAClC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;gBAC1C,aAAa,EAAE,KAAK;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0BAA0B;IAC5B,CAAC;IAED,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,kBAAkB,EAAE,CAAC;YAC7B,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC;YAC/D,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;YAC9C,aAAa,EAAE,KAAK;SACrB,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAY,CAAC;YACvC,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;YAChC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACL,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,WAAW,EAAE,6BAA6B,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;oBACrF,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;oBAC9C,aAAa,EAAE,KAAK;iBACrB,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,YAAY;QACd,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACnD,OAAO;QACL,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,OAAO;QACpB,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;QAC9C,aAAa,EAAE,KAAK;KACrB,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,aAAa,CAC3B,MAA+B,EAC/B,WAAmB,iBAAiB,EACpC,WAAmB,iBAAiB;IAEpC,MAAM,IAAI,GAA+B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IAEnC,SAAS,IAAI,CAAC,MAAc,EAAE,GAAY,EAAE,KAAa,EAAE,OAAsB;QAC/E,IAAI,OAAO,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,CAAC;QACZ,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;YACnG,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,GAAiB,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC1C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAa,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACjD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACzB,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAoB;IAKpB,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAGjB,CAAC;IACJ,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,eAAe,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;AACzD,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"planRowUnit.pointer-promotion.test.d.ts","sourceRoot":"","sources":["../../src/quickVerify/planRowUnit.pointer-promotion.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "node:fs";
|
|
3
|
+
import { join, dirname } from "node:path";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { DatabaseSync } from "node:sqlite";
|
|
6
|
+
import { SqliteSchemaCatalog } from "./sqliteCatalog.js";
|
|
7
|
+
import { planRowUnit } from "./rowUnit.js";
|
|
8
|
+
import { bucketsForAction } from "./decomposeUnits.js";
|
|
9
|
+
import { flattenParams } from "./ingest.js";
|
|
10
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..", "..");
|
|
11
|
+
const dbPath = join(root, "test/fixtures/quick-param-pointer/pointer-promotion.sqlite");
|
|
12
|
+
describe("planRowUnit pointer promotion fixture", () => {
|
|
13
|
+
it("emits pk bindings and pointerComplete", async () => {
|
|
14
|
+
const golden = JSON.parse(readFileSync(join(root, "test/golden/quick-param-pointer/v1/plan-row-bindings.json"), "utf8"));
|
|
15
|
+
const db = new DatabaseSync(dbPath, { readOnly: true });
|
|
16
|
+
const catalog = new SqliteSchemaCatalog(db);
|
|
17
|
+
const tables = await catalog.listTables();
|
|
18
|
+
const params = { contacts: { idid: "c_ok", name: "Alice", status: "active" } };
|
|
19
|
+
const { flat } = flattenParams(params);
|
|
20
|
+
const bs = bucketsForAction("aa.save", flat, tables);
|
|
21
|
+
const plan = await planRowUnit(catalog, bs[0], tables);
|
|
22
|
+
db.close();
|
|
23
|
+
expect(plan.request).not.toBeNull();
|
|
24
|
+
expect(plan.pointerComplete).toBe(true);
|
|
25
|
+
expect(plan.pkFlatBindings).toEqual(golden);
|
|
26
|
+
expect(plan.confidence).toBeGreaterThanOrEqual(0.5);
|
|
27
|
+
expect(plan.confidence).toBeLessThan(0.55);
|
|
28
|
+
});
|
|
29
|
+
});
|
|
30
|
+
//# sourceMappingURL=planRowUnit.pointer-promotion.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"planRowUnit.pointer-promotion.test.js","sourceRoot":"","sources":["../../src/quickVerify/planRowUnit.pointer-promotion.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,4DAA4D,CAAC,CAAC;AAExF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,2DAA2D,CAAC,EAAE,MAAM,CAAC,CAC9F,CAAC;QACF,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC/E,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACxD,EAAE,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerNegatives.test.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerNegatives.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "node:fs";
|
|
3
|
+
import { join, dirname } from "node:path";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { runQuickVerify, quickReportToStdoutLine } from "./runQuickVerify.js";
|
|
6
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..", "..");
|
|
7
|
+
const dbPath = join(root, "test/fixtures/quick-param-pointer/pointer-promotion.sqlite");
|
|
8
|
+
describe("quick param pointer negatives", () => {
|
|
9
|
+
it("preflight-fail stdout golden (value mismatch)", async () => {
|
|
10
|
+
const line = JSON.stringify({
|
|
11
|
+
toolId: "aa.save",
|
|
12
|
+
params: { contacts: { idid: "c_ok", name: "Bob", status: "active" } },
|
|
13
|
+
}) + "\n";
|
|
14
|
+
const { report } = await runQuickVerify({ inputUtf8: line, sqlitePath: dbPath });
|
|
15
|
+
const expected = readFileSync(join(root, "test/golden/quick-param-pointer/v1/quick.stdout.preflight-fail.jsonline"), "utf8");
|
|
16
|
+
expect(quickReportToStdoutLine(report)).toBe(expected);
|
|
17
|
+
});
|
|
18
|
+
it("unmappable stdout golden (no units)", async () => {
|
|
19
|
+
const line = JSON.stringify({ toolId: "zzz", params: {} }) + "\n";
|
|
20
|
+
const { report } = await runQuickVerify({ inputUtf8: line, sqlitePath: dbPath });
|
|
21
|
+
const expected = readFileSync(join(root, "test/golden/quick-param-pointer/v1/quick.stdout.unmappable.jsonline"), "utf8");
|
|
22
|
+
expect(quickReportToStdoutLine(report)).toBe(expected);
|
|
23
|
+
});
|
|
24
|
+
});
|
|
25
|
+
//# sourceMappingURL=quickParamPointerNegatives.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerNegatives.test.js","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerNegatives.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAE9E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,4DAA4D,CAAC,CAAC;AAExF,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,IAAI,GACR,IAAI,CAAC,SAAS,CAAC;YACb,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;SACtE,CAAC,GAAG,IAAI,CAAC;QACZ,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,YAAY,CAC3B,IAAI,CAAC,IAAI,EAAE,yEAAyE,CAAC,EACrF,MAAM,CACP,CAAC;QACF,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC;QAClE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,YAAY,CAC3B,IAAI,CAAC,IAAI,EAAE,qEAAqE,CAAC,EACjF,MAAM,CACP,CAAC;QACF,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerPromotionGoldens.test.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerPromotionGoldens.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "node:fs";
|
|
3
|
+
import { join, dirname } from "node:path";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { runQuickVerify, quickReportToStdoutLine } from "./runQuickVerify.js";
|
|
6
|
+
import { buildQuickContractEventsNdjson } from "./buildQuickContractEventsNdjson.js";
|
|
7
|
+
import { stableStringify } from "./canonicalJson.js";
|
|
8
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..", "..");
|
|
9
|
+
const dbPath = join(root, "test/fixtures/quick-param-pointer/pointer-promotion.sqlite");
|
|
10
|
+
const promoLine = JSON.stringify({
|
|
11
|
+
toolId: "aa.save",
|
|
12
|
+
params: { contacts: { idid: "c_ok", name: "Alice", status: "active" } },
|
|
13
|
+
}) + "\n";
|
|
14
|
+
describe("quick param pointer promotion goldens", () => {
|
|
15
|
+
it("matches export registry, NDJSON, stdout, and inferability slice", async () => {
|
|
16
|
+
const { report, contractExports, registryUtf8 } = await runQuickVerify({
|
|
17
|
+
inputUtf8: promoLine,
|
|
18
|
+
sqlitePath: dbPath,
|
|
19
|
+
});
|
|
20
|
+
const row = report.units.find((u) => u.kind === "row");
|
|
21
|
+
expect(row?.contractEligible).toBe(true);
|
|
22
|
+
expect(readFileSync(join(root, "test/golden/quick-param-pointer/v1/export.tools.json"), "utf8")).toBe(registryUtf8);
|
|
23
|
+
const events = buildQuickContractEventsNdjson({ workflowId: "quick-verify", exports: contractExports });
|
|
24
|
+
expect(readFileSync(join(root, "test/golden/quick-param-pointer/v1/contract.events.ndjson"), "utf8")).toBe(events);
|
|
25
|
+
expect(readFileSync(join(root, "test/golden/quick-param-pointer/v1/quick.stdout.promoted.jsonline"), "utf8")).toBe(quickReportToStdoutLine(report));
|
|
26
|
+
const slice = {
|
|
27
|
+
confidence: row?.confidence,
|
|
28
|
+
reasonCodes: row?.reasonCodes,
|
|
29
|
+
inference: row?.inference,
|
|
30
|
+
};
|
|
31
|
+
expect(readFileSync(join(root, "test/golden/quick-param-pointer/v1/expected.unit-row-slice.json"), "utf8")).toBe(stableStringify(slice) + "\n");
|
|
32
|
+
});
|
|
33
|
+
});
|
|
34
|
+
//# sourceMappingURL=quickParamPointerPromotionGoldens.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerPromotionGoldens.test.js","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerPromotionGoldens.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,4DAA4D,CAAC,CAAC;AACxF,MAAM,SAAS,GACb,IAAI,CAAC,SAAS,CAAC;IACb,MAAM,EAAE,SAAS;IACjB,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;CACxE,CAAC,GAAG,IAAI,CAAC;AAEZ,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,GAAG,MAAM,cAAc,CAAC;YACrE,SAAS,EAAE,SAAS;YACpB,UAAU,EAAE,MAAM;SACnB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,sDAAsD,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CACnG,YAAY,CACb,CAAC;QACF,MAAM,MAAM,GAAG,8BAA8B,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QACxG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,2DAA2D,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CACxG,MAAM,CACP,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,mEAAmE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAChH,uBAAuB,CAAC,MAAM,CAAC,CAChC,CAAC;QACF,MAAM,KAAK,GAAG;YACZ,UAAU,EAAE,GAAG,EAAE,UAAU;YAC3B,WAAW,EAAE,GAAG,EAAE,WAAW;YAC7B,SAAS,EAAE,GAAG,EAAE,SAAS;SAC1B,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,iEAAiE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAC9G,eAAe,CAAC,KAAK,CAAC,GAAG,IAAI,CAC9B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerReplay.test.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerReplay.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "node:fs";
|
|
3
|
+
import { join, dirname } from "node:path";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import { verifyWorkflow } from "../pipeline.js";
|
|
6
|
+
const root = join(dirname(fileURLToPath(import.meta.url)), "..", "..");
|
|
7
|
+
const dbPath = join(root, "test/fixtures/quick-param-pointer/pointer-promotion.sqlite");
|
|
8
|
+
const reg = join(root, "test/golden/quick-param-pointer/v1/export.tools.json");
|
|
9
|
+
const ev = join(root, "test/golden/quick-param-pointer/v1/contract.events.ndjson");
|
|
10
|
+
describe("quick param pointer workflow replay", () => {
|
|
11
|
+
it("replays committed registry + events against fixture sqlite", async () => {
|
|
12
|
+
const res = await verifyWorkflow({
|
|
13
|
+
workflowId: "quick-verify",
|
|
14
|
+
eventsPath: ev,
|
|
15
|
+
registryPath: reg,
|
|
16
|
+
database: { kind: "sqlite", path: dbPath },
|
|
17
|
+
});
|
|
18
|
+
const golden = JSON.parse(readFileSync(join(root, "test/golden/quick-param-pointer/v1/workflow-replay.json"), "utf8"));
|
|
19
|
+
expect(res.workflowTruthReport.workflowStatus).toBe(golden.workflowStatus);
|
|
20
|
+
expect(res.workflowTruthReport.steps.length).toBe(golden.stepCount);
|
|
21
|
+
});
|
|
22
|
+
});
|
|
23
|
+
//# sourceMappingURL=quickParamPointerReplay.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quickParamPointerReplay.test.js","sourceRoot":"","sources":["../../src/quickVerify/quickParamPointerReplay.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,4DAA4D,CAAC,CAAC;AACxF,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,sDAAsD,CAAC,CAAC;AAC/E,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,2DAA2D,CAAC,CAAC;AAEnF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC;YAC/B,UAAU,EAAE,cAAc;YAC1B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,GAAG;YACjB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;SAC3C,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,yDAAyD,CAAC,EAAE,MAAM,CAAC,CAC5F,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -12,5 +12,9 @@ export declare const DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH: {
|
|
|
12
12
|
readonly quickVerifyProvisional: true;
|
|
13
13
|
readonly contractReplayPartialCoverage: true;
|
|
14
14
|
};
|
|
15
|
-
|
|
15
|
+
/** Mutable copy for stdout JSON (`contractReplayPartialCoverage` is computed per run). */
|
|
16
|
+
export type QuickVerifyProductTruth = Omit<typeof DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, "contractReplayPartialCoverage"> & {
|
|
17
|
+
contractReplayPartialCoverage: boolean;
|
|
18
|
+
};
|
|
19
|
+
export declare function buildQuickVerifyProductTruth(contractReplayPartialCoverage: boolean): QuickVerifyProductTruth;
|
|
16
20
|
//# sourceMappingURL=quickVerifyProductTruth.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quickVerifyProductTruth.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,kCAAkC;;;;;;;;;CAcrC,CAAC;AAEX,MAAM,MAAM,uBAAuB,GAAG,OAAO,kCAAkC,CAAC"}
|
|
1
|
+
{"version":3,"file":"quickVerifyProductTruth.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,kCAAkC;;;;;;;;;CAcrC,CAAC;AAEX,0FAA0F;AAC1F,MAAM,MAAM,uBAAuB,GAAG,IAAI,CAAC,OAAO,kCAAkC,EAAE,+BAA+B,CAAC,GAAG;IACvH,6BAA6B,EAAE,OAAO,CAAC;CACxC,CAAC;AAEF,wBAAgB,4BAA4B,CAAC,6BAA6B,EAAE,OAAO,GAAG,uBAAuB,CAK5G"}
|
|
@@ -16,4 +16,10 @@ export const DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH = {
|
|
|
16
16
|
quickVerifyProvisional: true,
|
|
17
17
|
contractReplayPartialCoverage: true,
|
|
18
18
|
};
|
|
19
|
+
export function buildQuickVerifyProductTruth(contractReplayPartialCoverage) {
|
|
20
|
+
return {
|
|
21
|
+
...DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH,
|
|
22
|
+
contractReplayPartialCoverage,
|
|
23
|
+
};
|
|
24
|
+
}
|
|
19
25
|
//# sourceMappingURL=quickVerifyProductTruth.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quickVerifyProductTruth.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,YAAY,EAAE;QACZ,sDAAsD;QACtD,wDAAwD;QACxD,oIAAoI;KACrI;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,0FAA0F;QACpG,QAAQ,EACN,iLAAiL;QACnL,QAAQ,EAAE,uDAAuD;KAClE;IACD,sBAAsB,EAAE,IAAa;IACrC,6BAA6B,EAAE,
|
|
1
|
+
{"version":3,"file":"quickVerifyProductTruth.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyProductTruth.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG;IAChD,YAAY,EAAE;QACZ,sDAAsD;QACtD,wDAAwD;QACxD,oIAAoI;KACrI;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,0FAA0F;QACpG,QAAQ,EACN,iLAAiL;QACnL,QAAQ,EAAE,uDAAuD;KAClE;IACD,sBAAsB,EAAE,IAAa;IACrC,6BAA6B,EAAE,IAAI;CAC3B,CAAC;AAOX,MAAM,UAAU,4BAA4B,CAAC,6BAAsC;IACjF,OAAO;QACL,GAAG,kCAAkC;QACrC,6BAA6B;KAC9B,CAAC;AACJ,CAAC"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
/** Machine-readable Quick Verify ICP; must match schemas/quick-verify-report.schema.json and runQuickVerify.ts. */
|
|
2
|
-
export declare const QUICK_VERIFY_VERSION: "1.
|
|
3
|
-
export declare const QUICK_SCOPE_LIMITATIONS: readonly ["quick_verify_inferred_row_and_related_exists_only", "no_multi_effect_contract", "no_destructive_or_forbidden_row_contract", "
|
|
2
|
+
export declare const QUICK_VERIFY_VERSION: "1.2.0";
|
|
3
|
+
export declare const QUICK_SCOPE_LIMITATIONS: readonly ["quick_verify_inferred_row_and_related_exists_only", "no_multi_effect_contract", "no_destructive_or_forbidden_row_contract", "contract_replay_export_row_and_eligible_related_exists_tools"];
|
|
4
4
|
export type QuickVerifyScope = {
|
|
5
5
|
quickVerifyVersion: typeof QUICK_VERIFY_VERSION;
|
|
6
6
|
capabilities: readonly ["inferred_row", "inferred_related_exists"];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quickVerifyScope.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,eAAO,MAAM,oBAAoB,EAAG,OAAgB,CAAC;AAErD,eAAO,MAAM,uBAAuB,
|
|
1
|
+
{"version":3,"file":"quickVerifyScope.d.ts","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,eAAO,MAAM,oBAAoB,EAAG,OAAgB,CAAC;AAErD,eAAO,MAAM,uBAAuB,wMAK1B,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG;IAC7B,kBAAkB,EAAE,OAAO,oBAAoB,CAAC;IAChD,YAAY,EAAE,SAAS,CAAC,cAAc,EAAE,yBAAyB,CAAC,CAAC;IACnE,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,cAAc,EAAE,0BAA0B,CAAC;IAC3C,WAAW,EAAE,eAAe,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,gBAMxC,CAAC"}
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
/** Machine-readable Quick Verify ICP; must match schemas/quick-verify-report.schema.json and runQuickVerify.ts. */
|
|
2
|
-
export const QUICK_VERIFY_VERSION = "1.
|
|
2
|
+
export const QUICK_VERIFY_VERSION = "1.2.0";
|
|
3
3
|
export const QUICK_SCOPE_LIMITATIONS = [
|
|
4
4
|
"quick_verify_inferred_row_and_related_exists_only",
|
|
5
5
|
"no_multi_effect_contract",
|
|
6
6
|
"no_destructive_or_forbidden_row_contract",
|
|
7
|
-
"
|
|
7
|
+
"contract_replay_export_row_and_eligible_related_exists_tools",
|
|
8
8
|
];
|
|
9
9
|
export const DEFAULT_QUICK_VERIFY_SCOPE = {
|
|
10
10
|
quickVerifyVersion: QUICK_VERIFY_VERSION,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quickVerifyScope.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,MAAM,CAAC,MAAM,oBAAoB,GAAG,OAAgB,CAAC;AAErD,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,mDAAmD;IACnD,0BAA0B;IAC1B,0CAA0C;IAC1C,
|
|
1
|
+
{"version":3,"file":"quickVerifyScope.js","sourceRoot":"","sources":["../../src/quickVerify/quickVerifyScope.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAEnH,MAAM,CAAC,MAAM,oBAAoB,GAAG,OAAgB,CAAC;AAErD,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,mDAAmD;IACnD,0BAA0B;IAC1B,0CAA0C;IAC1C,8DAA8D;CACtD,CAAC;AAUX,MAAM,CAAC,MAAM,0BAA0B,GAAqB;IAC1D,kBAAkB,EAAE,oBAAoB;IACxC,YAAY,EAAE,CAAC,cAAc,EAAE,yBAAyB,CAAC;IACzD,WAAW,EAAE,CAAC,GAAG,uBAAuB,CAAC;IACzC,cAAc,EAAE,0BAA0B;IAC1C,WAAW,EAAE,eAAe;CAC7B,CAAC"}
|
|
@@ -1,6 +1,10 @@
|
|
|
1
1
|
import type { VerificationRequest } from "../types.js";
|
|
2
2
|
import type { SchemaCatalog } from "./schemaCatalogTypes.js";
|
|
3
3
|
import type { ActionBucket } from "./decomposeUnits.js";
|
|
4
|
+
export type PkFlatBinding = {
|
|
5
|
+
column: string;
|
|
6
|
+
flatKey: string;
|
|
7
|
+
};
|
|
4
8
|
export type RowUnitPlan = {
|
|
5
9
|
request: VerificationRequest | null;
|
|
6
10
|
confidence: number;
|
|
@@ -10,6 +14,10 @@ export type RowUnitPlan = {
|
|
|
10
14
|
table: string;
|
|
11
15
|
score: number;
|
|
12
16
|
}>;
|
|
17
|
+
/** Per-PK flat keys used for identity (sorted by column); only when `request` is non-null. */
|
|
18
|
+
pkFlatBindings?: PkFlatBinding[];
|
|
19
|
+
/** True iff every `pkFlatBindings[].flatKey` maps to a JSON Pointer (`flatKeyToJsonPointer`). */
|
|
20
|
+
pointerComplete?: boolean;
|
|
13
21
|
};
|
|
14
22
|
export declare function planRowUnit(catalog: SchemaCatalog, b: ActionBucket, allTables: string[]): Promise<RowUnitPlan>;
|
|
15
23
|
//# sourceMappingURL=rowUnit.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"rowUnit.d.ts","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAsB,MAAM,aAAa,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"rowUnit.d.ts","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAsB,MAAM,aAAa,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAqBxD,MAAM,MAAM,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE,MAAM,MAAM,WAAW,GAAG;IACxB,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrD,8FAA8F;IAC9F,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC,iGAAiG;IACjG,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,wBAAsB,WAAW,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CA+HpH"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { compareUtf16Id } from "../resolveExpectation.js";
|
|
2
2
|
import { mappingKeyForPath } from "./decomposeUnits.js";
|
|
3
3
|
import { T_AMBIGUITY_DELTA, T_COL, T_OVERALL, columnScore, tableScoreAction } from "./tableScoring.js";
|
|
4
|
+
import { flatKeyToJsonPointer } from "./flatKeyToJsonPointer.js";
|
|
4
5
|
function toScalar(v) {
|
|
5
6
|
if (v === null)
|
|
6
7
|
return null;
|
|
@@ -71,6 +72,7 @@ export async function planRowUnit(catalog, b, allTables) {
|
|
|
71
72
|
value: b.flat[path],
|
|
72
73
|
}));
|
|
73
74
|
const identityEq = [];
|
|
75
|
+
const pkFlatBindings = [];
|
|
74
76
|
let minIdScore = 1;
|
|
75
77
|
for (const col of [...pk].sort(compareUtf16Id)) {
|
|
76
78
|
let bestMk = "";
|
|
@@ -88,7 +90,11 @@ export async function planRowUnit(catalog, b, allTables) {
|
|
|
88
90
|
return { request: null, confidence: 0, reasonCodes, rationale };
|
|
89
91
|
}
|
|
90
92
|
minIdScore = Math.min(minIdScore, bestS);
|
|
91
|
-
const
|
|
93
|
+
const candidates = mkEntries.filter((x) => x.mk === bestMk);
|
|
94
|
+
const pick = candidates.length === 1
|
|
95
|
+
? candidates[0]
|
|
96
|
+
: [...candidates].sort((a, b) => compareUtf16Id(a.path, b.path))[0];
|
|
97
|
+
const sc = toScalar(pick.value ?? null);
|
|
92
98
|
if (sc === undefined) {
|
|
93
99
|
reasonCodes.push("MAPPING_NO_UNIQUE_KEY");
|
|
94
100
|
rationale.push(`PK ${col} mapped value not a verification scalar`);
|
|
@@ -98,6 +104,7 @@ export async function planRowUnit(catalog, b, allTables) {
|
|
|
98
104
|
column: col,
|
|
99
105
|
value: scalarToIdentityString(sc),
|
|
100
106
|
});
|
|
107
|
+
pkFlatBindings.push({ column: col, flatKey: pick.path });
|
|
101
108
|
}
|
|
102
109
|
const pkSet = new Set(pk);
|
|
103
110
|
const rf = {};
|
|
@@ -126,7 +133,15 @@ export async function planRowUnit(catalog, b, allTables) {
|
|
|
126
133
|
identityEq,
|
|
127
134
|
requiredFields: rf,
|
|
128
135
|
};
|
|
136
|
+
const pointerComplete = pkFlatBindings.every((b) => flatKeyToJsonPointer(b.flatKey).ok);
|
|
129
137
|
rationale.push(`Table ${tableName}, PK [${pk.join(",")}], ${Object.keys(rf).length} field(s) compared`);
|
|
130
|
-
return {
|
|
138
|
+
return {
|
|
139
|
+
request,
|
|
140
|
+
confidence,
|
|
141
|
+
reasonCodes,
|
|
142
|
+
rationale,
|
|
143
|
+
pkFlatBindings,
|
|
144
|
+
pointerComplete,
|
|
145
|
+
};
|
|
131
146
|
}
|
|
132
147
|
//# sourceMappingURL=rowUnit.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"rowUnit.js","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAI1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"rowUnit.js","sourceRoot":"","sources":["../../src/quickVerify/rowUnit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAI1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,SAAS,QAAQ,CAAC,CAAa;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAqB;IACnD,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACxD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC;AACX,CAAC;AAgBD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAsB,EAAE,CAAe,EAAE,SAAmB;IAC5F,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,MAAM,MAAM,GAAG,SAAS;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAClE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAEhC,IAAI,CAAC,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;QACjC,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,SAAS,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,IAAI,iBAAiB,IAAI,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9F,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACtC,SAAS,CAAC,IAAI,CAAC,sCAAsC,GAAG,OAAO,MAAM,EAAE,CAAC,CAAC;YACzE,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,UAAU,EAAE,EAAE;gBACd,WAAW;gBACX,SAAS;gBACT,UAAU,EAAE;oBACV,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE;oBACzB,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE;iBAC7B;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;IAC9B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9D,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAC1G,CAAC;QACF,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC1C,SAAS,CAAC,IAAI,CAAC,+BAA+B,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IAClE,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI;QACJ,EAAE,EAAE,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC;QACxC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KACpB,CAAC,CAAC,CAAC;IAEJ,MAAM,UAAU,GAAsC,EAAE,CAAC;IACzD,MAAM,cAAc,GAAoB,EAAE,CAAC;IAC3C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC/C,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACnE,KAAK,GAAG,CAAC,CAAC;gBACV,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,aAAa,GAAG,8BAA8B,CAAC,CAAC;YAC/D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QAClE,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAC5D,MAAM,IAAI,GACR,UAAU,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE;YAChB,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;QACzE,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;QACxC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAC1C,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,yCAAyC,CAAC,CAAC;YACnE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QAClE,CAAC;QACD,UAAU,CAAC,IAAI,CAAC;YACd,MAAM,EAAE,GAAG;YACX,KAAK,EAAE,sBAAsB,CAAC,EAAE,CAAC;SAClC,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAuC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7B,IAAI,MAAM,GAAgD,IAAI,CAAC;QAC/D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,KAAK;gBAAE,SAAS;YACxB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YAC/B,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAAE,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,MAAM;YAAE,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,GAAG,UAAU,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAwB;QACnC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,SAAS;QAChB,UAAU;QACV,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,MAAM,eAAe,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACxF,SAAS,CAAC,IAAI,CAAC,SAAS,SAAS,SAAS,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,oBAAoB,CAAC,CAAC;IACxG,OAAO;QACL,OAAO;QACP,UAAU;QACV,WAAW;QACX,SAAS;QACT,cAAc;QACd,eAAe;KAChB,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"runQuickVerify.d.ts","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,
|
|
1
|
+
{"version":3,"file":"runQuickVerify.d.ts","sourceRoot":"","sources":["../../src/quickVerify/runQuickVerify.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAA2C,MAAM,aAAa,CAAC;AAmBvH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAA8B,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAgC,KAAK,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAO1G,MAAM,MAAM,iBAAiB,GAAG;IAC9B,aAAa,EAAE,CAAC,CAAC;IACjB,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,UAAU,CAAC;IAC7B,KAAK,EAAE,gBAAgB,CAAC;IACxB,YAAY,EAAE,uBAAuB,CAAC;IACtC,MAAM,EAAE;QAAE,WAAW,EAAE,MAAM,EAAE,CAAC;QAAC,kBAAkB,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9D,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7D,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,KAAK,EAAE,KAAK,CAAC;QACX,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,KAAK,GAAG,gBAAgB,CAAC;QAC/B,OAAO,EAAE,UAAU,GAAG,MAAM,GAAG,WAAW,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,YAAY,EAAE;YAAE,QAAQ,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QACxD,gBAAgB,EAAE,OAAO,CAAC;QAC1B,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAA;SAAE,CAAC;QAC1E,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE;YACd,QAAQ,EAAE,MAAM,CAAC;YACjB,QAAQ,EAAE,MAAM,CAAC;YACjB,iBAAiB,EAAE,MAAM,CAAC;YAC1B,oBAAoB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,qBAAqB,CAAC,EAAE,uBAAuB,CAAC;KACjD,CAAC,CAAC;IACH,kBAAkB,EAAE;QAAE,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,mBAAmB,EAAE,CAAC;CACxC,CAAC;AAkCF,wBAAsB,cAAc,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAoW/F;AAED,gDAAgD;AAChD,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAEzE;AAED,wBAAsB,+BAA+B,CAAC,IAAI,EAAE,qBAAqB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAUhH"}
|
|
@@ -11,14 +11,18 @@ import { planRowUnit } from "./rowUnit.js";
|
|
|
11
11
|
import { planRelationalFromFlat } from "./relationalPlan.js";
|
|
12
12
|
import { PostgresSchemaCatalog } from "./postgresCatalog.js";
|
|
13
13
|
import { SqliteSchemaCatalog } from "./sqliteCatalog.js";
|
|
14
|
-
import { exportSqlRowTool } from "./exportTool.js";
|
|
14
|
+
import { exportSqlRelationalRelatedExistsTool, exportSqlRowParamPointerTool, exportSqlRowTool, } from "./exportTool.js";
|
|
15
15
|
import { verifyRowPostgres, verifyRowSqlite, verifyRelatedExists } from "./verifyExecution.js";
|
|
16
|
-
import { T_EXPORT, MAX_UNITS } from "./thresholds.js";
|
|
16
|
+
import { T_COL, T_EXPORT, MAX_UNITS } from "./thresholds.js";
|
|
17
17
|
import { compareUtf16Id } from "../resolveExpectation.js";
|
|
18
18
|
import { MSG_NO_STRUCTURED_TOOL_ACTIVITY, MSG_NO_TOOL_CALLS } from "./quickVerifyHumanCopy.js";
|
|
19
19
|
import { DEFAULT_QUICK_VERIFY_SCOPE } from "./quickVerifyScope.js";
|
|
20
|
-
import {
|
|
20
|
+
import { buildQuickVerifyProductTruth } from "./quickVerifyProductTruth.js";
|
|
21
|
+
import { resolveVerificationRequest } from "../resolveExpectation.js";
|
|
21
22
|
import { buildQuickUnitReconciliation } from "../reconciliationPresentation.js";
|
|
23
|
+
import { buildSyntheticRowParams } from "./buildSyntheticRowParams.js";
|
|
24
|
+
import { flatKeyToJsonPointer } from "./flatKeyToJsonPointer.js";
|
|
25
|
+
import { normalizedSqlRowRequestFingerprint } from "./verificationRequestFingerprint.js";
|
|
22
26
|
function rollupVerdict(units, ingestCodes, hadActions) {
|
|
23
27
|
if (!hadActions &&
|
|
24
28
|
(ingestCodes.includes("INGEST_NO_ACTIONS") || ingestCodes.includes("INGEST_NO_STRUCTURED_TOOL_ACTIVITY"))) {
|
|
@@ -62,7 +66,7 @@ export async function runQuickVerify(opts) {
|
|
|
62
66
|
summary: buildSummary("uncertain", units, ingestBlock),
|
|
63
67
|
verificationMode: "inferred",
|
|
64
68
|
scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
|
|
65
|
-
productTruth:
|
|
69
|
+
productTruth: buildQuickVerifyProductTruth(false),
|
|
66
70
|
ingest: ingestBlock,
|
|
67
71
|
units,
|
|
68
72
|
exportableRegistry: { tools: [] },
|
|
@@ -153,7 +157,57 @@ export async function runQuickVerify(opts) {
|
|
|
153
157
|
const rowOut = dialect === "postgres"
|
|
154
158
|
? await verifyRowPostgres(pgClient, plan.request)
|
|
155
159
|
: verifyRowSqlite(sqliteDb, plan.request);
|
|
156
|
-
const
|
|
160
|
+
const exportedLegacy = plan.confidence >= T_EXPORT;
|
|
161
|
+
let exportedPointer = false;
|
|
162
|
+
let pointerSynthetic;
|
|
163
|
+
let pointerSpecs;
|
|
164
|
+
if (rowOut.verdict === "verified" &&
|
|
165
|
+
plan.pointerComplete &&
|
|
166
|
+
plan.pkFlatBindings &&
|
|
167
|
+
plan.confidence >= T_COL &&
|
|
168
|
+
plan.confidence < T_EXPORT) {
|
|
169
|
+
const qvFieldsSorted = {};
|
|
170
|
+
for (const k of Object.keys(plan.request.requiredFields).sort(compareUtf16Id)) {
|
|
171
|
+
qvFieldsSorted[k] = plan.request.requiredFields[k];
|
|
172
|
+
}
|
|
173
|
+
try {
|
|
174
|
+
pointerSynthetic = buildSyntheticRowParams(action.params, qvFieldsSorted);
|
|
175
|
+
}
|
|
176
|
+
catch {
|
|
177
|
+
pointerSynthetic = undefined;
|
|
178
|
+
}
|
|
179
|
+
if (pointerSynthetic) {
|
|
180
|
+
const sortedBindings = [...plan.pkFlatBindings].sort((a, b) => compareUtf16Id(a.column, b.column));
|
|
181
|
+
const specs = [];
|
|
182
|
+
let ptrOk = true;
|
|
183
|
+
for (const b of sortedBindings) {
|
|
184
|
+
const fp = flatKeyToJsonPointer(b.flatKey);
|
|
185
|
+
if (!fp.ok) {
|
|
186
|
+
ptrOk = false;
|
|
187
|
+
break;
|
|
188
|
+
}
|
|
189
|
+
specs.push({ column: b.column, valuePointer: fp.pointer });
|
|
190
|
+
}
|
|
191
|
+
if (ptrOk && specs.length > 0) {
|
|
192
|
+
let tidProbe = `quick:${uid}`;
|
|
193
|
+
const usedProbe = new Set(exportTools.map((t) => t.toolId));
|
|
194
|
+
let nProbe = 1;
|
|
195
|
+
while (usedProbe.has(tidProbe)) {
|
|
196
|
+
tidProbe = `quick:${uid}:${nProbe++}`;
|
|
197
|
+
}
|
|
198
|
+
const regProbe = exportSqlRowParamPointerTool(tidProbe, plan.request.table, specs);
|
|
199
|
+
const resolved = resolveVerificationRequest(regProbe, pointerSynthetic);
|
|
200
|
+
if (resolved.ok &&
|
|
201
|
+
resolved.verificationKind === "sql_row" &&
|
|
202
|
+
normalizedSqlRowRequestFingerprint(resolved.request) ===
|
|
203
|
+
normalizedSqlRowRequestFingerprint(plan.request)) {
|
|
204
|
+
exportedPointer = true;
|
|
205
|
+
pointerSpecs = specs;
|
|
206
|
+
}
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
}
|
|
210
|
+
const exported = exportedLegacy || exportedPointer;
|
|
157
211
|
let tid = `quick:${uid}`;
|
|
158
212
|
if (exported) {
|
|
159
213
|
const used = new Set(exportTools.map((t) => t.toolId));
|
|
@@ -161,8 +215,19 @@ export async function runQuickVerify(opts) {
|
|
|
161
215
|
while (used.has(tid)) {
|
|
162
216
|
tid = `quick:${uid}:${n++}`;
|
|
163
217
|
}
|
|
164
|
-
|
|
165
|
-
|
|
218
|
+
if (exportedLegacy) {
|
|
219
|
+
exportTools.push(exportSqlRowTool(tid, plan.request));
|
|
220
|
+
contractExports.push({ toolId: tid, kind: "sql_row", request: plan.request });
|
|
221
|
+
}
|
|
222
|
+
else if (exportedPointer && pointerSynthetic && pointerSpecs) {
|
|
223
|
+
exportTools.push(exportSqlRowParamPointerTool(tid, plan.request.table, pointerSpecs));
|
|
224
|
+
contractExports.push({
|
|
225
|
+
toolId: tid,
|
|
226
|
+
kind: "sql_row",
|
|
227
|
+
request: plan.request,
|
|
228
|
+
syntheticParams: pointerSynthetic,
|
|
229
|
+
});
|
|
230
|
+
}
|
|
166
231
|
}
|
|
167
232
|
const rowReconciliation = rowOut.verdict === "verified"
|
|
168
233
|
? buildQuickUnitReconciliation({
|
|
@@ -228,14 +293,38 @@ export async function runQuickVerify(opts) {
|
|
|
228
293
|
const rout = dialect === "postgres"
|
|
229
294
|
? await verifyRelatedExists("postgres", pgClient, rel)
|
|
230
295
|
: await verifyRelatedExists("sqlite", sqliteDb, rel);
|
|
296
|
+
const relConfidence = 0.8;
|
|
297
|
+
let relContractEligible = false;
|
|
298
|
+
if (rout.verdict === "verified" && relConfidence >= T_EXPORT) {
|
|
299
|
+
const rtid0 = `quick:rel:${rel.id}`;
|
|
300
|
+
let rtid = rtid0;
|
|
301
|
+
let entry = exportSqlRelationalRelatedExistsTool(rtid, rel);
|
|
302
|
+
let res = resolveVerificationRequest(entry, {});
|
|
303
|
+
if (res.ok) {
|
|
304
|
+
const used = new Set(exportTools.map((t) => t.toolId));
|
|
305
|
+
let n = 1;
|
|
306
|
+
while (used.has(rtid)) {
|
|
307
|
+
rtid = `${rtid0}:${n++}`;
|
|
308
|
+
entry = exportSqlRelationalRelatedExistsTool(rtid, rel);
|
|
309
|
+
res = resolveVerificationRequest(entry, {});
|
|
310
|
+
if (!res.ok)
|
|
311
|
+
break;
|
|
312
|
+
}
|
|
313
|
+
if (res.ok) {
|
|
314
|
+
exportTools.push(entry);
|
|
315
|
+
contractExports.push({ toolId: rtid, kind: "related_exists_export" });
|
|
316
|
+
relContractEligible = true;
|
|
317
|
+
}
|
|
318
|
+
}
|
|
319
|
+
}
|
|
231
320
|
const relBase = {
|
|
232
321
|
unitId: uid,
|
|
233
322
|
kind: "related_exists",
|
|
234
323
|
verdict: rout.verdict,
|
|
235
|
-
confidence:
|
|
324
|
+
confidence: relConfidence,
|
|
236
325
|
reasonCodes: rout.reasonCodes,
|
|
237
326
|
sourceAction,
|
|
238
|
-
contractEligible:
|
|
327
|
+
contractEligible: relContractEligible,
|
|
239
328
|
inference: { table: rel.childTable, rationale: [`FK ${rel.id}`] },
|
|
240
329
|
verification: rout.verification,
|
|
241
330
|
explanation: rout.explanation,
|
|
@@ -247,7 +336,7 @@ export async function runQuickVerify(opts) {
|
|
|
247
336
|
check: rel,
|
|
248
337
|
verdict: rout.verdict,
|
|
249
338
|
reasonCodes: rout.reasonCodes,
|
|
250
|
-
confidence:
|
|
339
|
+
confidence: relConfidence,
|
|
251
340
|
}),
|
|
252
341
|
};
|
|
253
342
|
pushUnit(rout.verdict === "verified"
|
|
@@ -270,13 +359,15 @@ export async function runQuickVerify(opts) {
|
|
|
270
359
|
const verdict = rollupVerdict(units, ingest.reasonCodes, hadActions);
|
|
271
360
|
exportTools.sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
|
|
272
361
|
contractExports.sort((a, b) => compareUtf16Id(a.toolId, b.toolId));
|
|
362
|
+
const anyNotContractEligible = units.some((u) => !u.contractEligible);
|
|
363
|
+
const contractReplayPartialCoverage = exportTools.length > 0 && anyNotContractEligible;
|
|
273
364
|
const report = {
|
|
274
365
|
schemaVersion: 4,
|
|
275
366
|
verdict,
|
|
276
367
|
summary: buildSummary(verdict, units, ingestBlock),
|
|
277
368
|
verificationMode: "inferred",
|
|
278
369
|
scope: { ...DEFAULT_QUICK_VERIFY_SCOPE },
|
|
279
|
-
productTruth:
|
|
370
|
+
productTruth: buildQuickVerifyProductTruth(contractReplayPartialCoverage),
|
|
280
371
|
ingest: ingestBlock,
|
|
281
372
|
...(ingestWarnings ? { ingestWarnings } : {}),
|
|
282
373
|
...(runHeaderReasonCodes.length ? { runHeaderReasonCodes } : {}),
|