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 +1 @@
|
|
|
1
|
-
{"version":3,"file":"secondOrderAdversaryPrompt.js","sourceRoot":"","sources":["../../../src/audit/systemic/secondOrderAdversaryPrompt.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,0EAA0E;AAC1E,gFAAgF;AAChF,+EAA+E;AAC/E,yCAAyC;
|
|
1
|
+
{"version":3,"file":"secondOrderAdversaryPrompt.js","sourceRoot":"","sources":["../../../src/audit/systemic/secondOrderAdversaryPrompt.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,6DAA6D;AAC7D,EAAE;AACF,0EAA0E;AAC1E,gFAAgF;AAChF,+EAA+E;AAC/E,yCAAyC;AAKzC,OAAO,EACL,sBAAsB,GAEvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAExE,SAAS,aAAa,CAAC,MAAsB;IAC3C,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,IAAI,EAAE,CAAC;QACtD,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,IAAI,EAAE,CAAC;QACxD,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC5C,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,IAAI,EAAE,CAAC;KAC/C,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,IAAI,SAAS,OAAO,CAAC,QAAQ,SAAS,OAAO,CAAC,KAAK,EAAE,CAAC;QAC7E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA4B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACrE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,OAAO,OAAO,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,OAAO,KAAK,KAAK,IAAI,UAAU,GAAG,CAAC;IACrI,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,mBAAmB,CAAC,MAA6B;IACxD,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,qFAAqF;SACtF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,OAAyC,EAAU,EAAE,CACnE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;IACjF,OAAO;QACL,GAAG,MAAM,CAAC,aAAa,uCAAuC;QAC9D,EAAE;QACF,8BAA8B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;QACtD,kCAAkC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE;QAC9D,wCAAwC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;QAC3E,EAAE;QACF,0FAA0F;YACxF,wFAAwF;YACxF,yFAAyF;YACzF,uCAAuC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAsB;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,CAAC,gDAAgD,CAAC,CAAC;IAC5D,CAAC;IACD,+EAA+E;IAC/E,kFAAkF;IAClF,MAAM,UAAU,GAAG;QACjB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;YACH,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;SAC3D,CAAC,CAAC;QACH,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACpD,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;YACtC,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,CAAC,CAAC,KAAK;SACf,CAAC,CAAC;QACH,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,aAAa,EAAE,CAAC,CAAC,aAAa;YAC9B,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;YACtC,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACnE,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO;SAC9B,CAAC,CAAC;QACH,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;IACF,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAsB;IAChD,MAAM,YAAY,GAAG,MAAM,CAAC,8BAA8B,CAAC;IAC3D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,sDAAsD,CAAC,CAAC;IAClE,CAAC;IACD,OAAO;QACL,YAAY,YAAY,CAAC,QAAQ,IAAI;QACrC,EAAE;QACF,SAAS;QACT,IAAI,CAAC,SAAS,CACZ;YACE,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1D,WAAW,CAAC,IAAI,KAAK,OAAO;gBAC1B,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE;gBAC5C,CAAC,CAAC,WAAW,CAChB;YACD,sBAAsB,EAAE,YAAY,CAAC,sBAAsB;YAC3D,oBAAoB,EAAE,YAAY,CAAC,oBAAoB;YACvD,wEAAwE;YACxE,wEAAwE;YACxE,yEAAyE;YACzE,oEAAoE;YACpE,iBAAiB;YACjB,+BAA+B,EAC7B,YAAY,CAAC,+BAA+B;YAC9C,uCAAuC,EACrC,YAAY,CAAC,uCAAuC;SACvD,EACD,IAAI,EACJ,CAAC,CACF;QACD,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,sBAAsB;IAC7B,OAAO;QACL,uCAAuC;QACvC,EAAE;QACF,8FAA8F;YAC5F,6FAA6F;YAC7F,wEAAwE;QAC1E,EAAE;QACF,sFAAsF;YACpF,0FAA0F;YAC1F,6EAA6E;QAC/E,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gCAAgC,CAAC,IAMhD;IACC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAC1C,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAChE,CAAC;IACF,WAAW,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhD,OAAO;QACL,mFAAmF;QACnF,EAAE;QACF,sEAAsE,IAAI,CAAC,KAAK,GAAG;QACnF,4BAA4B,cAAc,CAAC,MAAM,0FAA0F;QAC3I,EAAE;QACF,GAAG,sBAAsB,EAAE;QAC3B,4DAA4D;QAC5D,EAAE;QACF,iKAAiK;QACjK,oEAAoE;QACpE,8CAA8C;QAC9C,yEAAyE;QACzE,wDAAwD;QACxD,0CAA0C;QAC1C,uEAAuE;QACvE,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,uLAAuL;QACvL,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI,CAAC;QAC/C,EAAE;QACF,iEAAiE;QACjE,EAAE;QACF,GAAG,mBAAmB,CAAC,OAAO,CAAC;QAC/B,6CAA6C;QAC7C,EAAE;QACF,6MAA6M;QAC7M,GAAG,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,EAAE;QACF,2DAA2D;QAC3D,EAAE;QACF,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAClC,EAAE;QACF,2BAA2B;QAC3B,EAAE;QACF,GAAG,mBAAmB,CAAC,cAAc,CAAC;QACtC,EAAE;QACF,sDAAsD;QACtD,EAAE;QACF,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,cAAc,CAAC,CAAC;QAC9D,EAAE;QACF,6BAA6B;QAC7B,EAAE;QACF,6FAA6F;YAC3F,0FAA0F;YAC1F,6FAA6F;YAC7F,8FAA8F;YAC9F,wDAAwD;QAC1D,EAAE;QACF,8CAA8C;QAC9C,EAAE;QACF,8FAA8F;YAC5F,2FAA2F;YAC3F,wFAAwF;YACxF,6FAA6F;YAC7F,4FAA4F;YAC5F,6FAA6F;YAC7F,4FAA4F;YAC5F,6EAA6E;QAC/E,EAAE;QACF,wEAAwE;QACxE,EAAE;QACF,yDAAyD;QACzD,GAAG,WAAW;QACd,EAAE;QACF,yBAAyB;QACzB,EAAE;QACF,oMAAoM;QACpM,EAAE;QACF,wDAAwD;QACxD,EAAE;QACF,2VAA2V;QAC3V,EAAE;QACF,gPAAgP;QAChP,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,8FAA8F;YAC5F,6FAA6F;YAC7F,6FAA6F;YAC7F,0FAA0F;YAC1F,2FAA2F;YAC3F,uFAAuF;QACzF,EAAE;QACF,8FAA8F;YAC5F,sFAAsF;QACxF,EAAE;QACF,wFAAwF;QACxF,8FAA8F;YAC5F,6FAA6F;YAC7F,sFAAsF;YACtF,yFAAyF;YACzF,6FAA6F;YAC7F,mEAAmE;QACrE,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,wFAAwF;YACtF,KAAK,0BAA0B,8DAA8D;YAC7F,4FAA4F;YAC5F,wDAAwD;QAC1D,EAAE;QACF,WAAW;QACX,EAAE;QACF,mBAAmB,IAAI,CAAC,cAAc,qBAAqB;QAC3D,EAAE;QACF,SAAS;QACT,GAAG;QACH,kBAAkB;QAClB,mEAAmE;QACnE,mCAAmC;QACnC,yCAAyC;QACzC,oCAAoC;QACpC,sCAAsC;QACtC,mEAAmE;QACnE,qGAAqG;QACrG,uFAAuF;QACvF,0DAA0D;QAC1D,MAAM;QACN,GAAG;QACH,KAAK;QACL,EAAE;QACF,+FAA+F;YAC7F,kCAAkC;QACpC,EAAE;QACF,SAAS;QACT,GAAG;QACH,8BAA8B;QAC9B,4FAA4F;QAC5F,GAAG;QACH,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
|
|
@@ -14,16 +14,54 @@ export interface SystemicRoundResult {
|
|
|
14
14
|
/** Assembly notes (e.g. a finding was dropped as ungrounded), surfaced. */
|
|
15
15
|
validation_issues: string[];
|
|
16
16
|
}
|
|
17
|
+
/**
|
|
18
|
+
* The tool-owned prefix every banked improvement id carries: `sc-r<round>-<slug>`.
|
|
19
|
+
*
|
|
20
|
+
* The adversary mints its own ids, and nothing made two rounds agree on a
|
|
21
|
+
* namespace — rounds 3 and 4 of the 2026-08-08 run both minted `SC-001..004` for
|
|
22
|
+
* entirely different improvements, so any consumer keyed on finding id (task
|
|
23
|
+
* dispatch, share attribution, the disposition map) saw one id standing for two
|
|
24
|
+
* findings. Namespacing is the tool's job: it is the only party that knows which
|
|
25
|
+
* round a submission belongs to, and a host-prevented collision (that run's host
|
|
26
|
+
* prefixed `r4-` by hand) is a rule held in a transcript, not in the tool.
|
|
27
|
+
*
|
|
28
|
+
* Ids are stable once banked — a restatement never re-mints the banked finding's
|
|
29
|
+
* id (see the absorb branches in {@link foldChallengeRound}) — so anything that
|
|
30
|
+
* recorded an id in an earlier round still resolves after the next fold.
|
|
31
|
+
*/
|
|
32
|
+
export declare const SYSTEMIC_FINDING_ID_PREFIX = "sc-r";
|
|
33
|
+
/**
|
|
34
|
+
* The hard ceiling on adversary rounds.
|
|
35
|
+
*
|
|
36
|
+
* The loop had NO bound: `MAX_DRAIN_STEPS` bounds the deterministic drain, but
|
|
37
|
+
* this loop is host-driven, and its only exit was a dry round — a signal a fresh
|
|
38
|
+
* no-memory adversary structurally cannot judge, so a host that could see the
|
|
39
|
+
* loop was finished had no sanctioned way to end it (the no-ceiling entry; the
|
|
40
|
+
* 2026-08-21 lap's loop was stopped by a hand-written empty submission). Six
|
|
41
|
+
* rounds is generous against the observed yields — every recorded run has
|
|
42
|
+
* converged by round 3 — while making the bound FINITE, and the stop it produces
|
|
43
|
+
* is recorded as `stop_reason: "round_ceiling"` rather than as convergence on a
|
|
44
|
+
* dry signal the loop never reached.
|
|
45
|
+
*
|
|
46
|
+
* It lives here, in the loop's own pure module, because the prompt states the
|
|
47
|
+
* bound to the lane and the executor enforces it: one number, one home.
|
|
48
|
+
*/
|
|
49
|
+
export declare const SYSTEMIC_ROUND_CEILING = 6;
|
|
17
50
|
/**
|
|
18
51
|
* Fold one challenge round's submitted improvement findings into the prior set. The
|
|
19
52
|
* enforcement pass:
|
|
20
53
|
* 1. GROUND each new finding against the repo manifest (reusing the shared design
|
|
21
54
|
* grounding — an improvement pointing at no real component is dropped).
|
|
22
|
-
* 2.
|
|
55
|
+
* 2. NAMESPACE its id to this round, so two rounds can never mint one id for two
|
|
56
|
+
* different improvements and a later round can never re-mint a banked id.
|
|
57
|
+
* 3. Mark `systemic:true` and (re)derive `blast_radius` from the goal DAG, while
|
|
23
58
|
* PRESERVING the adversary-tagged TRUE lens.
|
|
24
|
-
*
|
|
25
|
-
* re-
|
|
26
|
-
*
|
|
59
|
+
* 4. DEDUPE against prior rounds on CONTENT: an exact re-emission (lens+category+
|
|
60
|
+
* title) and a re-worded RESTATEMENT of a banked improvement both collapse into
|
|
61
|
+
* the banked finding, unioning its evidence and files. Neither is new — the
|
|
62
|
+
* convergence signal cannot rest on a worker choosing to repeat itself verbatim
|
|
63
|
+
* (`findingRestatesBanked` carries the measured instance).
|
|
64
|
+
* 5. Mark dryness: a round that adds zero new findings is `dry`; an empty
|
|
27
65
|
* submission is trivially dry. The EXECUTOR converges the loop only after
|
|
28
66
|
* consecutive dry rounds (the register's `convergence_rule`).
|
|
29
67
|
* Deterministic: the returned `findings` are ordered by descending blast radius, ties
|
|
@@ -32,6 +70,8 @@ export interface SystemicRoundResult {
|
|
|
32
70
|
export declare function foldChallengeRound(params: {
|
|
33
71
|
prior: Finding[];
|
|
34
72
|
submitted: Finding[];
|
|
73
|
+
/** The 1-based ordinal of the round being folded — the id namespace it mints in. */
|
|
74
|
+
round: number;
|
|
35
75
|
goalGraph?: GoalGraph;
|
|
36
76
|
repoManifest?: {
|
|
37
77
|
files?: Array<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"systemicChallengeLoop.d.ts","sourceRoot":"","sources":["../../../src/audit/systemic/systemicChallengeLoop.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"systemicChallengeLoop.d.ts","sourceRoot":"","sources":["../../../src/audit/systemic/systemicChallengeLoop.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AA8BpD,sEAAsE;AACtE,MAAM,WAAW,mBAAmB;IAClC,gFAAgF;IAChF,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,sEAAsE;IACtE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;OAGG;IACH,GAAG,EAAE,OAAO,CAAC;IACb,2EAA2E;IAC3E,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,0BAA0B,SAAS,CAAC;AAEjD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAiCxC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,oFAAoF;IACpF,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,YAAY,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC;IACnD,wEAAwE;IACxE,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;CACvD,GAAG,mBAAmB,CA6FtB"}
|
|
@@ -22,7 +22,7 @@
|
|
|
22
22
|
// route each improvement to its real lens.
|
|
23
23
|
//
|
|
24
24
|
// PURE + deterministic + language-neutral: no IO, no LLM.
|
|
25
|
-
import { groundDesignFindings, findingReEmissionKey, compareCodeUnits } from "audit-tools/shared";
|
|
25
|
+
import { absorbFinding, groundDesignFindings, findingReEmissionKey, findingRestatesBanked, compareCodeUnits, } from "audit-tools/shared";
|
|
26
26
|
import { goalBlastRadius } from "../clarification/blastRadius.js";
|
|
27
27
|
/**
|
|
28
28
|
* Resolve the blast radius of an improvement finding over the goal DAG. A finding
|
|
@@ -39,16 +39,78 @@ function resolveBlastRadius(finding, goalGraph, goalNodeOf) {
|
|
|
39
39
|
}
|
|
40
40
|
return finding.blast_radius ?? 0;
|
|
41
41
|
}
|
|
42
|
+
/**
|
|
43
|
+
* The tool-owned prefix every banked improvement id carries: `sc-r<round>-<slug>`.
|
|
44
|
+
*
|
|
45
|
+
* The adversary mints its own ids, and nothing made two rounds agree on a
|
|
46
|
+
* namespace — rounds 3 and 4 of the 2026-08-08 run both minted `SC-001..004` for
|
|
47
|
+
* entirely different improvements, so any consumer keyed on finding id (task
|
|
48
|
+
* dispatch, share attribution, the disposition map) saw one id standing for two
|
|
49
|
+
* findings. Namespacing is the tool's job: it is the only party that knows which
|
|
50
|
+
* round a submission belongs to, and a host-prevented collision (that run's host
|
|
51
|
+
* prefixed `r4-` by hand) is a rule held in a transcript, not in the tool.
|
|
52
|
+
*
|
|
53
|
+
* Ids are stable once banked — a restatement never re-mints the banked finding's
|
|
54
|
+
* id (see the absorb branches in {@link foldChallengeRound}) — so anything that
|
|
55
|
+
* recorded an id in an earlier round still resolves after the next fold.
|
|
56
|
+
*/
|
|
57
|
+
export const SYSTEMIC_FINDING_ID_PREFIX = "sc-r";
|
|
58
|
+
/**
|
|
59
|
+
* The hard ceiling on adversary rounds.
|
|
60
|
+
*
|
|
61
|
+
* The loop had NO bound: `MAX_DRAIN_STEPS` bounds the deterministic drain, but
|
|
62
|
+
* this loop is host-driven, and its only exit was a dry round — a signal a fresh
|
|
63
|
+
* no-memory adversary structurally cannot judge, so a host that could see the
|
|
64
|
+
* loop was finished had no sanctioned way to end it (the no-ceiling entry; the
|
|
65
|
+
* 2026-08-21 lap's loop was stopped by a hand-written empty submission). Six
|
|
66
|
+
* rounds is generous against the observed yields — every recorded run has
|
|
67
|
+
* converged by round 3 — while making the bound FINITE, and the stop it produces
|
|
68
|
+
* is recorded as `stop_reason: "round_ceiling"` rather than as convergence on a
|
|
69
|
+
* dry signal the loop never reached.
|
|
70
|
+
*
|
|
71
|
+
* It lives here, in the loop's own pure module, because the prompt states the
|
|
72
|
+
* bound to the lane and the executor enforces it: one number, one home.
|
|
73
|
+
*/
|
|
74
|
+
export const SYSTEMIC_ROUND_CEILING = 6;
|
|
75
|
+
/** A filesystem- and report-safe slug for an adversary-minted id fragment. */
|
|
76
|
+
function idSlug(raw) {
|
|
77
|
+
const slug = raw
|
|
78
|
+
.toLowerCase()
|
|
79
|
+
.replace(/[^a-z0-9]+/g, "-")
|
|
80
|
+
.replace(/^-+|-+$/g, "");
|
|
81
|
+
return slug.length > 0 ? slug.slice(0, 40) : "";
|
|
82
|
+
}
|
|
83
|
+
/**
|
|
84
|
+
* Mint the round-namespaced id for one submitted finding, unique across
|
|
85
|
+
* everything banked so far AND within this round. A submission that repeats its
|
|
86
|
+
* own id (or submits none) still leaves every finding distinctly addressable —
|
|
87
|
+
* two distinct findings sharing one id is the defect this exists to prevent.
|
|
88
|
+
*/
|
|
89
|
+
function mintRoundFindingId(params) {
|
|
90
|
+
const base = `${SYSTEMIC_FINDING_ID_PREFIX}${params.round}-${idSlug(params.rawId ?? "") || String(params.index + 1)}`;
|
|
91
|
+
if (!params.used.has(base))
|
|
92
|
+
return base;
|
|
93
|
+
for (let suffix = 2;; suffix += 1) {
|
|
94
|
+
const candidate = `${base}-${suffix}`;
|
|
95
|
+
if (!params.used.has(candidate))
|
|
96
|
+
return candidate;
|
|
97
|
+
}
|
|
98
|
+
}
|
|
42
99
|
/**
|
|
43
100
|
* Fold one challenge round's submitted improvement findings into the prior set. The
|
|
44
101
|
* enforcement pass:
|
|
45
102
|
* 1. GROUND each new finding against the repo manifest (reusing the shared design
|
|
46
103
|
* grounding — an improvement pointing at no real component is dropped).
|
|
47
|
-
* 2.
|
|
104
|
+
* 2. NAMESPACE its id to this round, so two rounds can never mint one id for two
|
|
105
|
+
* different improvements and a later round can never re-mint a banked id.
|
|
106
|
+
* 3. Mark `systemic:true` and (re)derive `blast_radius` from the goal DAG, while
|
|
48
107
|
* PRESERVING the adversary-tagged TRUE lens.
|
|
49
|
-
*
|
|
50
|
-
* re-
|
|
51
|
-
*
|
|
108
|
+
* 4. DEDUPE against prior rounds on CONTENT: an exact re-emission (lens+category+
|
|
109
|
+
* title) and a re-worded RESTATEMENT of a banked improvement both collapse into
|
|
110
|
+
* the banked finding, unioning its evidence and files. Neither is new — the
|
|
111
|
+
* convergence signal cannot rest on a worker choosing to repeat itself verbatim
|
|
112
|
+
* (`findingRestatesBanked` carries the measured instance).
|
|
113
|
+
* 5. Mark dryness: a round that adds zero new findings is `dry`; an empty
|
|
52
114
|
* submission is trivially dry. The EXECUTOR converges the loop only after
|
|
53
115
|
* consecutive dry rounds (the register's `convergence_rule`).
|
|
54
116
|
* Deterministic: the returned `findings` are ordered by descending blast radius, ties
|
|
@@ -60,26 +122,68 @@ export function foldChallengeRound(params) {
|
|
|
60
122
|
// 1. Ground the submitted findings against disk (drops ungrounded improvements).
|
|
61
123
|
const grounded = groundDesignFindings(params.submitted, params.repoManifest);
|
|
62
124
|
const byKey = new Map();
|
|
63
|
-
|
|
125
|
+
const usedIds = new Set();
|
|
126
|
+
for (const finding of params.prior) {
|
|
64
127
|
byKey.set(findingReEmissionKey(finding), finding);
|
|
128
|
+
usedIds.add(finding.id);
|
|
129
|
+
}
|
|
130
|
+
/**
|
|
131
|
+
* Fold a refinement of a BANKED finding into it — union evidence and files,
|
|
132
|
+
* KEEPING the banked id and title. A survivor is cloned first: `prior` findings
|
|
133
|
+
* are objects the carried bundle still holds, and absorbing in place would
|
|
134
|
+
* mutate the register the fold is about to re-emit.
|
|
135
|
+
*/
|
|
136
|
+
const absorbIntoBanked = (banked, submitted) => {
|
|
137
|
+
const merged = {
|
|
138
|
+
...banked,
|
|
139
|
+
affected_files: [...banked.affected_files],
|
|
140
|
+
evidence: [...(banked.evidence ?? [])],
|
|
141
|
+
};
|
|
142
|
+
absorbFinding(merged, submitted, {
|
|
143
|
+
mergeGrounding: true,
|
|
144
|
+
sortAffectedFiles: true,
|
|
145
|
+
});
|
|
146
|
+
byKey.set(findingReEmissionKey(merged), merged);
|
|
147
|
+
};
|
|
65
148
|
const new_finding_ids = [];
|
|
66
|
-
for (const finding of grounded) {
|
|
149
|
+
for (const [index, finding] of grounded.entries()) {
|
|
67
150
|
if (finding.grounding?.status === "ungrounded") {
|
|
68
151
|
validation_issues.push(`Dropped ungrounded improvement "${finding.title}" (${finding.grounding.reason ?? "no component"}).`);
|
|
69
152
|
continue;
|
|
70
153
|
}
|
|
154
|
+
const id = mintRoundFindingId({
|
|
155
|
+
round: params.round,
|
|
156
|
+
rawId: finding.id,
|
|
157
|
+
index,
|
|
158
|
+
used: usedIds,
|
|
159
|
+
});
|
|
71
160
|
const enriched = {
|
|
72
161
|
...finding,
|
|
162
|
+
id,
|
|
73
163
|
systemic: true,
|
|
74
164
|
// Preserve the adversary-tagged TRUE lens verbatim (never rewrite to architecture).
|
|
75
165
|
lens: finding.lens,
|
|
76
166
|
blast_radius: resolveBlastRadius(finding, params.goalGraph, goalNodeOf),
|
|
77
167
|
};
|
|
78
168
|
const key = findingReEmissionKey(enriched);
|
|
79
|
-
|
|
80
|
-
|
|
169
|
+
const exact = byKey.get(key);
|
|
170
|
+
if (exact) {
|
|
171
|
+
// The same improvement, re-emitted: a refinement, never a new round result.
|
|
172
|
+
absorbIntoBanked(exact, enriched);
|
|
173
|
+
continue;
|
|
174
|
+
}
|
|
175
|
+
const restated = [...byKey.values()].find((banked) => findingRestatesBanked(banked, enriched));
|
|
176
|
+
if (restated) {
|
|
177
|
+
// A re-wording of a banked improvement is the SAME improvement. Folding it
|
|
178
|
+
// back in (rather than dropping it) keeps whatever the new round verified —
|
|
179
|
+
// evidence and files union into the banked finding — while the round stays
|
|
180
|
+
// quiet, which is what makes convergence a statement about content.
|
|
181
|
+
absorbIntoBanked(restated, enriched);
|
|
182
|
+
validation_issues.push(`Folded restatement of banked improvement "${restated.title}" (submitted as "${finding.title}") — not a new finding.`);
|
|
183
|
+
continue;
|
|
81
184
|
}
|
|
82
|
-
|
|
185
|
+
usedIds.add(id);
|
|
186
|
+
new_finding_ids.push(id);
|
|
83
187
|
byKey.set(key, enriched);
|
|
84
188
|
}
|
|
85
189
|
const findings = [...byKey.values()].sort((a, b) => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"systemicChallengeLoop.js","sourceRoot":"","sources":["../../../src/audit/systemic/systemicChallengeLoop.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,EAAE;AACF,oFAAoF;AACpF,sFAAsF;AACtF,oFAAoF;AACpF,mFAAmF;AACnF,oBAAoB;AACpB,gFAAgF;AAChF,8EAA8E;AAC9E,4CAA4C;AAC5C,EAAE;AACF,qFAAqF;AACrF,6EAA6E;AAC7E,oFAAoF;AACpF,sFAAsF;AACtF,sFAAsF;AACtF,qBAAqB;AACrB,EAAE;AACF,sFAAsF;AACtF,sFAAsF;AACtF,kFAAkF;AAClF,2CAA2C;AAC3C,EAAE;AACF,0DAA0D;AAI1D,OAAO,
|
|
1
|
+
{"version":3,"file":"systemicChallengeLoop.js","sourceRoot":"","sources":["../../../src/audit/systemic/systemicChallengeLoop.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,EAAE;AACF,oFAAoF;AACpF,sFAAsF;AACtF,oFAAoF;AACpF,mFAAmF;AACnF,oBAAoB;AACpB,gFAAgF;AAChF,8EAA8E;AAC9E,4CAA4C;AAC5C,EAAE;AACF,qFAAqF;AACrF,6EAA6E;AAC7E,oFAAoF;AACpF,sFAAsF;AACtF,sFAAsF;AACtF,qBAAqB;AACrB,EAAE;AACF,sFAAsF;AACtF,sFAAsF;AACtF,kFAAkF;AAClF,2CAA2C;AAC3C,EAAE;AACF,0DAA0D;AAI1D,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAElE;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,OAAgB,EAChB,SAAgC,EAChC,UAAoD;IAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;AACnC,CAAC;AAiBD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC;AAEjD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,8EAA8E;AAC9E,SAAS,MAAM,CAAC,GAAW;IACzB,MAAM,IAAI,GAAG,GAAG;SACb,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,MAK3B;IACC,MAAM,IAAI,GAAG,GAAG,0BAA0B,GAAG,MAAM,CAAC,KAAK,IACvD,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CACvD,EAAE,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,KAAK,IAAI,MAAM,GAAG,CAAC,GAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,kBAAkB,CAAC,MASlC;IACC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,iFAAiF;IACjF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACnC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;OAKG;IACH,MAAM,gBAAgB,GAAG,CAAC,MAAe,EAAE,SAAkB,EAAQ,EAAE;QACrE,MAAM,MAAM,GAAY;YACtB,GAAG,MAAM;YACT,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;YAC1C,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;SACvC,CAAC;QACF,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE;YAC/B,cAAc,EAAE,IAAI;YACpB,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,KAAK,YAAY,EAAE,CAAC;YAC/C,iBAAiB,CAAC,IAAI,CACpB,mCAAmC,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,SAAS,CAAC,MAAM,IAAI,cAAc,IAAI,CACrG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,kBAAkB,CAAC;YAC5B,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,KAAK,EAAE,OAAO,CAAC,EAAE;YACjB,KAAK;YACL,IAAI,EAAE,OAAO;SACd,CAAC,CAAC;QACH,MAAM,QAAQ,GAAY;YACxB,GAAG,OAAO;YACV,EAAE;YACF,QAAQ,EAAE,IAAI;YACd,oFAAoF;YACpF,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,YAAY,EAAE,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC;SACxE,CAAC;QACF,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,EAAE,CAAC;YACV,4EAA4E;YAC5E,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC,CACxC,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,2EAA2E;YAC3E,4EAA4E;YAC5E,2EAA2E;YAC3E,oEAAoE;YACpE,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACrC,iBAAiB,CAAC,IAAI,CACpB,6CAA6C,QAAQ,CAAC,KAAK,oBAAoB,OAAO,CAAC,KAAK,yBAAyB,CACtH,CAAC;YACF,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjD,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;QACjE,IAAI,UAAU,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QACxC,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,+EAA+E;IAC/E,sEAAsE;IACtE,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC;IAEzC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,EAAE,iBAAiB,EAAE,CAAC;AAC/D,CAAC"}
|
|
@@ -8,11 +8,11 @@ export declare const AuditObligationSchema: z.ZodObject<{
|
|
|
8
8
|
reason: z.ZodOptional<z.ZodString>;
|
|
9
9
|
}, "strict", z.ZodTypeAny, {
|
|
10
10
|
id: string;
|
|
11
|
-
state: "
|
|
11
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
12
12
|
reason?: string | undefined;
|
|
13
13
|
}, {
|
|
14
14
|
id: string;
|
|
15
|
-
state: "
|
|
15
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
16
16
|
reason?: string | undefined;
|
|
17
17
|
}>;
|
|
18
18
|
export type AuditObligation = z.infer<typeof AuditObligationSchema>;
|
|
@@ -27,18 +27,18 @@ export declare const AuditStateSchema: z.ZodObject<{
|
|
|
27
27
|
reason: z.ZodOptional<z.ZodString>;
|
|
28
28
|
}, "strict", z.ZodTypeAny, {
|
|
29
29
|
id: string;
|
|
30
|
-
state: "
|
|
30
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
31
31
|
reason?: string | undefined;
|
|
32
32
|
}, {
|
|
33
33
|
id: string;
|
|
34
|
-
state: "
|
|
34
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
35
35
|
reason?: string | undefined;
|
|
36
36
|
}>, "many">;
|
|
37
37
|
}, "strict", z.ZodTypeAny, {
|
|
38
38
|
status: "blocked" | "complete" | "not_started" | "active";
|
|
39
39
|
obligations: {
|
|
40
40
|
id: string;
|
|
41
|
-
state: "
|
|
41
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
42
42
|
reason?: string | undefined;
|
|
43
43
|
}[];
|
|
44
44
|
last_executor?: string | undefined;
|
|
@@ -48,7 +48,7 @@ export declare const AuditStateSchema: z.ZodObject<{
|
|
|
48
48
|
status: "blocked" | "complete" | "not_started" | "active";
|
|
49
49
|
obligations: {
|
|
50
50
|
id: string;
|
|
51
|
-
state: "
|
|
51
|
+
state: "not_applicable" | "blocked" | "missing" | "satisfied" | "present" | "stale";
|
|
52
52
|
reason?: string | undefined;
|
|
53
53
|
}[];
|
|
54
54
|
last_executor?: string | undefined;
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import type { Finding } from "../types.js";
|
|
2
|
-
import type {
|
|
2
|
+
import type { CharterDifferenceQuestion, Ceiling } from "audit-tools/shared";
|
|
3
3
|
/**
|
|
4
4
|
* The `charter_clarification.json` artifact — Phase D of the conceptual
|
|
5
5
|
* design-review: the charter-alignment TRIANGULATION LOOP that converts the Phase-C
|
|
@@ -41,12 +41,17 @@ export interface CharterClarificationRegister {
|
|
|
41
41
|
*/
|
|
42
42
|
status?: "omitted";
|
|
43
43
|
/** The VOI-ranked interactive questions surfaced to the host this round. */
|
|
44
|
-
asked:
|
|
44
|
+
asked: CharterDifferenceQuestion[];
|
|
45
45
|
/** Questions written as findings (risk-gated or beyond appetite), VOI-ordered. */
|
|
46
|
-
banked:
|
|
46
|
+
banked: CharterDifferenceQuestion[];
|
|
47
47
|
/** The banked questions surfaced as Finding leads for synthesis. */
|
|
48
48
|
findings: Finding[];
|
|
49
|
-
/**
|
|
49
|
+
/**
|
|
50
|
+
* Partition notes (e.g. differences that sourced no question) — surfaced.
|
|
51
|
+
* There is no refusal class here: a difference the join cannot place is
|
|
52
|
+
* refused by the comparison step (`assembleComparison`) before it reaches the
|
|
53
|
+
* register, so every record this loop reads is already grounded.
|
|
54
|
+
*/
|
|
50
55
|
validation_issues: string[];
|
|
51
56
|
}
|
|
52
57
|
//# sourceMappingURL=charterClarification.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterClarification.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterClarification.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterClarification.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterClarification.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,yBAAyB,EACzB,OAAO,EACR,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,4BAA4B;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,0EAA0E;IAC1E,MAAM,EAAE,uBAAuB,CAAC;IAChC;;;OAGG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,SAAS,EAAE,MAAM,GAAG,KAAK,CAAC;IAC1B;;;OAGG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,4EAA4E;IAC5E,KAAK,EAAE,yBAAyB,EAAE,CAAC;IACnC,kFAAkF;IAClF,MAAM,EAAE,yBAAyB,EAAE,CAAC;IACpC,oEAAoE;IACpE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;;;OAKG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B"}
|
|
@@ -1,56 +1,38 @@
|
|
|
1
1
|
import type { Finding } from "../types.js";
|
|
2
|
-
import type { CharterPacketCoverage,
|
|
3
|
-
import type { StampedCharterDelta } from "../../shared/types/charter.js";
|
|
2
|
+
import type { CharterPacketCoverage, CitationValidationSummary, Ceiling, CharterLaneGraph, CorrespondenceCandidate, CharterCorrespondence, CharterDifference } from "audit-tools/shared";
|
|
4
3
|
/**
|
|
5
4
|
* The stamped register schema version.
|
|
6
5
|
*
|
|
7
|
-
*
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
14
|
-
*
|
|
15
|
-
*
|
|
6
|
+
* v5 = the five-step charter layer (design of record 2026-09-15;
|
|
7
|
+
* spec/conceptual-design-review-design.md §"The estimator charters"). The
|
|
8
|
+
* register no longer holds joined subsystems with one charter per kind, routed
|
|
9
|
+
* pairwise deltas, a triangulated telos, a disagreement density, or one goal
|
|
10
|
+
* graph. It holds the THREE lane goal DAGs unmerged, the tool-proposed
|
|
11
|
+
* correspondence candidates, the confirmed correspondences, the typed n-ary
|
|
12
|
+
* difference records (routed, and stamped with their fidelity verdict), and the
|
|
13
|
+
* findings the `supported` records surface. Two pending flags drive the two
|
|
14
|
+
* host passes that follow extraction: `comparison_pending` (the comparison
|
|
15
|
+
* reader is owed a turn) and `fidelity_pending` (the fidelity lane is owed one).
|
|
16
16
|
*
|
|
17
|
-
*
|
|
18
|
-
*
|
|
19
|
-
* when linked), so no consumer recovers a subsystem by parsing `delta_id`. A v2
|
|
20
|
-
* register predates the stamping, and its deltas would every one of them be
|
|
21
|
-
* refused by the clarification join — a silent collapse to zero questions where
|
|
22
|
-
* v2 semantics joined them all. The version key is what makes that impossible:
|
|
23
|
-
* the change is in the code taxonomy, which the content-keyed staleness DAG
|
|
24
|
-
* cannot see, so only the stamp can force re-derivation.
|
|
25
|
-
*
|
|
26
|
-
* v2 = design resolution 4 (2026-08-05): channel-pure estimator kinds
|
|
27
|
-
* (stated/structural/revealed; `inferred` renamed), per-kind teleologies with
|
|
28
|
-
* file scopes on each subsystem, the miner's `triangulated` teloses +
|
|
29
|
-
* tool-computed `disagreement` density.
|
|
17
|
+
* v4 added `citation_validation` + `evidence_coverage` (the register no longer
|
|
18
|
+
* self-certifies); v3 stamped delta identity; v2 renamed the estimator kinds.
|
|
30
19
|
*
|
|
31
20
|
* Read policy is DISCARD (regenerable analysis state): a register stamped with
|
|
32
21
|
* any earlier version degrades to ABSENT and the extraction obligation rebuilds
|
|
33
|
-
* it —
|
|
34
|
-
*
|
|
35
|
-
* defense-in-depth for anything that reaches it anyway.
|
|
22
|
+
* it — the taxonomy change is in code, which the content-keyed staleness DAG
|
|
23
|
+
* cannot see, so only the stamp can force re-derivation.
|
|
36
24
|
*/
|
|
37
|
-
export declare const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/
|
|
25
|
+
export declare const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v5";
|
|
38
26
|
/**
|
|
39
27
|
* The `charter_register.json` artifact — the charter LAYER of the conceptual
|
|
40
|
-
* design-review
|
|
41
|
-
*
|
|
42
|
-
*
|
|
43
|
-
*
|
|
44
|
-
*
|
|
45
|
-
*
|
|
46
|
-
*
|
|
47
|
-
*
|
|
48
|
-
* to (a lead; the deltas stay the primary product) — and the tool computes the
|
|
49
|
-
* per-channel-pair `disagreement` density that says where the triangulation most
|
|
50
|
-
* needs clarification. The surviving deltas are surfaced as `findings` (leads)
|
|
51
|
-
* into synthesis. It is an OUTPUT artifact (the `intent_checkpoint` carries the
|
|
52
|
-
* ceiling as INPUT) — keeping the charters here rather than back on the
|
|
53
|
-
* checkpoint avoids a staleness cycle with the checkpoint it depends on.
|
|
28
|
+
* design-review. Where the structure layer answers "what are the pieces," this
|
|
29
|
+
* answers "what are the pieces FOR": three channel-pure goal DAGs (Stated,
|
|
30
|
+
* Structural, Revealed — each fed only its own evidence packet) held unmerged,
|
|
31
|
+
* the correspondences between them, the differences between corresponding
|
|
32
|
+
* accounts typed on seven dimensions, each verified against its own sources
|
|
33
|
+
* before it may become a finding. It is an OUTPUT artifact (the
|
|
34
|
+
* `intent_checkpoint` carries the ceiling as INPUT) — keeping the charters here
|
|
35
|
+
* rather than back on the checkpoint avoids a staleness cycle.
|
|
54
36
|
*/
|
|
55
37
|
export interface CharterRegister {
|
|
56
38
|
schema_version: typeof CHARTER_REGISTER_SCHEMA_VERSION;
|
|
@@ -59,72 +41,45 @@ export interface CharterRegister {
|
|
|
59
41
|
target: "charter";
|
|
60
42
|
/**
|
|
61
43
|
* The ceiling authorized at `intent_checkpoint` — how far up the premise stack
|
|
62
|
-
* this run's charters may reach.
|
|
63
|
-
*
|
|
64
|
-
* nominations (the consent gate that used to live on the extraction lane set).
|
|
44
|
+
* this run's charters may reach. `deepest` additionally authorizes True
|
|
45
|
+
* nominations downstream of the report.
|
|
65
46
|
*/
|
|
66
47
|
ceiling: Ceiling;
|
|
67
48
|
/**
|
|
68
49
|
* `"omitted"` when the ceiling was `shallow` (no charter layer requested) — the
|
|
69
|
-
* register is written empty so the obligation is satisfied without an LLM pass
|
|
70
|
-
* (conversation-first: the charter layer is opt-in at a `deep`+ ceiling).
|
|
50
|
+
* register is written empty so the obligation is satisfied without an LLM pass.
|
|
71
51
|
*/
|
|
72
52
|
status?: "omitted";
|
|
73
|
-
/**
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
/**
|
|
82
|
-
* Per joined subsystem unit: its file members, the tool-selected per-kind
|
|
83
|
-
* charters, and every lane's full teleology slice (levels + file scopes).
|
|
84
|
-
*/
|
|
85
|
-
subsystems: CharterSubsystem[];
|
|
86
|
-
/** The goal DAG (blast-radius substrate). Empty until the miner supplies one. */
|
|
87
|
-
goal_graph: GoalGraph;
|
|
88
|
-
/**
|
|
89
|
-
* The routed + gated channel-pair deltas across all subsystems, each carrying
|
|
90
|
-
* its own `node_id` (and `goal_node_id` when linked) as an explicit field — the
|
|
91
|
-
* assembler stamps them, so no consumer parses `delta_id` to recover a node.
|
|
92
|
-
*/
|
|
93
|
-
deltas: StampedCharterDelta[];
|
|
94
|
-
/** The deltas surfaced as Finding leads for synthesis. */
|
|
53
|
+
/** Step 1: one persisted goal DAG per lane, in canonical kind order. Never merged. */
|
|
54
|
+
lanes: CharterLaneGraph[];
|
|
55
|
+
/** Step 2 (tool half): the deterministic candidates the comparison reader judged. */
|
|
56
|
+
candidates: CorrespondenceCandidate[];
|
|
57
|
+
/** Step 2 (host half): the confirmed or host-added correspondences. */
|
|
58
|
+
correspondences: CharterCorrespondence[];
|
|
59
|
+
/** Step 3 + 4: the typed difference records, routed and fidelity-stamped. */
|
|
60
|
+
differences: CharterDifference[];
|
|
61
|
+
/** Step 5: the `supported` finding candidates surfaced as Finding leads. */
|
|
95
62
|
findings: Finding[];
|
|
96
63
|
/**
|
|
97
|
-
*
|
|
98
|
-
*
|
|
99
|
-
* place of the charters/deltas.
|
|
64
|
+
* true after the lane DAGs are assembled and before the comparison reader has
|
|
65
|
+
* run; drives `charter_comparison_current`. Set when any lane produced ≥1 node.
|
|
100
66
|
*/
|
|
101
|
-
|
|
67
|
+
comparison_pending?: boolean;
|
|
102
68
|
/**
|
|
103
|
-
*
|
|
104
|
-
*
|
|
69
|
+
* true after the comparison is ingested and before the fidelity lane has run;
|
|
70
|
+
* drives `charter_fidelity_current`. Set when ≥1 finding candidate survived the
|
|
71
|
+
* tool pre-check and awaits a lane verdict.
|
|
105
72
|
*/
|
|
106
|
-
|
|
73
|
+
fidelity_pending?: boolean;
|
|
107
74
|
/**
|
|
108
|
-
* Gate drops (
|
|
109
|
-
* citations — surfaced,
|
|
110
|
-
*
|
|
111
|
-
* check ran, and how many refs it saw.
|
|
75
|
+
* Gate drops (cycles refused, unknown files, unplaceable differences, refused
|
|
76
|
+
* verdicts) AND failed provenance citations — surfaced, never hidden. Read it
|
|
77
|
+
* beside {@link citation_validation}.
|
|
112
78
|
*/
|
|
113
79
|
validation_issues: string[];
|
|
114
|
-
/**
|
|
115
|
-
* The affirmation that the citation check RAN. REQUIRED, because an empty
|
|
116
|
-
* `validation_issues` is unfalsifiable on its own — it printed identically at
|
|
117
|
-
* 1-of-15 correct citations and at 75-of-75.
|
|
118
|
-
*/
|
|
80
|
+
/** The affirmation that the citation check RAN. REQUIRED. */
|
|
119
81
|
citation_validation: CitationValidationSummary;
|
|
120
|
-
/**
|
|
121
|
-
* What each blind lane's evidence packet actually DELIVERED, per evidence
|
|
122
|
-
* class, in canonical kind order. The "stated" channel — whose whole job is
|
|
123
|
-
* source comments — once delivered 0 of 72 comment blocks and said so only in
|
|
124
|
-
* prose inside a file that was then deleted, so absent evidence was
|
|
125
|
-
* indistinguishable from thorough work. Empty when no packet manifest was
|
|
126
|
-
* available to fold (the omit path, or an ingest with no artifacts dir).
|
|
127
|
-
*/
|
|
82
|
+
/** What each blind lane's evidence packet actually DELIVERED, per evidence class. */
|
|
128
83
|
evidence_coverage: CharterPacketCoverage[];
|
|
129
84
|
}
|
|
130
85
|
//# sourceMappingURL=charterRegister.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,qBAAqB,EACrB,yBAAyB,EACzB,OAAO,EACP,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,+BAA+B,wBAAwB,CAAC;AAErE;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,OAAO,+BAA+B,CAAC;IACvD,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,SAAS,CAAC;IAClB;;;;OAIG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,sFAAsF;IACtF,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,qFAAqF;IACrF,UAAU,EAAE,uBAAuB,EAAE,CAAC;IACtC,uEAAuE;IACvE,eAAe,EAAE,qBAAqB,EAAE,CAAC;IACzC,6EAA6E;IAC7E,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,4EAA4E;IAC5E,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;OAGG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;;OAIG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6DAA6D;IAC7D,mBAAmB,EAAE,yBAAyB,CAAC;IAC/C,qFAAqF;IACrF,iBAAiB,EAAE,qBAAqB,EAAE,CAAC;CAC5C"}
|