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,17 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { EVENT_SEQUENCE_MESSAGES, RUN_LEVEL_MESSAGES, } from "./failureCatalog.js";
|
|
3
|
+
import { EVENT_SEQUENCE_CODE_TO_ORIGIN, RUN_LEVEL_CODE_TO_ORIGIN, } from "./failureOriginCatalog.js";
|
|
4
|
+
describe("failureOriginCatalog exhaustiveness", () => {
|
|
5
|
+
it("every run-level message key maps", () => {
|
|
6
|
+
for (const k of Object.keys(RUN_LEVEL_MESSAGES)) {
|
|
7
|
+
expect(RUN_LEVEL_CODE_TO_ORIGIN[k], k).toBeDefined();
|
|
8
|
+
}
|
|
9
|
+
});
|
|
10
|
+
it("every event-sequence message key maps", () => {
|
|
11
|
+
for (const k of Object.keys(EVENT_SEQUENCE_MESSAGES)) {
|
|
12
|
+
expect(EVENT_SEQUENCE_CODE_TO_ORIGIN[k], k).toBeDefined();
|
|
13
|
+
}
|
|
14
|
+
expect(EVENT_SEQUENCE_CODE_TO_ORIGIN["TIMESTAMP_NOT_MONOTONIC_WITH_SEQ_SORT_ORDER"]).toBeDefined();
|
|
15
|
+
});
|
|
16
|
+
});
|
|
17
|
+
//# sourceMappingURL=failureOriginCatalog.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginCatalog.test.js","sourceRoot":"","sources":["../src/failureOriginCatalog.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AAEnC,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAwC,EAAE,CAAC;YACvF,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAA6C,EAAE,CAAC;YACjG,MAAM,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5D,CAAC;QACD,MAAM,CAAC,6BAA6B,CAAC,6CAA6C,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACrG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginSchemaEnum.test.d.ts","sourceRoot":"","sources":["../src/failureOriginSchemaEnum.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "fs";
|
|
3
|
+
import path from "path";
|
|
4
|
+
import { fileURLToPath } from "url";
|
|
5
|
+
import { FAILURE_ORIGINS } from "./failureOriginTypes.js";
|
|
6
|
+
const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
|
|
7
|
+
function enumFromWorkflowTruthSchema() {
|
|
8
|
+
const raw = readFileSync(path.join(root, "schemas", "workflow-truth-report.schema.json"), "utf8");
|
|
9
|
+
const j = JSON.parse(raw);
|
|
10
|
+
const e = j.$defs?.failureOrigin?.enum;
|
|
11
|
+
if (!Array.isArray(e))
|
|
12
|
+
throw new Error("missing failureOrigin enum in workflow-truth-report.schema.json");
|
|
13
|
+
return e;
|
|
14
|
+
}
|
|
15
|
+
describe("failureOriginSchemaEnum", () => {
|
|
16
|
+
it("FAILURE_ORIGINS matches workflow-truth-report $defs.failureOrigin.enum (order-independent)", () => {
|
|
17
|
+
const schemaEnum = enumFromWorkflowTruthSchema();
|
|
18
|
+
expect([...FAILURE_ORIGINS].sort()).toEqual([...schemaEnum].sort());
|
|
19
|
+
});
|
|
20
|
+
});
|
|
21
|
+
//# sourceMappingURL=failureOriginSchemaEnum.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginSchemaEnum.test.js","sourceRoot":"","sources":["../src/failureOriginSchemaEnum.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE3E,SAAS,2BAA2B;IAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,mCAAmC,CAAC,EAAE,MAAM,CAAC,CAAC;IAClG,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAEvB,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IAC1G,OAAO,CAAC,CAAC;AACX,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,UAAU,GAAG,2BAA2B,EAAE,CAAC;QACjD,MAAM,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginSchemaParity.test.d.ts","sourceRoot":"","sources":["../src/failureOriginSchemaParity.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
import { describe, expect, it } from "vitest";
|
|
2
|
+
import { readFileSync } from "fs";
|
|
3
|
+
import path from "path";
|
|
4
|
+
import { fileURLToPath } from "url";
|
|
5
|
+
import { FAILURE_ORIGINS } from "./failureOriginTypes.js";
|
|
6
|
+
const root = path.join(path.dirname(fileURLToPath(import.meta.url)), "..");
|
|
7
|
+
function enumFromWorkflowTruthSchema() {
|
|
8
|
+
const raw = readFileSync(path.join(root, "schemas", "workflow-truth-report.schema.json"), "utf8");
|
|
9
|
+
const j = JSON.parse(raw);
|
|
10
|
+
const e = j.$defs?.failureOrigin?.enum;
|
|
11
|
+
if (!Array.isArray(e))
|
|
12
|
+
throw new Error("missing failureOrigin enum in workflow-truth-report.schema.json");
|
|
13
|
+
return [...e].sort((a, b) => a.localeCompare(b));
|
|
14
|
+
}
|
|
15
|
+
function enumFromCliErrorSchema() {
|
|
16
|
+
const raw = readFileSync(path.join(root, "schemas", "cli-error-envelope.schema.json"), "utf8");
|
|
17
|
+
const j = JSON.parse(raw);
|
|
18
|
+
const e = j.properties?.failureDiagnosis?.properties?.primaryOrigin?.enum;
|
|
19
|
+
if (!Array.isArray(e))
|
|
20
|
+
throw new Error("missing primaryOrigin enum in cli-error-envelope.schema.json");
|
|
21
|
+
return [...e].sort((a, b) => a.localeCompare(b));
|
|
22
|
+
}
|
|
23
|
+
describe("FailureOrigin JSON Schema parity", () => {
|
|
24
|
+
it("workflow-truth-report failureOrigin enum matches FAILURE_ORIGINS tuple", () => {
|
|
25
|
+
const fromSchema = enumFromWorkflowTruthSchema();
|
|
26
|
+
const fromTs = [...FAILURE_ORIGINS].sort((a, b) => a.localeCompare(b));
|
|
27
|
+
expect(fromSchema).toEqual(fromTs);
|
|
28
|
+
});
|
|
29
|
+
it("cli-error-envelope primaryOrigin enum matches FAILURE_ORIGINS tuple", () => {
|
|
30
|
+
expect(enumFromCliErrorSchema()).toEqual([...FAILURE_ORIGINS].sort((a, b) => a.localeCompare(b)));
|
|
31
|
+
});
|
|
32
|
+
});
|
|
33
|
+
//# sourceMappingURL=failureOriginSchemaParity.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginSchemaParity.test.js","sourceRoot":"","sources":["../src/failureOriginSchemaParity.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE3E,SAAS,2BAA2B;IAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,mCAAmC,CAAC,EAAE,MAAM,CAAC,CAAC;IAClG,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAEvB,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;IAC1G,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,sBAAsB;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,gCAAgC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/F,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAMvB,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,CAAC;IAC1E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IACvG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,UAAU,GAAG,2BAA2B,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
/** Re-exports generated FailureOrigin literals (schema is sole authority; see scripts/sync-failure-origin-from-schema.mjs). */
|
|
2
|
+
export type { FailureOrigin } from "./failureOriginTypes.generated.js";
|
|
3
|
+
export { FAILURE_ORIGINS } from "./failureOriginTypes.generated.js";
|
|
4
|
+
//# sourceMappingURL=failureOriginTypes.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginTypes.d.ts","sourceRoot":"","sources":["../src/failureOriginTypes.ts"],"names":[],"mappings":"AAAA,+HAA+H;AAE/H,YAAY,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
/** Generated by scripts/sync-failure-origin-from-schema.mjs — do not edit by hand. */
|
|
2
|
+
export declare const FAILURE_ORIGINS: readonly ["decision_making", "inputs", "retrieval", "tool_use", "workflow_flow", "downstream_system_state"];
|
|
3
|
+
export type FailureOrigin = (typeof FAILURE_ORIGINS)[number];
|
|
4
|
+
//# sourceMappingURL=failureOriginTypes.generated.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginTypes.generated.d.ts","sourceRoot":"","sources":["../src/failureOriginTypes.generated.ts"],"names":[],"mappings":"AAAA,sFAAsF;AAEtF,eAAO,MAAM,eAAe,6GAOlB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
/** Generated by scripts/sync-failure-origin-from-schema.mjs — do not edit by hand. */
|
|
2
|
+
export const FAILURE_ORIGINS = [
|
|
3
|
+
"decision_making",
|
|
4
|
+
"inputs",
|
|
5
|
+
"retrieval",
|
|
6
|
+
"tool_use",
|
|
7
|
+
"workflow_flow",
|
|
8
|
+
"downstream_system_state",
|
|
9
|
+
];
|
|
10
|
+
//# sourceMappingURL=failureOriginTypes.generated.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginTypes.generated.js","sourceRoot":"","sources":["../src/failureOriginTypes.generated.ts"],"names":[],"mappings":"AAAA,sFAAsF;AAEtF,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,iBAAiB;IACjB,QAAQ;IACR,WAAW;IACX,UAAU;IACV,eAAe;IACf,yBAAyB;CACjB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"failureOriginTypes.js","sourceRoot":"","sources":["../src/failureOriginTypes.ts"],"names":[],"mappings":"AAAA,+HAA+H;AAG/H,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"commercialBuildFlags.d.ts","sourceRoot":"","sources":["../../src/generated/commercialBuildFlags.ts"],"names":[],"mappings":"AACA,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,EAAG,IAAa,CAAC;AACvD,eAAO,MAAM,oBAAoB,EAAG,0BAAmC,CAAC"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
/* eslint-disable -- generated */
|
|
2
|
+
/** Generated by scripts/write-commercial-build-flags.mjs — do not edit. */
|
|
3
|
+
export const LICENSE_PREFLIGHT_ENABLED = true;
|
|
4
|
+
export const LICENSE_API_BASE_URL = "https://agentskeptic.com";
|
|
5
|
+
//# sourceMappingURL=commercialBuildFlags.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"commercialBuildFlags.js","sourceRoot":"","sources":["../../src/generated/commercialBuildFlags.ts"],"names":[],"mappings":"AAAA,iCAAiC;AACjC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAa,CAAC;AACvD,MAAM,CAAC,MAAM,oBAAoB,GAAG,0BAAmC,CAAC"}
|
package/dist/index.d.ts
ADDED
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
|
|
2
|
+
export type { CiLockV1, CiLockBatchV1, CiLockQuickV1 } from "./ciLock.js";
|
|
3
|
+
export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
|
|
4
|
+
export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
|
|
5
|
+
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
6
|
+
export type { SchemaValidatorName } from "./schemaLoad.js";
|
|
7
|
+
export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
|
|
8
|
+
export type { QuickVerifyReport, RunQuickVerifyOptions, RunQuickVerifyResult, } from "./quickVerify/runQuickVerify.js";
|
|
9
|
+
export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, type QuickVerifyProductTruth, } from "./quickVerify/quickVerifyProductTruth.js";
|
|
10
|
+
export type { QuickContractExport } from "./quickVerify/buildQuickContractEventsNdjson.js";
|
|
11
|
+
export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
|
|
12
|
+
export type { EventLoadSummary, RegistryValidationResult, ResolutionIssue, ResolutionSkipped, StructuralIssue, } from "./registryValidation.js";
|
|
13
|
+
export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
|
|
14
|
+
export type { BuildExecutionTraceViewInput } from "./executionTrace.js";
|
|
15
|
+
export { loadEventsForWorkflow } from "./loadEvents.js";
|
|
16
|
+
export { formatNoStepsForWorkflowMessage, enrichNoStepsRunLevelReasons } from "./noStepsMessage.js";
|
|
17
|
+
export { TruthLayerError } from "./truthLayerError.js";
|
|
18
|
+
export { CLI_OPERATIONAL_CODES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, cliErrorEnvelope, CLI_ERROR_KIND, CLI_ERROR_SCHEMA_VERSION, eventSequenceIssue, EVENT_SEQUENCE_MESSAGES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, } from "./failureCatalog.js";
|
|
19
|
+
export { resolveVerificationRequest, renderIntendedEffect, buildRegistryMap, } from "./resolveExpectation.js";
|
|
20
|
+
export { canonicalJsonForParams } from "./canonicalParams.js";
|
|
21
|
+
export { reconcileSqlRow, reconcileSqlRowAsync } from "./reconciler.js";
|
|
22
|
+
export { aggregateWorkflow } from "./aggregate.js";
|
|
23
|
+
export { ACTIONABLE_FAILURE_CATEGORIES, ACTIONABLE_FAILURE_SEVERITIES, buildActionableCategoryRecurrence, buildCategoryHistogram, deriveActionableCategory, deriveActionableFailureOperational, deriveActionableFailureWorkflow, deriveSeverityWorkflow, maxConsecutiveStreak, productionStepReasonCodeToActionableCategory, productionStepReasonCodeToRemediation, } from "./actionableFailure.js";
|
|
24
|
+
export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, formatRunComparisonReport, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
|
|
25
|
+
export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderComparePanelHtml, renderRunTrustPanelHtml, } from "./debugPanels.js";
|
|
26
|
+
export { buildWorkflowTruthReport, buildWorkflowVerdictSurface, finalizeEmittedWorkflowResult, formatWorkflowTruthReport, formatWorkflowTruthReportStruct, HUMAN_REPORT_PLAN_TRANSITION_PHRASE, HUMAN_REPORT_RESULT_PHRASE, STEP_STATUS_TRUTH_LABELS, TRUST_LINE_UNCERTAIN_WITHIN_WINDOW, TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX, } from "./workflowTruthReport.js";
|
|
27
|
+
export type { WorkflowVerdictSurface } from "./workflowTruthReport.js";
|
|
28
|
+
export { assertGitVersionAtLeast_2_30, buildPlanTransitionEventsNdjson, buildPlanTransitionWorkflowResult, evaluatePlanRules, loadPlanTransitionRules, parseGitNameStatusZ, parseGitVersionTriple, PLAN_RULE_CODES, preflightPatternString, } from "./planTransition.js";
|
|
29
|
+
export { extractMarkdownBodyAfterFrontMatter } from "./planTransitionPathHarvest.js";
|
|
30
|
+
export type { PlanDiffRow, PlanDiffRowKind, TransitionRulesProvenance } from "./planTransition.js";
|
|
31
|
+
export { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
|
|
32
|
+
export { writeAgentRunBundle } from "./agentRunBundle.js";
|
|
33
|
+
export type { WriteAgentRunBundleOptions } from "./agentRunBundle.js";
|
|
34
|
+
export { workflowEngineResultFromEmitted, normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
|
|
35
|
+
export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
|
|
36
|
+
export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
|
|
37
|
+
export { applyPostgresVerificationSessionGuards, buildSelectByIdentitySqlPostgres, connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
|
|
38
|
+
export { RECOMMENDED_ACTION_CODES } from "./types.js";
|
|
39
|
+
export type { ActionableFailure, ActionableFailureCategory, ActionableFailureSeverity, RecommendedActionCode, ControlRunEvent, ExecutionTraceBackwardPath, ExecutionTraceNode, ExecutionTraceVerificationLink, ExecutionTraceView, FailureDiagnostic, EventFileAggregateCounts, LoadEventsResult, ModelTurnRunEvent, Reason, RetrievalRunEvent, RunEvent, ToolObservedEvent, ToolObservedEventV1, ToolObservedEventV2, ToolSkippedRunEvent, TraceStepKind, ToolRegistryEntry, VerificationRequest, VerificationDatabase, VerificationPolicy, WorkflowEngineResult, WorkflowResult, WorkflowTruthReport, WorkflowTruthStep, StepOutcome, EventSequenceIntegrity, IntendedEffect, ObservedExecution, } from "./types.js";
|
|
40
|
+
export type { BucketAEntry, CompareHighlights, PairwiseBucketB, RecurrencePattern, ReliabilityAssessment, ReliabilityTrend, RunComparisonReport, } from "./runComparison.js";
|
|
41
|
+
export type { SqlReadBackend } from "./sqlReadBackend.js";
|
|
42
|
+
export { buildAgentRunRecordForBundle, sha256Hex, EVENTS_RELATIVE, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, } from "./agentRunRecord.js";
|
|
43
|
+
export type { AgentRunRecord, AgentRunRecordV1, AgentRunRecordV2 } from "./agentRunRecord.js";
|
|
44
|
+
export { BUNDLE_SIGNATURE_ARTIFACT_INTEGRITY, BUNDLE_SIGNATURE_CRYPTO_INVALID, BUNDLE_SIGNATURE_MANIFEST_INVALID, BUNDLE_SIGNATURE_MANIFEST_UNSUPPORTED_VERSION, BUNDLE_SIGNATURE_MISSING_ARTIFACT, BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, BUNDLE_SIGNATURE_PUBLIC_KEY_MISMATCH, BUNDLE_SIGNATURE_SIDECAR_INVALID, BUNDLE_SIGNATURE_SIGNED_HASH_MISMATCH, BUNDLE_SIGNATURE_UNSIGNED_MANIFEST, } from "./bundleSignatureCodes.js";
|
|
45
|
+
export type { BundleSignatureCode } from "./bundleSignatureCodes.js";
|
|
46
|
+
export { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
|
|
47
|
+
export type { RunBundleSignatureResult } from "./verifyRunBundleSignature.js";
|
|
48
|
+
export { AGENT_RUN_FILENAME, DEBUG_CORPUS_CODES, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
|
|
49
|
+
export type { CorpusLoadError, CorpusMeta, CorpusRunLoadedError, CorpusRunLoadedOk, CorpusRunOutcome, } from "./debugCorpus.js";
|
|
50
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
|
package/dist/index.js
ADDED
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
|
|
2
|
+
export { runBatchVerifyToValidatedResult } from "./standardVerifyWorkflowCli.js";
|
|
3
|
+
export { verifyWorkflow, loadToolsRegistry, withWorkflowVerification } from "./pipeline.js";
|
|
4
|
+
export { loadSchemaValidator } from "./schemaLoad.js";
|
|
5
|
+
export { runQuickVerify, quickReportToStdoutLine, runQuickVerifyToValidatedReport, } from "./quickVerify/runQuickVerify.js";
|
|
6
|
+
export { DEFAULT_QUICK_VERIFY_PRODUCT_TRUTH, } from "./quickVerify/quickVerifyProductTruth.js";
|
|
7
|
+
export { formatRegistryValidationHumanReport, structuralIssuesFromToolsRegistryAjv, validateToolsRegistry, } from "./registryValidation.js";
|
|
8
|
+
export { assertValidRunEventParentGraph, buildExecutionTraceView, formatExecutionTraceText, isToolObservedRunEvent, } from "./executionTrace.js";
|
|
9
|
+
export { loadEventsForWorkflow } from "./loadEvents.js";
|
|
10
|
+
export { formatNoStepsForWorkflowMessage, enrichNoStepsRunLevelReasons } from "./noStepsMessage.js";
|
|
11
|
+
export { TruthLayerError } from "./truthLayerError.js";
|
|
12
|
+
export { CLI_OPERATIONAL_CODES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, cliErrorEnvelope, CLI_ERROR_KIND, CLI_ERROR_SCHEMA_VERSION, eventSequenceIssue, EVENT_SEQUENCE_MESSAGES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, } from "./failureCatalog.js";
|
|
13
|
+
export { resolveVerificationRequest, renderIntendedEffect, buildRegistryMap, } from "./resolveExpectation.js";
|
|
14
|
+
export { canonicalJsonForParams } from "./canonicalParams.js";
|
|
15
|
+
export { reconcileSqlRow, reconcileSqlRowAsync } from "./reconciler.js";
|
|
16
|
+
export { aggregateWorkflow } from "./aggregate.js";
|
|
17
|
+
export { ACTIONABLE_FAILURE_CATEGORIES, ACTIONABLE_FAILURE_SEVERITIES, buildActionableCategoryRecurrence, buildCategoryHistogram, deriveActionableCategory, deriveActionableFailureOperational, deriveActionableFailureWorkflow, deriveSeverityWorkflow, maxConsecutiveStreak, productionStepReasonCodeToActionableCategory, productionStepReasonCodeToRemediation, } from "./actionableFailure.js";
|
|
18
|
+
export { buildRunComparisonReport, COMPARE_HIGHLIGHTS_MAX, actionableTrend, formatRunComparisonReport, logicalStepKeyFromStep, perRunActionableFromWorkflowResult, recurrenceSignature, } from "./runComparison.js";
|
|
19
|
+
export { EXECUTION_PATH_EMPTY, PLAN_TRANSITION_VERIFICATION_BASIS_LINE, VERIFICATION_BASIS_LINE, formatSqlEvidenceDetailForTrustPanel, renderComparePanelHtml, renderRunTrustPanelHtml, } from "./debugPanels.js";
|
|
20
|
+
export { buildWorkflowTruthReport, buildWorkflowVerdictSurface, finalizeEmittedWorkflowResult, formatWorkflowTruthReport, formatWorkflowTruthReportStruct, HUMAN_REPORT_PLAN_TRANSITION_PHRASE, HUMAN_REPORT_RESULT_PHRASE, STEP_STATUS_TRUTH_LABELS, TRUST_LINE_UNCERTAIN_WITHIN_WINDOW, TRUST_LINE_EVENT_SEQUENCE_IRREGULAR_SUFFIX, } from "./workflowTruthReport.js";
|
|
21
|
+
export { assertGitVersionAtLeast_2_30, buildPlanTransitionEventsNdjson, buildPlanTransitionWorkflowResult, evaluatePlanRules, loadPlanTransitionRules, parseGitNameStatusZ, parseGitVersionTriple, PLAN_RULE_CODES, preflightPatternString, } from "./planTransition.js";
|
|
22
|
+
export { extractMarkdownBodyAfterFrontMatter } from "./planTransitionPathHarvest.js";
|
|
23
|
+
export { PLAN_TRANSITION_WORKFLOW_ID } from "./planTransitionConstants.js";
|
|
24
|
+
export { writeAgentRunBundle } from "./agentRunBundle.js";
|
|
25
|
+
export { workflowEngineResultFromEmitted, normalizeToEmittedWorkflowResult } from "./workflowResultNormalize.js";
|
|
26
|
+
export { DEFAULT_VERIFICATION_POLICY, normalizeVerificationPolicy, resolveVerificationPolicyInput, } from "./verificationPolicy.js";
|
|
27
|
+
export { fetchRowsForVerification, ConnectorError } from "./sqlConnector.js";
|
|
28
|
+
export { applyPostgresVerificationSessionGuards, buildSelectByIdentitySqlPostgres, connectPostgresVerificationClient, createPostgresSqlReadBackend, } from "./sqlReadBackend.js";
|
|
29
|
+
export { RECOMMENDED_ACTION_CODES } from "./types.js";
|
|
30
|
+
export { buildAgentRunRecordForBundle, sha256Hex, EVENTS_RELATIVE, WORKFLOW_RESULT_RELATIVE, WORKFLOW_RESULT_SIGNATURE_RELATIVE, } from "./agentRunRecord.js";
|
|
31
|
+
export { BUNDLE_SIGNATURE_ARTIFACT_INTEGRITY, BUNDLE_SIGNATURE_CRYPTO_INVALID, BUNDLE_SIGNATURE_MANIFEST_INVALID, BUNDLE_SIGNATURE_MANIFEST_UNSUPPORTED_VERSION, BUNDLE_SIGNATURE_MISSING_ARTIFACT, BUNDLE_SIGNATURE_PRIVATE_KEY_INVALID, BUNDLE_SIGNATURE_PUBLIC_KEY_MISMATCH, BUNDLE_SIGNATURE_SIDECAR_INVALID, BUNDLE_SIGNATURE_SIGNED_HASH_MISMATCH, BUNDLE_SIGNATURE_UNSIGNED_MANIFEST, } from "./bundleSignatureCodes.js";
|
|
32
|
+
export { verifyRunBundleSignature } from "./verifyRunBundleSignature.js";
|
|
33
|
+
export { AGENT_RUN_FILENAME, DEBUG_CORPUS_CODES, EVENTS_FILENAME, WORKFLOW_RESULT_FILENAME, WORKFLOW_RESULT_SIG_FILENAME, loadAllCorpusRuns, loadCorpusRun, listCorpusRunIds, resolveCorpusRootReal, } from "./debugCorpus.js";
|
|
34
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,+BAA+B,GAChC,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EACL,kCAAkC,GAEnC,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AAQjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAErF,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AA8CtD,OAAO,EACL,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,wBAAwB,EACxB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"jsonPointer.d.ts","sourceRoot":"","sources":["../src/jsonPointer.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,wBAAgB,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAqBjE"}
|
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
/** RFC 6901 JSON Pointer — get value only (no set). */
|
|
2
|
+
export function getPointer(doc, pointer) {
|
|
3
|
+
if (pointer === "")
|
|
4
|
+
return doc;
|
|
5
|
+
if (!pointer.startsWith("/")) {
|
|
6
|
+
throw new Error(`Invalid JSON Pointer: must start with /, got ${JSON.stringify(pointer)}`);
|
|
7
|
+
}
|
|
8
|
+
const parts = pointer
|
|
9
|
+
.slice(1)
|
|
10
|
+
.split("/")
|
|
11
|
+
.map((p) => p.replace(/~1/g, "/").replace(/~0/g, "~"));
|
|
12
|
+
let cur = doc;
|
|
13
|
+
for (const tok of parts) {
|
|
14
|
+
if (cur === null || typeof cur !== "object")
|
|
15
|
+
return undefined;
|
|
16
|
+
if (Array.isArray(cur)) {
|
|
17
|
+
const idx = Number.parseInt(tok, 10);
|
|
18
|
+
if (String(idx) !== tok || idx < 0 || idx >= cur.length)
|
|
19
|
+
return undefined;
|
|
20
|
+
cur = cur[idx];
|
|
21
|
+
}
|
|
22
|
+
else {
|
|
23
|
+
cur = cur[tok];
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
return cur;
|
|
27
|
+
}
|
|
28
|
+
//# sourceMappingURL=jsonPointer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"jsonPointer.js","sourceRoot":"","sources":["../src/jsonPointer.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,MAAM,UAAU,UAAU,CAAC,GAAY,EAAE,OAAe;IACtD,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,GAAG,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,gDAAgD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,KAAK,GAAG,OAAO;SAClB,KAAK,CAAC,CAAC,CAAC;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,IAAI,GAAG,GAAY,GAAG,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,SAAS,CAAC;YAC1E,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,GAAG,GAAI,GAA+B,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"jsonStableStringify.d.ts","sourceRoot":"","sources":["../src/jsonStableStringify.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"jsonStableStringify.js","sourceRoot":"","sources":["../src/jsonStableStringify.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loadEvents.d.ts","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAuC,MAAM,YAAY,CAAC;AAUxF,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,GACjB,gBAAgB,CA4ElB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loadEvents.eventFileAggregateCounts.test.d.ts","sourceRoot":"","sources":["../src/loadEvents.eventFileAggregateCounts.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
import { dirname, join } from "node:path";
|
|
2
|
+
import { fileURLToPath } from "node:url";
|
|
3
|
+
import { describe, expect, it } from "vitest";
|
|
4
|
+
import { loadEventsForWorkflow } from "./loadEvents.js";
|
|
5
|
+
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
6
|
+
const fixture = join(__dirname, "..", "test", "fixtures", "adoption-validation", "wrong-workflow-id.events.ndjson");
|
|
7
|
+
describe("loadEvents eventFileAggregateCounts", () => {
|
|
8
|
+
it("counts wrong-workflow-id fixture for wf_requested", () => {
|
|
9
|
+
const { eventFileAggregateCounts } = loadEventsForWorkflow(fixture, "wf_requested");
|
|
10
|
+
expect(eventFileAggregateCounts).toEqual({
|
|
11
|
+
eventFileNonEmptyLines: 3,
|
|
12
|
+
schemaValidEvents: 2,
|
|
13
|
+
toolObservedForRequestedWorkflowId: 0,
|
|
14
|
+
toolObservedForOtherWorkflowIds: 2,
|
|
15
|
+
});
|
|
16
|
+
});
|
|
17
|
+
});
|
|
18
|
+
//# sourceMappingURL=loadEvents.eventFileAggregateCounts.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loadEvents.eventFileAggregateCounts.test.js","sourceRoot":"","sources":["../src/loadEvents.eventFileAggregateCounts.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,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,iBAAiB,CAAC;AAExD,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;AAEpH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,wBAAwB,EAAE,GAAG,qBAAqB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACpF,MAAM,CAAC,wBAAwB,CAAC,CAAC,OAAO,CAAC;YACvC,sBAAsB,EAAE,CAAC;YACzB,iBAAiB,EAAE,CAAC;YACpB,kCAAkC,EAAE,CAAC;YACrC,+BAA+B,EAAE,CAAC;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,85 @@
|
|
|
1
|
+
import { readFileSync } from "fs";
|
|
2
|
+
import { CLI_OPERATIONAL_CODES, runLevelIssue } from "./failureCatalog.js";
|
|
3
|
+
import { prepareWorkflowEvents } from "./prepareWorkflowEvents.js";
|
|
4
|
+
import { loadSchemaValidator } from "./schemaLoad.js";
|
|
5
|
+
import { TruthLayerError } from "./truthLayerError.js";
|
|
6
|
+
const validateEvent = loadSchemaValidator("event");
|
|
7
|
+
function isToolObserved(ev) {
|
|
8
|
+
return ev.type === "tool_observed";
|
|
9
|
+
}
|
|
10
|
+
export function loadEventsForWorkflow(eventsFilePath, workflowId) {
|
|
11
|
+
const runLevelReasons = [];
|
|
12
|
+
let raw;
|
|
13
|
+
try {
|
|
14
|
+
raw = readFileSync(eventsFilePath, "utf8");
|
|
15
|
+
}
|
|
16
|
+
catch (e) {
|
|
17
|
+
const msg = e instanceof Error ? e.message : String(e);
|
|
18
|
+
throw new TruthLayerError(CLI_OPERATIONAL_CODES.EVENTS_READ_FAILED, msg, { cause: e });
|
|
19
|
+
}
|
|
20
|
+
const allLines = raw.split(/\r?\n/);
|
|
21
|
+
let eventFileNonEmptyLines = 0;
|
|
22
|
+
for (const line of allLines) {
|
|
23
|
+
if (line.trim().length > 0) {
|
|
24
|
+
eventFileNonEmptyLines += 1;
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
const toolCandidates = [];
|
|
28
|
+
const runEvents = [];
|
|
29
|
+
let malformedEventLineCount = 0;
|
|
30
|
+
let schemaValidEvents = 0;
|
|
31
|
+
let toolObservedForRequestedWorkflowId = 0;
|
|
32
|
+
let toolObservedForOtherWorkflowIds = 0;
|
|
33
|
+
for (let i = 0; i < allLines.length; i++) {
|
|
34
|
+
const line = allLines[i];
|
|
35
|
+
if (line.trim().length === 0) {
|
|
36
|
+
continue;
|
|
37
|
+
}
|
|
38
|
+
let parsed;
|
|
39
|
+
try {
|
|
40
|
+
parsed = JSON.parse(line);
|
|
41
|
+
}
|
|
42
|
+
catch {
|
|
43
|
+
malformedEventLineCount += 1;
|
|
44
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
45
|
+
continue;
|
|
46
|
+
}
|
|
47
|
+
if (!validateEvent(parsed)) {
|
|
48
|
+
malformedEventLineCount += 1;
|
|
49
|
+
runLevelReasons.push(runLevelIssue("MALFORMED_EVENT_LINE"));
|
|
50
|
+
continue;
|
|
51
|
+
}
|
|
52
|
+
const ev = parsed;
|
|
53
|
+
schemaValidEvents += 1;
|
|
54
|
+
if (isToolObserved(ev)) {
|
|
55
|
+
if (ev.workflowId === workflowId) {
|
|
56
|
+
toolObservedForRequestedWorkflowId += 1;
|
|
57
|
+
}
|
|
58
|
+
else {
|
|
59
|
+
toolObservedForOtherWorkflowIds += 1;
|
|
60
|
+
}
|
|
61
|
+
}
|
|
62
|
+
if (ev.workflowId !== workflowId) {
|
|
63
|
+
continue;
|
|
64
|
+
}
|
|
65
|
+
runEvents.push(ev);
|
|
66
|
+
if (isToolObserved(ev)) {
|
|
67
|
+
toolCandidates.push(ev);
|
|
68
|
+
}
|
|
69
|
+
}
|
|
70
|
+
const { eventsSorted, eventSequenceIntegrity } = prepareWorkflowEvents(toolCandidates);
|
|
71
|
+
return {
|
|
72
|
+
events: eventsSorted,
|
|
73
|
+
runEvents,
|
|
74
|
+
runLevelReasons,
|
|
75
|
+
eventSequenceIntegrity,
|
|
76
|
+
malformedEventLineCount,
|
|
77
|
+
eventFileAggregateCounts: {
|
|
78
|
+
eventFileNonEmptyLines,
|
|
79
|
+
schemaValidEvents,
|
|
80
|
+
toolObservedForRequestedWorkflowId,
|
|
81
|
+
toolObservedForOtherWorkflowIds,
|
|
82
|
+
},
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
//# sourceMappingURL=loadEvents.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loadEvents.js","sourceRoot":"","sources":["../src/loadEvents.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAEnD,SAAS,cAAc,CAAC,EAAY;IAClC,OAAO,EAAE,CAAC,IAAI,KAAK,eAAe,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,cAAsB,EACtB,UAAkB;IAElB,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,kBAAkB,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,sBAAsB,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAwB,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kCAAkC,GAAG,CAAC,CAAC;IAC3C,IAAI,+BAA+B,GAAG,CAAC,CAAC;IAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,uBAAuB,IAAI,CAAC,CAAC;YAC7B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAkB,CAAC;QAC9B,iBAAiB,IAAI,CAAC,CAAC;QACvB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACjC,kCAAkC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,+BAA+B,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAEvF,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,SAAS;QACT,eAAe;QACf,sBAAsB;QACtB,uBAAuB;QACvB,wBAAwB,EAAE;YACxB,sBAAsB;YACtB,iBAAiB;YACjB,kCAAkC;YAClC,+BAA+B;SAChC;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
import type { DatabaseSync } from "node:sqlite";
|
|
2
|
+
import type { SqlReadBackend } from "./sqlReadBackend.js";
|
|
3
|
+
import type { IdentityEqPair, Reason, ResolvedEffect, ResolvedRelationalCheck, SqlEffectsVerificationPayload, SqlRelationalVerificationPayload, StepStatus, VerificationScalar } from "./types.js";
|
|
4
|
+
export type MultiEffectRollupOutput = {
|
|
5
|
+
verificationRequest: SqlEffectsVerificationPayload;
|
|
6
|
+
status: StepStatus;
|
|
7
|
+
reasons: Reason[];
|
|
8
|
+
evidenceSummary: Record<string, unknown>;
|
|
9
|
+
};
|
|
10
|
+
export type SqlRelationalRollupOutput = {
|
|
11
|
+
verificationRequest: SqlRelationalVerificationPayload;
|
|
12
|
+
status: StepStatus;
|
|
13
|
+
reasons: Reason[];
|
|
14
|
+
evidenceSummary: Record<string, unknown>;
|
|
15
|
+
};
|
|
16
|
+
type EffectRow = {
|
|
17
|
+
id: string;
|
|
18
|
+
status: StepStatus;
|
|
19
|
+
reasons: Reason[];
|
|
20
|
+
evidenceSummary: Record<string, unknown>;
|
|
21
|
+
};
|
|
22
|
+
/** Shared status machine for sql_effects and sql_relational multi-check rollups. */
|
|
23
|
+
export declare function computeMultiCheckRollupStatus(effectRows: EffectRow[]): {
|
|
24
|
+
status: StepStatus;
|
|
25
|
+
reasons: Reason[];
|
|
26
|
+
};
|
|
27
|
+
/** Build rollup from per-effect reconcile rows (sorted by effect id). Used by verification policy executor. */
|
|
28
|
+
export declare function rollupMultiEffectsFromReconciledRows(rows: Array<{
|
|
29
|
+
id: string;
|
|
30
|
+
status: StepStatus;
|
|
31
|
+
reasons: Reason[];
|
|
32
|
+
evidenceSummary: Record<string, unknown>;
|
|
33
|
+
table: string;
|
|
34
|
+
identityEq: IdentityEqPair[];
|
|
35
|
+
requiredFields: Record<string, VerificationScalar>;
|
|
36
|
+
}>): MultiEffectRollupOutput;
|
|
37
|
+
export declare function rollupMultiEffectsSync(db: DatabaseSync, effects: ResolvedEffect[]): MultiEffectRollupOutput;
|
|
38
|
+
export declare function rollupMultiEffectsAsync(backend: SqlReadBackend, effects: ResolvedEffect[]): Promise<MultiEffectRollupOutput>;
|
|
39
|
+
export declare function rollupSqlRelationalFromReconciled(checks: ResolvedRelationalCheck[], recs: import("./reconciler.js").ReconcileOutput[]): SqlRelationalRollupOutput;
|
|
40
|
+
export declare function rollupSqlRelationalSync(db: DatabaseSync, checks: ResolvedRelationalCheck[]): SqlRelationalRollupOutput;
|
|
41
|
+
export declare function rollupSqlRelationalAsync(reconcileRelationalCheck: (check: ResolvedRelationalCheck) => Promise<import("./reconciler.js").ReconcileOutput>, checks: ResolvedRelationalCheck[]): Promise<SqlRelationalRollupOutput>;
|
|
42
|
+
export {};
|
|
43
|
+
//# sourceMappingURL=multiEffectRollup.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"multiEffectRollup.d.ts","sourceRoot":"","sources":["../src/multiEffectRollup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EACV,cAAc,EACd,MAAM,EACN,cAAc,EACd,uBAAuB,EACvB,6BAA6B,EAC7B,gCAAgC,EAChC,UAAU,EACV,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAIpB,MAAM,MAAM,uBAAuB,GAAG;IACpC,mBAAmB,EAAE,6BAA6B,CAAC;IACnD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACtC,mBAAmB,EAAE,gCAAgC,CAAC;IACtD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAaF,oFAAoF;AACpF,wBAAgB,6BAA6B,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG;IACtE,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAiDA;AA6CD,+GAA+G;AAC/G,wBAAgB,oCAAoC,CAClD,IAAI,EAAE,KAAK,CAAC;IACV,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;CACpD,CAAC,GACD,uBAAuB,CAGzB;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,uBAAuB,CAe3G;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,cAAc,EAAE,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAiBlC;AAmBD,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,uBAAuB,EAAE,EACjC,IAAI,EAAE,OAAO,iBAAiB,EAAE,eAAe,EAAE,GAChD,yBAAyB,CAc3B;AAED,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,uBAAuB,EAAE,GAAG,yBAAyB,CAGtH;AAED,wBAAsB,wBAAwB,CAC5C,wBAAwB,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,OAAO,iBAAiB,EAAE,eAAe,CAAC,EAChH,MAAM,EAAE,uBAAuB,EAAE,GAChC,OAAO,CAAC,yBAAyB,CAAC,CAGpC"}
|