audit-tools 0.52.4 → 0.53.0
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/dist/audit/cli/auditStep.d.ts +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts +2 -0
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/dispatch/packetFilter.d.ts +1 -1
- package/dist/audit/cli/dispatch/packetFilter.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/packetFilter.js +1 -1
- package/dist/audit/cli/dispatch/packetFilter.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +42 -20
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +3 -3
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +50 -75
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/prompts.d.ts +1 -2
- package/dist/audit/cli/prompts.d.ts.map +1 -1
- package/dist/audit/cli/prompts.js +2 -12
- package/dist/audit/cli/prompts.js.map +1 -1
- package/dist/audit/cli/sampleRunCommand.d.ts +2 -2
- package/dist/audit/cli/semanticReviewStep.d.ts +11 -2
- package/dist/audit/cli/semanticReviewStep.d.ts.map +1 -1
- package/dist/audit/cli/semanticReviewStep.js +14 -10
- package/dist/audit/cli/semanticReviewStep.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +14 -14
- package/dist/audit/contracts/wrapperResponse.d.ts +6 -6
- package/dist/audit/extractors/graphRoutes.d.ts.map +1 -1
- package/dist/audit/extractors/graphRoutes.js +1 -3
- package/dist/audit/extractors/graphRoutes.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +2 -3
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/orchestrator/architectureDiscovery.d.ts +11 -0
- package/dist/audit/orchestrator/architectureDiscovery.d.ts.map +1 -0
- package/dist/audit/orchestrator/architectureDiscovery.js +174 -0
- package/dist/audit/orchestrator/architectureDiscovery.js.map +1 -0
- package/dist/audit/orchestrator/designReviewProjection.d.ts +2 -6
- package/dist/audit/orchestrator/designReviewProjection.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewProjection.js +2 -6
- package/dist/audit/orchestrator/designReviewProjection.js.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts +2 -3
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.js +2 -3
- package/dist/audit/orchestrator/designReviewSnapshot.js.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +1 -22
- package/dist/audit/orchestrator/executorRunners.js.map +1 -1
- package/dist/audit/orchestrator/executors.d.ts.map +1 -1
- package/dist/audit/orchestrator/executors.js +1 -13
- package/dist/audit/orchestrator/executors.js.map +1 -1
- package/dist/audit/orchestrator/nextStep.d.ts +2 -28
- package/dist/audit/orchestrator/nextStep.d.ts.map +1 -1
- package/dist/audit/orchestrator/nextStep.js +5 -37
- package/dist/audit/orchestrator/nextStep.js.map +1 -1
- package/dist/audit/orchestrator/obligationDerive.d.ts +2 -3
- package/dist/audit/orchestrator/obligationDerive.d.ts.map +1 -1
- package/dist/audit/orchestrator/obligationDerive.js +2 -3
- package/dist/audit/orchestrator/obligationDerive.js.map +1 -1
- package/dist/audit/orchestrator/pendingTasks.d.ts +2 -0
- package/dist/audit/orchestrator/pendingTasks.d.ts.map +1 -1
- package/dist/audit/orchestrator/pendingTasks.js +5 -1
- package/dist/audit/orchestrator/pendingTasks.js.map +1 -1
- package/dist/audit/orchestrator/planningExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/planningExecutors.js +9 -0
- package/dist/audit/orchestrator/planningExecutors.js.map +1 -1
- package/dist/audit/orchestrator/requeueCommand.d.ts +1 -1
- package/dist/audit/orchestrator/resultBaseline.d.ts +5 -5
- package/dist/audit/orchestrator/resultBaseline.d.ts.map +1 -1
- package/dist/audit/orchestrator/resultBaseline.js +24 -47
- package/dist/audit/orchestrator/resultBaseline.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js +2 -0
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js.map +1 -1
- package/dist/audit/orchestrator/state.d.ts.map +1 -1
- package/dist/audit/orchestrator/state.js +2 -0
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/orchestrator/synthesisExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/synthesisExecutors.js +3 -0
- package/dist/audit/orchestrator/synthesisExecutors.js.map +1 -1
- package/dist/audit/types/auditState.d.ts +6 -6
- package/dist/audit/types/flowCoverage.d.ts +6 -6
- package/dist/audit/types.d.ts +12 -12
- package/dist/remediate/contractPipeline/executionPlan.d.ts +1908 -0
- package/dist/remediate/contractPipeline/executionPlan.d.ts.map +1 -0
- package/dist/remediate/contractPipeline/executionPlan.js +467 -0
- package/dist/remediate/contractPipeline/executionPlan.js.map +1 -0
- package/dist/remediate/contractPipeline/runtimePlanAuthority.d.ts +12 -0
- package/dist/remediate/contractPipeline/runtimePlanAuthority.d.ts.map +1 -0
- package/dist/remediate/contractPipeline/runtimePlanAuthority.js +41 -0
- package/dist/remediate/contractPipeline/runtimePlanAuthority.js.map +1 -0
- package/dist/remediate/dedup/crossLensDedup.d.ts +3 -16
- package/dist/remediate/dedup/crossLensDedup.d.ts.map +1 -1
- package/dist/remediate/dedup/crossLensDedup.js +2 -32
- package/dist/remediate/dedup/crossLensDedup.js.map +1 -1
- package/dist/remediate/index.d.ts +2 -19
- package/dist/remediate/index.d.ts.map +1 -1
- package/dist/remediate/index.js +22 -138
- package/dist/remediate/index.js.map +1 -1
- package/dist/remediate/intake.d.ts +10 -10
- package/dist/remediate/intent/intentOrdering.d.ts +6 -8
- package/dist/remediate/intent/intentOrdering.d.ts.map +1 -1
- package/dist/remediate/intent/intentOrdering.js +24 -47
- package/dist/remediate/intent/intentOrdering.js.map +1 -1
- package/dist/remediate/phases/close.d.ts +25 -17
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +278 -218
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/phases/closeAcceptance.d.ts +42 -0
- package/dist/remediate/phases/closeAcceptance.d.ts.map +1 -0
- package/dist/remediate/phases/closeAcceptance.js +66 -0
- package/dist/remediate/phases/closeAcceptance.js.map +1 -0
- package/dist/remediate/phases/closeReviewProvenance.d.ts +1 -1
- package/dist/remediate/phases/closeReviewProvenance.d.ts.map +1 -1
- package/dist/remediate/phases/closeReviewProvenance.js +9 -8
- package/dist/remediate/phases/closeReviewProvenance.js.map +1 -1
- package/dist/remediate/phases/closeVerifyAnalyzerLeads.d.ts.map +1 -1
- package/dist/remediate/phases/closeVerifyAnalyzerLeads.js +11 -9
- package/dist/remediate/phases/closeVerifyAnalyzerLeads.js.map +1 -1
- package/dist/remediate/phases/closeVerifyHeadEvidence.d.ts +21 -86
- package/dist/remediate/phases/closeVerifyHeadEvidence.d.ts.map +1 -1
- package/dist/remediate/phases/closeVerifyHeadEvidence.js +30 -19
- package/dist/remediate/phases/closeVerifyHeadEvidence.js.map +1 -1
- package/dist/remediate/phases/plan.d.ts +3 -60
- package/dist/remediate/phases/plan.d.ts.map +1 -1
- package/dist/remediate/phases/plan.js +3 -227
- package/dist/remediate/phases/plan.js.map +1 -1
- package/dist/remediate/phases/triage.d.ts.map +1 -1
- package/dist/remediate/phases/triage.js +19 -30
- package/dist/remediate/phases/triage.js.map +1 -1
- package/dist/remediate/riskSignal.d.ts +9 -43
- package/dist/remediate/riskSignal.d.ts.map +1 -1
- package/dist/remediate/riskSignal.js +7 -28
- package/dist/remediate/riskSignal.js.map +1 -1
- package/dist/remediate/state/disposition.d.ts +2 -1
- package/dist/remediate/state/disposition.d.ts.map +1 -1
- package/dist/remediate/state/disposition.js +37 -1
- package/dist/remediate/state/disposition.js.map +1 -1
- package/dist/remediate/state/runIdentity.d.ts +2 -13
- package/dist/remediate/state/runIdentity.d.ts.map +1 -1
- package/dist/remediate/state/runIdentity.js +3 -13
- package/dist/remediate/state/runIdentity.js.map +1 -1
- package/dist/remediate/state/store.d.ts +12 -36
- package/dist/remediate/state/store.d.ts.map +1 -1
- package/dist/remediate/state/store.js +58 -150
- package/dist/remediate/state/store.js.map +1 -1
- package/dist/remediate/state/types.d.ts +406 -504
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/remediate/state/types.js +24 -104
- package/dist/remediate/state/types.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts +7 -661
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +259 -3854
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.d.ts +20 -142
- package/dist/remediate/steps/contractPipelinePrompts.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js +48 -581
- package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts +4 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.js +6 -3
- package/dist/remediate/steps/dispatch/contractConformanceReview.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostContracts.d.ts +1 -1
- package/dist/remediate/steps/dispatch/hostContracts.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts +4 -21
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +161 -383
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/finalGate.d.ts +34 -0
- package/dist/remediate/steps/finalGate.d.ts.map +1 -1
- package/dist/remediate/steps/finalGate.js +44 -4
- package/dist/remediate/steps/finalGate.js.map +1 -1
- package/dist/remediate/steps/frictionCloseout.d.ts +1 -30
- package/dist/remediate/steps/frictionCloseout.d.ts.map +1 -1
- package/dist/remediate/steps/frictionCloseout.js +6 -99
- package/dist/remediate/steps/frictionCloseout.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +2 -15
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +255 -1028
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/prompts.js +12 -12
- package/dist/remediate/steps/prompts.js.map +1 -1
- package/dist/remediate/steps/stepUtils.d.ts +1 -1
- package/dist/remediate/steps/stepUtils.d.ts.map +1 -1
- package/dist/remediate/steps/types.d.ts +1 -1
- package/dist/remediate/steps/types.d.ts.map +1 -1
- package/dist/remediate/steps/types.js +1 -1
- package/dist/remediate/steps/types.js.map +1 -1
- package/dist/remediate/types/options.d.ts +9 -0
- package/dist/remediate/types/options.d.ts.map +1 -1
- package/dist/remediate/validation/artifacts.d.ts.map +1 -1
- package/dist/remediate/validation/artifacts.js +10 -56
- package/dist/remediate/validation/artifacts.js.map +1 -1
- package/dist/remediate/validation/remediationState.d.ts +2 -2
- package/dist/remediate/validation/remediationState.d.ts.map +1 -1
- package/dist/remediate/validation/remediationState.js +17 -77
- package/dist/remediate/validation/remediationState.js.map +1 -1
- package/dist/remediate/validation/verificationReport.d.ts +3 -0
- package/dist/remediate/validation/verificationReport.d.ts.map +1 -0
- package/dist/remediate/validation/verificationReport.js +28 -0
- package/dist/remediate/validation/verificationReport.js.map +1 -0
- package/dist/shared/analyzers/types.d.ts +10 -10
- package/dist/shared/engine/obligationEngine.d.ts +2 -2
- package/dist/shared/friction/triage.d.ts +7 -28
- package/dist/shared/friction/triage.d.ts.map +1 -1
- package/dist/shared/friction/triage.js +7 -28
- package/dist/shared/friction/triage.js.map +1 -1
- package/dist/shared/graph/orderedReachability.js +1 -1
- package/dist/shared/graph/orderedReachability.js.map +1 -1
- package/dist/shared/index.d.ts +5 -6
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +3 -4
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/loopCorePaths.d.ts.map +1 -1
- package/dist/shared/loopCorePaths.js +6 -0
- package/dist/shared/loopCorePaths.js.map +1 -1
- package/dist/shared/prompts.d.ts +1 -2
- package/dist/shared/prompts.d.ts.map +1 -1
- package/dist/shared/prompts.js +1 -2
- package/dist/shared/prompts.js.map +1 -1
- package/dist/shared/reReview/projectionDiff.d.ts.map +1 -1
- package/dist/shared/reReview/projectionDiff.js +6 -14
- package/dist/shared/reReview/projectionDiff.js.map +1 -1
- package/dist/shared/types/executionPlan.d.ts +416 -0
- package/dist/shared/types/executionPlan.d.ts.map +1 -0
- package/dist/shared/types/executionPlan.js +132 -0
- package/dist/shared/types/executionPlan.js.map +1 -0
- package/dist/shared/types/remediationOutcome.d.ts +1378 -12
- package/dist/shared/types/remediationOutcome.d.ts.map +1 -1
- package/dist/shared/types/remediationOutcome.js +29 -1
- package/dist/shared/types/remediationOutcome.js.map +1 -1
- package/dist/shared/types/{contractPipeline/verification.d.ts → verificationReport.d.ts} +9 -37
- package/dist/shared/types/verificationReport.d.ts.map +1 -0
- package/dist/shared/types/verificationReport.js +4 -0
- package/dist/shared/types/verificationReport.js.map +1 -0
- package/dist/shared/validation/findingGrounding.d.ts +3 -5
- package/dist/shared/validation/findingGrounding.d.ts.map +1 -1
- package/dist/shared/validation/findingGrounding.js +4 -7
- package/dist/shared/validation/findingGrounding.js.map +1 -1
- package/package.json +1 -1
- package/remediate-code.mjs +16 -3
- package/dist/remediate/contractPipeline/artifactNames.d.ts +0 -8
- package/dist/remediate/contractPipeline/artifactNames.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/artifactNames.js +0 -28
- package/dist/remediate/contractPipeline/artifactNames.js.map +0 -1
- package/dist/remediate/contractPipeline/artifactStore.d.ts +0 -219
- package/dist/remediate/contractPipeline/artifactStore.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/artifactStore.js +0 -436
- package/dist/remediate/contractPipeline/artifactStore.js.map +0 -1
- package/dist/remediate/contractPipeline/changeClassification.d.ts +0 -130
- package/dist/remediate/contractPipeline/changeClassification.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/changeClassification.js +0 -446
- package/dist/remediate/contractPipeline/changeClassification.js.map +0 -1
- package/dist/remediate/contractPipeline/contractReviewBinding.d.ts +0 -28
- package/dist/remediate/contractPipeline/contractReviewBinding.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/contractReviewBinding.js +0 -75
- package/dist/remediate/contractPipeline/contractReviewBinding.js.map +0 -1
- package/dist/remediate/contractPipeline/counterexampleFingerprint.d.ts +0 -27
- package/dist/remediate/contractPipeline/counterexampleFingerprint.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/counterexampleFingerprint.js +0 -37
- package/dist/remediate/contractPipeline/counterexampleFingerprint.js.map +0 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.d.ts +0 -131
- package/dist/remediate/contractPipeline/cyclicSeamResolution.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js +0 -257
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js.map +0 -1
- package/dist/remediate/contractPipeline/derive.d.ts +0 -173
- package/dist/remediate/contractPipeline/derive.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/derive.js +0 -477
- package/dist/remediate/contractPipeline/derive.js.map +0 -1
- package/dist/remediate/contractPipeline/finalizedContractFields.d.ts +0 -50
- package/dist/remediate/contractPipeline/finalizedContractFields.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/finalizedContractFields.js +0 -77
- package/dist/remediate/contractPipeline/finalizedContractFields.js.map +0 -1
- package/dist/remediate/contractPipeline/idRegistry.d.ts +0 -144
- package/dist/remediate/contractPipeline/idRegistry.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/idRegistry.js +0 -214
- package/dist/remediate/contractPipeline/idRegistry.js.map +0 -1
- package/dist/remediate/contractPipeline/obligationKinds.d.ts +0 -27
- package/dist/remediate/contractPipeline/obligationKinds.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/obligationKinds.js +0 -18
- package/dist/remediate/contractPipeline/obligationKinds.js.map +0 -1
- package/dist/remediate/contractPipeline/phaseCut.d.ts +0 -125
- package/dist/remediate/contractPipeline/phaseCut.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/phaseCut.js +0 -339
- package/dist/remediate/contractPipeline/phaseCut.js.map +0 -1
- package/dist/remediate/contractPipeline/phaseCutArtifact.d.ts +0 -31
- package/dist/remediate/contractPipeline/phaseCutArtifact.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/phaseCutArtifact.js +0 -48
- package/dist/remediate/contractPipeline/phaseCutArtifact.js.map +0 -1
- package/dist/remediate/contractPipeline/repairState.d.ts +0 -110
- package/dist/remediate/contractPipeline/repairState.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/repairState.js +0 -185
- package/dist/remediate/contractPipeline/repairState.js.map +0 -1
- package/dist/remediate/contractPipeline/reviewSnapshot.d.ts +0 -79
- package/dist/remediate/contractPipeline/reviewSnapshot.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/reviewSnapshot.js +0 -140
- package/dist/remediate/contractPipeline/reviewSnapshot.js.map +0 -1
- package/dist/remediate/contractPipeline/semanticProjection.d.ts +0 -64
- package/dist/remediate/contractPipeline/semanticProjection.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/semanticProjection.js +0 -136
- package/dist/remediate/contractPipeline/semanticProjection.js.map +0 -1
- package/dist/remediate/contractPipeline/sketchSource.d.ts +0 -194
- package/dist/remediate/contractPipeline/sketchSource.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/sketchSource.js +0 -262
- package/dist/remediate/contractPipeline/sketchSource.js.map +0 -1
- package/dist/remediate/contractPipeline/testPlanCarry.d.ts +0 -17
- package/dist/remediate/contractPipeline/testPlanCarry.d.ts.map +0 -1
- package/dist/remediate/contractPipeline/testPlanCarry.js +0 -72
- package/dist/remediate/contractPipeline/testPlanCarry.js.map +0 -1
- package/dist/remediate/steps/dispatch/marshal.d.ts +0 -7
- package/dist/remediate/steps/dispatch/marshal.d.ts.map +0 -1
- package/dist/remediate/steps/dispatch/marshal.js +0 -11
- package/dist/remediate/steps/dispatch/marshal.js.map +0 -1
- package/dist/remediate/validation/contractPipeline.d.ts +0 -35
- package/dist/remediate/validation/contractPipeline.d.ts.map +0 -1
- package/dist/remediate/validation/contractPipeline.js +0 -613
- package/dist/remediate/validation/contractPipeline.js.map +0 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts +0 -272
- package/dist/remediate/validation/contractPipelineGates.d.ts.map +0 -1
- package/dist/remediate/validation/contractPipelineGates.js +0 -1397
- package/dist/remediate/validation/contractPipelineGates.js.map +0 -1
- package/dist/shared/types/contractPipeline/design.d.ts +0 -79
- package/dist/shared/types/contractPipeline/design.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline/design.js +0 -16
- package/dist/shared/types/contractPipeline/design.js.map +0 -1
- package/dist/shared/types/contractPipeline/goal.d.ts +0 -41
- package/dist/shared/types/contractPipeline/goal.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline/goal.js +0 -10
- package/dist/shared/types/contractPipeline/goal.js.map +0 -1
- package/dist/shared/types/contractPipeline/implementation.d.ts +0 -118
- package/dist/shared/types/contractPipeline/implementation.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline/implementation.js +0 -13
- package/dist/shared/types/contractPipeline/implementation.js.map +0 -1
- package/dist/shared/types/contractPipeline/obligations.d.ts +0 -283
- package/dist/shared/types/contractPipeline/obligations.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline/obligations.js +0 -84
- package/dist/shared/types/contractPipeline/obligations.js.map +0 -1
- package/dist/shared/types/contractPipeline/verification.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline/verification.js +0 -10
- package/dist/shared/types/contractPipeline/verification.js.map +0 -1
- package/dist/shared/types/contractPipeline.d.ts +0 -48
- package/dist/shared/types/contractPipeline.d.ts.map +0 -1
- package/dist/shared/types/contractPipeline.js +0 -32
- package/dist/shared/types/contractPipeline.js.map +0 -1
- package/dist/shared/types/obligationLedger.d.ts +0 -39
- package/dist/shared/types/obligationLedger.d.ts.map +0 -1
- package/dist/shared/types/obligationLedger.js +0 -49
- package/dist/shared/types/obligationLedger.js.map +0 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"remediationOutcome.d.ts","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;
|
|
1
|
+
{"version":3,"file":"remediationOutcome.d.ts","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB,eAAO,MAAM,8BAA8B,kJAUzC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,8BAA8B,CACtC,CAAC;AAUF,eAAO,MAAM,wBAAwB,wGAK3B,CAAC;AACX,eAAO,MAAM,2BAA2B,0GAAmC,CAAC;AAC5E,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;IAKvB,qGAAqG;;;;;;;;;;;;EAG9F,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,GACtC,QAAQ,IAAI,QAAQ,CAUtB;AAED,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,GACtC,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC,CAgBtC;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,wBAAwB,EACjC,SAAS,EAAE,qBAAqB,GAC/B,OAAO,CAQT;AAaD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,0BAA0B,8DAKrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,oBAAoB,GAAG,QAAQ,GACvC,OAAO,CAET;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qBAAqB;;;;IAK9B,6EAA6E;;IAE7E,4EAA4E;;;;;;;;;;;;;;;;;EAIrE,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,eAKtC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAQpB,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAI1B,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlE,CAAC;AACZ,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,WAIzB,CAAC;AAEF,2DAA2D;AAC3D,wBAAgB,YAAY,CAAC,QAAQ,EAAE,WAAW,GAAG,OAAO,CAK3D;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAM9B,CAAC;AACZ,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAUjC,2EAA2E;;IAE3E,+EAA+E;;;IAG/E,4EAA4E;;IAE5E,kEAAkE;;IAElE,mEAAmE;;IAEnE;;;;OAIG;;IAEH,oEAAoE;;IAEpE,oEAAoE;;IAEpE,8EAA8E;;IAE9E,wEAAwE;;;;;;;;;;;;;;IAExE;;;;;;OAMG;;;;;QA3RH,qGAAqG;;;;;;;;;;;;;IA6RrG;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAuB1E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMxB,CAAC;AAEZ,eAAO,MAAM,qCAAqC,EAAG,4BAAqC,CAAC;AAE3F,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAK1C,oDAAoD;;IAEpD,oDAAoD;;IAEpD,kEAAkE;;IAElE;;;;;;;OAOG;;;;;QAjND,6EAA6E;;QAE7E,4EAA4E;;;;;;;;;;;;;;;;;;IAiN9E;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAzJD,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAoDzE,2EAA2E;;QAE3E,+EAA+E;;;QAG/E,4EAA4E;;QAE5E,kEAAkE;;QAElE,mEAAmE;;QAEnE;;;;WAIG;;QAEH,oEAAoE;;QAEpE,oEAAoE;;QAEpE,8EAA8E;;QAE9E,wEAAwE;;;;;;;;;;;;;;QAExE;;;;;;WAMG;;;;;YA3RH,qGAAqG;;;;;;;;;;;;;QA6RrG;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA0EL,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC"}
|
|
@@ -5,6 +5,8 @@
|
|
|
5
5
|
// calibration pass) can see how findings of each lens / file type fared. The
|
|
6
6
|
// auditor does not consume it automatically.
|
|
7
7
|
import { z } from "zod";
|
|
8
|
+
import { FindingSchema } from "./finding.js";
|
|
9
|
+
import { ExecutionRequestSchema, ExecutionRequestDispositionSchema } from "./executionPlan.js";
|
|
8
10
|
import { AcceptedConformanceReviewSchema, ContractReviewOutcomeSchema } from "./reviewIndependence.js";
|
|
9
11
|
// CDC-25: the run's terminal-disposition vocabulary is
|
|
10
12
|
// T = { fixed, verified-already-fixed-at-HEAD, refuted-against-HEAD }. `fixed`
|
|
@@ -19,6 +21,8 @@ export const RemediationOutcomeStatusSchema = z.enum([
|
|
|
19
21
|
"inappropriate",
|
|
20
22
|
"ignored",
|
|
21
23
|
"blocked",
|
|
24
|
+
"pending",
|
|
25
|
+
"deferred",
|
|
22
26
|
"verified_already_fixed",
|
|
23
27
|
"refuted",
|
|
24
28
|
]);
|
|
@@ -259,6 +263,12 @@ export const MechanicalVerificationSchema = z
|
|
|
259
263
|
export const RemediationOutcomeSchema = z
|
|
260
264
|
.object({
|
|
261
265
|
finding_id: z.string(),
|
|
266
|
+
finding: FindingSchema.optional(),
|
|
267
|
+
unit_ids: z.array(z.string()).optional(),
|
|
268
|
+
unit_dependencies: z.array(z.string()).optional(),
|
|
269
|
+
unit_statuses: z.record(z.string(), z.string()).optional(),
|
|
270
|
+
final_status: z.enum(["fixed", "failed", "skipped", "ignored", "pending", "deferred"]).optional(),
|
|
271
|
+
original_state: z.string().optional(),
|
|
262
272
|
conformance_review: AcceptedConformanceReviewSchema.optional(),
|
|
263
273
|
/** Audit lens the finding came from (free string in the wire contract). */
|
|
264
274
|
lens: z.string(),
|
|
@@ -314,6 +324,8 @@ const RemediationOutcomeCountsSchema = z
|
|
|
314
324
|
inappropriate: z.number(),
|
|
315
325
|
ignored: z.number(),
|
|
316
326
|
blocked: z.number(),
|
|
327
|
+
pending: z.number(),
|
|
328
|
+
deferred: z.number(),
|
|
317
329
|
verified_already_fixed: z.number(),
|
|
318
330
|
refuted: z.number(),
|
|
319
331
|
})
|
|
@@ -321,8 +333,16 @@ const RemediationOutcomeCountsSchema = z
|
|
|
321
333
|
// NOT strict: the on-disk remediation-outcomes.json is a superset of this shared
|
|
322
334
|
// subset (the remediator appends run-level fields like step_count / closing_result
|
|
323
335
|
// / plan_coverage). Unknown keys are tolerated so a real artifact still parses.
|
|
336
|
+
export const ExecutionOutcomeSchema = z.object({
|
|
337
|
+
unit_id: z.string(), title: z.string(), source_finding_ids: z.array(z.string()),
|
|
338
|
+
status: z.string(), required_tests: z.array(z.string()), evidence: z.array(z.string()),
|
|
339
|
+
rework_count: z.number(), landed_commit: z.string().optional(), landed_files: z.array(z.string()).optional(),
|
|
340
|
+
reason: z.string().optional(), started_at: z.string().optional(), completed_at: z.string().optional(),
|
|
341
|
+
conformance_review: AcceptedConformanceReviewSchema.optional(),
|
|
342
|
+
}).strict();
|
|
343
|
+
export const REMEDIATION_OUTCOMES_CONTRACT_VERSION = "remediate-code-outcomes/v2";
|
|
324
344
|
export const RemediationOutcomesReportSchema = z.object({
|
|
325
|
-
contract_version: z.
|
|
345
|
+
contract_version: z.literal(REMEDIATION_OUTCOMES_CONTRACT_VERSION),
|
|
326
346
|
total: z.number(),
|
|
327
347
|
by_outcome: RemediationOutcomeCountsSchema,
|
|
328
348
|
by_lens: z.record(z.string(), RemediationOutcomeCountsSchema.partial()),
|
|
@@ -350,5 +370,13 @@ export const RemediationOutcomesReportSchema = z.object({
|
|
|
350
370
|
recovery: RunRecoverySchema,
|
|
351
371
|
contract_reviews: z.array(ContractReviewOutcomeSchema).optional(),
|
|
352
372
|
outcomes: z.array(RemediationOutcomeSchema),
|
|
373
|
+
execution_outcomes: z.array(ExecutionOutcomeSchema),
|
|
374
|
+
objective: z.string().optional(),
|
|
375
|
+
request: ExecutionRequestSchema.optional(),
|
|
376
|
+
request_disposition: ExecutionRequestDispositionSchema.optional(),
|
|
377
|
+
request_outcome: z.object({
|
|
378
|
+
status: z.enum(["resolved", "already_satisfied", "ignored", "pending", "deferred", "blocked"]),
|
|
379
|
+
reason: z.string(), evidence: z.array(z.string()), unit_ids: z.array(z.string()),
|
|
380
|
+
}).strict().optional(),
|
|
353
381
|
});
|
|
354
382
|
//# sourceMappingURL=remediationOutcome.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"remediationOutcome.js","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,+EAA+E;AAC/E,+EAA+E;AAC/E,wEAAwE;AACxE,6EAA6E;AAC7E,6CAA6C;AAE7C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,+BAA+B,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAEvG,uDAAuD;AACvD,+EAA+E;AAC/E,2EAA2E;AAC3E,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,IAAI,CAAC;IACnD,UAAU;IACV,oBAAoB;IACpB,eAAe;IACf,SAAS;IACT,SAAS;IACT,wBAAwB;IACxB,SAAS;CACV,CAAC,CAAC;AAKH,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,kEAAkE;AAClE,8EAA8E;AAC9E,6EAA6E;AAC7E,wEAAwE;AACxE,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,gBAAgB;IAChB,iBAAiB;IACjB,2BAA2B;IAC3B,yBAAyB;CACjB,CAAC;AACX,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;AAG5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,SAAS,EAAE,2BAA2B;IACtC,qGAAqG;IACrG,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAuC;IAEvC,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACjC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACxB,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACjC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACxB,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACrC,wBAA8C,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,oBAAoB,CAClC,QAAuC;IAEvC,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IACE,CAAC,QAAQ;QACT,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACtC,CAAE,wBAA8C,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC7E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CACzC,OAAiC,EACjC,SAAgC;IAEhC,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,2BAA2B,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,wBAAwB,IAAI,SAAS,KAAK,yBAAyB,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,mFAAmF;AACnF,iFAAiF;AACjF,+EAA+E;AAC/E,yEAAyE;AACzE,6EAA6E;AAC7E,SAAS;AAET;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,IAAI,CAAC;IAC/C,UAAU;IACV,YAAY;IACZ,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAwC;IAExC,OAAO,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,SAAS,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,6EAA6E;IAC7E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,4EAA4E;IAC5E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,CAAC;IACf,MAAM,EAAE,sDAAsD;CAC/D,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;IAC5D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;CACxB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAC9C,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAClD,yEAAyE;IACzE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,iBAAiB,EAAE,EAAE;IACrB,qBAAqB,EAAE,EAAE;IACzB,aAAa,EAAE,CAAC;CACjB,CAAC;AAEF,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,QAAqB;IAChD,OAAO,CACL,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACrC,QAAQ,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,uBAAuB,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACrE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,kBAAkB,EAAE,+BAA+B,CAAC,QAAQ,EAAE;IAC9D,2EAA2E;IAC3E,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,+EAA+E;IAC/E,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,8BAA8B;IACvC,4EAA4E;IAC5E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,kEAAkE;IAClE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,mEAAmE;IACnE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,oEAAoE;IACpE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,oEAAoE;IACpE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,8EAA8E;IAC9E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,wEAAwE;IACxE,uBAAuB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAChE;;;;;;OAMG;IACH,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE;IACnC;;;;;;OAMG;IACH,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,yEAAyE;AACzE,gFAAgF;AAChF,6EAA6E;AAC7E,qEAAqE;AACrE,MAAM,8BAA8B,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,iFAAiF;AACjF,mFAAmF;AACnF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACtD,gBAAgB,EAAE,CAAC,CAAC,
|
|
1
|
+
{"version":3,"file":"remediationOutcome.js","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,+EAA+E;AAC/E,+EAA+E;AAC/E,wEAAwE;AACxE,6EAA6E;AAC7E,6CAA6C;AAE7C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,sBAAsB,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAAE,+BAA+B,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AAEvG,uDAAuD;AACvD,+EAA+E;AAC/E,2EAA2E;AAC3E,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,IAAI,CAAC;IACnD,UAAU;IACV,oBAAoB;IACpB,eAAe;IACf,SAAS;IACT,SAAS;IACT,SAAS;IACT,UAAU;IACV,wBAAwB;IACxB,SAAS;CACV,CAAC,CAAC;AAKH,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,kEAAkE;AAClE,8EAA8E;AAC9E,6EAA6E;AAC7E,wEAAwE;AACxE,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,gBAAgB;IAChB,iBAAiB;IACjB,2BAA2B;IAC3B,yBAAyB;CACjB,CAAC;AACX,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;AAG5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,SAAS,EAAE,2BAA2B;IACtC,qGAAqG;IACrG,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAuC;IAEvC,OAAO,CACL,QAAQ,KAAK,SAAS;QACtB,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACjC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACxB,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ;QACjC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACxB,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACrC,wBAA8C,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAC7E,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,oBAAoB,CAClC,QAAuC;IAEvC,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IACE,CAAC,QAAQ;QACT,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACtC,CAAE,wBAA8C,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC7E,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CACzC,OAAiC,EACjC,SAAgC;IAEhC,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,2BAA2B,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,wBAAwB,IAAI,SAAS,KAAK,yBAAyB,EAAE,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,mFAAmF;AACnF,iFAAiF;AACjF,+EAA+E;AAC/E,yEAAyE;AACzE,6EAA6E;AAC7E,SAAS;AAET;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,IAAI,CAAC;IAC/C,UAAU;IACV,YAAY;IACZ,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAwC;IAExC,OAAO,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,SAAS,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,6EAA6E;IAC7E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,4EAA4E;IAC5E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,CAAC;IACf,MAAM,EAAE,sDAAsD;CAC/D,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;IAC5D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;CACxB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAC9C,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAClD,yEAAyE;IACzE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,iBAAiB,EAAE,EAAE;IACrB,qBAAqB,EAAE,EAAE;IACzB,aAAa,EAAE,CAAC;CACjB,CAAC;AAEF,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,QAAqB;IAChD,OAAO,CACL,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACrC,QAAQ,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,uBAAuB,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACrE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjD,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC1D,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjG,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,kBAAkB,EAAE,+BAA+B,CAAC,QAAQ,EAAE;IAC9D,2EAA2E;IAC3E,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,+EAA+E;IAC/E,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,8BAA8B;IACvC,4EAA4E;IAC5E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,kEAAkE;IAClE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,mEAAmE;IACnE,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,oEAAoE;IACpE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,oEAAoE;IACpE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,8EAA8E;IAC9E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,wEAAwE;IACxE,uBAAuB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAChE;;;;;;OAMG;IACH,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE;IACnC;;;;;;OAMG;IACH,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,yEAAyE;AACzE,gFAAgF;AAChF,6EAA6E;AAC7E,qEAAqE;AACrE,MAAM,8BAA8B,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;CACpB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,iFAAiF;AACjF,mFAAmF;AACnF,gFAAgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACtF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5G,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrG,kBAAkB,EAAE,+BAA+B,CAAC,QAAQ,EAAE;CAC/D,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,qCAAqC,GAAG,4BAAqC,CAAC;AAE3F,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACtD,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC;IAClE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,8BAA8B;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,8BAA8B,CAAC,OAAO,EAAE,CAAC;IACvE,oDAAoD;IACpD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,oDAAoD;IACpD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,kEAAkE;IAClE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC;;;;;;;OAOG;IACH,UAAU,EAAE,qBAAqB;IACjC;;;;;OAKG;IACH,QAAQ,EAAE,iBAAiB;IAC3B,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;IACjE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC3C,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACnD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,OAAO,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC1C,mBAAmB,EAAE,iCAAiC,CAAC,QAAQ,EAAE;IACjE,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC;QACxB,MAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAC,mBAAmB,EAAC,SAAS,EAAC,SAAS,EAAC,UAAU,EAAC,SAAS,CAAC,CAAC;QACxF,MAAM,EAAC,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;KAC9E,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACvB,CAAC,CAAC"}
|
|
@@ -1,11 +1,5 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Contract-pipeline artifact: verification phase.
|
|
3
|
-
*
|
|
4
|
-
* VerificationReport — per-finding verification traces and overall verdict.
|
|
5
|
-
* SeamNegotiationRecord — multi-agent seam negotiation record.
|
|
6
|
-
*/
|
|
1
|
+
/** Landed requirement, source-finding and execution-unit verification evidence. */
|
|
7
2
|
export declare const CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION: "remediate-code-verification-report/v1alpha1";
|
|
8
|
-
export declare const CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION: "remediate-code-contract-pipeline/seam-negotiation/v1alpha1";
|
|
9
3
|
/** One verification trace entry mapping a requirement to evidence. */
|
|
10
4
|
export interface VerificationTraceEntry {
|
|
11
5
|
trace_id: string;
|
|
@@ -39,38 +33,16 @@ export interface VerificationReport {
|
|
|
39
33
|
goal_id?: string;
|
|
40
34
|
/** Per-finding verification traces. */
|
|
41
35
|
findings: FindingVerificationTrace[];
|
|
36
|
+
/** Execution-unit traces remain present for source-free conversation requests. */
|
|
37
|
+
units?: Array<{
|
|
38
|
+
unit_id: string;
|
|
39
|
+
source_finding_ids: string[];
|
|
40
|
+
traces: VerificationTraceEntry[];
|
|
41
|
+
overall_status: "passed" | "failed" | "skipped";
|
|
42
|
+
}>;
|
|
42
43
|
/** Overall report verdict — never "skipped"; see per-finding doc above. */
|
|
43
44
|
overall_status: "passed" | "failed";
|
|
44
45
|
/** ISO-8601 timestamp when this report was created. */
|
|
45
46
|
created_at: string;
|
|
46
47
|
}
|
|
47
|
-
|
|
48
|
-
export type SeamRole = "author" | "reviewer" | "verifier" | "judge";
|
|
49
|
-
/** One agent's participation in a seam at a DAG node boundary. */
|
|
50
|
-
export interface AgentSeam {
|
|
51
|
-
/** Stable identifier for this seam instance. */
|
|
52
|
-
seam_id: string;
|
|
53
|
-
/** DAG node this seam is attached to. */
|
|
54
|
-
node_id: string;
|
|
55
|
-
/** Role this agent plays at the seam. */
|
|
56
|
-
role: SeamRole;
|
|
57
|
-
/** Artifact path the previous agent writes and this agent reads as handoff. */
|
|
58
|
-
handoff_artifact: string;
|
|
59
|
-
/** Artifact paths this agent must read before starting. */
|
|
60
|
-
read_artifacts: string[];
|
|
61
|
-
/** Artifact paths this agent is allowed to write. */
|
|
62
|
-
write_artifacts: string[];
|
|
63
|
-
/** Constraints the agent must respect (e.g. "must not modify unrelated files"). */
|
|
64
|
-
constraints: string[];
|
|
65
|
-
}
|
|
66
|
-
/** Record of a seam negotiation pass for a goal's implementation DAG. */
|
|
67
|
-
export interface SeamNegotiationRecord {
|
|
68
|
-
contract_version: typeof CONTRACT_PIPELINE_SEAM_NEGOTIATION_VERSION;
|
|
69
|
-
/** Goal this negotiation belongs to. */
|
|
70
|
-
goal_id: string;
|
|
71
|
-
/** All seams across all DAG nodes for this goal. */
|
|
72
|
-
seams: AgentSeam[];
|
|
73
|
-
/** ISO-8601 timestamp when this record was created. */
|
|
74
|
-
created_at: string;
|
|
75
|
-
}
|
|
76
|
-
//# sourceMappingURL=verification.d.ts.map
|
|
48
|
+
//# sourceMappingURL=verificationReport.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verificationReport.d.ts","sourceRoot":"","sources":["../../../src/shared/types/verificationReport.ts"],"names":[],"mappings":"AACA,mFAAmF;AACnF,eAAO,MAAM,6CAA6C,EACxD,6CAAsD,CAAC;AAEzD,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EACA,aAAa,GACb,WAAW,GACX,gBAAgB,GAChB,MAAM,GACN,MAAM,GACN,SAAS,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,cAAc,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;CACjD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IACrC,kFAAkF;IAClF,KAAK,CAAC,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,sBAAsB,EAAE,CAAC;QAAC,cAAc,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAA;KAAE,CAAC,CAAC;IACpJ,2EAA2E;IAC3E,cAAc,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACpC,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
// sites-pinned: tests/remediate/phase-close.test.ts, tests/remediate/unit-source-outcomes.test.ts, tests/remediate/cp-node-1-regressions.test.ts
|
|
2
|
+
/** Landed requirement, source-finding and execution-unit verification evidence. */
|
|
3
|
+
export const CONTRACT_PIPELINE_VERIFICATION_REPORT_VERSION = "remediate-code-verification-report/v1alpha1";
|
|
4
|
+
//# sourceMappingURL=verificationReport.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verificationReport.js","sourceRoot":"","sources":["../../../src/shared/types/verificationReport.ts"],"names":[],"mappings":"AAAA,iJAAiJ;AACjJ,mFAAmF;AACnF,MAAM,CAAC,MAAM,6CAA6C,GACxD,6CAAsD,CAAC"}
|
|
@@ -42,11 +42,9 @@ export declare function isBareBasename(p: string): boolean;
|
|
|
42
42
|
export declare function resolveBasenameToTrackedPath(basename: string, knownPaths: ReadonlySet<string>): string | undefined;
|
|
43
43
|
/**
|
|
44
44
|
* Case-preserving corpus of the tracked working-tree paths at `root`, via
|
|
45
|
-
* `git ls-files -z` (forward-slashed).
|
|
46
|
-
*
|
|
47
|
-
*
|
|
48
|
-
* consumers that resolve a basename and then read the file off disk (line
|
|
49
|
-
* counting) need the REAL on-disk case, so this one does not lowercase.
|
|
45
|
+
* `git ls-files -z` (forward-slashed). Consumers that resolve a basename and
|
|
46
|
+
* then read the file off disk (line counting) need the REAL on-disk case,
|
|
47
|
+
* so this enumeration does not lowercase.
|
|
50
48
|
*
|
|
51
49
|
* `-z` is load-bearing, not a flourish: plain `ls-files` renders any path git
|
|
52
50
|
* considers unusual in C-quoted form (`core.quotePath` turns a non-ASCII byte
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"findingGrounding.d.ts","sourceRoot":"","sources":["../../../src/shared/validation/findingGrounding.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAErE,+EAA+E;AAC/E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAGjD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,GAAG,SAAS,CAapB;AAED
|
|
1
|
+
{"version":3,"file":"findingGrounding.d.ts","sourceRoot":"","sources":["../../../src/shared/validation/findingGrounding.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAErE,+EAA+E;AAC/E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAGjD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,GAAG,SAAS,CAapB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,yBAAyB,CAC7C,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CA0BtB;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAI7E;AAED,qFAAqF;AACrF,MAAM,MAAM,YAAY,GAAG,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAKrE;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,IAAI,YAAY,CASzD;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,OAAO,EAChB,UAAU,GAAE,YAAkC,GAC7C,OAAO,CAAC,gBAAgB,CAAC,CA+B3B;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,OAAO,CAE9E;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAClC,OAAO,CAET"}
|
|
@@ -86,11 +86,9 @@ export function resolveBasenameToTrackedPath(basename, knownPaths) {
|
|
|
86
86
|
}
|
|
87
87
|
/**
|
|
88
88
|
* Case-preserving corpus of the tracked working-tree paths at `root`, via
|
|
89
|
-
* `git ls-files -z` (forward-slashed).
|
|
90
|
-
*
|
|
91
|
-
*
|
|
92
|
-
* consumers that resolve a basename and then read the file off disk (line
|
|
93
|
-
* counting) need the REAL on-disk case, so this one does not lowercase.
|
|
89
|
+
* `git ls-files -z` (forward-slashed). Consumers that resolve a basename and
|
|
90
|
+
* then read the file off disk (line counting) need the REAL on-disk case,
|
|
91
|
+
* so this enumeration does not lowercase.
|
|
94
92
|
*
|
|
95
93
|
* `-z` is load-bearing, not a flourish: plain `ls-files` renders any path git
|
|
96
94
|
* considers unusual in C-quoted form (`core.quotePath` turns a non-ASCII byte
|
|
@@ -116,8 +114,7 @@ export async function enumerateTrackedFilePaths(root) {
|
|
|
116
114
|
// `--recurse-submodules` is REQUIRED, and it is one half of an ATOMIC pair:
|
|
117
115
|
// the other half is the same flag on the audit disposition's
|
|
118
116
|
// `evaluateTrackedFiles`, which decides what enters the auditable SCOPE. Both
|
|
119
|
-
// sides read "tracked"
|
|
120
|
-
// `enumerateRepoTreePaths` is a lowercased draw over this set), so the two
|
|
117
|
+
// sides read "tracked" using the same recursive git enumeration, so the two
|
|
121
118
|
// rules must agree — a parent-only listing returns just the gitlink for a
|
|
122
119
|
// first-party submodule, and a citation naming a file inside one would then
|
|
123
120
|
// fail to ground while it sat in scope, or vice versa. Never change one
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"findingGrounding.js","sourceRoot":"","sources":["../../../src/shared/validation/findingGrounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAGhF,+EAA+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7D,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,CAAS;IACtC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAAgB,EAChB,UAA+B;IAE/B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,EAAE,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC,CAAC,uBAAuB;YAClE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED
|
|
1
|
+
{"version":3,"file":"findingGrounding.js","sourceRoot":"","sources":["../../../src/shared/validation/findingGrounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAGhF,+EAA+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7D,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,CAAS;IACtC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAAgB,EAChB,UAA+B;IAE/B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACzC,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,EAAE,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC,CAAC,uBAAuB;YAClE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,IAAY;IAEZ,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,4EAA4E;IAC5E,6DAA6D;IAC7D,8EAA8E;IAC9E,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,6EAA6E;IAC7E,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,eAAe,CAClC,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,sBAAsB,CAAC,EACjD;QACE,GAAG,EAAE,IAAI;QACT,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;QAC3B,OAAO,EAAE,yBAAyB;KACnC,CACF,CAAC;IACF,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,WAAmB,EAAE,UAAkB;IAClE,MAAM,MAAM,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,iBAAiB,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACzD,CAAC;AAKD,MAAM,mBAAmB,GAAiB,CAAC,YAAY,EAAE,EAAE,CACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AAEjC;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO,CAAC,YAAY,EAAE,EAAE;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;QAClD,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACjC,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,QAAgB,EAChB,OAAgB,EAChB,aAA2B,mBAAmB;IAE9C,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,CAClD,CAAC,GAAG,EAA+C,EAAE,CACnD,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAC3E,CAAC;IAEF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,MAAM,EACJ,0EAA0E;SAC7E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC;QAC3C,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,kCAAkC,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,IAAI,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,iCAAiC,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAmC;IACnE,OAAO,OAAO,CAAC,SAAS,EAAE,MAAM,KAAK,UAAU,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAAmC;IAEnC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC"}
|
package/package.json
CHANGED
package/remediate-code.mjs
CHANGED
|
@@ -5,9 +5,8 @@
|
|
|
5
5
|
// to dist/remediate/index.js.
|
|
6
6
|
|
|
7
7
|
import { fileURLToPath } from "url";
|
|
8
|
-
import { pathToFileURL } from "url";
|
|
9
8
|
import { dirname, join } from "path";
|
|
10
|
-
import { existsSync, readdirSync, statSync } from "fs";
|
|
9
|
+
import { existsSync, readdirSync, statSync, realpathSync } from "fs";
|
|
11
10
|
import { spawnSync } from "child_process";
|
|
12
11
|
|
|
13
12
|
// The installer (B2) is imported LAZILY inside main() only when an install verb
|
|
@@ -190,7 +189,21 @@ export async function main(argv = process.argv.slice(2)) {
|
|
|
190
189
|
applyWrapperExitAction(getWrapperExitAction(result));
|
|
191
190
|
}
|
|
192
191
|
|
|
193
|
-
|
|
192
|
+
// sites-pinned: tests/remediate/remediate-code.test.ts
|
|
193
|
+
// npm's POSIX bin is a symlink. Node resolves the module URL, but argv[1]
|
|
194
|
+
// retains the bin path; compare filesystem identities while keeping imports inert.
|
|
195
|
+
function invokedDirectly() {
|
|
196
|
+
try {
|
|
197
|
+
return process.argv[1] != null &&
|
|
198
|
+
realpathSync(process.argv[1]) === realpathSync(fileURLToPath(import.meta.url));
|
|
199
|
+
} catch (error) {
|
|
200
|
+
if (error && typeof error === "object" && "code" in error &&
|
|
201
|
+
(error.code === "ENOENT" || error.code === "ENOTDIR")) return false;
|
|
202
|
+
throw error; // unexpected filesystem failures must not become a silent CLI success
|
|
203
|
+
}
|
|
204
|
+
}
|
|
205
|
+
|
|
206
|
+
if (invokedDirectly()) {
|
|
194
207
|
main().catch((error) => {
|
|
195
208
|
console.error(error?.stack ?? String(error));
|
|
196
209
|
process.exit(1);
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* The canonical contract-pipeline artifact names, in dependency order. The ORDER
|
|
3
|
-
* is load-bearing: the dependency DAG in `artifactStore.ts` and the phase
|
|
4
|
-
* iteration in `steps/contractPipeline.ts` both read it.
|
|
5
|
-
*/
|
|
6
|
-
export declare const CP_ARTIFACT_NAMES: readonly ["goal_spec", "context_bundle", "module_decomposition", "module_contracts", "seam_reconciliation_report", "finalized_module_contracts", "conceptual_design_critique", "obligation_ledger", "cyclic_seam_resolution", "test_validator_plan", "contract_assessment_report", "counterexample", "judge_report", "implementation_dag", "verification_report"];
|
|
7
|
-
export type ContractPipelineArtifactName = (typeof CP_ARTIFACT_NAMES)[number];
|
|
8
|
-
//# sourceMappingURL=artifactNames.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"artifactNames.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/artifactNames.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,mWAgBpB,CAAC;AAEX,MAAM,MAAM,4BAA4B,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC"}
|
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
// Declared in its own module BELOW both `artifactStore.ts` and
|
|
2
|
-
// `semanticProjection.ts`: artifactStore imports values from semanticProjection,
|
|
3
|
-
// and semanticProjection needs this name type — which closed a type-only import
|
|
4
|
-
// cycle. `artifactStore.ts` re-exports both symbols, so every existing importer
|
|
5
|
-
// is unchanged and there is exactly ONE runtime copy of the array.
|
|
6
|
-
/**
|
|
7
|
-
* The canonical contract-pipeline artifact names, in dependency order. The ORDER
|
|
8
|
-
* is load-bearing: the dependency DAG in `artifactStore.ts` and the phase
|
|
9
|
-
* iteration in `steps/contractPipeline.ts` both read it.
|
|
10
|
-
*/
|
|
11
|
-
export const CP_ARTIFACT_NAMES = [
|
|
12
|
-
"goal_spec",
|
|
13
|
-
"context_bundle",
|
|
14
|
-
"module_decomposition",
|
|
15
|
-
"module_contracts",
|
|
16
|
-
"seam_reconciliation_report",
|
|
17
|
-
"finalized_module_contracts",
|
|
18
|
-
"conceptual_design_critique",
|
|
19
|
-
"obligation_ledger",
|
|
20
|
-
"cyclic_seam_resolution",
|
|
21
|
-
"test_validator_plan",
|
|
22
|
-
"contract_assessment_report",
|
|
23
|
-
"counterexample",
|
|
24
|
-
"judge_report",
|
|
25
|
-
"implementation_dag",
|
|
26
|
-
"verification_report",
|
|
27
|
-
];
|
|
28
|
-
//# sourceMappingURL=artifactNames.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"artifactNames.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/artifactNames.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,iFAAiF;AACjF,gFAAgF;AAChF,gFAAgF;AAChF,mEAAmE;AAEnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,WAAW;IACX,gBAAgB;IAChB,sBAAsB;IACtB,kBAAkB;IAClB,4BAA4B;IAC5B,4BAA4B;IAC5B,4BAA4B;IAC5B,mBAAmB;IACnB,wBAAwB;IACxB,qBAAqB;IACrB,4BAA4B;IAC5B,gBAAgB;IAChB,cAAc;IACd,oBAAoB;IACpB,qBAAqB;CACb,CAAC"}
|
|
@@ -1,219 +0,0 @@
|
|
|
1
|
-
import { type ContractReviewProvenance, type ContractReviewDeclaration } from "../../shared/types/reviewIndependence.js";
|
|
2
|
-
import { CP_ARTIFACT_NAMES } from "./artifactNames.js";
|
|
3
|
-
import type { ContractPipelineArtifactName } from "./artifactNames.js";
|
|
4
|
-
export { CP_ARTIFACT_NAMES };
|
|
5
|
-
export type { ContractPipelineArtifactName };
|
|
6
|
-
export declare const DEPENDENCY_MAP: Record<ContractPipelineArtifactName, ContractPipelineArtifactName[]>;
|
|
7
|
-
export interface ContractPipelineArtifactEnvelope {
|
|
8
|
-
artifact_name: ContractPipelineArtifactName;
|
|
9
|
-
review_provenance?: ContractReviewProvenance;
|
|
10
|
-
/**
|
|
11
|
-
* Identity of this exact emission: `hashContent(stableStringify(payload))`.
|
|
12
|
-
* KEY-ORDER INDEPENDENT — the same payload assembled in a different field
|
|
13
|
-
* order hashes identically (see `computeHash`).
|
|
14
|
-
*
|
|
15
|
-
* A stored header that disagrees with the payload it sits beside is CORRECTED
|
|
16
|
-
* IN MEMORY on read and NOT persisted: `readContractArtifact` recomputes,
|
|
17
|
-
* returns the recomputed value, and emits a
|
|
18
|
-
* `contract_artifact_content_hash_mismatch` warning naming both hashes. The
|
|
19
|
-
* file on disk keeps whatever it was written with, so this field is the
|
|
20
|
-
* identity of the payload AS READ, never a claim about the stored bytes.
|
|
21
|
-
*/
|
|
22
|
-
content_hash: string;
|
|
23
|
-
/** Semantic-projection hashes of upstream dependency artifacts at write time. */
|
|
24
|
-
dependency_hashes: Partial<Record<ContractPipelineArtifactName, string>>;
|
|
25
|
-
payload: unknown;
|
|
26
|
-
}
|
|
27
|
-
/**
|
|
28
|
-
* Canonical predicate for a stored content-hash envelope. Single-sourced here so
|
|
29
|
-
* any consumer (the contract-pipeline ingest path, the `validate-artifact` CLI)
|
|
30
|
-
* unwraps with identical structural rules and cannot drift. A plain payload that
|
|
31
|
-
* happens to carry an `artifact_name` but no `content_hash` is NOT an envelope.
|
|
32
|
-
*
|
|
33
|
-
* The THREE-KEY test this used to be (`artifact_name` string, `content_hash`
|
|
34
|
-
* string, `"payload" in value`) was a cast wearing a predicate's name: it admits
|
|
35
|
-
* a bare payload that carries `await`-shaped fields, and — more to the point —
|
|
36
|
-
* it does not check that `artifact_name` is one of the fifteen names the
|
|
37
|
-
* dependency DAG and the semantic projection are keyed by. An envelope whose
|
|
38
|
-
* `artifact_name` was misspelled passes `isEnvelope`, then reads a projection
|
|
39
|
-
* table with an absent key. See {@link readContractArtifact}, which is where
|
|
40
|
-
* that binding is now enforced.
|
|
41
|
-
*/
|
|
42
|
-
export declare function isEnvelope(value: unknown): value is ContractPipelineArtifactEnvelope;
|
|
43
|
-
/**
|
|
44
|
-
* Stamp a tool-owned `created_at` onto a raw artifact payload when the host did
|
|
45
|
-
* not provide one. The host has no clock — `created_at` is tool bookkeeping, not
|
|
46
|
-
* a judgment field — so the tool stamps it at the point the payload enters the
|
|
47
|
-
* tool (ingest + the `validate-artifact` self-check), and the host-facing
|
|
48
|
-
* schemas no longer ask for it. A payload that already carries a string
|
|
49
|
-
* `created_at` (e.g. a tool-derived artifact) is returned untouched. The stamp
|
|
50
|
-
* is a universal non-semantic field (`semanticProjection` strips it), so adding
|
|
51
|
-
* it never affects staleness. Non-object payloads pass through unchanged — their
|
|
52
|
-
* own validator reports the shape error.
|
|
53
|
-
*/
|
|
54
|
-
export declare function stampToolCreatedAt(payload: unknown, now: string): unknown;
|
|
55
|
-
export declare function contractPipelineDir(artifactsDir: string): string;
|
|
56
|
-
/**
|
|
57
|
-
* Path to the optional Path-A seed file. Present only when the intake source
|
|
58
|
-
* is a structured audit-findings report; absent for document/conversation runs.
|
|
59
|
-
*/
|
|
60
|
-
export declare function pathASeedFilePath(artifactsDir: string): string;
|
|
61
|
-
/**
|
|
62
|
-
* Where a review artifact's diff-based re-review snapshot lives.
|
|
63
|
-
*
|
|
64
|
-
* Single-sourced here, beside the artifact path helpers, because the ARCHIVE
|
|
65
|
-
* boundary has to reach it from a module that must not import the snapshot
|
|
66
|
-
* module's own read/write surface. Kept as a filename rather than a computed
|
|
67
|
-
* `join` in each caller so the two can never disagree about the directory.
|
|
68
|
-
*/
|
|
69
|
-
export declare const REVIEW_SNAPSHOT_DIRNAME = "review-snapshots";
|
|
70
|
-
export declare function reviewSnapshotDirPath(artifactsDir: string): string;
|
|
71
|
-
export declare function reviewSnapshotFilePath(artifactsDir: string, name: ContractPipelineArtifactName): string;
|
|
72
|
-
/**
|
|
73
|
-
* Drop a review artifact's diff-based re-review snapshot.
|
|
74
|
-
*
|
|
75
|
-
* Called when the artifact's INPUT is destroyed — the ordinary re-emit after an
|
|
76
|
-
* archive, and the promotion rejection that rolls a promoted plan back. The
|
|
77
|
-
* snapshot holds the verdict a re-review would re-affirm, and its whole value
|
|
78
|
-
* depends on being the LAST verdict for THAT input. Left in place across a
|
|
79
|
-
* rewrite it becomes worse than absent: `captureReviewSnapshot` runs at INGEST,
|
|
80
|
-
* which happens AFTER ingest's own staleness pass, so the archive pass inside
|
|
81
|
-
* THIS invocation has already gone by — a snapshot surviving the intervening
|
|
82
|
-
* call would be diffed against the NEW payload while claiming to be the prior
|
|
83
|
-
* verdict, and the worker would be told to re-affirm a verdict about content it
|
|
84
|
-
* never saw. With none present, `buildReReviewSection` renders no section and
|
|
85
|
-
* the phase runs as an ordinary full review, which is correct.
|
|
86
|
-
*
|
|
87
|
-
* Deliberately NOT called for the `stale` archive: that path re-opens a
|
|
88
|
-
* DOWNSTREAM artifact, which by construction has no snapshot of its own (its
|
|
89
|
-
* producer never ran), so there is nothing there to drop and the call would be
|
|
90
|
-
* noise in a hot loop.
|
|
91
|
-
*/
|
|
92
|
-
export declare function dropReviewSnapshot(artifactsDir: string, name: ContractPipelineArtifactName): Promise<void>;
|
|
93
|
-
/**
|
|
94
|
-
* Canonical envelope path `<name>.json` — the TOOL-owned content-hash envelope.
|
|
95
|
-
* Host code never reads or writes this; every tool-side consumer reaches it
|
|
96
|
-
* through `readContractArtifact`.
|
|
97
|
-
*/
|
|
98
|
-
export declare function contractArtifactFilePath(artifactsDir: string, name: ContractPipelineArtifactName): string;
|
|
99
|
-
/**
|
|
100
|
-
* Host input path `<name>.input.json` — the plain payload the host writes (and
|
|
101
|
-
* reads for upstreams). The host never sees the tool's canonical envelope; the
|
|
102
|
-
* tool reads this at ingest, validates, and derives the canonical `<name>.json`
|
|
103
|
-
* envelope from it (D3). Keeping the two paths disjoint means the on-disk file
|
|
104
|
-
* the host wrote is never mutated into an envelope in place.
|
|
105
|
-
*/
|
|
106
|
-
export declare function contractInputFilePath(artifactsDir: string, name: ContractPipelineArtifactName): string;
|
|
107
|
-
/**
|
|
108
|
-
* Hash an artifact's semantic projection (order-independent, stamp-stripped).
|
|
109
|
-
* Exported so the ingest idempotency guard can compare a freshly-read host input
|
|
110
|
-
* against the canonical envelope without re-deriving a new (stamp-bearing)
|
|
111
|
-
* content hash on every next-step.
|
|
112
|
-
*/
|
|
113
|
-
export declare function payloadSemanticHash(name: ContractPipelineArtifactName, payload: unknown): string;
|
|
114
|
-
/**
|
|
115
|
-
* The semantic hash to compare a dependency against. ALWAYS recomputed from the
|
|
116
|
-
* envelope's current `payload` — never read from a stored header field — so an
|
|
117
|
-
* in-place edit to a payload (header untouched) reconverges staleness on the next
|
|
118
|
-
* read. Cosmetic edits project to the same hash (see `semanticProjection`) and so
|
|
119
|
-
* still do not re-stale downstreams (B3).
|
|
120
|
-
*/
|
|
121
|
-
export declare function envelopeSemanticHash(envelope: ContractPipelineArtifactEnvelope): string;
|
|
122
|
-
/** Write an artifact envelope. Creates parent directories as needed. */
|
|
123
|
-
export declare function writeContractArtifact(artifactsDir: string, name: ContractPipelineArtifactName, payload: unknown, review?: ContractReviewDeclaration): Promise<ContractPipelineArtifactEnvelope>;
|
|
124
|
-
/**
|
|
125
|
-
* Write a TOOL-DERIVED artifact to BOTH path roles: the plain payload at the
|
|
126
|
-
* host-input path `<name>.input.json` and the canonical envelope at
|
|
127
|
-
* `<name>.json`.
|
|
128
|
-
*
|
|
129
|
-
* Why the input path too. Every host-facing artifact path the pipeline renders —
|
|
130
|
-
* both where a role WRITES its output and where it READS its upstreams — is
|
|
131
|
-
* `<name>.input.json` (D3: the host's world is entirely plain input files). An
|
|
132
|
-
* artifact the TOOL derives (the obligation ledger, the finalized contracts, a
|
|
133
|
-
* degenerate seam report, a no-cycles seam resolution, a merged shard aggregate)
|
|
134
|
-
* used to land only in the canonical envelope, so any downstream prompt naming
|
|
135
|
-
* it pointed a worker at a file that never existed. Materializing it here makes
|
|
136
|
-
* that ENOENT class unrepresentable: the write map and the prompts' input map
|
|
137
|
-
* are the same map.
|
|
138
|
-
*
|
|
139
|
-
* Deliberately NOT folded into `writeContractArtifact`: that one is also how
|
|
140
|
-
* INGEST wraps a host-authored payload, and writing back there would mutate the
|
|
141
|
-
* host's own input file in place — the exact separation D3 exists to keep. The
|
|
142
|
-
* derived input file is idempotent for ingest: its semantic projection matches
|
|
143
|
-
* the canonical envelope's, so the ingest idempotency guard skips it on every
|
|
144
|
-
* later pass rather than re-deriving.
|
|
145
|
-
*/
|
|
146
|
-
export declare function writeDerivedContractArtifact(artifactsDir: string, name: ContractPipelineArtifactName, payload: unknown): Promise<ContractPipelineArtifactEnvelope>;
|
|
147
|
-
/**
|
|
148
|
-
* Payload of a stored artifact whether or not it has been enveloped yet. A null
|
|
149
|
-
* envelope (absent on disk) yields undefined; a bare payload that was written
|
|
150
|
-
* without the envelope wrapper is returned as-is. Single-sourced here so every
|
|
151
|
-
* consumer unwraps identically (cannot drift from `isEnvelope`).
|
|
152
|
-
*/
|
|
153
|
-
export declare function envelopePayload(envelope: ContractPipelineArtifactEnvelope | null): unknown;
|
|
154
|
-
/**
|
|
155
|
-
* Read a stored artifact envelope, or null if absent.
|
|
156
|
-
*
|
|
157
|
-
* Three checks, all of them about IDENTITY — the file at `<name>.json` must BE
|
|
158
|
-
* the artifact `<name>`, not merely a JSON document that was found there:
|
|
159
|
-
*
|
|
160
|
-
* 1. **Shape.** Parsed against {@link isEnvelope}, never cast. The previous
|
|
161
|
-
* body was `readOptionalJsonFile<ContractPipelineArtifactEnvelope>` — a
|
|
162
|
-
* generic TYPE PARAMETER, which is an assertion the compiler erases. A file
|
|
163
|
-
* containing `{"hello":1}` came back typed as an envelope, and every
|
|
164
|
-
* downstream `.artifact_name` / `.payload` read was an unchecked property
|
|
165
|
-
* access on `unknown`-shaped data.
|
|
166
|
-
* 2. **Binding.** `artifact_name` must equal the name that was REQUESTED. The
|
|
167
|
-
* two are the same value by construction on the write path
|
|
168
|
-
* ({@link writeContractArtifact} passes one name to both), so a disagreement
|
|
169
|
-
* means the file was written by something else — a hand edit, a copy, a
|
|
170
|
-
* rename that missed the header. This is not cosmetic: `artifact_name` is
|
|
171
|
-
* the key into `DEPENDENCY_MAP` and `semanticProjection`, and a mismatched
|
|
172
|
-
* name silently reads another artifact's projection table. A mismatched
|
|
173
|
-
* envelope reads as ABSENT, so the caller's staleness DAG re-opens the
|
|
174
|
-
* producing phase rather than consuming bytes that cannot be trusted.
|
|
175
|
-
* 3. **Content hash.** Recomputed from the payload and, when it disagrees with
|
|
176
|
-
* the recorded one, the envelope is returned with
|
|
177
|
-
* {@link ContractPipelineArtifactEnvelope.content_hash} rewritten to the
|
|
178
|
-
* RECOMPUTED value. The payload is authoritative — it is what every
|
|
179
|
-
* consumer reads and what `envelopeSemanticHash` projects — so a header
|
|
180
|
-
* that no longer describes its payload must not be allowed to keep
|
|
181
|
-
* speaking. Reading the payload but reporting the stale header's hash is
|
|
182
|
-
* exactly the failure `detectStaleArtifacts`'s recompute-on-read exists to
|
|
183
|
-
* prevent (see its note on in-place edits), and the hash is the identity
|
|
184
|
-
* the judge/critique repair ledger keys on (`judge_hash` /
|
|
185
|
-
* `critique_hash` in repairState.ts), so a drifted value would make
|
|
186
|
-
* "already repaired for this report" answer about the wrong report.
|
|
187
|
-
*
|
|
188
|
-
* Deliberately NOT a null: treating a payload edit as an absent artifact
|
|
189
|
-
* would erase the distinction the caller needs (absent ⇒ re-emit the
|
|
190
|
-
* producer; edited ⇒ re-stale the downstreams), and it is a real thing
|
|
191
|
-
* hosts and tests do.
|
|
192
|
-
*
|
|
193
|
-
* A shape or binding refusal is silent-by-return (null), not a throw: every
|
|
194
|
-
* caller already handles absent (that IS the fresh-run case), and throwing here
|
|
195
|
-
* would turn one damaged file into a failed `next-step` rather than a re-emitted
|
|
196
|
-
* phase.
|
|
197
|
-
*/
|
|
198
|
-
export declare function readContractArtifact(artifactsDir: string, name: ContractPipelineArtifactName): Promise<ContractPipelineArtifactEnvelope | null>;
|
|
199
|
-
export interface StalenessResult {
|
|
200
|
-
/** Names of artifacts that are stale (upstream changed) or missing (never written). */
|
|
201
|
-
stale: ContractPipelineArtifactName[];
|
|
202
|
-
/** Names of artifacts that are absent (file does not exist). */
|
|
203
|
-
absent: ContractPipelineArtifactName[];
|
|
204
|
-
}
|
|
205
|
-
/**
|
|
206
|
-
* Detect stale artifacts by walking the dependency DAG transitively.
|
|
207
|
-
* An artifact is stale when:
|
|
208
|
-
* - A dependency artifact is absent/missing.
|
|
209
|
-
* - A dependency artifact's current SEMANTIC-projection hash differs from what
|
|
210
|
-
* was recorded at write time in this artifact's envelope. Cosmetic upstream
|
|
211
|
-
* edits (reworded prose, regenerated timestamps, reordered keys) project to
|
|
212
|
-
* the same hash and do NOT mark downstreams stale (B3).
|
|
213
|
-
*
|
|
214
|
-
* Absent artifacts (never written) are reported under `absent`, not `stale`.
|
|
215
|
-
*/
|
|
216
|
-
export declare function detectStaleArtifacts(artifactsDir: string): Promise<StalenessResult>;
|
|
217
|
-
/** Returns true when the artifact file is present on disk. */
|
|
218
|
-
export declare function contractArtifactExists(artifactsDir: string, name: ContractPipelineArtifactName): boolean;
|
|
219
|
-
//# sourceMappingURL=artifactStore.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"artifactStore.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/artifactStore.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkC,KAAK,wBAAwB,EAAE,KAAK,yBAAyB,EAA2B,MAAM,0CAA0C,CAAC;AAyClL,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,CAAC;AAM7C,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,4BAA4B,EAAE,4BAA4B,EAAE,CAiC/F,CAAC;AAIF,MAAM,WAAW,gCAAgC;IAC/C,aAAa,EAAE,4BAA4B,CAAC;IAC5C,iBAAiB,CAAC,EAAE,wBAAwB,CAAC;IAC7C;;;;;;;;;;;OAWG;IACH,YAAY,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IACzE,OAAO,EAAE,OAAO,CAAC;CAClB;AA+CD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,gCAAgC,CAU3C;AAKD;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAMzE;AAED,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,qBAAqB,CAAC;AAE1D,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAElE;AAED,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,MAAM,CAER;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,kBAAkB,CACtC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,MAAM,CAER;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,MAAM,CAER;AAqBD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,4BAA4B,EAClC,OAAO,EAAE,OAAO,GACf,MAAM,CAKR;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,gCAAgC,GACzC,MAAM,CAER;AAID,wEAAwE;AACxE,wBAAsB,qBAAqB,CACzC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,OAAO,EAAE,OAAO,EAChB,MAAM,CAAC,EAAE,yBAAyB,GACjC,OAAO,CAAC,gCAAgC,CAAC,CAwB3C;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,4BAA4B,CAChD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,OAAO,EAAE,OAAO,GACf,OAAO,CAAC,gCAAgC,CAAC,CAI3C;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,gCAAgC,GAAG,IAAI,GAChD,OAAO,CAGT;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,OAAO,CAAC,gCAAgC,GAAG,IAAI,CAAC,CAqBlD;AAED,MAAM,WAAW,eAAe;IAC9B,uFAAuF;IACvF,KAAK,EAAE,4BAA4B,EAAE,CAAC;IACtC,gEAAgE;IAChE,MAAM,EAAE,4BAA4B,EAAE,CAAC;CACxC;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,eAAe,CAAC,CA6C1B;AAED,8DAA8D;AAC9D,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,GACjC,OAAO,CAET"}
|