audit-tools 0.52.3 → 0.52.5
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/README.md +31 -1
- package/dist/audit/cli/args.d.ts.map +1 -1
- package/dist/audit/cli/args.js +6 -2
- package/dist/audit/cli/args.js.map +1 -1
- package/dist/audit/cli/argumentContract.d.ts +11 -0
- package/dist/audit/cli/argumentContract.d.ts.map +1 -0
- package/dist/audit/cli/argumentContract.js +45 -0
- package/dist/audit/cli/argumentContract.js.map +1 -0
- package/dist/audit/cli/auditReviewBindings.d.ts +49 -0
- package/dist/audit/cli/auditReviewBindings.d.ts.map +1 -0
- package/dist/audit/cli/auditReviewBindings.js +61 -0
- package/dist/audit/cli/auditReviewBindings.js.map +1 -0
- package/dist/audit/cli/auditStep.d.ts +1 -27
- package/dist/audit/cli/auditStep.d.ts.map +1 -1
- package/dist/audit/cli/auditStep.js +7 -32
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/charterComparisonPrompt.d.ts +2 -0
- package/dist/audit/cli/charterComparisonPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterComparisonPrompt.js +9 -0
- package/dist/audit/cli/charterComparisonPrompt.js.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.js +17 -3
- package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
- package/dist/audit/cli/conceptualDispatch.d.ts +1 -1
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +15 -2
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/cli/confirmIntentStep.d.ts.map +1 -1
- package/dist/audit/cli/confirmIntentStep.js +10 -17
- package/dist/audit/cli/confirmIntentStep.js.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +231 -229
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/explainTaskCommand.d.ts.map +1 -1
- package/dist/audit/cli/explainTaskCommand.js +3 -1
- package/dist/audit/cli/explainTaskCommand.js.map +1 -1
- package/dist/audit/cli/fanoutLanes.d.ts +10 -14
- package/dist/audit/cli/fanoutLanes.d.ts.map +1 -1
- package/dist/audit/cli/fanoutLanes.js +50 -16
- package/dist/audit/cli/fanoutLanes.js.map +1 -1
- package/dist/audit/cli/functionalPreflight.d.ts +96 -0
- package/dist/audit/cli/functionalPreflight.d.ts.map +1 -0
- package/dist/audit/cli/functionalPreflight.js +103 -0
- package/dist/audit/cli/functionalPreflight.js.map +1 -0
- package/dist/audit/cli/laneSubmissions.d.ts +5 -1
- package/dist/audit/cli/laneSubmissions.d.ts.map +1 -1
- package/dist/audit/cli/laneSubmissions.js +45 -34
- package/dist/audit/cli/laneSubmissions.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts +1 -9
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +101 -38
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +10 -25
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +57 -67
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/prompts.d.ts.map +1 -1
- package/dist/audit/cli/prompts.js +9 -4
- package/dist/audit/cli/prompts.js.map +1 -1
- package/dist/audit/cli/recoverSubmissionCommand.d.ts.map +1 -1
- package/dist/audit/cli/recoverSubmissionCommand.js +8 -1
- package/dist/audit/cli/recoverSubmissionCommand.js.map +1 -1
- package/dist/audit/cli/reviewRun.js +1 -1
- package/dist/audit/cli/reviewRun.js.map +1 -1
- package/dist/audit/cli/reviewSubmission.d.ts +24 -0
- package/dist/audit/cli/reviewSubmission.d.ts.map +1 -0
- package/dist/audit/cli/reviewSubmission.js +97 -0
- package/dist/audit/cli/reviewSubmission.js.map +1 -0
- package/dist/audit/cli/sampleRunCommand.d.ts +3 -3
- package/dist/audit/cli/steps.d.ts +18 -18
- package/dist/audit/cli/steps.d.ts.map +1 -1
- package/dist/audit/cli/steps.js +1 -0
- package/dist/audit/cli/steps.js.map +1 -1
- package/dist/audit/cli/unacceptResultsCommand.d.ts.map +1 -1
- package/dist/audit/cli/unacceptResultsCommand.js +2 -1
- package/dist/audit/cli/unacceptResultsCommand.js.map +1 -1
- package/dist/audit/cli.d.ts +2 -1
- package/dist/audit/cli.d.ts.map +1 -1
- package/dist/audit/cli.js +27 -19
- package/dist/audit/cli.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +10 -10
- package/dist/audit/contracts/wrapperResponse.d.ts +34 -34
- package/dist/audit/extractors/commentDecomposition.d.ts +14 -0
- package/dist/audit/extractors/commentDecomposition.d.ts.map +1 -1
- package/dist/audit/extractors/commentDecomposition.js +2 -1
- package/dist/audit/extractors/commentDecomposition.js.map +1 -1
- package/dist/audit/extractors/graph.d.ts +1 -1
- package/dist/audit/extractors/graph.d.ts.map +1 -1
- package/dist/audit/extractors/graph.js +12 -7
- package/dist/audit/extractors/graph.js.map +1 -1
- package/dist/audit/extractors/graphPythonImports.d.ts +3 -0
- package/dist/audit/extractors/graphPythonImports.d.ts.map +1 -1
- package/dist/audit/extractors/graphPythonImports.js +24 -5
- package/dist/audit/extractors/graphPythonImports.js.map +1 -1
- package/dist/audit/extractors/graphRouteSources.d.ts +7 -0
- package/dist/audit/extractors/graphRouteSources.d.ts.map +1 -0
- package/dist/audit/extractors/graphRouteSources.js +208 -0
- package/dist/audit/extractors/graphRouteSources.js.map +1 -0
- package/dist/audit/extractors/graphRoutes.d.ts +1 -1
- package/dist/audit/extractors/graphRoutes.d.ts.map +1 -1
- package/dist/audit/extractors/graphRoutes.js +65 -68
- package/dist/audit/extractors/graphRoutes.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts +1 -0
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +29 -10
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/io/runArtifacts.d.ts +1 -1
- package/dist/audit/io/runArtifacts.d.ts.map +1 -1
- package/dist/audit/io/runArtifacts.js +3 -0
- package/dist/audit/io/runArtifacts.js.map +1 -1
- package/dist/audit/io/toolingManifest.d.ts.map +1 -1
- package/dist/audit/io/toolingManifest.js +11 -32
- package/dist/audit/io/toolingManifest.js.map +1 -1
- package/dist/audit/orchestrator/acquisitionExecutor.d.ts +2 -3
- package/dist/audit/orchestrator/acquisitionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/acquisitionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts +1 -2
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/autoFixExecutor.d.ts +2 -2
- package/dist/audit/orchestrator/autoFixExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/autoFixExecutor.js +2 -2
- package/dist/audit/orchestrator/autoFixExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterFidelityPacket.d.ts +2 -0
- package/dist/audit/orchestrator/charterFidelityPacket.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterFidelityPacket.js +6 -1
- package/dist/audit/orchestrator/charterFidelityPacket.js.map +1 -1
- package/dist/audit/orchestrator/charterPackets.d.ts +2 -0
- package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterPackets.js +6 -0
- package/dist/audit/orchestrator/charterPackets.js.map +1 -1
- package/dist/audit/orchestrator/designReviewProjection.d.ts +5 -8
- package/dist/audit/orchestrator/designReviewProjection.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewProjection.js +7 -1
- package/dist/audit/orchestrator/designReviewProjection.js.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.d.ts +3 -47
- package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js +28 -135
- package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts +24 -1
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.js +8 -2
- package/dist/audit/orchestrator/designReviewSnapshot.js.map +1 -1
- package/dist/audit/orchestrator/designReviewTask.d.ts +46 -0
- package/dist/audit/orchestrator/designReviewTask.d.ts.map +1 -0
- package/dist/audit/orchestrator/designReviewTask.js +44 -0
- package/dist/audit/orchestrator/designReviewTask.js.map +1 -0
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.js +4 -2
- package/dist/audit/orchestrator/intentCheckpointGate.js.map +1 -1
- package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts +3 -0
- package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentEquivalenceExecutor.js +2 -0
- package/dist/audit/orchestrator/intentEquivalenceExecutor.js.map +1 -1
- package/dist/audit/orchestrator/intentInterpreter.d.ts +1 -9
- package/dist/audit/orchestrator/intentInterpreter.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentInterpreter.js +6 -11
- package/dist/audit/orchestrator/intentInterpreter.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts +2 -2
- package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts.map +1 -1
- package/dist/audit/orchestrator/staleness.d.ts.map +1 -1
- package/dist/audit/orchestrator/staleness.js +32 -40
- package/dist/audit/orchestrator/staleness.js.map +1 -1
- package/dist/audit/orchestrator/state.d.ts.map +1 -1
- package/dist/audit/orchestrator/state.js +8 -14
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts +19 -0
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js +15 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js.map +1 -1
- package/dist/audit/reporting/criticalFlowFallbackPrompt.d.ts +1 -1
- package/dist/audit/reporting/criticalFlowFallbackPrompt.d.ts.map +1 -1
- package/dist/audit/reporting/criticalFlowFallbackPrompt.js +4 -2
- package/dist/audit/reporting/criticalFlowFallbackPrompt.js.map +1 -1
- package/dist/audit/reporting/mergeFindings.d.ts.map +1 -1
- package/dist/audit/reporting/mergeFindings.js +43 -2
- package/dist/audit/reporting/mergeFindings.js.map +1 -1
- package/dist/audit/types/auditScope.d.ts +2 -2
- package/dist/audit/types/auditState.d.ts +6 -6
- package/dist/audit/types/conceptualAdjudication.d.ts +19 -19
- package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -1
- package/dist/audit/types/conceptualAdjudication.js +3 -3
- package/dist/audit/types/conceptualAdjudication.js.map +1 -1
- package/dist/audit/types.d.ts +17 -19
- package/dist/audit/types.d.ts.map +1 -1
- package/dist/audit/types.js +19 -20
- package/dist/audit/types.js.map +1 -1
- package/dist/remediate/contractPipeline/artifactStore.d.ts +3 -1
- package/dist/remediate/contractPipeline/artifactStore.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/artifactStore.js +26 -31
- package/dist/remediate/contractPipeline/artifactStore.js.map +1 -1
- package/dist/remediate/contractPipeline/changeClassification.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/changeClassification.js +20 -8
- package/dist/remediate/contractPipeline/changeClassification.js.map +1 -1
- package/dist/remediate/contractPipeline/contractReviewBinding.d.ts +28 -0
- package/dist/remediate/contractPipeline/contractReviewBinding.d.ts.map +1 -0
- package/dist/remediate/contractPipeline/contractReviewBinding.js +75 -0
- package/dist/remediate/contractPipeline/contractReviewBinding.js.map +1 -0
- package/dist/remediate/contractPipeline/repairState.d.ts +3 -1
- package/dist/remediate/contractPipeline/repairState.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/repairState.js +1 -0
- package/dist/remediate/contractPipeline/repairState.js.map +1 -1
- package/dist/remediate/contractPipeline/sketchSource.d.ts +1 -0
- package/dist/remediate/contractPipeline/sketchSource.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/sketchSource.js +1 -0
- package/dist/remediate/contractPipeline/sketchSource.js.map +1 -1
- package/dist/remediate/dedup/crossLensDedup.d.ts +1 -2
- package/dist/remediate/dedup/crossLensDedup.d.ts.map +1 -1
- package/dist/remediate/dedup/crossLensDedup.js +1 -0
- package/dist/remediate/dedup/crossLensDedup.js.map +1 -1
- package/dist/remediate/index.d.ts.map +1 -1
- package/dist/remediate/index.js +92 -52
- package/dist/remediate/index.js.map +1 -1
- package/dist/remediate/intake.d.ts +54 -0
- package/dist/remediate/intake.d.ts.map +1 -1
- package/dist/remediate/intake.js +15 -1
- package/dist/remediate/intake.js.map +1 -1
- package/dist/remediate/intakeSelection.d.ts +27 -0
- package/dist/remediate/intakeSelection.d.ts.map +1 -0
- package/dist/remediate/intakeSelection.js +37 -0
- package/dist/remediate/intakeSelection.js.map +1 -0
- package/dist/remediate/intent/intentPersistence.d.ts +41 -0
- package/dist/remediate/intent/intentPersistence.d.ts.map +1 -0
- package/dist/remediate/intent/intentPersistence.js +129 -0
- package/dist/remediate/intent/intentPersistence.js.map +1 -0
- package/dist/remediate/phases/close.d.ts +2 -1
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +19 -2
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/phases/closeReviewProvenance.d.ts +4 -0
- package/dist/remediate/phases/closeReviewProvenance.d.ts.map +1 -0
- package/dist/remediate/phases/closeReviewProvenance.js +16 -0
- package/dist/remediate/phases/closeReviewProvenance.js.map +1 -0
- package/dist/remediate/phases/triage.d.ts.map +1 -1
- package/dist/remediate/phases/triage.js +3 -1
- package/dist/remediate/phases/triage.js.map +1 -1
- package/dist/remediate/review/filterDispositions.d.ts +13 -0
- package/dist/remediate/review/filterDispositions.d.ts.map +1 -0
- package/dist/remediate/review/filterDispositions.js +32 -0
- package/dist/remediate/review/filterDispositions.js.map +1 -0
- package/dist/remediate/state/runIdentity.d.ts +27 -0
- package/dist/remediate/state/runIdentity.d.ts.map +1 -0
- package/dist/remediate/state/runIdentity.js +38 -0
- package/dist/remediate/state/runIdentity.js.map +1 -0
- package/dist/remediate/state/store.d.ts +80 -1
- package/dist/remediate/state/store.d.ts.map +1 -1
- package/dist/remediate/state/store.js +82 -1
- package/dist/remediate/state/store.js.map +1 -1
- package/dist/remediate/state/types.d.ts +215 -42
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/remediate/state/types.js +11 -3
- package/dist/remediate/state/types.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts +61 -3
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +121 -47
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.d.ts +27 -4
- package/dist/remediate/steps/contractPipelinePrompts.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js +34 -32
- package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts +31 -0
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts.map +1 -0
- package/dist/remediate/steps/dispatch/contractConformanceReview.js +98 -0
- package/dist/remediate/steps/dispatch/contractConformanceReview.js.map +1 -0
- package/dist/remediate/steps/dispatch/hostContracts.d.ts +133 -0
- package/dist/remediate/steps/dispatch/hostContracts.d.ts.map +1 -0
- package/dist/remediate/steps/dispatch/hostContracts.js +104 -0
- package/dist/remediate/steps/dispatch/hostContracts.js.map +1 -0
- package/dist/remediate/steps/dispatch/hostCorroboration.d.ts +70 -0
- package/dist/remediate/steps/dispatch/hostCorroboration.d.ts.map +1 -0
- package/dist/remediate/steps/dispatch/hostCorroboration.js +350 -0
- package/dist/remediate/steps/dispatch/hostCorroboration.js.map +1 -0
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts +8 -162
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +137 -690
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/dispatch/requiredTests.d.ts +83 -0
- package/dist/remediate/steps/dispatch/requiredTests.d.ts.map +1 -0
- package/dist/remediate/steps/dispatch/requiredTests.js +262 -0
- package/dist/remediate/steps/dispatch/requiredTests.js.map +1 -0
- package/dist/remediate/steps/finalGate.d.ts +8 -7
- package/dist/remediate/steps/finalGate.d.ts.map +1 -1
- package/dist/remediate/steps/finalGate.js +14 -11
- package/dist/remediate/steps/finalGate.js.map +1 -1
- package/dist/remediate/steps/frictionCloseout.d.ts +34 -0
- package/dist/remediate/steps/frictionCloseout.d.ts.map +1 -0
- package/dist/remediate/steps/frictionCloseout.js +113 -0
- package/dist/remediate/steps/frictionCloseout.js.map +1 -0
- package/dist/remediate/steps/gateCommands.d.ts +7 -9
- package/dist/remediate/steps/gateCommands.d.ts.map +1 -1
- package/dist/remediate/steps/gateCommands.js +37 -11
- package/dist/remediate/steps/gateCommands.js.map +1 -1
- package/dist/remediate/steps/intakeResolver.d.ts +2 -0
- package/dist/remediate/steps/intakeResolver.d.ts.map +1 -1
- package/dist/remediate/steps/intakeResolver.js +36 -11
- package/dist/remediate/steps/intakeResolver.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +23 -110
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +232 -508
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/prompts.d.ts +1 -1
- package/dist/remediate/steps/prompts.d.ts.map +1 -1
- package/dist/remediate/steps/prompts.js +7 -2
- package/dist/remediate/steps/prompts.js.map +1 -1
- package/dist/remediate/steps/recoverIngest.d.ts +57 -0
- package/dist/remediate/steps/recoverIngest.d.ts.map +1 -0
- package/dist/remediate/steps/recoverIngest.js +171 -0
- package/dist/remediate/steps/recoverIngest.js.map +1 -0
- package/dist/remediate/steps/stepWriter.d.ts +5 -4
- package/dist/remediate/steps/stepWriter.d.ts.map +1 -1
- package/dist/remediate/steps/stepWriter.js +2 -1
- package/dist/remediate/steps/stepWriter.js.map +1 -1
- package/dist/remediate/steps/types.d.ts +2 -3
- package/dist/remediate/steps/types.d.ts.map +1 -1
- package/dist/remediate/steps/types.js.map +1 -1
- package/dist/remediate/validation/artifacts.d.ts.map +1 -1
- package/dist/remediate/validation/artifacts.js +5 -12
- package/dist/remediate/validation/artifacts.js.map +1 -1
- package/dist/remediate/validation/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/validation/contractPipeline.js +10 -7
- package/dist/remediate/validation/contractPipeline.js.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts +13 -67
- package/dist/remediate/validation/contractPipelineGates.d.ts.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.js +65 -139
- package/dist/remediate/validation/contractPipelineGates.js.map +1 -1
- package/dist/remediate/validation/remediationState.d.ts.map +1 -1
- package/dist/remediate/validation/remediationState.js +9 -3
- package/dist/remediate/validation/remediationState.js.map +1 -1
- package/dist/shared/agentReflections.d.ts +2 -2
- package/dist/shared/analyzerPolicy.d.ts +2 -16
- package/dist/shared/analyzerPolicy.d.ts.map +1 -1
- package/dist/shared/analyzerPolicy.js +22 -24
- package/dist/shared/analyzerPolicy.js.map +1 -1
- package/dist/shared/analyzerRunConsent.d.ts +33 -0
- package/dist/shared/analyzerRunConsent.d.ts.map +1 -0
- package/dist/shared/analyzerRunConsent.js +42 -0
- package/dist/shared/analyzerRunConsent.js.map +1 -0
- package/dist/shared/analyzers/acquisitionEngine.d.ts +3 -8
- package/dist/shared/analyzers/acquisitionEngine.d.ts.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.js +1 -0
- package/dist/shared/analyzers/acquisitionEngine.js.map +1 -1
- package/dist/shared/decompose/charterExtraction.d.ts +8 -8
- package/dist/shared/decompose/systemicChallenge.d.ts +12 -12
- package/dist/shared/engine/obligationEngine.d.ts +2 -2
- package/dist/shared/findings/dedupe.d.ts.map +1 -1
- package/dist/shared/findings/dedupe.js +16 -0
- package/dist/shared/findings/dedupe.js.map +1 -1
- package/dist/shared/graph/orderedReachability.d.ts +9 -0
- package/dist/shared/graph/orderedReachability.d.ts.map +1 -0
- package/dist/shared/graph/orderedReachability.js +21 -0
- package/dist/shared/graph/orderedReachability.js.map +1 -0
- package/dist/shared/index.d.ts +9 -3
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +6 -3
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/intake/guidanceBootstrap.d.ts +2 -0
- package/dist/shared/intake/guidanceBootstrap.d.ts.map +1 -1
- package/dist/shared/intake/guidanceBootstrap.js +10 -1
- package/dist/shared/intake/guidanceBootstrap.js.map +1 -1
- package/dist/shared/intent/constraintClauses.d.ts +3 -0
- package/dist/shared/intent/constraintClauses.d.ts.map +1 -1
- package/dist/shared/intent/constraintClauses.js +9 -0
- package/dist/shared/intent/constraintClauses.js.map +1 -1
- package/dist/shared/io/artifactTreeHold.d.ts +5 -0
- package/dist/shared/io/artifactTreeHold.d.ts.map +1 -0
- package/dist/shared/io/artifactTreeHold.js +13 -0
- package/dist/shared/io/artifactTreeHold.js.map +1 -0
- package/dist/shared/io/auditToolsPaths.d.ts +3 -1
- package/dist/shared/io/auditToolsPaths.d.ts.map +1 -1
- package/dist/shared/io/auditToolsPaths.js +6 -1
- package/dist/shared/io/auditToolsPaths.js.map +1 -1
- package/dist/shared/io/collectFilesSorted.d.ts +10 -0
- package/dist/shared/io/collectFilesSorted.d.ts.map +1 -0
- package/dist/shared/io/collectFilesSorted.js +38 -0
- package/dist/shared/io/collectFilesSorted.js.map +1 -0
- package/dist/shared/io/json.d.ts.map +1 -1
- package/dist/shared/io/json.js +11 -4
- package/dist/shared/io/json.js.map +1 -1
- package/dist/shared/io/stepContractWriter.d.ts.map +1 -1
- package/dist/shared/io/stepContractWriter.js +8 -0
- package/dist/shared/io/stepContractWriter.js.map +1 -1
- package/dist/shared/loopCorePaths.d.ts.map +1 -1
- package/dist/shared/loopCorePaths.js +9 -0
- package/dist/shared/loopCorePaths.js.map +1 -1
- package/dist/shared/observability/rootLogObservations.d.ts +10 -0
- package/dist/shared/observability/rootLogObservations.d.ts.map +1 -0
- package/dist/shared/observability/rootLogObservations.js +147 -0
- package/dist/shared/observability/rootLogObservations.js.map +1 -0
- package/dist/shared/prompts.d.ts +7 -7
- package/dist/shared/prompts.d.ts.map +1 -1
- package/dist/shared/prompts.js +11 -11
- package/dist/shared/prompts.js.map +1 -1
- package/dist/shared/submission/submissionLedger.d.ts +7 -1
- package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
- package/dist/shared/submission/submissionLedger.js +8 -0
- package/dist/shared/submission/submissionLedger.js.map +1 -1
- package/dist/shared/tooling/testCommand.d.ts +1 -0
- package/dist/shared/tooling/testCommand.d.ts.map +1 -1
- package/dist/shared/tooling/testCommand.js +4 -0
- package/dist/shared/tooling/testCommand.js.map +1 -1
- package/dist/shared/types/charter.d.ts +8 -8
- package/dist/shared/types/conceptualPerspective.d.ts +66 -0
- package/dist/shared/types/conceptualPerspective.d.ts.map +1 -0
- package/dist/shared/types/conceptualPerspective.js +135 -0
- package/dist/shared/types/conceptualPerspective.js.map +1 -0
- package/dist/shared/types/contractPipeline/design.d.ts +5 -0
- package/dist/shared/types/contractPipeline/design.d.ts.map +1 -1
- package/dist/shared/types/contractPipeline/design.js +6 -0
- package/dist/shared/types/contractPipeline/design.js.map +1 -1
- package/dist/shared/types/contractPipeline/implementation.d.ts +54 -0
- package/dist/shared/types/contractPipeline/implementation.d.ts.map +1 -1
- package/dist/shared/types/contractPipeline/implementation.js +10 -5
- package/dist/shared/types/contractPipeline/implementation.js.map +1 -1
- package/dist/shared/types/contractPipeline/obligations.d.ts +21 -10
- package/dist/shared/types/contractPipeline/obligations.d.ts.map +1 -1
- package/dist/shared/types/contractPipeline/obligations.js +13 -1
- package/dist/shared/types/contractPipeline/obligations.js.map +1 -1
- package/dist/shared/types/disposition.d.ts +6 -6
- package/dist/shared/types/finding.d.ts +50 -50
- package/dist/shared/types/intentCheckpoint.d.ts +66 -11
- package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
- package/dist/shared/types/intentCheckpoint.js +10 -2
- package/dist/shared/types/intentCheckpoint.js.map +1 -1
- package/dist/shared/types/remediationOutcome.d.ts +252 -24
- package/dist/shared/types/remediationOutcome.d.ts.map +1 -1
- package/dist/shared/types/remediationOutcome.js +4 -0
- package/dist/shared/types/remediationOutcome.js.map +1 -1
- package/dist/shared/types/reviewIndependence.d.ts +225 -0
- package/dist/shared/types/reviewIndependence.d.ts.map +1 -0
- package/dist/shared/types/reviewIndependence.js +67 -0
- package/dist/shared/types/reviewIndependence.js.map +1 -0
- package/dist/shared/types/stepContract.d.ts +8 -2
- package/dist/shared/types/stepContract.d.ts.map +1 -1
- package/dist/shared/types/stepContract.js +4 -1
- package/dist/shared/types/stepContract.js.map +1 -1
- package/dist/shared/validation/findingsReport.d.ts.map +1 -1
- package/dist/shared/validation/findingsReport.js +13 -0
- package/dist/shared/validation/findingsReport.js.map +1 -1
- package/docs/audit-pkg/contracts.md +38 -2
- package/docs/audit-pkg/operator-guide.md +59 -4
- package/package.json +5 -5
- package/remediate-code.mjs +16 -3
- package/skills/audit-code/audit-code.prompt.md +1 -31
- package/skills/remediate-code/remediate-code.prompt.md +12 -6
package/README.md
CHANGED
|
@@ -51,6 +51,16 @@ human-readable render (markdown):
|
|
|
51
51
|
lighter path.
|
|
52
52
|
- Artifacts are continuity: staleness propagates along an explicit dependency map, never ad-hoc
|
|
53
53
|
freshness checks.
|
|
54
|
+
- The tool owns structure, IDs, cross-references and validation; the host supplies bounded judgment.
|
|
55
|
+
Contract assessment and conceptual design critique are distinct review jobs.
|
|
56
|
+
- Decomposition keeps source and its tests together, with bounded work units, dependency ordering and
|
|
57
|
+
enforced write scope. Shared-file work may proceed optimistically; serialized acceptance detects
|
|
58
|
+
conflicts and requires retry against the updated tree, rather than trusting predicted edit regions.
|
|
59
|
+
- Multiple host agents can contribute to the same run through persisted bindings and idempotent
|
|
60
|
+
ingestion; no provider-specific claim registry or lease is required.
|
|
61
|
+
- Audit preserves source by default. Formatting requires current-run opt-in, and dry-run prevents it.
|
|
62
|
+
Analyzer grants and declines are scoped to the current run. Remediation must run the target's
|
|
63
|
+
declared verification commands or pause for an explicit verification decision.
|
|
54
64
|
|
|
55
65
|
<!-- END philosophy-brief -->
|
|
56
66
|
|
|
@@ -156,12 +166,32 @@ a summary before anything is committed.
|
|
|
156
166
|
- **Results are untrusted input.** Prompt bindings, file coverage, worktree identity, commit
|
|
157
167
|
evidence, and test evidence are checked before host-produced work changes persisted state.
|
|
158
168
|
|
|
169
|
+
### Review context and result conformance
|
|
170
|
+
|
|
171
|
+
For optional independent contract conformance review during remediation, set
|
|
172
|
+
`conformance_review: true` in the confirmed intent checkpoint before the first
|
|
173
|
+
implementation handoff. The tool binds that choice to the run. Successful landed
|
|
174
|
+
and no-change results then need a content-bound independent review after mechanical
|
|
175
|
+
checks; missing review pauses, insufficient evidence requests repair, and unavailable
|
|
176
|
+
independent review cannot silently fall back to self-review. Independence is declared
|
|
177
|
+
by the host; audit-tools verifies the declaration and binding, not reviewer identity.
|
|
178
|
+
|
|
179
|
+
Required contract reviews use a prompt-bound review submission envelope. Full-depth
|
|
180
|
+
critique/critic reviews and the final judge require an independent context; unavailable
|
|
181
|
+
review pauses instead of falling back to self-review. The explicit light critique/critic
|
|
182
|
+
policy permits declared degraded review. Downstream roles read validated canonical
|
|
183
|
+
artifact `payload` fields, while authors write only the separate submission paths.
|
|
184
|
+
|
|
159
185
|
### The pipelines, step by step
|
|
160
186
|
|
|
161
187
|
**audit-code:**
|
|
162
188
|
|
|
189
|
+
Before the audit starts, the host records observed source and relationship inspection
|
|
190
|
+
capabilities. Missing capabilities require an explicit stop or an operator-approved,
|
|
191
|
+
reported limitation; an installed tool name alone is not evidence.
|
|
192
|
+
|
|
163
193
|
1. **Understand the repo** — deterministically maps files, public surfaces, the dependency
|
|
164
|
-
graph, critical flows, and a risk register; runs available static analyzers
|
|
194
|
+
graph, critical flows, and a risk register; runs available static analyzers. Audits preserve source files by default; formatting requires explicit per-run `next-step --auto-fix` approval, and `--dry-run` prevents formatting for the rest of that run. Analyzer grants and declines apply only to the current audit.
|
|
165
195
|
2. **Confirm intent** — you review the scope and pick the review lenses.
|
|
166
196
|
3. **Map the subsystems** — deterministically clusters the code into real subsystems by
|
|
167
197
|
overlaying how it actually behaves (call/import, co-change, shared state) against how it's
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"args.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/args.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"args.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/args.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,iBAAiB,EAIjB,yBAAyB,EACzB,qBAAqB,EAGrB,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,mBAAmB;IAC9B;;;;;OAKG;;;;CAIJ,CAAC;AAMF,wBAAgB,OAAO,CACrB,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,MAAM,GAChB,MAAM,GAAG,SAAS,CAQpB;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE7D;AAED,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,CAAC;AAExD,eAAO,MAAM,eAAe,8BAAwB,CAAC;AACrD,eAAO,MAAM,mBAAmB,0BAAoB,CAAC;AAErD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAEpD;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAK3E;AAED,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,SAAS,CAGpB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAKjD;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAKtD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAMnD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAGrE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAKnD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAEnE;AAED,wBAAsB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAmB9D;AAED,wBAAsB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAkB9E"}
|
package/dist/audit/cli/args.js
CHANGED
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
// sites-pinned: tests/audit/cli-args-utils.test.ts, tests/audit/functional-preflight.test.ts
|
|
1
2
|
import { createReadStream, existsSync } from "node:fs";
|
|
2
3
|
import { readdir } from "node:fs/promises";
|
|
3
4
|
import { Buffer } from "node:buffer";
|
|
@@ -18,16 +19,19 @@ function isLongFlagToken(value) {
|
|
|
18
19
|
return typeof value === "string" && value.startsWith("--");
|
|
19
20
|
}
|
|
20
21
|
export function getFlag(argv, name, fallback) {
|
|
21
|
-
const index = argv.
|
|
22
|
+
const index = argv.findIndex(token => token === name || token.startsWith(`${name}=`));
|
|
22
23
|
if (index < 0)
|
|
23
24
|
return fallback;
|
|
25
|
+
const token = argv[index];
|
|
26
|
+
if (token.startsWith(`${name}=`))
|
|
27
|
+
return token.slice(name.length + 1) || fallback;
|
|
24
28
|
const candidate = argv[index + 1];
|
|
25
29
|
if (!candidate || isLongFlagToken(candidate))
|
|
26
30
|
return fallback;
|
|
27
31
|
return candidate;
|
|
28
32
|
}
|
|
29
33
|
export function hasFlag(argv, name) {
|
|
30
|
-
return argv.
|
|
34
|
+
return argv.some(token => token === name || token.startsWith(`${name}=`));
|
|
31
35
|
}
|
|
32
36
|
export { digestId, safeArtifactStem } from "audit-tools/shared";
|
|
33
37
|
export { artifactNameForId, isCanonicalResultFilename };
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"args.js","sourceRoot":"","sources":["../../../src/audit/cli/args.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAChB,yBAAyB,EACzB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC;;;;;OAKG;IACH,OAAO,EAAE,GAAG;IACZ,YAAY,EAAE,oBAAoB;IAClC,SAAS,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;CAC1B,CAAC;AAEF,SAAS,eAAe,CAAC,KAAyB;IAChD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,IAAc,EACd,IAAY,EACZ,QAAiB;IAEjB,MAAM,KAAK,GAAG,IAAI,CAAC,
|
|
1
|
+
{"version":3,"file":"args.js","sourceRoot":"","sources":["../../../src/audit/cli/args.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAChB,yBAAyB,EACzB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC;;;;;OAKG;IACH,OAAO,EAAE,GAAG;IACZ,YAAY,EAAE,oBAAoB;IAClC,SAAS,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;CAC1B,CAAC;AAEF,SAAS,eAAe,CAAC,KAAyB;IAChD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,IAAc,EACd,IAAY,EACZ,QAAiB;IAEjB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;IACtF,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC;IAClF,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,IAAI,eAAe,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC9D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAc,EAAE,IAAY;IAClD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,CAAC;AAExD,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,CAAC;AACrD,MAAM,CAAC,MAAM,mBAAmB,GAAG,iBAAiB,CAAC;AAErD,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAAc,EACd,IAAY;IAEZ,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc;IACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,gBAAgB,CAAC,sBAAsB,EAAE,CAAC;QAC5C,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAc;IAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IAClD,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,IAAI,CACV,8BAA8B,IAAI,mFAAmF,CACtH,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAc;IACzC,OAAO,CACL,wBAAwB,CAAC,IAAI,EAAE,WAAW,CAAC;QAC3C,mBAAmB,CAAC,SAAS,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAyB;IACxD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAY;IAC3C,OAAO,MAAM,IAAI,OAAO,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE;QAChD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAsB,EAAE,EAAE;YAC3C,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACtE,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,IAAI,KAAK,EAAE;oBAAE,KAAK,IAAI,CAAC,CAAC;gBAC5B,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE;YACpB,YAAY,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB;IACzD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,OAAO;SAClB,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,EAAE;QACd,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC1C,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,CACxC;SACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;SAC1C,IAAI,EAAE,CAAC;IAEV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,mEAAmE,QAAQ,GAAG,CAC/E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
/** Declared beside each CLI route; parsing and help share the same supported surface. */
|
|
2
|
+
export interface AuditArgumentContract {
|
|
3
|
+
values?: readonly string[];
|
|
4
|
+
switches?: readonly string[];
|
|
5
|
+
positionals?: number;
|
|
6
|
+
acceptsSemanticResults?: boolean;
|
|
7
|
+
}
|
|
8
|
+
export declare const NEXT_STEP_ARGUMENTS: AuditArgumentContract;
|
|
9
|
+
export declare function auditArgumentNames(contract: AuditArgumentContract): string[];
|
|
10
|
+
export declare function validateAuditArguments(command: string, args: readonly string[], contract: AuditArgumentContract): void;
|
|
11
|
+
//# sourceMappingURL=argumentContract.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"argumentContract.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/argumentContract.ts"],"names":[],"mappings":"AACA,yFAAyF;AACzF,MAAM,WAAW,qBAAqB;IACpC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,eAAO,MAAM,mBAAmB,EAAE,qBAGjC,CAAC;AACF,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,MAAM,EAAE,CAE5E;AAED,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,qBAAqB,GAAG,IAAI,CA0BtH"}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
const COMMON_VALUES = ["--root", "--artifacts-dir"];
|
|
2
|
+
export const NEXT_STEP_ARGUMENTS = {
|
|
3
|
+
values: ["--guidance", "--guidance-file", "--timeout", "--since"],
|
|
4
|
+
switches: ["--auto-fix", "--dry-run"],
|
|
5
|
+
};
|
|
6
|
+
export function auditArgumentNames(contract) {
|
|
7
|
+
return [...COMMON_VALUES, ...(contract.values ?? []), ...(contract.switches ?? []), "--help", "-h"];
|
|
8
|
+
}
|
|
9
|
+
export function validateAuditArguments(command, args, contract) {
|
|
10
|
+
const values = new Set([...COMMON_VALUES, ...(contract.values ?? [])]);
|
|
11
|
+
const switches = new Set(["--help", "-h", ...(contract.switches ?? [])]);
|
|
12
|
+
let positionalCount = 0;
|
|
13
|
+
let positionalOnly = false;
|
|
14
|
+
for (let index = 0; index < args.length; index++) {
|
|
15
|
+
const token = args[index];
|
|
16
|
+
if (token === "--" && !positionalOnly) {
|
|
17
|
+
positionalOnly = true;
|
|
18
|
+
continue;
|
|
19
|
+
}
|
|
20
|
+
if (!positionalOnly && token.startsWith("-")) {
|
|
21
|
+
const equal = token.indexOf("=");
|
|
22
|
+
const name = equal < 0 ? token : token.slice(0, equal);
|
|
23
|
+
if (switches.has(name)) {
|
|
24
|
+
if (equal >= 0)
|
|
25
|
+
throw new Error(`${command}: ${name} does not take a value.`);
|
|
26
|
+
continue;
|
|
27
|
+
}
|
|
28
|
+
if (!values.has(name))
|
|
29
|
+
throw new Error(`${command}: unsupported argument ${name}. Supported options: ${auditArgumentNames(contract).join(", ")}`);
|
|
30
|
+
if (equal >= 0) {
|
|
31
|
+
if (token.slice(equal + 1).length === 0)
|
|
32
|
+
throw new Error(`${command}: ${name} requires a value.`);
|
|
33
|
+
}
|
|
34
|
+
else {
|
|
35
|
+
const value = args[++index];
|
|
36
|
+
if (!value || value.startsWith("--"))
|
|
37
|
+
throw new Error(`${command}: ${name} requires a value; use ${name}=<value> for a value beginning with --.`);
|
|
38
|
+
}
|
|
39
|
+
}
|
|
40
|
+
else if (++positionalCount > (contract.positionals ?? 0)) {
|
|
41
|
+
throw new Error(`${command}: unexpected positional argument ${token}.`);
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
//# sourceMappingURL=argumentContract.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"argumentContract.js","sourceRoot":"","sources":["../../../src/audit/cli/argumentContract.ts"],"names":[],"mappings":"AAQA,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,iBAAiB,CAAU,CAAC;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAA0B;IACxD,MAAM,EAAE,CAAC,YAAY,EAAE,iBAAiB,EAAE,WAAW,EAAE,SAAS,CAAC;IACjE,QAAQ,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC;CACtC,CAAC;AACF,MAAM,UAAU,kBAAkB,CAAC,QAA+B;IAChE,OAAO,CAAC,GAAG,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,IAAuB,EAAE,QAA+B;IAC9G,MAAM,MAAM,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAAC,cAAc,GAAG,IAAI,CAAC;YAAC,SAAS;QAAC,CAAC;QAC3E,IAAI,CAAC,cAAc,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACvD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,IAAI,KAAK,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,KAAK,IAAI,yBAAyB,CAAC,CAAC;gBAC9E,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,0BAA0B,IAAI,wBAAwB,kBAAkB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClJ,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBACf,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,KAAK,IAAI,oBAAoB,CAAC,CAAC;YACpG,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC5B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,KAAK,IAAI,0BAA0B,IAAI,yCAAyC,CAAC,CAAC;YACpJ,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,eAAe,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,oCAAoC,KAAK,GAAG,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
import { z } from "zod";
|
|
2
|
+
export declare const AuditReviewBindingSchema: z.ZodObject<{
|
|
3
|
+
requirement: z.ZodEnum<["ordinary", "independent", "degraded_allowed"]>;
|
|
4
|
+
promptSha256: z.ZodString;
|
|
5
|
+
semanticInputRevision: z.ZodOptional<z.ZodString>;
|
|
6
|
+
promptContentSha256: z.ZodString;
|
|
7
|
+
promptPath: z.ZodString;
|
|
8
|
+
runId: z.ZodString;
|
|
9
|
+
submissionId: z.ZodString;
|
|
10
|
+
inputs: z.ZodArray<z.ZodObject<{
|
|
11
|
+
path: z.ZodString;
|
|
12
|
+
sha256: z.ZodString;
|
|
13
|
+
}, "strict", z.ZodTypeAny, {
|
|
14
|
+
path: string;
|
|
15
|
+
sha256: string;
|
|
16
|
+
}, {
|
|
17
|
+
path: string;
|
|
18
|
+
sha256: string;
|
|
19
|
+
}>, "many">;
|
|
20
|
+
}, "strict", z.ZodTypeAny, {
|
|
21
|
+
requirement: "ordinary" | "independent" | "degraded_allowed";
|
|
22
|
+
runId: string;
|
|
23
|
+
inputs: {
|
|
24
|
+
path: string;
|
|
25
|
+
sha256: string;
|
|
26
|
+
}[];
|
|
27
|
+
promptSha256: string;
|
|
28
|
+
promptContentSha256: string;
|
|
29
|
+
promptPath: string;
|
|
30
|
+
submissionId: string;
|
|
31
|
+
semanticInputRevision?: string | undefined;
|
|
32
|
+
}, {
|
|
33
|
+
requirement: "ordinary" | "independent" | "degraded_allowed";
|
|
34
|
+
runId: string;
|
|
35
|
+
inputs: {
|
|
36
|
+
path: string;
|
|
37
|
+
sha256: string;
|
|
38
|
+
}[];
|
|
39
|
+
promptSha256: string;
|
|
40
|
+
promptContentSha256: string;
|
|
41
|
+
promptPath: string;
|
|
42
|
+
submissionId: string;
|
|
43
|
+
semanticInputRevision?: string | undefined;
|
|
44
|
+
}>;
|
|
45
|
+
export type AuditReviewBinding = z.infer<typeof AuditReviewBindingSchema>;
|
|
46
|
+
/** Immutable prompt assets are fully published before this atomic authority update. */
|
|
47
|
+
export declare function publishAuditReviewBindings(artifactsDir: string, bindings: ReadonlyMap<string, AuditReviewBinding>): Promise<void>;
|
|
48
|
+
export declare function readAuditReviewBinding(artifactsDir: string, lane: string): Promise<AuditReviewBinding | undefined>;
|
|
49
|
+
//# sourceMappingURL=auditReviewBindings.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"auditReviewBindings.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/auditReviewBindings.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS1B,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAqB1E,uFAAuF;AACvF,wBAAsB,0BAA0B,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvI;AAED,wBAAsB,sBAAsB,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAaxH"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
// sites-pinned: tests/audit/review-submission.test.ts
|
|
2
|
+
import { readFile } from "node:fs/promises";
|
|
3
|
+
import { join } from "node:path";
|
|
4
|
+
import { z } from "zod";
|
|
5
|
+
import { laneAssetsDir } from "../../shared/io/auditToolsPaths.js";
|
|
6
|
+
import { createLockedJsonStore, siblingLockPath } from "../../shared/io/lockedJsonStore.js";
|
|
7
|
+
import { hashContent } from "../../shared/hash.js";
|
|
8
|
+
import { ReviewRequirementSchema } from "../../shared/types/reviewIndependence.js";
|
|
9
|
+
const Sha256Schema = z.string().regex(/^[0-9a-f]{64}$/);
|
|
10
|
+
export const AuditReviewBindingSchema = z.object({
|
|
11
|
+
requirement: ReviewRequirementSchema,
|
|
12
|
+
promptSha256: Sha256Schema,
|
|
13
|
+
semanticInputRevision: z.string().min(1).optional(),
|
|
14
|
+
promptContentSha256: Sha256Schema,
|
|
15
|
+
promptPath: z.string().min(1),
|
|
16
|
+
runId: z.string().min(1),
|
|
17
|
+
submissionId: z.string().min(1),
|
|
18
|
+
inputs: z.array(z.object({ path: z.string().min(1), sha256: Sha256Schema }).strict()),
|
|
19
|
+
}).strict();
|
|
20
|
+
const BindingsSchema = z.object({
|
|
21
|
+
version: z.literal("audit-review-bindings/v1"),
|
|
22
|
+
bindings: z.record(AuditReviewBindingSchema),
|
|
23
|
+
}).strict();
|
|
24
|
+
function bindingStore(artifactsDir) {
|
|
25
|
+
const path = join(laneAssetsDir(artifactsDir), "review-bindings.json");
|
|
26
|
+
return createLockedJsonStore({
|
|
27
|
+
path, lockPath: siblingLockPath(path),
|
|
28
|
+
// Missing/corrupt authority never falls back to reporting history. An empty
|
|
29
|
+
// map refuses every required result until emission mints a fresh binding.
|
|
30
|
+
tolerateCorruptRead: true,
|
|
31
|
+
parse(raw) {
|
|
32
|
+
const parsed = BindingsSchema.safeParse(raw);
|
|
33
|
+
return parsed.success ? parsed.data : { version: "audit-review-bindings/v1", bindings: {} };
|
|
34
|
+
},
|
|
35
|
+
validate: value => { BindingsSchema.parse(value); },
|
|
36
|
+
});
|
|
37
|
+
}
|
|
38
|
+
/** Immutable prompt assets are fully published before this atomic authority update. */
|
|
39
|
+
export async function publishAuditReviewBindings(artifactsDir, bindings) {
|
|
40
|
+
await bindingStore(artifactsDir).mutate(current => ({ ...current, bindings: { ...current.bindings, ...Object.fromEntries(bindings) } }));
|
|
41
|
+
}
|
|
42
|
+
export async function readAuditReviewBinding(artifactsDir, lane) {
|
|
43
|
+
const binding = (await bindingStore(artifactsDir).read()).bindings[lane];
|
|
44
|
+
if (!binding)
|
|
45
|
+
return undefined;
|
|
46
|
+
for (const input of [{ path: binding.promptPath, sha256: binding.promptContentSha256 }, ...binding.inputs]) {
|
|
47
|
+
let bytes;
|
|
48
|
+
try {
|
|
49
|
+
bytes = await readFile(input.path);
|
|
50
|
+
}
|
|
51
|
+
catch (error) {
|
|
52
|
+
if (error.code === "ENOENT")
|
|
53
|
+
return undefined;
|
|
54
|
+
throw error;
|
|
55
|
+
}
|
|
56
|
+
if (hashContent(bytes) !== input.sha256)
|
|
57
|
+
return undefined;
|
|
58
|
+
}
|
|
59
|
+
return binding;
|
|
60
|
+
}
|
|
61
|
+
//# sourceMappingURL=auditReviewBindings.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"auditReviewBindings.js","sourceRoot":"","sources":["../../../src/audit/cli/auditReviewBindings.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AAEnF,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AACxD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,WAAW,EAAE,uBAAuB;IACpC,YAAY,EAAE,YAAY;IAC1B,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnD,mBAAmB,EAAE,YAAY;IACjC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;CACtF,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAC9C,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,wBAAwB,CAAC;CAC7C,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,SAAS,YAAY,CAAC,YAAoB;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,sBAAsB,CAAC,CAAC;IACvE,OAAO,qBAAqB,CAAC;QAC3B,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC;QACrC,4EAA4E;QAC5E,0EAA0E;QAC1E,mBAAmB,EAAE,IAAI;QACzB,KAAK,CAAC,GAAG;YACP,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC7C,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,0BAAmC,EAAE,QAAQ,EAAE,EAAwC,EAAE,CAAC;QAC7I,CAAC;QACD,QAAQ,EAAE,KAAK,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KACpD,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,YAAoB,EAAE,QAAiD;IACtH,MAAM,YAAY,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3I,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,YAAoB,EAAE,IAAY;IAC7E,MAAM,OAAO,GAAG,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,mBAAmB,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3G,IAAI,KAAa,CAAC;QAClB,IAAI,CAAC;YAAC,KAAK,GAAG,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAC3C,OAAO,KAAK,EAAE,CAAC;YACb,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACzE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;IAC5D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
|
@@ -56,32 +56,6 @@ export interface RunAuditStepOptions {
|
|
|
56
56
|
scopeIndexMemo?: ScopeIndexMemo;
|
|
57
57
|
}
|
|
58
58
|
export declare function runAuditStep(options: RunAuditStepOptions): Promise<AdvanceAuditResult>;
|
|
59
|
-
/**
|
|
60
|
-
* Waiter window for the artifact-tree lock (owner decision, 2026-08-29, from
|
|
61
|
-
* the CX-02 live measurement — `docs/reviews/cx02-hold-time-measurement-2026-08-29.md`):
|
|
62
|
-
* frontier folds legitimately hold this lock for 22–58.5 s on a 1,051-file
|
|
63
|
-
* repo, and hold time scales with repo size, so the 10 s `withFileLock`
|
|
64
|
-
* default converted every concurrent waiter into a deterministic failure.
|
|
65
|
-
* WAITER-SIDE ONLY: `STALE_LOCK_MS` (30 s) and the heartbeat are untouched
|
|
66
|
-
* (owner, 2026-08-28) — a wedged holder is still detected at the same speed;
|
|
67
|
-
* a live one is simply waited out.
|
|
68
|
-
*/
|
|
69
|
-
export declare const ARTIFACT_TREE_LOCK_TIMEOUT_MS = 120000;
|
|
70
|
-
/**
|
|
71
|
-
* The ONE artifact-tree hold, exported for the unified `next-step` fold.
|
|
72
|
-
*
|
|
73
|
-
* `nextStepHelpers.ts` is banned (import-boundary contract) from importing
|
|
74
|
-
* `withFileLock` or the locking `runAuditStep`; this wrapper is its sanctioned
|
|
75
|
-
* entry to the lock, and the dynamic lock-count acceptance test keeps it
|
|
76
|
-
* honest — one deterministic fold acquires the artifact-tree lock exactly
|
|
77
|
-
* once, through here.
|
|
78
|
-
*
|
|
79
|
-
* It is also the ONLY acquisition surface for this lock anywhere in the tree
|
|
80
|
-
* (contract test: `tests/audit/artifact-tree-lock-single-surface.test.ts`), so
|
|
81
|
-
* the widened waiter window ({@link ARTIFACT_TREE_LOCK_TIMEOUT_MS}) cannot be
|
|
82
|
-
* missed by a new call site.
|
|
83
|
-
*/
|
|
84
|
-
export declare function withArtifactTreeHold<T>(artifactsDir: string, runLogger: RunLogger | undefined, fn: () => Promise<T>): Promise<T>;
|
|
85
59
|
/**
|
|
86
60
|
* The LOCK-FREE, PERSIST-FREE bounded step — the fold's entry point.
|
|
87
61
|
*
|
|
@@ -127,8 +101,8 @@ export declare function ingestBatchAuditResults(options: {
|
|
|
127
101
|
audit_state: {
|
|
128
102
|
status: "blocked" | "complete" | "not_started" | "active";
|
|
129
103
|
obligations: {
|
|
130
|
-
id: string;
|
|
131
104
|
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
105
|
+
id: string;
|
|
132
106
|
reason?: string | undefined;
|
|
133
107
|
}[];
|
|
134
108
|
last_executor?: string | undefined;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auditStep.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/auditStep.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"auditStep.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/auditStep.ts"],"names":[],"mappings":"AAMA,OAAO,EAGL,SAAS,EASV,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAW7E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,eAAe,EAA2D,MAAM,oBAAoB,CAAC;AAEnH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AAChG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAE5E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,WAAW,EAAE,CAAC;IACjC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,oGAAoG;IACpG,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,oBAAoB,CAAC,EAAE,uBAAuB,CAAC;IAC/C,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,+BAA+B,CAAC,EAAE,MAAM,CAAC;IACzC,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,+BAA+B,CAAC,EAAE,MAAM,CAAC;IACzC,6BAA6B,CAAC,EAAE,MAAM,CAAC;IACvC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,uFAAuF;IACvF,+BAA+B,CAAC,EAAE,MAAM,CAAC;IACzC;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,mBAAmB,CAAC,EAAE,iCAAiC,CAAC;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CAU7B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,cAAc,EACtB,SAAS,CAAC,EAAE,SAAS,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAO7B;AA2LD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,0BAA0B,CAC9C,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,SAAS,OAAO,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CAYf;AAED,wBAAsB,uBAAuB,CAAC,OAAO,EAAE;IACrD,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;;;;;;;;;;;;;;;;;;;;GA8CA"}
|
|
@@ -1,7 +1,10 @@
|
|
|
1
|
+
import { withArtifactTreeHold } from "../../shared/io/artifactTreeHold.js";
|
|
2
|
+
import { readAuditReviewSubmission, currentAuditReviewInputRevision } from "./reviewSubmission.js";
|
|
3
|
+
import { GATE_LANES, systemicChallengeLane } from "./laneSubmissions.js";
|
|
1
4
|
// sites-pinned: tests/audit/next-step-helpers.test.ts, tests/audit/charter-emit-order.test.ts, tests/audit/executor-registry-sync.test.ts, tests/audit/pipeline-integration.test.ts
|
|
2
5
|
import { access } from "node:fs/promises";
|
|
3
6
|
import { basename, join } from "node:path";
|
|
4
|
-
import {
|
|
7
|
+
import { createMemoizedSourceReader, readJsonFile, RunLogger, verifyFindingGrounding, CharterExtractionMergedSchema, CharterComparisonSubmissionSchema, CharterFidelitySubmissionSchema, ClarificationAnswersSubmissionSchema, repoPathUniverse, systemicChallengeSchema, } from "audit-tools/shared";
|
|
5
8
|
import { loadArtifactBundle, writeCoreArtifacts, } from "../io/artifacts.js";
|
|
6
9
|
import { advanceAudit } from "../orchestrator/advance.js";
|
|
7
10
|
import { decideNextStep } from "../orchestrator/nextStep.js";
|
|
@@ -23,34 +26,6 @@ export async function runAuditStep(options) {
|
|
|
23
26
|
// lock only covers local artifact derivation and result ingestion.
|
|
24
27
|
return await withArtifactTreeHold(options.artifactsDir, runLogger, () => runAuditStepLocked(options, runLogger));
|
|
25
28
|
}
|
|
26
|
-
/**
|
|
27
|
-
* Waiter window for the artifact-tree lock (owner decision, 2026-08-29, from
|
|
28
|
-
* the CX-02 live measurement — `docs/reviews/cx02-hold-time-measurement-2026-08-29.md`):
|
|
29
|
-
* frontier folds legitimately hold this lock for 22–58.5 s on a 1,051-file
|
|
30
|
-
* repo, and hold time scales with repo size, so the 10 s `withFileLock`
|
|
31
|
-
* default converted every concurrent waiter into a deterministic failure.
|
|
32
|
-
* WAITER-SIDE ONLY: `STALE_LOCK_MS` (30 s) and the heartbeat are untouched
|
|
33
|
-
* (owner, 2026-08-28) — a wedged holder is still detected at the same speed;
|
|
34
|
-
* a live one is simply waited out.
|
|
35
|
-
*/
|
|
36
|
-
export const ARTIFACT_TREE_LOCK_TIMEOUT_MS = 120_000;
|
|
37
|
-
/**
|
|
38
|
-
* The ONE artifact-tree hold, exported for the unified `next-step` fold.
|
|
39
|
-
*
|
|
40
|
-
* `nextStepHelpers.ts` is banned (import-boundary contract) from importing
|
|
41
|
-
* `withFileLock` or the locking `runAuditStep`; this wrapper is its sanctioned
|
|
42
|
-
* entry to the lock, and the dynamic lock-count acceptance test keeps it
|
|
43
|
-
* honest — one deterministic fold acquires the artifact-tree lock exactly
|
|
44
|
-
* once, through here.
|
|
45
|
-
*
|
|
46
|
-
* It is also the ONLY acquisition surface for this lock anywhere in the tree
|
|
47
|
-
* (contract test: `tests/audit/artifact-tree-lock-single-surface.test.ts`), so
|
|
48
|
-
* the widened waiter window ({@link ARTIFACT_TREE_LOCK_TIMEOUT_MS}) cannot be
|
|
49
|
-
* missed by a new call site.
|
|
50
|
-
*/
|
|
51
|
-
export async function withArtifactTreeHold(artifactsDir, runLogger, fn) {
|
|
52
|
-
return await withFileLock(artifactTreeLockPath(artifactsDir), fn, ARTIFACT_TREE_LOCK_TIMEOUT_MS, runLogger);
|
|
53
|
-
}
|
|
54
29
|
/**
|
|
55
30
|
* The LOCK-FREE, PERSIST-FREE bounded step — the fold's entry point.
|
|
56
31
|
*
|
|
@@ -166,16 +141,16 @@ async function executeAdvance(options, bundle, runLogger) {
|
|
|
166
141
|
? CharterExtractionMergedSchema.parse(await readJsonFile(options.charterSubmissionPath))
|
|
167
142
|
: undefined;
|
|
168
143
|
const charterComparisonSubmission = options.charterComparisonSubmissionPath
|
|
169
|
-
? CharterComparisonSubmissionSchema.parse(await
|
|
144
|
+
? CharterComparisonSubmissionSchema.parse(await readAuditReviewSubmission(options.charterComparisonSubmissionPath, options.artifactsDir, GATE_LANES.charter_comparison, () => currentAuditReviewInputRevision(options.root, bundle, GATE_LANES.charter_comparison)))
|
|
170
145
|
: undefined;
|
|
171
146
|
const charterFidelitySubmission = options.charterFidelitySubmissionPath
|
|
172
|
-
? CharterFidelitySubmissionSchema.parse(await
|
|
147
|
+
? CharterFidelitySubmissionSchema.parse(await readAuditReviewSubmission(options.charterFidelitySubmissionPath, options.artifactsDir, GATE_LANES.charter_fidelity, () => currentAuditReviewInputRevision(options.root, bundle, GATE_LANES.charter_fidelity)))
|
|
173
148
|
: undefined;
|
|
174
149
|
const clarificationAnswers = options.clarificationAnswersPath
|
|
175
150
|
? ClarificationAnswersSubmissionSchema.parse(await readJsonFile(options.clarificationAnswersPath))
|
|
176
151
|
: undefined;
|
|
177
152
|
const systemicChallenge = options.systemicChallengePath
|
|
178
|
-
? systemicChallengeSchema(repoPathUniverse(bundle.repo_manifest)).parse(await
|
|
153
|
+
? systemicChallengeSchema(repoPathUniverse(bundle.repo_manifest)).parse(await readAuditReviewSubmission(options.systemicChallengePath, options.artifactsDir, systemicChallengeLane(bundle.systemic_challenge?.rounds ?? []), () => currentAuditReviewInputRevision(options.root, bundle, systemicChallengeLane(bundle.systemic_challenge?.rounds ?? []))))
|
|
179
154
|
: undefined;
|
|
180
155
|
const result = await advanceAudit(bundle, {
|
|
181
156
|
root: options.root,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auditStep.js","sourceRoot":"","sources":["../../../src/audit/cli/auditStep.ts"],"names":[],"mappings":"AAAA,oLAAoL;AACpL,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EACL,
|
|
1
|
+
{"version":3,"file":"auditStep.js","sourceRoot":"","sources":["../../../src/audit/cli/auditStep.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,yBAAyB,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACzE,oLAAoL;AACpL,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EACL,0BAA0B,EAC1B,YAAY,EACZ,SAAS,EACT,sBAAsB,EACtB,6BAA6B,EAC7B,iCAAiC,EACjC,+BAA+B,EAC/B,oCAAoC,EACpC,gBAAgB,EAChB,uBAAuB,GAExB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAG5D,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAE9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AACnF,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAyDhD,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,OAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,eAAe,CAAC,EAAE;QAC3E,OAAO,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI;KAChC,CAAC,CAAC;IACH,6EAA6E;IAC7E,6EAA6E;IAC7E,mEAAmE;IACnE,OAAO,MAAM,oBAAoB,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,GAAG,EAAE,CACtE,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC,CACvC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAA4B,EAC5B,MAAsB,EACtB,SAAqB;IAErB,MAAM,MAAM,GACV,SAAS;QACT,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,eAAe,CAAC,EAAE;YACzD,OAAO,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI;SAChC,CAAC,CAAC;IACL,OAAO,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACvD,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,OAA4B,EAC5B,SAAoB;IAEpB,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAChE,8EAA8E;IAC9E,4EAA4E;IAC5E,uEAAuE;IACvE,kCAAkC;IAClC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,cAAc,EAAE;QACpE,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,8EAA8E;AAC9E,KAAK,UAAU,cAAc,CAC3B,OAA4B,EAC5B,MAAsB,EACtB,SAAoB;IAEpB,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa;QACpC,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa;QACpC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,aAAa,CAAC;QAC7C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CACb,+BAA+B,OAAO,CAAC,gBAAgB,wDAAwD,CAChH,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,YAAY,GACd,OAAO,CAAC,gBAAgB;QACxB,CAAC,OAAO,CAAC,gBAAgB;YACvB,CAAC,CAAC,MAAM,YAAY,CAAU,OAAO,CAAC,gBAAgB,CAAC;YACvD,CAAC,CAAC,SAAS,CAAC,CAAC;IACjB,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,6EAA6E;QAC7E,yEAAyE;QACzE,wEAAwE;QACxE,4EAA4E;QAC5E,uEAAuE;QACvE,uEAAuE;QACvE,8EAA8E;QAC9E,qEAAqE;QACrE,MAAM,SAAS,GAAG,6BAA6B,CAC7C,YAAY,EACZ,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAChE,CAAC;QACF,MAAM,iBAAiB,GACrB,SAAS,IAAI,SAAS,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC/C,CAAC,CAAC,SAAS,CAAC,QAAQ;YACpB,CAAC,CAAC,YAAY,CAAC;QACnB,IAAI,SAAS,IAAI,SAAS,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,4BAA4B,SAAS,CAAC,eAAe,CAAC,MAAM,2BAA2B;gBACrF,sHAAsH,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACjK,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,iBAAiB,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE;YAC/E,SAAS;SACV,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;QAExE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,sEAAsE;YACtE,yEAAyE;YACzE,sEAAsE;YACtE,MAAM,kBAAkB,GAAG,EAAE,CAAC;YAC9B,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,GAAG,kBAAkB;gBAClC,CAAC,CAAC,aAAa,QAAQ,CAAC,MAAM,GAAG,kBAAkB,8BAA8B;gBACjF,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,0CAA0C,OAAO,CAAC,YAAY,MAAM,QAAQ,CAAC,MAAM,gBAAgB;gBAC7H,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;gBAC9D,UAAU;gBACV,IAAI,CACP,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,MAAM,wBAAwB,GAAG,OAAO,CAAC,kBAAkB;QACzD,CAAC,CAAC,MAAM,YAAY,CAA0B,OAAO,CAAC,kBAAkB,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,uBAAuB,GAC3B,OAAO,CAAC,oBAAoB;QAC5B,CAAC,OAAO,CAAC,oBAAoB;YAC3B,CAAC,CAAC,MAAM,YAAY,CAA0B,OAAO,CAAC,oBAAoB,CAAC;YAC3E,CAAC,CAAC,SAAS,CAAC,CAAC;IACjB,MAAM,gBAAgB,GAAG,OAAO,CAAC,oBAAoB;QACnD,CAAC,CAAC,MAAM,YAAY,CAAqB,OAAO,CAAC,oBAAoB,CAAC;QACtE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,2BAA2B,GAAG,OAAO,CAAC,+BAA+B;QACzE,CAAC,CAAC,MAAM,YAAY,CAChB,OAAO,CAAC,+BAA+B,CACxC;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,wBAAwB,GAAG,OAAO,CAAC,4BAA4B;QACnE,CAAC,CAAC,8BAA8B,CAAC,KAAK,CAClC,MAAM,YAAY,CAAU,OAAO,CAAC,4BAA4B,CAAC,CAClE;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,iBAAiB,GAAG,OAAO,CAAC,qBAAqB;QACrD,CAAC,CAAC,6BAA6B,CAAC,KAAK,CACjC,MAAM,YAAY,CAAU,OAAO,CAAC,qBAAqB,CAAC,CAC3D;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,2BAA2B,GAAG,OAAO,CAAC,+BAA+B;QACzE,CAAC,CAAC,iCAAiC,CAAC,KAAK,CACrC,MAAM,yBAAyB,CAAU,OAAO,CAAC,+BAA+B,EAAE,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,kBAAkB,EAAE,GAAG,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAC,CACnO;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,yBAAyB,GAAG,OAAO,CAAC,6BAA6B;QACrE,CAAC,CAAC,+BAA+B,CAAC,KAAK,CACnC,MAAM,yBAAyB,CAAU,OAAO,CAAC,6BAA6B,EAAE,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAC7N;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GAAG,OAAO,CAAC,wBAAwB;QAC3D,CAAC,CAAC,oCAAoC,CAAC,KAAK,CACxC,MAAM,YAAY,CAAU,OAAO,CAAC,wBAAwB,CAAC,CAC9D;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,iBAAiB,GAAG,OAAO,CAAC,qBAAqB;QACrD,CAAC,CAAE,uBAAuB,CACtB,gBAAgB,CAAC,MAAM,CAAC,aAAa,CAAC,CACvC,CAAC,KAAK,CACL,MAAM,yBAAyB,CAAU,OAAO,CAAC,qBAAqB,EAAE,OAAO,CAAC,YAAY,EAAE,qBAAqB,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAC3P;QACnC,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE;QACxC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS;QACT,SAAS;QACT,YAAY,EAAE,YAAyC;QACvD,wBAAwB;QACxB,uBAAuB;QACvB,gBAAgB;QAChB,2BAA2B;QAC3B,wBAAwB;QACxB,iBAAiB;QACjB,2BAA2B;QAC3B,yBAAyB;QACzB,oBAAoB;QACpB,iBAAiB;QACjB,+BAA+B,EAAE,OAAO,CAAC,+BAA+B;QACxE,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;QAChD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,0EAA0E;QAC1E,qEAAqE;QACrE,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,yEAAyE;QACzE,sEAAsE;QACtE,sDAAsD;QACtD,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YAC9B,IAAI,CAAC;gBACH,MAAM,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC7D,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,SAAS;KACV,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,IAAY,EACZ,OAA2B;IAE3B,MAAM,UAAU,GAAG,0BAA0B,EAAE,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC5D,MAAM,QAAQ,GAAI,MAAiC,CAAC,QAAQ,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS;YAC9D,MAAM,KAAK,GAAG,OAAkB,CAAC;YACjC,KAAK,CAAC,SAAS,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,OAI7C;IACC,MAAM,UAAU,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChE,4EAA4E;IAC5E,8EAA8E;IAC9E,8EAA8E;IAC9E,yCAAyC;IACzC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAChC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAU,SAAS,CAAC,CAAC,CAChE,CAAC;IACF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACpD,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAC5B,CAAC;IACnB,MAAM,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC;QAChC,CAAC,CAAC,MAAM,YAAY,CAAC;YACjB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,iBAAiB,EAAE,2BAA2B;YAC9C,gBAAgB;SACjB,CAAC;QACJ,CAAC,CAAC,IAAI,CAAC;IAET,MAAM,MAAM,GACV,IAAI,EAAE,cAAc;QACpB,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAExC,OAAO;QACL,UAAU;QACV,MAAM;QACN,WAAW,EAAE,KAAK;QAClB,mBAAmB,EACjB,IAAI,EAAE,mBAAmB,IAAI,QAAQ,CAAC,mBAAmB;QAC3D,iBAAiB,EACf,IAAI,EAAE,iBAAiB,IAAI,2BAA2B;QACxD,aAAa,EAAE,IAAI,EAAE,aAAa,IAAI,KAAK;QAC3C,iBAAiB,EAAE,IAAI,EAAE,iBAAiB,IAAI,EAAE;QAChD,gBAAgB,EACd,YAAY,UAAU,CAAC,MAAM,qBAAqB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,OAAO,CAAC,QAAQ,GAAG;YAChH,CAAC,IAAI;gBACH,CAAC,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,gBAAgB,EAAE;gBACtF,CAAC,CAAC,EAAE,CAAC;QACT,gBAAgB,EACd,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB;KACpE,CAAC;AACJ,CAAC"}
|
|
@@ -21,4 +21,6 @@ export declare function renderCharterComparisonPrompt(bundle: ArtifactBundle, op
|
|
|
21
21
|
submissionPath: string;
|
|
22
22
|
laneGraphPaths: Record<"stated" | "structural" | "revealed", string>;
|
|
23
23
|
}): string;
|
|
24
|
+
/** Bind every candidate and complete graph the comparison reader actually sees. */
|
|
25
|
+
export declare function charterComparisonInputRevision(bundle: ArtifactBundle): string;
|
|
24
26
|
//# sourceMappingURL=charterComparisonPrompt.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterComparisonPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterComparisonPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AASzD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE;IACJ,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC,QAAQ,GAAG,YAAY,GAAG,UAAU,EAAE,MAAM,CAAC,CAAC;CACtE,GACA,MAAM,CAuIR;AAED,mFAAmF;AACnF,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAK7E"}
|
|
@@ -1,3 +1,5 @@
|
|
|
1
|
+
// sites-pinned: tests/audit/charter-current-context.test.ts, tests/shared/prompt-renders-its-contract.test.ts, tests/audit/charter-emit-order.test.ts
|
|
2
|
+
import { hashContent } from "../../shared/hash.js";
|
|
1
3
|
import { CharterProvenanceSchema } from "audit-tools/shared";
|
|
2
4
|
/** The provenance-kind alternation, DERIVED from the schema at render time. */
|
|
3
5
|
const PROVENANCE_KINDS = CharterProvenanceSchema.shape.kind.options
|
|
@@ -155,4 +157,11 @@ export function renderCharterComparisonPrompt(bundle, opts) {
|
|
|
155
157
|
"",
|
|
156
158
|
].join("\n");
|
|
157
159
|
}
|
|
160
|
+
/** Bind every candidate and complete graph the comparison reader actually sees. */
|
|
161
|
+
export function charterComparisonInputRevision(bundle) {
|
|
162
|
+
return hashContent(JSON.stringify({
|
|
163
|
+
candidates: bundle.charter_register?.candidates ?? [],
|
|
164
|
+
lanes: bundle.charter_register?.lanes ?? [],
|
|
165
|
+
}));
|
|
166
|
+
}
|
|
158
167
|
//# sourceMappingURL=charterComparisonPrompt.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterComparisonPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterComparisonPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"AAAA,sJAAsJ;AACtJ,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO;KAChE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KACtB,IAAI,CAAC,IAAI,CAAC,CAAC;AAEd;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAsB,EACtB,IAGC;IAED,MAAM,UAAU,GAA8B,MAAM,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE,CAAC;IACxF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM;QACtC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACnB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YACzB,MAAM,KAAK,GACT,CAAC,CAAC,KAAK,KAAK,cAAc;gBACxB,CAAC,CAAC,iBAAiB,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAChD,CAAC,CAAC,cAAc,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,OAAO,OAAO,CAAC,CAAC,YAAY,QAAQ,CAAE,CAAC,IAAI,MAAM,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,MAAM,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,KAAK,GAAG,CAAC;QACzI,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC,mIAAmI,CAAC,CAAC;IAE1I,OAAO;QACL,sCAAsC;QACtC,EAAE;QACF,qFAAqF;QACrF,iGAAiG;QACjG,mGAAmG;QACnG,gGAAgG;QAChG,+FAA+F;QAC/F,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,eAAe;QACf,eAAe,IAAI,CAAC,cAAc,CAAC,MAAM,IAAI;QAC7C,mBAAmB,IAAI,CAAC,cAAc,CAAC,UAAU,IAAI;QACrD,iBAAiB,IAAI,CAAC,cAAc,CAAC,QAAQ,IAAI;QACjD,EAAE;QACF,4FAA4F;QAC5F,kGAAkG;QAClG,0DAA0D;QAC1D,EAAE;QACF,8CAA8C;QAC9C,EAAE;QACF,wFAAwF;QACxF,+EAA+E;QAC/E,EAAE;QACF,GAAG,cAAc;QACjB,EAAE;QACF,4BAA4B;QAC5B,iDAAiD;QACjD,2EAA2E;QAC3E,mGAAmG;QACnG,iGAAiG;QACjG,6EAA6E;QAC7E,EAAE;QACF,QAAQ;QACR,6GAA6G;QAC7G,+HAA+H;QAC/H,oGAAoG;QACpG,kGAAkG;QAClG,mGAAmG;QACnG,+FAA+F;QAC/F,oGAAoG;QACpG,2EAA2E;QAC3E,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,kGAAkG;QAClG,+EAA+E;QAC/E,EAAE;QACF,gCAAgC;QAChC,WAAW;QACX,wIAAwI;QACxI,0HAA0H;QAC1H,qEAAqE;QACrE,oEAAoE;QACpE,yFAAyF;QACzF,oGAAoG;QACpG,qEAAqE;QACrE,EAAE;QACF,+FAA+F;QAC/F,gGAAgG;QAChG,mGAAmG;QACnG,6FAA6F;QAC7F,gGAAgG;QAChG,iFAAiF;QACjF,EAAE;QACF,gGAAgG;QAChG,kGAAkG;QAClG,mGAAmG;QACnG,gGAAgG;QAChG,+FAA+F;QAC/F,0EAA0E;QAC1E,EAAE;QACF,WAAW;QACX,EAAE;QACF,sCAAsC,IAAI,CAAC,cAAc,KAAK;QAC9D,EAAE;QACF,SAAS;QACT,GAAG;QACH,wBAAwB;QACxB,OAAO;QACP,6BAA6B;QAC7B,oBAAoB;QACpB,0EAA0E;QAC1E,kEAAkE;QAClE,iFAAiF;QACjF,UAAU;QACV,qBAAqB;QACrB,wHAAwH;QACxH,kHAAkH;QAClH,kHAAkH;QAClH,SAAS;QACT,OAAO;QACP,MAAM;QACN,oBAAoB;QACpB,OAAO;QACP,4BAA4B;QAC5B,gCAAgC;QAChC,mCAAmC;QACnC,gEAAgE;QAChE,qBAAqB;QACrB,6KAA6K;QAC7K,gNAAgN;QAChN,qMAAqM;QACrM,UAAU;QACV,8EAA8E;QAC9E,OAAO;QACP,KAAK;QACL,GAAG;QACH,KAAK;QACL,EAAE;QACF,kGAAkG;QAClG,kGAAkG;QAClG,6FAA6F;QAC7F,EAAE;QACF,6IAA6I;QAC7I,yDAAyD,gBAAgB,GAAG;QAC5E,oJAAoJ;QACpJ,qEAAqE;QACrE,+QAA+Q;QAC/Q,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,8BAA8B,CAAC,MAAsB;IACnE,OAAO,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,UAAU,EAAE,MAAM,CAAC,gBAAgB,EAAE,UAAU,IAAI,EAAE;QACrD,KAAK,EAAE,MAAM,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE;KAC5C,CAAC,CAAC,CAAC;AACN,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterExtractionPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAKnE;;;;;;;;;;;;;;GAcG;AAEH,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,OAAO,GAChB,oBAAoB,EAAE,CAExB;AAkDD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE;IAChD,IAAI,EAAE,oBAAoB,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB,GAAG,MAAM,
|
|
1
|
+
{"version":3,"file":"charterExtractionPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAKnE;;;;;;;;;;;;;;GAcG;AAEH,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,OAAO,GAChB,oBAAoB,EAAE,CAExB;AAkDD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE;IAChD,IAAI,EAAE,oBAAoB,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB,GAAG,MAAM,CAwHT"}
|
|
@@ -51,6 +51,20 @@ const KIND_LANE_TEXT = {
|
|
|
51
51
|
export function renderCharterKindLanePrompt(opts) {
|
|
52
52
|
const lane = KIND_LANE_TEXT[opts.kind];
|
|
53
53
|
const exampleKind = exampleProvenanceKind(opts.kind);
|
|
54
|
+
const examples = opts.kind === "stated" ? [
|
|
55
|
+
{ ref: "README.md", quote: "We promise customers only deliveries the fleet can complete." },
|
|
56
|
+
{ ref: "README.md", quote: "Dispatchers offer delivery windows backed by available fleet capacity." },
|
|
57
|
+
{ ref: "README.md", quote: "Keepable windows make our delivery promises trustworthy." },
|
|
58
|
+
] : opts.kind === "structural" ? [
|
|
59
|
+
{ ref: "src/scheduling/promise.ts#Promise", quote: "class Promise {" },
|
|
60
|
+
{ ref: "src/scheduling/window.ts#DeliveryWindow", quote: "class DeliveryWindow {" },
|
|
61
|
+
{ ref: "src/scheduling/window.ts", quote: 'import { canFleetKeep } from "./fleet";' },
|
|
62
|
+
] : [
|
|
63
|
+
{ ref: "src/scheduling/promise.ts#promiseDelivery", quote: "return reserveFleetCapacity(window);" },
|
|
64
|
+
{ ref: "src/scheduling/window.ts#offerWindow", quote: "if (!canFleetKeep(window)) return undefined;" },
|
|
65
|
+
{ ref: "src/scheduling/window.ts", quote: "return promiseDelivery(window);" },
|
|
66
|
+
];
|
|
67
|
+
const provenanceExample = (index) => JSON.stringify([{ kind: exampleKind, ...examples[index] }]);
|
|
54
68
|
return [
|
|
55
69
|
`# Design review — charter extraction, the **${opts.kind}** lane`,
|
|
56
70
|
"",
|
|
@@ -119,7 +133,7 @@ export function renderCharterKindLanePrompt(opts) {
|
|
|
119
133
|
...(opts.kind === "stated"
|
|
120
134
|
? []
|
|
121
135
|
: [' "files": ["src/scheduling/promise.ts"],']),
|
|
122
|
-
` "provenance":
|
|
136
|
+
` "provenance": ${provenanceExample(0)},`,
|
|
123
137
|
' "confidence": "medium"',
|
|
124
138
|
" },",
|
|
125
139
|
" {",
|
|
@@ -130,7 +144,7 @@ export function renderCharterKindLanePrompt(opts) {
|
|
|
130
144
|
: [
|
|
131
145
|
' "files": ["src/scheduling/window.ts", "src/scheduling/fleet.ts"],',
|
|
132
146
|
]),
|
|
133
|
-
` "provenance":
|
|
147
|
+
` "provenance": ${provenanceExample(1)},`,
|
|
134
148
|
' "confidence": "high"',
|
|
135
149
|
" }",
|
|
136
150
|
" ],",
|
|
@@ -138,7 +152,7 @@ export function renderCharterKindLanePrompt(opts) {
|
|
|
138
152
|
" {",
|
|
139
153
|
' "from": "keepable-delivery-windows",',
|
|
140
154
|
' "to": "promises-the-customer-can-trust",',
|
|
141
|
-
` "provenance":
|
|
155
|
+
` "provenance": ${provenanceExample(2)}`,
|
|
142
156
|
" }",
|
|
143
157
|
" ]",
|
|
144
158
|
"}",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterExtractionPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAqB9E;;;;GAIG;AACH,MAAM,UAAU,gCAAgC,CAC9C,QAAiB;IAEjB,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,IAA0B;IACvD,MAAM,OAAO,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,MAAM,OAAO,GAAsB,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,2CAA2C,OAAO,6CAA6C,gBAAgB,GAAG,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wGAAwG;AACxG,MAAM,cAAc,GAGhB;IACF,MAAM,EAAE;QACN,WAAW,EAAE,uEAAuE;QACpF,MAAM,EACJ,wHAAwH;QAC1H,SAAS,EACP,yJAAyJ;KAC5J;IACD,UAAU,EAAE;QACV,WAAW,EACT,uIAAuI;QACzI,MAAM,EACJ,sKAAsK;QACxK,SAAS,EACP,kHAAkH;KACrH;IACD,QAAQ,EAAE;QACR,WAAW,EACT,gGAAgG;QAClG,MAAM,EACJ,gGAAgG;QAClG,SAAS,EACP,kHAAkH;KACrH;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAI3C;IACC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"charterExtractionPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAqB9E;;;;GAIG;AACH,MAAM,UAAU,gCAAgC,CAC9C,QAAiB;IAEjB,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,IAA0B;IACvD,MAAM,OAAO,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,MAAM,OAAO,GAAsB,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,2CAA2C,OAAO,6CAA6C,gBAAgB,GAAG,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,wGAAwG;AACxG,MAAM,cAAc,GAGhB;IACF,MAAM,EAAE;QACN,WAAW,EAAE,uEAAuE;QACpF,MAAM,EACJ,wHAAwH;QAC1H,SAAS,EACP,yJAAyJ;KAC5J;IACD,UAAU,EAAE;QACV,WAAW,EACT,uIAAuI;QACzI,MAAM,EACJ,sKAAsK;QACxK,SAAS,EACP,kHAAkH;KACrH;IACD,QAAQ,EAAE;QACR,WAAW,EACT,gGAAgG;QAClG,MAAM,EACJ,gGAAgG;QAClG,SAAS,EACP,kHAAkH;KACrH;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAI3C;IACC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;QACxC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,8DAA8D,EAAE;QAC3F,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,wEAAwE,EAAE;QACrG,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,0DAA0D,EAAE;KACxF,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC;QAC/B,EAAE,GAAG,EAAE,mCAAmC,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtE,EAAE,GAAG,EAAE,yCAAyC,EAAE,KAAK,EAAE,wBAAwB,EAAE;QACnF,EAAE,GAAG,EAAE,0BAA0B,EAAE,KAAK,EAAE,yCAAyC,EAAE;KACtF,CAAC,CAAC,CAAC;QACF,EAAE,GAAG,EAAE,2CAA2C,EAAE,KAAK,EAAE,sCAAsC,EAAE;QACnG,EAAE,GAAG,EAAE,sCAAsC,EAAE,KAAK,EAAE,8CAA8C,EAAE;QACtG,EAAE,GAAG,EAAE,0BAA0B,EAAE,KAAK,EAAE,iCAAiC,EAAE;KAC9E,CAAC;IACF,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC,CAAC;IAElH,OAAO;QACL,+CAA+C,IAAI,CAAC,IAAI,SAAS;QACjE,EAAE;QACF,+FAA+F;QAC/F,iGAAiG;QACjG,oEAAoE;QACpE,EAAE;QACF,2FAA2F;QAC3F,iGAAiG;QACjG,0CAA0C,IAAI,CAAC,IAAI,kEAAkE;QACrH,EAAE;QACF,0BAA0B;QAC1B,IAAI,CAAC,WAAW;QAChB,EAAE;QACF,8BAA8B;QAC9B,EAAE;QACF,iGAAiG;QACjG,sFAAsF;QACtF,EAAE;QACF,0FAA0F;QAC1F,gFAAgF;QAChF,EAAE;QACF,uGAAuG;QACvG,kKAAkK;QAClK,EAAE;QACF,yBAAyB;QACzB,EAAE;QACF,UAAU,IAAI,CAAC,UAAU,qNAAqN;QAC9O,EAAE;QACF,IAAI,CAAC,MAAM;QACX,EAAE;QACF,qGAAqG;QACrG,iGAAiG;QACjG,mGAAmG;QACnG,qGAAqG;QACrG,oBAAoB;QACpB,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,6OAA6O;QAC7O,EAAE;QACF,oBAAoB;QACpB,wEAAwE;QACxE,8DAA8D;QAC9D,uIAAuI;QACvI,yDAAyD;QACzD,IAAI,CAAC,SAAS;QACd,EAAE;QACF,+EAA+E;QAC/E,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,8DAA8D;QAC9D,oFAAoF;QACpF,EAAE;QACF,WAAW;QACX,EAAE;QACF,sCAAsC,IAAI,CAAC,cAAc,KAAK;QAC9D,EAAE;QACF,SAAS;QACT,GAAG;QACH,cAAc;QACd,OAAO;QACP,qDAAqD;QACrD,2FAA2F;QAC3F,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC;QACtD,uBAAuB,iBAAiB,CAAC,CAAC,CAAC,GAAG;QAC9C,8BAA8B;QAC9B,QAAQ;QACR,OAAO;QACP,+CAA+C;QAC/C,6FAA6F;QAC7F,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,yEAAyE;aAC1E,CAAC;QACN,uBAAuB,iBAAiB,CAAC,CAAC,CAAC,GAAG;QAC9C,4BAA4B;QAC5B,OAAO;QACP,MAAM;QACN,cAAc;QACd,OAAO;QACP,4CAA4C;QAC5C,gDAAgD;QAChD,uBAAuB,iBAAiB,CAAC,CAAC,CAAC,EAAE;QAC7C,OAAO;QACP,KAAK;QACL,GAAG;QACH,KAAK;QACL,EAAE;QACF,4JAA4J;QAC5J,qCAAqC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK;QAClF,mSAAmS;QACnS,2TAA2T;QAC3T,sTAAsT;QACtT,+PAA+P;QAC/P,+DAA+D;QAC/D,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
|
|
@@ -4,7 +4,7 @@ import { type LaneSubmissionShortfall } from "./laneSubmissions.js";
|
|
|
4
4
|
export interface ConceptualReviewSettings {
|
|
5
5
|
max_units?: number;
|
|
6
6
|
conceptual_depth: "shallow" | "deep";
|
|
7
|
-
perspectives?:
|
|
7
|
+
perspectives?: NonNullable<IntentCheckpoint["design_review"]>["perspectives"];
|
|
8
8
|
/**
|
|
9
9
|
* True when any confirmed charter is low-confidence (Phase A conceptual spine):
|
|
10
10
|
* a review depending on a low-confidence charter must "flag for human intent
|