audit-tools 0.51.7 → 0.51.9
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/clarification/blastRadius.d.ts +17 -16
- package/dist/audit/clarification/blastRadius.d.ts.map +1 -1
- package/dist/audit/clarification/blastRadius.js +48 -44
- package/dist/audit/clarification/blastRadius.js.map +1 -1
- package/dist/audit/clarification/dials.d.ts +4 -4
- package/dist/audit/clarification/dials.d.ts.map +1 -1
- package/dist/audit/clarification/dials.js +1 -0
- package/dist/audit/clarification/dials.js.map +1 -1
- package/dist/audit/clarification/partition.d.ts +12 -21
- package/dist/audit/clarification/partition.d.ts.map +1 -1
- package/dist/audit/clarification/partition.js +52 -59
- package/dist/audit/clarification/partition.js.map +1 -1
- package/dist/audit/clarification/riskGate.d.ts +2 -2
- package/dist/audit/clarification/riskGate.d.ts.map +1 -1
- package/dist/audit/clarification/riskGate.js +1 -0
- package/dist/audit/clarification/riskGate.js.map +1 -1
- package/dist/audit/clarification/voiQueue.d.ts +3 -3
- package/dist/audit/clarification/voiQueue.d.ts.map +1 -1
- package/dist/audit/clarification/voiQueue.js +1 -0
- package/dist/audit/clarification/voiQueue.js.map +1 -1
- package/dist/audit/cli/auditStep.d.ts +14 -2
- package/dist/audit/cli/auditStep.d.ts.map +1 -1
- package/dist/audit/cli/auditStep.js +13 -5
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/charterClarificationPrompt.d.ts +6 -9
- package/dist/audit/cli/charterClarificationPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterClarificationPrompt.js +35 -47
- package/dist/audit/cli/charterClarificationPrompt.js.map +1 -1
- package/dist/audit/cli/charterComparisonPrompt.d.ts +14 -0
- package/dist/audit/cli/charterComparisonPrompt.d.ts.map +1 -0
- package/dist/audit/cli/charterComparisonPrompt.js +111 -0
- package/dist/audit/cli/charterComparisonPrompt.js.map +1 -0
- package/dist/audit/cli/charterExtractionPrompt.d.ts +14 -17
- package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.js +81 -104
- package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
- package/dist/audit/cli/charterFidelityPrompt.d.ts +14 -0
- package/dist/audit/cli/charterFidelityPrompt.d.ts.map +1 -0
- package/dist/audit/cli/charterFidelityPrompt.js +58 -0
- package/dist/audit/cli/charterFidelityPrompt.js.map +1 -0
- package/dist/audit/cli/conceptualDispatch.d.ts +39 -6
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +59 -12
- 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 +46 -2
- package/dist/audit/cli/confirmIntentStep.js.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts +18 -6
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +525 -67
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/fanoutLanes.d.ts +24 -0
- package/dist/audit/cli/fanoutLanes.d.ts.map +1 -1
- package/dist/audit/cli/fanoutLanes.js +9 -1
- package/dist/audit/cli/fanoutLanes.js.map +1 -1
- package/dist/audit/cli/foldTransaction.d.ts.map +1 -1
- package/dist/audit/cli/foldTransaction.js +14 -3
- package/dist/audit/cli/foldTransaction.js.map +1 -1
- package/dist/audit/cli/forceSynthesisCommand.d.ts.map +1 -1
- package/dist/audit/cli/forceSynthesisCommand.js +4 -1
- package/dist/audit/cli/forceSynthesisCommand.js.map +1 -1
- package/dist/audit/cli/intakeCommand.d.ts.map +1 -1
- package/dist/audit/cli/intakeCommand.js +1 -0
- package/dist/audit/cli/intakeCommand.js.map +1 -1
- package/dist/audit/cli/laneSubmissions.d.ts +18 -12
- package/dist/audit/cli/laneSubmissions.d.ts.map +1 -1
- package/dist/audit/cli/laneSubmissions.js +40 -4
- package/dist/audit/cli/laneSubmissions.js.map +1 -1
- package/dist/audit/cli/laneValidators.d.ts.map +1 -1
- package/dist/audit/cli/laneValidators.js +14 -14
- package/dist/audit/cli/laneValidators.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts +7 -0
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +206 -31
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +92 -28
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +363 -126
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/prompts.d.ts +10 -0
- package/dist/audit/cli/prompts.d.ts.map +1 -1
- package/dist/audit/cli/prompts.js +3 -1
- package/dist/audit/cli/prompts.js.map +1 -1
- package/dist/audit/cli/reviewRun.d.ts +12 -0
- package/dist/audit/cli/reviewRun.d.ts.map +1 -1
- package/dist/audit/cli/reviewRun.js +242 -29
- package/dist/audit/cli/reviewRun.js.map +1 -1
- package/dist/audit/cli/sampleRunCommand.d.ts +12 -4
- package/dist/audit/cli/sampleRunCommand.d.ts.map +1 -1
- package/dist/audit/cli/semanticReviewStep.d.ts +9 -0
- package/dist/audit/cli/semanticReviewStep.d.ts.map +1 -1
- package/dist/audit/cli/semanticReviewStep.js +71 -30
- package/dist/audit/cli/semanticReviewStep.js.map +1 -1
- package/dist/audit/cli/statusCommand.d.ts.map +1 -1
- package/dist/audit/cli/statusCommand.js +29 -66
- package/dist/audit/cli/statusCommand.js.map +1 -1
- package/dist/audit/cli/stepScaffold.d.ts +43 -2
- package/dist/audit/cli/stepScaffold.d.ts.map +1 -1
- package/dist/audit/cli/stepScaffold.js +24 -10
- package/dist/audit/cli/stepScaffold.js.map +1 -1
- package/dist/audit/cli/steps.d.ts +52 -29
- package/dist/audit/cli/steps.d.ts.map +1 -1
- package/dist/audit/cli/steps.js +44 -14
- package/dist/audit/cli/steps.js.map +1 -1
- package/dist/audit/cli/synthesizeCommand.d.ts.map +1 -1
- package/dist/audit/cli/synthesizeCommand.js +4 -1
- package/dist/audit/cli/synthesizeCommand.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +65 -16
- package/dist/audit/contracts/workerSchemas.d.ts.map +1 -1
- package/dist/audit/contracts/workerSchemas.js +89 -8
- package/dist/audit/contracts/workerSchemas.js.map +1 -1
- package/dist/audit/contracts/wrapperResponse.d.ts +14 -21
- package/dist/audit/contracts/wrapperResponse.d.ts.map +1 -1
- package/dist/audit/contracts/wrapperResponse.js +0 -1
- package/dist/audit/contracts/wrapperResponse.js.map +1 -1
- package/dist/audit/decompose/findings.d.ts.map +1 -1
- package/dist/audit/decompose/findings.js +10 -2
- package/dist/audit/decompose/findings.js.map +1 -1
- package/dist/audit/extractors/designAssessment.d.ts.map +1 -1
- package/dist/audit/extractors/designAssessment.js +13 -4
- package/dist/audit/extractors/designAssessment.js.map +1 -1
- package/dist/audit/extractors/disposition.d.ts.map +1 -1
- package/dist/audit/extractors/disposition.js +17 -5
- package/dist/audit/extractors/disposition.js.map +1 -1
- package/dist/audit/extractors/graph.d.ts +1 -1
- package/dist/audit/extractors/graph.js +1 -1
- package/dist/audit/extractors/graphRoutes.d.ts.map +1 -1
- package/dist/audit/extractors/graphRoutes.js +224 -17
- package/dist/audit/extractors/graphRoutes.js.map +1 -1
- package/dist/audit/extractors/leadLineage.d.ts +10 -0
- package/dist/audit/extractors/leadLineage.d.ts.map +1 -0
- package/dist/audit/extractors/leadLineage.js +44 -0
- package/dist/audit/extractors/leadLineage.js.map +1 -0
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +25 -8
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/io/runArtifacts.d.ts +76 -1
- package/dist/audit/io/runArtifacts.d.ts.map +1 -1
- package/dist/audit/io/runArtifacts.js +113 -20
- package/dist/audit/io/runArtifacts.js.map +1 -1
- package/dist/audit/io/toolingManifest.d.ts +15 -0
- package/dist/audit/io/toolingManifest.d.ts.map +1 -1
- package/dist/audit/io/toolingManifest.js +158 -11
- package/dist/audit/io/toolingManifest.js.map +1 -1
- package/dist/audit/orchestrator/advance.d.ts.map +1 -1
- package/dist/audit/orchestrator/advance.js +30 -4
- package/dist/audit/orchestrator/advance.js.map +1 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts +28 -5
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/artifactMetadata.d.ts.map +1 -1
- package/dist/audit/orchestrator/artifactMetadata.js +39 -1
- package/dist/audit/orchestrator/artifactMetadata.js.map +1 -1
- package/dist/audit/orchestrator/auditTaskUtils.d.ts.map +1 -1
- package/dist/audit/orchestrator/auditTaskUtils.js +4 -1
- package/dist/audit/orchestrator/auditTaskUtils.js.map +1 -1
- package/dist/audit/orchestrator/charterClarificationExecutor.d.ts +11 -17
- package/dist/audit/orchestrator/charterClarificationExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterClarificationExecutor.js +61 -93
- package/dist/audit/orchestrator/charterClarificationExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterComparisonExecutor.d.ts +24 -0
- package/dist/audit/orchestrator/charterComparisonExecutor.d.ts.map +1 -0
- package/dist/audit/orchestrator/charterComparisonExecutor.js +110 -0
- package/dist/audit/orchestrator/charterComparisonExecutor.js.map +1 -0
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts +34 -20
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.js +80 -106
- package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterFidelityExecutor.d.ts +20 -0
- package/dist/audit/orchestrator/charterFidelityExecutor.d.ts.map +1 -0
- package/dist/audit/orchestrator/charterFidelityExecutor.js +76 -0
- package/dist/audit/orchestrator/charterFidelityExecutor.js.map +1 -0
- package/dist/audit/orchestrator/charterFidelityPacket.d.ts +7 -0
- package/dist/audit/orchestrator/charterFidelityPacket.d.ts.map +1 -0
- package/dist/audit/orchestrator/charterFidelityPacket.js +68 -0
- package/dist/audit/orchestrator/charterFidelityPacket.js.map +1 -0
- package/dist/audit/orchestrator/dependencyMap.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencyMap.js +9 -8
- package/dist/audit/orchestrator/dependencyMap.js.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.js +7 -6
- package/dist/audit/orchestrator/dependencySlices.js.map +1 -1
- package/dist/audit/orchestrator/designReviewProjection.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewProjection.js +7 -0
- package/dist/audit/orchestrator/designReviewProjection.js.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js +58 -19
- package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +6 -2
- 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 +22 -8
- package/dist/audit/orchestrator/executors.js.map +1 -1
- package/dist/audit/orchestrator/hostInputPause.js +1 -0
- package/dist/audit/orchestrator/hostInputPause.js.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointExecutor.d.ts +40 -0
- package/dist/audit/orchestrator/intentCheckpointExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointExecutor.js +32 -2
- package/dist/audit/orchestrator/intentCheckpointExecutor.js.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts +5 -3
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.js +34 -5
- package/dist/audit/orchestrator/intentCheckpointGate.js.map +1 -1
- package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts +2 -2
- package/dist/audit/orchestrator/intentInterpreter.d.ts +1 -1
- package/dist/audit/orchestrator/intentInterpreter.js +1 -1
- package/dist/audit/orchestrator/nextStep.d.ts.map +1 -1
- package/dist/audit/orchestrator/nextStep.js +3 -1
- package/dist/audit/orchestrator/nextStep.js.map +1 -1
- package/dist/audit/orchestrator/obligationPolicy.d.ts +2 -1
- package/dist/audit/orchestrator/obligationPolicy.d.ts.map +1 -1
- package/dist/audit/orchestrator/obligationPolicy.js +19 -7
- package/dist/audit/orchestrator/obligationPolicy.js.map +1 -1
- package/dist/audit/orchestrator/partitionTaskGraph.d.ts.map +1 -1
- package/dist/audit/orchestrator/partitionTaskGraph.js +1 -0
- package/dist/audit/orchestrator/partitionTaskGraph.js.map +1 -1
- package/dist/audit/orchestrator/resultIngestion.d.ts.map +1 -1
- package/dist/audit/orchestrator/resultIngestion.js +3 -1
- package/dist/audit/orchestrator/resultIngestion.js.map +1 -1
- package/dist/audit/orchestrator/runtimeCommand.d.ts +72 -0
- package/dist/audit/orchestrator/runtimeCommand.d.ts.map +1 -1
- package/dist/audit/orchestrator/runtimeCommand.js +177 -20
- package/dist/audit/orchestrator/runtimeCommand.js.map +1 -1
- package/dist/audit/orchestrator/scopeIndexBaseline.d.ts +56 -0
- package/dist/audit/orchestrator/scopeIndexBaseline.d.ts.map +1 -0
- package/dist/audit/orchestrator/scopeIndexBaseline.js +114 -0
- package/dist/audit/orchestrator/scopeIndexBaseline.js.map +1 -0
- package/dist/audit/orchestrator/staleness.d.ts +70 -1
- package/dist/audit/orchestrator/staleness.d.ts.map +1 -1
- package/dist/audit/orchestrator/staleness.js +171 -21
- 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 +49 -25
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/orchestrator/structureExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/structureExecutors.js +7 -5
- package/dist/audit/orchestrator/structureExecutors.js.map +1 -1
- package/dist/audit/orchestrator/syntaxResolutionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/syntaxResolutionExecutor.js +1 -0
- package/dist/audit/orchestrator/syntaxResolutionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts +13 -2
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js +166 -12
- package/dist/audit/orchestrator/systemicChallengeExecutor.js.map +1 -1
- package/dist/audit/reporting/mergeFindings.d.ts.map +1 -1
- package/dist/audit/reporting/mergeFindings.js +6 -5
- package/dist/audit/reporting/mergeFindings.js.map +1 -1
- package/dist/audit/reporting/synthesis.d.ts +117 -0
- package/dist/audit/reporting/synthesis.d.ts.map +1 -1
- package/dist/audit/reporting/synthesis.js +277 -10
- package/dist/audit/reporting/synthesis.js.map +1 -1
- package/dist/audit/supervisor/operatorHandoff.d.ts +0 -2
- package/dist/audit/supervisor/operatorHandoff.d.ts.map +1 -1
- package/dist/audit/supervisor/operatorHandoff.js +0 -3
- package/dist/audit/supervisor/operatorHandoff.js.map +1 -1
- package/dist/audit/systemic/coveredThemes.d.ts +28 -0
- package/dist/audit/systemic/coveredThemes.d.ts.map +1 -0
- package/dist/audit/systemic/coveredThemes.js +52 -0
- package/dist/audit/systemic/coveredThemes.js.map +1 -0
- package/dist/audit/systemic/reviewFileMap.d.ts +81 -0
- package/dist/audit/systemic/reviewFileMap.d.ts.map +1 -0
- package/dist/audit/systemic/reviewFileMap.js +169 -0
- package/dist/audit/systemic/reviewFileMap.js.map +1 -0
- package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js +149 -26
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
- package/dist/audit/systemic/systemicChallengeLoop.d.ts +44 -4
- package/dist/audit/systemic/systemicChallengeLoop.d.ts.map +1 -1
- package/dist/audit/systemic/systemicChallengeLoop.js +114 -10
- package/dist/audit/systemic/systemicChallengeLoop.js.map +1 -1
- package/dist/audit/types/auditState.d.ts +6 -6
- package/dist/audit/types/charterClarification.d.ts +9 -4
- package/dist/audit/types/charterClarification.d.ts.map +1 -1
- package/dist/audit/types/charterRegister.d.ts +48 -93
- package/dist/audit/types/charterRegister.d.ts.map +1 -1
- package/dist/audit/types/charterRegister.js +15 -26
- package/dist/audit/types/charterRegister.js.map +1 -1
- package/dist/audit/types/conceptualAdjudication.d.ts +88 -18
- package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -1
- package/dist/audit/types/conceptualAdjudication.js +77 -16
- package/dist/audit/types/conceptualAdjudication.js.map +1 -1
- package/dist/audit/types/designAssessment.d.ts +8 -6
- package/dist/audit/types/designAssessment.d.ts.map +1 -1
- package/dist/audit/types/reviewPlanning.d.ts +2 -2
- package/dist/audit/types/systemicChallenge.d.ts +43 -7
- package/dist/audit/types/systemicChallenge.d.ts.map +1 -1
- package/dist/audit/types.d.ts +71 -10
- package/dist/audit/types.d.ts.map +1 -1
- package/dist/audit/types.js +23 -2
- package/dist/audit/types.js.map +1 -1
- package/dist/audit/validation/auditResults.d.ts +30 -0
- package/dist/audit/validation/auditResults.d.ts.map +1 -1
- package/dist/audit/validation/auditResults.js +50 -8
- package/dist/audit/validation/auditResults.js.map +1 -1
- package/dist/audit/validation/ingestIssueCodes.d.ts +1 -1
- package/dist/audit/validation/ingestIssueCodes.d.ts.map +1 -1
- package/dist/audit/validation/ingestIssueCodes.js +14 -0
- package/dist/audit/validation/ingestIssueCodes.js.map +1 -1
- package/dist/remediate/contractPipeline/artifactStore.d.ts +97 -2
- package/dist/remediate/contractPipeline/artifactStore.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/artifactStore.js +163 -9
- 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 +93 -3
- package/dist/remediate/contractPipeline/changeClassification.js.map +1 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js +31 -0
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js.map +1 -1
- package/dist/remediate/contractPipeline/derive.d.ts +0 -14
- package/dist/remediate/contractPipeline/derive.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/derive.js +52 -24
- package/dist/remediate/contractPipeline/derive.js.map +1 -1
- package/dist/remediate/contractPipeline/finalizedContractFields.d.ts +50 -0
- package/dist/remediate/contractPipeline/finalizedContractFields.d.ts.map +1 -0
- package/dist/remediate/contractPipeline/finalizedContractFields.js +77 -0
- package/dist/remediate/contractPipeline/finalizedContractFields.js.map +1 -0
- package/dist/remediate/contractPipeline/idRegistry.d.ts +85 -0
- package/dist/remediate/contractPipeline/idRegistry.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/idRegistry.js +147 -0
- package/dist/remediate/contractPipeline/idRegistry.js.map +1 -1
- package/dist/remediate/contractPipeline/phaseCut.d.ts +13 -16
- package/dist/remediate/contractPipeline/phaseCut.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/phaseCut.js +15 -30
- package/dist/remediate/contractPipeline/phaseCut.js.map +1 -1
- package/dist/remediate/contractPipeline/reviewSnapshot.d.ts +20 -1
- package/dist/remediate/contractPipeline/reviewSnapshot.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/reviewSnapshot.js +23 -7
- package/dist/remediate/contractPipeline/reviewSnapshot.js.map +1 -1
- package/dist/remediate/contractPipeline/semanticProjection.d.ts +17 -0
- package/dist/remediate/contractPipeline/semanticProjection.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/semanticProjection.js +6 -9
- package/dist/remediate/contractPipeline/semanticProjection.js.map +1 -1
- package/dist/remediate/contractPipeline/sketchSource.d.ts +183 -0
- package/dist/remediate/contractPipeline/sketchSource.d.ts.map +1 -0
- package/dist/remediate/contractPipeline/sketchSource.js +255 -0
- package/dist/remediate/contractPipeline/sketchSource.js.map +1 -0
- package/dist/remediate/findingFilter.d.ts.map +1 -1
- package/dist/remediate/findingFilter.js +1 -0
- package/dist/remediate/findingFilter.js.map +1 -1
- package/dist/remediate/index.d.ts +81 -0
- package/dist/remediate/index.d.ts.map +1 -1
- package/dist/remediate/index.js +162 -53
- package/dist/remediate/index.js.map +1 -1
- package/dist/remediate/intake.d.ts +43 -0
- package/dist/remediate/intake.d.ts.map +1 -1
- package/dist/remediate/intake.js +82 -13
- package/dist/remediate/intake.js.map +1 -1
- package/dist/remediate/phases/close.d.ts +33 -2
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +227 -13
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/phases/closeVerifyHeadEvidence.d.ts +154 -0
- package/dist/remediate/phases/closeVerifyHeadEvidence.d.ts.map +1 -0
- package/dist/remediate/phases/closeVerifyHeadEvidence.js +242 -0
- package/dist/remediate/phases/closeVerifyHeadEvidence.js.map +1 -0
- package/dist/remediate/state/runStatus.d.ts +35 -0
- package/dist/remediate/state/runStatus.d.ts.map +1 -0
- package/dist/remediate/state/runStatus.js +46 -0
- package/dist/remediate/state/runStatus.js.map +1 -0
- package/dist/remediate/state/store.d.ts +52 -2
- package/dist/remediate/state/store.d.ts.map +1 -1
- package/dist/remediate/state/store.js +124 -21
- package/dist/remediate/state/store.js.map +1 -1
- package/dist/remediate/state/types.d.ts +83 -13
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts +65 -1
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +302 -85
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js +58 -21
- package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts +87 -2
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +344 -44
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/finalGate.d.ts +109 -5
- package/dist/remediate/steps/finalGate.d.ts.map +1 -1
- package/dist/remediate/steps/finalGate.js +135 -27
- package/dist/remediate/steps/finalGate.js.map +1 -1
- package/dist/remediate/steps/gateCommands.d.ts +167 -0
- package/dist/remediate/steps/gateCommands.d.ts.map +1 -1
- package/dist/remediate/steps/gateCommands.js +428 -1
- package/dist/remediate/steps/gateCommands.js.map +1 -1
- package/dist/remediate/steps/intakeResolver.d.ts +2 -13
- package/dist/remediate/steps/intakeResolver.d.ts.map +1 -1
- package/dist/remediate/steps/intakeResolver.js +22 -4
- package/dist/remediate/steps/intakeResolver.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +44 -40
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +501 -106
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/stepWriter.d.ts +1 -1
- package/dist/remediate/steps/stepWriter.d.ts.map +1 -1
- package/dist/remediate/steps/stepWriter.js +1 -0
- package/dist/remediate/steps/stepWriter.js.map +1 -1
- package/dist/remediate/steps/types.d.ts +32 -1
- package/dist/remediate/steps/types.d.ts.map +1 -1
- package/dist/remediate/steps/types.js +1 -0
- package/dist/remediate/steps/types.js.map +1 -1
- package/dist/remediate/types/options.d.ts +8 -0
- package/dist/remediate/types/options.d.ts.map +1 -1
- package/dist/remediate/utils/fileIntegrity.d.ts +8 -0
- package/dist/remediate/utils/fileIntegrity.d.ts.map +1 -1
- package/dist/remediate/utils/fileIntegrity.js +12 -1
- package/dist/remediate/utils/fileIntegrity.js.map +1 -1
- package/dist/remediate/validation/artifacts.d.ts +1 -1
- package/dist/remediate/validation/artifacts.d.ts.map +1 -1
- package/dist/remediate/validation/artifacts.js +19 -2
- 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 +26 -39
- package/dist/remediate/validation/contractPipeline.js.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts +18 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.js +33 -5
- package/dist/remediate/validation/contractPipelineGates.js.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.d.ts +83 -5
- package/dist/shared/analyzers/acquisitionEngine.d.ts.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.js +46 -14
- package/dist/shared/analyzers/acquisitionEngine.js.map +1 -1
- package/dist/shared/analyzers/binaryAcquisition.d.ts +35 -2
- package/dist/shared/analyzers/binaryAcquisition.d.ts.map +1 -1
- package/dist/shared/analyzers/binaryAcquisition.js +5 -5
- package/dist/shared/analyzers/binaryAcquisition.js.map +1 -1
- package/dist/shared/analyzers/candidates.d.ts.map +1 -1
- package/dist/shared/analyzers/candidates.js +1 -0
- package/dist/shared/analyzers/candidates.js.map +1 -1
- package/dist/shared/analyzers/clippy.d.ts +9 -1
- package/dist/shared/analyzers/clippy.d.ts.map +1 -1
- package/dist/shared/analyzers/clippy.js +10 -2
- package/dist/shared/analyzers/clippy.js.map +1 -1
- package/dist/shared/analyzers/normalizeExternal.d.ts.map +1 -1
- package/dist/shared/analyzers/normalizeExternal.js +1 -0
- package/dist/shared/analyzers/normalizeExternal.js.map +1 -1
- package/dist/shared/analyzers/rubocop.d.ts +7 -1
- package/dist/shared/analyzers/rubocop.d.ts.map +1 -1
- package/dist/shared/analyzers/rubocop.js +8 -2
- package/dist/shared/analyzers/rubocop.js.map +1 -1
- package/dist/shared/analyzers/types.d.ts +24 -24
- package/dist/shared/analyzers/types.d.ts.map +1 -1
- package/dist/shared/analyzers/types.js +15 -0
- package/dist/shared/analyzers/types.js.map +1 -1
- package/dist/shared/artifactFreshness.d.ts.map +1 -1
- package/dist/shared/artifactFreshness.js +42 -7
- package/dist/shared/artifactFreshness.js.map +1 -1
- package/dist/shared/chunkByBudget.d.ts.map +1 -1
- package/dist/shared/chunkByBudget.js.map +1 -1
- package/dist/shared/continuityScore.d.ts.map +1 -1
- package/dist/shared/continuityScore.js +12 -4
- package/dist/shared/continuityScore.js.map +1 -1
- package/dist/shared/decompose/charterClarification.d.ts +49 -45
- package/dist/shared/decompose/charterClarification.d.ts.map +1 -1
- package/dist/shared/decompose/charterClarification.js +50 -57
- package/dist/shared/decompose/charterClarification.js.map +1 -1
- package/dist/shared/decompose/charterExtraction.d.ts +616 -342
- package/dist/shared/decompose/charterExtraction.d.ts.map +1 -1
- package/dist/shared/decompose/charterExtraction.js +590 -488
- package/dist/shared/decompose/charterExtraction.js.map +1 -1
- package/dist/shared/decompose/contentCoherence.d.ts +36 -2
- package/dist/shared/decompose/contentCoherence.d.ts.map +1 -1
- package/dist/shared/decompose/contentCoherence.js +45 -5
- package/dist/shared/decompose/contentCoherence.js.map +1 -1
- package/dist/shared/decompose/modularity.d.ts +98 -1
- package/dist/shared/decompose/modularity.d.ts.map +1 -1
- package/dist/shared/decompose/modularity.js +89 -8
- package/dist/shared/decompose/modularity.js.map +1 -1
- package/dist/shared/decompose/systemicChallenge.d.ts +111 -0
- package/dist/shared/decompose/systemicChallenge.d.ts.map +1 -1
- package/dist/shared/decompose/systemicChallenge.js +28 -0
- package/dist/shared/decompose/systemicChallenge.js.map +1 -1
- package/dist/shared/engine/obligationEngine.d.ts +2 -2
- package/dist/shared/engine/obligationEngine.d.ts.map +1 -1
- package/dist/shared/engine/obligationEngine.js +8 -2
- package/dist/shared/engine/obligationEngine.js.map +1 -1
- package/dist/shared/findingSimilarity.d.ts +8 -0
- package/dist/shared/findingSimilarity.d.ts.map +1 -1
- package/dist/shared/findingSimilarity.js +10 -3
- package/dist/shared/findingSimilarity.js.map +1 -1
- package/dist/shared/findings/dedupe.d.ts +15 -0
- package/dist/shared/findings/dedupe.d.ts.map +1 -1
- package/dist/shared/findings/dedupe.js +137 -1
- package/dist/shared/findings/dedupe.js.map +1 -1
- package/dist/shared/friction/frictionRecord.d.ts.map +1 -1
- package/dist/shared/friction/frictionRecord.js +14 -1
- package/dist/shared/friction/frictionRecord.js.map +1 -1
- package/dist/shared/friction/triage.d.ts +4 -0
- package/dist/shared/friction/triage.d.ts.map +1 -1
- package/dist/shared/friction/triage.js +41 -29
- package/dist/shared/friction/triage.js.map +1 -1
- package/dist/shared/git.d.ts +14 -0
- package/dist/shared/git.d.ts.map +1 -1
- package/dist/shared/git.js +22 -0
- package/dist/shared/git.js.map +1 -1
- package/dist/shared/index.d.ts +42 -38
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +35 -23
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/intent/clauseBoundaries.d.ts +75 -0
- package/dist/shared/intent/clauseBoundaries.d.ts.map +1 -0
- package/dist/shared/intent/clauseBoundaries.js +134 -0
- package/dist/shared/intent/clauseBoundaries.js.map +1 -0
- package/dist/shared/intent/clauseInterpreter.d.ts +11 -5
- package/dist/shared/intent/clauseInterpreter.d.ts.map +1 -1
- package/dist/shared/intent/clauseInterpreter.js +16 -41
- package/dist/shared/intent/clauseInterpreter.js.map +1 -1
- package/dist/shared/intent/freeFormIntentInterpreter.d.ts +11 -0
- package/dist/shared/intent/freeFormIntentInterpreter.d.ts.map +1 -1
- package/dist/shared/intent/freeFormIntentInterpreter.js +31 -17
- package/dist/shared/intent/freeFormIntentInterpreter.js.map +1 -1
- package/dist/shared/io/fileLock.d.ts.map +1 -1
- package/dist/shared/io/fileLock.js +18 -6
- package/dist/shared/io/fileLock.js.map +1 -1
- package/dist/shared/io/frictionCapture.d.ts +25 -5
- package/dist/shared/io/frictionCapture.d.ts.map +1 -1
- package/dist/shared/io/frictionCapture.js +30 -9
- package/dist/shared/io/frictionCapture.js.map +1 -1
- package/dist/shared/io/schemaVersion.d.ts +4 -3
- package/dist/shared/io/schemaVersion.d.ts.map +1 -1
- package/dist/shared/io/schemaVersion.js +27 -4
- package/dist/shared/io/schemaVersion.js.map +1 -1
- package/dist/shared/io/stepContractWriter.d.ts +38 -4
- package/dist/shared/io/stepContractWriter.d.ts.map +1 -1
- package/dist/shared/io/stepContractWriter.js +59 -1
- package/dist/shared/io/stepContractWriter.js.map +1 -1
- package/dist/shared/loopCorePaths.d.ts.map +1 -1
- package/dist/shared/loopCorePaths.js +8 -0
- package/dist/shared/loopCorePaths.js.map +1 -1
- package/dist/shared/opencodePermissions.d.ts +27 -3
- package/dist/shared/opencodePermissions.d.ts.map +1 -1
- package/dist/shared/opencodePermissions.js +77 -26
- package/dist/shared/opencodePermissions.js.map +1 -1
- package/dist/shared/prompts.d.ts +12 -1
- package/dist/shared/prompts.d.ts.map +1 -1
- package/dist/shared/prompts.js +11 -1
- package/dist/shared/prompts.js.map +1 -1
- package/dist/shared/reReview/projectionDiff.d.ts +13 -0
- package/dist/shared/reReview/projectionDiff.d.ts.map +1 -1
- package/dist/shared/reReview/projectionDiff.js +1 -1
- package/dist/shared/reReview/projectionDiff.js.map +1 -1
- package/dist/shared/reporting/findingDisplay.d.ts +7 -0
- package/dist/shared/reporting/findingDisplay.d.ts.map +1 -1
- package/dist/shared/reporting/findingDisplay.js +8 -1
- package/dist/shared/reporting/findingDisplay.js.map +1 -1
- package/dist/shared/steps/stepEmissionScaffold.d.ts +15 -3
- package/dist/shared/steps/stepEmissionScaffold.d.ts.map +1 -1
- package/dist/shared/steps/stepEmissionScaffold.js +8 -6
- package/dist/shared/steps/stepEmissionScaffold.js.map +1 -1
- package/dist/shared/submission/hostHandoffCore.d.ts +37 -12
- package/dist/shared/submission/hostHandoffCore.d.ts.map +1 -1
- package/dist/shared/submission/hostHandoffCore.js +81 -18
- package/dist/shared/submission/hostHandoffCore.js.map +1 -1
- package/dist/shared/submission/hostResultOutcomes.d.ts +70 -1
- package/dist/shared/submission/hostResultOutcomes.d.ts.map +1 -1
- package/dist/shared/submission/hostResultOutcomes.js +66 -1
- package/dist/shared/submission/hostResultOutcomes.js.map +1 -1
- package/dist/shared/submission/submissionLedger.d.ts +86 -1
- package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
- package/dist/shared/submission/submissionLedger.js +108 -0
- package/dist/shared/submission/submissionLedger.js.map +1 -1
- package/dist/shared/submission/submissionScan.d.ts.map +1 -1
- package/dist/shared/submission/submissionScan.js +1 -0
- package/dist/shared/submission/submissionScan.js.map +1 -1
- package/dist/shared/tooling/analyzerDeps.d.ts +14 -0
- package/dist/shared/tooling/analyzerDeps.d.ts.map +1 -1
- package/dist/shared/tooling/analyzerDeps.js +23 -0
- package/dist/shared/tooling/analyzerDeps.js.map +1 -1
- package/dist/shared/tooling/commandShape.d.ts +35 -1
- package/dist/shared/tooling/commandShape.d.ts.map +1 -1
- package/dist/shared/tooling/commandShape.js +66 -4
- package/dist/shared/tooling/commandShape.js.map +1 -1
- package/dist/shared/tooling/exec.d.ts +62 -4
- package/dist/shared/tooling/exec.d.ts.map +1 -1
- package/dist/shared/tooling/exec.js +127 -8
- package/dist/shared/tooling/exec.js.map +1 -1
- package/dist/shared/types/charter.d.ts +674 -156
- package/dist/shared/types/charter.d.ts.map +1 -1
- package/dist/shared/types/charter.js +172 -118
- package/dist/shared/types/charter.js.map +1 -1
- package/dist/shared/types/closingActions.d.ts +25 -0
- package/dist/shared/types/closingActions.d.ts.map +1 -1
- package/dist/shared/types/closingActions.js +26 -0
- package/dist/shared/types/closingActions.js.map +1 -1
- package/dist/shared/types/contractPipeline/obligations.d.ts +63 -2
- package/dist/shared/types/contractPipeline/obligations.d.ts.map +1 -1
- package/dist/shared/types/contractPipeline/obligations.js +51 -0
- package/dist/shared/types/contractPipeline/obligations.js.map +1 -1
- package/dist/shared/types/contractPipeline.d.ts +1 -0
- package/dist/shared/types/contractPipeline.d.ts.map +1 -1
- package/dist/shared/types/contractPipeline.js +1 -0
- package/dist/shared/types/contractPipeline.js.map +1 -1
- package/dist/shared/types/contractPropertyShapes.d.ts +34 -0
- package/dist/shared/types/contractPropertyShapes.d.ts.map +1 -0
- package/dist/shared/types/contractPropertyShapes.js +255 -0
- package/dist/shared/types/contractPropertyShapes.js.map +1 -0
- package/dist/shared/types/finding.d.ts +376 -18
- package/dist/shared/types/finding.d.ts.map +1 -1
- package/dist/shared/types/finding.js +111 -0
- package/dist/shared/types/finding.js.map +1 -1
- package/dist/shared/types/intentCheckpoint.d.ts +214 -2
- package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
- package/dist/shared/types/intentCheckpoint.js +273 -0
- package/dist/shared/types/intentCheckpoint.js.map +1 -1
- package/dist/shared/types/intentInterpretation.d.ts +1 -1
- package/dist/shared/types/intentInterpretation.js +1 -1
- package/dist/shared/types/remediationOutcome.d.ts +294 -30
- package/dist/shared/types/remediationOutcome.d.ts.map +1 -1
- package/dist/shared/types/remediationOutcome.js +96 -7
- package/dist/shared/types/remediationOutcome.js.map +1 -1
- package/dist/shared/types/stepContract.d.ts +47 -0
- package/dist/shared/types/stepContract.d.ts.map +1 -1
- package/dist/shared/types/stepContract.js +113 -0
- package/dist/shared/types/stepContract.js.map +1 -1
- package/dist/shared/validation/charterGate.d.ts +13 -28
- package/dist/shared/validation/charterGate.d.ts.map +1 -1
- package/dist/shared/validation/charterGate.js +13 -35
- package/dist/shared/validation/charterGate.js.map +1 -1
- package/dist/shared/validation/contractConstructionSites.d.ts +116 -0
- package/dist/shared/validation/contractConstructionSites.d.ts.map +1 -0
- package/dist/shared/validation/contractConstructionSites.js +277 -0
- package/dist/shared/validation/contractConstructionSites.js.map +1 -0
- package/dist/shared/validation/designFindingGrounding.d.ts +33 -4
- package/dist/shared/validation/designFindingGrounding.d.ts.map +1 -1
- package/dist/shared/validation/designFindingGrounding.js +40 -6
- package/dist/shared/validation/designFindingGrounding.js.map +1 -1
- package/dist/shared/validation/findingGrounding.d.ts.map +1 -1
- package/dist/shared/validation/findingGrounding.js +11 -1
- package/dist/shared/validation/findingGrounding.js.map +1 -1
- package/dist/shared/validation/findingsReport.d.ts.map +1 -1
- package/dist/shared/validation/findingsReport.js +5 -0
- package/dist/shared/validation/findingsReport.js.map +1 -1
- package/docs/audit-pkg/contracts.md +8 -2
- package/opencode.json +29 -29
- package/package.json +16 -3
- package/schemas/audit-code-v1alpha1.schema.json +0 -4
- package/scripts/audit/postinstall.mjs +81 -96
- package/scripts/remediate/postinstall.mjs +43 -83
- package/scripts/shared/host-asset-plan.mjs +176 -0
- package/scripts/shared/install-host-assets.mjs +44 -1
- package/scripts/shared/primitives.mjs +89 -0
- package/skills/audit-code/SKILL.md +4 -4
- package/skills/audit-code/audit-code.prompt.md +14 -10
- package/skills/remediate-code/SKILL.md +9 -5
- package/skills/remediate-code/remediate-code.prompt.md +11 -4
- package/wrapper/audit-code-wrapper-build.mjs +6 -3
- package/dist/audit/cli/charterDeltaPrompt.d.ts +0 -18
- package/dist/audit/cli/charterDeltaPrompt.d.ts.map +0 -1
- package/dist/audit/cli/charterDeltaPrompt.js +0 -150
- package/dist/audit/cli/charterDeltaPrompt.js.map +0 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.d.ts +0 -24
- package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map +0 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.js +0 -128
- package/dist/audit/orchestrator/charterDeltaExecutor.js.map +0 -1
- package/dist/audit/supervisor/runLedger.d.ts +0 -3
- package/dist/audit/supervisor/runLedger.d.ts.map +0 -1
- package/dist/audit/supervisor/runLedger.js +0 -69
- package/dist/audit/supervisor/runLedger.js.map +0 -1
- package/dist/shared/types/executionRecord.d.ts +0 -58
- package/dist/shared/types/executionRecord.d.ts.map +0 -1
- package/dist/shared/types/executionRecord.js +0 -26
- package/dist/shared/types/executionRecord.js.map +0 -1
- package/dist/shared/types/runLedger.d.ts +0 -17
- package/dist/shared/types/runLedger.d.ts.map +0 -1
- package/dist/shared/types/runLedger.js +0 -7
- package/dist/shared/types/runLedger.js.map +0 -1
|
@@ -1,6 +1,7 @@
|
|
|
1
|
+
// 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
|
|
1
2
|
import { access } from "node:fs/promises";
|
|
2
3
|
import { basename, join } from "node:path";
|
|
3
|
-
import { artifactTreeLockPath, createMemoizedSourceReader, readJsonFile, RunLogger, verifyFindingGrounding, withFileLock,
|
|
4
|
+
import { artifactTreeLockPath, createMemoizedSourceReader, readJsonFile, RunLogger, verifyFindingGrounding, withFileLock, CharterExtractionMergedSchema, CharterComparisonSubmissionSchema, CharterFidelitySubmissionSchema, ClarificationAnswersSubmissionSchema, SystemicChallengeSubmissionSchema, } from "audit-tools/shared";
|
|
4
5
|
import { loadArtifactBundle, writeCoreArtifacts, } from "../io/artifacts.js";
|
|
5
6
|
import { advanceAudit } from "../orchestrator/advance.js";
|
|
6
7
|
import { decideNextStep } from "../orchestrator/nextStep.js";
|
|
@@ -162,10 +163,13 @@ async function executeAdvance(options, bundle, runLogger) {
|
|
|
162
163
|
? IntentEquivalenceVerdictSchema.parse(await readJsonFile(options.intentEquivalenceVerdictPath))
|
|
163
164
|
: undefined;
|
|
164
165
|
const charterSubmission = options.charterSubmissionPath
|
|
165
|
-
?
|
|
166
|
+
? CharterExtractionMergedSchema.parse(await readJsonFile(options.charterSubmissionPath))
|
|
166
167
|
: undefined;
|
|
167
|
-
const
|
|
168
|
-
?
|
|
168
|
+
const charterComparisonSubmission = options.charterComparisonSubmissionPath
|
|
169
|
+
? CharterComparisonSubmissionSchema.parse(await readJsonFile(options.charterComparisonSubmissionPath))
|
|
170
|
+
: undefined;
|
|
171
|
+
const charterFidelitySubmission = options.charterFidelitySubmissionPath
|
|
172
|
+
? CharterFidelitySubmissionSchema.parse(await readJsonFile(options.charterFidelitySubmissionPath))
|
|
169
173
|
: undefined;
|
|
170
174
|
const clarificationAnswers = options.clarificationAnswersPath
|
|
171
175
|
? ClarificationAnswersSubmissionSchema.parse(await readJsonFile(options.clarificationAnswersPath))
|
|
@@ -185,7 +189,8 @@ async function executeAdvance(options, bundle, runLogger) {
|
|
|
185
189
|
criticalFlowFallbackResults,
|
|
186
190
|
intentEquivalenceVerdict,
|
|
187
191
|
charterSubmission,
|
|
188
|
-
|
|
192
|
+
charterComparisonSubmission,
|
|
193
|
+
charterFidelitySubmission,
|
|
189
194
|
clarificationAnswers,
|
|
190
195
|
systemicChallenge,
|
|
191
196
|
systemicChallengeSubmissionHash: options.systemicChallengeSubmissionHash,
|
|
@@ -195,6 +200,9 @@ async function executeAdvance(options, bundle, runLogger) {
|
|
|
195
200
|
externalAcquisition: options.externalAcquisition,
|
|
196
201
|
since: options.since,
|
|
197
202
|
preferredExecutor: options.preferredExecutor,
|
|
203
|
+
// The fold's probe cache rides through to every probe this dispatch makes
|
|
204
|
+
// (see `ScopeIndexMemo`). Undefined for a standalone `runAuditStep`.
|
|
205
|
+
scopeIndexMemo: options.scopeIndexMemo,
|
|
198
206
|
// The plan-draw classification's lane probe: pure presence, never a read
|
|
199
207
|
// or a consume — a pending submission is a boundary the unforced draw
|
|
200
208
|
// halts at (see AdvanceAuditOptions.submissionProbe).
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auditStep.js","sourceRoot":"","sources":["../../../src/audit/cli/auditStep.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,YAAY,EACZ,SAAS,EACT,sBAAsB,EACtB,YAAY,EACZ,
|
|
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,oBAAoB,EACpB,0BAA0B,EAC1B,YAAY,EACZ,SAAS,EACT,sBAAsB,EACtB,YAAY,EACZ,6BAA6B,EAC7B,iCAAiC,EACjC,+BAA+B,EAC/B,oCAAoC,EACpC,iCAAiC,GAClC,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;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,OAAO,CAAC;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAoB,EACpB,SAAgC,EAChC,EAAoB;IAEpB,OAAO,MAAM,YAAY,CACvB,oBAAoB,CAAC,YAAY,CAAC,EAClC,EAAE,EACF,6BAA6B,EAC7B,SAAS,CACV,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,YAAY,CAAU,OAAO,CAAC,+BAA+B,CAAC,CACrE;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,yBAAyB,GAAG,OAAO,CAAC,6BAA6B;QACrE,CAAC,CAAC,+BAA+B,CAAC,KAAK,CACnC,MAAM,YAAY,CAAU,OAAO,CAAC,6BAA6B,CAAC,CACnE;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,CAAC,iCAAiC,CAAC,KAAK,CACrC,MAAM,YAAY,CAAU,OAAO,CAAC,qBAAqB,CAAC,CAC3D;QACH,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"}
|
|
@@ -1,15 +1,12 @@
|
|
|
1
1
|
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
2
|
import type { Ceiling } from "audit-tools/shared";
|
|
3
3
|
/**
|
|
4
|
-
* Render the charter-clarification host prompt (Phase D
|
|
5
|
-
*
|
|
6
|
-
*
|
|
7
|
-
*
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
* (design of record spec/conceptual-design-review-design.md §"The triangulation
|
|
11
|
-
* loop"). Only reached at a `deep`+ ceiling WITH attention > 0 and ≥1 interactive
|
|
12
|
-
* question; a shallow ceiling or zero attention runs autonomously with no host turn.
|
|
4
|
+
* Render the charter-clarification host prompt (Phase D; approved host text:
|
|
5
|
+
* docs/reviews/prompt-refinement-2026-09-13.md §10). The tool has already run the
|
|
6
|
+
* deterministic loop and surfaces the top of the VOI queue. The host relays each
|
|
7
|
+
* n-ary question — every account in the correspondence, side by side, with its
|
|
8
|
+
* citation — and records one answer: the governing channel, a rewrite of all, or
|
|
9
|
+
* leave open. Only reached at a `deep`+ ceiling WITH attention > 0.
|
|
13
10
|
*/
|
|
14
11
|
export declare function renderCharterClarificationPrompt(bundle: ArtifactBundle, opts: {
|
|
15
12
|
answersPath: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterClarificationPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterClarificationPrompt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterClarificationPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterClarificationPrompt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAA6B,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACvE,MAAM,CA+DR"}
|
|
@@ -1,41 +1,30 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Render the charter-clarification host prompt (Phase D
|
|
3
|
-
*
|
|
4
|
-
*
|
|
5
|
-
*
|
|
6
|
-
*
|
|
7
|
-
*
|
|
8
|
-
* (design of record spec/conceptual-design-review-design.md §"The triangulation
|
|
9
|
-
* loop"). Only reached at a `deep`+ ceiling WITH attention > 0 and ≥1 interactive
|
|
10
|
-
* question; a shallow ceiling or zero attention runs autonomously with no host turn.
|
|
2
|
+
* Render the charter-clarification host prompt (Phase D; approved host text:
|
|
3
|
+
* docs/reviews/prompt-refinement-2026-09-13.md §10). The tool has already run the
|
|
4
|
+
* deterministic loop and surfaces the top of the VOI queue. The host relays each
|
|
5
|
+
* n-ary question — every account in the correspondence, side by side, with its
|
|
6
|
+
* citation — and records one answer: the governing channel, a rewrite of all, or
|
|
7
|
+
* leave open. Only reached at a `deep`+ ceiling WITH attention > 0.
|
|
11
8
|
*/
|
|
12
9
|
export function renderCharterClarificationPrompt(bundle, opts) {
|
|
13
10
|
const asked = bundle.charter_clarification?.asked ?? [];
|
|
14
|
-
// The miner's unified opinion per subsystem + the tool-counted disagreement
|
|
15
|
-
// density — context the user REACTS to when answering (the telos is a lead,
|
|
16
|
-
// never the verdict; the deltas under question are what carries authority).
|
|
17
|
-
const register = bundle.charter_register;
|
|
18
|
-
const telosByNode = new Map((register?.triangulated ?? []).map((t) => [t.node_id, t]));
|
|
19
|
-
const disagreementByNode = new Map();
|
|
20
|
-
for (const d of register?.disagreement ?? []) {
|
|
21
|
-
const list = disagreementByNode.get(d.node_id) ?? [];
|
|
22
|
-
list.push(`${d.pair[0]}↔${d.pair[1]}: ${d.count}`);
|
|
23
|
-
disagreementByNode.set(d.node_id, list);
|
|
24
|
-
}
|
|
25
11
|
const questionBlocks = asked.length
|
|
26
12
|
? asked.flatMap((q, i) => {
|
|
27
|
-
const
|
|
28
|
-
|
|
13
|
+
const split = !q.split
|
|
14
|
+
? q.relation
|
|
15
|
+
: q.split.kind === "three_way"
|
|
16
|
+
? "three_way"
|
|
17
|
+
: `two_against_one: ${q.split.odd}`;
|
|
18
|
+
const subsystem = q.subsystem_id ? `subsystem \`${q.subsystem_id}\` · ` : "";
|
|
29
19
|
return [
|
|
30
|
-
`### Q${i + 1} — subsystem
|
|
20
|
+
`### Q${i + 1} — ${subsystem}${q.dimension} · ${q.relation} · ${split}`,
|
|
31
21
|
`- request_id: \`${q.request_id}\``,
|
|
32
22
|
`- blast radius: ${q.value.blast_radius}; cascade: ${q.value.cascade_count}`,
|
|
33
|
-
...(
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
...(density ? [`- channel disagreement (deltas per pair): ${density.join("; ")}`] : []),
|
|
23
|
+
...q.accounts.map((a) => {
|
|
24
|
+
const cite = a.provenance[0];
|
|
25
|
+
const ref = cite ? ` — \`${cite.ref}\`${cite.quote ? ` "${cite.quote}"` : ""}` : "";
|
|
26
|
+
return `- **${a.kind}** says: ${a.claim}${ref}`;
|
|
27
|
+
}),
|
|
39
28
|
"",
|
|
40
29
|
q.question,
|
|
41
30
|
"",
|
|
@@ -43,38 +32,37 @@ export function renderCharterClarificationPrompt(bundle, opts) {
|
|
|
43
32
|
})
|
|
44
33
|
: ["- (no interactive questions this round — nothing to ask)"];
|
|
45
34
|
return [
|
|
46
|
-
"# Design review — charter clarification
|
|
35
|
+
"# Design review — charter clarification",
|
|
47
36
|
"",
|
|
48
|
-
"
|
|
49
|
-
"
|
|
50
|
-
"
|
|
51
|
-
"your code violate your intent, shall we fix the code?\" That silently anoints",
|
|
52
|
-
"Stated as ground truth and throws away the True-charter payload. Where a",
|
|
53
|
-
"subsystem carries a **triangulated telos**, it is the miner's unified opinion",
|
|
54
|
-
"for the user to react to — useful context, never the answer.",
|
|
37
|
+
"Below are this run's highest-leverage charter questions, pre-ranked. Each comes from a verified",
|
|
38
|
+
"difference between accounts of the same goal. Any account may move — including what the docs",
|
|
39
|
+
"state — so never frame a question as \"your code violates your intent, shall we fix the code?\"",
|
|
55
40
|
"",
|
|
56
41
|
"Relay each question to the user and record ONE answer per question:",
|
|
57
|
-
"- `this_side_wins` — the FIRST charter in the pair governs.",
|
|
58
|
-
"- `that_side_wins` — the SECOND charter in the pair governs.",
|
|
59
|
-
"- `rewrite_both` — neither as-is; both rewrite to a third thing.",
|
|
60
|
-
"- `leave_open` — a deliberate held tension (a first-class decision, not a failure).",
|
|
61
42
|
"",
|
|
62
|
-
"
|
|
43
|
+
"- `governs: <channel>` — that channel's account governs; the others move to match.",
|
|
44
|
+
"- `rewrite_all` — none as-is; the accounts rewrite to a third thing.",
|
|
45
|
+
"- `leave_open` — a deliberate held tension (a decision, not a failure).",
|
|
46
|
+
"",
|
|
47
|
+
"## Questions",
|
|
48
|
+
"",
|
|
63
49
|
...questionBlocks,
|
|
64
50
|
"## Output",
|
|
65
|
-
|
|
51
|
+
"",
|
|
52
|
+
`Write the answers as JSON to \`${opts.answersPath}\`:`,
|
|
66
53
|
"",
|
|
67
54
|
"```json",
|
|
68
55
|
"{",
|
|
69
56
|
' "answers": [',
|
|
70
|
-
' { "request_id": "<one of the request_ids above>",',
|
|
71
|
-
'
|
|
57
|
+
' { "request_id": "<one of the request_ids above>", "answer": { "governs": "stated | structural | revealed" } },',
|
|
58
|
+
' { "request_id": "<one of the request_ids above>", "answer": "rewrite_all" },',
|
|
59
|
+
' { "request_id": "<one of the request_ids above>", "answer": "leave_open" }',
|
|
72
60
|
" ]",
|
|
73
61
|
"}",
|
|
74
62
|
"```",
|
|
75
63
|
"",
|
|
76
|
-
"
|
|
77
|
-
"
|
|
64
|
+
"If the user stops mid-loop, write answers for what is resolved and leave the rest unanswered",
|
|
65
|
+
"(unanswered questions stay `leave_open`). When the answers are written, run:",
|
|
78
66
|
"",
|
|
79
67
|
` ${opts.continueCommand}`,
|
|
80
68
|
"",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterClarificationPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterClarificationPrompt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterClarificationPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterClarificationPrompt.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAAsB,EACtB,IAAwE;IAExE,MAAM,KAAK,GAAgC,MAAM,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC;IAErF,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM;QACjC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK;gBACpB,CAAC,CAAC,CAAC,CAAC,QAAQ;gBACZ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;oBAC5B,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,YAAY,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,OAAO;gBACL,QAAQ,CAAC,GAAG,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,MAAM,KAAK,EAAE;gBACvE,mBAAmB,CAAC,CAAC,UAAU,IAAI;gBACnC,mBAAmB,CAAC,CAAC,KAAK,CAAC,YAAY,cAAc,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE;gBAC5E,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACtB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpF,OAAO,OAAO,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;gBAClD,CAAC,CAAC;gBACF,EAAE;gBACF,CAAC,CAAC,QAAQ;gBACV,EAAE;aACH,CAAC;QACJ,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC;IAEjE,OAAO;QACL,yCAAyC;QACzC,EAAE;QACF,iGAAiG;QACjG,8FAA8F;QAC9F,iGAAiG;QACjG,EAAE;QACF,qEAAqE;QACrE,EAAE;QACF,oFAAoF;QACpF,sEAAsE;QACtE,yEAAyE;QACzE,EAAE;QACF,cAAc;QACd,EAAE;QACF,GAAG,cAAc;QACjB,WAAW;QACX,EAAE;QACF,kCAAkC,IAAI,CAAC,WAAW,KAAK;QACvD,EAAE;QACF,SAAS;QACT,GAAG;QACH,gBAAgB;QAChB,oHAAoH;QACpH,kFAAkF;QAClF,gFAAgF;QAChF,KAAK;QACL,GAAG;QACH,KAAK;QACL,EAAE;QACF,8FAA8F;QAC9F,8EAA8E;QAC9E,EAAE;QACF,KAAK,IAAI,CAAC,eAAe,EAAE;QAC3B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
|
+
/**
|
|
3
|
+
* Render the charter-COMPARISON host prompt (steps 2–3; approved host text:
|
|
4
|
+
* docs/reviews/prompt-refinement-2026-09-13.md §9). The host is the comparison
|
|
5
|
+
* reader: it authored none of the three lane DAGs; it confirms, rejects, widens
|
|
6
|
+
* or adds correspondences over the tool's candidates and records the typed
|
|
7
|
+
* differences. Routing, severity and finding-ness are never mentioned — the tool
|
|
8
|
+
* routes by the fixed table and the fidelity lane gates findings.
|
|
9
|
+
*/
|
|
10
|
+
export declare function renderCharterComparisonPrompt(bundle: ArtifactBundle, opts: {
|
|
11
|
+
submissionPath: string;
|
|
12
|
+
laneGraphPaths: Record<"stated" | "structural" | "revealed", string>;
|
|
13
|
+
}): string;
|
|
14
|
+
//# sourceMappingURL=charterComparisonPrompt.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterComparisonPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGzD;;;;;;;GAOG;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,CAuGR"}
|
|
@@ -0,0 +1,111 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Render the charter-COMPARISON host prompt (steps 2–3; approved host text:
|
|
3
|
+
* docs/reviews/prompt-refinement-2026-09-13.md §9). The host is the comparison
|
|
4
|
+
* reader: it authored none of the three lane DAGs; it confirms, rejects, widens
|
|
5
|
+
* or adds correspondences over the tool's candidates and records the typed
|
|
6
|
+
* differences. Routing, severity and finding-ness are never mentioned — the tool
|
|
7
|
+
* routes by the fixed table and the fidelity lane gates findings.
|
|
8
|
+
*/
|
|
9
|
+
export function renderCharterComparisonPrompt(bundle, opts) {
|
|
10
|
+
const candidates = bundle.charter_register?.candidates ?? [];
|
|
11
|
+
const candidateLines = candidates.length
|
|
12
|
+
? candidates.map((c) => {
|
|
13
|
+
const [a, b] = c.members;
|
|
14
|
+
const basis = c.basis === "file_overlap"
|
|
15
|
+
? `file overlap: ${c.evidence_paths.join(", ")}`
|
|
16
|
+
: `cross-ref: ${c.evidence_paths.join(", ")}`;
|
|
17
|
+
return `- \`${c.candidate_id}\` — ${a.kind}:\`${a.node_ids.join(",")}\` ↔ ${b.kind}:\`${b.node_ids.join(",")}\` (basis: ${basis})`;
|
|
18
|
+
})
|
|
19
|
+
: ["- (the tool found no candidates — add any correspondence you can evidence, or affirm `no_correspondences`)"];
|
|
20
|
+
return [
|
|
21
|
+
"# Design review — charter comparison (correspondences and differences)",
|
|
22
|
+
"",
|
|
23
|
+
"Three readers each built a goal graph of this repository from one evidence channel:",
|
|
24
|
+
"**stated** (docs and comments), **structural** (file tree, declarations, imports), **revealed**",
|
|
25
|
+
"(comment-stripped code). Edges mean `from` SERVES `to`. You authored none of them. Your job is to",
|
|
26
|
+
"say which parts of the three graphs speak about the same thing, and how their accounts differ.",
|
|
27
|
+
"Do not merge the graphs and do not write a unified purpose; the three accounts stay separate.",
|
|
28
|
+
"",
|
|
29
|
+
"## The three goal graphs",
|
|
30
|
+
"",
|
|
31
|
+
"Read them at:",
|
|
32
|
+
`- stated: \`${opts.laneGraphPaths.stated}\``,
|
|
33
|
+
`- structural: \`${opts.laneGraphPaths.structural}\``,
|
|
34
|
+
`- revealed: \`${opts.laneGraphPaths.revealed}\``,
|
|
35
|
+
"",
|
|
36
|
+
"## Candidate correspondences (tool-proposed)",
|
|
37
|
+
"",
|
|
38
|
+
"Each candidate pairs regions the tool found related by file overlap or by a provenance",
|
|
39
|
+
"cross-reference. Confirm, reject, or widen each one; add any the tool missed.",
|
|
40
|
+
"",
|
|
41
|
+
...candidateLines,
|
|
42
|
+
"",
|
|
43
|
+
"Rules:",
|
|
44
|
+
"- A correspondence may join one node to one node, several nodes, or a connected subgraph on the other side.",
|
|
45
|
+
"- A correspondence you add must cite one provenance ref per side; the tool re-checks both.",
|
|
46
|
+
"- A node that matches nothing stays uncorresponded. Do not force a match.",
|
|
47
|
+
"",
|
|
48
|
+
"## Differences",
|
|
49
|
+
"",
|
|
50
|
+
"For every confirmed correspondence, record each way the accounts differ. File each difference on",
|
|
51
|
+
"exactly one dimension; the rule says when it belongs there and not elsewhere:",
|
|
52
|
+
"",
|
|
53
|
+
"| Dimension | File here when |",
|
|
54
|
+
"|---|---|",
|
|
55
|
+
"| `purpose` | Holding the subsystem fixed, the goal labels still contradict (an explicit non-goal against a pursued goal files here) |",
|
|
56
|
+
"| `presence` | No node at the same level matches in a channel that should cover the goal; a missing child goal counts here, at its level |",
|
|
57
|
+
"| `responsibility` | Goal labels match, owner or location differs |",
|
|
58
|
+
"| `hierarchy` | The node matches, the parents or subgoals differ |",
|
|
59
|
+
"| `scope` | Adding a when / for-whom / to-what-extent qualifier reconciles the claims |",
|
|
60
|
+
"| `standing` | The claims reconcile once versioned in time: planned, active, deprecated, removed |",
|
|
61
|
+
"| `standard` | Both agree on what and where, disagree on how well |",
|
|
62
|
+
"",
|
|
63
|
+
"A difference holds the account of every channel in the correspondence — two or three. Give each",
|
|
64
|
+
"difference one relation judged across all of them: `equivalent` (same claim, other words),",
|
|
65
|
+
"`complementary` (no account contradicts another), or `incompatible` (some two cannot both hold).",
|
|
66
|
+
"For an `incompatible` difference also give the `split`: `two_against_one` with the odd channel",
|
|
67
|
+
"named, or `three_way`. For a `presence` difference, say whether the silent channel should have",
|
|
68
|
+
"covered the goal (`covered_channel_gap: true`).",
|
|
69
|
+
"",
|
|
70
|
+
"## Output",
|
|
71
|
+
"",
|
|
72
|
+
`Write your submission as JSON to \`${opts.submissionPath}\`:`,
|
|
73
|
+
"",
|
|
74
|
+
"```json",
|
|
75
|
+
"{",
|
|
76
|
+
' "correspondences": [',
|
|
77
|
+
" {",
|
|
78
|
+
' "candidate_id": "<tool candidate id, or omit for one you add>",',
|
|
79
|
+
' "verdict": "confirm | reject | widen",',
|
|
80
|
+
' "members": [',
|
|
81
|
+
' { "kind": "stated", "node_ids": ["billing-trust"] },',
|
|
82
|
+
' { "kind": "revealed", "node_ids": ["charge-capture", "fraud-check"] }',
|
|
83
|
+
" ],",
|
|
84
|
+
' "evidence": [{ "kind": "doc", "ref": "docs/billing.md#Goals", "quote": "..." }, { "kind": "code", "ref": "src/billing/stripe.ts#capture", "quote": "..." }]',
|
|
85
|
+
" }",
|
|
86
|
+
" ],",
|
|
87
|
+
' "differences": [',
|
|
88
|
+
" {",
|
|
89
|
+
' "correspondence": "<index or candidate_id of the correspondence above>",',
|
|
90
|
+
' "dimension": "standing",',
|
|
91
|
+
' "relation": "incompatible",',
|
|
92
|
+
' "split": { "kind": "two_against_one", "odd": "stated" },',
|
|
93
|
+
' "accounts": [',
|
|
94
|
+
' { "kind": "stated", "claim": "SSO is planned", "provenance": [{ "kind": "doc", "ref": "docs/roadmap.md:40", "quote": "SSO planned" }] },',
|
|
95
|
+
' { "kind": "structural", "claim": "SSO is a shipped auth module", "provenance": [{ "kind": "code", "ref": "src/auth/index.ts#samlLogin", "quote": "export { samlLogin }" }] },',
|
|
96
|
+
' { "kind": "revealed", "claim": "SSO login is implemented and wired", "provenance": [{ "kind": "code", "ref": "src/auth/saml.ts#samlLogin", "quote": "export function samlLogin" }] }',
|
|
97
|
+
" ],",
|
|
98
|
+
' "gap": "The roadmap describes as planned what the code already ships.",',
|
|
99
|
+
' "covered_channel_gap": false',
|
|
100
|
+
" }",
|
|
101
|
+
" ]",
|
|
102
|
+
"}",
|
|
103
|
+
"```",
|
|
104
|
+
"",
|
|
105
|
+
"- Every `node_id` must exist in the named graph. Every `kind` is one of `stated`, `structural`, `revealed`.",
|
|
106
|
+
"- `equivalent` differences are welcome: they corroborate the match.",
|
|
107
|
+
'- If no candidate and no addition corresponds anywhere, write `"correspondences": []` and `"differences": []` and set `"no_correspondences": true`.',
|
|
108
|
+
"",
|
|
109
|
+
].join("\n");
|
|
110
|
+
}
|
|
111
|
+
//# sourceMappingURL=charterComparisonPrompt.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterComparisonPrompt.js","sourceRoot":"","sources":["../../../src/audit/cli/charterComparisonPrompt.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;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,4GAA4G,CAAC,CAAC;IAEnH,OAAO;QACL,wEAAwE;QACxE,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,8CAA8C;QAC9C,EAAE;QACF,wFAAwF;QACxF,+EAA+E;QAC/E,EAAE;QACF,GAAG,cAAc;QACjB,EAAE;QACF,QAAQ;QACR,6GAA6G;QAC7G,4FAA4F;QAC5F,2EAA2E;QAC3E,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,kGAAkG;QAClG,+EAA+E;QAC/E,EAAE;QACF,gCAAgC;QAChC,WAAW;QACX,wIAAwI;QACxI,4IAA4I;QAC5I,qEAAqE;QACrE,oEAAoE;QACpE,yFAAyF;QACzF,oGAAoG;QACpG,qEAAqE;QACrE,EAAE;QACF,iGAAiG;QACjG,4FAA4F;QAC5F,kGAAkG;QAClG,gGAAgG;QAChG,gGAAgG;QAChG,iDAAiD;QACjD,EAAE;QACF,WAAW;QACX,EAAE;QACF,sCAAsC,IAAI,CAAC,cAAc,KAAK;QAC9D,EAAE;QACF,SAAS;QACT,GAAG;QACH,wBAAwB;QACxB,OAAO;QACP,uEAAuE;QACvE,8CAA8C;QAC9C,oBAAoB;QACpB,8DAA8D;QAC9D,+EAA+E;QAC/E,UAAU;QACV,mKAAmK;QACnK,OAAO;QACP,MAAM;QACN,oBAAoB;QACpB,OAAO;QACP,gFAAgF;QAChF,gCAAgC;QAChC,mCAAmC;QACnC,gEAAgE;QAChE,qBAAqB;QACrB,kJAAkJ;QAClJ,uLAAuL;QACvL,8LAA8L;QAC9L,UAAU;QACV,+EAA+E;QAC/E,oCAAoC;QACpC,OAAO;QACP,KAAK;QACL,GAAG;QACH,KAAK;QACL,EAAE;QACF,6GAA6G;QAC7G,qEAAqE;QACrE,qJAAqJ;QACrJ,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
|
|
@@ -1,32 +1,29 @@
|
|
|
1
1
|
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
|
-
import type { Ceiling,
|
|
2
|
+
import type { Ceiling, CharterLaneKind } from "audit-tools/shared";
|
|
3
3
|
/**
|
|
4
|
-
* Per-kind charter-extraction LANE prompts (
|
|
5
|
-
*
|
|
6
|
-
*
|
|
7
|
-
*
|
|
8
|
-
*
|
|
4
|
+
* Per-kind charter-extraction LANE prompts (step 1 of the charter layer; approved
|
|
5
|
+
* host text: docs/reviews/prompt-refinement-2026-09-13.md §8). The host supplies
|
|
6
|
+
* JUDGMENT — one goal DAG per lane, purposes in TELOS terms, edges meaning
|
|
7
|
+
* `from` SERVES `to`, evidence on nodes and edges — while the tool supplies
|
|
8
|
+
* ENFORCEMENT at ingest (packet feeding, universe grounding, cycle refusal, level
|
|
9
|
+
* derivation, citation checking, candidate correspondences).
|
|
9
10
|
*
|
|
10
|
-
* Channel purity is a property of the INPUT
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
14
|
-
* depends on an agent obeying a "do not read X" instruction. `true` is NOT a
|
|
15
|
-
* lane — it is nominated by the independent delta miner at the deepest rung,
|
|
16
|
-
* downstream of triangulation. Lane prompts are ADVANCE-FREE (no
|
|
17
|
-
* continue-command).
|
|
11
|
+
* Channel purity is a property of the INPUT: each lane's prompt points at a
|
|
12
|
+
* tool-materialized evidence PACKET holding only that channel's material, so
|
|
13
|
+
* blindness never depends on an agent obeying a "do not read X" instruction.
|
|
14
|
+
* `true` is NOT a lane. Lane prompts are ADVANCE-FREE (no continue-command).
|
|
18
15
|
*/
|
|
19
16
|
/** The three estimator kinds — every extraction lane; never `true`. */
|
|
20
|
-
export type EstimatorCharterKind =
|
|
17
|
+
export type EstimatorCharterKind = CharterLaneKind;
|
|
21
18
|
/**
|
|
22
19
|
* The extraction kinds a run's ceiling requests, in canonical order. The three
|
|
23
20
|
* estimator channels extract at every charter-authorizing ceiling; `deepest`
|
|
24
|
-
* changes what
|
|
21
|
+
* changes what may be nominated downstream, never the lane set.
|
|
25
22
|
*/
|
|
26
23
|
export declare function charterExtractionKindsForCeiling(_ceiling: Ceiling): EstimatorCharterKind[];
|
|
27
24
|
/**
|
|
28
25
|
* Render ONE kind's lane prompt. The lane is blind by construction: it carries
|
|
29
|
-
* only its own kind's
|
|
26
|
+
* only its own kind's perspective, its materialized evidence packet, and its
|
|
30
27
|
* submission path.
|
|
31
28
|
*/
|
|
32
29
|
export declare function renderCharterKindLanePrompt(bundle: ArtifactBundle, opts: {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterExtractionPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterExtractionPrompt.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/charterExtractionPrompt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAKnE;;;;;;;;;;;;GAYG;AAEH,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,OAAO,GAChB,oBAAoB,EAAE,CAExB;AAgCD;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE;IACJ,IAAI,EAAE,oBAAoB,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB,GACA,MAAM,CAsGR"}
|