audit-tools 0.50.21 → 0.51.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/dist/audit/cli/auditStep.d.ts +1 -1
- package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.js +14 -1
- package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
- package/dist/audit/cli/cleanup.d.ts +0 -1
- package/dist/audit/cli/cleanup.d.ts.map +1 -1
- package/dist/audit/cli/cleanup.js +32 -20
- package/dist/audit/cli/cleanup.js.map +1 -1
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +30 -5
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts +2 -0
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +48 -20
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/fanoutLanes.d.ts +7 -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/forceSynthesisCommand.d.ts.map +1 -1
- package/dist/audit/cli/forceSynthesisCommand.js +2 -14
- 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 +3 -13
- package/dist/audit/cli/intakeCommand.js.map +1 -1
- package/dist/audit/cli/laneSubmissions.d.ts +42 -57
- package/dist/audit/cli/laneSubmissions.d.ts.map +1 -1
- package/dist/audit/cli/laneSubmissions.js +116 -82
- package/dist/audit/cli/laneSubmissions.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +132 -99
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +39 -46
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/resynthesizeCommand.d.ts.map +1 -1
- package/dist/audit/cli/resynthesizeCommand.js +5 -2
- package/dist/audit/cli/resynthesizeCommand.js.map +1 -1
- package/dist/audit/cli/sampleRunCommand.d.ts +3 -2
- package/dist/audit/cli/sampleRunCommand.d.ts.map +1 -1
- package/dist/audit/cli/stepScaffold.d.ts +21 -0
- package/dist/audit/cli/stepScaffold.d.ts.map +1 -0
- package/dist/audit/cli/stepScaffold.js +50 -0
- package/dist/audit/cli/stepScaffold.js.map +1 -0
- package/dist/audit/cli/steps.d.ts +6 -6
- package/dist/audit/cli/synthesizeCommand.d.ts.map +1 -1
- package/dist/audit/cli/synthesizeCommand.js +2 -14
- package/dist/audit/cli/synthesizeCommand.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +8 -8
- package/dist/audit/contracts/workerSchemas.d.ts.map +1 -1
- package/dist/audit/contracts/workerSchemas.js +12 -6
- package/dist/audit/contracts/workerSchemas.js.map +1 -1
- package/dist/audit/contracts/wrapperResponse.d.ts +7 -7
- package/dist/audit/contracts/wrapperResponse.d.ts.map +1 -1
- package/dist/audit/contracts/wrapperResponse.js +9 -1
- package/dist/audit/contracts/wrapperResponse.js.map +1 -1
- package/dist/audit/extractors/analyzers/merge.d.ts.map +1 -1
- package/dist/audit/extractors/analyzers/merge.js +2 -7
- package/dist/audit/extractors/analyzers/merge.js.map +1 -1
- package/dist/audit/extractors/commentDecomposition.d.ts +28 -0
- package/dist/audit/extractors/commentDecomposition.d.ts.map +1 -1
- package/dist/audit/extractors/commentDecomposition.js +151 -22
- package/dist/audit/extractors/commentDecomposition.js.map +1 -1
- package/dist/audit/extractors/graph.d.ts +1 -1
- package/dist/audit/extractors/graph.d.ts.map +1 -1
- package/dist/audit/extractors/graph.js +2 -6
- package/dist/audit/extractors/graph.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/cargo.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/cargo.js +4 -4
- package/dist/audit/extractors/graphManifestEdges/cargo.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/pnpm.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/pnpm.js +3 -3
- package/dist/audit/extractors/graphManifestEdges/pnpm.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/pyproject.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/pyproject.js +3 -2
- package/dist/audit/extractors/graphManifestEdges/pyproject.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/toml.d.ts +0 -6
- package/dist/audit/extractors/graphManifestEdges/toml.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/toml.js +0 -13
- package/dist/audit/extractors/graphManifestEdges/toml.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/workspace.d.ts +9 -0
- package/dist/audit/extractors/graphManifestEdges/workspace.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/workspace.js +16 -0
- package/dist/audit/extractors/graphManifestEdges/workspace.js.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/yaml.d.ts +0 -2
- package/dist/audit/extractors/graphManifestEdges/yaml.d.ts.map +1 -1
- package/dist/audit/extractors/graphManifestEdges/yaml.js +0 -9
- package/dist/audit/extractors/graphManifestEdges/yaml.js.map +1 -1
- package/dist/audit/extractors/graphSignals.d.ts.map +1 -1
- package/dist/audit/extractors/graphSignals.js +16 -2
- package/dist/audit/extractors/graphSignals.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts +19 -0
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +44 -2
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/orchestrator/advance.d.ts +0 -22
- package/dist/audit/orchestrator/advance.d.ts.map +1 -1
- package/dist/audit/orchestrator/advance.js +1 -43
- package/dist/audit/orchestrator/advance.js.map +1 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterDeltaExecutor.js +14 -0
- package/dist/audit/orchestrator/charterDeltaExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts +16 -6
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.js +127 -9
- package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterPacketArchive.d.ts +51 -0
- package/dist/audit/orchestrator/charterPacketArchive.d.ts.map +1 -0
- package/dist/audit/orchestrator/charterPacketArchive.js +173 -0
- package/dist/audit/orchestrator/charterPacketArchive.js.map +1 -0
- package/dist/audit/orchestrator/charterPackets.d.ts +31 -13
- package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterPackets.js +299 -96
- package/dist/audit/orchestrator/charterPackets.js.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.d.ts +20 -4
- package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js +89 -12
- package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
- package/dist/audit/orchestrator/edgeReasoning.d.ts.map +1 -1
- package/dist/audit/orchestrator/edgeReasoning.js +4 -9
- package/dist/audit/orchestrator/edgeReasoning.js.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +17 -1
- package/dist/audit/orchestrator/executorRunners.js.map +1 -1
- package/dist/audit/orchestrator/graphEnrichmentExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/graphEnrichmentExecutor.js +8 -1
- package/dist/audit/orchestrator/graphEnrichmentExecutor.js.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.js +11 -2
- package/dist/audit/orchestrator/intentCheckpointGate.js.map +1 -1
- package/dist/audit/orchestrator/lineCounts.d.ts +44 -0
- package/dist/audit/orchestrator/lineCounts.d.ts.map +1 -0
- package/dist/audit/orchestrator/lineCounts.js +61 -0
- package/dist/audit/orchestrator/lineCounts.js.map +1 -0
- package/dist/audit/orchestrator/obligationDerive.d.ts +35 -0
- package/dist/audit/orchestrator/obligationDerive.d.ts.map +1 -0
- package/dist/audit/orchestrator/obligationDerive.js +50 -0
- package/dist/audit/orchestrator/obligationDerive.js.map +1 -0
- package/dist/audit/orchestrator/reviewPacketMetrics.d.ts.map +1 -1
- package/dist/audit/orchestrator/reviewPacketMetrics.js +3 -2
- package/dist/audit/orchestrator/reviewPacketMetrics.js.map +1 -1
- package/dist/audit/orchestrator/reviewPacketShared.d.ts +0 -2
- package/dist/audit/orchestrator/reviewPacketShared.d.ts.map +1 -1
- package/dist/audit/orchestrator/reviewPacketShared.js +0 -4
- package/dist/audit/orchestrator/reviewPacketShared.js.map +1 -1
- package/dist/audit/orchestrator/reviewPackets.d.ts.map +1 -1
- package/dist/audit/orchestrator/reviewPackets.js +3 -2
- package/dist/audit/orchestrator/reviewPackets.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/conflict.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/conflict.js +3 -2
- package/dist/audit/orchestrator/selectiveDeepening/conflict.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js +3 -2
- package/dist/audit/orchestrator/selectiveDeepening/findingFollowup.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.js +3 -2
- package/dist/audit/orchestrator/selectiveDeepening/highRiskClean.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/lensVerification.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js +4 -3
- package/dist/audit/orchestrator/selectiveDeepening/lensVerification.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js +2 -1
- package/dist/audit/orchestrator/selectiveDeepening/runtimeValidation.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts +0 -2
- package/dist/audit/orchestrator/selectiveDeepening/shared.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/shared.js +0 -27
- package/dist/audit/orchestrator/selectiveDeepening/shared.js.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.d.ts.map +1 -1
- package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.js +10 -1
- package/dist/audit/orchestrator/selectiveDeepening/stewardFollowup.js.map +1 -1
- package/dist/audit/orchestrator/state.d.ts.map +1 -1
- package/dist/audit/orchestrator/state.js +21 -14
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/orchestrator/synthesisExecutors.d.ts +8 -0
- package/dist/audit/orchestrator/synthesisExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/synthesisExecutors.js +10 -0
- package/dist/audit/orchestrator/synthesisExecutors.js.map +1 -1
- package/dist/audit/reporting/synthesis.d.ts +42 -2
- package/dist/audit/reporting/synthesis.d.ts.map +1 -1
- package/dist/audit/reporting/synthesis.js +264 -12
- package/dist/audit/reporting/synthesis.js.map +1 -1
- package/dist/audit/supervisor/operatorHandoff.d.ts.map +1 -1
- package/dist/audit/supervisor/operatorHandoff.js +14 -6
- package/dist/audit/supervisor/operatorHandoff.js.map +1 -1
- package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js +14 -0
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
- package/dist/audit/types/analyzerCapability.d.ts +35 -11
- package/dist/audit/types/analyzerCapability.d.ts.map +1 -1
- package/dist/audit/types/analyzerCapability.js +83 -5
- package/dist/audit/types/analyzerCapability.js.map +1 -1
- package/dist/audit/types/auditState.d.ts +8 -8
- package/dist/audit/types/charterRegister.d.ts +33 -3
- package/dist/audit/types/charterRegister.d.ts.map +1 -1
- package/dist/audit/types/charterRegister.js +11 -1
- package/dist/audit/types/charterRegister.js.map +1 -1
- package/dist/audit/types/conceptualAdjudication.d.ts +395 -16
- package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -1
- package/dist/audit/types/conceptualAdjudication.js +109 -5
- package/dist/audit/types/conceptualAdjudication.js.map +1 -1
- package/dist/audit/types/designAssessment.d.ts +1 -1
- package/dist/audit/types/designAssessment.d.ts.map +1 -1
- package/dist/audit/types.d.ts +9 -4
- package/dist/audit/types.d.ts.map +1 -1
- package/dist/remediate/droppedFindingsRecord.d.ts +13 -0
- package/dist/remediate/droppedFindingsRecord.d.ts.map +1 -0
- package/dist/remediate/droppedFindingsRecord.js +113 -0
- package/dist/remediate/droppedFindingsRecord.js.map +1 -0
- package/dist/remediate/intake.d.ts +17 -0
- package/dist/remediate/intake.d.ts.map +1 -1
- package/dist/remediate/intake.js +23 -0
- package/dist/remediate/intake.js.map +1 -1
- package/dist/remediate/intent/intentOrdering.d.ts.map +1 -1
- package/dist/remediate/intent/intentOrdering.js +29 -1
- package/dist/remediate/intent/intentOrdering.js.map +1 -1
- package/dist/remediate/phases/close.d.ts +1 -1
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +68 -6
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/phases/grounding.d.ts +12 -4
- package/dist/remediate/phases/grounding.d.ts.map +1 -1
- package/dist/remediate/phases/grounding.js +23 -60
- package/dist/remediate/phases/grounding.js.map +1 -1
- package/dist/remediate/state/types.d.ts +17 -6
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/remediate/state/types.js +3 -1
- package/dist/remediate/state/types.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +10 -4
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.d.ts +10 -2
- package/dist/remediate/steps/contractPipelinePrompts.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js +56 -12
- package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +277 -146
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +253 -75
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/prompts.d.ts +14 -0
- package/dist/remediate/steps/prompts.d.ts.map +1 -1
- package/dist/remediate/steps/prompts.js +52 -4
- package/dist/remediate/steps/prompts.js.map +1 -1
- package/dist/remediate/steps/types.d.ts +1 -1
- package/dist/remediate/steps/types.d.ts.map +1 -1
- package/dist/remediate/steps/types.js.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts +0 -34
- package/dist/remediate/validation/contractPipelineGates.d.ts.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.js +181 -143
- package/dist/remediate/validation/contractPipelineGates.js.map +1 -1
- package/dist/shared/agentReflections.d.ts +44 -3
- package/dist/shared/agentReflections.d.ts.map +1 -1
- package/dist/shared/agentReflections.js +63 -4
- package/dist/shared/agentReflections.js.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.d.ts +20 -1
- package/dist/shared/analyzers/acquisitionEngine.d.ts.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.js +17 -3
- package/dist/shared/analyzers/acquisitionEngine.js.map +1 -1
- package/dist/shared/analyzers/candidates.d.ts.map +1 -1
- package/dist/shared/analyzers/candidates.js +13 -4
- package/dist/shared/analyzers/candidates.js.map +1 -1
- package/dist/shared/analyzers/types.d.ts +17 -6
- package/dist/shared/analyzers/types.d.ts.map +1 -1
- package/dist/shared/analyzers/types.js +6 -15
- package/dist/shared/analyzers/types.js.map +1 -1
- package/dist/shared/decompose/systemicChallenge.d.ts +116 -9
- package/dist/shared/decompose/systemicChallenge.d.ts.map +1 -1
- package/dist/shared/decompose/systemicChallenge.js +32 -1
- package/dist/shared/decompose/systemicChallenge.js.map +1 -1
- package/dist/shared/engine/obligationEngine.d.ts +23 -6
- package/dist/shared/engine/obligationEngine.d.ts.map +1 -1
- package/dist/shared/engine/obligationEngine.js +38 -3
- package/dist/shared/engine/obligationEngine.js.map +1 -1
- package/dist/shared/findings/dedupe.d.ts +10 -0
- package/dist/shared/findings/dedupe.d.ts.map +1 -1
- package/dist/shared/findings/dedupe.js +15 -0
- package/dist/shared/findings/dedupe.js.map +1 -1
- package/dist/shared/friction/triage.d.ts.map +1 -1
- package/dist/shared/friction/triage.js +5 -1
- package/dist/shared/friction/triage.js.map +1 -1
- package/dist/shared/git.d.ts +6 -0
- package/dist/shared/git.d.ts.map +1 -1
- package/dist/shared/git.js +8 -0
- package/dist/shared/git.js.map +1 -1
- package/dist/shared/graph/edgeConfidence.d.ts +12 -0
- package/dist/shared/graph/edgeConfidence.d.ts.map +1 -0
- package/dist/shared/graph/edgeConfidence.js +15 -0
- package/dist/shared/graph/edgeConfidence.js.map +1 -0
- package/dist/shared/index.d.ts +26 -9
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +20 -8
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/loopCorePaths.d.ts.map +1 -1
- package/dist/shared/loopCorePaths.js +4 -0
- package/dist/shared/loopCorePaths.js.map +1 -1
- package/dist/shared/measurement/measuredOutcome.d.ts +61 -0
- package/dist/shared/measurement/measuredOutcome.d.ts.map +1 -0
- package/dist/shared/measurement/measuredOutcome.js +109 -0
- package/dist/shared/measurement/measuredOutcome.js.map +1 -0
- package/dist/shared/reporting/findingDisplay.d.ts +14 -2
- package/dist/shared/reporting/findingDisplay.d.ts.map +1 -1
- package/dist/shared/reporting/findingDisplay.js +29 -2
- package/dist/shared/reporting/findingDisplay.js.map +1 -1
- package/dist/shared/reporting/lensCoverage.d.ts +70 -0
- package/dist/shared/reporting/lensCoverage.d.ts.map +1 -0
- package/dist/shared/reporting/lensCoverage.js +108 -0
- package/dist/shared/reporting/lensCoverage.js.map +1 -0
- package/dist/shared/submission/hostResultOutcomes.d.ts +42 -0
- package/dist/shared/submission/hostResultOutcomes.d.ts.map +1 -0
- package/dist/shared/submission/hostResultOutcomes.js +129 -0
- package/dist/shared/submission/hostResultOutcomes.js.map +1 -0
- package/dist/shared/submission/ingestionChecks.d.ts +146 -0
- package/dist/shared/submission/ingestionChecks.d.ts.map +1 -0
- package/dist/shared/submission/ingestionChecks.js +157 -0
- package/dist/shared/submission/ingestionChecks.js.map +1 -0
- package/dist/shared/submission/submissionClassifier.d.ts +8 -0
- package/dist/shared/submission/submissionClassifier.d.ts.map +1 -1
- package/dist/shared/submission/submissionClassifier.js.map +1 -1
- package/dist/shared/submission/submissionLedger.d.ts +24 -1
- package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
- package/dist/shared/submission/submissionLedger.js +61 -0
- package/dist/shared/submission/submissionLedger.js.map +1 -1
- package/dist/shared/submission/submissionScan.d.ts +2 -0
- package/dist/shared/submission/submissionScan.d.ts.map +1 -1
- package/dist/shared/submission/submissionScan.js +4 -0
- package/dist/shared/submission/submissionScan.js.map +1 -1
- package/dist/shared/tooling/projectFacts.d.ts +71 -0
- package/dist/shared/tooling/projectFacts.d.ts.map +1 -0
- package/dist/shared/tooling/projectFacts.js +153 -0
- package/dist/shared/tooling/projectFacts.js.map +1 -0
- package/dist/shared/tooling/projectTestAdmission.d.ts +5 -15
- package/dist/shared/tooling/projectTestAdmission.d.ts.map +1 -1
- package/dist/shared/tooling/projectTestAdmission.js +14 -5
- package/dist/shared/tooling/projectTestAdmission.js.map +1 -1
- package/dist/shared/types/charterPacket.d.ts +156 -0
- package/dist/shared/types/charterPacket.d.ts.map +1 -0
- package/dist/shared/types/charterPacket.js +9 -0
- package/dist/shared/types/charterPacket.js.map +1 -0
- package/dist/shared/types/closingActions.d.ts +16 -0
- package/dist/shared/types/closingActions.d.ts.map +1 -0
- package/dist/shared/types/closingActions.js +25 -0
- package/dist/shared/types/closingActions.js.map +1 -0
- package/dist/shared/types/finding.d.ts +275 -40
- package/dist/shared/types/finding.d.ts.map +1 -1
- package/dist/shared/types/finding.js +87 -0
- package/dist/shared/types/finding.js.map +1 -1
- package/dist/shared/types/intentCheckpoint.d.ts +50 -0
- package/dist/shared/types/intentCheckpoint.d.ts.map +1 -1
- package/dist/shared/types/intentCheckpoint.js +31 -0
- package/dist/shared/types/intentCheckpoint.js.map +1 -1
- package/dist/shared/validation/citationGrounding.d.ts +115 -0
- package/dist/shared/validation/citationGrounding.d.ts.map +1 -0
- package/dist/shared/validation/citationGrounding.js +347 -0
- package/dist/shared/validation/citationGrounding.js.map +1 -0
- package/dist/shared/validation/findingsReport.d.ts.map +1 -1
- package/dist/shared/validation/findingsReport.js +62 -0
- package/dist/shared/validation/findingsReport.js.map +1 -1
- package/docs/audit-pkg/contracts.md +34 -12
- package/docs/audit-pkg/operator-guide.md +10 -7
- package/package.json +3 -2
- package/schemas/audit-code-v1alpha1.schema.json +2 -1
- package/skills/audit-code/audit-code.prompt.md +5 -3
- package/dist/remediate/state/closingActions.d.ts +0 -3
- package/dist/remediate/state/closingActions.d.ts.map +0 -1
- package/dist/remediate/state/closingActions.js +0 -10
- package/dist/remediate/state/closingActions.js.map +0 -1
|
@@ -7,17 +7,17 @@ export declare const ConceptualRoundContributorSchema: z.ZodObject<{
|
|
|
7
7
|
prompt_path: z.ZodString;
|
|
8
8
|
result_path: z.ZodString;
|
|
9
9
|
}, "strict", z.ZodTypeAny, {
|
|
10
|
+
result_path: string;
|
|
10
11
|
contributor_id: string;
|
|
11
12
|
perspective: string;
|
|
12
13
|
lane_id: string;
|
|
13
14
|
prompt_path: string;
|
|
14
|
-
result_path: string;
|
|
15
15
|
}, {
|
|
16
|
+
result_path: string;
|
|
16
17
|
contributor_id: string;
|
|
17
18
|
perspective: string;
|
|
18
19
|
lane_id: string;
|
|
19
20
|
prompt_path: string;
|
|
20
|
-
result_path: string;
|
|
21
21
|
}>;
|
|
22
22
|
export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
|
|
23
23
|
schema_version: z.ZodLiteral<1>;
|
|
@@ -30,17 +30,17 @@ export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
|
|
|
30
30
|
prompt_path: z.ZodString;
|
|
31
31
|
result_path: z.ZodString;
|
|
32
32
|
}, "strict", z.ZodTypeAny, {
|
|
33
|
+
result_path: string;
|
|
33
34
|
contributor_id: string;
|
|
34
35
|
perspective: string;
|
|
35
36
|
lane_id: string;
|
|
36
37
|
prompt_path: string;
|
|
37
|
-
result_path: string;
|
|
38
38
|
}, {
|
|
39
|
+
result_path: string;
|
|
39
40
|
contributor_id: string;
|
|
40
41
|
perspective: string;
|
|
41
42
|
lane_id: string;
|
|
42
43
|
prompt_path: string;
|
|
43
|
-
result_path: string;
|
|
44
44
|
}>, "many">;
|
|
45
45
|
judge: z.ZodObject<{
|
|
46
46
|
contributor_id: z.ZodString;
|
|
@@ -48,50 +48,50 @@ export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
|
|
|
48
48
|
prompt_path: z.ZodString;
|
|
49
49
|
result_path: z.ZodString;
|
|
50
50
|
}, "strict", z.ZodTypeAny, {
|
|
51
|
+
result_path: string;
|
|
51
52
|
contributor_id: string;
|
|
52
53
|
lane_id: string;
|
|
53
54
|
prompt_path: string;
|
|
54
|
-
result_path: string;
|
|
55
55
|
}, {
|
|
56
|
+
result_path: string;
|
|
56
57
|
contributor_id: string;
|
|
57
58
|
lane_id: string;
|
|
58
59
|
prompt_path: string;
|
|
59
|
-
result_path: string;
|
|
60
60
|
}>;
|
|
61
61
|
}, "strict", z.ZodTypeAny, {
|
|
62
62
|
schema_version: 1;
|
|
63
63
|
perspectives: {
|
|
64
|
+
result_path: string;
|
|
64
65
|
contributor_id: string;
|
|
65
66
|
perspective: string;
|
|
66
67
|
lane_id: string;
|
|
67
68
|
prompt_path: string;
|
|
68
|
-
result_path: string;
|
|
69
69
|
}[];
|
|
70
|
+
round_id: string;
|
|
70
71
|
judge: {
|
|
72
|
+
result_path: string;
|
|
71
73
|
contributor_id: string;
|
|
72
74
|
lane_id: string;
|
|
73
75
|
prompt_path: string;
|
|
74
|
-
result_path: string;
|
|
75
76
|
};
|
|
76
77
|
mode: "deep";
|
|
77
|
-
round_id: string;
|
|
78
78
|
}, {
|
|
79
79
|
schema_version: 1;
|
|
80
80
|
perspectives: {
|
|
81
|
+
result_path: string;
|
|
81
82
|
contributor_id: string;
|
|
82
83
|
perspective: string;
|
|
83
84
|
lane_id: string;
|
|
84
85
|
prompt_path: string;
|
|
85
|
-
result_path: string;
|
|
86
86
|
}[];
|
|
87
|
+
round_id: string;
|
|
87
88
|
judge: {
|
|
89
|
+
result_path: string;
|
|
88
90
|
contributor_id: string;
|
|
89
91
|
lane_id: string;
|
|
90
92
|
prompt_path: string;
|
|
91
|
-
result_path: string;
|
|
92
93
|
};
|
|
93
94
|
mode: "deep";
|
|
94
|
-
round_id: string;
|
|
95
95
|
}>;
|
|
96
96
|
export type ConceptualReviewRoundManifest = z.infer<typeof ConceptualReviewRoundManifestSchema>;
|
|
97
97
|
export declare const CONCEPTUAL_REVIEW_ROUND_FILENAME = "conceptual-review-round.json";
|
|
@@ -99,7 +99,7 @@ export declare function conceptualReviewRoundManifestPath(artifactsDir: string):
|
|
|
99
99
|
export declare function writeConceptualReviewRoundManifest(artifactsDir: string, manifest: ConceptualReviewRoundManifest): Promise<void>;
|
|
100
100
|
export declare function readConceptualReviewRoundManifest(artifactsDir: string): Promise<ConceptualReviewRoundManifest | undefined>;
|
|
101
101
|
export declare function clearConceptualReviewRoundManifest(artifactsDir: string): Promise<void>;
|
|
102
|
-
export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
|
|
102
|
+
export declare const ConceptualCandidateDispositionSchema: z.ZodEffects<z.ZodObject<{
|
|
103
103
|
candidate_id: z.ZodString;
|
|
104
104
|
contributor_id: z.ZodString;
|
|
105
105
|
source_finding_id: z.ZodString;
|
|
@@ -107,7 +107,44 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
|
|
|
107
107
|
target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
|
|
108
108
|
modification_percent: z.ZodNumber;
|
|
109
109
|
rationale: z.ZodString;
|
|
110
|
+
/**
|
|
111
|
+
* The judge's claim about whether this candidate's named defect is present
|
|
112
|
+
* at HEAD. REQUIRED, never optional: an optional field defaults to silence,
|
|
113
|
+
* and silence is the defect (134 candidates across two live runs, zero
|
|
114
|
+
* rejections, one of them a candidate the judge itself reported as already
|
|
115
|
+
* fixed and merged at 70% modification).
|
|
116
|
+
*/
|
|
117
|
+
verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
|
|
118
|
+
/**
|
|
119
|
+
* What the judge checked, and what it found. Required exactly when the
|
|
120
|
+
* status is not `asserted` and REFUSED when it is: that makes a
|
|
121
|
+
* `judge_confirmed` or `refuted_at_head` claim cost something and leaves
|
|
122
|
+
* `asserted` the cheap path, so the note cannot decay into boilerplate
|
|
123
|
+
* stamped on every candidate.
|
|
124
|
+
*/
|
|
125
|
+
verification_note: z.ZodOptional<z.ZodString>;
|
|
110
126
|
}, "strict", z.ZodTypeAny, {
|
|
127
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
128
|
+
rationale: string;
|
|
129
|
+
disposition: "rejected" | "retained" | "merged";
|
|
130
|
+
contributor_id: string;
|
|
131
|
+
candidate_id: string;
|
|
132
|
+
source_finding_id: string;
|
|
133
|
+
target_final_finding_ids: string[];
|
|
134
|
+
modification_percent: number;
|
|
135
|
+
verification_note?: string | undefined;
|
|
136
|
+
}, {
|
|
137
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
138
|
+
rationale: string;
|
|
139
|
+
disposition: "rejected" | "retained" | "merged";
|
|
140
|
+
contributor_id: string;
|
|
141
|
+
candidate_id: string;
|
|
142
|
+
source_finding_id: string;
|
|
143
|
+
target_final_finding_ids: string[];
|
|
144
|
+
modification_percent: number;
|
|
145
|
+
verification_note?: string | undefined;
|
|
146
|
+
}>, {
|
|
147
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
111
148
|
rationale: string;
|
|
112
149
|
disposition: "rejected" | "retained" | "merged";
|
|
113
150
|
contributor_id: string;
|
|
@@ -115,7 +152,9 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
|
|
|
115
152
|
source_finding_id: string;
|
|
116
153
|
target_final_finding_ids: string[];
|
|
117
154
|
modification_percent: number;
|
|
155
|
+
verification_note?: string | undefined;
|
|
118
156
|
}, {
|
|
157
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
119
158
|
rationale: string;
|
|
120
159
|
disposition: "rejected" | "retained" | "merged";
|
|
121
160
|
contributor_id: string;
|
|
@@ -123,6 +162,271 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
|
|
|
123
162
|
source_finding_id: string;
|
|
124
163
|
target_final_finding_ids: string[];
|
|
125
164
|
modification_percent: number;
|
|
165
|
+
verification_note?: string | undefined;
|
|
166
|
+
}>;
|
|
167
|
+
/**
|
|
168
|
+
* The findings a judge or perspective may SUBMIT. `verification_status` is
|
|
169
|
+
* omitted for the same reason `WorkerFindingSchema` omits `grounding`: it is
|
|
170
|
+
* derived by the tool at ingest from the per-candidate claims, so a supplied
|
|
171
|
+
* value would bypass the derivation and be un-cross-checkable. The omit keeps it
|
|
172
|
+
* out of the parsed value; `refuseSuppliedVerificationStatus` NAMES it, because
|
|
173
|
+
* a silently stripped field teaches the host nothing.
|
|
174
|
+
*/
|
|
175
|
+
export declare const ConceptualSubmittedFindingSchema: z.ZodObject<Omit<{
|
|
176
|
+
id: z.ZodString;
|
|
177
|
+
title: z.ZodString;
|
|
178
|
+
category: z.ZodString;
|
|
179
|
+
severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
|
|
180
|
+
confidence: z.ZodEnum<["high", "medium", "low"]>;
|
|
181
|
+
lens: z.ZodString;
|
|
182
|
+
summary: z.ZodString;
|
|
183
|
+
affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
184
|
+
path: z.ZodString;
|
|
185
|
+
line_start: z.ZodOptional<z.ZodNumber>;
|
|
186
|
+
line_end: z.ZodOptional<z.ZodNumber>;
|
|
187
|
+
symbol: z.ZodOptional<z.ZodString>;
|
|
188
|
+
quoted_text: z.ZodOptional<z.ZodString>;
|
|
189
|
+
hash_at_plan_time: z.ZodOptional<z.ZodString>;
|
|
190
|
+
}, "strip", z.ZodTypeAny, {
|
|
191
|
+
path: string;
|
|
192
|
+
symbol?: string | undefined;
|
|
193
|
+
line_start?: number | undefined;
|
|
194
|
+
line_end?: number | undefined;
|
|
195
|
+
quoted_text?: string | undefined;
|
|
196
|
+
hash_at_plan_time?: string | undefined;
|
|
197
|
+
}, {
|
|
198
|
+
path: string;
|
|
199
|
+
symbol?: string | undefined;
|
|
200
|
+
line_start?: number | undefined;
|
|
201
|
+
line_end?: number | undefined;
|
|
202
|
+
quoted_text?: string | undefined;
|
|
203
|
+
hash_at_plan_time?: string | undefined;
|
|
204
|
+
}>, {
|
|
205
|
+
path: string;
|
|
206
|
+
symbol?: string | undefined;
|
|
207
|
+
line_start?: number | undefined;
|
|
208
|
+
line_end?: number | undefined;
|
|
209
|
+
quoted_text?: string | undefined;
|
|
210
|
+
hash_at_plan_time?: string | undefined;
|
|
211
|
+
}, {
|
|
212
|
+
path: string;
|
|
213
|
+
symbol?: string | undefined;
|
|
214
|
+
line_start?: number | undefined;
|
|
215
|
+
line_end?: number | undefined;
|
|
216
|
+
quoted_text?: string | undefined;
|
|
217
|
+
hash_at_plan_time?: string | undefined;
|
|
218
|
+
}>, "many">;
|
|
219
|
+
impact: z.ZodOptional<z.ZodString>;
|
|
220
|
+
likelihood: z.ZodOptional<z.ZodString>;
|
|
221
|
+
evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
222
|
+
reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
223
|
+
systemic: z.ZodOptional<z.ZodBoolean>;
|
|
224
|
+
related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
225
|
+
theme_id: z.ZodOptional<z.ZodString>;
|
|
226
|
+
blast_radius: z.ZodOptional<z.ZodNumber>;
|
|
227
|
+
evidence_grounded: z.ZodOptional<z.ZodBoolean>;
|
|
228
|
+
grounding: z.ZodOptional<z.ZodObject<{
|
|
229
|
+
status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
|
|
230
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
231
|
+
}, "strip", z.ZodTypeAny, {
|
|
232
|
+
status: "grounded" | "ungrounded" | "refuted";
|
|
233
|
+
reason?: string | undefined;
|
|
234
|
+
}, {
|
|
235
|
+
status: "grounded" | "ungrounded" | "refuted";
|
|
236
|
+
reason?: string | undefined;
|
|
237
|
+
}>>;
|
|
238
|
+
verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
|
|
239
|
+
executable_anchor: z.ZodOptional<z.ZodObject<{
|
|
240
|
+
command: z.ZodArray<z.ZodString, "many">;
|
|
241
|
+
confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
|
|
242
|
+
kind: z.ZodLiteral<"exit_zero">;
|
|
243
|
+
}, "strip", z.ZodTypeAny, {
|
|
244
|
+
kind: "exit_zero";
|
|
245
|
+
}, {
|
|
246
|
+
kind: "exit_zero";
|
|
247
|
+
}>, z.ZodObject<{
|
|
248
|
+
kind: z.ZodLiteral<"exit_nonzero">;
|
|
249
|
+
}, "strip", z.ZodTypeAny, {
|
|
250
|
+
kind: "exit_nonzero";
|
|
251
|
+
}, {
|
|
252
|
+
kind: "exit_nonzero";
|
|
253
|
+
}>, z.ZodObject<{
|
|
254
|
+
kind: z.ZodLiteral<"output_includes">;
|
|
255
|
+
text: z.ZodString;
|
|
256
|
+
}, "strip", z.ZodTypeAny, {
|
|
257
|
+
kind: "output_includes";
|
|
258
|
+
text: string;
|
|
259
|
+
}, {
|
|
260
|
+
kind: "output_includes";
|
|
261
|
+
text: string;
|
|
262
|
+
}>, z.ZodObject<{
|
|
263
|
+
kind: z.ZodLiteral<"output_excludes">;
|
|
264
|
+
text: z.ZodString;
|
|
265
|
+
}, "strip", z.ZodTypeAny, {
|
|
266
|
+
kind: "output_excludes";
|
|
267
|
+
text: string;
|
|
268
|
+
}, {
|
|
269
|
+
kind: "output_excludes";
|
|
270
|
+
text: string;
|
|
271
|
+
}>]>;
|
|
272
|
+
claim: z.ZodOptional<z.ZodString>;
|
|
273
|
+
}, "strip", z.ZodTypeAny, {
|
|
274
|
+
command: string[];
|
|
275
|
+
confirm_if: {
|
|
276
|
+
kind: "exit_zero";
|
|
277
|
+
} | {
|
|
278
|
+
kind: "exit_nonzero";
|
|
279
|
+
} | {
|
|
280
|
+
kind: "output_includes";
|
|
281
|
+
text: string;
|
|
282
|
+
} | {
|
|
283
|
+
kind: "output_excludes";
|
|
284
|
+
text: string;
|
|
285
|
+
};
|
|
286
|
+
claim?: string | undefined;
|
|
287
|
+
}, {
|
|
288
|
+
command: string[];
|
|
289
|
+
confirm_if: {
|
|
290
|
+
kind: "exit_zero";
|
|
291
|
+
} | {
|
|
292
|
+
kind: "exit_nonzero";
|
|
293
|
+
} | {
|
|
294
|
+
kind: "output_includes";
|
|
295
|
+
text: string;
|
|
296
|
+
} | {
|
|
297
|
+
kind: "output_excludes";
|
|
298
|
+
text: string;
|
|
299
|
+
};
|
|
300
|
+
claim?: string | undefined;
|
|
301
|
+
}>>;
|
|
302
|
+
contract_goal_id: z.ZodOptional<z.ZodString>;
|
|
303
|
+
contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
304
|
+
verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
305
|
+
targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
306
|
+
analyzer_provenance: z.ZodOptional<z.ZodObject<{
|
|
307
|
+
analyzer_id: z.ZodString;
|
|
308
|
+
rule: z.ZodOptional<z.ZodString>;
|
|
309
|
+
path: z.ZodString;
|
|
310
|
+
snippet_hash: z.ZodString;
|
|
311
|
+
}, "strict", z.ZodTypeAny, {
|
|
312
|
+
path: string;
|
|
313
|
+
analyzer_id: string;
|
|
314
|
+
snippet_hash: string;
|
|
315
|
+
rule?: string | undefined;
|
|
316
|
+
}, {
|
|
317
|
+
path: string;
|
|
318
|
+
analyzer_id: string;
|
|
319
|
+
snippet_hash: string;
|
|
320
|
+
rule?: string | undefined;
|
|
321
|
+
}>>;
|
|
322
|
+
}, "verification_status">, "strip", z.ZodTypeAny, {
|
|
323
|
+
id: string;
|
|
324
|
+
confidence: "high" | "low" | "medium";
|
|
325
|
+
title: string;
|
|
326
|
+
category: string;
|
|
327
|
+
severity: "high" | "low" | "critical" | "medium" | "info";
|
|
328
|
+
lens: string;
|
|
329
|
+
summary: string;
|
|
330
|
+
affected_files: {
|
|
331
|
+
path: string;
|
|
332
|
+
symbol?: string | undefined;
|
|
333
|
+
line_start?: number | undefined;
|
|
334
|
+
line_end?: number | undefined;
|
|
335
|
+
quoted_text?: string | undefined;
|
|
336
|
+
hash_at_plan_time?: string | undefined;
|
|
337
|
+
}[];
|
|
338
|
+
impact?: string | undefined;
|
|
339
|
+
likelihood?: string | undefined;
|
|
340
|
+
evidence?: string[] | undefined;
|
|
341
|
+
reproduction?: string[] | undefined;
|
|
342
|
+
systemic?: boolean | undefined;
|
|
343
|
+
related_findings?: string[] | undefined;
|
|
344
|
+
theme_id?: string | undefined;
|
|
345
|
+
blast_radius?: number | undefined;
|
|
346
|
+
evidence_grounded?: boolean | undefined;
|
|
347
|
+
grounding?: {
|
|
348
|
+
status: "grounded" | "ungrounded" | "refuted";
|
|
349
|
+
reason?: string | undefined;
|
|
350
|
+
} | undefined;
|
|
351
|
+
executable_anchor?: {
|
|
352
|
+
command: string[];
|
|
353
|
+
confirm_if: {
|
|
354
|
+
kind: "exit_zero";
|
|
355
|
+
} | {
|
|
356
|
+
kind: "exit_nonzero";
|
|
357
|
+
} | {
|
|
358
|
+
kind: "output_includes";
|
|
359
|
+
text: string;
|
|
360
|
+
} | {
|
|
361
|
+
kind: "output_excludes";
|
|
362
|
+
text: string;
|
|
363
|
+
};
|
|
364
|
+
claim?: string | undefined;
|
|
365
|
+
} | undefined;
|
|
366
|
+
contract_goal_id?: string | undefined;
|
|
367
|
+
contract_obligation_ids?: string[] | undefined;
|
|
368
|
+
verification_obligation_ids?: string[] | undefined;
|
|
369
|
+
targeted_commands?: string[] | undefined;
|
|
370
|
+
analyzer_provenance?: {
|
|
371
|
+
path: string;
|
|
372
|
+
analyzer_id: string;
|
|
373
|
+
snippet_hash: string;
|
|
374
|
+
rule?: string | undefined;
|
|
375
|
+
} | undefined;
|
|
376
|
+
}, {
|
|
377
|
+
id: string;
|
|
378
|
+
confidence: "high" | "low" | "medium";
|
|
379
|
+
title: string;
|
|
380
|
+
category: string;
|
|
381
|
+
severity: "high" | "low" | "critical" | "medium" | "info";
|
|
382
|
+
lens: string;
|
|
383
|
+
summary: string;
|
|
384
|
+
affected_files: {
|
|
385
|
+
path: string;
|
|
386
|
+
symbol?: string | undefined;
|
|
387
|
+
line_start?: number | undefined;
|
|
388
|
+
line_end?: number | undefined;
|
|
389
|
+
quoted_text?: string | undefined;
|
|
390
|
+
hash_at_plan_time?: string | undefined;
|
|
391
|
+
}[];
|
|
392
|
+
impact?: string | undefined;
|
|
393
|
+
likelihood?: string | undefined;
|
|
394
|
+
evidence?: string[] | undefined;
|
|
395
|
+
reproduction?: string[] | undefined;
|
|
396
|
+
systemic?: boolean | undefined;
|
|
397
|
+
related_findings?: string[] | undefined;
|
|
398
|
+
theme_id?: string | undefined;
|
|
399
|
+
blast_radius?: number | undefined;
|
|
400
|
+
evidence_grounded?: boolean | undefined;
|
|
401
|
+
grounding?: {
|
|
402
|
+
status: "grounded" | "ungrounded" | "refuted";
|
|
403
|
+
reason?: string | undefined;
|
|
404
|
+
} | undefined;
|
|
405
|
+
executable_anchor?: {
|
|
406
|
+
command: string[];
|
|
407
|
+
confirm_if: {
|
|
408
|
+
kind: "exit_zero";
|
|
409
|
+
} | {
|
|
410
|
+
kind: "exit_nonzero";
|
|
411
|
+
} | {
|
|
412
|
+
kind: "output_includes";
|
|
413
|
+
text: string;
|
|
414
|
+
} | {
|
|
415
|
+
kind: "output_excludes";
|
|
416
|
+
text: string;
|
|
417
|
+
};
|
|
418
|
+
claim?: string | undefined;
|
|
419
|
+
} | undefined;
|
|
420
|
+
contract_goal_id?: string | undefined;
|
|
421
|
+
contract_obligation_ids?: string[] | undefined;
|
|
422
|
+
verification_obligation_ids?: string[] | undefined;
|
|
423
|
+
targeted_commands?: string[] | undefined;
|
|
424
|
+
analyzer_provenance?: {
|
|
425
|
+
path: string;
|
|
426
|
+
analyzer_id: string;
|
|
427
|
+
snippet_hash: string;
|
|
428
|
+
rule?: string | undefined;
|
|
429
|
+
} | undefined;
|
|
126
430
|
}>;
|
|
127
431
|
export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
|
|
128
432
|
final_finding_id: z.ZodString;
|
|
@@ -161,7 +465,7 @@ export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
|
|
|
161
465
|
}>;
|
|
162
466
|
export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
163
467
|
round_id: z.ZodString;
|
|
164
|
-
findings: z.ZodArray<z.ZodObject<{
|
|
468
|
+
findings: z.ZodArray<z.ZodObject<Omit<{
|
|
165
469
|
id: z.ZodString;
|
|
166
470
|
title: z.ZodString;
|
|
167
471
|
category: z.ZodString;
|
|
@@ -224,6 +528,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
224
528
|
status: "grounded" | "ungrounded" | "refuted";
|
|
225
529
|
reason?: string | undefined;
|
|
226
530
|
}>>;
|
|
531
|
+
verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
|
|
227
532
|
executable_anchor: z.ZodOptional<z.ZodObject<{
|
|
228
533
|
command: z.ZodArray<z.ZodString, "many">;
|
|
229
534
|
confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
|
|
@@ -307,7 +612,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
307
612
|
snippet_hash: string;
|
|
308
613
|
rule?: string | undefined;
|
|
309
614
|
}>>;
|
|
310
|
-
}, "strip", z.ZodTypeAny, {
|
|
615
|
+
}, "verification_status">, "strip", z.ZodTypeAny, {
|
|
311
616
|
id: string;
|
|
312
617
|
confidence: "high" | "low" | "medium";
|
|
313
618
|
title: string;
|
|
@@ -416,7 +721,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
416
721
|
rule?: string | undefined;
|
|
417
722
|
} | undefined;
|
|
418
723
|
}>, "many">;
|
|
419
|
-
candidate_dispositions: z.ZodArray<z.ZodObject<{
|
|
724
|
+
candidate_dispositions: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
420
725
|
candidate_id: z.ZodString;
|
|
421
726
|
contributor_id: z.ZodString;
|
|
422
727
|
source_finding_id: z.ZodString;
|
|
@@ -424,7 +729,44 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
424
729
|
target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
|
|
425
730
|
modification_percent: z.ZodNumber;
|
|
426
731
|
rationale: z.ZodString;
|
|
732
|
+
/**
|
|
733
|
+
* The judge's claim about whether this candidate's named defect is present
|
|
734
|
+
* at HEAD. REQUIRED, never optional: an optional field defaults to silence,
|
|
735
|
+
* and silence is the defect (134 candidates across two live runs, zero
|
|
736
|
+
* rejections, one of them a candidate the judge itself reported as already
|
|
737
|
+
* fixed and merged at 70% modification).
|
|
738
|
+
*/
|
|
739
|
+
verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
|
|
740
|
+
/**
|
|
741
|
+
* What the judge checked, and what it found. Required exactly when the
|
|
742
|
+
* status is not `asserted` and REFUSED when it is: that makes a
|
|
743
|
+
* `judge_confirmed` or `refuted_at_head` claim cost something and leaves
|
|
744
|
+
* `asserted` the cheap path, so the note cannot decay into boilerplate
|
|
745
|
+
* stamped on every candidate.
|
|
746
|
+
*/
|
|
747
|
+
verification_note: z.ZodOptional<z.ZodString>;
|
|
427
748
|
}, "strict", z.ZodTypeAny, {
|
|
749
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
750
|
+
rationale: string;
|
|
751
|
+
disposition: "rejected" | "retained" | "merged";
|
|
752
|
+
contributor_id: string;
|
|
753
|
+
candidate_id: string;
|
|
754
|
+
source_finding_id: string;
|
|
755
|
+
target_final_finding_ids: string[];
|
|
756
|
+
modification_percent: number;
|
|
757
|
+
verification_note?: string | undefined;
|
|
758
|
+
}, {
|
|
759
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
760
|
+
rationale: string;
|
|
761
|
+
disposition: "rejected" | "retained" | "merged";
|
|
762
|
+
contributor_id: string;
|
|
763
|
+
candidate_id: string;
|
|
764
|
+
source_finding_id: string;
|
|
765
|
+
target_final_finding_ids: string[];
|
|
766
|
+
modification_percent: number;
|
|
767
|
+
verification_note?: string | undefined;
|
|
768
|
+
}>, {
|
|
769
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
428
770
|
rationale: string;
|
|
429
771
|
disposition: "rejected" | "retained" | "merged";
|
|
430
772
|
contributor_id: string;
|
|
@@ -432,7 +774,9 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
432
774
|
source_finding_id: string;
|
|
433
775
|
target_final_finding_ids: string[];
|
|
434
776
|
modification_percent: number;
|
|
777
|
+
verification_note?: string | undefined;
|
|
435
778
|
}, {
|
|
779
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
436
780
|
rationale: string;
|
|
437
781
|
disposition: "rejected" | "retained" | "merged";
|
|
438
782
|
contributor_id: string;
|
|
@@ -440,6 +784,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
440
784
|
source_finding_id: string;
|
|
441
785
|
target_final_finding_ids: string[];
|
|
442
786
|
modification_percent: number;
|
|
787
|
+
verification_note?: string | undefined;
|
|
443
788
|
}>, "many">;
|
|
444
789
|
final_finding_shares: z.ZodArray<z.ZodObject<{
|
|
445
790
|
final_finding_id: z.ZodString;
|
|
@@ -534,6 +879,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
534
879
|
}[];
|
|
535
880
|
round_id: string;
|
|
536
881
|
candidate_dispositions: {
|
|
882
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
537
883
|
rationale: string;
|
|
538
884
|
disposition: "rejected" | "retained" | "merged";
|
|
539
885
|
contributor_id: string;
|
|
@@ -541,6 +887,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
541
887
|
source_finding_id: string;
|
|
542
888
|
target_final_finding_ids: string[];
|
|
543
889
|
modification_percent: number;
|
|
890
|
+
verification_note?: string | undefined;
|
|
544
891
|
}[];
|
|
545
892
|
final_finding_shares: {
|
|
546
893
|
final_finding_id: string;
|
|
@@ -609,6 +956,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
609
956
|
}[];
|
|
610
957
|
round_id: string;
|
|
611
958
|
candidate_dispositions: {
|
|
959
|
+
verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
|
|
612
960
|
rationale: string;
|
|
613
961
|
disposition: "rejected" | "retained" | "merged";
|
|
614
962
|
contributor_id: string;
|
|
@@ -616,6 +964,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
|
|
|
616
964
|
source_finding_id: string;
|
|
617
965
|
target_final_finding_ids: string[];
|
|
618
966
|
modification_percent: number;
|
|
967
|
+
verification_note?: string | undefined;
|
|
619
968
|
}[];
|
|
620
969
|
final_finding_shares: {
|
|
621
970
|
final_finding_id: string;
|
|
@@ -643,8 +992,38 @@ export interface ConceptualReviewAdjudication {
|
|
|
643
992
|
contributors: ConceptualReviewContributor[];
|
|
644
993
|
candidate_dispositions: ConceptualJudgeSubmission["candidate_dispositions"];
|
|
645
994
|
final_finding_shares: ConceptualJudgeSubmission["final_finding_shares"];
|
|
995
|
+
/**
|
|
996
|
+
* CANDIDATE-scoped counts, DERIVED by `buildConceptualReviewAdjudication` and
|
|
997
|
+
* never read from the submission — an aggregate a judge supplied would let the
|
|
998
|
+
* artifact self-certify its own outcome. Both are required, so an adjudication
|
|
999
|
+
* that publishes no rejection rate cannot exist.
|
|
1000
|
+
*
|
|
1001
|
+
* These do NOT reconcile with the finding-scoped
|
|
1002
|
+
* `AuditFindingsSummary.verification_status_breakdown`, and are not meant to:
|
|
1003
|
+
* a merged candidate's final finding can still be quarantined ungrounded
|
|
1004
|
+
* downstream. Each is labelled by its population rather than reconciled into
|
|
1005
|
+
* one number that would have to hide the quarantine.
|
|
1006
|
+
*/
|
|
1007
|
+
candidate_disposition_breakdown: Record<string, number>;
|
|
1008
|
+
candidate_verification_status_breakdown: Record<string, number>;
|
|
646
1009
|
}
|
|
647
1010
|
export declare function conceptualCandidateId(contributorId: string, findingId: string): string;
|
|
1011
|
+
/**
|
|
1012
|
+
* Fold the judge's per-CANDIDATE verification claims into a per-FINDING status.
|
|
1013
|
+
* A final finding is `judge_confirmed` when at least one candidate that fed it
|
|
1014
|
+
* was; otherwise `asserted`. The fold is TOTAL by construction — a judge-added
|
|
1015
|
+
* finding has no candidate, and the shallow pass has no adjudication at all, and
|
|
1016
|
+
* both land on `asserted` rather than on an absent field, because absence is the
|
|
1017
|
+
* silence this vocabulary exists to end.
|
|
1018
|
+
*
|
|
1019
|
+
* `refuted_at_head` can never be emitted here: the validator forces a refuted
|
|
1020
|
+
* candidate to `rejected`, and a rejected candidate maps to no final finding.
|
|
1021
|
+
*
|
|
1022
|
+
* Derived, never host-supplied — the reason `verification_status` is omitted
|
|
1023
|
+
* from every submission schema. Returns new finding objects; the input is not
|
|
1024
|
+
* mutated.
|
|
1025
|
+
*/
|
|
1026
|
+
export declare function deriveConceptualVerificationStatus(findings: readonly Finding[], adjudication: ConceptualReviewAdjudication | undefined): Finding[];
|
|
648
1027
|
/**
|
|
649
1028
|
* Read exactly the perspective result paths named by the current-round
|
|
650
1029
|
* manifest. No directory scan is permitted: old round files may remain for
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;
|
|
1
|
+
{"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;IAS7C;;;;;;OAMG;;IAEH;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBH,CAAC;AAEL;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAC;AAEH,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlExC;;;;;;WAMG;;QAEH;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2DI,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;IACxE;;;;;;;;;;;OAWG;IACH,+BAA+B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,uCAAuC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,YAAY,EAAE,4BAA4B,GAAG,SAAS,GACrD,OAAO,EAAE,CAcX;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAyBD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CAoO/B"}
|