agentskeptic 0.1.1
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/LICENSE +21 -0
- package/README.md +342 -0
- package/dist/actionableFailure.d.ts +53 -0
- package/dist/actionableFailure.d.ts.map +1 -0
- package/dist/actionableFailure.js +424 -0
- package/dist/actionableFailure.js.map +1 -0
- package/dist/actionableFailure.partitionExhaustive.test.d.ts +2 -0
- package/dist/actionableFailure.partitionExhaustive.test.d.ts.map +1 -0
- package/dist/actionableFailure.partitionExhaustive.test.js +20 -0
- package/dist/actionableFailure.partitionExhaustive.test.js.map +1 -0
- package/dist/actionableFailure.remediationExhaustive.test.d.ts +2 -0
- package/dist/actionableFailure.remediationExhaustive.test.d.ts.map +1 -0
- package/dist/actionableFailure.remediationExhaustive.test.js +297 -0
- package/dist/actionableFailure.remediationExhaustive.test.js.map +1 -0
- package/dist/actionableFailure.test.d.ts +2 -0
- package/dist/actionableFailure.test.d.ts.map +1 -0
- package/dist/actionableFailure.test.js +211 -0
- package/dist/actionableFailure.test.js.map +1 -0
- package/dist/agentRunBundle.d.ts +24 -0
- package/dist/agentRunBundle.d.ts.map +1 -0
- package/dist/agentRunBundle.js +114 -0
- package/dist/agentRunBundle.js.map +1 -0
- package/dist/agentRunBundle.rollback.test.d.ts +2 -0
- package/dist/agentRunBundle.rollback.test.d.ts.map +1 -0
- package/dist/agentRunBundle.rollback.test.js +65 -0
- package/dist/agentRunBundle.rollback.test.js.map +1 -0
- package/dist/agentRunBundle.test.d.ts +2 -0
- package/dist/agentRunBundle.test.d.ts.map +1 -0
- package/dist/agentRunBundle.test.js +126 -0
- package/dist/agentRunBundle.test.js.map +1 -0
- package/dist/agentRunRecord.d.ts +82 -0
- package/dist/agentRunRecord.d.ts.map +1 -0
- package/dist/agentRunRecord.js +51 -0
- package/dist/agentRunRecord.js.map +1 -0
- package/dist/agentRunRecord.test.d.ts +2 -0
- package/dist/agentRunRecord.test.d.ts.map +1 -0
- package/dist/agentRunRecord.test.js +49 -0
- package/dist/agentRunRecord.test.js.map +1 -0
- package/dist/aggregate.d.ts +3 -0
- package/dist/aggregate.d.ts.map +1 -0
- package/dist/aggregate.js +36 -0
- package/dist/aggregate.js.map +1 -0
- package/dist/assurance/assurancePathArgs.d.ts +10 -0
- package/dist/assurance/assurancePathArgs.d.ts.map +1 -0
- package/dist/assurance/assurancePathArgs.js +54 -0
- package/dist/assurance/assurancePathArgs.js.map +1 -0
- package/dist/assurance/checkStale.d.ts +14 -0
- package/dist/assurance/checkStale.d.ts.map +1 -0
- package/dist/assurance/checkStale.js +48 -0
- package/dist/assurance/checkStale.js.map +1 -0
- package/dist/assurance/findRepoRoot.d.ts +6 -0
- package/dist/assurance/findRepoRoot.d.ts.map +1 -0
- package/dist/assurance/findRepoRoot.js +27 -0
- package/dist/assurance/findRepoRoot.js.map +1 -0
- package/dist/assurance/runAssurance.d.ts +24 -0
- package/dist/assurance/runAssurance.d.ts.map +1 -0
- package/dist/assurance/runAssurance.js +105 -0
- package/dist/assurance/runAssurance.js.map +1 -0
- package/dist/bundleSignatureCodes.d.ts +13 -0
- package/dist/bundleSignatureCodes.d.ts.map +1 -0
- package/dist/bundleSignatureCodes.js +12 -0
- package/dist/bundleSignatureCodes.js.map +1 -0
- package/dist/canonicalParams.d.ts +3 -0
- package/dist/canonicalParams.d.ts.map +1 -0
- package/dist/canonicalParams.js +16 -0
- package/dist/canonicalParams.js.map +1 -0
- package/dist/ciLock.d.ts +52 -0
- package/dist/ciLock.d.ts.map +1 -0
- package/dist/ciLock.js +117 -0
- package/dist/ciLock.js.map +1 -0
- package/dist/ciLockWorkflow.d.ts +4 -0
- package/dist/ciLockWorkflow.d.ts.map +1 -0
- package/dist/ciLockWorkflow.js +278 -0
- package/dist/ciLockWorkflow.js.map +1 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.failureExplanationInvariant.test.d.ts +2 -0
- package/dist/cli.failureExplanationInvariant.test.d.ts.map +1 -0
- package/dist/cli.failureExplanationInvariant.test.js +40 -0
- package/dist/cli.failureExplanationInvariant.test.js.map +1 -0
- package/dist/cli.js +998 -0
- package/dist/cli.js.map +1 -0
- package/dist/cliArgv.d.ts +40 -0
- package/dist/cliArgv.d.ts.map +1 -0
- package/dist/cliArgv.js +149 -0
- package/dist/cliArgv.js.map +1 -0
- package/dist/cliOperationalCodes.d.ts +65 -0
- package/dist/cliOperationalCodes.d.ts.map +1 -0
- package/dist/cliOperationalCodes.js +64 -0
- package/dist/cliOperationalCodes.js.map +1 -0
- package/dist/commercial/licensePreflight.d.ts +7 -0
- package/dist/commercial/licensePreflight.d.ts.map +1 -0
- package/dist/commercial/licensePreflight.js +95 -0
- package/dist/commercial/licensePreflight.js.map +1 -0
- package/dist/commercial/licensePreflight.test.d.ts +2 -0
- package/dist/commercial/licensePreflight.test.d.ts.map +1 -0
- package/dist/commercial/licensePreflight.test.js +123 -0
- package/dist/commercial/licensePreflight.test.js.map +1 -0
- package/dist/compare.acceptance.test.d.ts +2 -0
- package/dist/compare.acceptance.test.d.ts.map +1 -0
- package/dist/compare.acceptance.test.js +80 -0
- package/dist/compare.acceptance.test.js.map +1 -0
- package/dist/correctnessDefinition.d.ts +23 -0
- package/dist/correctnessDefinition.d.ts.map +1 -0
- package/dist/correctnessDefinition.docParity.test.d.ts +2 -0
- package/dist/correctnessDefinition.docParity.test.d.ts.map +1 -0
- package/dist/correctnessDefinition.docParity.test.js +22 -0
- package/dist/correctnessDefinition.docParity.test.js.map +1 -0
- package/dist/correctnessDefinition.js +283 -0
- package/dist/correctnessDefinition.js.map +1 -0
- package/dist/correctnessDefinitionTemplates.d.ts +70 -0
- package/dist/correctnessDefinitionTemplates.d.ts.map +1 -0
- package/dist/correctnessDefinitionTemplates.js +121 -0
- package/dist/correctnessDefinitionTemplates.js.map +1 -0
- package/dist/debug-ui/app.css +188 -0
- package/dist/debug-ui/app.js +245 -0
- package/dist/debug-ui/index.html +79 -0
- package/dist/debugCorpus.d.ts +68 -0
- package/dist/debugCorpus.d.ts.map +1 -0
- package/dist/debugCorpus.js +544 -0
- package/dist/debugCorpus.js.map +1 -0
- package/dist/debugCorpus.test.d.ts +2 -0
- package/dist/debugCorpus.test.d.ts.map +1 -0
- package/dist/debugCorpus.test.js +159 -0
- package/dist/debugCorpus.test.js.map +1 -0
- package/dist/debugFocus.d.ts +16 -0
- package/dist/debugFocus.d.ts.map +1 -0
- package/dist/debugFocus.js +51 -0
- package/dist/debugFocus.js.map +1 -0
- package/dist/debugFocus.test.d.ts +2 -0
- package/dist/debugFocus.test.d.ts.map +1 -0
- package/dist/debugFocus.test.js +43 -0
- package/dist/debugFocus.test.js.map +1 -0
- package/dist/debugPanels.d.ts +13 -0
- package/dist/debugPanels.d.ts.map +1 -0
- package/dist/debugPanels.js +113 -0
- package/dist/debugPanels.js.map +1 -0
- package/dist/debugPanels.test.d.ts +2 -0
- package/dist/debugPanels.test.d.ts.map +1 -0
- package/dist/debugPanels.test.js +204 -0
- package/dist/debugPanels.test.js.map +1 -0
- package/dist/debugPatterns.d.ts +47 -0
- package/dist/debugPatterns.d.ts.map +1 -0
- package/dist/debugPatterns.js +113 -0
- package/dist/debugPatterns.js.map +1 -0
- package/dist/debugPatterns.test.d.ts +2 -0
- package/dist/debugPatterns.test.d.ts.map +1 -0
- package/dist/debugPatterns.test.js +48 -0
- package/dist/debugPatterns.test.js.map +1 -0
- package/dist/debugRunFilters.d.ts +31 -0
- package/dist/debugRunFilters.d.ts.map +1 -0
- package/dist/debugRunFilters.js +118 -0
- package/dist/debugRunFilters.js.map +1 -0
- package/dist/debugRunFilters.test.d.ts +2 -0
- package/dist/debugRunFilters.test.d.ts.map +1 -0
- package/dist/debugRunFilters.test.js +78 -0
- package/dist/debugRunFilters.test.js.map +1 -0
- package/dist/debugRunIndex.d.ts +27 -0
- package/dist/debugRunIndex.d.ts.map +1 -0
- package/dist/debugRunIndex.js +58 -0
- package/dist/debugRunIndex.js.map +1 -0
- package/dist/debugServer.d.ts +19 -0
- package/dist/debugServer.d.ts.map +1 -0
- package/dist/debugServer.js +315 -0
- package/dist/debugServer.js.map +1 -0
- package/dist/debugServer.test.d.ts +2 -0
- package/dist/debugServer.test.d.ts.map +1 -0
- package/dist/debugServer.test.js +207 -0
- package/dist/debugServer.test.js.map +1 -0
- package/dist/discovery-payload-v1.json +75 -0
- package/dist/distributionFooter.d.ts +3 -0
- package/dist/distributionFooter.d.ts.map +1 -0
- package/dist/distributionFooter.js +3 -0
- package/dist/distributionFooter.js.map +1 -0
- package/dist/documentationCopyConsistency.test.d.ts +2 -0
- package/dist/documentationCopyConsistency.test.d.ts.map +1 -0
- package/dist/documentationCopyConsistency.test.js +94 -0
- package/dist/documentationCopyConsistency.test.js.map +1 -0
- package/dist/enforceCli.d.ts +4 -0
- package/dist/enforceCli.d.ts.map +1 -0
- package/dist/enforceCli.js +93 -0
- package/dist/enforceCli.js.map +1 -0
- package/dist/eventSequenceIntegrity.d.ts +7 -0
- package/dist/eventSequenceIntegrity.d.ts.map +1 -0
- package/dist/eventSequenceIntegrity.js +47 -0
- package/dist/eventSequenceIntegrity.js.map +1 -0
- package/dist/eventSequenceIntegrity.test.d.ts +2 -0
- package/dist/eventSequenceIntegrity.test.d.ts.map +1 -0
- package/dist/eventSequenceIntegrity.test.js +65 -0
- package/dist/eventSequenceIntegrity.test.js.map +1 -0
- package/dist/executionPathFindings.d.ts +15 -0
- package/dist/executionPathFindings.d.ts.map +1 -0
- package/dist/executionPathFindings.js +299 -0
- package/dist/executionPathFindings.js.map +1 -0
- package/dist/executionPathFindings.requirements.test.d.ts +2 -0
- package/dist/executionPathFindings.requirements.test.d.ts.map +1 -0
- package/dist/executionPathFindings.requirements.test.js +332 -0
- package/dist/executionPathFindings.requirements.test.js.map +1 -0
- package/dist/executionTrace.d.ts +13 -0
- package/dist/executionTrace.d.ts.map +1 -0
- package/dist/executionTrace.js +272 -0
- package/dist/executionTrace.js.map +1 -0
- package/dist/executionTrace.test.d.ts +2 -0
- package/dist/executionTrace.test.d.ts.map +1 -0
- package/dist/executionTrace.test.js +200 -0
- package/dist/executionTrace.test.js.map +1 -0
- package/dist/failureAnalysis.d.ts +8 -0
- package/dist/failureAnalysis.d.ts.map +1 -0
- package/dist/failureAnalysis.js +337 -0
- package/dist/failureAnalysis.js.map +1 -0
- package/dist/failureAnalysis.test.d.ts +2 -0
- package/dist/failureAnalysis.test.d.ts.map +1 -0
- package/dist/failureAnalysis.test.js +196 -0
- package/dist/failureAnalysis.test.js.map +1 -0
- package/dist/failureCatalog.d.ts +26 -0
- package/dist/failureCatalog.d.ts.map +1 -0
- package/dist/failureCatalog.js +51 -0
- package/dist/failureCatalog.js.map +1 -0
- package/dist/failureCatalog.test.d.ts +2 -0
- package/dist/failureCatalog.test.d.ts.map +1 -0
- package/dist/failureCatalog.test.js +25 -0
- package/dist/failureCatalog.test.js.map +1 -0
- package/dist/failureExplanation.d.ts +52 -0
- package/dist/failureExplanation.d.ts.map +1 -0
- package/dist/failureExplanation.failureAnalysisMock.test.d.ts +2 -0
- package/dist/failureExplanation.failureAnalysisMock.test.d.ts.map +1 -0
- package/dist/failureExplanation.failureAnalysisMock.test.js +200 -0
- package/dist/failureExplanation.failureAnalysisMock.test.js.map +1 -0
- package/dist/failureExplanation.golden.test.d.ts +2 -0
- package/dist/failureExplanation.golden.test.d.ts.map +1 -0
- package/dist/failureExplanation.golden.test.js +530 -0
- package/dist/failureExplanation.golden.test.js.map +1 -0
- package/dist/failureExplanation.js +389 -0
- package/dist/failureExplanation.js.map +1 -0
- package/dist/failureExplanationDocumentationParity.test.d.ts +2 -0
- package/dist/failureExplanationDocumentationParity.test.d.ts.map +1 -0
- package/dist/failureExplanationDocumentationParity.test.js +56 -0
- package/dist/failureExplanationDocumentationParity.test.js.map +1 -0
- package/dist/failureOriginCatalog.d.ts +30 -0
- package/dist/failureOriginCatalog.d.ts.map +1 -0
- package/dist/failureOriginCatalog.js +106 -0
- package/dist/failureOriginCatalog.js.map +1 -0
- package/dist/failureOriginCatalog.test.d.ts +2 -0
- package/dist/failureOriginCatalog.test.d.ts.map +1 -0
- package/dist/failureOriginCatalog.test.js +17 -0
- package/dist/failureOriginCatalog.test.js.map +1 -0
- package/dist/failureOriginSchemaEnum.test.d.ts +2 -0
- package/dist/failureOriginSchemaEnum.test.d.ts.map +1 -0
- package/dist/failureOriginSchemaEnum.test.js +21 -0
- package/dist/failureOriginSchemaEnum.test.js.map +1 -0
- package/dist/failureOriginSchemaParity.test.d.ts +2 -0
- package/dist/failureOriginSchemaParity.test.d.ts.map +1 -0
- package/dist/failureOriginSchemaParity.test.js +33 -0
- package/dist/failureOriginSchemaParity.test.js.map +1 -0
- package/dist/failureOriginTypes.d.ts +4 -0
- package/dist/failureOriginTypes.d.ts.map +1 -0
- package/dist/failureOriginTypes.generated.d.ts +4 -0
- package/dist/failureOriginTypes.generated.d.ts.map +1 -0
- package/dist/failureOriginTypes.generated.js +10 -0
- package/dist/failureOriginTypes.generated.js.map +1 -0
- package/dist/failureOriginTypes.js +3 -0
- package/dist/failureOriginTypes.js.map +1 -0
- package/dist/generated/commercialBuildFlags.d.ts +4 -0
- package/dist/generated/commercialBuildFlags.d.ts.map +1 -0
- package/dist/generated/commercialBuildFlags.js +5 -0
- package/dist/generated/commercialBuildFlags.js.map +1 -0
- package/dist/index.d.ts +50 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +34 -0
- package/dist/index.js.map +1 -0
- package/dist/jsonPointer.d.ts +3 -0
- package/dist/jsonPointer.d.ts.map +1 -0
- package/dist/jsonPointer.js +28 -0
- package/dist/jsonPointer.js.map +1 -0
- package/dist/jsonStableStringify.d.ts +3 -0
- package/dist/jsonStableStringify.d.ts.map +1 -0
- package/dist/jsonStableStringify.js +3 -0
- package/dist/jsonStableStringify.js.map +1 -0
- package/dist/loadEvents.d.ts +3 -0
- package/dist/loadEvents.d.ts.map +1 -0
- package/dist/loadEvents.eventFileAggregateCounts.test.d.ts +2 -0
- package/dist/loadEvents.eventFileAggregateCounts.test.d.ts.map +1 -0
- package/dist/loadEvents.eventFileAggregateCounts.test.js +18 -0
- package/dist/loadEvents.eventFileAggregateCounts.test.js.map +1 -0
- package/dist/loadEvents.js +85 -0
- package/dist/loadEvents.js.map +1 -0
- package/dist/multiEffectRollup.d.ts +43 -0
- package/dist/multiEffectRollup.d.ts.map +1 -0
- package/dist/multiEffectRollup.js +164 -0
- package/dist/multiEffectRollup.js.map +1 -0
- package/dist/multiEffectRollup.test.d.ts +2 -0
- package/dist/multiEffectRollup.test.d.ts.map +1 -0
- package/dist/multiEffectRollup.test.js +128 -0
- package/dist/multiEffectRollup.test.js.map +1 -0
- package/dist/noStepsMessage.d.ts +7 -0
- package/dist/noStepsMessage.d.ts.map +1 -0
- package/dist/noStepsMessage.js +12 -0
- package/dist/noStepsMessage.js.map +1 -0
- package/dist/noStepsMessage.test.d.ts +2 -0
- package/dist/noStepsMessage.test.d.ts.map +1 -0
- package/dist/noStepsMessage.test.js +15 -0
- package/dist/noStepsMessage.test.js.map +1 -0
- package/dist/operationalDisposition.d.ts +498 -0
- package/dist/operationalDisposition.d.ts.map +1 -0
- package/dist/operationalDisposition.js +490 -0
- package/dist/operationalDisposition.js.map +1 -0
- package/dist/operationalDispositionDerivation.test.d.ts +2 -0
- package/dist/operationalDispositionDerivation.test.d.ts.map +1 -0
- package/dist/operationalDispositionDerivation.test.js +19 -0
- package/dist/operationalDispositionDerivation.test.js.map +1 -0
- package/dist/operationalFailureDiagnosis.d.ts +3 -0
- package/dist/operationalFailureDiagnosis.d.ts.map +1 -0
- package/dist/operationalFailureDiagnosis.js +25 -0
- package/dist/operationalFailureDiagnosis.js.map +1 -0
- package/dist/pipeline.d.ts +38 -0
- package/dist/pipeline.d.ts.map +1 -0
- package/dist/pipeline.js +457 -0
- package/dist/pipeline.js.map +1 -0
- package/dist/planLogicalSteps.d.ts +16 -0
- package/dist/planLogicalSteps.d.ts.map +1 -0
- package/dist/planLogicalSteps.js +51 -0
- package/dist/planLogicalSteps.js.map +1 -0
- package/dist/planLogicalSteps.test.d.ts +2 -0
- package/dist/planLogicalSteps.test.d.ts.map +1 -0
- package/dist/planLogicalSteps.test.js +88 -0
- package/dist/planLogicalSteps.test.js.map +1 -0
- package/dist/planTransition.d.ts +88 -0
- package/dist/planTransition.d.ts.map +1 -0
- package/dist/planTransition.js +490 -0
- package/dist/planTransition.js.map +1 -0
- package/dist/planTransition.test.d.ts +2 -0
- package/dist/planTransition.test.d.ts.map +1 -0
- package/dist/planTransition.test.js +956 -0
- package/dist/planTransition.test.js.map +1 -0
- package/dist/planTransitionConstants.d.ts +3 -0
- package/dist/planTransitionConstants.d.ts.map +1 -0
- package/dist/planTransitionConstants.js +3 -0
- package/dist/planTransitionConstants.js.map +1 -0
- package/dist/planTransitionPathHarvest.d.ts +24 -0
- package/dist/planTransitionPathHarvest.d.ts.map +1 -0
- package/dist/planTransitionPathHarvest.js +273 -0
- package/dist/planTransitionPathHarvest.js.map +1 -0
- package/dist/planTransitionPathHarvest.test.d.ts +2 -0
- package/dist/planTransitionPathHarvest.test.d.ts.map +1 -0
- package/dist/planTransitionPathHarvest.test.js +232 -0
- package/dist/planTransitionPathHarvest.test.js.map +1 -0
- package/dist/prepareWorkflowEvents.d.ts +6 -0
- package/dist/prepareWorkflowEvents.d.ts.map +1 -0
- package/dist/prepareWorkflowEvents.js +8 -0
- package/dist/prepareWorkflowEvents.js.map +1 -0
- package/dist/publicDistribution.generated.d.ts +3 -0
- package/dist/publicDistribution.generated.d.ts.map +1 -0
- package/dist/publicDistribution.generated.js +9 -0
- package/dist/publicDistribution.generated.js.map +1 -0
- package/dist/quickVerify/atomicWrite.d.ts +6 -0
- package/dist/quickVerify/atomicWrite.d.ts.map +1 -0
- package/dist/quickVerify/atomicWrite.js +33 -0
- package/dist/quickVerify/atomicWrite.js.map +1 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts +14 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.d.ts.map +1 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.js +28 -0
- package/dist/quickVerify/buildQuickContractEventsNdjson.js.map +1 -0
- package/dist/quickVerify/canonicalJson.d.ts +5 -0
- package/dist/quickVerify/canonicalJson.d.ts.map +1 -0
- package/dist/quickVerify/canonicalJson.js +23 -0
- package/dist/quickVerify/canonicalJson.js.map +1 -0
- package/dist/quickVerify/decomposeUnits.d.ts +15 -0
- package/dist/quickVerify/decomposeUnits.d.ts.map +1 -0
- package/dist/quickVerify/decomposeUnits.js +50 -0
- package/dist/quickVerify/decomposeUnits.js.map +1 -0
- package/dist/quickVerify/exportTool.d.ts +6 -0
- package/dist/quickVerify/exportTool.d.ts.map +1 -0
- package/dist/quickVerify/exportTool.js +20 -0
- package/dist/quickVerify/exportTool.js.map +1 -0
- package/dist/quickVerify/forbiddenMutatingSql.d.ts +4 -0
- package/dist/quickVerify/forbiddenMutatingSql.d.ts.map +1 -0
- package/dist/quickVerify/forbiddenMutatingSql.js +6 -0
- package/dist/quickVerify/forbiddenMutatingSql.js.map +1 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.d.ts +17 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.d.ts.map +1 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.js +65 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.js.map +1 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts +2 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.d.ts.map +1 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js +41 -0
- package/dist/quickVerify/formatQuickVerifyHumanReport.test.js.map +1 -0
- package/dist/quickVerify/ingest.d.ts +34 -0
- package/dist/quickVerify/ingest.d.ts.map +1 -0
- package/dist/quickVerify/ingest.js +327 -0
- package/dist/quickVerify/ingest.js.map +1 -0
- package/dist/quickVerify/noMutatingSqlInSources.test.d.ts +2 -0
- package/dist/quickVerify/noMutatingSqlInSources.test.d.ts.map +1 -0
- package/dist/quickVerify/noMutatingSqlInSources.test.js +34 -0
- package/dist/quickVerify/noMutatingSqlInSources.test.js.map +1 -0
- package/dist/quickVerify/postgresCatalog.d.ts +19 -0
- package/dist/quickVerify/postgresCatalog.d.ts.map +1 -0
- package/dist/quickVerify/postgresCatalog.js +107 -0
- package/dist/quickVerify/postgresCatalog.js.map +1 -0
- package/dist/quickVerify/quickVerifyHumanCopy.d.ts +9 -0
- package/dist/quickVerify/quickVerifyHumanCopy.d.ts.map +1 -0
- package/dist/quickVerify/quickVerifyHumanCopy.js +24 -0
- package/dist/quickVerify/quickVerifyHumanCopy.js.map +1 -0
- package/dist/quickVerify/quickVerifyProductTruth.d.ts +16 -0
- package/dist/quickVerify/quickVerifyProductTruth.d.ts.map +1 -0
- package/dist/quickVerify/quickVerifyProductTruth.js +19 -0
- package/dist/quickVerify/quickVerifyProductTruth.js.map +1 -0
- package/dist/quickVerify/quickVerifyScope.d.ts +12 -0
- package/dist/quickVerify/quickVerifyScope.d.ts.map +1 -0
- package/dist/quickVerify/quickVerifyScope.js +16 -0
- package/dist/quickVerify/quickVerifyScope.js.map +1 -0
- package/dist/quickVerify/relationalPlan.d.ts +10 -0
- package/dist/quickVerify/relationalPlan.d.ts.map +1 -0
- package/dist/quickVerify/relationalPlan.js +37 -0
- package/dist/quickVerify/relationalPlan.js.map +1 -0
- package/dist/quickVerify/rowUnit.d.ts +15 -0
- package/dist/quickVerify/rowUnit.d.ts.map +1 -0
- package/dist/quickVerify/rowUnit.js +132 -0
- package/dist/quickVerify/rowUnit.js.map +1 -0
- package/dist/quickVerify/runQuickVerify.d.ts +65 -0
- package/dist/quickVerify/runQuickVerify.d.ts.map +1 -0
- package/dist/quickVerify/runQuickVerify.js +320 -0
- package/dist/quickVerify/runQuickVerify.js.map +1 -0
- package/dist/quickVerify/schemaCatalogTypes.d.ts +22 -0
- package/dist/quickVerify/schemaCatalogTypes.d.ts.map +1 -0
- package/dist/quickVerify/schemaCatalogTypes.js +2 -0
- package/dist/quickVerify/schemaCatalogTypes.js.map +1 -0
- package/dist/quickVerify/sqliteCatalog.d.ts +13 -0
- package/dist/quickVerify/sqliteCatalog.d.ts.map +1 -0
- package/dist/quickVerify/sqliteCatalog.js +48 -0
- package/dist/quickVerify/sqliteCatalog.js.map +1 -0
- package/dist/quickVerify/tableScoring.d.ts +24 -0
- package/dist/quickVerify/tableScoring.d.ts.map +1 -0
- package/dist/quickVerify/tableScoring.js +156 -0
- package/dist/quickVerify/tableScoring.js.map +1 -0
- package/dist/quickVerify/thresholds.d.ts +11 -0
- package/dist/quickVerify/thresholds.d.ts.map +1 -0
- package/dist/quickVerify/thresholds.js +11 -0
- package/dist/quickVerify/thresholds.js.map +1 -0
- package/dist/quickVerify/verifyExecution.d.ts +15 -0
- package/dist/quickVerify/verifyExecution.d.ts.map +1 -0
- package/dist/quickVerify/verifyExecution.js +153 -0
- package/dist/quickVerify/verifyExecution.js.map +1 -0
- package/dist/reconciler.d.ts +25 -0
- package/dist/reconciler.d.ts.map +1 -0
- package/dist/reconciler.js +266 -0
- package/dist/reconciler.js.map +1 -0
- package/dist/reconciliationPresentation.d.ts +83 -0
- package/dist/reconciliationPresentation.d.ts.map +1 -0
- package/dist/reconciliationPresentation.js +195 -0
- package/dist/reconciliationPresentation.js.map +1 -0
- package/dist/registryValidation.d.ts +48 -0
- package/dist/registryValidation.d.ts.map +1 -0
- package/dist/registryValidation.js +254 -0
- package/dist/registryValidation.js.map +1 -0
- package/dist/registryValidation.test.d.ts +2 -0
- package/dist/registryValidation.test.d.ts.map +1 -0
- package/dist/registryValidation.test.js +186 -0
- package/dist/registryValidation.test.js.map +1 -0
- package/dist/relationalInvariant.d.ts +28 -0
- package/dist/relationalInvariant.d.ts.map +1 -0
- package/dist/relationalInvariant.existsSql.test.d.ts +2 -0
- package/dist/relationalInvariant.existsSql.test.d.ts.map +1 -0
- package/dist/relationalInvariant.existsSql.test.js +12 -0
- package/dist/relationalInvariant.existsSql.test.js.map +1 -0
- package/dist/relationalInvariant.js +347 -0
- package/dist/relationalInvariant.js.map +1 -0
- package/dist/relationalInvariant.test.d.ts +2 -0
- package/dist/relationalInvariant.test.d.ts.map +1 -0
- package/dist/relationalInvariant.test.js +32 -0
- package/dist/relationalInvariant.test.js.map +1 -0
- package/dist/remediationConsumptionGuard.test.d.ts +2 -0
- package/dist/remediationConsumptionGuard.test.d.ts.map +1 -0
- package/dist/remediationConsumptionGuard.test.js +80 -0
- package/dist/remediationConsumptionGuard.test.js.map +1 -0
- package/dist/remediationWireSurfaceGuard.test.d.ts +2 -0
- package/dist/remediationWireSurfaceGuard.test.d.ts.map +1 -0
- package/dist/remediationWireSurfaceGuard.test.js +39 -0
- package/dist/remediationWireSurfaceGuard.test.js.map +1 -0
- package/dist/resolveExpectation.d.ts +28 -0
- package/dist/resolveExpectation.d.ts.map +1 -0
- package/dist/resolveExpectation.js +654 -0
- package/dist/resolveExpectation.js.map +1 -0
- package/dist/resolveExpectation.test.d.ts +2 -0
- package/dist/resolveExpectation.test.d.ts.map +1 -0
- package/dist/resolveExpectation.test.js +434 -0
- package/dist/resolveExpectation.test.js.map +1 -0
- package/dist/resolveFailureCodes.d.ts +2 -0
- package/dist/resolveFailureCodes.d.ts.map +1 -0
- package/dist/resolveFailureCodes.js +7 -0
- package/dist/resolveFailureCodes.js.map +1 -0
- package/dist/runComparison.d.ts +168 -0
- package/dist/runComparison.d.ts.map +1 -0
- package/dist/runComparison.js +675 -0
- package/dist/runComparison.js.map +1 -0
- package/dist/runComparison.test.d.ts +2 -0
- package/dist/runComparison.test.d.ts.map +1 -0
- package/dist/runComparison.test.js +507 -0
- package/dist/runComparison.test.js.map +1 -0
- package/dist/runLevelDriftMessages.d.ts +4 -0
- package/dist/runLevelDriftMessages.d.ts.map +1 -0
- package/dist/runLevelDriftMessages.js +4 -0
- package/dist/runLevelDriftMessages.js.map +1 -0
- package/dist/schema-validation.test.d.ts +2 -0
- package/dist/schema-validation.test.d.ts.map +1 -0
- package/dist/schema-validation.test.js +531 -0
- package/dist/schema-validation.test.js.map +1 -0
- package/dist/schemaLoad.d.ts +5 -0
- package/dist/schemaLoad.d.ts.map +1 -0
- package/dist/schemaLoad.js +152 -0
- package/dist/schemaLoad.js.map +1 -0
- package/dist/shareReport/postPublicVerificationReport.d.ts +26 -0
- package/dist/shareReport/postPublicVerificationReport.d.ts.map +1 -0
- package/dist/shareReport/postPublicVerificationReport.js +38 -0
- package/dist/shareReport/postPublicVerificationReport.js.map +1 -0
- package/dist/slice6.compare.ac.test.d.ts +2 -0
- package/dist/slice6.compare.ac.test.d.ts.map +1 -0
- package/dist/slice6.compare.ac.test.js +81 -0
- package/dist/slice6.compare.ac.test.js.map +1 -0
- package/dist/sqlConnector.d.ts +15 -0
- package/dist/sqlConnector.d.ts.map +1 -0
- package/dist/sqlConnector.js +36 -0
- package/dist/sqlConnector.js.map +1 -0
- package/dist/sqlReadBackend.d.ts +19 -0
- package/dist/sqlReadBackend.d.ts.map +1 -0
- package/dist/sqlReadBackend.js +67 -0
- package/dist/sqlReadBackend.js.map +1 -0
- package/dist/standardVerifyWorkflowCli.d.ts +24 -0
- package/dist/standardVerifyWorkflowCli.d.ts.map +1 -0
- package/dist/standardVerifyWorkflowCli.js +95 -0
- package/dist/standardVerifyWorkflowCli.js.map +1 -0
- package/dist/taxonomyAuthority.test.d.ts +2 -0
- package/dist/taxonomyAuthority.test.d.ts.map +1 -0
- package/dist/taxonomyAuthority.test.js +44 -0
- package/dist/taxonomyAuthority.test.js.map +1 -0
- package/dist/toolsRegistryLoad.d.ts +7 -0
- package/dist/toolsRegistryLoad.d.ts.map +1 -0
- package/dist/toolsRegistryLoad.js +32 -0
- package/dist/toolsRegistryLoad.js.map +1 -0
- package/dist/truthLayerError.d.ts +8 -0
- package/dist/truthLayerError.d.ts.map +1 -0
- package/dist/truthLayerError.js +9 -0
- package/dist/truthLayerError.js.map +1 -0
- package/dist/types.d.ts +706 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +24 -0
- package/dist/types.js.map +1 -0
- package/dist/valueVerification.d.ts +12 -0
- package/dist/valueVerification.d.ts.map +1 -0
- package/dist/valueVerification.js +112 -0
- package/dist/valueVerification.js.map +1 -0
- package/dist/valueVerification.test.d.ts +2 -0
- package/dist/valueVerification.test.d.ts.map +1 -0
- package/dist/valueVerification.test.js +112 -0
- package/dist/valueVerification.test.js.map +1 -0
- package/dist/verificationAgainstSystemState.requirements.test.d.ts +2 -0
- package/dist/verificationAgainstSystemState.requirements.test.d.ts.map +1 -0
- package/dist/verificationAgainstSystemState.requirements.test.js +326 -0
- package/dist/verificationAgainstSystemState.requirements.test.js.map +1 -0
- package/dist/verificationDiagnostics.d.ts +21 -0
- package/dist/verificationDiagnostics.d.ts.map +1 -0
- package/dist/verificationDiagnostics.js +141 -0
- package/dist/verificationDiagnostics.js.map +1 -0
- package/dist/verificationDiagnostics.test.d.ts +2 -0
- package/dist/verificationDiagnostics.test.d.ts.map +1 -0
- package/dist/verificationDiagnostics.test.js +228 -0
- package/dist/verificationDiagnostics.test.js.map +1 -0
- package/dist/verificationPolicy.d.ts +33 -0
- package/dist/verificationPolicy.d.ts.map +1 -0
- package/dist/verificationPolicy.js +495 -0
- package/dist/verificationPolicy.js.map +1 -0
- package/dist/verificationPolicy.test.d.ts +2 -0
- package/dist/verificationPolicy.test.d.ts.map +1 -0
- package/dist/verificationPolicy.test.js +252 -0
- package/dist/verificationPolicy.test.js.map +1 -0
- package/dist/verificationRunContext.d.ts +10 -0
- package/dist/verificationRunContext.d.ts.map +1 -0
- package/dist/verificationRunContext.js +111 -0
- package/dist/verificationRunContext.js.map +1 -0
- package/dist/verificationUserPhrases.d.ts +22 -0
- package/dist/verificationUserPhrases.d.ts.map +1 -0
- package/dist/verificationUserPhrases.js +99 -0
- package/dist/verificationUserPhrases.js.map +1 -0
- package/dist/verificationUserPhrases.test.d.ts +2 -0
- package/dist/verificationUserPhrases.test.d.ts.map +1 -0
- package/dist/verificationUserPhrases.test.js +47 -0
- package/dist/verificationUserPhrases.test.js.map +1 -0
- package/dist/verifyRunBundleSignature.d.ts +14 -0
- package/dist/verifyRunBundleSignature.d.ts.map +1 -0
- package/dist/verifyRunBundleSignature.js +139 -0
- package/dist/verifyRunBundleSignature.js.map +1 -0
- package/dist/verifyRunBundleSignature.test.d.ts +2 -0
- package/dist/verifyRunBundleSignature.test.d.ts.map +1 -0
- package/dist/verifyRunBundleSignature.test.js +169 -0
- package/dist/verifyRunBundleSignature.test.js.map +1 -0
- package/dist/wireReasonCodes.d.ts +57 -0
- package/dist/wireReasonCodes.d.ts.map +1 -0
- package/dist/wireReasonCodes.js +57 -0
- package/dist/wireReasonCodes.js.map +1 -0
- package/dist/wireReasonEmittersGuard.test.d.ts +2 -0
- package/dist/wireReasonEmittersGuard.test.d.ts.map +1 -0
- package/dist/wireReasonEmittersGuard.test.js +36 -0
- package/dist/wireReasonEmittersGuard.test.js.map +1 -0
- package/dist/withWorkflowVerification.persistBundle.test.d.ts +2 -0
- package/dist/withWorkflowVerification.persistBundle.test.d.ts.map +1 -0
- package/dist/withWorkflowVerification.persistBundle.test.js +104 -0
- package/dist/withWorkflowVerification.persistBundle.test.js.map +1 -0
- package/dist/workflowResultNormalize.d.ts +9 -0
- package/dist/workflowResultNormalize.d.ts.map +1 -0
- package/dist/workflowResultNormalize.js +40 -0
- package/dist/workflowResultNormalize.js.map +1 -0
- package/dist/workflowResultSignature.d.ts +8 -0
- package/dist/workflowResultSignature.d.ts.map +1 -0
- package/dist/workflowResultSignature.js +44 -0
- package/dist/workflowResultSignature.js.map +1 -0
- package/dist/workflowRunLevelConsistency.d.ts +5 -0
- package/dist/workflowRunLevelConsistency.d.ts.map +1 -0
- package/dist/workflowRunLevelConsistency.js +30 -0
- package/dist/workflowRunLevelConsistency.js.map +1 -0
- package/dist/workflowTruthReport.d.ts +24 -0
- package/dist/workflowTruthReport.d.ts.map +1 -0
- package/dist/workflowTruthReport.js +395 -0
- package/dist/workflowTruthReport.js.map +1 -0
- package/dist/workflowTruthReport.semantics.test.d.ts +2 -0
- package/dist/workflowTruthReport.semantics.test.d.ts.map +1 -0
- package/dist/workflowTruthReport.semantics.test.js +182 -0
- package/dist/workflowTruthReport.semantics.test.js.map +1 -0
- package/dist/workflowVerdictSurface.test.d.ts +2 -0
- package/dist/workflowVerdictSurface.test.d.ts.map +1 -0
- package/dist/workflowVerdictSurface.test.js +68 -0
- package/dist/workflowVerdictSurface.test.js.map +1 -0
- package/dist/writeRunBundleCli.d.ts +9 -0
- package/dist/writeRunBundleCli.d.ts.map +1 -0
- package/dist/writeRunBundleCli.js +28 -0
- package/dist/writeRunBundleCli.js.map +1 -0
- package/package.json +115 -0
- package/schemas/agent-run-record-v1.schema.json +51 -0
- package/schemas/agent-run-record-v2.schema.json +61 -0
- package/schemas/assurance-manifest-v1.schema.json +28 -0
- package/schemas/assurance-run-report-v1.schema.json +28 -0
- package/schemas/ci-lock-v1.schema.json +163 -0
- package/schemas/cli-error-envelope.schema.json +48 -0
- package/schemas/event.schema.json +111 -0
- package/schemas/execution-trace-view.schema.json +122 -0
- package/schemas/openapi-commercial-v1.in.yaml +215 -0
- package/schemas/openapi-commercial-v1.yaml +215 -0
- package/schemas/plan-validation-core.schema.json +95 -0
- package/schemas/public-verification-report-v1.schema.json +51 -0
- package/schemas/quick-verify-report.schema.json +251 -0
- package/schemas/registry-validation-result.schema.json +99 -0
- package/schemas/run-comparison-report.schema.json +513 -0
- package/schemas/tools-registry-export.schema.json +9 -0
- package/schemas/tools-registry.schema.json +284 -0
- package/schemas/workflow-engine-result.schema.json +591 -0
- package/schemas/workflow-result-compare-input.schema.json +15 -0
- package/schemas/workflow-result-signature.schema.json +20 -0
- package/schemas/workflow-result-v9.schema.json +85 -0
- package/schemas/workflow-result.schema.json +80 -0
- package/schemas/workflow-truth-report.schema.json +761 -0
- package/scripts/discovery-acquisition.lib.cjs +195 -0
- package/scripts/discovery-payload.lib.cjs +346 -0
- package/scripts/render-discovery-ci.mjs +103 -0
|
@@ -0,0 +1,495 @@
|
|
|
1
|
+
import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
|
|
2
|
+
import { rollupMultiEffectsFromReconciledRows, rollupMultiEffectsSync, rollupSqlRelationalAsync, rollupSqlRelationalFromReconciled, rollupSqlRelationalSync, } from "./multiEffectRollup.js";
|
|
3
|
+
import { compareUtf16Id } from "./resolveExpectation.js";
|
|
4
|
+
import { reconcileRelationalSqlite } from "./relationalInvariant.js";
|
|
5
|
+
import { reconcileSqlRow, reconcileSqlRowAbsent, } from "./reconciler.js";
|
|
6
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
7
|
+
import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
|
|
8
|
+
export const DEFAULT_VERIFICATION_POLICY = {
|
|
9
|
+
consistencyMode: "strong",
|
|
10
|
+
verificationWindowMs: 0,
|
|
11
|
+
pollIntervalMs: 0,
|
|
12
|
+
};
|
|
13
|
+
const defaultTiming = {
|
|
14
|
+
now: () => Date.now(),
|
|
15
|
+
sleep: (ms) => new Promise((resolve) => setTimeout(resolve, ms)),
|
|
16
|
+
};
|
|
17
|
+
function mergeTiming(partial) {
|
|
18
|
+
return {
|
|
19
|
+
now: partial?.now ?? defaultTiming.now,
|
|
20
|
+
sleep: partial?.sleep ?? defaultTiming.sleep,
|
|
21
|
+
};
|
|
22
|
+
}
|
|
23
|
+
export function normalizeVerificationPolicy(policy) {
|
|
24
|
+
if (policy.consistencyMode === "strong") {
|
|
25
|
+
return {
|
|
26
|
+
consistencyMode: "strong",
|
|
27
|
+
verificationWindowMs: 0,
|
|
28
|
+
pollIntervalMs: 0,
|
|
29
|
+
};
|
|
30
|
+
}
|
|
31
|
+
return {
|
|
32
|
+
consistencyMode: "eventual",
|
|
33
|
+
verificationWindowMs: policy.verificationWindowMs,
|
|
34
|
+
pollIntervalMs: policy.pollIntervalMs,
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
export function assertValidVerificationPolicy(policy) {
|
|
38
|
+
if (policy.consistencyMode === "strong") {
|
|
39
|
+
return;
|
|
40
|
+
}
|
|
41
|
+
if (!Number.isInteger(policy.verificationWindowMs) || policy.verificationWindowMs < 1) {
|
|
42
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "eventual mode requires integer verificationWindowMs >= 1");
|
|
43
|
+
}
|
|
44
|
+
if (!Number.isInteger(policy.pollIntervalMs) || policy.pollIntervalMs < 1) {
|
|
45
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "eventual mode requires integer pollIntervalMs >= 1");
|
|
46
|
+
}
|
|
47
|
+
if (policy.pollIntervalMs > policy.verificationWindowMs) {
|
|
48
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.VERIFICATION_POLICY_INVALID, "pollIntervalMs must be <= verificationWindowMs");
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
/** Normalize, validate, and return policy (throws TruthLayerError if invalid). */
|
|
52
|
+
export function resolveVerificationPolicyInput(input) {
|
|
53
|
+
const merged = input ?? DEFAULT_VERIFICATION_POLICY;
|
|
54
|
+
const normalized = normalizeVerificationPolicy(merged);
|
|
55
|
+
assertValidVerificationPolicy(normalized);
|
|
56
|
+
return normalized;
|
|
57
|
+
}
|
|
58
|
+
function reconcileRowsToEffectInput(effects, recs) {
|
|
59
|
+
return effects.map((e, i) => {
|
|
60
|
+
const rec = recs[i];
|
|
61
|
+
return {
|
|
62
|
+
id: e.id,
|
|
63
|
+
status: rec.status,
|
|
64
|
+
reasons: rec.reasons,
|
|
65
|
+
evidenceSummary: rec.evidenceSummary,
|
|
66
|
+
table: e.request.table,
|
|
67
|
+
identityEq: e.request.identityEq,
|
|
68
|
+
requiredFields: e.request.requiredFields,
|
|
69
|
+
};
|
|
70
|
+
});
|
|
71
|
+
}
|
|
72
|
+
function classifyMultiEffectAfterReconcile(effects, recs) {
|
|
73
|
+
const rows = reconcileRowsToEffectInput(effects, recs);
|
|
74
|
+
rows.sort((a, b) => compareUtf16Id(a.id, b.id));
|
|
75
|
+
const incomplete = rows.filter((e) => e.status === "incomplete_verification");
|
|
76
|
+
if (incomplete.length > 0) {
|
|
77
|
+
return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
|
|
78
|
+
}
|
|
79
|
+
const verified = rows.filter((e) => e.status === "verified");
|
|
80
|
+
if (verified.length === rows.length) {
|
|
81
|
+
return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
|
|
82
|
+
}
|
|
83
|
+
if (rows.every((e) => e.status === "missing")) {
|
|
84
|
+
return { kind: "pending_all_missing" };
|
|
85
|
+
}
|
|
86
|
+
return { kind: "done", out: rollupMultiEffectsFromReconciledRows(rows) };
|
|
87
|
+
}
|
|
88
|
+
function classifyMultiRelationalAfterReconcile(checks, recs) {
|
|
89
|
+
const pairs = checks.map((check, i) => ({
|
|
90
|
+
id: check.id,
|
|
91
|
+
status: recs[i].status,
|
|
92
|
+
reasons: recs[i].reasons,
|
|
93
|
+
evidenceSummary: recs[i].evidenceSummary,
|
|
94
|
+
}));
|
|
95
|
+
pairs.sort((a, b) => compareUtf16Id(a.id, b.id));
|
|
96
|
+
const incomplete = pairs.filter((e) => e.status === "incomplete_verification");
|
|
97
|
+
if (incomplete.length > 0) {
|
|
98
|
+
return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
|
|
99
|
+
}
|
|
100
|
+
const verified = pairs.filter((e) => e.status === "verified");
|
|
101
|
+
if (verified.length === pairs.length) {
|
|
102
|
+
return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
|
|
103
|
+
}
|
|
104
|
+
if (pairs.every((e) => e.status === "missing")) {
|
|
105
|
+
return { kind: "pending_all_missing" };
|
|
106
|
+
}
|
|
107
|
+
return { kind: "done", out: rollupSqlRelationalFromReconciled(checks, recs) };
|
|
108
|
+
}
|
|
109
|
+
function buildUncertainSqlRow(request, attempts, elapsedMs, policy) {
|
|
110
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
111
|
+
return {
|
|
112
|
+
verificationRequest: request,
|
|
113
|
+
status: "uncertain",
|
|
114
|
+
reasons: [
|
|
115
|
+
{
|
|
116
|
+
code: SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW,
|
|
117
|
+
message: "No row matched the key within the verification window; replication or processing delay is possible.",
|
|
118
|
+
},
|
|
119
|
+
],
|
|
120
|
+
evidenceSummary: {
|
|
121
|
+
attempts,
|
|
122
|
+
elapsedMs,
|
|
123
|
+
verificationWindowMs,
|
|
124
|
+
pollIntervalMs,
|
|
125
|
+
},
|
|
126
|
+
};
|
|
127
|
+
}
|
|
128
|
+
function buildUncertainSqlRowAbsent(request, attempts, elapsedMs, policy, lastRec) {
|
|
129
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
130
|
+
const mc = lastRec.evidenceSummary.matchedRowCount;
|
|
131
|
+
const sr = lastRec.evidenceSummary.sampleRows;
|
|
132
|
+
return {
|
|
133
|
+
verificationRequest: request,
|
|
134
|
+
status: "uncertain",
|
|
135
|
+
reasons: [
|
|
136
|
+
{
|
|
137
|
+
code: SQL_VERIFICATION_OUTCOME_CODE.FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW,
|
|
138
|
+
message: "Forbidden row(s) still present within the verification window; replication or processing delay is possible.",
|
|
139
|
+
},
|
|
140
|
+
],
|
|
141
|
+
evidenceSummary: {
|
|
142
|
+
attempts,
|
|
143
|
+
elapsedMs,
|
|
144
|
+
verificationWindowMs,
|
|
145
|
+
pollIntervalMs,
|
|
146
|
+
matchedRowCount: typeof mc === "number" && mc >= 1 ? mc : 1,
|
|
147
|
+
sampleRows: Array.isArray(sr) ? sr : [],
|
|
148
|
+
},
|
|
149
|
+
};
|
|
150
|
+
}
|
|
151
|
+
function buildUncertainSqlEffects(effects, recs, attempts, elapsedMs, policy) {
|
|
152
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
153
|
+
const rows = reconcileRowsToEffectInput(effects, recs);
|
|
154
|
+
rows.sort((a, b) => compareUtf16Id(a.id, b.id));
|
|
155
|
+
const n = rows.length;
|
|
156
|
+
const verificationRequest = {
|
|
157
|
+
kind: "sql_effects",
|
|
158
|
+
effects: rows.map((r) => ({
|
|
159
|
+
id: r.id,
|
|
160
|
+
kind: "sql_row",
|
|
161
|
+
table: r.table,
|
|
162
|
+
identityEq: r.identityEq,
|
|
163
|
+
requiredFields: r.requiredFields,
|
|
164
|
+
})),
|
|
165
|
+
};
|
|
166
|
+
const effectRows = rows.map((r) => ({
|
|
167
|
+
id: r.id,
|
|
168
|
+
status: r.status,
|
|
169
|
+
reasons: r.reasons,
|
|
170
|
+
evidenceSummary: r.evidenceSummary,
|
|
171
|
+
}));
|
|
172
|
+
return {
|
|
173
|
+
verificationRequest,
|
|
174
|
+
status: "uncertain",
|
|
175
|
+
reasons: [
|
|
176
|
+
{
|
|
177
|
+
code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW,
|
|
178
|
+
message: `Not all effects were observable within the verification window; replication or processing delay is possible (effects: ${rows
|
|
179
|
+
.map((r) => r.id)
|
|
180
|
+
.sort(compareUtf16Id)
|
|
181
|
+
.join(", ")}).`,
|
|
182
|
+
},
|
|
183
|
+
],
|
|
184
|
+
evidenceSummary: {
|
|
185
|
+
effectCount: n,
|
|
186
|
+
effects: effectRows,
|
|
187
|
+
attempts,
|
|
188
|
+
elapsedMs,
|
|
189
|
+
verificationWindowMs,
|
|
190
|
+
pollIntervalMs,
|
|
191
|
+
},
|
|
192
|
+
};
|
|
193
|
+
}
|
|
194
|
+
function buildUncertainSqlRelational(checks, recs, attempts, elapsedMs, policy) {
|
|
195
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
196
|
+
const sortedPairs = checks
|
|
197
|
+
.map((check, i) => ({ check, rec: recs[i] }))
|
|
198
|
+
.sort((a, b) => compareUtf16Id(a.check.id, b.check.id));
|
|
199
|
+
const sortedChecks = sortedPairs.map((p) => p.check);
|
|
200
|
+
const n = sortedChecks.length;
|
|
201
|
+
const verificationRequest = {
|
|
202
|
+
kind: "sql_relational",
|
|
203
|
+
checks: sortedChecks,
|
|
204
|
+
};
|
|
205
|
+
const effectRows = sortedPairs.map((p) => ({
|
|
206
|
+
id: p.check.id,
|
|
207
|
+
status: p.rec.status,
|
|
208
|
+
reasons: p.rec.reasons,
|
|
209
|
+
evidenceSummary: p.rec.evidenceSummary,
|
|
210
|
+
}));
|
|
211
|
+
return {
|
|
212
|
+
verificationRequest,
|
|
213
|
+
status: "uncertain",
|
|
214
|
+
reasons: [
|
|
215
|
+
{
|
|
216
|
+
code: SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW,
|
|
217
|
+
message: `Not all effects were observable within the verification window; replication or processing delay is possible (effects: ${sortedChecks
|
|
218
|
+
.map((c) => c.id)
|
|
219
|
+
.sort(compareUtf16Id)
|
|
220
|
+
.join(", ")}).`,
|
|
221
|
+
},
|
|
222
|
+
],
|
|
223
|
+
evidenceSummary: {
|
|
224
|
+
effectCount: n,
|
|
225
|
+
effects: effectRows,
|
|
226
|
+
attempts,
|
|
227
|
+
elapsedMs,
|
|
228
|
+
verificationWindowMs,
|
|
229
|
+
pollIntervalMs,
|
|
230
|
+
},
|
|
231
|
+
};
|
|
232
|
+
}
|
|
233
|
+
function buildUncertainSqlRelationalSingle(check, attempts, elapsedMs, policy) {
|
|
234
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
235
|
+
return {
|
|
236
|
+
verificationRequest: { kind: "sql_relational", checks: [check] },
|
|
237
|
+
status: "uncertain",
|
|
238
|
+
reasons: [
|
|
239
|
+
{
|
|
240
|
+
code: SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW,
|
|
241
|
+
message: "No row matched the key within the verification window; replication or processing delay is possible.",
|
|
242
|
+
},
|
|
243
|
+
],
|
|
244
|
+
evidenceSummary: {
|
|
245
|
+
attempts,
|
|
246
|
+
elapsedMs,
|
|
247
|
+
verificationWindowMs,
|
|
248
|
+
pollIntervalMs,
|
|
249
|
+
},
|
|
250
|
+
};
|
|
251
|
+
}
|
|
252
|
+
async function executeSqlRowEventual(request, policy, ctx, timing) {
|
|
253
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
254
|
+
const start = timing.now();
|
|
255
|
+
let attempts = 0;
|
|
256
|
+
for (;;) {
|
|
257
|
+
attempts++;
|
|
258
|
+
const rec = await ctx.reconcileRow(request);
|
|
259
|
+
if (rec.status !== "missing") {
|
|
260
|
+
return {
|
|
261
|
+
verificationRequest: request,
|
|
262
|
+
status: rec.status,
|
|
263
|
+
reasons: rec.reasons,
|
|
264
|
+
evidenceSummary: rec.evidenceSummary,
|
|
265
|
+
};
|
|
266
|
+
}
|
|
267
|
+
if (timing.now() - start >= verificationWindowMs) {
|
|
268
|
+
return buildUncertainSqlRow(request, attempts, timing.now() - start, policy);
|
|
269
|
+
}
|
|
270
|
+
await timing.sleep(pollIntervalMs);
|
|
271
|
+
}
|
|
272
|
+
}
|
|
273
|
+
async function executeSqlRowAbsentEventual(request, policy, ctx, timing) {
|
|
274
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
275
|
+
const start = timing.now();
|
|
276
|
+
let attempts = 0;
|
|
277
|
+
for (;;) {
|
|
278
|
+
attempts++;
|
|
279
|
+
const rec = await ctx.reconcileRowAbsent(request);
|
|
280
|
+
if (rec.status === "verified") {
|
|
281
|
+
return {
|
|
282
|
+
verificationRequest: request,
|
|
283
|
+
status: rec.status,
|
|
284
|
+
reasons: rec.reasons,
|
|
285
|
+
evidenceSummary: rec.evidenceSummary,
|
|
286
|
+
};
|
|
287
|
+
}
|
|
288
|
+
if (rec.status !== "inconsistent" ||
|
|
289
|
+
rec.reasons[0]?.code !== SQL_VERIFICATION_OUTCOME_CODE.ROW_PRESENT_WHEN_FORBIDDEN) {
|
|
290
|
+
return {
|
|
291
|
+
verificationRequest: request,
|
|
292
|
+
status: rec.status,
|
|
293
|
+
reasons: rec.reasons,
|
|
294
|
+
evidenceSummary: rec.evidenceSummary,
|
|
295
|
+
};
|
|
296
|
+
}
|
|
297
|
+
if (timing.now() - start >= verificationWindowMs) {
|
|
298
|
+
return buildUncertainSqlRowAbsent(request, attempts, timing.now() - start, policy, rec);
|
|
299
|
+
}
|
|
300
|
+
await timing.sleep(pollIntervalMs);
|
|
301
|
+
}
|
|
302
|
+
}
|
|
303
|
+
async function executeSqlEffectsEventual(effects, policy, ctx, timing) {
|
|
304
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
305
|
+
const start = timing.now();
|
|
306
|
+
let attempts = 0;
|
|
307
|
+
for (;;) {
|
|
308
|
+
attempts++;
|
|
309
|
+
const recs = await Promise.all(effects.map((e) => ctx.reconcileRow(e.request)));
|
|
310
|
+
const classified = classifyMultiEffectAfterReconcile(effects, recs);
|
|
311
|
+
if (classified.kind === "done") {
|
|
312
|
+
const out = classified.out;
|
|
313
|
+
return {
|
|
314
|
+
verificationRequest: out.verificationRequest,
|
|
315
|
+
status: out.status,
|
|
316
|
+
reasons: out.reasons,
|
|
317
|
+
evidenceSummary: out.evidenceSummary,
|
|
318
|
+
};
|
|
319
|
+
}
|
|
320
|
+
if (timing.now() - start >= verificationWindowMs) {
|
|
321
|
+
return buildUncertainSqlEffects(effects, recs, attempts, timing.now() - start, policy);
|
|
322
|
+
}
|
|
323
|
+
await timing.sleep(pollIntervalMs);
|
|
324
|
+
}
|
|
325
|
+
}
|
|
326
|
+
async function executeSqlRelationalSingleEventual(check, policy, ctx, timing) {
|
|
327
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
328
|
+
const start = timing.now();
|
|
329
|
+
let attempts = 0;
|
|
330
|
+
for (;;) {
|
|
331
|
+
attempts++;
|
|
332
|
+
const rec = await ctx.reconcileRelationalCheck(check);
|
|
333
|
+
if (rec.status !== "missing") {
|
|
334
|
+
return {
|
|
335
|
+
verificationRequest: { kind: "sql_relational", checks: [check] },
|
|
336
|
+
status: rec.status,
|
|
337
|
+
reasons: rec.reasons,
|
|
338
|
+
evidenceSummary: rec.evidenceSummary,
|
|
339
|
+
};
|
|
340
|
+
}
|
|
341
|
+
if (timing.now() - start >= verificationWindowMs) {
|
|
342
|
+
return buildUncertainSqlRelationalSingle(check, attempts, timing.now() - start, policy);
|
|
343
|
+
}
|
|
344
|
+
await timing.sleep(pollIntervalMs);
|
|
345
|
+
}
|
|
346
|
+
}
|
|
347
|
+
async function executeSqlRelationalEventual(checks, policy, ctx, timing) {
|
|
348
|
+
const { verificationWindowMs, pollIntervalMs } = policy;
|
|
349
|
+
const start = timing.now();
|
|
350
|
+
let attempts = 0;
|
|
351
|
+
for (;;) {
|
|
352
|
+
attempts++;
|
|
353
|
+
const recs = await Promise.all(checks.map((c) => ctx.reconcileRelationalCheck(c)));
|
|
354
|
+
const classified = classifyMultiRelationalAfterReconcile(checks, recs);
|
|
355
|
+
if (classified.kind === "done") {
|
|
356
|
+
const out = classified.out;
|
|
357
|
+
return {
|
|
358
|
+
verificationRequest: out.verificationRequest,
|
|
359
|
+
status: out.status,
|
|
360
|
+
reasons: out.reasons,
|
|
361
|
+
evidenceSummary: out.evidenceSummary,
|
|
362
|
+
};
|
|
363
|
+
}
|
|
364
|
+
if (timing.now() - start >= verificationWindowMs) {
|
|
365
|
+
return buildUncertainSqlRelational(checks, recs, attempts, timing.now() - start, policy);
|
|
366
|
+
}
|
|
367
|
+
await timing.sleep(pollIntervalMs);
|
|
368
|
+
}
|
|
369
|
+
}
|
|
370
|
+
/** Strong mode only. Throws if policy is not strong after normalization. */
|
|
371
|
+
export function executeVerificationWithPolicySync(db, resolved, policy) {
|
|
372
|
+
const p = resolveVerificationPolicyInput(policy);
|
|
373
|
+
if (p.consistencyMode !== "strong") {
|
|
374
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "executeVerificationWithPolicySync requires strong consistency mode");
|
|
375
|
+
}
|
|
376
|
+
if (resolved.verificationKind === "sql_effects") {
|
|
377
|
+
const rolled = rollupMultiEffectsSync(db, resolved.effects);
|
|
378
|
+
return {
|
|
379
|
+
verificationRequest: rolled.verificationRequest,
|
|
380
|
+
status: rolled.status,
|
|
381
|
+
reasons: rolled.reasons,
|
|
382
|
+
evidenceSummary: rolled.evidenceSummary,
|
|
383
|
+
};
|
|
384
|
+
}
|
|
385
|
+
if (resolved.verificationKind === "sql_relational") {
|
|
386
|
+
const checks = resolved.checks;
|
|
387
|
+
if (checks.length === 1) {
|
|
388
|
+
const check = checks[0];
|
|
389
|
+
const rec = reconcileRelationalSqlite(db, check);
|
|
390
|
+
return {
|
|
391
|
+
verificationRequest: { kind: "sql_relational", checks: [check] },
|
|
392
|
+
status: rec.status,
|
|
393
|
+
reasons: rec.reasons,
|
|
394
|
+
evidenceSummary: rec.evidenceSummary,
|
|
395
|
+
};
|
|
396
|
+
}
|
|
397
|
+
const rolled = rollupSqlRelationalSync(db, checks);
|
|
398
|
+
return {
|
|
399
|
+
verificationRequest: rolled.verificationRequest,
|
|
400
|
+
status: rolled.status,
|
|
401
|
+
reasons: rolled.reasons,
|
|
402
|
+
evidenceSummary: rolled.evidenceSummary,
|
|
403
|
+
};
|
|
404
|
+
}
|
|
405
|
+
if (resolved.verificationKind === "sql_row_absent") {
|
|
406
|
+
const rec = reconcileSqlRowAbsent(db, resolved.request);
|
|
407
|
+
return {
|
|
408
|
+
verificationRequest: resolved.request,
|
|
409
|
+
status: rec.status,
|
|
410
|
+
reasons: rec.reasons,
|
|
411
|
+
evidenceSummary: rec.evidenceSummary,
|
|
412
|
+
};
|
|
413
|
+
}
|
|
414
|
+
const rec = reconcileSqlRow(db, resolved.request);
|
|
415
|
+
return {
|
|
416
|
+
verificationRequest: resolved.request,
|
|
417
|
+
status: rec.status,
|
|
418
|
+
reasons: rec.reasons,
|
|
419
|
+
evidenceSummary: rec.evidenceSummary,
|
|
420
|
+
};
|
|
421
|
+
}
|
|
422
|
+
export async function executeVerificationWithPolicyAsync(resolved, policy, ctx, timing) {
|
|
423
|
+
const p = resolveVerificationPolicyInput(policy);
|
|
424
|
+
const t = mergeTiming(timing);
|
|
425
|
+
if (p.consistencyMode === "strong") {
|
|
426
|
+
if (resolved.verificationKind === "sql_effects") {
|
|
427
|
+
const recs = await Promise.all(resolved.effects.map((e) => ctx.reconcileRow(e.request)));
|
|
428
|
+
const out = rollupMultiEffectsFromReconciledRows(reconcileRowsToEffectInput(resolved.effects, recs));
|
|
429
|
+
return {
|
|
430
|
+
verificationRequest: out.verificationRequest,
|
|
431
|
+
status: out.status,
|
|
432
|
+
reasons: out.reasons,
|
|
433
|
+
evidenceSummary: out.evidenceSummary,
|
|
434
|
+
};
|
|
435
|
+
}
|
|
436
|
+
if (resolved.verificationKind === "sql_relational") {
|
|
437
|
+
const checks = resolved.checks;
|
|
438
|
+
if (checks.length === 1) {
|
|
439
|
+
const check = checks[0];
|
|
440
|
+
const rec = await ctx.reconcileRelationalCheck(check);
|
|
441
|
+
return {
|
|
442
|
+
verificationRequest: { kind: "sql_relational", checks: [check] },
|
|
443
|
+
status: rec.status,
|
|
444
|
+
reasons: rec.reasons,
|
|
445
|
+
evidenceSummary: rec.evidenceSummary,
|
|
446
|
+
};
|
|
447
|
+
}
|
|
448
|
+
const out = await rollupSqlRelationalAsync(ctx.reconcileRelationalCheck, checks);
|
|
449
|
+
return {
|
|
450
|
+
verificationRequest: out.verificationRequest,
|
|
451
|
+
status: out.status,
|
|
452
|
+
reasons: out.reasons,
|
|
453
|
+
evidenceSummary: out.evidenceSummary,
|
|
454
|
+
};
|
|
455
|
+
}
|
|
456
|
+
if (resolved.verificationKind === "sql_row_absent") {
|
|
457
|
+
const rec = await ctx.reconcileRowAbsent(resolved.request);
|
|
458
|
+
return {
|
|
459
|
+
verificationRequest: resolved.request,
|
|
460
|
+
status: rec.status,
|
|
461
|
+
reasons: rec.reasons,
|
|
462
|
+
evidenceSummary: rec.evidenceSummary,
|
|
463
|
+
};
|
|
464
|
+
}
|
|
465
|
+
const rec = await ctx.reconcileRow(resolved.request);
|
|
466
|
+
return {
|
|
467
|
+
verificationRequest: resolved.request,
|
|
468
|
+
status: rec.status,
|
|
469
|
+
reasons: rec.reasons,
|
|
470
|
+
evidenceSummary: rec.evidenceSummary,
|
|
471
|
+
};
|
|
472
|
+
}
|
|
473
|
+
if (resolved.verificationKind === "sql_row_absent") {
|
|
474
|
+
return executeSqlRowAbsentEventual(resolved.request, p, ctx, t);
|
|
475
|
+
}
|
|
476
|
+
if (resolved.verificationKind === "sql_row") {
|
|
477
|
+
return executeSqlRowEventual(resolved.request, p, ctx, t);
|
|
478
|
+
}
|
|
479
|
+
if (resolved.verificationKind === "sql_effects") {
|
|
480
|
+
return executeSqlEffectsEventual(resolved.effects, p, ctx, t);
|
|
481
|
+
}
|
|
482
|
+
const checks = resolved.checks;
|
|
483
|
+
if (checks.length === 1) {
|
|
484
|
+
return executeSqlRelationalSingleEventual(checks[0], p, ctx, t);
|
|
485
|
+
}
|
|
486
|
+
return executeSqlRelationalEventual(checks, p, ctx, t);
|
|
487
|
+
}
|
|
488
|
+
export function createSqlitePolicyContext(db) {
|
|
489
|
+
return {
|
|
490
|
+
reconcileRow: (req) => Promise.resolve(reconcileSqlRow(db, req)),
|
|
491
|
+
reconcileRowAbsent: (req) => Promise.resolve(reconcileSqlRowAbsent(db, req)),
|
|
492
|
+
reconcileRelationalCheck: (check) => Promise.resolve(reconcileRelationalSqlite(db, check)),
|
|
493
|
+
};
|
|
494
|
+
}
|
|
495
|
+
//# sourceMappingURL=verificationPolicy.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verificationPolicy.js","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,oCAAoC,EACpC,sBAAsB,EACtB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EACL,eAAe,EACf,qBAAqB,GAEtB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,eAAe,EAAE,QAAQ;IACzB,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAOF,MAAM,aAAa,GAAe;IAChC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;IACrB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;CACjE,CAAC;AAiBF,SAAS,WAAW,CAAC,OAA6B;IAChD,OAAO;QACL,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa,CAAC,KAAK;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA0B;IACpE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;YACL,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,eAAe,EAAE,UAAU;QAC3B,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA0B;IACtE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,gDAAgD,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,8BAA8B,CAAC,KAA0B;IACvE,MAAM,MAAM,GAAG,KAAK,IAAI,2BAA2B,CAAC;IACpD,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvD,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAyB,EACzB,IAAuB;IAUvB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;YACtB,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAChC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;SACzC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iCAAiC,CACxC,OAAyB,EACzB,IAAuB;IAIvB,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC9E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAiC,EACjC,IAAuB;IAIvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM;QACvB,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO;QACzB,eAAe,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,eAAe;KAC1C,CAAC,CAAC,CAAC;IACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC/E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA4B,EAC5B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAqC,EACrC,QAAgB,EAChB,SAAiB,EACjB,MAA0B,EAC1B,OAAwB;IAExB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;IAC9C,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,0CAA0C;gBAC9E,OAAO,EACL,6GAA6G;aAChH;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;YACd,eAAe,EAAE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAyB,EACzB,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,SAAkB;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,cAAc,EAAE,CAAC,CAAC,cAAc;SACjC,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,IAAI;qBACnI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAiC,EACjC,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;SACvB,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,gBAAyB;QAC/B,MAAM,EAAE,YAAY;KACrB,CAAC;IACF,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;QACd,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO;QACtB,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;KACvC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,YAAY;qBAC3I,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,KAA8B,EAC9B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;QAChE,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAA4B,EAC5B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,OAAqC,EACrC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IACE,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,0BAA0B,EACjF,CAAC;YACD,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,0BAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,KAA8B,EAC9B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,iCAAiC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,4BAA4B,CACzC,MAAiC,EACjC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,qCAAqC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iCAAiC,CAC/C,EAAgB,EAChB,QAAoB,EACpB,MAA0B;IAE1B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,GAAG,GAAG,qBAAqB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO;QACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QACrC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,QAAoB,EACpB,MAA0B,EAC1B,GAA2B,EAC3B,MAA4B;IAE5B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAE9B,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,GAAG,oCAAoC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACrG,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;gBACtD,OAAO;oBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;oBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;iBACrC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,wBAAwB,CAAC,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO;gBACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;gBACrC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,kCAAkC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,4BAA4B,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB;IACxD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChE,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5E,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;KAC3F,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verificationPolicy.test.d.ts","sourceRoot":"","sources":["../src/verificationPolicy.test.ts"],"names":[],"mappings":""}
|