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,12 +1,13 @@
|
|
|
1
|
+
// sites-pinned: tests/audit/charter-extraction-executor.test.ts
|
|
1
2
|
import { join } from "node:path";
|
|
2
3
|
import { CHARTER_REGISTER_SCHEMA_VERSION, } from "../types/charterRegister.js";
|
|
3
|
-
import { CHARTER_PACKET_MANIFEST_SCHEMA_VERSION,
|
|
4
|
+
import { CHARTER_PACKET_MANIFEST_SCHEMA_VERSION, CharterLaneKindSchema, assembleLaneGraph, proposeCorrespondences, checkCitations, laneAssetsDir, readOptionalJsonFile, resolveRunBoundDesignReview, } from "audit-tools/shared";
|
|
4
5
|
import { charterExtractionCoverageFilename } from "../cli/laneSubmissions.js";
|
|
5
6
|
import { charterExtractionKindsForCeiling } from "../cli/charterExtractionPrompt.js";
|
|
6
7
|
/**
|
|
7
8
|
* Resolve the charter-layer ceiling from the confirmed checkpoint. The ceiling is
|
|
8
9
|
* the consent dial captured at `intent_checkpoint`; when the host never set it we
|
|
9
|
-
* fall back to the
|
|
10
|
+
* fall back to the run-bound `conceptual_depth` (deep → a `deep` ceiling) and default
|
|
10
11
|
* to `shallow` — conversation-first, the charter layer is opt-in. Exported so the
|
|
11
12
|
* obligation gate and the prompt renderer resolve depth identically (one source).
|
|
12
13
|
*/
|
|
@@ -14,27 +15,15 @@ export function resolveCharterCeiling(checkpoint) {
|
|
|
14
15
|
const dr = checkpoint?.design_review;
|
|
15
16
|
if (dr?.ceiling)
|
|
16
17
|
return dr.ceiling;
|
|
17
|
-
if (
|
|
18
|
+
if (resolveRunBoundDesignReview(checkpoint)?.conceptual_depth === "deep") {
|
|
18
19
|
return { rung: "deep" };
|
|
20
|
+
}
|
|
19
21
|
return { rung: "shallow" };
|
|
20
22
|
}
|
|
21
23
|
/** Whether the ceiling authorizes a charter-extraction pass at all (deep or deeper). */
|
|
22
24
|
export function ceilingRequestsCharters(ceiling) {
|
|
23
25
|
return ceiling.rung === "deep" || ceiling.rung === "deepest";
|
|
24
26
|
}
|
|
25
|
-
/**
|
|
26
|
-
* Build the `node_id → members` lookup from the Phase-B consensus scaffold. Only
|
|
27
|
-
* CONSENSUS nodes (confident on both robustness scores) are charter-reviewable;
|
|
28
|
-
* contested nodes are hotspots, not subsystems. A submission referencing any other
|
|
29
|
-
* node is grounded out by `assembleCharters`.
|
|
30
|
-
*/
|
|
31
|
-
function consensusMembers(bundle) {
|
|
32
|
-
const members = new Map();
|
|
33
|
-
for (const node of bundle.structure_decomposition?.consensus ?? []) {
|
|
34
|
-
members.set(node.node_id, node.members);
|
|
35
|
-
}
|
|
36
|
-
return members;
|
|
37
|
-
}
|
|
38
27
|
/** Provenance kinds whose `ref` is a repository path, so a citation check applies. */
|
|
39
28
|
const PATH_SHAPED_PROVENANCE = new Set(["doc", "code", "comment"]);
|
|
40
29
|
/**
|
|
@@ -56,33 +45,35 @@ async function loadPacketManifests(artifactsDir, ceiling) {
|
|
|
56
45
|
}
|
|
57
46
|
return manifests;
|
|
58
47
|
}
|
|
59
|
-
/** Canonical kind order
|
|
48
|
+
/** Canonical kind order — content-derived, never arrival order. */
|
|
49
|
+
function kindIndex(kind) {
|
|
50
|
+
const index = CharterLaneKindSchema.options.indexOf(kind);
|
|
51
|
+
return index < 0 ? 99 : index;
|
|
52
|
+
}
|
|
60
53
|
function sortCoverage(coverage) {
|
|
61
|
-
|
|
62
|
-
return [...coverage].sort((a, b) => (order.get(a.kind) ?? 99) - (order.get(b.kind) ?? 99));
|
|
54
|
+
return [...coverage].sort((a, b) => kindIndex(a.kind) - kindIndex(b.kind));
|
|
63
55
|
}
|
|
64
56
|
/**
|
|
65
|
-
* Check every path-shaped provenance citation the
|
|
66
|
-
* the repository and against
|
|
67
|
-
*
|
|
68
|
-
*
|
|
69
|
-
* 75-of-75, because its only two producers were node-file membership and the
|
|
70
|
-
* True-charter gate — and the overshoots lived in `provenance[].ref`, a field the
|
|
71
|
-
* check never read. This is the check that was missing, and
|
|
72
|
-
* `citation_validation` is the affirmation that it RAN: an empty issue list is
|
|
73
|
-
* only ever emitted beside a stated status and a stated count.
|
|
57
|
+
* Check every path-shaped provenance citation the lane DAGs carry — on nodes AND
|
|
58
|
+
* on edges — against the repository and against the line runs the packets
|
|
59
|
+
* actually delivered. `citation_validation` is the affirmation that the check
|
|
60
|
+
* RAN: an empty issue list is only ever emitted beside a stated status and count.
|
|
74
61
|
*/
|
|
75
|
-
function
|
|
62
|
+
export function checkLaneCitations(lanes, options) {
|
|
76
63
|
const citations = [];
|
|
77
64
|
let citationCount = 0;
|
|
78
|
-
for (const
|
|
79
|
-
|
|
80
|
-
|
|
65
|
+
for (const lane of lanes) {
|
|
66
|
+
const owners = [
|
|
67
|
+
...lane.nodes.map((n) => ({ id: `${lane.kind}:${n.node_id}`, provenance: n.provenance })),
|
|
68
|
+
...lane.edges.map((e) => ({ id: `${lane.kind}:${e.from}->${e.to}`, provenance: e.provenance })),
|
|
69
|
+
];
|
|
70
|
+
for (const owner of owners) {
|
|
71
|
+
for (const provenance of owner.provenance) {
|
|
81
72
|
citationCount += 1;
|
|
82
73
|
if (!PATH_SHAPED_PROVENANCE.has(provenance.kind))
|
|
83
74
|
continue;
|
|
84
75
|
citations.push({
|
|
85
|
-
owner_id:
|
|
76
|
+
owner_id: owner.id,
|
|
86
77
|
ref: provenance.ref,
|
|
87
78
|
...(provenance.quote ? { quote: provenance.quote } : {}),
|
|
88
79
|
});
|
|
@@ -125,57 +116,53 @@ function checkCharterCitations(subsystems, options) {
|
|
|
125
116
|
},
|
|
126
117
|
};
|
|
127
118
|
}
|
|
119
|
+
/** An empty register — the omit shape, shared by every charter executor's omit branch. */
|
|
120
|
+
export function emptyCharterRegister(ceiling, generated_at, status) {
|
|
121
|
+
return {
|
|
122
|
+
schema_version: CHARTER_REGISTER_SCHEMA_VERSION,
|
|
123
|
+
generated_at,
|
|
124
|
+
target: "charter",
|
|
125
|
+
ceiling,
|
|
126
|
+
...(status ? { status } : {}),
|
|
127
|
+
lanes: [],
|
|
128
|
+
candidates: [],
|
|
129
|
+
correspondences: [],
|
|
130
|
+
differences: [],
|
|
131
|
+
findings: [],
|
|
132
|
+
validation_issues: [],
|
|
133
|
+
evidence_coverage: [],
|
|
134
|
+
// A pass that authored nothing has nothing to certify. Reporting `checked`
|
|
135
|
+
// here would be an affirmation over work never examined.
|
|
136
|
+
citation_validation: {
|
|
137
|
+
status: "no_citations",
|
|
138
|
+
citation_count: 0,
|
|
139
|
+
checked_count: 0,
|
|
140
|
+
failed_count: 0,
|
|
141
|
+
delivered_evidence_checked: false,
|
|
142
|
+
},
|
|
143
|
+
};
|
|
144
|
+
}
|
|
128
145
|
/**
|
|
129
|
-
* Charter-extraction executor (
|
|
146
|
+
* Charter-extraction executor (step 1). Two modes, gated by the ceiling:
|
|
130
147
|
*
|
|
131
148
|
* - **omit** (`shallow` ceiling, or no submission): write an empty `status:omitted`
|
|
132
|
-
* register so the obligation is satisfied with no LLM pass.
|
|
133
|
-
*
|
|
134
|
-
*
|
|
135
|
-
*
|
|
136
|
-
*
|
|
137
|
-
*
|
|
138
|
-
*
|
|
139
|
-
*
|
|
140
|
-
* deltas + goal_graph are mined by the INDEPENDENT charter_delta pass (no author
|
|
141
|
-
* marks its own homework), so the register is left with empty
|
|
142
|
-
* deltas/findings/goal_graph and `deltas_pending` set whenever it produced ≥1
|
|
143
|
-
* subsystem for the delta-miner to reason over.
|
|
149
|
+
* register so the obligation is satisfied with no LLM pass.
|
|
150
|
+
* - **ingest** (`deep`/`deepest` ceiling + the merged lane submissions): assemble
|
|
151
|
+
* each lane's goal DAG (ids unique, edges resolve, cycles refused, levels
|
|
152
|
+
* derived, scopes grounded — `assembleLaneGraph`), CHECK every path-shaped
|
|
153
|
+
* provenance citation on nodes and edges against the repository and the packets,
|
|
154
|
+
* PROPOSE the correspondence candidates deterministically, and flag
|
|
155
|
+
* `comparison_pending` whenever any lane produced a node — the comparison reader
|
|
156
|
+
* (a different pass; no author marks its own homework) is owed the next turn.
|
|
144
157
|
*
|
|
145
|
-
* `root` and `artifactsDir` are
|
|
146
|
-
*
|
|
147
|
-
* would throw before the `not_run` abstention could ever be recorded — which
|
|
148
|
-
* would make the abstention unreachable and the affirmation a lie.
|
|
158
|
+
* `root` and `artifactsDir` are OPTIONAL: the omit branch needs no disk, and
|
|
159
|
+
* forcing a root would throw before the `not_run` abstention could be recorded.
|
|
149
160
|
*/
|
|
150
161
|
export async function runCharterExtractionExecutor(bundle, submission, options = {}) {
|
|
151
162
|
const ceiling = resolveCharterCeiling(bundle.intent_checkpoint);
|
|
152
163
|
const generated_at = new Date().toISOString();
|
|
153
164
|
if (!submission || !ceilingRequestsCharters(ceiling)) {
|
|
154
|
-
const omitted =
|
|
155
|
-
schema_version: CHARTER_REGISTER_SCHEMA_VERSION,
|
|
156
|
-
generated_at,
|
|
157
|
-
target: "charter",
|
|
158
|
-
ceiling,
|
|
159
|
-
status: "omitted",
|
|
160
|
-
subsystems: [],
|
|
161
|
-
goal_graph: { nodes: [], edges: [] },
|
|
162
|
-
deltas: [],
|
|
163
|
-
findings: [],
|
|
164
|
-
triangulated: [],
|
|
165
|
-
disagreement: [],
|
|
166
|
-
validation_issues: [],
|
|
167
|
-
evidence_coverage: [],
|
|
168
|
-
// A pass that authored nothing has nothing to certify. Reporting
|
|
169
|
-
// `checked` here would be an affirmation over work never examined —
|
|
170
|
-
// the false-green shape this field exists to close.
|
|
171
|
-
citation_validation: {
|
|
172
|
-
status: "no_citations",
|
|
173
|
-
citation_count: 0,
|
|
174
|
-
checked_count: 0,
|
|
175
|
-
failed_count: 0,
|
|
176
|
-
delivered_evidence_checked: false,
|
|
177
|
-
},
|
|
178
|
-
};
|
|
165
|
+
const omitted = emptyCharterRegister(ceiling, generated_at, "omitted");
|
|
179
166
|
return {
|
|
180
167
|
updated: { ...bundle, charter_register: omitted },
|
|
181
168
|
artifacts_written: ["charter_register.json"],
|
|
@@ -184,44 +171,30 @@ export async function runCharterExtractionExecutor(bundle, submission, options =
|
|
|
184
171
|
: `Charter extraction omitted (ceiling '${ceiling.rung}' does not request the charter layer).`,
|
|
185
172
|
};
|
|
186
173
|
}
|
|
187
|
-
// The repo universe every teleology node's file scope must ground against —
|
|
188
|
-
// the manifest's complete path set (the host cannot conjure files the repo
|
|
189
|
-
// does not contain).
|
|
190
174
|
const universe = new Set((bundle.repo_manifest?.files ?? []).map((file) => file.path));
|
|
191
|
-
const
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
175
|
+
const validation_issues = [];
|
|
176
|
+
const lanes = [];
|
|
177
|
+
for (const lane of [...submission.lanes].sort((a, b) => kindIndex(a.kind) - kindIndex(b.kind))) {
|
|
178
|
+
const assembled = assembleLaneGraph(lane, { universe });
|
|
179
|
+
lanes.push(assembled.graph);
|
|
180
|
+
validation_issues.push(...assembled.validation_issues);
|
|
181
|
+
}
|
|
195
182
|
const manifests = await loadPacketManifests(options.artifactsDir, ceiling);
|
|
196
|
-
const citation =
|
|
183
|
+
const citation = checkLaneCitations(lanes, {
|
|
197
184
|
...(options.root ? { root: options.root } : {}),
|
|
198
185
|
manifests,
|
|
199
186
|
});
|
|
187
|
+
const candidates = proposeCorrespondences(lanes);
|
|
188
|
+
const nodeCount = lanes.reduce((n, l) => n + l.nodes.length, 0);
|
|
200
189
|
const register = {
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
|
|
205
|
-
subsystems: assembled.subsystems,
|
|
206
|
-
// Deltas + goal_graph + triangulation are the INDEPENDENT delta-miner's
|
|
207
|
-
// product (Phase C.2); left empty here and flagged `deltas_pending` so
|
|
208
|
-
// charter_delta_current owes a turn whenever this pass produced ≥1 subsystem
|
|
209
|
-
// to mine.
|
|
210
|
-
goal_graph: { nodes: [], edges: [] },
|
|
211
|
-
deltas: [],
|
|
212
|
-
findings: [],
|
|
213
|
-
triangulated: [],
|
|
214
|
-
disagreement: [],
|
|
215
|
-
validation_issues: [...assembled.validation_issues, ...citation.issues],
|
|
190
|
+
...emptyCharterRegister(ceiling, generated_at, undefined),
|
|
191
|
+
lanes,
|
|
192
|
+
candidates,
|
|
193
|
+
validation_issues: [...validation_issues, ...citation.issues],
|
|
216
194
|
evidence_coverage: sortCoverage(manifests.map((manifest) => manifest.coverage)),
|
|
217
195
|
citation_validation: citation.summary,
|
|
218
|
-
|
|
196
|
+
comparison_pending: nodeCount > 0,
|
|
219
197
|
};
|
|
220
|
-
// Surface each gate-drop MESSAGE, not just a count — a silently-dropped charter
|
|
221
|
-
// (e.g. a second charter of the same kind for a subsystem, kept-first) is
|
|
222
|
-
// invisible to the operator when only "N gate drop(s)" is shown, so they never
|
|
223
|
-
// learn a submission was over-count and discarded. The messages are short
|
|
224
|
-
// one-liners (assembleCharters), so listing them is bounded and cheap.
|
|
225
198
|
const dropSummary = register.validation_issues.length > 0
|
|
226
199
|
? `, ${register.validation_issues.length} validation issue(s):\n` +
|
|
227
200
|
register.validation_issues.map((m) => ` - ${m}`).join("\n")
|
|
@@ -229,8 +202,9 @@ export async function runCharterExtractionExecutor(bundle, submission, options =
|
|
|
229
202
|
return {
|
|
230
203
|
updated: { ...bundle, charter_register: register },
|
|
231
204
|
artifacts_written: ["charter_register.json"],
|
|
232
|
-
progress_summary: `Charter extraction complete: ${
|
|
233
|
-
|
|
205
|
+
progress_summary: `Charter extraction complete: ${lanes.length} lane DAG(s), ${nodeCount} node(s), ` +
|
|
206
|
+
`${candidates.length} correspondence candidate(s)` +
|
|
207
|
+
(register.comparison_pending ? " awaiting the comparison reader" : "") +
|
|
234
208
|
dropSummary,
|
|
235
209
|
};
|
|
236
210
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterExtractionExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterExtractionExecutor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EACL,+BAA+B,GAEhC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,sCAAsC,EACtC,iBAAiB,EACjB,
|
|
1
|
+
{"version":3,"file":"charterExtractionExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterExtractionExecutor.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EACL,+BAA+B,GAEhC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,sCAAsC,EACtC,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,EACtB,cAAc,EACd,aAAa,EACb,oBAAoB,EASpB,2BAA2B,GAC5B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,iCAAiC,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAwC;IAExC,MAAM,EAAE,GAAG,UAAU,EAAE,aAAa,CAAC;IACrC,IAAI,EAAE,EAAE,OAAO;QAAE,OAAO,EAAE,CAAC,OAAO,CAAC;IACnC,IAAI,2BAA2B,CAAC,UAAU,CAAC,EAAE,gBAAgB,KAAK,MAAM,EAAE,CAAC;QACzE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,uBAAuB,CAAC,OAAgB;IACtD,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AAC/D,CAAC;AAED,sFAAsF;AACtF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEnE;;;;;GAKG;AACH,KAAK,UAAU,mBAAmB,CAChC,YAAgC,EAChC,OAAgB;IAEhB,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CACzC,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAC3E,CAAC;QACF,IACE,QAAQ,EAAE,cAAc,KAAK,sCAAsC;YACnE,QAAQ,CAAC,QAAQ,EACjB,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,mEAAmE;AACnE,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAgC,CAAC,CAAC;IACtF,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CACnB,QAA0C;IAE1C,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAkC,EAClC,OAAuE;IAEvE,MAAM,SAAS,GAAwD,EAAE,CAAC;IAC1E,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG;YACb,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YACzF,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;SAChG,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC1C,aAAa,IAAI,CAAC,CAAC;gBACnB,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC3D,SAAS,CAAC,IAAI,CAAC;oBACb,QAAQ,EAAE,KAAK,CAAC,EAAE;oBAClB,GAAG,EAAE,UAAU,CAAC,GAAG;oBACnB,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACzD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,iDAAiD;QACjD,OAAO;YACL,MAAM,EAAE,EAAE;YACV,OAAO,EAAE;gBACP,MAAM,EAAE,SAAS;gBACjB,cAAc,EAAE,aAAa;gBAC7B,aAAa,EAAE,CAAC;gBAChB,YAAY,EAAE,CAAC;gBACf,0BAA0B,EAAE,KAAK;aAClC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAuB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3E,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC,CAAC,CACJ,CAAC;IACF,MAAM,MAAM,GAAG,cAAc,CAAC;QAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,IAAI,GAAG,EAAU;QACzB,SAAS;QACT,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IACzE,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,GAAG,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,GAAG,KAAK,CAAC,QAAQ,eAAe,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3G;QACD,OAAO,EAAE;YACP,MAAM,EAAE,SAAS;YACjB,cAAc,EAAE,aAAa;YAC7B,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,YAAY,EAAE,QAAQ,CAAC,MAAM;YAC7B,0BAA0B,EAAE,MAAM,CAAC,0BAA0B;SAC9D;KACF,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,YAAoB,EACpB,MAA6B;IAE7B,OAAO;QACL,cAAc,EAAE,+BAA+B;QAC/C,YAAY;QACZ,MAAM,EAAE,SAAS;QACjB,OAAO;QACP,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,KAAK,EAAE,EAAE;QACT,UAAU,EAAE,EAAE;QACd,eAAe,EAAE,EAAE;QACnB,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;QACrB,iBAAiB,EAAE,EAAE;QACrB,2EAA2E;QAC3E,yDAAyD;QACzD,mBAAmB,EAAE;YACnB,MAAM,EAAE,cAAc;YACtB,cAAc,EAAE,CAAC;YACjB,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,CAAC;YACf,0BAA0B,EAAE,KAAK;SAClC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,MAAsB,EACtB,UAA+C,EAC/C,UAAoD,EAAE;IAEtD,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE9C,IAAI,CAAC,UAAU,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QACvE,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;YACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;YAC5C,gBAAgB,EACd,uBAAuB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU;gBAC7C,CAAC,CAAC,yEAAyE;gBAC3E,CAAC,CAAC,wCAAwC,OAAO,CAAC,IAAI,wCAAwC;SACnG,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAC7D,CAAC;IACF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/F,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,iBAAiB,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE;QACzC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,SAAS;KACV,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAoB;QAChC,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC;QACzD,KAAK;QACL,UAAU;QACV,iBAAiB,EAAE,CAAC,GAAG,iBAAiB,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC7D,iBAAiB,EAAE,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC/E,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QACrC,kBAAkB,EAAE,SAAS,GAAG,CAAC;KAClC,CAAC;IACF,MAAM,WAAW,GACf,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACnC,CAAC,CAAC,KAAK,QAAQ,CAAC,iBAAiB,CAAC,MAAM,yBAAyB;YAC/D,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9D,CAAC,CAAC,GAAG,CAAC;IACV,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE;QAClD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;QAC5C,gBAAgB,EACd,gCAAgC,KAAK,CAAC,MAAM,iBAAiB,SAAS,YAAY;YAClF,GAAG,UAAU,CAAC,MAAM,8BAA8B;YAClD,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,WAAW;KACd,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
|
+
import type { ExecutorRunResult } from "./executorResult.js";
|
|
3
|
+
import { type CharterFidelitySubmission } from "audit-tools/shared";
|
|
4
|
+
/**
|
|
5
|
+
* Charter-FIDELITY executor (step 4, judgment half). A SEPARATE lane — one that
|
|
6
|
+
* authored neither the DAGs nor the comparison — judged, per finding candidate,
|
|
7
|
+
* whether the two sources genuinely differ (`supported`), whether a reader
|
|
8
|
+
* over-read a source (`interpretation`, naming the side), or whether the cited
|
|
9
|
+
* slices do not settle it (`unverifiable`). This executor stamps those verdicts
|
|
10
|
+
* (`applyFidelity`), settles any candidate the lane left unanswered as
|
|
11
|
+
* `unverifiable` — never assumed supported — and surfaces every `supported`
|
|
12
|
+
* candidate as a Finding lead, grounded against disk (step 5's finding half).
|
|
13
|
+
*
|
|
14
|
+
* - **omit** (no register, register not `fidelity_pending`, or no submission):
|
|
15
|
+
* settle `fidelity_pending: false`; a pending register settled with NO
|
|
16
|
+
* submission stamps every open candidate `unverifiable` with a recorded reason.
|
|
17
|
+
* - **ingest**: stamp, settle the remainder, surface findings.
|
|
18
|
+
*/
|
|
19
|
+
export declare function runCharterFidelityExecutor(bundle: ArtifactBundle, submission: CharterFidelitySubmission | undefined): ExecutorRunResult;
|
|
20
|
+
//# sourceMappingURL=charterFidelityExecutor.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterFidelityExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterFidelityExecutor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAKL,KAAK,yBAAyB,EAC/B,MAAM,oBAAoB,CAAC;AAG5B;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,yBAAyB,GAAG,SAAS,GAChD,iBAAiB,CAmEnB"}
|
|
@@ -0,0 +1,76 @@
|
|
|
1
|
+
import { applyFidelity, differenceFindings, groundDesignFindings, } from "audit-tools/shared";
|
|
2
|
+
import { emptyCharterRegister } from "./charterExtractionExecutor.js";
|
|
3
|
+
/**
|
|
4
|
+
* Charter-FIDELITY executor (step 4, judgment half). A SEPARATE lane — one that
|
|
5
|
+
* authored neither the DAGs nor the comparison — judged, per finding candidate,
|
|
6
|
+
* whether the two sources genuinely differ (`supported`), whether a reader
|
|
7
|
+
* over-read a source (`interpretation`, naming the side), or whether the cited
|
|
8
|
+
* slices do not settle it (`unverifiable`). This executor stamps those verdicts
|
|
9
|
+
* (`applyFidelity`), settles any candidate the lane left unanswered as
|
|
10
|
+
* `unverifiable` — never assumed supported — and surfaces every `supported`
|
|
11
|
+
* candidate as a Finding lead, grounded against disk (step 5's finding half).
|
|
12
|
+
*
|
|
13
|
+
* - **omit** (no register, register not `fidelity_pending`, or no submission):
|
|
14
|
+
* settle `fidelity_pending: false`; a pending register settled with NO
|
|
15
|
+
* submission stamps every open candidate `unverifiable` with a recorded reason.
|
|
16
|
+
* - **ingest**: stamp, settle the remainder, surface findings.
|
|
17
|
+
*/
|
|
18
|
+
export function runCharterFidelityExecutor(bundle, submission) {
|
|
19
|
+
const generated_at = new Date().toISOString();
|
|
20
|
+
const register = bundle.charter_register;
|
|
21
|
+
if (!register) {
|
|
22
|
+
return {
|
|
23
|
+
updated: { ...bundle, charter_register: { ...emptyCharterRegister({ rung: "shallow" }, generated_at, "omitted"), fidelity_pending: false } },
|
|
24
|
+
artifacts_written: ["charter_register.json"],
|
|
25
|
+
progress_summary: "Charter fidelity omitted (no charter register).",
|
|
26
|
+
};
|
|
27
|
+
}
|
|
28
|
+
if (register.fidelity_pending !== true) {
|
|
29
|
+
return {
|
|
30
|
+
updated: { ...bundle, charter_register: { ...register, generated_at, fidelity_pending: false } },
|
|
31
|
+
artifacts_written: ["charter_register.json"],
|
|
32
|
+
progress_summary: "Charter fidelity omitted (no finding candidate awaits a verdict).",
|
|
33
|
+
};
|
|
34
|
+
}
|
|
35
|
+
const validation_issues = [...register.validation_issues];
|
|
36
|
+
let differences = register.differences;
|
|
37
|
+
if (submission) {
|
|
38
|
+
const applied = applyFidelity(differences, submission);
|
|
39
|
+
differences = applied.differences;
|
|
40
|
+
validation_issues.push(...applied.validation_issues);
|
|
41
|
+
}
|
|
42
|
+
else {
|
|
43
|
+
validation_issues.push("fidelity settled without a lane submission — every open finding candidate is stamped unverifiable, not supported.");
|
|
44
|
+
}
|
|
45
|
+
differences = differences.map((d) => d.finding_candidate && !d.fidelity
|
|
46
|
+
? {
|
|
47
|
+
...d,
|
|
48
|
+
fidelity: {
|
|
49
|
+
verdict: "unverifiable",
|
|
50
|
+
rationale: submission
|
|
51
|
+
? "no verdict returned by the fidelity lane for this difference"
|
|
52
|
+
: "no fidelity lane submission",
|
|
53
|
+
decided_by: "tool",
|
|
54
|
+
},
|
|
55
|
+
}
|
|
56
|
+
: d);
|
|
57
|
+
const findings = groundDesignFindings(differenceFindings(differences, register.correspondences, register.lanes), bundle.repo_manifest);
|
|
58
|
+
const updated = {
|
|
59
|
+
...register,
|
|
60
|
+
generated_at,
|
|
61
|
+
differences,
|
|
62
|
+
findings,
|
|
63
|
+
validation_issues,
|
|
64
|
+
fidelity_pending: false,
|
|
65
|
+
};
|
|
66
|
+
const supported = differences.filter((d) => d.fidelity?.verdict === "supported").length;
|
|
67
|
+
const interpretation = differences.filter((d) => d.fidelity?.verdict === "interpretation").length;
|
|
68
|
+
return {
|
|
69
|
+
updated: { ...bundle, charter_register: updated },
|
|
70
|
+
artifacts_written: ["charter_register.json"],
|
|
71
|
+
progress_summary: `Charter fidelity complete: ${supported} supported → ${findings.length} finding(s), ` +
|
|
72
|
+
`${interpretation} interpretation, ` +
|
|
73
|
+
`${differences.filter((d) => d.fidelity?.verdict === "unverifiable").length} unverifiable.`,
|
|
74
|
+
};
|
|
75
|
+
}
|
|
76
|
+
//# sourceMappingURL=charterFidelityExecutor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterFidelityExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterFidelityExecutor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAsB,EACtB,UAAiD;IAEjD,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAEzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,EAAE,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE;YAC5I,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;YAC5C,gBAAgB,EAAE,iDAAiD;SACpE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACvC,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE;YAChG,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;YAC5C,gBAAgB,EAAE,mEAAmE;SACtF,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAa,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACpE,IAAI,WAAW,GAAwB,QAAQ,CAAC,WAAW,CAAC;IAC5D,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACvD,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QAClC,iBAAiB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,iBAAiB,CAAC,IAAI,CACpB,mHAAmH,CACpH,CAAC;IACJ,CAAC;IACD,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,CAAC,QAAQ;QAChC,CAAC,CAAC;YACE,GAAG,CAAC;YACJ,QAAQ,EAAE;gBACR,OAAO,EAAE,cAAc;gBACvB,SAAS,EAAE,UAAU;oBACnB,CAAC,CAAC,8DAA8D;oBAChE,CAAC,CAAC,6BAA6B;gBACjC,UAAU,EAAE,MAAM;aACnB;SACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;IACF,MAAM,QAAQ,GAAG,oBAAoB,CACnC,kBAAkB,CAAC,WAAW,EAAE,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,EACzE,MAAM,CAAC,aAAa,CACrB,CAAC;IAEF,MAAM,OAAO,GAAoB;QAC/B,GAAG,QAAQ;QACX,YAAY;QACZ,WAAW;QACX,QAAQ;QACR,iBAAiB;QACjB,gBAAgB,EAAE,KAAK;KACxB,CAAC;IACF,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IACxF,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,KAAK,gBAAgB,CAAC,CAAC,MAAM,CAAC;IAClG,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;QACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;QAC5C,gBAAgB,EACd,8BAA8B,SAAS,gBAAgB,QAAQ,CAAC,MAAM,eAAe;YACrF,GAAG,cAAc,mBAAmB;YACpC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,KAAK,cAAc,CAAC,CAAC,MAAM,gBAAgB;KAC9F,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
|
+
/**
|
|
3
|
+
* Build the fidelity packet markdown for every finding candidate still owed a
|
|
4
|
+
* lane verdict. Deterministic given the register and the tree.
|
|
5
|
+
*/
|
|
6
|
+
export declare function buildCharterFidelityPacket(bundle: ArtifactBundle, root: string): Promise<string>;
|
|
7
|
+
//# sourceMappingURL=charterFidelityPacket.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterFidelityPacket.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterFidelityPacket.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAkCzD;;;GAGG;AACH,wBAAsB,0BAA0B,CAC9C,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,CAAC,CAuBjB"}
|
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
// sites-pinned: tests/audit/charter-fidelity-executor.test.ts
|
|
2
|
+
// The FIDELITY PACKET (step 4, judgment half): per open finding candidate, the
|
|
3
|
+
// accounts, their cited provenance, and the exact source slices at those
|
|
4
|
+
// citations — materialized by the tool so the fidelity lane is blind by INPUT
|
|
5
|
+
// (it sees the slices, never the whole tree). Every quote in the packet was
|
|
6
|
+
// already re-read from disk by the comparison executor's pre-check; a difference
|
|
7
|
+
// with a missing quote never reaches this packet.
|
|
8
|
+
import { readFile } from "node:fs/promises";
|
|
9
|
+
import { join } from "node:path";
|
|
10
|
+
import { provenancePath } from "audit-tools/shared";
|
|
11
|
+
/** Lines of context shown on each side of a cited line or quote. */
|
|
12
|
+
const CONTEXT_LINES = 12;
|
|
13
|
+
async function sliceFor(root, provenance) {
|
|
14
|
+
const path = provenancePath(provenance.ref);
|
|
15
|
+
let text;
|
|
16
|
+
try {
|
|
17
|
+
text = await readFile(join(root, path), "utf8");
|
|
18
|
+
}
|
|
19
|
+
catch {
|
|
20
|
+
return [`(source ${path} could not be read)`];
|
|
21
|
+
}
|
|
22
|
+
const lines = text.split(/\r?\n/);
|
|
23
|
+
let anchor = -1;
|
|
24
|
+
const lineRef = provenance.ref.match(/:(\d+)(?:-\d+)?$/);
|
|
25
|
+
if (lineRef)
|
|
26
|
+
anchor = Number(lineRef[1]) - 1;
|
|
27
|
+
if (anchor < 0 && provenance.quote) {
|
|
28
|
+
anchor = lines.findIndex((l) => l.includes(provenance.quote));
|
|
29
|
+
}
|
|
30
|
+
if (anchor < 0) {
|
|
31
|
+
const symbol = provenance.ref.includes("#") ? provenance.ref.slice(provenance.ref.indexOf("#") + 1) : undefined;
|
|
32
|
+
if (symbol)
|
|
33
|
+
anchor = lines.findIndex((l) => l.includes(symbol));
|
|
34
|
+
}
|
|
35
|
+
const start = Math.max(0, (anchor < 0 ? 0 : anchor) - CONTEXT_LINES);
|
|
36
|
+
const end = Math.min(lines.length, (anchor < 0 ? CONTEXT_LINES * 2 : anchor) + CONTEXT_LINES + 1);
|
|
37
|
+
const width = String(end).length;
|
|
38
|
+
return lines.slice(start, end).map((l, i) => `${String(start + i + 1).padStart(width, " ")}| ${l}`);
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* Build the fidelity packet markdown for every finding candidate still owed a
|
|
42
|
+
* lane verdict. Deterministic given the register and the tree.
|
|
43
|
+
*/
|
|
44
|
+
export async function buildCharterFidelityPacket(bundle, root) {
|
|
45
|
+
const register = bundle.charter_register;
|
|
46
|
+
const pending = (register?.differences ?? []).filter((d) => d.finding_candidate && !d.fidelity);
|
|
47
|
+
const sections = [
|
|
48
|
+
"# Charter fidelity packet",
|
|
49
|
+
"",
|
|
50
|
+
`${pending.length} difference(s) await a verdict. Each block holds the accounts, their citations, and the source slice at each citation (line numbers are true line numbers in the source file).`,
|
|
51
|
+
"",
|
|
52
|
+
];
|
|
53
|
+
for (const d of pending) {
|
|
54
|
+
sections.push(`## ${d.difference_id} — ${d.dimension} · ${d.relation}${d.split ? ` · ${d.split.kind === "three_way" ? "three_way" : `two_against_one: ${d.split.odd}`}` : ""}`, "", `Gap: ${d.gap}`, "");
|
|
55
|
+
for (const account of d.accounts) {
|
|
56
|
+
sections.push(`### ${account.kind} says: ${account.claim}`, "");
|
|
57
|
+
if (account.provenance.length === 0) {
|
|
58
|
+
sections.push("(no provenance cited)", "");
|
|
59
|
+
continue;
|
|
60
|
+
}
|
|
61
|
+
for (const p of account.provenance) {
|
|
62
|
+
sections.push(`- \`${p.ref}\`${p.quote ? ` — "${p.quote}"` : ""}`, "", "```", ...(await sliceFor(root, p)), "```", "");
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
}
|
|
66
|
+
return sections.join("\n");
|
|
67
|
+
}
|
|
68
|
+
//# sourceMappingURL=charterFidelityPacket.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"charterFidelityPacket.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterFidelityPacket.ts"],"names":[],"mappings":"AAAA,8DAA8D;AAC9D,+EAA+E;AAC/E,yEAAyE;AACzE,8EAA8E;AAC9E,4EAA4E;AAC5E,iFAAiF;AACjF,kDAAkD;AAElD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,cAAc,EAA0B,MAAM,oBAAoB,CAAC;AAE5E,oEAAoE;AACpE,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,KAAK,UAAU,QAAQ,CACrB,IAAY,EACZ,UAA6B;IAE7B,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,WAAW,IAAI,qBAAqB,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACzD,IAAI,OAAO;QAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChH,IAAI,MAAM;YAAE,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACtG,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,MAAsB,EACtB,IAAY;IAEZ,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAa;QACzB,2BAA2B;QAC3B,EAAE;QACF,GAAG,OAAO,CAAC,MAAM,gLAAgL;QACjM,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACzM,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,IAAI,UAAU,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;YAChE,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;gBAC3C,SAAS;YACX,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dependencyMap.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencyMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D;;;;;;;;GAQG;AACH,KAAK,gBAAgB,GACjB,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,OAAO,oBAAoB,CAAC,CAAC,UAAU,CAAC,GAC5E,OAAO,uBAAuB,GAC9B,OAAO,qBAAqB,CAAC;AAEjC,KAAK,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"dependencyMap.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencyMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D;;;;;;;;GAQG;AACH,KAAK,gBAAgB,GACjB,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,OAAO,oBAAoB,CAAC,CAAC,UAAU,CAAC,GAC5E,OAAO,uBAAuB,GAC9B,OAAO,qBAAqB,CAAC;AAEjC,KAAK,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;AAE3E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwOX,CAAC;AAE1B;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,aAAa,GAAG,aAAa,CAS3E;AAED;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,aACQ,CAAC;AAE/C;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAGhD,CAAC"}
|
|
@@ -92,12 +92,13 @@ export const ARTIFACT_DEPENDS_ON_MAP = {
|
|
|
92
92
|
"file_disposition.json",
|
|
93
93
|
"graph_bundle.json",
|
|
94
94
|
],
|
|
95
|
-
// Phase C conceptual design-review: the charter LAYER
|
|
96
|
-
//
|
|
97
|
-
//
|
|
98
|
-
//
|
|
99
|
-
// hashes re-stale this
|
|
100
|
-
//
|
|
95
|
+
// Phase C conceptual design-review: the charter LAYER (three lane goal DAGs,
|
|
96
|
+
// correspondences, differences, fidelity). Depends on the Phase-B consensus
|
|
97
|
+
// scaffold (the members each lane reads), the confirmed intent checkpoint (the
|
|
98
|
+
// ceiling/consent dial that gates its depth), repo_manifest (every lane packet
|
|
99
|
+
// is a projection of member/doc content — its per-file hashes re-stale this
|
|
100
|
+
// transitively), and graph_bundle (the STRUCTURAL lane's packet embeds the
|
|
101
|
+
// dependency edges among members, and analyzer
|
|
101
102
|
// enrichment can merge new edges with NO file-content change — without this
|
|
102
103
|
// edge that would under-stale; design resolution 4). Charters live in this
|
|
103
104
|
// OUTPUT artifact, never back on the checkpoint it depends on, so there is no
|
|
@@ -109,7 +110,7 @@ export const ARTIFACT_DEPENDS_ON_MAP = {
|
|
|
109
110
|
"graph_bundle.json",
|
|
110
111
|
],
|
|
111
112
|
// Phase D conceptual design-review: the charter-alignment TRIANGULATION LOOP.
|
|
112
|
-
// Depends on the Phase-C charter register (the
|
|
113
|
+
// Depends on the Phase-C charter register (the differences it questions), the confirmed
|
|
113
114
|
// intent checkpoint (the ceiling + attention dials that gate its depth/appetite),
|
|
114
115
|
// and repo_manifest (a source-content change re-stales the register transitively).
|
|
115
116
|
// Deterministic: the loop assembles from the register, so re-running is idempotent.
|
|
@@ -119,7 +120,7 @@ export const ARTIFACT_DEPENDS_ON_MAP = {
|
|
|
119
120
|
"repo_manifest.json",
|
|
120
121
|
],
|
|
121
122
|
// Phase E systemic improvement-seeking challenge loop. Depends on the Phase-C
|
|
122
|
-
// charter register (the goal
|
|
123
|
+
// charter register (the lane goal DAGs its blast-radius ranking reuses), the confirmed
|
|
123
124
|
// intent checkpoint (the ceiling that gates its depth), and repo_manifest (a
|
|
124
125
|
// source-content change re-stales the register + re-grounds its findings). The
|
|
125
126
|
// aggregate-metrics digest is derived from analysis artifacts but is advisory
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dependencyMap.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencyMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAkB7D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,0EAA0E;IAC1E,+EAA+E;IAC/E,oBAAoB,EAAE,CAAC,uBAAuB,CAAC;IAC/C,uBAAuB,EAAE,CAAC,oBAAoB,CAAC;IAE/C,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,6EAA6E;IAC7E,oEAAoE;IACpE,+BAA+B;IAC/B,mBAAmB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACpE,0BAA0B,EAAE,CAAC,mBAAmB,CAAC;IACjD,oBAAoB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACrE,uBAAuB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACxE,oEAAoE;IACpE,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,kFAAkF;IAClF,iFAAiF;IACjF,gFAAgF;IAChF,2BAA2B;IAC3B,qBAAqB,EAAE;QACrB,oBAAoB;QACpB,uBAAuB;QACvB,uBAAuB;QACvB,6BAA6B;KAC9B;IACD,oBAAoB,EAAE;QACpB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;KACtB;IACD,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACnE,+EAA+E;IAC/E,gFAAgF;IAChF,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,iFAAiF;IACjF,uEAAuE;IACvE,oCAAoC,EAAE;QACpC,oBAAoB;QACpB,uBAAuB;KACxB;IACD,wBAAwB,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IACvE,qCAAqC,EAAE,CAAC,wBAAwB,CAAC;IACjE,qEAAqE;IACrE,6EAA6E;IAC7E,sEAAsE;IACtE,4EAA4E;IAC5E,2EAA2E;IAC3E,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACnE,sEAAsE;IACtE,4EAA4E;IAC5E,wEAAwE;IACxE,2EAA2E;IAC3E,+EAA+E;IAC/E,8BAA8B,EAAE;QAC9B,oBAAoB;QACpB,uBAAuB;QACvB,mBAAmB;KACpB;IACD,
|
|
1
|
+
{"version":3,"file":"dependencyMap.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencyMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAkB7D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,0EAA0E;IAC1E,+EAA+E;IAC/E,oBAAoB,EAAE,CAAC,uBAAuB,CAAC;IAC/C,uBAAuB,EAAE,CAAC,oBAAoB,CAAC;IAE/C,6EAA6E;IAC7E,4EAA4E;IAC5E,8EAA8E;IAC9E,6EAA6E;IAC7E,oEAAoE;IACpE,+BAA+B;IAC/B,mBAAmB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACpE,0BAA0B,EAAE,CAAC,mBAAmB,CAAC;IACjD,oBAAoB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACrE,uBAAuB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACxE,oEAAoE;IACpE,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,kFAAkF;IAClF,iFAAiF;IACjF,gFAAgF;IAChF,2BAA2B;IAC3B,qBAAqB,EAAE;QACrB,oBAAoB;QACpB,uBAAuB;QACvB,uBAAuB;QACvB,6BAA6B;KAC9B;IACD,oBAAoB,EAAE;QACpB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;KACtB;IACD,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACnE,+EAA+E;IAC/E,gFAAgF;IAChF,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,iFAAiF;IACjF,uEAAuE;IACvE,oCAAoC,EAAE;QACpC,oBAAoB;QACpB,uBAAuB;KACxB;IACD,wBAAwB,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;IACvE,qCAAqC,EAAE,CAAC,wBAAwB,CAAC;IACjE,qEAAqE;IACrE,6EAA6E;IAC7E,sEAAsE;IACtE,4EAA4E;IAC5E,2EAA2E;IAC3E,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,kBAAkB,EAAE,CAAC,oBAAoB,EAAE,uBAAuB,CAAC;IACnE,sEAAsE;IACtE,4EAA4E;IAC5E,wEAAwE;IACxE,2EAA2E;IAC3E,+EAA+E;IAC/E,8BAA8B,EAAE;QAC9B,oBAAoB;QACpB,uBAAuB;QACvB,mBAAmB;KACpB;IACD,6EAA6E;IAC7E,4EAA4E;IAC5E,+EAA+E;IAC/E,+EAA+E;IAC/E,4EAA4E;IAC5E,2EAA2E;IAC3E,+CAA+C;IAC/C,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,SAAS;IACT,uBAAuB,EAAE;QACvB,8BAA8B;QAC9B,wBAAwB;QACxB,oBAAoB;QACpB,mBAAmB;KACpB;IACD,8EAA8E;IAC9E,wFAAwF;IACxF,kFAAkF;IAClF,mFAAmF;IACnF,oFAAoF;IACpF,4BAA4B,EAAE;QAC5B,uBAAuB;QACvB,wBAAwB;QACxB,oBAAoB;KACrB;IACD,8EAA8E;IAC9E,uFAAuF;IACvF,6EAA6E;IAC7E,+EAA+E;IAC/E,8EAA8E;IAC9E,sEAAsE;IACtE,6EAA6E;IAC7E,yBAAyB,EAAE;QACzB,uBAAuB;QACvB,qCAAqC;QACrC,wBAAwB;QACxB,oBAAoB;KACrB;IAED,8EAA8E;IAC9E,8EAA8E;IAC9E,uEAAuE;IACvE,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,0BAA0B;IAC1B,sBAAsB,EAAE;QACtB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,wBAAwB;QACxB,gCAAgC;QAChC,YAAY;QACZ,qBAAqB;KACtB;IACD,kBAAkB,EAAE;QAClB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,qBAAqB;QACrB,wBAAwB;QACxB,gCAAgC;QAChC,YAAY;KACb;IACD,yEAAyE;IACzE,+EAA+E;IAC/E,6EAA6E;IAC7E,gFAAgF;IAChF,4EAA4E;IAC5E,kDAAkD;IAClD,oBAAoB,EAAE,CAAC,qBAAqB,CAAC;IAC7C,yBAAyB,EAAE;QACzB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,qBAAqB;QACrB,wBAAwB;QACxB,gCAAgC;QAChC,sBAAsB;QACtB,kBAAkB;QAClB,qBAAqB;KACtB;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,mDAAmD;IACnD,0BAA0B,EAAE,CAAC,kBAAkB,CAAC;IAChD,oBAAoB,EAAE;QACpB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;QACrB,gCAAgC;QAChC,sBAAsB;QACtB,qBAAqB;KACtB;IACD,oBAAoB,EAAE;QACpB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,qBAAqB;QACrB,wBAAwB;QACxB,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,qBAAqB;KACtB;IACD,+BAA+B,EAAE;QAC/B,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;QACrB,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,qBAAqB;KACtB;IACD,gCAAgC,EAAE;QAChC,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;QACrB,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,qBAAqB;KACtB;IAED,4EAA4E;IAC5E,yEAAyE;IACzE,sEAAsE;IACtE,4EAA4E;IAC5E,CAAC,qBAAqB,CAAC,EAAE;QACvB,oBAAoB;QACpB,uBAAuB;QACvB,oBAAoB;QACpB,uBAAuB;QACvB,qBAAqB;QACrB,wBAAwB;QACxB,qCAAqC;QACrC,8BAA8B;QAC9B,uBAAuB;QACvB,4BAA4B;QAC5B,yBAAyB;QACzB,+BAA+B;QAC/B,gCAAgC;QAChC,sBAAsB;QACtB,oBAAoB;QACpB,gCAAgC;QAChC,qBAAqB;QACrB,mEAAmE;QACnE,uEAAuE;QACvE,0EAA0E;QAC1E,kEAAkE;QAClE,4EAA4E;QAC5E,+CAA+C;QAC/C,uBAAuB;KACxB;IACD,0BAA0B,EAAE,CAAC,qBAAqB,CAAC;CAC5B,CAAC;AAE1B;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAwB;IAC1D,MAAM,UAAU,GAAuC,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,QAA4B,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,UAA2B,CAAC;AACrC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAClC,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;AAE/C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAS;IACpE,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;IACvC,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;CACxC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dependencySlices.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencySlices.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"dependencySlices.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencySlices.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAOzD,KAAK,eAAe,GAAG,CAAC,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC;AAE3D;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AA6E/D,eAAO,MAAM,4BAA4B,EAAE,OAAO,CAChD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAOzD,CAAC;AAEF,sFAAsF;AACtF,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAET;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,cAAc,GACrB,MAAM,GAAG,SAAS,CAQpB;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,MAAM,EAAE,cAAc,GACrB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CASpC"}
|
|
@@ -15,8 +15,9 @@
|
|
|
15
15
|
* the slices cover the union of their verified consumption:
|
|
16
16
|
* charterExtractionExecutor / charterExtractionPrompt read
|
|
17
17
|
* `consensus[*].{node_id, members}` + member/doc file content (via
|
|
18
|
-
* `repo_manifest.files[].hash`), and
|
|
19
|
-
* findings against the COMPLETE `files[].path` set
|
|
18
|
+
* `repo_manifest.files[].hash`), and charterFidelityExecutor grounds the
|
|
19
|
+
* difference findings against the COMPLETE `files[].path` set
|
|
20
|
+
* (`groundDesignFindings`).
|
|
20
21
|
* WIDEN the projection in the same commit as any producer change that consumes
|
|
21
22
|
* more — the contract test pins the current slice content.
|
|
22
23
|
*
|
|
@@ -60,10 +61,10 @@ function consensusMembershipSlice(bundle) {
|
|
|
60
61
|
* intake leaves unhashed (>1 MiB carries only `size_bytes`; `hash ?? ""`
|
|
61
62
|
* erased a real change signal).
|
|
62
63
|
* - `paths`: the COMPLETE sorted path list, content-free. The register's
|
|
63
|
-
* SECOND producer — the
|
|
64
|
-
* the full path set (`groundDesignFindings`: exact-path membership +
|
|
65
|
-
* basename-unique resolution), and
|
|
66
|
-
*
|
|
64
|
+
* SECOND producer — the fidelity executor — grounds difference findings
|
|
65
|
+
* against the full path set (`groundDesignFindings`: exact-path membership +
|
|
66
|
+
* basename-unique resolution), and lane assembly grounds every goal node's
|
|
67
|
+
* file scope against the repo universe, so an add/delete/rename
|
|
67
68
|
* anywhere changes what a re-derive would produce even when member∪doc
|
|
68
69
|
* content is untouched. Paths-only keeps the phantom-staleness win: pure
|
|
69
70
|
* hash churn on an unchanged path set (the live incident) still never fires
|