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 @@
|
|
|
1
|
+
{"version":3,"file":"executionTrace.test.d.ts","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,200 @@
|
|
|
1
|
+
import path from "node:path";
|
|
2
|
+
import { fileURLToPath } from "node:url";
|
|
3
|
+
import { describe, expect, it } from "vitest";
|
|
4
|
+
import { CLI_OPERATIONAL_CODES } from "./failureCatalog.js";
|
|
5
|
+
import { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, } from "./executionTrace.js";
|
|
6
|
+
import { loadEventsForWorkflow } from "./loadEvents.js";
|
|
7
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
8
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
9
|
+
import { finalizeEmittedWorkflowResult } from "./workflowTruthReport.js";
|
|
10
|
+
describe("assertValidRunEventParentGraph", () => {
|
|
11
|
+
it("rejects duplicate runEventId", () => {
|
|
12
|
+
const a = {
|
|
13
|
+
schemaVersion: 2,
|
|
14
|
+
workflowId: "w",
|
|
15
|
+
runEventId: "x",
|
|
16
|
+
type: "tool_observed",
|
|
17
|
+
seq: 0,
|
|
18
|
+
toolId: "t",
|
|
19
|
+
params: {},
|
|
20
|
+
};
|
|
21
|
+
const b = {
|
|
22
|
+
schemaVersion: 2,
|
|
23
|
+
workflowId: "w",
|
|
24
|
+
runEventId: "x",
|
|
25
|
+
type: "model_turn",
|
|
26
|
+
status: "completed",
|
|
27
|
+
};
|
|
28
|
+
try {
|
|
29
|
+
assertValidRunEventParentGraph([a, b]);
|
|
30
|
+
expect.fail("expected throw");
|
|
31
|
+
}
|
|
32
|
+
catch (e) {
|
|
33
|
+
expect(e).toBeInstanceOf(TruthLayerError);
|
|
34
|
+
expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_DUPLICATE_RUN_EVENT_ID);
|
|
35
|
+
}
|
|
36
|
+
});
|
|
37
|
+
it("rejects unknown parentRunEventId", () => {
|
|
38
|
+
const ev = {
|
|
39
|
+
schemaVersion: 2,
|
|
40
|
+
workflowId: "w",
|
|
41
|
+
runEventId: "b",
|
|
42
|
+
parentRunEventId: "nope",
|
|
43
|
+
type: "model_turn",
|
|
44
|
+
status: "completed",
|
|
45
|
+
};
|
|
46
|
+
try {
|
|
47
|
+
assertValidRunEventParentGraph([ev]);
|
|
48
|
+
expect.fail("expected throw");
|
|
49
|
+
}
|
|
50
|
+
catch (e) {
|
|
51
|
+
expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_UNKNOWN_PARENT_RUN_EVENT_ID);
|
|
52
|
+
}
|
|
53
|
+
});
|
|
54
|
+
it("rejects parent forward reference", () => {
|
|
55
|
+
const first = {
|
|
56
|
+
schemaVersion: 2,
|
|
57
|
+
workflowId: "w",
|
|
58
|
+
runEventId: "b",
|
|
59
|
+
parentRunEventId: "a",
|
|
60
|
+
type: "model_turn",
|
|
61
|
+
status: "completed",
|
|
62
|
+
};
|
|
63
|
+
const second = {
|
|
64
|
+
schemaVersion: 2,
|
|
65
|
+
workflowId: "w",
|
|
66
|
+
runEventId: "a",
|
|
67
|
+
type: "model_turn",
|
|
68
|
+
status: "completed",
|
|
69
|
+
};
|
|
70
|
+
try {
|
|
71
|
+
assertValidRunEventParentGraph([first, second]);
|
|
72
|
+
expect.fail("expected throw");
|
|
73
|
+
}
|
|
74
|
+
catch (e) {
|
|
75
|
+
expect(e.code).toBe(CLI_OPERATIONAL_CODES.TRACE_PARENT_FORWARD_REFERENCE);
|
|
76
|
+
}
|
|
77
|
+
});
|
|
78
|
+
});
|
|
79
|
+
describe("buildExecutionTraceView", () => {
|
|
80
|
+
it("matches golden for completed trace (examples/trace-run.ndjson)", () => {
|
|
81
|
+
const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
|
|
82
|
+
const p = path.join(root, "examples", "trace-run.ndjson");
|
|
83
|
+
const load = loadEventsForWorkflow(p, "wtrace");
|
|
84
|
+
expect(load.runEvents).toHaveLength(3);
|
|
85
|
+
expect(load.events).toHaveLength(1);
|
|
86
|
+
const view = buildExecutionTraceView({
|
|
87
|
+
workflowId: "wtrace",
|
|
88
|
+
runEvents: load.runEvents,
|
|
89
|
+
malformedEventLineCount: load.malformedEventLineCount,
|
|
90
|
+
});
|
|
91
|
+
const v = loadSchemaValidator("execution-trace-view");
|
|
92
|
+
expect(v(view)).toBe(true);
|
|
93
|
+
expect(view.runCompletion).toBe("completed");
|
|
94
|
+
expect(view.nodes[2].wireType).toBe("control");
|
|
95
|
+
expect(view.nodes[2].traceStepKind).toBe("success");
|
|
96
|
+
expect(view.backwardPaths[0]).toEqual({
|
|
97
|
+
pathKind: "workflow_terminal",
|
|
98
|
+
seedRunEventId: "c1",
|
|
99
|
+
ancestorRunEventIds: ["c1", "t1", "m1"],
|
|
100
|
+
});
|
|
101
|
+
expect(formatExecutionTraceText(view)).toContain("workflow_terminal");
|
|
102
|
+
});
|
|
103
|
+
it("model_turn error as last node yields unknown_or_interrupted and workflow_terminal seed", () => {
|
|
104
|
+
const runEvents = [
|
|
105
|
+
{
|
|
106
|
+
schemaVersion: 2,
|
|
107
|
+
workflowId: "w",
|
|
108
|
+
runEventId: "m1",
|
|
109
|
+
type: "model_turn",
|
|
110
|
+
status: "error",
|
|
111
|
+
},
|
|
112
|
+
];
|
|
113
|
+
const view = buildExecutionTraceView({
|
|
114
|
+
workflowId: "w",
|
|
115
|
+
runEvents,
|
|
116
|
+
malformedEventLineCount: 0,
|
|
117
|
+
});
|
|
118
|
+
expect(view.runCompletion).toBe("unknown_or_interrupted");
|
|
119
|
+
expect(view.nodes[0].traceStepKind).toBe("failed");
|
|
120
|
+
expect(view.backwardPaths[0].pathKind).toBe("workflow_terminal");
|
|
121
|
+
expect(view.backwardPaths[0].seedRunEventId).toBe("m1");
|
|
122
|
+
expect(view.backwardPaths[0].ancestorRunEventIds).toEqual(["m1"]);
|
|
123
|
+
});
|
|
124
|
+
it("adds verification_step paths when WorkflowResult provided", () => {
|
|
125
|
+
const runEvents = [
|
|
126
|
+
{
|
|
127
|
+
schemaVersion: 2,
|
|
128
|
+
workflowId: "w",
|
|
129
|
+
runEventId: "t1",
|
|
130
|
+
type: "tool_observed",
|
|
131
|
+
seq: 0,
|
|
132
|
+
toolId: "crm.upsert_contact",
|
|
133
|
+
params: { id: "c_ok", name: "Alice" },
|
|
134
|
+
},
|
|
135
|
+
];
|
|
136
|
+
const engine = {
|
|
137
|
+
schemaVersion: 8,
|
|
138
|
+
workflowId: "w",
|
|
139
|
+
status: "complete",
|
|
140
|
+
runLevelReasons: [],
|
|
141
|
+
verificationPolicy: {
|
|
142
|
+
consistencyMode: "strong",
|
|
143
|
+
verificationWindowMs: 0,
|
|
144
|
+
pollIntervalMs: 0,
|
|
145
|
+
},
|
|
146
|
+
eventSequenceIntegrity: { kind: "normal" },
|
|
147
|
+
verificationRunContext: {
|
|
148
|
+
maxWireSchemaVersion: 2,
|
|
149
|
+
retrievalEvents: [],
|
|
150
|
+
controlEvents: [],
|
|
151
|
+
modelTurnEvents: [],
|
|
152
|
+
toolSkippedEvents: [],
|
|
153
|
+
toolObservedIngestIndexBySeq: { "0": 0 },
|
|
154
|
+
firstToolObservedIngestIndex: 0,
|
|
155
|
+
hasRunCompletedControl: false,
|
|
156
|
+
lastRunEvent: { ingestIndex: 0, type: "tool_observed" },
|
|
157
|
+
},
|
|
158
|
+
steps: [
|
|
159
|
+
{
|
|
160
|
+
seq: 0,
|
|
161
|
+
toolId: "crm.upsert_contact",
|
|
162
|
+
intendedEffect: { narrative: "x" },
|
|
163
|
+
observedExecution: { paramsCanonical: "{}" },
|
|
164
|
+
verificationRequest: {
|
|
165
|
+
kind: "sql_row",
|
|
166
|
+
table: "contacts",
|
|
167
|
+
identityEq: [{ column: "id", value: "c_ok" }],
|
|
168
|
+
requiredFields: { name: "Alice" },
|
|
169
|
+
},
|
|
170
|
+
status: "verified",
|
|
171
|
+
reasons: [],
|
|
172
|
+
evidenceSummary: {},
|
|
173
|
+
repeatObservationCount: 1,
|
|
174
|
+
evaluatedObservationOrdinal: 1,
|
|
175
|
+
},
|
|
176
|
+
],
|
|
177
|
+
};
|
|
178
|
+
const wr = finalizeEmittedWorkflowResult(engine);
|
|
179
|
+
const view = buildExecutionTraceView({
|
|
180
|
+
workflowId: "w",
|
|
181
|
+
runEvents,
|
|
182
|
+
malformedEventLineCount: 0,
|
|
183
|
+
workflowResult: wr,
|
|
184
|
+
});
|
|
185
|
+
const verPaths = view.backwardPaths.filter((p) => p.pathKind === "verification_step");
|
|
186
|
+
expect(verPaths).toHaveLength(1);
|
|
187
|
+
expect(verPaths[0]).toMatchObject({
|
|
188
|
+
pathKind: "verification_step",
|
|
189
|
+
stepIndex: 0,
|
|
190
|
+
seq: 0,
|
|
191
|
+
seedRunEventId: "t1",
|
|
192
|
+
});
|
|
193
|
+
expect(view.nodes[0].verificationLink).toMatchObject({
|
|
194
|
+
stepIndex: 0,
|
|
195
|
+
engineStepStatus: "verified",
|
|
196
|
+
});
|
|
197
|
+
expect(view.nodes[0].traceStepKind).toBe("success");
|
|
198
|
+
});
|
|
199
|
+
});
|
|
200
|
+
//# sourceMappingURL=executionTrace.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"executionTrace.test.js","sourceRoot":"","sources":["../src/executionTrace.test.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAQvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAwB;YAC7B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,eAAe;YACrB,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,CAAC,GAAsB;YAC3B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,4BAA4B,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAsB;YAC5B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,iCAAiC,CAAC,CAAC;QACpG,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAsB;YAC/B,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,gBAAgB,EAAE,GAAG;YACrB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,MAAM,MAAM,GAAsB;YAChC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,WAAW;SACpB,CAAC;QACF,IAAI,CAAC;YACH,8BAA8B,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,8BAA8B,CAAC,CAAC;QACjG,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,QAAQ;YACpB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,QAAQ,EAAE,mBAAmB;YAC7B,cAAc,EAAE,IAAI;YACpB,mBAAmB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,OAAO;aAChB;SACF,CAAC;QACF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;SAC3B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,SAAS,GAAe;YAC5B;gBACE,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,IAAI;gBAChB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,UAAU;YAClB,eAAe,EAAE,EAAE;YACnB,kBAAkB,EAAE;gBAClB,eAAe,EAAE,QAAQ;gBACzB,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,CAAC;aAClB;YACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC1C,sBAAsB,EAAE;gBACtB,oBAAoB,EAAE,CAAC;gBACvB,eAAe,EAAE,EAAE;gBACnB,aAAa,EAAE,EAAE;gBACjB,eAAe,EAAE,EAAE;gBACnB,iBAAiB,EAAE,EAAE;gBACrB,4BAA4B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;gBACxC,4BAA4B,EAAE,CAAC;gBAC/B,sBAAsB,EAAE,KAAK;gBAC7B,YAAY,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE;aACxD;YACD,KAAK,EAAE;gBACL;oBACE,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,oBAAoB;oBAC5B,cAAc,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE;oBAClC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;oBAC5C,mBAAmB,EAAE;wBACnB,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,UAAU;wBACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;wBAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;qBAClC;oBACD,MAAM,EAAE,UAAU;oBAClB,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE;oBACnB,sBAAsB,EAAE,CAAC;oBACzB,2BAA2B,EAAE,CAAC;iBAC/B;aACF;SACF,CAAC;QACF,MAAM,EAAE,GAAmB,6BAA6B,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,UAAU,EAAE,GAAG;YACf,SAAS;YACT,uBAAuB,EAAE,CAAC;YAC1B,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC;QACtF,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAChC,QAAQ,EAAE,mBAAmB;YAC7B,SAAS,EAAE,CAAC;YACZ,GAAG,EAAE,CAAC;YACN,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,aAAa,CAAC;YACpD,SAAS,EAAE,CAAC;YACZ,gBAAgB,EAAE,UAAU;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { FailureAnalysisBase, StepOutcome, WorkflowEngineResult } from "./types.js";
|
|
2
|
+
/** Same ordering as P5 driver step selection; exported for `failureExplanation` (no duplicate logic). */
|
|
3
|
+
export declare function normativeDriverStep(steps: StepOutcome[]): StepOutcome;
|
|
4
|
+
/**
|
|
5
|
+
* Normative failure analysis (P0–P5) per product spec. `engine` must include `verificationRunContext`.
|
|
6
|
+
*/
|
|
7
|
+
export declare function buildFailureAnalysis(engine: WorkflowEngineResult): FailureAnalysisBase | null;
|
|
8
|
+
//# sourceMappingURL=failureAnalysis.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureAnalysis.d.ts","sourceRoot":"","sources":["../src/failureAnalysis.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EACV,mBAAmB,EAGnB,WAAW,EAGX,oBAAoB,EACrB,MAAM,YAAY,CAAC;AA0FpB,yGAAyG;AACzG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,WAAW,CAUrE;AA8DD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,oBAAoB,GAAG,mBAAmB,GAAG,IAAI,CAkN7F"}
|
|
@@ -0,0 +1,337 @@
|
|
|
1
|
+
import { EVENT_SEQUENCE_CODE_TO_ORIGIN, REASON_CODE_TO_ORIGIN, RUN_LEVEL_CODE_TO_ORIGIN, STEP_NO_REASON_CODE, } from "./failureOriginCatalog.js";
|
|
2
|
+
import { createEmptyVerificationRunContext } from "./verificationRunContext.js";
|
|
3
|
+
function sortUniqueCodes(codes) {
|
|
4
|
+
return [...new Set(codes)].sort((a, b) => a.localeCompare(b));
|
|
5
|
+
}
|
|
6
|
+
const RATIONALE_ROW_ABSENT_DOWNSTREAM = "The database has no row at the verified key; the tool log may not have committed a write, or replication lag prevented observation.";
|
|
7
|
+
const RATIONALE_ROW_ABSENT_TOOL_USE = "The database has no row at the verified key; the registry key/value or pointer resolution from tool params may not match the row that was written.";
|
|
8
|
+
const RATIONALE_VALUE_MISMATCH_DOWNSTREAM = "Stored column values differ from required fields; the live database state may have diverged from what the tool reported.";
|
|
9
|
+
const RATIONALE_VALUE_MISMATCH_INPUTS = "Stored column values differ from required fields; registry pointers or consts used to build the verification request may not match the observation payload.";
|
|
10
|
+
const RATIONALE_BRANCH_SKIPPED_ALT = "A branch or gate was skipped earlier in capture order; sequencing or capture may also explain the later verification outcome.";
|
|
11
|
+
const MULTI_EFFECT_ROLLUP_CODES = new Set([
|
|
12
|
+
"MULTI_EFFECT_PARTIAL",
|
|
13
|
+
"MULTI_EFFECT_ALL_FAILED",
|
|
14
|
+
"MULTI_EFFECT_INCOMPLETE",
|
|
15
|
+
"MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW",
|
|
16
|
+
]);
|
|
17
|
+
const STATUS_RANK = {
|
|
18
|
+
incomplete_verification: 0,
|
|
19
|
+
missing: 1,
|
|
20
|
+
inconsistent: 2,
|
|
21
|
+
partially_verified: 3,
|
|
22
|
+
uncertain: 4,
|
|
23
|
+
verified: 99,
|
|
24
|
+
};
|
|
25
|
+
function minLex(codes) {
|
|
26
|
+
return [...new Set(codes)].sort((a, b) => a.localeCompare(b))[0];
|
|
27
|
+
}
|
|
28
|
+
function failingSeqSet(steps) {
|
|
29
|
+
const F = new Set();
|
|
30
|
+
for (const s of steps) {
|
|
31
|
+
if (s.status !== "verified")
|
|
32
|
+
F.add(s.seq);
|
|
33
|
+
}
|
|
34
|
+
return F;
|
|
35
|
+
}
|
|
36
|
+
function iFailForF(F, ctx) {
|
|
37
|
+
const indices = [];
|
|
38
|
+
for (const seq of F) {
|
|
39
|
+
const idx = ctx.toolObservedIngestIndexBySeq[String(seq)];
|
|
40
|
+
if (idx !== undefined)
|
|
41
|
+
indices.push(idx);
|
|
42
|
+
}
|
|
43
|
+
if (indices.length === 0)
|
|
44
|
+
return null;
|
|
45
|
+
return Math.min(...indices);
|
|
46
|
+
}
|
|
47
|
+
function parseEffects(evidenceSummary) {
|
|
48
|
+
const raw = evidenceSummary.effects;
|
|
49
|
+
if (!Array.isArray(raw))
|
|
50
|
+
return [];
|
|
51
|
+
const out = [];
|
|
52
|
+
for (const row of raw) {
|
|
53
|
+
if (typeof row !== "object" || row === null)
|
|
54
|
+
continue;
|
|
55
|
+
const o = row;
|
|
56
|
+
if (typeof o.id !== "string" || typeof o.status !== "string" || !Array.isArray(o.reasons))
|
|
57
|
+
continue;
|
|
58
|
+
out.push({
|
|
59
|
+
id: o.id,
|
|
60
|
+
status: o.status,
|
|
61
|
+
reasons: o.reasons,
|
|
62
|
+
});
|
|
63
|
+
}
|
|
64
|
+
return out;
|
|
65
|
+
}
|
|
66
|
+
function primaryCodeForStep(step) {
|
|
67
|
+
const rollup = step.reasons[0]?.code;
|
|
68
|
+
if (rollup !== undefined && MULTI_EFFECT_ROLLUP_CODES.has(rollup)) {
|
|
69
|
+
const effects = parseEffects(step.evidenceSummary);
|
|
70
|
+
const failing = effects
|
|
71
|
+
.filter((e) => e.status !== "verified")
|
|
72
|
+
.sort((a, b) => a.id.localeCompare(b.id));
|
|
73
|
+
const first = failing[0];
|
|
74
|
+
if (first !== undefined && first.reasons[0] !== undefined) {
|
|
75
|
+
return first.reasons[0].code;
|
|
76
|
+
}
|
|
77
|
+
}
|
|
78
|
+
if (step.reasons.length > 0)
|
|
79
|
+
return step.reasons[0].code;
|
|
80
|
+
return STEP_NO_REASON_CODE;
|
|
81
|
+
}
|
|
82
|
+
/** Same ordering as P5 driver step selection; exported for `failureExplanation` (no duplicate logic). */
|
|
83
|
+
export function normativeDriverStep(steps) {
|
|
84
|
+
const bad = steps.filter((s) => s.status !== "verified");
|
|
85
|
+
bad.sort((a, b) => {
|
|
86
|
+
const ra = STATUS_RANK[a.status];
|
|
87
|
+
const rb = STATUS_RANK[b.status];
|
|
88
|
+
if (ra !== rb)
|
|
89
|
+
return ra - rb;
|
|
90
|
+
if (a.seq !== b.seq)
|
|
91
|
+
return a.seq - b.seq;
|
|
92
|
+
return a.toolId.localeCompare(b.toolId);
|
|
93
|
+
});
|
|
94
|
+
return bad[0];
|
|
95
|
+
}
|
|
96
|
+
function pickDriverStep(steps) {
|
|
97
|
+
return normativeDriverStep(steps);
|
|
98
|
+
}
|
|
99
|
+
function alternativesForCode(primaryCode) {
|
|
100
|
+
if (primaryCode === "ROW_ABSENT") {
|
|
101
|
+
return [
|
|
102
|
+
{ primaryOrigin: "downstream_system_state", rationale: RATIONALE_ROW_ABSENT_DOWNSTREAM },
|
|
103
|
+
{ primaryOrigin: "tool_use", rationale: RATIONALE_ROW_ABSENT_TOOL_USE },
|
|
104
|
+
];
|
|
105
|
+
}
|
|
106
|
+
if (primaryCode === "VALUE_MISMATCH") {
|
|
107
|
+
return [
|
|
108
|
+
{ primaryOrigin: "downstream_system_state", rationale: RATIONALE_VALUE_MISMATCH_DOWNSTREAM },
|
|
109
|
+
{ primaryOrigin: "inputs", rationale: RATIONALE_VALUE_MISMATCH_INPUTS },
|
|
110
|
+
];
|
|
111
|
+
}
|
|
112
|
+
return undefined;
|
|
113
|
+
}
|
|
114
|
+
function buildSummary(origin, phase, detail) {
|
|
115
|
+
switch (phase) {
|
|
116
|
+
case "p0":
|
|
117
|
+
return `Run-level ingest or planning issue (${detail.codes?.join(", ") ?? ""}); origin: ${origin}.`;
|
|
118
|
+
case "p1":
|
|
119
|
+
return `A retrieval step failed before the failing tool observation (${detail.retrievalLabel ?? "retrieval error"}); origin: retrieval.`;
|
|
120
|
+
case "p2":
|
|
121
|
+
return `A model or control event indicates the run did not complete normally before the failing tool observation; origin: ${origin}.`;
|
|
122
|
+
case "p2b":
|
|
123
|
+
return `A branch or gate was skipped before the failing tool observation; decision-making may explain downstream behavior (see alternatives).`;
|
|
124
|
+
case "p3":
|
|
125
|
+
return `A tool was skipped before the failing tool observation; origin: tool_use.`;
|
|
126
|
+
case "p4":
|
|
127
|
+
return `Event capture order or timestamps were irregular (${detail.eventCode ?? ""}); origin: workflow_flow.`;
|
|
128
|
+
case "p5": {
|
|
129
|
+
const st = detail.driverStep;
|
|
130
|
+
const pc = detail.primaryCode ?? "";
|
|
131
|
+
let s = `Primary failure at seq ${st?.seq ?? "?"} tool ${st?.toolId ?? "?"} (code ${pc}); origin: ${origin}.`;
|
|
132
|
+
const rollup = st?.reasons[0]?.code;
|
|
133
|
+
if (rollup !== undefined && MULTI_EFFECT_ROLLUP_CODES.has(rollup)) {
|
|
134
|
+
s +=
|
|
135
|
+
" Multi-effect verification: authoritative per-effect outcomes are under workflowTruthReport.steps[].effects.";
|
|
136
|
+
}
|
|
137
|
+
return s;
|
|
138
|
+
}
|
|
139
|
+
default:
|
|
140
|
+
return `Verification did not complete; origin: ${origin}.`;
|
|
141
|
+
}
|
|
142
|
+
}
|
|
143
|
+
/**
|
|
144
|
+
* Normative failure analysis (P0–P5) per product spec. `engine` must include `verificationRunContext`.
|
|
145
|
+
*/
|
|
146
|
+
export function buildFailureAnalysis(engine) {
|
|
147
|
+
if (engine.status === "complete")
|
|
148
|
+
return null;
|
|
149
|
+
const ctx = engine.verificationRunContext ?? createEmptyVerificationRunContext();
|
|
150
|
+
const F = failingSeqSet(engine.steps);
|
|
151
|
+
const iFail = F.size > 0 ? iFailForF(F, ctx) : null;
|
|
152
|
+
// P0
|
|
153
|
+
if (engine.runLevelReasons.length > 0) {
|
|
154
|
+
const codes = engine.runLevelReasons.map((r) => r.code);
|
|
155
|
+
const unique = sortUniqueCodes(codes);
|
|
156
|
+
const unknownReasonCodes = sortUniqueCodes(unique.filter((c) => !(c in RUN_LEVEL_CODE_TO_ORIGIN)));
|
|
157
|
+
const knownOnly = unique.filter((c) => c in RUN_LEVEL_CODE_TO_ORIGIN);
|
|
158
|
+
const first = knownOnly.length > 0 ? minLex(knownOnly) : minLex(unique);
|
|
159
|
+
const origin = knownOnly.length > 0 ? RUN_LEVEL_CODE_TO_ORIGIN[first] : "workflow_flow";
|
|
160
|
+
let confidence;
|
|
161
|
+
if (unknownReasonCodes.length > 0) {
|
|
162
|
+
confidence = "low";
|
|
163
|
+
}
|
|
164
|
+
else if (new Set(codes).size === 1) {
|
|
165
|
+
confidence = "high";
|
|
166
|
+
}
|
|
167
|
+
else {
|
|
168
|
+
confidence = "medium";
|
|
169
|
+
}
|
|
170
|
+
const evidence = [{ scope: "run_level", codes: unique }];
|
|
171
|
+
return {
|
|
172
|
+
summary: buildSummary(origin, "p0", { codes: unique }),
|
|
173
|
+
primaryOrigin: origin,
|
|
174
|
+
confidence,
|
|
175
|
+
unknownReasonCodes,
|
|
176
|
+
evidence,
|
|
177
|
+
};
|
|
178
|
+
}
|
|
179
|
+
// P1–P3 need iFail
|
|
180
|
+
if (iFail !== null) {
|
|
181
|
+
const errRetrievals = ctx.retrievalEvents.filter((e) => e.status === "error" && e.ingestIndex < iFail);
|
|
182
|
+
if (errRetrievals.length > 0) {
|
|
183
|
+
const e0 = errRetrievals[0];
|
|
184
|
+
const evidence = errRetrievals.map((e) => ({
|
|
185
|
+
scope: "run_context",
|
|
186
|
+
ingestIndex: e.ingestIndex,
|
|
187
|
+
source: e.source,
|
|
188
|
+
runEventId: e.runEventId,
|
|
189
|
+
codes: ["RETRIEVAL_ERROR"],
|
|
190
|
+
}));
|
|
191
|
+
return {
|
|
192
|
+
summary: buildSummary("retrieval", "p1", { retrievalLabel: e0.source }),
|
|
193
|
+
primaryOrigin: "retrieval",
|
|
194
|
+
confidence: "high",
|
|
195
|
+
unknownReasonCodes: [],
|
|
196
|
+
evidence,
|
|
197
|
+
};
|
|
198
|
+
}
|
|
199
|
+
const badModel = ctx.modelTurnEvents.find((e) => ["error", "aborted", "incomplete"].includes(e.status) && e.ingestIndex < iFail);
|
|
200
|
+
if (badModel !== undefined) {
|
|
201
|
+
return {
|
|
202
|
+
summary: buildSummary("decision_making", "p2", {}),
|
|
203
|
+
primaryOrigin: "decision_making",
|
|
204
|
+
confidence: "high",
|
|
205
|
+
unknownReasonCodes: [],
|
|
206
|
+
evidence: [
|
|
207
|
+
{
|
|
208
|
+
scope: "run_context",
|
|
209
|
+
ingestIndex: badModel.ingestIndex,
|
|
210
|
+
runEventId: badModel.runEventId,
|
|
211
|
+
codes: [`MODEL_TURN_${badModel.status.toUpperCase()}`],
|
|
212
|
+
},
|
|
213
|
+
],
|
|
214
|
+
};
|
|
215
|
+
}
|
|
216
|
+
const interrupt = ctx.controlEvents.find((e) => e.controlKind === "interrupt" && e.ingestIndex < iFail);
|
|
217
|
+
if (interrupt !== undefined) {
|
|
218
|
+
return {
|
|
219
|
+
summary: buildSummary("decision_making", "p2", {}),
|
|
220
|
+
primaryOrigin: "decision_making",
|
|
221
|
+
confidence: "high",
|
|
222
|
+
unknownReasonCodes: [],
|
|
223
|
+
evidence: [
|
|
224
|
+
{
|
|
225
|
+
scope: "run_context",
|
|
226
|
+
ingestIndex: interrupt.ingestIndex,
|
|
227
|
+
runEventId: interrupt.runEventId,
|
|
228
|
+
codes: ["CONTROL_INTERRUPT"],
|
|
229
|
+
},
|
|
230
|
+
],
|
|
231
|
+
};
|
|
232
|
+
}
|
|
233
|
+
const skippedBg = ctx.controlEvents.find((e) => (e.controlKind === "branch" || e.controlKind === "gate") &&
|
|
234
|
+
e.decision === "skipped" &&
|
|
235
|
+
e.ingestIndex < iFail);
|
|
236
|
+
if (skippedBg !== undefined) {
|
|
237
|
+
return {
|
|
238
|
+
summary: buildSummary("decision_making", "p2b", {}),
|
|
239
|
+
primaryOrigin: "decision_making",
|
|
240
|
+
confidence: "medium",
|
|
241
|
+
unknownReasonCodes: [],
|
|
242
|
+
evidence: [
|
|
243
|
+
{
|
|
244
|
+
scope: "run_context",
|
|
245
|
+
ingestIndex: skippedBg.ingestIndex,
|
|
246
|
+
runEventId: skippedBg.runEventId,
|
|
247
|
+
codes: [`CONTROL_${skippedBg.controlKind.toUpperCase()}_SKIPPED`],
|
|
248
|
+
},
|
|
249
|
+
],
|
|
250
|
+
alternativeHypotheses: [{ primaryOrigin: "workflow_flow", rationale: RATIONALE_BRANCH_SKIPPED_ALT }],
|
|
251
|
+
};
|
|
252
|
+
}
|
|
253
|
+
const skippedTool = ctx.toolSkippedEvents.find((e) => e.ingestIndex < iFail);
|
|
254
|
+
if (skippedTool !== undefined) {
|
|
255
|
+
return {
|
|
256
|
+
summary: buildSummary("tool_use", "p3", {}),
|
|
257
|
+
primaryOrigin: "tool_use",
|
|
258
|
+
confidence: "medium",
|
|
259
|
+
unknownReasonCodes: [],
|
|
260
|
+
evidence: [
|
|
261
|
+
{
|
|
262
|
+
scope: "run_context",
|
|
263
|
+
ingestIndex: skippedTool.ingestIndex,
|
|
264
|
+
toolId: skippedTool.toolId,
|
|
265
|
+
codes: ["TOOL_SKIPPED"],
|
|
266
|
+
},
|
|
267
|
+
],
|
|
268
|
+
};
|
|
269
|
+
}
|
|
270
|
+
}
|
|
271
|
+
// P4
|
|
272
|
+
if (engine.eventSequenceIntegrity.kind === "irregular") {
|
|
273
|
+
const reasons = engine.eventSequenceIntegrity.reasons;
|
|
274
|
+
const esCodes = sortUniqueCodes(reasons.map((r) => r.code));
|
|
275
|
+
const unknownReasonCodes = sortUniqueCodes(esCodes.filter((c) => !(c in EVENT_SEQUENCE_CODE_TO_ORIGIN)));
|
|
276
|
+
const knownEs = esCodes.filter((c) => c in EVENT_SEQUENCE_CODE_TO_ORIGIN);
|
|
277
|
+
const firstCode = knownEs.length > 0 ? minLex(knownEs) : minLex(esCodes);
|
|
278
|
+
const origin = knownEs.length > 0
|
|
279
|
+
? EVENT_SEQUENCE_CODE_TO_ORIGIN[firstCode]
|
|
280
|
+
: "workflow_flow";
|
|
281
|
+
const confidence = unknownReasonCodes.length > 0 ? "low" : "high";
|
|
282
|
+
return {
|
|
283
|
+
summary: buildSummary(origin, "p4", { eventCode: firstCode }),
|
|
284
|
+
primaryOrigin: origin,
|
|
285
|
+
confidence,
|
|
286
|
+
unknownReasonCodes,
|
|
287
|
+
evidence: [{ scope: "event_sequence", codes: esCodes }],
|
|
288
|
+
};
|
|
289
|
+
}
|
|
290
|
+
// P5
|
|
291
|
+
if (engine.steps.length === 0) {
|
|
292
|
+
return {
|
|
293
|
+
summary: "No verification steps were produced; origin: workflow_flow.",
|
|
294
|
+
primaryOrigin: "workflow_flow",
|
|
295
|
+
confidence: "high",
|
|
296
|
+
unknownReasonCodes: [],
|
|
297
|
+
evidence: [{ scope: "step", codes: ["NO_STEPS_FOR_WORKFLOW"] }],
|
|
298
|
+
};
|
|
299
|
+
}
|
|
300
|
+
const driverStep = pickDriverStep(engine.steps);
|
|
301
|
+
const primaryCode = primaryCodeForStep(driverStep);
|
|
302
|
+
const mappedOrigin = REASON_CODE_TO_ORIGIN[primaryCode];
|
|
303
|
+
const origin = mappedOrigin ?? "workflow_flow";
|
|
304
|
+
const alts = alternativesForCode(primaryCode);
|
|
305
|
+
const unknownReasonCodes = primaryCode in REASON_CODE_TO_ORIGIN ? [] : sortUniqueCodes([primaryCode]);
|
|
306
|
+
const confidence = primaryCode === STEP_NO_REASON_CODE || mappedOrigin === undefined
|
|
307
|
+
? "low"
|
|
308
|
+
: alts !== undefined
|
|
309
|
+
? "medium"
|
|
310
|
+
: "high";
|
|
311
|
+
const evidence = [
|
|
312
|
+
{
|
|
313
|
+
scope: "step",
|
|
314
|
+
seq: driverStep.seq,
|
|
315
|
+
toolId: driverStep.toolId,
|
|
316
|
+
codes: [primaryCode],
|
|
317
|
+
},
|
|
318
|
+
];
|
|
319
|
+
if (MULTI_EFFECT_ROLLUP_CODES.has(driverStep.reasons[0]?.code ?? "") && primaryCode !== driverStep.reasons[0]?.code) {
|
|
320
|
+
const effects = parseEffects(driverStep.evidenceSummary);
|
|
321
|
+
const failing = effects
|
|
322
|
+
.filter((e) => e.status !== "verified")
|
|
323
|
+
.sort((a, b) => a.id.localeCompare(b.id))[0];
|
|
324
|
+
if (failing !== undefined) {
|
|
325
|
+
evidence.push({ scope: "effect", effectId: failing.id, seq: driverStep.seq, codes: [primaryCode] });
|
|
326
|
+
}
|
|
327
|
+
}
|
|
328
|
+
return {
|
|
329
|
+
summary: buildSummary(origin, "p5", { driverStep, primaryCode }),
|
|
330
|
+
primaryOrigin: origin,
|
|
331
|
+
confidence,
|
|
332
|
+
unknownReasonCodes,
|
|
333
|
+
evidence,
|
|
334
|
+
...(alts !== undefined ? { alternativeHypotheses: alts } : {}),
|
|
335
|
+
};
|
|
336
|
+
}
|
|
337
|
+
//# sourceMappingURL=failureAnalysis.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureAnalysis.js","sourceRoot":"","sources":["../src/failureAnalysis.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,qBAAqB,EACrB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAWhF,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,MAAM,+BAA+B,GACnC,qIAAqI,CAAC;AACxI,MAAM,6BAA6B,GACjC,oJAAoJ,CAAC;AACvJ,MAAM,mCAAmC,GACvC,0HAA0H,CAAC;AAC7H,MAAM,+BAA+B,GACnC,6JAA6J,CAAC;AAChK,MAAM,4BAA4B,GAChC,+HAA+H,CAAC;AAElI,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,sBAAsB;IACtB,yBAAyB;IACzB,yBAAyB;IACzB,sCAAsC;CACvC,CAAC,CAAC;AAEH,MAAM,WAAW,GAA+B;IAC9C,uBAAuB,EAAE,CAAC;IAC1B,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,CAAC;IACf,kBAAkB,EAAE,CAAC;IACrB,SAAS,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF,SAAS,MAAM,CAAC,KAAe;IAC7B,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,CAAC,CAAE,CAAC;AACpE,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,CAAc,EAAE,GAA2B;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,GAAG,CAAC,4BAA4B,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AAC9B,CAAC;AAID,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,OAA8C;SAC1D,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnD,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;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1D,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;QAChC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IAC1D,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,mBAAmB,CAAC,KAAoB;IACtD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACzD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;YAAE,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;QAC1C,OAAO,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC,CAAC,CAAE,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB;IAC1C,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;QACjC,OAAO;YACL,EAAE,aAAa,EAAE,yBAAyB,EAAE,SAAS,EAAE,+BAA+B,EAAE;YACxF,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,6BAA6B,EAAE;SACxE,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,aAAa,EAAE,yBAAyB,EAAE,SAAS,EAAE,mCAAmC,EAAE;YAC5F,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,+BAA+B,EAAE;SACxE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CACnB,MAAqB,EACrB,KAAsD,EACtD,MAMC;IAED,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,IAAI;YACP,OAAO,uCAAuC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,MAAM,GAAG,CAAC;QACtG,KAAK,IAAI;YACP,OAAO,gEAAgE,MAAM,CAAC,cAAc,IAAI,iBAAiB,uBAAuB,CAAC;QAC3I,KAAK,IAAI;YACP,OAAO,qHAAqH,MAAM,GAAG,CAAC;QACxI,KAAK,KAAK;YACR,OAAO,uIAAuI,CAAC;QACjJ,KAAK,IAAI;YACP,OAAO,2EAA2E,CAAC;QACrF,KAAK,IAAI;YACP,OAAO,qDAAqD,MAAM,CAAC,SAAS,IAAI,EAAE,2BAA2B,CAAC;QAChH,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC;YAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;YACpC,IAAI,CAAC,GAAG,0BAA0B,EAAE,EAAE,GAAG,IAAI,GAAG,SAAS,EAAE,EAAE,MAAM,IAAI,GAAG,UAAU,EAAE,cAAc,MAAM,GAAG,CAAC;YAC9G,MAAM,MAAM,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS,IAAI,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClE,CAAC;oBACC,8GAA8G,CAAC;YACnH,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QACD;YACE,OAAO,0CAA0C,MAAM,GAAG,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA4B;IAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAE9C,MAAM,GAAG,GAAG,MAAM,CAAC,sBAAsB,IAAI,iCAAiC,EAAE,CAAC;IACjF,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,KAAK;IACL,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,kBAAkB,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC,CAAC,CAAC;QACnG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxE,MAAM,MAAM,GACV,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,KAA8C,CAAE,CAAC,CAAC,CAAC,eAAe,CAAC;QACrH,IAAI,UAA6C,CAAC;QAClD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,UAAU,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrC,UAAU,GAAG,MAAM,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;QACD,MAAM,QAAQ,GAAkC,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACxF,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YACtD,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QACvG,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;YAC7B,MAAM,QAAQ,GAAkC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxE,KAAK,EAAE,aAAsB;gBAC7B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,KAAK,EAAE,CAAC,iBAAiB,CAAC;aAC3B,CAAC,CAAC,CAAC;YACJ,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC;gBACvE,aAAa,EAAE,WAAW;gBAC1B,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ;aACT,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CACtF,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,IAAI,EAAE,EAAE,CAAC;gBAClD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,QAAQ,CAAC,WAAW;wBACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;wBAC/B,KAAK,EAAE,CAAC,cAAc,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;qBACvD;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QACxG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,IAAI,EAAE,EAAE,CAAC;gBAClD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,MAAM;gBAClB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,UAAU,EAAE,SAAS,CAAC,UAAU;wBAChC,KAAK,EAAE,CAAC,mBAAmB,CAAC;qBAC7B;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC;YACxD,CAAC,CAAC,QAAQ,KAAK,SAAS;YACxB,CAAC,CAAC,WAAW,GAAG,KAAK,CACxB,CAAC;QACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,iBAAiB,EAAE,KAAK,EAAE,EAAE,CAAC;gBACnD,aAAa,EAAE,iBAAiB;gBAChC,UAAU,EAAE,QAAQ;gBACpB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,UAAU,EAAE,SAAS,CAAC,UAAU;wBAChC,KAAK,EAAE,CAAC,WAAW,SAAS,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC;qBAClE;iBACF;gBACD,qBAAqB,EAAE,CAAC,EAAE,aAAa,EAAE,eAAe,EAAE,SAAS,EAAE,4BAA4B,EAAE,CAAC;aACrG,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC;QAC7E,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC3C,aAAa,EAAE,UAAU;gBACzB,UAAU,EAAE,QAAQ;gBACpB,kBAAkB,EAAE,EAAE;gBACtB,QAAQ,EAAE;oBACR;wBACE,KAAK,EAAE,aAAa;wBACpB,WAAW,EAAE,WAAW,CAAC,WAAW;wBACpC,MAAM,EAAE,WAAW,CAAC,MAAM;wBAC1B,KAAK,EAAE,CAAC,cAAc,CAAC;qBACxB;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK;IACL,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC;QACtD,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,kBAAkB,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,6BAA6B,CAAC,CAAC,CAAC,CAAC;QACzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,6BAA6B,CAAC,CAAC;QAC1E,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,6BAA6B,CAAC,SAAuD,CAAE;YACzF,CAAC,CAAC,eAAe,CAAC;QACtB,MAAM,UAAU,GACd,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACjD,OAAO;YACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;YAC7D,aAAa,EAAE,MAAM;YACrB,UAAU;YACV,kBAAkB;YAClB,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;SACxD,CAAC;IACJ,CAAC;IAED,KAAK;IACL,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,6DAA6D;YACtE,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;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,MAAM,GAAkB,YAAY,IAAI,eAAe,CAAC;IAC9D,MAAM,IAAI,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,kBAAkB,GACtB,WAAW,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC7E,MAAM,UAAU,GACd,WAAW,KAAK,mBAAmB,IAAI,YAAY,KAAK,SAAS;QAC/D,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,MAAM,CAAC;IAEf,MAAM,QAAQ,GAAkC;QAC9C;YACE,KAAK,EAAE,MAAM;YACb,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK,EAAE,CAAC,WAAW,CAAC;SACrB;KACF,CAAC;IAEF,IAAI,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,WAAW,KAAK,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACpH,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACzD,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,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;QAChE,aAAa,EAAE,MAAM;QACrB,UAAU;QACV,kBAAkB;QAClB,QAAQ;QACR,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureAnalysis.test.d.ts","sourceRoot":"","sources":["../src/failureAnalysis.test.ts"],"names":[],"mappings":""}
|