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,297 @@
|
|
|
1
|
+
import { spawnSync } from "node:child_process";
|
|
2
|
+
import { readFileSync, mkdtempSync, rmSync } from "node:fs";
|
|
3
|
+
import { tmpdir } from "node:os";
|
|
4
|
+
import { dirname, join } from "node:path";
|
|
5
|
+
import { DatabaseSync } from "node:sqlite";
|
|
6
|
+
import { fileURLToPath } from "node:url";
|
|
7
|
+
import { afterAll, beforeAll, describe, expect, it } from "vitest";
|
|
8
|
+
import { deriveActionableFailureWorkflow, EVENT_SEQUENCE_CODE_TO_REMEDIATION, productionStepReasonCodeToRemediation, RUN_CONTEXT_CODE_TO_REMEDIATION, RUN_LEVEL_CODE_TO_REMEDIATION, } from "./actionableFailure.js";
|
|
9
|
+
import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
10
|
+
import { cliErrorEnvelope } from "./failureCatalog.js";
|
|
11
|
+
import { OPERATIONAL_CODE_TO_SUMMARY, PRODUCTION_STEP_REASON_CODES } from "./failureOriginCatalog.js";
|
|
12
|
+
import { OPERATIONAL_DISPOSITION } from "./operationalDisposition.js";
|
|
13
|
+
import { buildRunComparisonReport } from "./runComparison.js";
|
|
14
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
15
|
+
import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
|
|
16
|
+
import { finalizeEmittedWorkflowResult } from "./workflowTruthReport.js";
|
|
17
|
+
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
18
|
+
const root = join(__dirname, "..");
|
|
19
|
+
const strongPolicy = {
|
|
20
|
+
consistencyMode: "strong",
|
|
21
|
+
verificationWindowMs: 0,
|
|
22
|
+
pollIntervalMs: 0,
|
|
23
|
+
};
|
|
24
|
+
function baseEngine(partial) {
|
|
25
|
+
return {
|
|
26
|
+
schemaVersion: 8,
|
|
27
|
+
workflowId: "w",
|
|
28
|
+
status: "inconsistent",
|
|
29
|
+
runLevelReasons: [],
|
|
30
|
+
verificationPolicy: strongPolicy,
|
|
31
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
32
|
+
verificationRunContext: createEmptyVerificationRunContext(),
|
|
33
|
+
steps: [],
|
|
34
|
+
...partial,
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
function minimalFailureAnalysisForPrimaryStepCode(code) {
|
|
38
|
+
return {
|
|
39
|
+
summary: "s",
|
|
40
|
+
primaryOrigin: "downstream_system_state",
|
|
41
|
+
confidence: "high",
|
|
42
|
+
unknownReasonCodes: [],
|
|
43
|
+
evidence: [{ scope: "step", seq: 0, toolId: "t", codes: [code] }],
|
|
44
|
+
};
|
|
45
|
+
}
|
|
46
|
+
function minimalFailureAnalysisForRunLevelCodes(codes) {
|
|
47
|
+
return {
|
|
48
|
+
summary: "s",
|
|
49
|
+
primaryOrigin: "inputs",
|
|
50
|
+
confidence: "high",
|
|
51
|
+
unknownReasonCodes: [],
|
|
52
|
+
evidence: [{ scope: "run_level", codes }],
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
function minimalFailureAnalysisForEventSequenceCodes(codes) {
|
|
56
|
+
return {
|
|
57
|
+
summary: "s",
|
|
58
|
+
primaryOrigin: "workflow_flow",
|
|
59
|
+
confidence: "high",
|
|
60
|
+
unknownReasonCodes: [],
|
|
61
|
+
evidence: [{ scope: "event_sequence", codes }],
|
|
62
|
+
};
|
|
63
|
+
}
|
|
64
|
+
function minimalFailureAnalysisForRunContextCodes(codes) {
|
|
65
|
+
return {
|
|
66
|
+
summary: "s",
|
|
67
|
+
primaryOrigin: "workflow_flow",
|
|
68
|
+
confidence: "high",
|
|
69
|
+
unknownReasonCodes: [],
|
|
70
|
+
evidence: [{ scope: "run_context", codes }],
|
|
71
|
+
};
|
|
72
|
+
}
|
|
73
|
+
function sqlRowStep(seq, toolId, keyValue, verified) {
|
|
74
|
+
return {
|
|
75
|
+
seq,
|
|
76
|
+
toolId,
|
|
77
|
+
intendedEffect: { narrative: "" },
|
|
78
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
79
|
+
verificationRequest: {
|
|
80
|
+
kind: "sql_row",
|
|
81
|
+
table: "contacts",
|
|
82
|
+
identityEq: [{ column: "id", value: keyValue }],
|
|
83
|
+
requiredFields: {},
|
|
84
|
+
},
|
|
85
|
+
status: verified ? "verified" : "missing",
|
|
86
|
+
reasons: verified ? [] : [{ code: "ROW_ABSENT", message: "absent" }],
|
|
87
|
+
evidenceSummary: {},
|
|
88
|
+
repeatObservationCount: 1,
|
|
89
|
+
evaluatedObservationOrdinal: 1,
|
|
90
|
+
...(verified ? {} : { failureDiagnostic: "workflow_execution" }),
|
|
91
|
+
};
|
|
92
|
+
}
|
|
93
|
+
function wfComplete() {
|
|
94
|
+
const engine = {
|
|
95
|
+
schemaVersion: 8,
|
|
96
|
+
workflowId: "w",
|
|
97
|
+
status: "complete",
|
|
98
|
+
runLevelReasons: [],
|
|
99
|
+
verificationPolicy: strongPolicy,
|
|
100
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
101
|
+
verificationRunContext: createEmptyVerificationRunContext(),
|
|
102
|
+
steps: [sqlRowStep(0, "t", "a", true)],
|
|
103
|
+
};
|
|
104
|
+
return finalizeEmittedWorkflowResult(engine);
|
|
105
|
+
}
|
|
106
|
+
function engMalformed() {
|
|
107
|
+
return {
|
|
108
|
+
schemaVersion: 8,
|
|
109
|
+
workflowId: "w",
|
|
110
|
+
status: "incomplete",
|
|
111
|
+
runLevelReasons: [{ code: "MALFORMED_EVENT_LINE", message: "bad" }],
|
|
112
|
+
verificationPolicy: strongPolicy,
|
|
113
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
114
|
+
verificationRunContext: createEmptyVerificationRunContext(),
|
|
115
|
+
steps: [],
|
|
116
|
+
};
|
|
117
|
+
}
|
|
118
|
+
function engDuplicateRows() {
|
|
119
|
+
return {
|
|
120
|
+
schemaVersion: 8,
|
|
121
|
+
workflowId: "w",
|
|
122
|
+
status: "inconsistent",
|
|
123
|
+
runLevelReasons: [],
|
|
124
|
+
verificationPolicy: strongPolicy,
|
|
125
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
126
|
+
verificationRunContext: createEmptyVerificationRunContext(),
|
|
127
|
+
steps: [
|
|
128
|
+
{
|
|
129
|
+
seq: 0,
|
|
130
|
+
toolId: "t",
|
|
131
|
+
intendedEffect: { narrative: "" },
|
|
132
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
133
|
+
verificationRequest: {
|
|
134
|
+
kind: "sql_row",
|
|
135
|
+
table: "c",
|
|
136
|
+
identityEq: [{ column: "id", value: "1" }],
|
|
137
|
+
requiredFields: {},
|
|
138
|
+
},
|
|
139
|
+
status: "inconsistent",
|
|
140
|
+
reasons: [{ code: "DUPLICATE_ROWS", message: "d" }],
|
|
141
|
+
evidenceSummary: {},
|
|
142
|
+
repeatObservationCount: 1,
|
|
143
|
+
evaluatedObservationOrdinal: 1,
|
|
144
|
+
failureDiagnostic: "workflow_execution",
|
|
145
|
+
},
|
|
146
|
+
],
|
|
147
|
+
};
|
|
148
|
+
}
|
|
149
|
+
describe("remediation exhaustive (Module A)", () => {
|
|
150
|
+
it("deriveActionableFailureWorkflow matches productionStepReasonCodeToRemediation for every production step code", () => {
|
|
151
|
+
const engine = baseEngine({});
|
|
152
|
+
for (const code of PRODUCTION_STEP_REASON_CODES) {
|
|
153
|
+
const fa = minimalFailureAnalysisForPrimaryStepCode(code);
|
|
154
|
+
const row = productionStepReasonCodeToRemediation(code);
|
|
155
|
+
const af = deriveActionableFailureWorkflow(engine, fa);
|
|
156
|
+
expect(af.recommendedAction, code).toBe(row.recommendedAction);
|
|
157
|
+
expect(af.automationSafe, code).toBe(row.automationSafe);
|
|
158
|
+
}
|
|
159
|
+
});
|
|
160
|
+
it("deriveActionableFailureWorkflow matches RUN_LEVEL_CODE_TO_REMEDIATION for each run-level map key", () => {
|
|
161
|
+
const engine = baseEngine({});
|
|
162
|
+
for (const key of Object.keys(RUN_LEVEL_CODE_TO_REMEDIATION)) {
|
|
163
|
+
const expected = RUN_LEVEL_CODE_TO_REMEDIATION[key];
|
|
164
|
+
const fa = minimalFailureAnalysisForRunLevelCodes([key]);
|
|
165
|
+
const af = deriveActionableFailureWorkflow(engine, fa);
|
|
166
|
+
expect(af.recommendedAction, key).toBe(expected.recommendedAction);
|
|
167
|
+
expect(af.automationSafe, key).toBe(expected.automationSafe);
|
|
168
|
+
}
|
|
169
|
+
});
|
|
170
|
+
it("deriveActionableFailureWorkflow matches EVENT_SEQUENCE_CODE_TO_REMEDIATION for each event-sequence map key", () => {
|
|
171
|
+
const engine = baseEngine({
|
|
172
|
+
eventSequenceIntegrity: {
|
|
173
|
+
kind: "irregular",
|
|
174
|
+
reasons: [{ code: "CAPTURE_ORDER_NOT_MONOTONIC_IN_SEQ", message: "m" }],
|
|
175
|
+
},
|
|
176
|
+
});
|
|
177
|
+
for (const key of Object.keys(EVENT_SEQUENCE_CODE_TO_REMEDIATION)) {
|
|
178
|
+
const expected = EVENT_SEQUENCE_CODE_TO_REMEDIATION[key];
|
|
179
|
+
const fa = minimalFailureAnalysisForEventSequenceCodes([key]);
|
|
180
|
+
const af = deriveActionableFailureWorkflow(engine, fa);
|
|
181
|
+
expect(af.recommendedAction, key).toBe(expected.recommendedAction);
|
|
182
|
+
expect(af.automationSafe, key).toBe(expected.automationSafe);
|
|
183
|
+
}
|
|
184
|
+
});
|
|
185
|
+
it("deriveActionableFailureWorkflow matches RUN_CONTEXT_CODE_TO_REMEDIATION for each run-context map key", () => {
|
|
186
|
+
const engine = baseEngine({});
|
|
187
|
+
for (const key of Object.keys(RUN_CONTEXT_CODE_TO_REMEDIATION)) {
|
|
188
|
+
const expected = RUN_CONTEXT_CODE_TO_REMEDIATION[key];
|
|
189
|
+
const fa = minimalFailureAnalysisForRunContextCodes([key]);
|
|
190
|
+
const af = deriveActionableFailureWorkflow(engine, fa);
|
|
191
|
+
expect(af.recommendedAction, key).toBe(expected.recommendedAction);
|
|
192
|
+
expect(af.automationSafe, key).toBe(expected.automationSafe);
|
|
193
|
+
}
|
|
194
|
+
});
|
|
195
|
+
it("finalizeEmittedWorkflowResult DUPLICATE_ROWS integrates deduplicate remediation (AJV workflow-result)", () => {
|
|
196
|
+
const out = finalizeEmittedWorkflowResult(engDuplicateRows());
|
|
197
|
+
const v = loadSchemaValidator("workflow-result");
|
|
198
|
+
expect(v(out)).toBe(true);
|
|
199
|
+
expect(out.workflowTruthReport.failureAnalysis).not.toBeNull();
|
|
200
|
+
expect(out.workflowTruthReport.failureAnalysis?.actionableFailure).toMatchObject({
|
|
201
|
+
recommendedAction: "deduplicate",
|
|
202
|
+
automationSafe: false,
|
|
203
|
+
});
|
|
204
|
+
});
|
|
205
|
+
it("cliErrorEnvelope + OPERATIONAL_CODE_TO_SUMMARY: actionableFailure matches OPERATIONAL_DISPOSITION per code", () => {
|
|
206
|
+
const v = loadSchemaValidator("cli-error-envelope");
|
|
207
|
+
for (const code of Object.values(CLI_OPERATIONAL_CODES)) {
|
|
208
|
+
const raw = cliErrorEnvelope(code, OPERATIONAL_CODE_TO_SUMMARY[code]);
|
|
209
|
+
const parsed = JSON.parse(raw);
|
|
210
|
+
expect(v(parsed)).toBe(true);
|
|
211
|
+
const row = OPERATIONAL_DISPOSITION[code];
|
|
212
|
+
expect(parsed.failureDiagnosis.actionableFailure).toMatchObject({
|
|
213
|
+
category: row.actionableCategory,
|
|
214
|
+
severity: row.actionableSeverity,
|
|
215
|
+
recommendedAction: row.recommendedAction,
|
|
216
|
+
automationSafe: row.automationSafe,
|
|
217
|
+
});
|
|
218
|
+
}
|
|
219
|
+
});
|
|
220
|
+
it("unknown operational code yields fixed actionableFailure (cliErrorEnvelope only)", () => {
|
|
221
|
+
const v = loadSchemaValidator("cli-error-envelope");
|
|
222
|
+
const parsed = JSON.parse(cliErrorEnvelope("NOT_A_REAL_OPERATIONAL_CODE", "operational failure"));
|
|
223
|
+
expect(v(parsed)).toBe(true);
|
|
224
|
+
expect(parsed.failureDiagnosis.actionableFailure).toEqual({
|
|
225
|
+
category: "unclassified",
|
|
226
|
+
severity: "medium",
|
|
227
|
+
recommendedAction: "manual_review",
|
|
228
|
+
automationSafe: false,
|
|
229
|
+
});
|
|
230
|
+
});
|
|
231
|
+
it("buildRunComparisonReport perRunActionableFailures: two failing runs + trusted complete sentinel", () => {
|
|
232
|
+
const r0 = finalizeEmittedWorkflowResult(engMalformed());
|
|
233
|
+
const r1 = finalizeEmittedWorkflowResult(engDuplicateRows());
|
|
234
|
+
const r2 = wfComplete();
|
|
235
|
+
const report = buildRunComparisonReport([r0, r1, r2], ["a", "b", "c"]);
|
|
236
|
+
const v = loadSchemaValidator("run-comparison-report");
|
|
237
|
+
expect(report.schemaVersion).toBe(4);
|
|
238
|
+
expect(v(report)).toBe(true);
|
|
239
|
+
const p0 = report.perRunActionableFailures.find((p) => p.runIndex === 0);
|
|
240
|
+
const p1 = report.perRunActionableFailures.find((p) => p.runIndex === 1);
|
|
241
|
+
const p2 = report.perRunActionableFailures.find((p) => p.runIndex === 2);
|
|
242
|
+
expect(p0.category).toBe("bad_input");
|
|
243
|
+
expect(p0.recommendedAction).toBe("fix_event_ingest_and_steps");
|
|
244
|
+
expect(p0.automationSafe).toBe(false);
|
|
245
|
+
expect(p1.category).toBe("state_inconsistency");
|
|
246
|
+
expect(p1.recommendedAction).toBe("deduplicate");
|
|
247
|
+
expect(p1.automationSafe).toBe(false);
|
|
248
|
+
expect(p2).toMatchObject({
|
|
249
|
+
category: "complete",
|
|
250
|
+
severity: "low",
|
|
251
|
+
recommendedAction: "none",
|
|
252
|
+
automationSafe: true,
|
|
253
|
+
});
|
|
254
|
+
});
|
|
255
|
+
});
|
|
256
|
+
describe("operational success: no stderr envelope (Module A negative)", () => {
|
|
257
|
+
let dir;
|
|
258
|
+
let dbPath;
|
|
259
|
+
beforeAll(() => {
|
|
260
|
+
dir = mkdtempSync(join(tmpdir(), "etl-remediation-cli-"));
|
|
261
|
+
dbPath = join(dir, "test.db");
|
|
262
|
+
const sql = readFileSync(join(root, "examples", "seed.sql"), "utf8");
|
|
263
|
+
const db = new DatabaseSync(dbPath);
|
|
264
|
+
db.exec(sql);
|
|
265
|
+
db.close();
|
|
266
|
+
});
|
|
267
|
+
afterAll(() => {
|
|
268
|
+
rmSync(dir, { recursive: true, force: true });
|
|
269
|
+
});
|
|
270
|
+
it("wf_complete --no-truth-report: stdout valid, failureAnalysis null, no execution_truth_layer_error", () => {
|
|
271
|
+
const cliJs = join(root, "dist", "cli.js");
|
|
272
|
+
const eventsPath = join(root, "examples", "events.ndjson");
|
|
273
|
+
const registryPath = join(root, "examples", "tools.json");
|
|
274
|
+
const r = spawnSync(process.execPath, [
|
|
275
|
+
"--no-warnings",
|
|
276
|
+
cliJs,
|
|
277
|
+
"--workflow-id",
|
|
278
|
+
"wf_complete",
|
|
279
|
+
"--events",
|
|
280
|
+
eventsPath,
|
|
281
|
+
"--registry",
|
|
282
|
+
registryPath,
|
|
283
|
+
"--db",
|
|
284
|
+
dbPath,
|
|
285
|
+
"--no-truth-report",
|
|
286
|
+
], { encoding: "utf8", cwd: root });
|
|
287
|
+
expect(r.status).toBe(0);
|
|
288
|
+
expect(r.stderr).toBe("");
|
|
289
|
+
const parsed = JSON.parse(r.stdout.trim());
|
|
290
|
+
const validateResult = loadSchemaValidator("workflow-result");
|
|
291
|
+
expect(validateResult(parsed)).toBe(true);
|
|
292
|
+
expect(parsed.workflowId).toBe("wf_complete");
|
|
293
|
+
expect(parsed.workflowTruthReport.failureAnalysis).toBeNull();
|
|
294
|
+
expect(r.stdout).not.toContain("execution_truth_layer_error");
|
|
295
|
+
});
|
|
296
|
+
});
|
|
297
|
+
//# sourceMappingURL=actionableFailure.remediationExhaustive.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actionableFailure.remediationExhaustive.test.js","sourceRoot":"","sources":["../src/actionableFailure.remediationExhaustive.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,+BAA+B,EAC/B,kCAAkC,EAClC,qCAAqC,EACrC,+BAA+B,EAC/B,6BAA6B,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACtG,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnC,MAAM,YAAY,GAAG;IACnB,eAAe,EAAE,QAAiB;IAClC,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF,SAAS,UAAU,CAAC,OAAsC;IACxD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,cAAc;QACtB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK,EAAE,EAAE;QACT,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAAC,IAAY;IAC5D,OAAO;QACL,OAAO,EAAE,GAAG;QACZ,aAAa,EAAE,yBAAyB;QACxC,UAAU,EAAE,MAAM;QAClB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,SAAS,sCAAsC,CAAC,KAAe;IAC7D,OAAO;QACL,OAAO,EAAE,GAAG;QACZ,aAAa,EAAE,QAAQ;QACvB,UAAU,EAAE,MAAM;QAClB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,2CAA2C,CAAC,KAAe;IAClE,OAAO;QACL,OAAO,EAAE,GAAG;QACZ,aAAa,EAAE,eAAe;QAC9B,UAAU,EAAE,MAAM;QAClB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,wCAAwC,CAAC,KAAe;IAC/D,OAAO;QACL,OAAO,EAAE,GAAG;QACZ,aAAa,EAAE,eAAe;QAC9B,UAAU,EAAE,MAAM;QAClB,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,GAAW,EACX,MAAc,EACd,QAAgB,EAChB,QAAiB;IAEjB,OAAO;QACL,GAAG;QACH,MAAM;QACN,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE;YACnB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,UAAU;YACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAC/C,cAAc,EAAE,EAAE;SACnB;QACD,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QACzC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACpE,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;QAC9B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,oBAA6B,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,SAAS,UAAU;IACjB,MAAM,MAAM,GAAyB;QACnC,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,UAAU;QAClB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;KACvC,CAAC;IACF,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY;IACnB,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,YAAY;QACpB,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB;IACvB,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,cAAc;QACtB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK,EAAE;YACL;gBACE,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;gBACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;gBAC5C,mBAAmB,EAAE;oBACnB,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,GAAG;oBACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;oBAC1C,cAAc,EAAE,EAAE;iBACnB;gBACD,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBACnD,eAAe,EAAE,EAAE;gBACnB,sBAAsB,EAAE,CAAC;gBACzB,2BAA2B,EAAE,CAAC;gBAC9B,iBAAiB,EAAE,oBAAoB;aACxC;SACF;KACF,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,8GAA8G,EAAE,GAAG,EAAE;QACtH,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,4BAA4B,EAAE,CAAC;YAChD,MAAM,EAAE,GAAG,wCAAwC,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,qCAAqC,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,EAAE,GAAG,+BAA+B,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC/D,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kGAAkG,EAAE,GAAG,EAAE;QAC1G,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,EAAE,CAAC;YAC7D,MAAM,QAAQ,GAAG,6BAA6B,CAAC,GAAG,CAAE,CAAC;YACrD,MAAM,EAAE,GAAG,sCAAsC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzD,MAAM,EAAE,GAAG,+BAA+B,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACnE,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4GAA4G,EAAE,GAAG,EAAE;QACpH,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,sBAAsB,EAAE;gBACtB,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,oCAAoC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aACxE;SACF,CAAC,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,EAAE,CAAC;YAClE,MAAM,QAAQ,GAAG,kCAAkC,CAAC,GAAG,CAAE,CAAC;YAC1D,MAAM,EAAE,GAAG,2CAA2C,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9D,MAAM,EAAE,GAAG,+BAA+B,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACnE,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sGAAsG,EAAE,GAAG,EAAE;QAC9G,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,EAAE,CAAC;YAC/D,MAAM,QAAQ,GAAG,+BAA+B,CAAC,GAAG,CAAE,CAAC;YACvD,MAAM,EAAE,GAAG,wCAAwC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3D,MAAM,EAAE,GAAG,+BAA+B,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACnE,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uGAAuG,EAAE,GAAG,EAAE;QAC/G,MAAM,GAAG,GAAG,6BAA6B,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,aAAa,CAAC;YAC/E,iBAAiB,EAAE,aAAa;YAChC,cAAc,EAAE,KAAK;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4GAA4G,EAAE,GAAG,EAAE;QACpH,MAAM,CAAC,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAE5B,CAAC;YACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,aAAa,CAAC;gBAC9D,QAAQ,EAAE,GAAG,CAAC,kBAAkB;gBAChC,QAAQ,EAAE,GAAG,CAAC,kBAAkB;gBAChC,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;gBACxC,cAAc,EAAE,GAAG,CAAC,cAAc;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,6BAA6B,EAAE,qBAAqB,CAAC,CAE/F,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC;YACxD,QAAQ,EAAE,cAAc;YACxB,QAAQ,EAAE,QAAQ;YAClB,iBAAiB,EAAE,eAAe;YAClC,cAAc,EAAE,KAAK;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,EAAE,GAAG,6BAA6B,CAAC,YAAY,EAAE,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,6BAA6B,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,wBAAwB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAE,CAAC;QAC1E,MAAM,EAAE,GAAG,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAE,CAAC;QAC1E,MAAM,EAAE,GAAG,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAE,CAAC;QAC1E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;YACvB,QAAQ,EAAE,UAAU;YACpB,QAAQ,EAAE,KAAK;YACf,iBAAiB,EAAE,MAAM;YACzB,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,IAAI,GAAW,CAAC;IAChB,IAAI,MAAc,CAAC;IAEnB,SAAS,CAAC,GAAG,EAAE;QACb,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;QAC1D,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,GAAG,EAAE;QACZ,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mGAAmG,EAAE,GAAG,EAAE;QAC3G,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,SAAS,CACjB,OAAO,CAAC,QAAQ,EAChB;YACE,eAAe;YACf,KAAK;YACL,eAAe;YACf,aAAa;YACb,UAAU;YACV,UAAU;YACV,YAAY;YACZ,YAAY;YACZ,MAAM;YACN,MAAM;YACN,mBAAmB;SACpB,EACD,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAChC,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAmB,CAAC;QAC7D,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actionableFailure.test.d.ts","sourceRoot":"","sources":["../src/actionableFailure.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,211 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { ACTIONABLE_FAILURE_CATEGORIES, ACTIONABLE_FAILURE_SEVERITIES, buildActionableCategoryRecurrence, deriveActionableCategory, deriveActionableFailureOperational, deriveActionableFailureWorkflow, deriveSeverityWorkflow, maxConsecutiveStreak, productionStepReasonCodeToActionableCategory, } from "./actionableFailure.js";
|
|
3
|
+
import { buildFailureAnalysis } from "./failureAnalysis.js";
|
|
4
|
+
import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
|
|
5
|
+
import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
|
|
6
|
+
const strongPolicy = {
|
|
7
|
+
consistencyMode: "strong",
|
|
8
|
+
verificationWindowMs: 0,
|
|
9
|
+
pollIntervalMs: 0,
|
|
10
|
+
};
|
|
11
|
+
function baseEngine(partial) {
|
|
12
|
+
return {
|
|
13
|
+
schemaVersion: 8,
|
|
14
|
+
workflowId: "w",
|
|
15
|
+
status: "incomplete",
|
|
16
|
+
runLevelReasons: [],
|
|
17
|
+
verificationPolicy: strongPolicy,
|
|
18
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
19
|
+
verificationRunContext: createEmptyVerificationRunContext(),
|
|
20
|
+
steps: [],
|
|
21
|
+
...partial,
|
|
22
|
+
};
|
|
23
|
+
}
|
|
24
|
+
describe("deriveSeverityWorkflow", () => {
|
|
25
|
+
it("inconsistent status yields high", () => {
|
|
26
|
+
expect(deriveSeverityWorkflow(baseEngine({ status: "inconsistent" }))).toBe("high");
|
|
27
|
+
});
|
|
28
|
+
it("missing step yields high even when status incomplete", () => {
|
|
29
|
+
expect(deriveSeverityWorkflow(baseEngine({
|
|
30
|
+
status: "incomplete",
|
|
31
|
+
steps: [
|
|
32
|
+
{
|
|
33
|
+
seq: 0,
|
|
34
|
+
toolId: "t",
|
|
35
|
+
intendedEffect: { narrative: "" },
|
|
36
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
37
|
+
verificationRequest: null,
|
|
38
|
+
status: "missing",
|
|
39
|
+
reasons: [{ code: "ROW_ABSENT", message: "m" }],
|
|
40
|
+
evidenceSummary: {},
|
|
41
|
+
repeatObservationCount: 1,
|
|
42
|
+
evaluatedObservationOrdinal: 1,
|
|
43
|
+
},
|
|
44
|
+
],
|
|
45
|
+
}))).toBe("high");
|
|
46
|
+
});
|
|
47
|
+
it("uncertain-only incomplete yields medium", () => {
|
|
48
|
+
expect(deriveSeverityWorkflow(baseEngine({
|
|
49
|
+
status: "incomplete",
|
|
50
|
+
steps: [
|
|
51
|
+
{
|
|
52
|
+
seq: 0,
|
|
53
|
+
toolId: "t",
|
|
54
|
+
intendedEffect: { narrative: "" },
|
|
55
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
56
|
+
verificationRequest: {
|
|
57
|
+
kind: "sql_row",
|
|
58
|
+
table: "t",
|
|
59
|
+
identityEq: [{ column: "id", value: "1" }],
|
|
60
|
+
requiredFields: {},
|
|
61
|
+
},
|
|
62
|
+
status: "uncertain",
|
|
63
|
+
reasons: [{ code: "ROW_NOT_OBSERVED_WITHIN_WINDOW", message: "w" }],
|
|
64
|
+
evidenceSummary: {},
|
|
65
|
+
repeatObservationCount: 1,
|
|
66
|
+
evaluatedObservationOrdinal: 1,
|
|
67
|
+
},
|
|
68
|
+
],
|
|
69
|
+
}))).toBe("medium");
|
|
70
|
+
});
|
|
71
|
+
});
|
|
72
|
+
describe("deriveActionableCategory", () => {
|
|
73
|
+
it("unclassified when unknownReasonCodes non-empty", () => {
|
|
74
|
+
const fa = {
|
|
75
|
+
summary: "s",
|
|
76
|
+
primaryOrigin: "workflow_flow",
|
|
77
|
+
confidence: "high",
|
|
78
|
+
unknownReasonCodes: ["FUTURE_UNKNOWN_RL"],
|
|
79
|
+
evidence: [{ scope: "run_level", codes: ["FUTURE_UNKNOWN_RL"] }],
|
|
80
|
+
};
|
|
81
|
+
expect(deriveActionableCategory(fa)).toBe("unclassified");
|
|
82
|
+
});
|
|
83
|
+
it("ambiguous when alternativeHypotheses present", () => {
|
|
84
|
+
const fa = {
|
|
85
|
+
summary: "s",
|
|
86
|
+
primaryOrigin: "downstream_system_state",
|
|
87
|
+
confidence: "medium",
|
|
88
|
+
unknownReasonCodes: [],
|
|
89
|
+
evidence: [{ scope: "step", seq: 0, toolId: "t", codes: ["ROW_ABSENT"] }],
|
|
90
|
+
alternativeHypotheses: [
|
|
91
|
+
{ primaryOrigin: "downstream_system_state", rationale: "a" },
|
|
92
|
+
{ primaryOrigin: "tool_use", rationale: "b" },
|
|
93
|
+
],
|
|
94
|
+
};
|
|
95
|
+
expect(deriveActionableCategory(fa)).toBe("ambiguous");
|
|
96
|
+
});
|
|
97
|
+
it("retrieval_failure from run_context RETRIEVAL_ERROR", () => {
|
|
98
|
+
const fa = {
|
|
99
|
+
summary: "s",
|
|
100
|
+
primaryOrigin: "retrieval",
|
|
101
|
+
confidence: "high",
|
|
102
|
+
unknownReasonCodes: [],
|
|
103
|
+
evidence: [{ scope: "run_context", ingestIndex: 0, codes: ["RETRIEVAL_ERROR"] }],
|
|
104
|
+
};
|
|
105
|
+
expect(deriveActionableCategory(fa)).toBe("retrieval_failure");
|
|
106
|
+
});
|
|
107
|
+
it("decision_error from RETRY_OBSERVATIONS_DIVERGE step code", () => {
|
|
108
|
+
const fa = {
|
|
109
|
+
summary: "s",
|
|
110
|
+
primaryOrigin: "tool_use",
|
|
111
|
+
confidence: "high",
|
|
112
|
+
unknownReasonCodes: [],
|
|
113
|
+
evidence: [{ scope: "step", seq: 0, toolId: "t", codes: ["RETRY_OBSERVATIONS_DIVERGE"] }],
|
|
114
|
+
};
|
|
115
|
+
expect(deriveActionableCategory(fa)).toBe("decision_error");
|
|
116
|
+
});
|
|
117
|
+
it("run-level NO_STEPS_FOR_WORKFLOW in step-shaped evidence still maps like run_level", () => {
|
|
118
|
+
const fa = {
|
|
119
|
+
summary: "s",
|
|
120
|
+
primaryOrigin: "workflow_flow",
|
|
121
|
+
confidence: "high",
|
|
122
|
+
unknownReasonCodes: [],
|
|
123
|
+
evidence: [{ scope: "step", codes: ["NO_STEPS_FOR_WORKFLOW"] }],
|
|
124
|
+
};
|
|
125
|
+
expect(deriveActionableCategory(fa)).toBe("control_flow_problem");
|
|
126
|
+
});
|
|
127
|
+
});
|
|
128
|
+
describe("productionStepReasonCodeToActionableCategory", () => {
|
|
129
|
+
it("maps representative six-class codes", () => {
|
|
130
|
+
expect(productionStepReasonCodeToActionableCategory("UNKNOWN_TOOL")).toBe("bad_input");
|
|
131
|
+
expect(productionStepReasonCodeToActionableCategory("ROW_ABSENT")).toBe("state_inconsistency");
|
|
132
|
+
expect(productionStepReasonCodeToActionableCategory("CONNECTOR_ERROR")).toBe("downstream_execution_failure");
|
|
133
|
+
expect(productionStepReasonCodeToActionableCategory("MULTI_EFFECT_INCOMPLETE")).toBe("bad_input");
|
|
134
|
+
});
|
|
135
|
+
it("does not accept run-level-only codes (NO_STEPS_FOR_WORKFLOW, MALFORMED_EVENT_LINE)", () => {
|
|
136
|
+
expect(() => productionStepReasonCodeToActionableCategory("NO_STEPS_FOR_WORKFLOW")).toThrow(/run-level-only code/);
|
|
137
|
+
expect(() => productionStepReasonCodeToActionableCategory("MALFORMED_EVENT_LINE")).toThrow(/run-level-only code/);
|
|
138
|
+
});
|
|
139
|
+
});
|
|
140
|
+
describe("deriveActionableFailureOperational", () => {
|
|
141
|
+
it("unknown code is unclassified medium", () => {
|
|
142
|
+
expect(deriveActionableFailureOperational("NOT_A_REAL_OPERATIONAL_CODE")).toEqual({
|
|
143
|
+
category: "unclassified",
|
|
144
|
+
severity: "medium",
|
|
145
|
+
recommendedAction: "manual_review",
|
|
146
|
+
automationSafe: false,
|
|
147
|
+
});
|
|
148
|
+
});
|
|
149
|
+
it("CLI_USAGE is bad_input low", () => {
|
|
150
|
+
expect(deriveActionableFailureOperational(CLI_OPERATIONAL_CODES.CLI_USAGE)).toEqual({
|
|
151
|
+
category: "bad_input",
|
|
152
|
+
severity: "low",
|
|
153
|
+
recommendedAction: "fix_cli_usage",
|
|
154
|
+
automationSafe: false,
|
|
155
|
+
});
|
|
156
|
+
});
|
|
157
|
+
});
|
|
158
|
+
describe("maxConsecutiveStreak and buildActionableCategoryRecurrence", () => {
|
|
159
|
+
it("computes longest consecutive runIndex block", () => {
|
|
160
|
+
expect(maxConsecutiveStreak([0, 1, 3])).toBe(2);
|
|
161
|
+
expect(maxConsecutiveStreak([2])).toBe(1);
|
|
162
|
+
expect(maxConsecutiveStreak([0, 1, 2, 5, 6])).toBe(3);
|
|
163
|
+
});
|
|
164
|
+
it("buildActionableCategoryRecurrence sorts categories", () => {
|
|
165
|
+
const rows = buildActionableCategoryRecurrence([
|
|
166
|
+
{ runIndex: 0, category: "zebra", severity: "low", recommendedAction: "none", automationSafe: true },
|
|
167
|
+
{ runIndex: 1, category: "apple", severity: "low", recommendedAction: "none", automationSafe: true },
|
|
168
|
+
]);
|
|
169
|
+
expect(rows.map((r) => r.category)).toEqual(["apple", "zebra"]);
|
|
170
|
+
});
|
|
171
|
+
});
|
|
172
|
+
describe("ACTIONABLE_FAILURE_CATEGORIES / SEVERITIES parity", () => {
|
|
173
|
+
it("has eight categories and three severities", () => {
|
|
174
|
+
expect(ACTIONABLE_FAILURE_CATEGORIES).toHaveLength(8);
|
|
175
|
+
expect(ACTIONABLE_FAILURE_SEVERITIES).toHaveLength(3);
|
|
176
|
+
});
|
|
177
|
+
});
|
|
178
|
+
describe("ambiguous category with high severity (workflow)", () => {
|
|
179
|
+
it("ROW_ABSENT alternatives keep ambiguous category while severity follows engine", () => {
|
|
180
|
+
const engine = baseEngine({
|
|
181
|
+
status: "inconsistent",
|
|
182
|
+
steps: [
|
|
183
|
+
{
|
|
184
|
+
seq: 0,
|
|
185
|
+
toolId: "t",
|
|
186
|
+
intendedEffect: { narrative: "" },
|
|
187
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
188
|
+
verificationRequest: {
|
|
189
|
+
kind: "sql_row",
|
|
190
|
+
table: "t",
|
|
191
|
+
identityEq: [{ column: "id", value: "1" }],
|
|
192
|
+
requiredFields: {},
|
|
193
|
+
},
|
|
194
|
+
status: "missing",
|
|
195
|
+
reasons: [{ code: "ROW_ABSENT", message: "m" }],
|
|
196
|
+
evidenceSummary: {},
|
|
197
|
+
repeatObservationCount: 1,
|
|
198
|
+
evaluatedObservationOrdinal: 1,
|
|
199
|
+
},
|
|
200
|
+
],
|
|
201
|
+
});
|
|
202
|
+
const base = buildFailureAnalysis(engine);
|
|
203
|
+
expect(base).not.toBeNull();
|
|
204
|
+
const af = deriveActionableFailureWorkflow(engine, base);
|
|
205
|
+
expect(af.category).toBe("ambiguous");
|
|
206
|
+
expect(af.severity).toBe("high");
|
|
207
|
+
expect(af.recommendedAction).toBe("manual_review");
|
|
208
|
+
expect(af.automationSafe).toBe(false);
|
|
209
|
+
});
|
|
210
|
+
});
|
|
211
|
+
//# sourceMappingURL=actionableFailure.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"actionableFailure.test.js","sourceRoot":"","sources":["../src/actionableFailure.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,GAC7C,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAEhF,MAAM,YAAY,GAAG;IACnB,eAAe,EAAE,QAAiB;IAClC,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF,SAAS,UAAU,CAAC,OAAsC;IACxD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,YAAY;QACpB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,YAAY;QAChC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1C,sBAAsB,EAAE,iCAAiC,EAAE;QAC3D,KAAK,EAAE,EAAE;QACT,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,sBAAsB,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CACJ,sBAAsB,CACpB,UAAU,CAAC;YACT,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,GAAG;oBACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;oBACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE,IAAI;oBACzB,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBAC/C,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC,CACH,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CACJ,sBAAsB,CACpB,UAAU,CAAC;YACT,MAAM,EAAE,YAAY;YACpB,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,GAAG;oBACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;oBACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,GAAG;wBACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;wBAC1C,cAAc,EAAE,EAAE;qBACnB;oBACD,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACnE,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC,CACH,CACF,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAwB;YAC9B,OAAO,EAAE,GAAG;YACZ,aAAa,EAAE,eAAe;YAC9B,UAAU,EAAE,MAAM;YAClB,kBAAkB,EAAE,CAAC,mBAAmB,CAAC;YACzC,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;SACjE,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAwB;YAC9B,OAAO,EAAE,GAAG;YACZ,aAAa,EAAE,yBAAyB;YACxC,UAAU,EAAE,QAAQ;YACpB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YACzE,qBAAqB,EAAE;gBACrB,EAAE,aAAa,EAAE,yBAAyB,EAAE,SAAS,EAAE,GAAG,EAAE;gBAC5D,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE;aAC9C;SACF,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAwB;YAC9B,OAAO,EAAE,GAAG;YACZ,aAAa,EAAE,WAAW;YAC1B,UAAU,EAAE,MAAM;YAClB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;SACjF,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAwB;YAC9B,OAAO,EAAE,GAAG;YACZ,aAAa,EAAE,UAAU;YACzB,UAAU,EAAE,MAAM;YAClB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,4BAA4B,CAAC,EAAE,CAAC;SAC1F,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,EAAE,GAAwB;YAC9B,OAAO,EAAE,GAAG;YACZ,aAAa,EAAE,eAAe;YAC9B,UAAU,EAAE,MAAM;YAClB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,uBAAuB,CAAC,EAAE,CAAC;SAChE,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,4CAA4C,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvF,MAAM,CAAC,4CAA4C,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC/F,MAAM,CAAC,4CAA4C,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC7G,MAAM,CAAC,4CAA4C,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,CAAC,GAAG,EAAE,CAAC,4CAA4C,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CACzF,qBAAqB,CACtB,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,4CAA4C,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACpH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,kCAAkC,CAAC,6BAA6B,CAAC,CAAC,CAAC,OAAO,CAAC;YAChF,QAAQ,EAAE,cAAc;YACxB,QAAQ,EAAE,QAAQ;YAClB,iBAAiB,EAAE,eAAe;YAClC,cAAc,EAAE,KAAK;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,kCAAkC,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAClF,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,KAAK;YACf,iBAAiB,EAAE,eAAe;YAClC,cAAc,EAAE,KAAK;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,iCAAiC,CAAC;YAC7C,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;YACpG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;SACrG,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,6BAA6B,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,6BAA6B,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,MAAM,EAAE,cAAc;YACtB,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,GAAG;oBACX,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;oBACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,GAAG;wBACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;wBAC1C,cAAc,EAAE,EAAE;qBACnB;oBACD,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBAC/C,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,+BAA+B,CAAC,MAAM,EAAE,IAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import type { WorkflowResult } from "./types.js";
|
|
2
|
+
export type WriteAgentRunBundleOptions = {
|
|
3
|
+
outDir: string;
|
|
4
|
+
eventsNdjson: Buffer;
|
|
5
|
+
workflowResult: WorkflowResult;
|
|
6
|
+
/** Defaults to `name` / `version` from package.json next to built `dist`. */
|
|
7
|
+
producer?: {
|
|
8
|
+
name: string;
|
|
9
|
+
version: string;
|
|
10
|
+
};
|
|
11
|
+
/** Defaults to `new Date().toISOString()`. */
|
|
12
|
+
verifiedAt?: string;
|
|
13
|
+
/**
|
|
14
|
+
* PKCS#8 PEM Ed25519 private key path. When set, writes `workflow-result.sig.json` and manifest schemaVersion 2.
|
|
15
|
+
*/
|
|
16
|
+
ed25519PrivateKeyPemPath?: string;
|
|
17
|
+
};
|
|
18
|
+
/**
|
|
19
|
+
* Writes canonical run bundle: `events.ndjson`, `workflow-result.json`, optional `workflow-result.sig.json`, `agent-run.json`.
|
|
20
|
+
* Rename order: events → workflow-result → [sig] → manifest (last).
|
|
21
|
+
* Signed path: on failure after some renames, best-effort reverse unlink of completed finals.
|
|
22
|
+
*/
|
|
23
|
+
export declare function writeAgentRunBundle(options: WriteAgentRunBundleOptions): void;
|
|
24
|
+
//# sourceMappingURL=agentRunBundle.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"agentRunBundle.d.ts","sourceRoot":"","sources":["../src/agentRunBundle.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGjD,MAAM,MAAM,0BAA0B,GAAG;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,cAAc,CAAC;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;OAEG;IACH,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAwDF;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,0BAA0B,GAAG,IAAI,CAiD7E"}
|