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,389 @@
|
|
|
1
|
+
import { buildFailureAnalysis } from "./failureAnalysis.js";
|
|
2
|
+
import { formatOperationalMessage } from "./failureCatalog.js";
|
|
3
|
+
import { RUN_LEVEL_CODE_TO_ORIGIN } from "./failureOriginCatalog.js";
|
|
4
|
+
import { userPhraseForReasonCode } from "./verificationUserPhrases.js";
|
|
5
|
+
export class FailureExplanationInvariantError extends Error {
|
|
6
|
+
code;
|
|
7
|
+
constructor(code, message) {
|
|
8
|
+
super(message);
|
|
9
|
+
this.code = code;
|
|
10
|
+
this.name = "FailureExplanationInvariantError";
|
|
11
|
+
}
|
|
12
|
+
}
|
|
13
|
+
const POLICY_INVALID_MESSAGE = "Verification policy is missing or invalid for failure explanation.";
|
|
14
|
+
const EMPTY_CODES_MESSAGE = "Primary failure analysis evidence had empty codes.";
|
|
15
|
+
const EFFECT_SCOPE_MESSAGE = "Primary failure analysis evidence must not be scope effect.";
|
|
16
|
+
const STEP_TRUTH_MISMATCH_MESSAGE = "Truth report step missing for failure explanation driver step.";
|
|
17
|
+
const RUN_CONTEXT_INDEX_MESSAGE = "Run-context failure explanation requires ingestIndex on primary evidence.";
|
|
18
|
+
const NO_STEPS_FOR_WORKFLOW = "NO_STEPS_FOR_WORKFLOW";
|
|
19
|
+
const MULTI_EFFECT_ROLLUP_CODES = new Set([
|
|
20
|
+
"MULTI_EFFECT_PARTIAL",
|
|
21
|
+
"MULTI_EFFECT_ALL_FAILED",
|
|
22
|
+
"MULTI_EFFECT_INCOMPLETE",
|
|
23
|
+
"MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW",
|
|
24
|
+
]);
|
|
25
|
+
function parseEffects(evidenceSummary) {
|
|
26
|
+
const raw = evidenceSummary.effects;
|
|
27
|
+
if (!Array.isArray(raw))
|
|
28
|
+
return [];
|
|
29
|
+
const out = [];
|
|
30
|
+
for (const row of raw) {
|
|
31
|
+
if (typeof row !== "object" || row === null)
|
|
32
|
+
continue;
|
|
33
|
+
const o = row;
|
|
34
|
+
if (typeof o.id !== "string" || typeof o.status !== "string" || !Array.isArray(o.reasons))
|
|
35
|
+
continue;
|
|
36
|
+
out.push({
|
|
37
|
+
id: o.id,
|
|
38
|
+
status: o.status,
|
|
39
|
+
reasons: o.reasons,
|
|
40
|
+
});
|
|
41
|
+
}
|
|
42
|
+
return out;
|
|
43
|
+
}
|
|
44
|
+
function sortUniqueCodes(codes) {
|
|
45
|
+
return [...new Set(codes)].sort((a, b) => a.localeCompare(b));
|
|
46
|
+
}
|
|
47
|
+
function minLex(codes) {
|
|
48
|
+
return sortUniqueCodes(codes)[0];
|
|
49
|
+
}
|
|
50
|
+
function normMessage(s) {
|
|
51
|
+
const t = s.replace(/\r\n|\r|\n/g, " ").replace(/ +/g, " ").trim();
|
|
52
|
+
if (t.length === 0)
|
|
53
|
+
return "(no message)";
|
|
54
|
+
return formatOperationalMessage(t);
|
|
55
|
+
}
|
|
56
|
+
function fillTemplate(template, vars) {
|
|
57
|
+
let out = template;
|
|
58
|
+
for (const [k, v] of Object.entries(vars)) {
|
|
59
|
+
out = out.split(`<${k}>`).join(v);
|
|
60
|
+
}
|
|
61
|
+
return out;
|
|
62
|
+
}
|
|
63
|
+
function scalarToDetail(v) {
|
|
64
|
+
if (v === null || v === undefined)
|
|
65
|
+
return "null";
|
|
66
|
+
if (typeof v === "object")
|
|
67
|
+
return JSON.stringify(v);
|
|
68
|
+
return String(v);
|
|
69
|
+
}
|
|
70
|
+
/** Exported for doc parity tests; placeholders use angle brackets in the string. */
|
|
71
|
+
export const FE_RUN_LEVEL_EXPECTED = "Verification expected a valid captured run for workflowId=<workflowId> under policy [<P>] with no run-level ingest or planning failures.";
|
|
72
|
+
export const FE_RUN_LEVEL_OBSERVED = "Run-level failure: code=<firstCode> detail=<detail>.";
|
|
73
|
+
export const FE_RUN_LEVEL_DIVERGENCE = "Divergence at run_level: code=<firstCode> meaning=<meaning>";
|
|
74
|
+
export const FE_EVENT_SEQUENCE_EXPECTED = "Verification expected monotonic, well-formed event capture for workflowId=<workflowId> under policy [<P>].";
|
|
75
|
+
export const FE_EVENT_SEQUENCE_OBSERVED = "Event-sequence irregularity: code=<firstCode> detail=<detail>.";
|
|
76
|
+
export const FE_EVENT_SEQUENCE_DIVERGENCE = "Divergence at event_sequence: code=<firstCode> meaning=<meaning>";
|
|
77
|
+
export const FE_RUN_CONTEXT_EXPECTED = "Verification expected upstream run context through ingest_index=<ingestIndex> to allow fair evaluation of the failing tool observation under policy [<P>].";
|
|
78
|
+
export const FE_RUN_CONTEXT_OBSERVED = "Run-context signal before the failing observation: code=<C> <detail>.";
|
|
79
|
+
export const FE_RUN_CONTEXT_DIVERGENCE = "Divergence at run_context before the failing tool observation: code=<C> meaning=<meaning>";
|
|
80
|
+
export const FE_STEP_EXPECTED = "Verification expected post-execution database state to satisfy verify_target \"<verifyTargetOrLiteralNull>\" and intended_effect \"<narrative>\" for seq=<seq> toolId=<toolId> under policy [<P>].";
|
|
81
|
+
export const FE_STEP_OBSERVED = "Step verification outcome: code=<primaryCode> detail=<detail><suffix>";
|
|
82
|
+
export const FE_STEP_DIVERGENCE = "Divergence at step seq=<seq> toolId=<toolId>: primary_code=<primaryCode> meaning=<meaning>";
|
|
83
|
+
export const FE_NO_STEPS_OBSERVED = "No tool_observed steps were produced for workflowId=<workflowId>.";
|
|
84
|
+
export const FE_NO_STEPS_DIVERGENCE = "Divergence: no steps to verify against the database under policy [<P>]";
|
|
85
|
+
/** All branch template literals (doc fences must match these). */
|
|
86
|
+
export const FAILURE_EXPLANATION_BRANCH_TEMPLATES = {
|
|
87
|
+
runLevel: { expected: FE_RUN_LEVEL_EXPECTED, observed: FE_RUN_LEVEL_OBSERVED, divergence: FE_RUN_LEVEL_DIVERGENCE },
|
|
88
|
+
eventSequence: {
|
|
89
|
+
expected: FE_EVENT_SEQUENCE_EXPECTED,
|
|
90
|
+
observed: FE_EVENT_SEQUENCE_OBSERVED,
|
|
91
|
+
divergence: FE_EVENT_SEQUENCE_DIVERGENCE,
|
|
92
|
+
},
|
|
93
|
+
runContext: {
|
|
94
|
+
expected: FE_RUN_CONTEXT_EXPECTED,
|
|
95
|
+
observed: FE_RUN_CONTEXT_OBSERVED,
|
|
96
|
+
divergence: FE_RUN_CONTEXT_DIVERGENCE,
|
|
97
|
+
},
|
|
98
|
+
step: { expected: FE_STEP_EXPECTED, observed: FE_STEP_OBSERVED, divergence: FE_STEP_DIVERGENCE },
|
|
99
|
+
noSteps: {
|
|
100
|
+
expected: FE_RUN_LEVEL_EXPECTED,
|
|
101
|
+
observed: FE_NO_STEPS_OBSERVED,
|
|
102
|
+
divergence: FE_NO_STEPS_DIVERGENCE,
|
|
103
|
+
},
|
|
104
|
+
};
|
|
105
|
+
const KNOWN_FACT_ORDER = [
|
|
106
|
+
"trust_summary",
|
|
107
|
+
"workflow_status",
|
|
108
|
+
"verification_policy",
|
|
109
|
+
"primary_origin",
|
|
110
|
+
"classification_confidence",
|
|
111
|
+
"failure_analysis_summary",
|
|
112
|
+
"primary_scope",
|
|
113
|
+
"primary_codes",
|
|
114
|
+
"primary_ingest_index",
|
|
115
|
+
"primary_tool_id",
|
|
116
|
+
"primary_source",
|
|
117
|
+
"primary_run_event_id",
|
|
118
|
+
"primary_seq",
|
|
119
|
+
"primary_effect_id",
|
|
120
|
+
"verify_target",
|
|
121
|
+
"intended_effect_narrative",
|
|
122
|
+
"evidence_summary_field",
|
|
123
|
+
"evidence_summary_expected",
|
|
124
|
+
"evidence_summary_actual",
|
|
125
|
+
"evidence_summary_row_count",
|
|
126
|
+
];
|
|
127
|
+
export function policyFragment(engine) {
|
|
128
|
+
const p = engine.verificationPolicy;
|
|
129
|
+
if (p === undefined || p === null) {
|
|
130
|
+
throw new FailureExplanationInvariantError("EXPLANATION_VERIFICATION_POLICY_INVALID", POLICY_INVALID_MESSAGE);
|
|
131
|
+
}
|
|
132
|
+
const { consistencyMode, verificationWindowMs, pollIntervalMs } = p;
|
|
133
|
+
if (consistencyMode !== "strong" && consistencyMode !== "eventual") {
|
|
134
|
+
throw new FailureExplanationInvariantError("EXPLANATION_VERIFICATION_POLICY_INVALID", POLICY_INVALID_MESSAGE);
|
|
135
|
+
}
|
|
136
|
+
if (typeof verificationWindowMs !== "number" || !Number.isFinite(verificationWindowMs)) {
|
|
137
|
+
throw new FailureExplanationInvariantError("EXPLANATION_VERIFICATION_POLICY_INVALID", POLICY_INVALID_MESSAGE);
|
|
138
|
+
}
|
|
139
|
+
if (typeof pollIntervalMs !== "number" || !Number.isFinite(pollIntervalMs)) {
|
|
140
|
+
throw new FailureExplanationInvariantError("EXPLANATION_VERIFICATION_POLICY_INVALID", POLICY_INVALID_MESSAGE);
|
|
141
|
+
}
|
|
142
|
+
return `consistencyMode=${consistencyMode}; verificationWindowMs=${verificationWindowMs}; pollIntervalMs=${pollIntervalMs}`;
|
|
143
|
+
}
|
|
144
|
+
function buildRunContextDetail(ctx, ingestIndex, C) {
|
|
145
|
+
if (C === "RETRIEVAL_ERROR") {
|
|
146
|
+
const row = ctx.retrievalEvents.find((e) => e.ingestIndex === ingestIndex && e.status === "error");
|
|
147
|
+
if (row === undefined)
|
|
148
|
+
return "run_context_record_missing=true";
|
|
149
|
+
return `source=${row.source} status=error`;
|
|
150
|
+
}
|
|
151
|
+
if (C.startsWith("MODEL_TURN_")) {
|
|
152
|
+
const suffix = C.slice("MODEL_TURN_".length).toLowerCase();
|
|
153
|
+
const status = suffix;
|
|
154
|
+
const row = ctx.modelTurnEvents.find((e) => e.ingestIndex === ingestIndex && e.status === status);
|
|
155
|
+
if (row === undefined)
|
|
156
|
+
return "run_context_record_missing=true";
|
|
157
|
+
return `status=${row.status}`;
|
|
158
|
+
}
|
|
159
|
+
if (C === "CONTROL_INTERRUPT") {
|
|
160
|
+
const row = ctx.controlEvents.find((e) => e.ingestIndex === ingestIndex && e.controlKind === "interrupt");
|
|
161
|
+
if (row === undefined)
|
|
162
|
+
return "run_context_record_missing=true";
|
|
163
|
+
return "controlKind=interrupt";
|
|
164
|
+
}
|
|
165
|
+
if (C === "CONTROL_BRANCH_SKIPPED") {
|
|
166
|
+
const row = ctx.controlEvents.find((e) => e.ingestIndex === ingestIndex &&
|
|
167
|
+
e.controlKind === "branch" &&
|
|
168
|
+
e.decision === "skipped");
|
|
169
|
+
if (row === undefined)
|
|
170
|
+
return "run_context_record_missing=true";
|
|
171
|
+
return "controlKind=branch decision=skipped";
|
|
172
|
+
}
|
|
173
|
+
if (C === "CONTROL_GATE_SKIPPED") {
|
|
174
|
+
const row = ctx.controlEvents.find((e) => e.ingestIndex === ingestIndex && e.controlKind === "gate" && e.decision === "skipped");
|
|
175
|
+
if (row === undefined)
|
|
176
|
+
return "run_context_record_missing=true";
|
|
177
|
+
return "controlKind=gate decision=skipped";
|
|
178
|
+
}
|
|
179
|
+
if (C === "TOOL_SKIPPED") {
|
|
180
|
+
const row = ctx.toolSkippedEvents.find((e) => e.ingestIndex === ingestIndex);
|
|
181
|
+
if (row === undefined)
|
|
182
|
+
return "run_context_record_missing=true";
|
|
183
|
+
return `toolId=${row.toolId}`;
|
|
184
|
+
}
|
|
185
|
+
return "run_context_record_missing=true";
|
|
186
|
+
}
|
|
187
|
+
function msgReasonForDriverStep(driver, primaryCode) {
|
|
188
|
+
const rollup = driver.reasons[0]?.code;
|
|
189
|
+
if (rollup !== undefined && MULTI_EFFECT_ROLLUP_CODES.has(rollup) && primaryCode !== rollup) {
|
|
190
|
+
const effects = parseEffects(driver.evidenceSummary);
|
|
191
|
+
const failing = effects
|
|
192
|
+
.filter((e) => e.status !== "verified")
|
|
193
|
+
.sort((a, b) => a.id.localeCompare(b.id))[0];
|
|
194
|
+
if (failing?.reasons[0] !== undefined)
|
|
195
|
+
return failing.reasons[0];
|
|
196
|
+
}
|
|
197
|
+
return driver.reasons[0] ?? { code: primaryCode, message: "" };
|
|
198
|
+
}
|
|
199
|
+
function evidenceSummarySuffix(evidenceSummary) {
|
|
200
|
+
const parts = [];
|
|
201
|
+
const order = ["field", "expected", "actual", "rowCount"];
|
|
202
|
+
for (const k of order) {
|
|
203
|
+
if (Object.prototype.hasOwnProperty.call(evidenceSummary, k)) {
|
|
204
|
+
parts.push(`${k}=${scalarToDetail(evidenceSummary[k])}`);
|
|
205
|
+
}
|
|
206
|
+
}
|
|
207
|
+
if (parts.length === 0)
|
|
208
|
+
return "";
|
|
209
|
+
return `; ${parts.join("; ")}`;
|
|
210
|
+
}
|
|
211
|
+
function buildUnknowns(fa) {
|
|
212
|
+
const out = [];
|
|
213
|
+
const unknownRows = fa.unknownReasonCodes.map((c) => ({
|
|
214
|
+
id: "unknown_reason_code",
|
|
215
|
+
value: `code=${c}|meaning=${userPhraseForReasonCode(c)}`,
|
|
216
|
+
}));
|
|
217
|
+
unknownRows.sort((a, b) => a.value.localeCompare(b.value));
|
|
218
|
+
out.push(...unknownRows);
|
|
219
|
+
if (fa.confidence === "medium" || fa.confidence === "low") {
|
|
220
|
+
out.push({ id: "classification_confidence_band", value: fa.confidence });
|
|
221
|
+
}
|
|
222
|
+
if (fa.alternativeHypotheses !== undefined) {
|
|
223
|
+
for (const alt of fa.alternativeHypotheses) {
|
|
224
|
+
out.push({
|
|
225
|
+
id: "competing_hypothesis",
|
|
226
|
+
value: `origin=${alt.primaryOrigin}|rationale=${normMessage(alt.rationale)}`,
|
|
227
|
+
});
|
|
228
|
+
}
|
|
229
|
+
}
|
|
230
|
+
return out;
|
|
231
|
+
}
|
|
232
|
+
function assembleKnownFacts(map) {
|
|
233
|
+
const out = [];
|
|
234
|
+
for (const id of KNOWN_FACT_ORDER) {
|
|
235
|
+
const v = map.get(id);
|
|
236
|
+
if (v !== undefined)
|
|
237
|
+
out.push({ id, value: v });
|
|
238
|
+
}
|
|
239
|
+
return out;
|
|
240
|
+
}
|
|
241
|
+
function addPrimaryEvidenceFacts(map, e0, fa) {
|
|
242
|
+
map.set("primary_scope", e0.scope);
|
|
243
|
+
if (e0.codes !== undefined && e0.codes.length > 0) {
|
|
244
|
+
map.set("primary_codes", sortUniqueCodes(e0.codes).join(","));
|
|
245
|
+
}
|
|
246
|
+
if (e0.ingestIndex !== undefined)
|
|
247
|
+
map.set("primary_ingest_index", String(e0.ingestIndex));
|
|
248
|
+
if (e0.toolId !== undefined)
|
|
249
|
+
map.set("primary_tool_id", e0.toolId);
|
|
250
|
+
if (e0.source !== undefined)
|
|
251
|
+
map.set("primary_source", e0.source);
|
|
252
|
+
if (e0.runEventId !== undefined)
|
|
253
|
+
map.set("primary_run_event_id", e0.runEventId === null ? "null" : e0.runEventId);
|
|
254
|
+
if (e0.seq !== undefined)
|
|
255
|
+
map.set("primary_seq", String(e0.seq));
|
|
256
|
+
const e1 = fa.evidence[1];
|
|
257
|
+
if (e1?.scope === "effect" && e1.effectId !== undefined) {
|
|
258
|
+
map.set("primary_effect_id", e1.effectId);
|
|
259
|
+
}
|
|
260
|
+
}
|
|
261
|
+
export function buildFailureExplanation(engine, truth) {
|
|
262
|
+
if (engine.status === "complete")
|
|
263
|
+
return null;
|
|
264
|
+
const P = policyFragment(engine);
|
|
265
|
+
const fa = buildFailureAnalysis(engine);
|
|
266
|
+
if (fa === null) {
|
|
267
|
+
throw new FailureExplanationInvariantError("EXPLANATION_EVIDENCE_CODES_EMPTY", EMPTY_CODES_MESSAGE);
|
|
268
|
+
}
|
|
269
|
+
const e0 = fa.evidence[0];
|
|
270
|
+
if (e0.scope === "effect") {
|
|
271
|
+
throw new FailureExplanationInvariantError("EXPLANATION_PRIMARY_EVIDENCE_SCOPE_EFFECT", EFFECT_SCOPE_MESSAGE);
|
|
272
|
+
}
|
|
273
|
+
if (!e0.codes || e0.codes.length === 0) {
|
|
274
|
+
throw new FailureExplanationInvariantError("EXPLANATION_EVIDENCE_CODES_EMPTY", EMPTY_CODES_MESSAGE);
|
|
275
|
+
}
|
|
276
|
+
const primaryCode = minLex(e0.codes);
|
|
277
|
+
const workflowId = engine.workflowId;
|
|
278
|
+
const baseMap = new Map();
|
|
279
|
+
baseMap.set("trust_summary", truth.trustSummary);
|
|
280
|
+
baseMap.set("workflow_status", truth.workflowStatus);
|
|
281
|
+
baseMap.set("verification_policy", P);
|
|
282
|
+
baseMap.set("primary_origin", fa.primaryOrigin);
|
|
283
|
+
baseMap.set("classification_confidence", fa.confidence);
|
|
284
|
+
baseMap.set("failure_analysis_summary", normMessage(fa.summary));
|
|
285
|
+
addPrimaryEvidenceFacts(baseMap, e0, fa);
|
|
286
|
+
let expected;
|
|
287
|
+
let observed;
|
|
288
|
+
let divergence;
|
|
289
|
+
if (e0.scope === "run_level") {
|
|
290
|
+
const U = sortUniqueCodes(e0.codes);
|
|
291
|
+
const knownOnly = U.filter((c) => c in RUN_LEVEL_CODE_TO_ORIGIN);
|
|
292
|
+
const firstCode = knownOnly.length > 0 ? minLex(knownOnly) : minLex(U);
|
|
293
|
+
const R = engine.runLevelReasons.find((r) => r.code === firstCode);
|
|
294
|
+
const detail = normMessage(R?.message ?? "");
|
|
295
|
+
const meaning = userPhraseForReasonCode(firstCode);
|
|
296
|
+
expected = fillTemplate(FE_RUN_LEVEL_EXPECTED, { workflowId, P });
|
|
297
|
+
observed = fillTemplate(FE_RUN_LEVEL_OBSERVED, { firstCode, detail });
|
|
298
|
+
divergence = fillTemplate(FE_RUN_LEVEL_DIVERGENCE, { firstCode, meaning });
|
|
299
|
+
}
|
|
300
|
+
else if (e0.scope === "event_sequence") {
|
|
301
|
+
const U = sortUniqueCodes(e0.codes);
|
|
302
|
+
const firstCode = minLex(U);
|
|
303
|
+
const reasons = engine.eventSequenceIntegrity.kind === "irregular" ? engine.eventSequenceIntegrity.reasons : [];
|
|
304
|
+
const R = reasons.find((r) => r.code === firstCode);
|
|
305
|
+
const detail = normMessage(R?.message ?? "");
|
|
306
|
+
const meaning = userPhraseForReasonCode(firstCode);
|
|
307
|
+
expected = fillTemplate(FE_EVENT_SEQUENCE_EXPECTED, { workflowId, P });
|
|
308
|
+
observed = fillTemplate(FE_EVENT_SEQUENCE_OBSERVED, { firstCode, detail });
|
|
309
|
+
divergence = fillTemplate(FE_EVENT_SEQUENCE_DIVERGENCE, { firstCode, meaning });
|
|
310
|
+
}
|
|
311
|
+
else if (e0.scope === "run_context") {
|
|
312
|
+
if (e0.ingestIndex === undefined) {
|
|
313
|
+
throw new FailureExplanationInvariantError("EXPLANATION_RUN_CONTEXT_INDEX_MISSING", RUN_CONTEXT_INDEX_MESSAGE);
|
|
314
|
+
}
|
|
315
|
+
const ingestIndex = String(e0.ingestIndex);
|
|
316
|
+
const C = minLex(e0.codes);
|
|
317
|
+
const detail = buildRunContextDetail(engine.verificationRunContext, e0.ingestIndex, C);
|
|
318
|
+
const meaning = userPhraseForReasonCode(C);
|
|
319
|
+
expected = fillTemplate(FE_RUN_CONTEXT_EXPECTED, { ingestIndex, P });
|
|
320
|
+
observed = fillTemplate(FE_RUN_CONTEXT_OBSERVED, { C, detail });
|
|
321
|
+
divergence = fillTemplate(FE_RUN_CONTEXT_DIVERGENCE, { C, meaning });
|
|
322
|
+
}
|
|
323
|
+
else if (e0.scope === "step") {
|
|
324
|
+
if (primaryCode === NO_STEPS_FOR_WORKFLOW) {
|
|
325
|
+
expected = fillTemplate(FE_RUN_LEVEL_EXPECTED, { workflowId, P });
|
|
326
|
+
observed = fillTemplate(FE_NO_STEPS_OBSERVED, { workflowId });
|
|
327
|
+
divergence = fillTemplate(FE_NO_STEPS_DIVERGENCE, { P });
|
|
328
|
+
}
|
|
329
|
+
else {
|
|
330
|
+
if (e0.seq === undefined || e0.toolId === undefined) {
|
|
331
|
+
throw new FailureExplanationInvariantError("EXPLANATION_STEP_TRUTH_MISMATCH", STEP_TRUTH_MISMATCH_MESSAGE);
|
|
332
|
+
}
|
|
333
|
+
const driver = engine.steps.find((s) => s.seq === e0.seq && s.toolId === e0.toolId);
|
|
334
|
+
if (driver === undefined) {
|
|
335
|
+
throw new FailureExplanationInvariantError("EXPLANATION_STEP_TRUTH_MISMATCH", STEP_TRUTH_MISMATCH_MESSAGE);
|
|
336
|
+
}
|
|
337
|
+
const truthStep = truth.steps.find((s) => s.seq === e0.seq && s.toolId === e0.toolId);
|
|
338
|
+
if (truthStep === undefined) {
|
|
339
|
+
throw new FailureExplanationInvariantError("EXPLANATION_STEP_TRUTH_MISMATCH", STEP_TRUTH_MISMATCH_MESSAGE);
|
|
340
|
+
}
|
|
341
|
+
const seq = String(e0.seq);
|
|
342
|
+
const toolId = e0.toolId;
|
|
343
|
+
const verifyTargetOrLiteralNull = truthStep.verifyTarget === null ? "null" : normMessage(truthStep.verifyTarget);
|
|
344
|
+
const narrative = normMessage(truthStep.intendedEffect.narrative);
|
|
345
|
+
const mr = msgReasonForDriverStep(driver, primaryCode);
|
|
346
|
+
const detail = normMessage(mr.message);
|
|
347
|
+
const suffix = evidenceSummarySuffix(driver.evidenceSummary);
|
|
348
|
+
const meaning = userPhraseForReasonCode(primaryCode);
|
|
349
|
+
expected = fillTemplate(FE_STEP_EXPECTED, {
|
|
350
|
+
verifyTargetOrLiteralNull,
|
|
351
|
+
narrative,
|
|
352
|
+
seq,
|
|
353
|
+
toolId,
|
|
354
|
+
P,
|
|
355
|
+
});
|
|
356
|
+
observed = fillTemplate(FE_STEP_OBSERVED, { primaryCode, detail, suffix });
|
|
357
|
+
divergence = fillTemplate(FE_STEP_DIVERGENCE, { seq, toolId, primaryCode, meaning });
|
|
358
|
+
baseMap.set("verify_target", truthStep.verifyTarget === null ? "null" : truthStep.verifyTarget);
|
|
359
|
+
baseMap.set("intended_effect_narrative", narrative);
|
|
360
|
+
const es = driver.evidenceSummary;
|
|
361
|
+
if (Object.prototype.hasOwnProperty.call(es, "field")) {
|
|
362
|
+
baseMap.set("evidence_summary_field", scalarToDetail(es.field));
|
|
363
|
+
}
|
|
364
|
+
if (Object.prototype.hasOwnProperty.call(es, "expected")) {
|
|
365
|
+
baseMap.set("evidence_summary_expected", scalarToDetail(es.expected));
|
|
366
|
+
}
|
|
367
|
+
if (Object.prototype.hasOwnProperty.call(es, "actual")) {
|
|
368
|
+
baseMap.set("evidence_summary_actual", scalarToDetail(es.actual));
|
|
369
|
+
}
|
|
370
|
+
if (Object.prototype.hasOwnProperty.call(es, "rowCount")) {
|
|
371
|
+
baseMap.set("evidence_summary_row_count", scalarToDetail(es.rowCount));
|
|
372
|
+
}
|
|
373
|
+
}
|
|
374
|
+
}
|
|
375
|
+
else {
|
|
376
|
+
throw new Error(`Unreachable failure explanation branch: scope=${String(e0.scope)}`);
|
|
377
|
+
}
|
|
378
|
+
const knownFacts = assembleKnownFacts(baseMap);
|
|
379
|
+
const unknowns = buildUnknowns(fa);
|
|
380
|
+
return {
|
|
381
|
+
schemaVersion: 1,
|
|
382
|
+
expected: formatOperationalMessage(expected),
|
|
383
|
+
observed: formatOperationalMessage(observed),
|
|
384
|
+
divergence: formatOperationalMessage(divergence),
|
|
385
|
+
knownFacts,
|
|
386
|
+
unknowns,
|
|
387
|
+
};
|
|
388
|
+
}
|
|
389
|
+
//# sourceMappingURL=failureExplanation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureExplanation.js","sourceRoot":"","sources":["../src/failureExplanation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAarE,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AASvE,MAAM,OAAO,gCAAiC,SAAQ,KAAK;IAChD,IAAI,CAAkC;IAC/C,YAAY,IAAqC,EAAE,OAAe;QAChE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;IACjD,CAAC;CACF;AAED,MAAM,sBAAsB,GAC1B,oEAA6E,CAAC;AAEhF,MAAM,mBAAmB,GAAG,oDAA6D,CAAC;AAC1F,MAAM,oBAAoB,GAAG,6DAAsE,CAAC;AACpG,MAAM,2BAA2B,GAAG,gEAAyE,CAAC;AAC9G,MAAM,yBAAyB,GAAG,2EAAoF,CAAC;AAEvH,MAAM,qBAAqB,GAAG,uBAAgC,CAAC;AAE/D,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,sCAAsC;CACvC,CAAC,CAAC;AAIH,SAAS,YAAY,CAAC,eAAwC;IAC5D,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,CAAC;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QACtD,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,SAAS;QACpG,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAAmB;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,KAAe;IACtC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;AACpC,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC1C,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB,EAAE,IAA4B;IAClE,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAChC,0IAA0I,CAAC;AAC7I,MAAM,CAAC,MAAM,qBAAqB,GAAG,sDAAsD,CAAC;AAC5F,MAAM,CAAC,MAAM,uBAAuB,GAAG,6DAA6D,CAAC;AAErG,MAAM,CAAC,MAAM,0BAA0B,GACrC,4GAA4G,CAAC;AAC/G,MAAM,CAAC,MAAM,0BAA0B,GAAG,gEAAgE,CAAC;AAC3G,MAAM,CAAC,MAAM,4BAA4B,GACvC,kEAAkE,CAAC;AAErE,MAAM,CAAC,MAAM,uBAAuB,GAClC,4JAA4J,CAAC;AAC/J,MAAM,CAAC,MAAM,uBAAuB,GAAG,uEAAuE,CAAC;AAC/G,MAAM,CAAC,MAAM,yBAAyB,GACpC,2FAA2F,CAAC;AAE9F,MAAM,CAAC,MAAM,gBAAgB,GAC3B,oMAAoM,CAAC;AACvM,MAAM,CAAC,MAAM,gBAAgB,GAAG,uEAAuE,CAAC;AACxG,MAAM,CAAC,MAAM,kBAAkB,GAC7B,4FAA4F,CAAC;AAE/F,MAAM,CAAC,MAAM,oBAAoB,GAAG,mEAAmE,CAAC;AACxG,MAAM,CAAC,MAAM,sBAAsB,GACjC,wEAAwE,CAAC;AAE3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,oCAAoC,GAAG;IAClD,QAAQ,EAAE,EAAE,QAAQ,EAAE,qBAAqB,EAAE,QAAQ,EAAE,qBAAqB,EAAE,UAAU,EAAE,uBAAuB,EAAE;IACnH,aAAa,EAAE;QACb,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,0BAA0B;QACpC,UAAU,EAAE,4BAA4B;KACzC;IACD,UAAU,EAAE;QACV,QAAQ,EAAE,uBAAuB;QACjC,QAAQ,EAAE,uBAAuB;QACjC,UAAU,EAAE,yBAAyB;KACtC;IACD,IAAI,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,EAAE;IAChG,OAAO,EAAE;QACP,QAAQ,EAAE,qBAAqB;QAC/B,QAAQ,EAAE,oBAAoB;QAC9B,UAAU,EAAE,sBAAsB;KACnC;CACO,CAAC;AAEX,MAAM,gBAAgB,GAAwC;IAC5D,eAAe;IACf,iBAAiB;IACjB,qBAAqB;IACrB,gBAAgB;IAChB,2BAA2B;IAC3B,0BAA0B;IAC1B,eAAe;IACf,eAAe;IACf,sBAAsB;IACtB,iBAAiB;IACjB,gBAAgB;IAChB,sBAAsB;IACtB,aAAa;IACb,mBAAmB;IACnB,eAAe;IACf,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,yBAAyB;IACzB,4BAA4B;CACpB,CAAC;AAEX,MAAM,UAAU,cAAc,CAAC,MAA4B;IACzD,MAAM,CAAC,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACpC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAClC,MAAM,IAAI,gCAAgC,CACxC,yCAAyC,EACzC,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,eAAe,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;IACpE,IAAI,eAAe,KAAK,QAAQ,IAAI,eAAe,KAAK,UAAU,EAAE,CAAC;QACnE,MAAM,IAAI,gCAAgC,CACxC,yCAAyC,EACzC,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,oBAAoB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,gCAAgC,CACxC,yCAAyC,EACzC,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,gCAAgC,CACxC,yCAAyC,EACzC,sBAAsB,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,mBAAmB,eAAe,0BAA0B,oBAAoB,oBAAoB,cAAc,EAAE,CAAC;AAC9H,CAAC;AAED,SAAS,qBAAqB,CAAC,GAA2B,EAAE,WAAmB,EAAE,CAAS;IACxF,IAAI,CAAC,KAAK,iBAAiB,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QACnG,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,UAAU,GAAG,CAAC,MAAM,eAAe,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,MAA4C,CAAC;QAC5D,MAAM,GAAG,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAClG,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,UAAU,GAAG,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,CAAC,KAAK,mBAAmB,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CACtE,CAAC;QACF,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,KAAK,wBAAwB,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,WAAW,KAAK,WAAW;YAC7B,CAAC,CAAC,WAAW,KAAK,QAAQ;YAC1B,CAAC,CAAC,QAAQ,KAAK,SAAS,CAC3B,CAAC;QACF,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,qCAAqC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,KAAK,sBAAsB,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CACxF,CAAC;QACF,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,mCAAmC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QAC7E,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,iCAAiC,CAAC;QAChE,OAAO,UAAU,GAAG,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,iCAAiC,CAAC;AAC3C,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAmB,EAAE,WAAmB;IACtE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;QAC5F,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,OAAO;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;aACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;IACpE,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,qBAAqB,CAAC,eAAwC;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CAAC,EAAuB;IAC5C,MAAM,GAAG,GAA8D,EAAE,CAAC;IAC1E,MAAM,WAAW,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,EAAE,EAAE,qBAA8B;QAClC,KAAK,EAAE,QAAQ,CAAC,YAAY,uBAAuB,CAAC,CAAC,CAAC,EAAE;KACzD,CAAC,CAAC,CAAC;IACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,UAAU,KAAK,QAAQ,IAAI,EAAE,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;QAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,gCAAgC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,qBAAqB,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,sBAAsB;gBAC1B,KAAK,EAAE,UAAU,GAAG,CAAC,aAAa,cAAc,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;aAC7E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CACzB,GAA0C;IAE1C,MAAM,GAAG,GAA2D,EAAE,CAAC;IACvE,KAAK,MAAM,EAAE,IAAI,gBAAgB,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,uBAAuB,CAC9B,GAA0C,EAC1C,EAA+B,EAC/B,EAAuB;IAEvB,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IAC1F,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,sBAAsB,EAAE,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;IAClH,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,EAAE,KAAK,KAAK,QAAQ,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAA4B,EAC5B,KAAkG;IAElG,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAE9C,MAAM,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,gCAAgC,CACxC,kCAAkC,EAClC,mBAAmB,CACpB,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,gCAAgC,CACxC,2CAA2C,EAC3C,oBAAoB,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,gCAAgC,CAAC,kCAAkC,EAAE,mBAAmB,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IAErC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,2BAA2B,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,0BAA0B,EAAE,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACjE,uBAAuB,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAEzC,IAAI,QAAgB,CAAC;IACrB,IAAI,QAAgB,CAAC;IACrB,IAAI,UAAkB,CAAC;IAEvB,IAAI,EAAE,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;QACnD,QAAQ,GAAG,YAAY,CAAC,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,QAAQ,GAAG,YAAY,CAAC,qBAAqB,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,UAAU,GAAG,YAAY,CAAC,uBAAuB,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,EAAE,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,OAAO,GACX,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;QACnD,QAAQ,GAAG,YAAY,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACvE,QAAQ,GAAG,YAAY,CAAC,0BAA0B,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3E,UAAU,GAAG,YAAY,CAAC,4BAA4B,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IAClF,CAAC;SAAM,IAAI,EAAE,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;QACtC,IAAI,EAAE,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,gCAAgC,CACxC,uCAAuC,EACvC,yBAAyB,CAC1B,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,sBAAsB,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACvF,MAAM,OAAO,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QAC3C,QAAQ,GAAG,YAAY,CAAC,uBAAuB,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,QAAQ,GAAG,YAAY,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAChE,UAAU,GAAG,YAAY,CAAC,yBAAyB,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC;SAAM,IAAI,EAAE,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC/B,IAAI,WAAW,KAAK,qBAAqB,EAAE,CAAC;YAC1C,QAAQ,GAAG,YAAY,CAAC,qBAAqB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;YAClE,QAAQ,GAAG,YAAY,CAAC,oBAAoB,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YAC9D,UAAU,GAAG,YAAY,CAAC,sBAAsB,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACN,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACpD,MAAM,IAAI,gCAAgC,CACxC,iCAAiC,EACjC,2BAA2B,CAC5B,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;YACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,IAAI,gCAAgC,CACxC,iCAAiC,EACjC,2BAA2B,CAC5B,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;YACtF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,gCAAgC,CACxC,iCAAiC,EACjC,2BAA2B,CAC5B,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;YACzB,MAAM,yBAAyB,GAAG,SAAS,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YACjH,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;YAClE,MAAM,EAAE,GAAG,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,uBAAuB,CAAC,WAAW,CAAC,CAAC;YACrD,QAAQ,GAAG,YAAY,CAAC,gBAAgB,EAAE;gBACxC,yBAAyB;gBACzB,SAAS;gBACT,GAAG;gBACH,MAAM;gBACN,CAAC;aACF,CAAC,CAAC;YACH,QAAQ,GAAG,YAAY,CAAC,gBAAgB,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3E,UAAU,GAAG,YAAY,CAAC,kBAAkB,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;YAErF,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAChG,OAAO,CAAC,GAAG,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,MAAM,CAAC,eAAe,CAAC;YAClC,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtD,OAAO,CAAC,GAAG,CAAC,wBAAwB,EAAE,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,GAAG,CAAC,2BAA2B,EAAE,cAAc,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,GAAG,CAAC,yBAAyB,EAAE,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YACpE,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,GAAG,CAAC,4BAA4B,EAAE,cAAc,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,iDAAiD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAEnC,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,wBAAwB,CAAC,QAAQ,CAAC;QAC5C,QAAQ,EAAE,wBAAwB,CAAC,QAAQ,CAAC;QAC5C,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC;QAChD,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureExplanationDocumentationParity.test.d.ts","sourceRoot":"","sources":["../src/failureExplanationDocumentationParity.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "node:fs";
|
|
3
|
+
import path from "node:path";
|
|
4
|
+
import { fileURLToPath } from "node:url";
|
|
5
|
+
import * as failureExplanation from "./failureExplanation.js";
|
|
6
|
+
const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
|
|
7
|
+
const docPath = path.join(root, "docs", "agentskeptic.md");
|
|
8
|
+
const FE_TEMPLATE_EXPORT_NAMES = [
|
|
9
|
+
"FE_RUN_LEVEL_EXPECTED",
|
|
10
|
+
"FE_RUN_LEVEL_OBSERVED",
|
|
11
|
+
"FE_RUN_LEVEL_DIVERGENCE",
|
|
12
|
+
"FE_EVENT_SEQUENCE_EXPECTED",
|
|
13
|
+
"FE_EVENT_SEQUENCE_OBSERVED",
|
|
14
|
+
"FE_EVENT_SEQUENCE_DIVERGENCE",
|
|
15
|
+
"FE_RUN_CONTEXT_EXPECTED",
|
|
16
|
+
"FE_RUN_CONTEXT_OBSERVED",
|
|
17
|
+
"FE_RUN_CONTEXT_DIVERGENCE",
|
|
18
|
+
"FE_STEP_EXPECTED",
|
|
19
|
+
"FE_STEP_OBSERVED",
|
|
20
|
+
"FE_STEP_DIVERGENCE",
|
|
21
|
+
"FE_NO_STEPS_OBSERVED",
|
|
22
|
+
"FE_NO_STEPS_DIVERGENCE",
|
|
23
|
+
];
|
|
24
|
+
function extractFailureExplanationFence(docText, exportName) {
|
|
25
|
+
const open = `\`\`\`text failureExplanation.ts ${exportName}`;
|
|
26
|
+
const start = docText.indexOf(open);
|
|
27
|
+
if (start === -1) {
|
|
28
|
+
throw new Error(`Missing fence opening for ${exportName}`);
|
|
29
|
+
}
|
|
30
|
+
const nl = docText.indexOf("\n", start);
|
|
31
|
+
if (nl === -1)
|
|
32
|
+
throw new Error(`Malformed fence for ${exportName}`);
|
|
33
|
+
const contentStart = nl + 1;
|
|
34
|
+
const close = docText.indexOf("\n```", contentStart);
|
|
35
|
+
if (close === -1)
|
|
36
|
+
throw new Error(`Missing fence close for ${exportName}`);
|
|
37
|
+
return docText
|
|
38
|
+
.slice(contentStart, close)
|
|
39
|
+
.replace(/\r\n/g, "\n")
|
|
40
|
+
.replace(/\r/g, "")
|
|
41
|
+
.replace(/\n+$/, "");
|
|
42
|
+
}
|
|
43
|
+
describe("failureExplanation documentation template parity", () => {
|
|
44
|
+
it("agentskeptic.md fenced templates match failureExplanation.ts exports", () => {
|
|
45
|
+
const docText = readFileSync(docPath, "utf8");
|
|
46
|
+
const mod = failureExplanation;
|
|
47
|
+
for (const name of FE_TEMPLATE_EXPORT_NAMES) {
|
|
48
|
+
const fromDoc = extractFailureExplanationFence(docText, name);
|
|
49
|
+
const fromCode = mod[name];
|
|
50
|
+
expect(fromCode, `export ${name} must exist`).toBeDefined();
|
|
51
|
+
expect(typeof fromCode, `export ${name} must be a string template`).toBe("string");
|
|
52
|
+
expect(fromDoc).toBe(fromCode);
|
|
53
|
+
}
|
|
54
|
+
});
|
|
55
|
+
});
|
|
56
|
+
//# sourceMappingURL=failureExplanationDocumentationParity.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureExplanationDocumentationParity.test.js","sourceRoot":"","sources":["../src/failureExplanationDocumentationParity.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,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAE9D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAE3D,MAAM,wBAAwB,GAAG;IAC/B,uBAAuB;IACvB,uBAAuB;IACvB,yBAAyB;IACzB,4BAA4B;IAC5B,4BAA4B;IAC5B,8BAA8B;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,2BAA2B;IAC3B,kBAAkB;IAClB,kBAAkB;IAClB,oBAAoB;IACpB,sBAAsB;IACtB,wBAAwB;CAChB,CAAC;AAEX,SAAS,8BAA8B,CAAC,OAAe,EAAE,UAAkB;IACzE,MAAM,IAAI,GAAG,oCAAoC,UAAU,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,6BAA6B,UAAU,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,EAAE,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,EAAE,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,EAAE,GAAG,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACrD,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,EAAE,CAAC,CAAC;IAC3E,OAAO,OAAO;SACX,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC;SAC1B,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;SACtB,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;SAClB,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC;AAED,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,kBAAwD,CAAC;QACrE,KAAK,MAAM,IAAI,IAAI,wBAAwB,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,QAAQ,EAAE,UAAU,IAAI,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,CAAC,OAAO,QAAQ,EAAE,UAAU,IAAI,4BAA4B,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnF,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Single source of truth for code → FailureOrigin mappings.
|
|
3
|
+
* FailureOrigin literals: generated `failureOriginTypes.generated.ts` (schema sync). Operational values: `operationalDisposition.ts`.
|
|
4
|
+
*/
|
|
5
|
+
import { type OperationalCode } from "./cliOperationalCodes.js";
|
|
6
|
+
import type { FailureOrigin } from "./failureOriginTypes.js";
|
|
7
|
+
export type { FailureOrigin } from "./failureOriginTypes.js";
|
|
8
|
+
export { FAILURE_ORIGINS } from "./failureOriginTypes.js";
|
|
9
|
+
/** Sentinel for steps with empty reasons (should not occur in production). */
|
|
10
|
+
export declare const STEP_NO_REASON_CODE: "STEP_NO_REASON";
|
|
11
|
+
/** Test-only reason from aggregate tests; not emitted by verification pipeline. */
|
|
12
|
+
export declare const TEST_BLOCKING_CODE: "TEST_BLOCKING_CODE";
|
|
13
|
+
/**
|
|
14
|
+
* Step-level verification reason codes → primary FailureOrigin (before P5b effect override).
|
|
15
|
+
* Every production-emitted step reason code must appear here.
|
|
16
|
+
*/
|
|
17
|
+
export declare const REASON_CODE_TO_ORIGIN: Record<string, FailureOrigin>;
|
|
18
|
+
export declare const RUN_LEVEL_CODE_TO_ORIGIN: Record<string, FailureOrigin>;
|
|
19
|
+
export declare const EVENT_SEQUENCE_CODE_TO_ORIGIN: Record<string, FailureOrigin>;
|
|
20
|
+
/** Every CLI_OPERATIONAL_CODES value → FailureOrigin. */
|
|
21
|
+
export declare const OPERATIONAL_CODE_TO_ORIGIN: Record<OperationalCode, FailureOrigin>;
|
|
22
|
+
/** Short operational diagnosis summaries (single line, truncation-safe). */
|
|
23
|
+
export declare const OPERATIONAL_CODE_TO_SUMMARY: Record<OperationalCode, string>;
|
|
24
|
+
export declare function originForStepReasonCode(code: string): FailureOrigin;
|
|
25
|
+
export declare function originForRunLevelCode(code: string): FailureOrigin;
|
|
26
|
+
export declare function originForEventSequenceCode(code: string): FailureOrigin;
|
|
27
|
+
export declare function originForOperationalCode(code: string): FailureOrigin;
|
|
28
|
+
/** Union of every production step reason code the exhaustiveness test must cover. */
|
|
29
|
+
export declare const PRODUCTION_STEP_REASON_CODES: ReadonlySet<string>;
|
|
30
|
+
//# sourceMappingURL=failureOriginCatalog.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginCatalog.d.ts","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAyB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAI7D,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,EAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,eAAO,MAAM,kBAAkB,EAAG,oBAA6B,CAAC;AAOhE;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAkC/D,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAIlE,CAAC;AAEF,eAAO,MAAM,6BAA6B,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAGvE,CAAC;AAkBF,yDAAyD;AACzD,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,eAAe,EAAE,aAAa,CAAc,CAAC;AAE7F,4EAA4E;AAC5E,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAe,CAAC;AAExF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMnE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMjE;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAMtE;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAKpE;AAED,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC"}
|
|
@@ -0,0 +1,106 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Single source of truth for code → FailureOrigin mappings.
|
|
3
|
+
* FailureOrigin literals: generated `failureOriginTypes.generated.ts` (schema sync). Operational values: `operationalDisposition.ts`.
|
|
4
|
+
*/
|
|
5
|
+
import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
6
|
+
import { OPERATIONAL_DISPOSITION } from "./operationalDisposition.js";
|
|
7
|
+
import { RESOLVE_FAILURE_CODES } from "./resolveFailureCodes.js";
|
|
8
|
+
import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
|
|
9
|
+
export { FAILURE_ORIGINS } from "./failureOriginTypes.js";
|
|
10
|
+
/** Sentinel for steps with empty reasons (should not occur in production). */
|
|
11
|
+
export const STEP_NO_REASON_CODE = "STEP_NO_REASON";
|
|
12
|
+
/** Test-only reason from aggregate tests; not emitted by verification pipeline. */
|
|
13
|
+
export const TEST_BLOCKING_CODE = "TEST_BLOCKING_CODE";
|
|
14
|
+
const DOWNSTREAM = "downstream_system_state";
|
|
15
|
+
const INPUTS = "inputs";
|
|
16
|
+
const TOOL_USE = "tool_use";
|
|
17
|
+
const WORKFLOW_FLOW = "workflow_flow";
|
|
18
|
+
/**
|
|
19
|
+
* Step-level verification reason codes → primary FailureOrigin (before P5b effect override).
|
|
20
|
+
* Every production-emitted step reason code must appear here.
|
|
21
|
+
*/
|
|
22
|
+
export const REASON_CODE_TO_ORIGIN = {
|
|
23
|
+
[STEP_NO_REASON_CODE]: WORKFLOW_FLOW,
|
|
24
|
+
[TEST_BLOCKING_CODE]: WORKFLOW_FLOW,
|
|
25
|
+
[SQL_VERIFICATION_OUTCOME_CODE.ROW_ABSENT]: DOWNSTREAM,
|
|
26
|
+
[SQL_VERIFICATION_OUTCOME_CODE.RELATED_ROWS_ABSENT]: DOWNSTREAM,
|
|
27
|
+
[SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_EXPECTATION_MISMATCH]: DOWNSTREAM,
|
|
28
|
+
[SQL_VERIFICATION_OUTCOME_CODE.RELATIONAL_SCALAR_UNUSABLE]: DOWNSTREAM,
|
|
29
|
+
[SQL_VERIFICATION_OUTCOME_CODE.DUPLICATE_ROWS]: DOWNSTREAM,
|
|
30
|
+
[SQL_VERIFICATION_OUTCOME_CODE.VALUE_MISMATCH]: DOWNSTREAM,
|
|
31
|
+
[SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW]: DOWNSTREAM,
|
|
32
|
+
[SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW]: DOWNSTREAM,
|
|
33
|
+
[SQL_VERIFICATION_OUTCOME_CODE.ROW_PRESENT_WHEN_FORBIDDEN]: DOWNSTREAM,
|
|
34
|
+
[SQL_VERIFICATION_OUTCOME_CODE.ORPHAN_ROW_DETECTED]: DOWNSTREAM,
|
|
35
|
+
[SQL_VERIFICATION_OUTCOME_CODE.FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW]: DOWNSTREAM,
|
|
36
|
+
[SQL_VERIFICATION_OUTCOME_CODE.CONNECTOR_ERROR]: DOWNSTREAM,
|
|
37
|
+
[SQL_VERIFICATION_OUTCOME_CODE.ROW_SHAPE_MISMATCH]: DOWNSTREAM,
|
|
38
|
+
[SQL_VERIFICATION_OUTCOME_CODE.UNREADABLE_VALUE]: DOWNSTREAM,
|
|
39
|
+
[SQL_VERIFICATION_OUTCOME_CODE.UNKNOWN_TOOL]: TOOL_USE,
|
|
40
|
+
[SQL_VERIFICATION_OUTCOME_CODE.RETRY_OBSERVATIONS_DIVERGE]: TOOL_USE,
|
|
41
|
+
[SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_PARTIAL]: DOWNSTREAM,
|
|
42
|
+
[SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_ALL_FAILED]: DOWNSTREAM,
|
|
43
|
+
[SQL_VERIFICATION_OUTCOME_CODE.MULTI_EFFECT_INCOMPLETE]: DOWNSTREAM,
|
|
44
|
+
PLAN_RULE_ROW_KIND_MISMATCH: WORKFLOW_FLOW,
|
|
45
|
+
PLAN_RULE_FORBIDDEN_ROW: WORKFLOW_FLOW,
|
|
46
|
+
PLAN_RULE_REQUIRED_ROW_MISSING: WORKFLOW_FLOW,
|
|
47
|
+
PLAN_RULE_ALLOWLIST_VIOLATION: WORKFLOW_FLOW,
|
|
48
|
+
PLAN_RULE_RENAME_MISMATCH: WORKFLOW_FLOW,
|
|
49
|
+
...Object.fromEntries([...RESOLVE_FAILURE_CODES].map((c) => [c, INPUTS])),
|
|
50
|
+
};
|
|
51
|
+
export const RUN_LEVEL_CODE_TO_ORIGIN = {
|
|
52
|
+
MALFORMED_EVENT_LINE: INPUTS,
|
|
53
|
+
NO_STEPS_FOR_WORKFLOW: WORKFLOW_FLOW,
|
|
54
|
+
[TEST_BLOCKING_CODE]: WORKFLOW_FLOW,
|
|
55
|
+
};
|
|
56
|
+
export const EVENT_SEQUENCE_CODE_TO_ORIGIN = {
|
|
57
|
+
CAPTURE_ORDER_NOT_MONOTONIC_IN_SEQ: WORKFLOW_FLOW,
|
|
58
|
+
TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER: WORKFLOW_FLOW,
|
|
59
|
+
};
|
|
60
|
+
function operationalMaps() {
|
|
61
|
+
const origin = {};
|
|
62
|
+
const summary = {};
|
|
63
|
+
for (const code of Object.values(CLI_OPERATIONAL_CODES)) {
|
|
64
|
+
const row = OPERATIONAL_DISPOSITION[code];
|
|
65
|
+
origin[code] = row.origin;
|
|
66
|
+
summary[code] = row.summary;
|
|
67
|
+
}
|
|
68
|
+
return { origin, summary };
|
|
69
|
+
}
|
|
70
|
+
const _op = operationalMaps();
|
|
71
|
+
/** Every CLI_OPERATIONAL_CODES value → FailureOrigin. */
|
|
72
|
+
export const OPERATIONAL_CODE_TO_ORIGIN = _op.origin;
|
|
73
|
+
/** Short operational diagnosis summaries (single line, truncation-safe). */
|
|
74
|
+
export const OPERATIONAL_CODE_TO_SUMMARY = _op.summary;
|
|
75
|
+
export function originForStepReasonCode(code) {
|
|
76
|
+
const o = REASON_CODE_TO_ORIGIN[code];
|
|
77
|
+
if (o === undefined) {
|
|
78
|
+
throw new Error(`REASON_CODE_TO_ORIGIN missing required code: ${code}`);
|
|
79
|
+
}
|
|
80
|
+
return o;
|
|
81
|
+
}
|
|
82
|
+
export function originForRunLevelCode(code) {
|
|
83
|
+
const o = RUN_LEVEL_CODE_TO_ORIGIN[code];
|
|
84
|
+
if (o === undefined) {
|
|
85
|
+
throw new Error(`RUN_LEVEL_CODE_TO_ORIGIN missing required code: ${code}`);
|
|
86
|
+
}
|
|
87
|
+
return o;
|
|
88
|
+
}
|
|
89
|
+
export function originForEventSequenceCode(code) {
|
|
90
|
+
const o = EVENT_SEQUENCE_CODE_TO_ORIGIN[code];
|
|
91
|
+
if (o === undefined) {
|
|
92
|
+
throw new Error(`EVENT_SEQUENCE_CODE_TO_ORIGIN missing required code: ${code}`);
|
|
93
|
+
}
|
|
94
|
+
return o;
|
|
95
|
+
}
|
|
96
|
+
export function originForOperationalCode(code) {
|
|
97
|
+
if (!(code in OPERATIONAL_CODE_TO_ORIGIN)) {
|
|
98
|
+
throw new Error(`OPERATIONAL_CODE_TO_ORIGIN missing required code: ${code}`);
|
|
99
|
+
}
|
|
100
|
+
return OPERATIONAL_CODE_TO_ORIGIN[code];
|
|
101
|
+
}
|
|
102
|
+
/** Union of every production step reason code the exhaustiveness test must cover. */
|
|
103
|
+
export const PRODUCTION_STEP_REASON_CODES = new Set([
|
|
104
|
+
...Object.keys(REASON_CODE_TO_ORIGIN).filter((c) => c !== STEP_NO_REASON_CODE && c !== TEST_BLOCKING_CODE),
|
|
105
|
+
]);
|
|
106
|
+
//# sourceMappingURL=failureOriginCatalog.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginCatalog.js","sourceRoot":"","sources":["../src/failureOriginCatalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAGrE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAyB,CAAC;AAE7D,mFAAmF;AACnF,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAA6B,CAAC;AAEhE,MAAM,UAAU,GAAG,yBAA0D,CAAC;AAC9E,MAAM,MAAM,GAAG,QAAyC,CAAC;AACzD,MAAM,QAAQ,GAAG,UAA2C,CAAC;AAC7D,MAAM,aAAa,GAAG,eAAgD,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAkC;IAClE,CAAC,mBAAmB,CAAC,EAAE,aAAa;IACpC,CAAC,kBAAkB,CAAC,EAAE,aAAa;IAEnC,CAAC,6BAA6B,CAAC,UAAU,CAAC,EAAE,UAAU;IACtD,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,+BAA+B,CAAC,EAAE,UAAU;IAC3E,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,cAAc,CAAC,EAAE,UAAU;IAC1D,CAAC,6BAA6B,CAAC,8BAA8B,CAAC,EAAE,UAAU;IAC1E,CAAC,6BAA6B,CAAC,oCAAoC,CAAC,EAAE,UAAU;IAChF,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,UAAU;IACtE,CAAC,6BAA6B,CAAC,mBAAmB,CAAC,EAAE,UAAU;IAC/D,CAAC,6BAA6B,CAAC,0CAA0C,CAAC,EAAE,UAAU;IAEtF,CAAC,6BAA6B,CAAC,eAAe,CAAC,EAAE,UAAU;IAC3D,CAAC,6BAA6B,CAAC,kBAAkB,CAAC,EAAE,UAAU;IAC9D,CAAC,6BAA6B,CAAC,gBAAgB,CAAC,EAAE,UAAU;IAE5D,CAAC,6BAA6B,CAAC,YAAY,CAAC,EAAE,QAAQ;IACtD,CAAC,6BAA6B,CAAC,0BAA0B,CAAC,EAAE,QAAQ;IAEpE,CAAC,6BAA6B,CAAC,oBAAoB,CAAC,EAAE,UAAU;IAChE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IACnE,CAAC,6BAA6B,CAAC,uBAAuB,CAAC,EAAE,UAAU;IAEnE,2BAA2B,EAAE,aAAa;IAC1C,uBAAuB,EAAE,aAAa;IACtC,8BAA8B,EAAE,aAAa;IAC7C,6BAA6B,EAAE,aAAa;IAC5C,yBAAyB,EAAE,aAAa;IAExC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAkC;CAC3G,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAkC;IACrE,oBAAoB,EAAE,MAAM;IAC5B,qBAAqB,EAAE,aAAa;IACpC,CAAC,kBAAkB,CAAC,EAAE,aAAa;CACpC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAkC;IAC1E,kCAAkC,EAAE,aAAa;IACjD,2CAA2C,EAAE,aAAa;CAC3D,CAAC;AAEF,SAAS,eAAe;IAItB,MAAM,MAAM,GAAG,EAA4C,CAAC;IAC5D,MAAM,OAAO,GAAG,EAAqC,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAsB,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,0BAA0B,GAA2C,GAAG,CAAC,MAAM,CAAC;AAE7F,4EAA4E;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GAAoC,GAAG,CAAC,OAAO,CAAC;AAExF,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,gDAAgD,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAY;IACrD,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wDAAwD,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,IAAI,CAAC,CAAC,IAAI,IAAI,0BAA0B,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,qDAAqD,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,0BAA0B,CAAC,IAAuB,CAAC,CAAC;AAC7D,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IACvE,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,mBAAmB,IAAI,CAAC,KAAK,kBAAkB,CAC7D;CACF,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginCatalog.test.d.ts","sourceRoot":"","sources":["../src/failureOriginCatalog.test.ts"],"names":[],"mappings":""}
|