audit-tools 0.42.0 → 0.43.0
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/dispatch/merge-results.mjs +229 -140
- package/dispatch/validate-result.mjs +98 -40
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +35 -3
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts +9 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +94 -38
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts +64 -0
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +877 -783
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +12 -0
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +34 -1
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/steps.d.ts +2 -2
- package/dist/audit/extractors/graph.d.ts +28 -2
- package/dist/audit/extractors/graph.d.ts.map +1 -1
- package/dist/audit/extractors/graph.js +122 -11
- package/dist/audit/extractors/graph.js.map +1 -1
- package/dist/audit/extractors/graphRoutes.d.ts +8 -0
- package/dist/audit/extractors/graphRoutes.d.ts.map +1 -1
- package/dist/audit/extractors/graphRoutes.js +71 -4
- package/dist/audit/extractors/graphRoutes.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts +55 -0
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +189 -12
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/io/toolingManifest.d.ts +11 -0
- package/dist/audit/io/toolingManifest.d.ts.map +1 -1
- package/dist/audit/io/toolingManifest.js +13 -3
- package/dist/audit/io/toolingManifest.js.map +1 -1
- package/dist/audit/orchestrator/advance.d.ts +64 -0
- package/dist/audit/orchestrator/advance.d.ts.map +1 -1
- package/dist/audit/orchestrator/advance.js +191 -57
- package/dist/audit/orchestrator/advance.js.map +1 -1
- package/dist/audit/orchestrator/charterClarificationExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterClarificationExecutor.js +55 -21
- package/dist/audit/orchestrator/charterClarificationExecutor.js.map +1 -1
- package/dist/audit/orchestrator/flowCoverage.d.ts.map +1 -1
- package/dist/audit/orchestrator/flowCoverage.js +7 -10
- package/dist/audit/orchestrator/flowCoverage.js.map +1 -1
- package/dist/audit/orchestrator/flowPlanning.d.ts +54 -1
- package/dist/audit/orchestrator/flowPlanning.d.ts.map +1 -1
- package/dist/audit/orchestrator/flowPlanning.js +77 -18
- package/dist/audit/orchestrator/flowPlanning.js.map +1 -1
- package/dist/audit/orchestrator/flowRequeue.d.ts.map +1 -1
- package/dist/audit/orchestrator/flowRequeue.js +6 -10
- package/dist/audit/orchestrator/flowRequeue.js.map +1 -1
- package/dist/audit/orchestrator/partitionTaskGraph.d.ts.map +1 -1
- package/dist/audit/orchestrator/partitionTaskGraph.js +2 -2
- package/dist/audit/orchestrator/partitionTaskGraph.js.map +1 -1
- package/dist/audit/orchestrator/requeueFold.d.ts.map +1 -1
- package/dist/audit/orchestrator/requeueFold.js +18 -5
- package/dist/audit/orchestrator/requeueFold.js.map +1 -1
- package/dist/audit/orchestrator/staleness.d.ts +24 -1
- package/dist/audit/orchestrator/staleness.d.ts.map +1 -1
- package/dist/audit/orchestrator/staleness.js +147 -16
- package/dist/audit/orchestrator/staleness.js.map +1 -1
- package/dist/audit/orchestrator/syntaxResolutionExecutor.d.ts +26 -0
- package/dist/audit/orchestrator/syntaxResolutionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/syntaxResolutionExecutor.js +97 -12
- package/dist/audit/orchestrator/syntaxResolutionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/taskBuilder.d.ts.map +1 -1
- package/dist/audit/orchestrator/taskBuilder.js +111 -21
- package/dist/audit/orchestrator/taskBuilder.js.map +1 -1
- package/dist/audit/orchestrator/trivialAudit.d.ts +17 -1
- package/dist/audit/orchestrator/trivialAudit.d.ts.map +1 -1
- package/dist/audit/orchestrator/trivialAudit.js +31 -4
- package/dist/audit/orchestrator/trivialAudit.js.map +1 -1
- package/dist/audit/reporting/synthesis.d.ts.map +1 -1
- package/dist/audit/reporting/synthesis.js +2 -3
- package/dist/audit/reporting/synthesis.js.map +1 -1
- package/dist/audit/reporting/workBlocks.d.ts.map +1 -1
- package/dist/audit/reporting/workBlocks.js +4 -38
- package/dist/audit/reporting/workBlocks.js.map +1 -1
- package/dist/audit/types/analyzerCapability.d.ts +6 -6
- package/dist/audit/types/charterRegister.d.ts +30 -12
- package/dist/audit/types/charterRegister.d.ts.map +1 -1
- package/dist/audit/types/charterRegister.js +22 -9
- package/dist/audit/types/charterRegister.js.map +1 -1
- package/dist/audit/validation/anchorGrounding.d.ts.map +1 -1
- package/dist/audit/validation/anchorGrounding.js +17 -0
- package/dist/audit/validation/anchorGrounding.js.map +1 -1
- package/dist/audit/validation/auditResults.d.ts +17 -0
- package/dist/audit/validation/auditResults.d.ts.map +1 -1
- package/dist/audit/validation/auditResults.js +50 -17
- package/dist/audit/validation/auditResults.js.map +1 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.d.ts +48 -0
- package/dist/remediate/contractPipeline/cyclicSeamResolution.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js +128 -0
- package/dist/remediate/contractPipeline/cyclicSeamResolution.js.map +1 -1
- package/dist/remediate/contractPipeline/derive.d.ts +8 -5
- package/dist/remediate/contractPipeline/derive.d.ts.map +1 -1
- package/dist/remediate/contractPipeline/derive.js +8 -16
- package/dist/remediate/contractPipeline/derive.js.map +1 -1
- package/dist/remediate/index.d.ts.map +1 -1
- package/dist/remediate/index.js +43 -2
- package/dist/remediate/index.js.map +1 -1
- package/dist/remediate/intent/intentOrdering.d.ts +13 -5
- package/dist/remediate/intent/intentOrdering.d.ts.map +1 -1
- package/dist/remediate/intent/intentOrdering.js +56 -25
- package/dist/remediate/intent/intentOrdering.js.map +1 -1
- package/dist/remediate/phases/close.d.ts +57 -2
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +260 -36
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/state/disposition.d.ts +26 -4
- package/dist/remediate/state/disposition.d.ts.map +1 -1
- package/dist/remediate/state/itemStatus.d.ts +33 -6
- package/dist/remediate/state/itemStatus.d.ts.map +1 -1
- package/dist/remediate/state/itemStatus.js +154 -39
- package/dist/remediate/state/itemStatus.js.map +1 -1
- package/dist/remediate/state/types.d.ts +41 -2
- package/dist/remediate/state/types.d.ts.map +1 -1
- package/dist/remediate/state/types.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts +287 -15
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +1664 -987
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js +1 -1
- package/dist/remediate/steps/contractPipelinePrompts.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts +137 -2
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +713 -59
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/finalGate.d.ts +136 -37
- package/dist/remediate/steps/finalGate.d.ts.map +1 -1
- package/dist/remediate/steps/finalGate.js +120 -86
- package/dist/remediate/steps/finalGate.js.map +1 -1
- package/dist/remediate/steps/gateCommands.d.ts +8 -0
- package/dist/remediate/steps/gateCommands.d.ts.map +1 -1
- package/dist/remediate/steps/gateCommands.js +40 -11
- package/dist/remediate/steps/gateCommands.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +96 -5
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +668 -147
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/types.d.ts +4 -1
- package/dist/remediate/steps/types.d.ts.map +1 -1
- package/dist/remediate/steps/types.js +10 -0
- package/dist/remediate/steps/types.js.map +1 -1
- package/dist/remediate/validation/artifacts.d.ts +20 -0
- package/dist/remediate/validation/artifacts.d.ts.map +1 -1
- package/dist/remediate/validation/artifacts.js +239 -13
- package/dist/remediate/validation/artifacts.js.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.d.ts +58 -0
- package/dist/remediate/validation/contractPipelineGates.d.ts.map +1 -1
- package/dist/remediate/validation/contractPipelineGates.js +167 -43
- package/dist/remediate/validation/contractPipelineGates.js.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.d.ts +72 -25
- package/dist/shared/analyzers/acquisitionEngine.d.ts.map +1 -1
- package/dist/shared/analyzers/acquisitionEngine.js +149 -15
- package/dist/shared/analyzers/acquisitionEngine.js.map +1 -1
- package/dist/shared/analyzers/binaryAcquisition.d.ts +27 -2
- package/dist/shared/analyzers/binaryAcquisition.d.ts.map +1 -1
- package/dist/shared/analyzers/binaryAcquisition.js +149 -43
- package/dist/shared/analyzers/binaryAcquisition.js.map +1 -1
- package/dist/shared/analyzers/candidates.d.ts +9 -8
- package/dist/shared/analyzers/candidates.d.ts.map +1 -1
- package/dist/shared/analyzers/candidates.js +96 -64
- package/dist/shared/analyzers/candidates.js.map +1 -1
- package/dist/shared/analyzers/normalizeExternal.d.ts +40 -12
- package/dist/shared/analyzers/normalizeExternal.d.ts.map +1 -1
- package/dist/shared/analyzers/normalizeExternal.js +74 -18
- package/dist/shared/analyzers/normalizeExternal.js.map +1 -1
- package/dist/shared/analyzers/rubocop.d.ts +14 -13
- package/dist/shared/analyzers/rubocop.d.ts.map +1 -1
- package/dist/shared/analyzers/rubocop.js +29 -6
- package/dist/shared/analyzers/rubocop.js.map +1 -1
- package/dist/shared/analyzers/types.d.ts +196 -13
- package/dist/shared/analyzers/types.d.ts.map +1 -1
- package/dist/shared/analyzers/types.js +122 -9
- package/dist/shared/analyzers/types.js.map +1 -1
- package/dist/shared/decompose/charterClarification.d.ts +12 -1
- package/dist/shared/decompose/charterClarification.d.ts.map +1 -1
- package/dist/shared/decompose/charterClarification.js +11 -4
- package/dist/shared/decompose/charterClarification.js.map +1 -1
- package/dist/shared/decompose/charterExtraction.d.ts +20 -10
- package/dist/shared/decompose/charterExtraction.d.ts.map +1 -1
- package/dist/shared/decompose/charterExtraction.js +52 -23
- package/dist/shared/decompose/charterExtraction.js.map +1 -1
- package/dist/shared/decompose/contentCoherence.d.ts +43 -2
- package/dist/shared/decompose/contentCoherence.d.ts.map +1 -1
- package/dist/shared/decompose/contentCoherence.js +109 -5
- package/dist/shared/decompose/contentCoherence.js.map +1 -1
- package/dist/shared/decompose/modularity.d.ts +17 -0
- package/dist/shared/decompose/modularity.d.ts.map +1 -1
- package/dist/shared/decompose/modularity.js +78 -3
- package/dist/shared/decompose/modularity.js.map +1 -1
- package/dist/shared/decompose/workBlockSeams.d.ts +45 -0
- package/dist/shared/decompose/workBlockSeams.d.ts.map +1 -0
- package/dist/shared/decompose/workBlockSeams.js +82 -0
- package/dist/shared/decompose/workBlockSeams.js.map +1 -0
- package/dist/shared/index.d.ts +4 -3
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +4 -2
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/intent/freeFormIntentInterpreter.d.ts +12 -2
- package/dist/shared/intent/freeFormIntentInterpreter.d.ts.map +1 -1
- package/dist/shared/intent/freeFormIntentInterpreter.js +27 -22
- package/dist/shared/intent/freeFormIntentInterpreter.js.map +1 -1
- package/dist/shared/intent/pathScope.d.ts +12 -1
- package/dist/shared/intent/pathScope.d.ts.map +1 -1
- package/dist/shared/intent/pathScope.js +56 -19
- package/dist/shared/intent/pathScope.js.map +1 -1
- package/dist/shared/intent/sharedIntentData.d.ts +19 -1
- package/dist/shared/intent/sharedIntentData.d.ts.map +1 -1
- package/dist/shared/intent/sharedIntentData.js +33 -8
- package/dist/shared/intent/sharedIntentData.js.map +1 -1
- package/dist/shared/io/fileLock.d.ts +12 -0
- package/dist/shared/io/fileLock.d.ts.map +1 -1
- package/dist/shared/io/fileLock.js +48 -5
- package/dist/shared/io/fileLock.js.map +1 -1
- package/dist/shared/io/json.d.ts +13 -0
- package/dist/shared/io/json.d.ts.map +1 -1
- package/dist/shared/io/json.js +19 -1
- package/dist/shared/io/json.js.map +1 -1
- package/dist/shared/reporting/auditDeliverable.d.ts.map +1 -1
- package/dist/shared/reporting/auditDeliverable.js +8 -3
- package/dist/shared/reporting/auditDeliverable.js.map +1 -1
- package/dist/shared/steps/stepEmissionScaffold.d.ts +69 -0
- package/dist/shared/steps/stepEmissionScaffold.d.ts.map +1 -0
- package/dist/shared/steps/stepEmissionScaffold.js +83 -0
- package/dist/shared/steps/stepEmissionScaffold.js.map +1 -0
- package/dist/shared/submission/handRecovery.d.ts.map +1 -1
- package/dist/shared/submission/handRecovery.js +69 -4
- package/dist/shared/submission/handRecovery.js.map +1 -1
- package/dist/shared/submission/submissionIdentity.d.ts +10 -1
- package/dist/shared/submission/submissionIdentity.d.ts.map +1 -1
- package/dist/shared/submission/submissionIdentity.js +12 -3
- package/dist/shared/submission/submissionIdentity.js.map +1 -1
- package/dist/shared/submission/submissionLedger.d.ts +43 -2
- package/dist/shared/submission/submissionLedger.d.ts.map +1 -1
- package/dist/shared/submission/submissionLedger.js +50 -7
- package/dist/shared/submission/submissionLedger.js.map +1 -1
- package/dist/shared/tooling/allowlistedExec.d.ts +9 -0
- package/dist/shared/tooling/allowlistedExec.d.ts.map +1 -1
- package/dist/shared/tooling/allowlistedExec.js +19 -2
- package/dist/shared/tooling/allowlistedExec.js.map +1 -1
- package/dist/shared/types/charter.d.ts +24 -0
- package/dist/shared/types/charter.d.ts.map +1 -1
- package/dist/shared/types/charter.js +9 -0
- package/dist/shared/types/charter.js.map +1 -1
- package/dist/shared/types/finding.d.ts +105 -53
- package/dist/shared/types/finding.d.ts.map +1 -1
- package/dist/shared/types/finding.js +38 -11
- package/dist/shared/types/finding.js.map +1 -1
- package/dist/shared/types/remediationOutcome.d.ts +282 -9
- package/dist/shared/types/remediationOutcome.d.ts.map +1 -1
- package/dist/shared/types/remediationOutcome.js +174 -1
- package/dist/shared/types/remediationOutcome.js.map +1 -1
- package/dist/shared/validation/findingsReport.d.ts.map +1 -1
- package/dist/shared/validation/findingsReport.js +19 -1
- package/dist/shared/validation/findingsReport.js.map +1 -1
- package/package.json +2 -1
- package/remediate-code.mjs +15 -0
- package/wrapper/remediate-code-wrapper-install-hosts.mjs +45 -4
- package/wrapper/remediate-code-wrapper-install-renderers.mjs +12 -2
|
@@ -225,19 +225,46 @@ export const WorkBlockSchema = z.object({
|
|
|
225
225
|
/** Advisory deterministic content estimate; never a membership or fit claim. */
|
|
226
226
|
token_estimate: z.number().int().nonnegative().optional(),
|
|
227
227
|
});
|
|
228
|
-
/**
|
|
229
|
-
|
|
228
|
+
/**
|
|
229
|
+
* One CONTESTED FILE and every work block that owns it — a predicted write
|
|
230
|
+
* conflict, which always requires a seam-first phase before those blocks may run
|
|
231
|
+
* in parallel.
|
|
232
|
+
*
|
|
233
|
+
* The seam is keyed on the file rather than on a block PAIR: the conflict is a
|
|
234
|
+
* property of the contested path, so N blocks over one file are one seam with N
|
|
235
|
+
* `block_ids`, not N·(N−1)/2 records repeating it. `id` is derived from the file
|
|
236
|
+
* (never positional) because `prepares_seam_ids` in the remediation contract
|
|
237
|
+
* pipeline references it.
|
|
238
|
+
*/
|
|
239
|
+
export const WorkBlockSeamSchema = z
|
|
240
|
+
.object({
|
|
230
241
|
id: z.string(),
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
236
|
-
|
|
237
|
-
|
|
238
|
-
|
|
239
|
-
|
|
242
|
+
/** The contested repo-relative path, forward-slashed. */
|
|
243
|
+
file: z.string().min(1),
|
|
244
|
+
/**
|
|
245
|
+
* Every block owning `file`: at least two DISTINCT ids, sorted. `.min(2)` is
|
|
246
|
+
* load-bearing (it is what makes the record a conflict), so a repeated id
|
|
247
|
+
* must not satisfy it.
|
|
248
|
+
*/
|
|
249
|
+
block_ids: z.array(z.string()).min(2),
|
|
250
|
+
kind: z.enum(["predicted_write_conflict", "systemic_coordination"]),
|
|
251
|
+
/**
|
|
252
|
+
* A contested file IS a write conflict, so this is `true` by construction.
|
|
253
|
+
* Stated as a literal rather than left to the producer: the remediation gate
|
|
254
|
+
* and the phase cut both filter on `requires_preparation === true`, so a
|
|
255
|
+
* seam that arrived `false` would be silently dropped rather than refused.
|
|
256
|
+
*/
|
|
257
|
+
requires_preparation: z.literal(true),
|
|
240
258
|
rationale: z.string(),
|
|
259
|
+
})
|
|
260
|
+
.superRefine((seam, context) => {
|
|
261
|
+
if (new Set(seam.block_ids).size !== seam.block_ids.length) {
|
|
262
|
+
context.addIssue({
|
|
263
|
+
code: z.ZodIssueCode.custom,
|
|
264
|
+
path: ["block_ids"],
|
|
265
|
+
message: "block_ids must name at least two DISTINCT work blocks.",
|
|
266
|
+
});
|
|
267
|
+
}
|
|
241
268
|
});
|
|
242
269
|
/** A synthesis theme: a root cause spanning several findings (Phase 6). */
|
|
243
270
|
export const FindingThemeSchema = z.object({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAChF,8EAA8E;AAC9E,mCAAmC;AACnC,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,4EAA4E;AAC5E,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAE/E,iEAAiE;AACjE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,UAAU;IACV,MAAM;IACN,QAAQ;IACR,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAGH,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;;OAMG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,0EAA0E;IAC1E,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC;AAGH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrD,mEAAmE;IACnE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACnE,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,UAAU,EAAE,uBAAuB;IACnC,qEAAqE;IACrE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,qBAAqB;IAC/B,UAAU,EAAE,uBAAuB;IACnC,gEAAgE;IAChE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAChD,yDAAyD;IACzD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B;;;;;;;;OAQG;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACzC;;;;OAIG;IACH,SAAS,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC5C;;;;;;;OAOG;IACH,iBAAiB,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACpD,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,iFAAiF;IACjF,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvD,0EAA0E;IAC1E,2BAA2B,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D,+EAA+E;IAC/E,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjD;;;;;OAKG;IACH,mBAAmB,EAAE,4BAA4B,CAAC,QAAQ,EAAE,CAAC,QAAQ,CACnE,2LAA2L,CAC5L;CACF,CAAC,CAAC;AAYH,SAAS,oBAAoB,CAAC,IAAmC;IAC/D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACxB,CAAC,CAAC,oCAAoC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAC5D,CAAC,CAAC,kBAAkB,CAAC;QACzB,CAAC;QACD,OAAO,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7E,CAAC;IACD,OAAO,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7D,CAAC;AAED,IAAI,uBAAsD,CAAC;AAE3D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,0BAA0B;IACxC,IAAI,uBAAuB,KAAK,SAAS;QAAE,OAAO,uBAAuB,CAAC;IAC1E,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,EAAE;QAC5C,YAAY,EAAE,MAAM;QACpB,MAAM,EAAE,aAAa;KACtB,CAAsB,CAAC;IACxB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,uBAAuB,GAAG;QACxB,iFAAiF;YAC/E,QAAQ;iBACL,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;iBACpE,IAAI,CAAC,IAAI,CAAC;YACb,GAAG;QACL,gFAAgF;YAC9E,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,oEAAoE;KACvE,CAAC;IACF,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,wEAAwE;IACxE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAChD,YAAY,EAAE,qBAAqB;IACnC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,gFAAgF;IAChF,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC1D,CAAC,CAAC;AAGH,+FAA+F;AAC/F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QACX,0BAA0B;QAC1B,gBAAgB;QAChB,uBAAuB;KACxB,CAAC;IACF,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpC,oBAAoB,EAAE,CAAC,CAAC,OAAO,EAAE;IACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC;AAGH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAoBH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,kBAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACpD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC/B,mCAAmC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACrE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACxE,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,eAAe,EAAE,2BAA2B;IAC5C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACrC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC9C;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;IACvD,6EAA6E;IAC7E,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACzD,QAAQ,EAAE;IACb,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;IAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;IAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC;IACrD,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACpD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,OAAO,EACL,qEAAqE;SACxE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,WAAW,IAAI,EAAE,CAAC;QAChE,IACE,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;YACtC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,EACnE,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC;gBAC3C,OAAO,EACL,iFAAiF;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,gBAAgB;SAC1D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;SACtB,IAAI,EAAE,CAAC;IACV,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAe,EAAW,EAAE,CAC3D,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAC;YACvC,OAAO,EACL,iEAAiE;SACpE,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"finding.js","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAChF,8EAA8E;AAC9E,mCAAmC;AACnC,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,4EAA4E;AAC5E,sDAAsD;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAE/E,iEAAiE;AACjE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,UAAU;IACV,MAAM;IACN,QAAQ;IACR,KAAK;IACL,MAAM;CACP,CAAC,CAAC;AAGH,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAGzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;;OAMG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,0EAA0E;IAC1E,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC;AAGH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrD,mEAAmE;IACnE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACnE,CAAC,CAAC;AAGH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,UAAU,EAAE,uBAAuB;IACnC,qEAAqE;IACrE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,qBAAqB;IAC/B,UAAU,EAAE,uBAAuB;IACnC,gEAAgE;IAChE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAChD,yDAAyD;IACzD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B;;;;;;;;OAQG;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD;;;;OAIG;IACH,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACzC;;;;OAIG;IACH,SAAS,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC5C;;;;;;;OAOG;IACH,iBAAiB,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACpD,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,iFAAiF;IACjF,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvD,0EAA0E;IAC1E,2BAA2B,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D,+EAA+E;IAC/E,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjD;;;;;OAKG;IACH,mBAAmB,EAAE,4BAA4B,CAAC,QAAQ,EAAE,CAAC,QAAQ,CACnE,2LAA2L,CAC5L;CACF,CAAC,CAAC;AAYH,SAAS,oBAAoB,CAAC,IAAmC;IAC/D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACxB,CAAC,CAAC,oCAAoC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAC5D,CAAC,CAAC,kBAAkB,CAAC;QACzB,CAAC;QACD,OAAO,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7E,CAAC;IACD,OAAO,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7D,CAAC;AAED,IAAI,uBAAsD,CAAC;AAE3D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,0BAA0B;IACxC,IAAI,uBAAuB,KAAK,SAAS;QAAE,OAAO,uBAAuB,CAAC;IAC1E,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,EAAE;QAC5C,YAAY,EAAE,MAAM;QACpB,MAAM,EAAE,aAAa;KACtB,CAAsB,CAAC;IACxB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;SAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,uBAAuB,GAAG;QACxB,iFAAiF;YAC/E,QAAQ;iBACL,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;iBACpE,IAAI,CAAC,IAAI,CAAC;YACb,GAAG;QACL,gFAAgF;YAC9E,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,oEAAoE;KACvE,CAAC;IACF,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,wEAAwE;IACxE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAChD,YAAY,EAAE,qBAAqB;IACnC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,gFAAgF;IAChF,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC1D,CAAC,CAAC;AAGH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,yDAAyD;IACzD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB;;;;OAIG;IACH,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,0BAA0B,EAAE,uBAAuB,CAAC,CAAC;IACnE;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC;KACD,WAAW,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;IAC7B,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3D,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,WAAW,CAAC;YACnB,OAAO,EAAE,wDAAwD;SAClE,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAChC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACnC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAoBH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,kBAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACpD,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9B,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC/B,mCAAmC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACrE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC3D;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACxE,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,eAAe,EAAE,2BAA2B;IAC5C,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IACrC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC9C;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;IACvD,6EAA6E;IAC7E,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACzD,QAAQ,EAAE;IACb,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;IAC9C,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;IAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC;IACrD,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACpD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,OAAO,EACL,qEAAqE;SACxE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,WAAW,IAAI,EAAE,CAAC;QAChE,IACE,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM;YACtC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,EACnE,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC;gBAC3C,OAAO,EACL,iFAAiF;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,gBAAgB;SAC1D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;SACtB,IAAI,EAAE,CAAC;IACV,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,KAAe,EAAW,EAAE,CAC3D,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAC;YACvC,OAAO,EACL,iEAAiE;SACpE,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}
|
|
@@ -1,6 +1,105 @@
|
|
|
1
1
|
import { z } from "zod";
|
|
2
|
-
export declare const RemediationOutcomeStatusSchema: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked"]>;
|
|
2
|
+
export declare const RemediationOutcomeStatusSchema: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
|
|
3
3
|
export type RemediationOutcomeStatus = z.infer<typeof RemediationOutcomeStatusSchema>;
|
|
4
|
+
export declare const EVIDENCE_MECHANISM_KINDS: readonly ["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"];
|
|
5
|
+
export declare const EvidenceMechanismKindSchema: z.ZodEnum<["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"]>;
|
|
6
|
+
export type EvidenceMechanismKind = z.infer<typeof EvidenceMechanismKindSchema>;
|
|
7
|
+
/**
|
|
8
|
+
* The per-finding verification-evidence TRIPLE (INV-ISC-EVIDENCE-EMITTED):
|
|
9
|
+
* `file` (a repo-relative path), `line` (a line or line range), and
|
|
10
|
+
* `mechanism` (the structural enum above). This is the FLOOR of the widened
|
|
11
|
+
* outcome record — a minimum the record must carry for a terminal disposition,
|
|
12
|
+
* not a closed shape that excludes further fields later.
|
|
13
|
+
*/
|
|
14
|
+
export declare const EvidenceSchema: z.ZodObject<{
|
|
15
|
+
file: z.ZodString;
|
|
16
|
+
line: z.ZodString;
|
|
17
|
+
mechanism: z.ZodEnum<["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"]>;
|
|
18
|
+
/** Optional human-readable elaboration; never load-bearing for the mechanism-contradiction check. */
|
|
19
|
+
mechanism_detail: z.ZodOptional<z.ZodString>;
|
|
20
|
+
}, "strict", z.ZodTypeAny, {
|
|
21
|
+
file: string;
|
|
22
|
+
line: string;
|
|
23
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
24
|
+
mechanism_detail?: string | undefined;
|
|
25
|
+
}, {
|
|
26
|
+
file: string;
|
|
27
|
+
line: string;
|
|
28
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
29
|
+
mechanism_detail?: string | undefined;
|
|
30
|
+
}>;
|
|
31
|
+
export type Evidence = z.infer<typeof EvidenceSchema>;
|
|
32
|
+
/**
|
|
33
|
+
* Whether `evidence` carries a complete triple (all three of file/line/
|
|
34
|
+
* mechanism present and non-empty). The writer (`buildRemediationOutcomesReport`
|
|
35
|
+
* in `src/remediate/phases/close.ts`) REFUSES to emit a terminal disposition
|
|
36
|
+
* for a finding whose evidence fails this check.
|
|
37
|
+
*/
|
|
38
|
+
export declare function isCompleteEvidence(evidence: Partial<Evidence> | undefined): evidence is Evidence;
|
|
39
|
+
/** Names of the evidence-triple parts missing or empty on `evidence` (diagnostic only). */
|
|
40
|
+
export declare function missingEvidenceParts(evidence: Partial<Evidence> | undefined): Array<"file" | "line" | "mechanism">;
|
|
41
|
+
/**
|
|
42
|
+
* RED condition (4)'s mechanism-contradiction leg (CDC-25 / the W4 witness): a
|
|
43
|
+
* `refuted` outcome whose mechanism is a read-at-HEAD VERIFICATION (confirms
|
|
44
|
+
* already-fixed, not refuted), or a `verified_already_fixed` outcome whose
|
|
45
|
+
* mechanism is a read-at-HEAD REFUTATION, is a WRONG VALUE — not a matter of
|
|
46
|
+
* interpretation. Every other outcome/mechanism pairing is unconstrained by
|
|
47
|
+
* this check (a red-green test or a build/lint gate is neutral evidence for
|
|
48
|
+
* either of the two members).
|
|
49
|
+
*/
|
|
50
|
+
export declare function mechanismContradictsOutcome(outcome: RemediationOutcomeStatus, mechanism: EvidenceMechanismKind): boolean;
|
|
51
|
+
/**
|
|
52
|
+
* How a gate EVALUATION ended.
|
|
53
|
+
*
|
|
54
|
+
* `executed` — the command list ran; `passed` is a real verdict.
|
|
55
|
+
* `scoped_out` — the suite does not apply to this target; zero commands ran.
|
|
56
|
+
* `disabled` — a gate was DUE but did not run.
|
|
57
|
+
*/
|
|
58
|
+
export declare const FinalGateOutcomeKindSchema: z.ZodEnum<["executed", "scoped_out", "disabled"]>;
|
|
59
|
+
export type FinalGateOutcomeKind = z.infer<typeof FinalGateOutcomeKindSchema>;
|
|
60
|
+
/**
|
|
61
|
+
* What the outcomes contract says about the run's tool-owned gate.
|
|
62
|
+
*
|
|
63
|
+
* `outcome` widens the three gate kinds with `absent` — which is NOT a fourth
|
|
64
|
+
* gate kind but the report's own statement that no gate record existed for this
|
|
65
|
+
* run. It is stated rather than inferred: the alternative is silence, and
|
|
66
|
+
* silence about a gate reads as "fine".
|
|
67
|
+
*
|
|
68
|
+
* `passed` is `boolean | null`. Only an `executed` gate carries a verdict; the
|
|
69
|
+
* other three carry `null`, so no consumer of this contract can read a gate
|
|
70
|
+
* that did not run as a green floor.
|
|
71
|
+
*/
|
|
72
|
+
export declare const FinalGateReportSchema: z.ZodObject<{
|
|
73
|
+
outcome: z.ZodUnion<[z.ZodEnum<["executed", "scoped_out", "disabled"]>, z.ZodLiteral<"absent">]>;
|
|
74
|
+
passed: z.ZodNullable<z.ZodBoolean>;
|
|
75
|
+
commands_run: z.ZodNumber;
|
|
76
|
+
/** Which gate produced it — a phase boundary, or the all-terminal funnel. */
|
|
77
|
+
scope: z.ZodOptional<z.ZodString>;
|
|
78
|
+
/** Why a gate that did not run did not run, or why the record is absent. */
|
|
79
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
80
|
+
recorded_at: z.ZodOptional<z.ZodString>;
|
|
81
|
+
}, "strict", z.ZodTypeAny, {
|
|
82
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
83
|
+
passed: boolean | null;
|
|
84
|
+
commands_run: number;
|
|
85
|
+
reason?: string | undefined;
|
|
86
|
+
scope?: string | undefined;
|
|
87
|
+
recorded_at?: string | undefined;
|
|
88
|
+
}, {
|
|
89
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
90
|
+
passed: boolean | null;
|
|
91
|
+
commands_run: number;
|
|
92
|
+
reason?: string | undefined;
|
|
93
|
+
scope?: string | undefined;
|
|
94
|
+
recorded_at?: string | undefined;
|
|
95
|
+
}>;
|
|
96
|
+
export type FinalGateReport = z.infer<typeof FinalGateReportSchema>;
|
|
97
|
+
/**
|
|
98
|
+
* The report's statement when no gate record exists. A run that never reached a
|
|
99
|
+
* gate, and a run whose gate record could not be read, both land here — never on
|
|
100
|
+
* a green-shaped default.
|
|
101
|
+
*/
|
|
102
|
+
export declare const ABSENT_FINAL_GATE_REPORT: FinalGateReport;
|
|
4
103
|
/**
|
|
5
104
|
* Item C — result of the close-gate mechanical re-verify of an analyzer-born
|
|
6
105
|
* finding. `verified_mechanically`: the finding's content-anchored lead
|
|
@@ -29,7 +128,7 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
|
|
|
29
128
|
lens: z.ZodString;
|
|
30
129
|
/** Distinct file extensions of the finding's affected files (e.g. [".ts"]). */
|
|
31
130
|
file_exts: z.ZodArray<z.ZodString, "many">;
|
|
32
|
-
outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked"]>;
|
|
131
|
+
outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
|
|
33
132
|
/** How many times the item was sent back for rework before this outcome. */
|
|
34
133
|
rework_count: z.ZodNumber;
|
|
35
134
|
/** The run's closing-action status (e.g. "success", "failed"). */
|
|
@@ -62,14 +161,52 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
|
|
|
62
161
|
analyzer_id: string;
|
|
63
162
|
reason?: string | undefined;
|
|
64
163
|
}>>;
|
|
164
|
+
/**
|
|
165
|
+
* The per-finding verification-evidence triple (INV-ISC-EVIDENCE-EMITTED).
|
|
166
|
+
* Optional at the schema level — a non-terminal (force-closed/blocked)
|
|
167
|
+
* outcome may carry none — but the writer refuses to emit `outcome` as
|
|
168
|
+
* `verified_already_fixed` or `refuted` without a complete one. FLOOR, not
|
|
169
|
+
* a closed shape: pinning these three fields does not exclude later ones.
|
|
170
|
+
*/
|
|
171
|
+
evidence: z.ZodOptional<z.ZodObject<{
|
|
172
|
+
file: z.ZodString;
|
|
173
|
+
line: z.ZodString;
|
|
174
|
+
mechanism: z.ZodEnum<["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"]>;
|
|
175
|
+
/** Optional human-readable elaboration; never load-bearing for the mechanism-contradiction check. */
|
|
176
|
+
mechanism_detail: z.ZodOptional<z.ZodString>;
|
|
177
|
+
}, "strict", z.ZodTypeAny, {
|
|
178
|
+
file: string;
|
|
179
|
+
line: string;
|
|
180
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
181
|
+
mechanism_detail?: string | undefined;
|
|
182
|
+
}, {
|
|
183
|
+
file: string;
|
|
184
|
+
line: string;
|
|
185
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
186
|
+
mechanism_detail?: string | undefined;
|
|
187
|
+
}>>;
|
|
188
|
+
/**
|
|
189
|
+
* The attributing-module stamp (CDC-26): which module recorded this
|
|
190
|
+
* finding's evidence at its own phase. Carried byte-exact from
|
|
191
|
+
* `RemediationItemState.recorded_by_module` through to this record (the
|
|
192
|
+
* ATTRIBUTION ROUND-TRIP) so the 26 INV-COVERAGE joins' condition (3) can
|
|
193
|
+
* still tell which module closed which id.
|
|
194
|
+
*/
|
|
195
|
+
recorded_by_module: z.ZodOptional<z.ZodString>;
|
|
65
196
|
}, "strict", z.ZodTypeAny, {
|
|
66
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
197
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
67
198
|
lens: string;
|
|
68
199
|
finding_id: string;
|
|
69
200
|
file_exts: string[];
|
|
70
201
|
rework_count: number;
|
|
71
202
|
closing_status: string;
|
|
72
203
|
reason?: string | undefined;
|
|
204
|
+
evidence?: {
|
|
205
|
+
file: string;
|
|
206
|
+
line: string;
|
|
207
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
208
|
+
mechanism_detail?: string | undefined;
|
|
209
|
+
} | undefined;
|
|
73
210
|
closing_status_reason?: string | undefined;
|
|
74
211
|
started_at?: string | undefined;
|
|
75
212
|
completed_at?: string | undefined;
|
|
@@ -79,14 +216,21 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
|
|
|
79
216
|
analyzer_id: string;
|
|
80
217
|
reason?: string | undefined;
|
|
81
218
|
} | undefined;
|
|
219
|
+
recorded_by_module?: string | undefined;
|
|
82
220
|
}, {
|
|
83
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
221
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
84
222
|
lens: string;
|
|
85
223
|
finding_id: string;
|
|
86
224
|
file_exts: string[];
|
|
87
225
|
rework_count: number;
|
|
88
226
|
closing_status: string;
|
|
89
227
|
reason?: string | undefined;
|
|
228
|
+
evidence?: {
|
|
229
|
+
file: string;
|
|
230
|
+
line: string;
|
|
231
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
232
|
+
mechanism_detail?: string | undefined;
|
|
233
|
+
} | undefined;
|
|
90
234
|
closing_status_reason?: string | undefined;
|
|
91
235
|
started_at?: string | undefined;
|
|
92
236
|
completed_at?: string | undefined;
|
|
@@ -96,6 +240,7 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
|
|
|
96
240
|
analyzer_id: string;
|
|
97
241
|
reason?: string | undefined;
|
|
98
242
|
} | undefined;
|
|
243
|
+
recorded_by_module?: string | undefined;
|
|
99
244
|
}>;
|
|
100
245
|
export type RemediationOutcome = z.infer<typeof RemediationOutcomeSchema>;
|
|
101
246
|
export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
@@ -107,18 +252,24 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
107
252
|
inappropriate: z.ZodNumber;
|
|
108
253
|
ignored: z.ZodNumber;
|
|
109
254
|
blocked: z.ZodNumber;
|
|
255
|
+
verified_already_fixed: z.ZodNumber;
|
|
256
|
+
refuted: z.ZodNumber;
|
|
110
257
|
}, "strict", z.ZodTypeAny, {
|
|
111
258
|
blocked: number;
|
|
259
|
+
refuted: number;
|
|
112
260
|
resolved: number;
|
|
113
261
|
verified_no_change: number;
|
|
114
262
|
inappropriate: number;
|
|
115
263
|
ignored: number;
|
|
264
|
+
verified_already_fixed: number;
|
|
116
265
|
}, {
|
|
117
266
|
blocked: number;
|
|
267
|
+
refuted: number;
|
|
118
268
|
resolved: number;
|
|
119
269
|
verified_no_change: number;
|
|
120
270
|
inappropriate: number;
|
|
121
271
|
ignored: number;
|
|
272
|
+
verified_already_fixed: number;
|
|
122
273
|
}>;
|
|
123
274
|
by_lens: z.ZodRecord<z.ZodString, z.ZodObject<{
|
|
124
275
|
resolved: z.ZodOptional<z.ZodNumber>;
|
|
@@ -126,18 +277,24 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
126
277
|
inappropriate: z.ZodOptional<z.ZodNumber>;
|
|
127
278
|
ignored: z.ZodOptional<z.ZodNumber>;
|
|
128
279
|
blocked: z.ZodOptional<z.ZodNumber>;
|
|
280
|
+
verified_already_fixed: z.ZodOptional<z.ZodNumber>;
|
|
281
|
+
refuted: z.ZodOptional<z.ZodNumber>;
|
|
129
282
|
}, "strict", z.ZodTypeAny, {
|
|
130
283
|
blocked?: number | undefined;
|
|
284
|
+
refuted?: number | undefined;
|
|
131
285
|
resolved?: number | undefined;
|
|
132
286
|
verified_no_change?: number | undefined;
|
|
133
287
|
inappropriate?: number | undefined;
|
|
134
288
|
ignored?: number | undefined;
|
|
289
|
+
verified_already_fixed?: number | undefined;
|
|
135
290
|
}, {
|
|
136
291
|
blocked?: number | undefined;
|
|
292
|
+
refuted?: number | undefined;
|
|
137
293
|
resolved?: number | undefined;
|
|
138
294
|
verified_no_change?: number | undefined;
|
|
139
295
|
inappropriate?: number | undefined;
|
|
140
296
|
ignored?: number | undefined;
|
|
297
|
+
verified_already_fixed?: number | undefined;
|
|
141
298
|
}>>;
|
|
142
299
|
/** Earliest item started_at across all outcomes. */
|
|
143
300
|
started_at: z.ZodOptional<z.ZodString>;
|
|
@@ -145,13 +302,45 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
145
302
|
completed_at: z.ZodOptional<z.ZodString>;
|
|
146
303
|
/** Milliseconds between aggregate completed_at and started_at. */
|
|
147
304
|
duration_ms: z.ZodOptional<z.ZodNumber>;
|
|
305
|
+
/**
|
|
306
|
+
* The run's tool-owned gate outcome. REQUIRED, and never omitted on a run
|
|
307
|
+
* that had no gate: the absent case is written as `{ outcome: "absent" }`, so
|
|
308
|
+
* a reader can distinguish "the floor ran green" from "nothing ran" from "we
|
|
309
|
+
* do not know" — which the outcomes contract previously could not express at
|
|
310
|
+
* all, making a scoped-out or suppressed run's report byte-identical to an
|
|
311
|
+
* executed-green one.
|
|
312
|
+
*/
|
|
313
|
+
final_gate: z.ZodObject<{
|
|
314
|
+
outcome: z.ZodUnion<[z.ZodEnum<["executed", "scoped_out", "disabled"]>, z.ZodLiteral<"absent">]>;
|
|
315
|
+
passed: z.ZodNullable<z.ZodBoolean>;
|
|
316
|
+
commands_run: z.ZodNumber;
|
|
317
|
+
/** Which gate produced it — a phase boundary, or the all-terminal funnel. */
|
|
318
|
+
scope: z.ZodOptional<z.ZodString>;
|
|
319
|
+
/** Why a gate that did not run did not run, or why the record is absent. */
|
|
320
|
+
reason: z.ZodOptional<z.ZodString>;
|
|
321
|
+
recorded_at: z.ZodOptional<z.ZodString>;
|
|
322
|
+
}, "strict", z.ZodTypeAny, {
|
|
323
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
324
|
+
passed: boolean | null;
|
|
325
|
+
commands_run: number;
|
|
326
|
+
reason?: string | undefined;
|
|
327
|
+
scope?: string | undefined;
|
|
328
|
+
recorded_at?: string | undefined;
|
|
329
|
+
}, {
|
|
330
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
331
|
+
passed: boolean | null;
|
|
332
|
+
commands_run: number;
|
|
333
|
+
reason?: string | undefined;
|
|
334
|
+
scope?: string | undefined;
|
|
335
|
+
recorded_at?: string | undefined;
|
|
336
|
+
}>;
|
|
148
337
|
outcomes: z.ZodArray<z.ZodObject<{
|
|
149
338
|
finding_id: z.ZodString;
|
|
150
339
|
/** Audit lens the finding came from (free string in the wire contract). */
|
|
151
340
|
lens: z.ZodString;
|
|
152
341
|
/** Distinct file extensions of the finding's affected files (e.g. [".ts"]). */
|
|
153
342
|
file_exts: z.ZodArray<z.ZodString, "many">;
|
|
154
|
-
outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked"]>;
|
|
343
|
+
outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
|
|
155
344
|
/** How many times the item was sent back for rework before this outcome. */
|
|
156
345
|
rework_count: z.ZodNumber;
|
|
157
346
|
/** The run's closing-action status (e.g. "success", "failed"). */
|
|
@@ -184,14 +373,52 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
184
373
|
analyzer_id: string;
|
|
185
374
|
reason?: string | undefined;
|
|
186
375
|
}>>;
|
|
376
|
+
/**
|
|
377
|
+
* The per-finding verification-evidence triple (INV-ISC-EVIDENCE-EMITTED).
|
|
378
|
+
* Optional at the schema level — a non-terminal (force-closed/blocked)
|
|
379
|
+
* outcome may carry none — but the writer refuses to emit `outcome` as
|
|
380
|
+
* `verified_already_fixed` or `refuted` without a complete one. FLOOR, not
|
|
381
|
+
* a closed shape: pinning these three fields does not exclude later ones.
|
|
382
|
+
*/
|
|
383
|
+
evidence: z.ZodOptional<z.ZodObject<{
|
|
384
|
+
file: z.ZodString;
|
|
385
|
+
line: z.ZodString;
|
|
386
|
+
mechanism: z.ZodEnum<["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"]>;
|
|
387
|
+
/** Optional human-readable elaboration; never load-bearing for the mechanism-contradiction check. */
|
|
388
|
+
mechanism_detail: z.ZodOptional<z.ZodString>;
|
|
389
|
+
}, "strict", z.ZodTypeAny, {
|
|
390
|
+
file: string;
|
|
391
|
+
line: string;
|
|
392
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
393
|
+
mechanism_detail?: string | undefined;
|
|
394
|
+
}, {
|
|
395
|
+
file: string;
|
|
396
|
+
line: string;
|
|
397
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
398
|
+
mechanism_detail?: string | undefined;
|
|
399
|
+
}>>;
|
|
400
|
+
/**
|
|
401
|
+
* The attributing-module stamp (CDC-26): which module recorded this
|
|
402
|
+
* finding's evidence at its own phase. Carried byte-exact from
|
|
403
|
+
* `RemediationItemState.recorded_by_module` through to this record (the
|
|
404
|
+
* ATTRIBUTION ROUND-TRIP) so the 26 INV-COVERAGE joins' condition (3) can
|
|
405
|
+
* still tell which module closed which id.
|
|
406
|
+
*/
|
|
407
|
+
recorded_by_module: z.ZodOptional<z.ZodString>;
|
|
187
408
|
}, "strict", z.ZodTypeAny, {
|
|
188
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
409
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
189
410
|
lens: string;
|
|
190
411
|
finding_id: string;
|
|
191
412
|
file_exts: string[];
|
|
192
413
|
rework_count: number;
|
|
193
414
|
closing_status: string;
|
|
194
415
|
reason?: string | undefined;
|
|
416
|
+
evidence?: {
|
|
417
|
+
file: string;
|
|
418
|
+
line: string;
|
|
419
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
420
|
+
mechanism_detail?: string | undefined;
|
|
421
|
+
} | undefined;
|
|
195
422
|
closing_status_reason?: string | undefined;
|
|
196
423
|
started_at?: string | undefined;
|
|
197
424
|
completed_at?: string | undefined;
|
|
@@ -201,14 +428,21 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
201
428
|
analyzer_id: string;
|
|
202
429
|
reason?: string | undefined;
|
|
203
430
|
} | undefined;
|
|
431
|
+
recorded_by_module?: string | undefined;
|
|
204
432
|
}, {
|
|
205
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
433
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
206
434
|
lens: string;
|
|
207
435
|
finding_id: string;
|
|
208
436
|
file_exts: string[];
|
|
209
437
|
rework_count: number;
|
|
210
438
|
closing_status: string;
|
|
211
439
|
reason?: string | undefined;
|
|
440
|
+
evidence?: {
|
|
441
|
+
file: string;
|
|
442
|
+
line: string;
|
|
443
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
444
|
+
mechanism_detail?: string | undefined;
|
|
445
|
+
} | undefined;
|
|
212
446
|
closing_status_reason?: string | undefined;
|
|
213
447
|
started_at?: string | undefined;
|
|
214
448
|
completed_at?: string | undefined;
|
|
@@ -218,32 +452,51 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
218
452
|
analyzer_id: string;
|
|
219
453
|
reason?: string | undefined;
|
|
220
454
|
} | undefined;
|
|
455
|
+
recorded_by_module?: string | undefined;
|
|
221
456
|
}>, "many">;
|
|
222
457
|
}, "strip", z.ZodTypeAny, {
|
|
223
458
|
contract_version: string;
|
|
224
459
|
total: number;
|
|
225
460
|
by_outcome: {
|
|
226
461
|
blocked: number;
|
|
462
|
+
refuted: number;
|
|
227
463
|
resolved: number;
|
|
228
464
|
verified_no_change: number;
|
|
229
465
|
inappropriate: number;
|
|
230
466
|
ignored: number;
|
|
467
|
+
verified_already_fixed: number;
|
|
231
468
|
};
|
|
232
469
|
by_lens: Record<string, {
|
|
233
470
|
blocked?: number | undefined;
|
|
471
|
+
refuted?: number | undefined;
|
|
234
472
|
resolved?: number | undefined;
|
|
235
473
|
verified_no_change?: number | undefined;
|
|
236
474
|
inappropriate?: number | undefined;
|
|
237
475
|
ignored?: number | undefined;
|
|
476
|
+
verified_already_fixed?: number | undefined;
|
|
238
477
|
}>;
|
|
478
|
+
final_gate: {
|
|
479
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
480
|
+
passed: boolean | null;
|
|
481
|
+
commands_run: number;
|
|
482
|
+
reason?: string | undefined;
|
|
483
|
+
scope?: string | undefined;
|
|
484
|
+
recorded_at?: string | undefined;
|
|
485
|
+
};
|
|
239
486
|
outcomes: {
|
|
240
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
487
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
241
488
|
lens: string;
|
|
242
489
|
finding_id: string;
|
|
243
490
|
file_exts: string[];
|
|
244
491
|
rework_count: number;
|
|
245
492
|
closing_status: string;
|
|
246
493
|
reason?: string | undefined;
|
|
494
|
+
evidence?: {
|
|
495
|
+
file: string;
|
|
496
|
+
line: string;
|
|
497
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
498
|
+
mechanism_detail?: string | undefined;
|
|
499
|
+
} | undefined;
|
|
247
500
|
closing_status_reason?: string | undefined;
|
|
248
501
|
started_at?: string | undefined;
|
|
249
502
|
completed_at?: string | undefined;
|
|
@@ -253,6 +506,7 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
253
506
|
analyzer_id: string;
|
|
254
507
|
reason?: string | undefined;
|
|
255
508
|
} | undefined;
|
|
509
|
+
recorded_by_module?: string | undefined;
|
|
256
510
|
}[];
|
|
257
511
|
started_at?: string | undefined;
|
|
258
512
|
completed_at?: string | undefined;
|
|
@@ -262,26 +516,44 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
262
516
|
total: number;
|
|
263
517
|
by_outcome: {
|
|
264
518
|
blocked: number;
|
|
519
|
+
refuted: number;
|
|
265
520
|
resolved: number;
|
|
266
521
|
verified_no_change: number;
|
|
267
522
|
inappropriate: number;
|
|
268
523
|
ignored: number;
|
|
524
|
+
verified_already_fixed: number;
|
|
269
525
|
};
|
|
270
526
|
by_lens: Record<string, {
|
|
271
527
|
blocked?: number | undefined;
|
|
528
|
+
refuted?: number | undefined;
|
|
272
529
|
resolved?: number | undefined;
|
|
273
530
|
verified_no_change?: number | undefined;
|
|
274
531
|
inappropriate?: number | undefined;
|
|
275
532
|
ignored?: number | undefined;
|
|
533
|
+
verified_already_fixed?: number | undefined;
|
|
276
534
|
}>;
|
|
535
|
+
final_gate: {
|
|
536
|
+
outcome: "executed" | "scoped_out" | "disabled" | "absent";
|
|
537
|
+
passed: boolean | null;
|
|
538
|
+
commands_run: number;
|
|
539
|
+
reason?: string | undefined;
|
|
540
|
+
scope?: string | undefined;
|
|
541
|
+
recorded_at?: string | undefined;
|
|
542
|
+
};
|
|
277
543
|
outcomes: {
|
|
278
|
-
outcome: "blocked" | "resolved" | "verified_no_change" | "inappropriate" | "ignored";
|
|
544
|
+
outcome: "blocked" | "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "verified_already_fixed";
|
|
279
545
|
lens: string;
|
|
280
546
|
finding_id: string;
|
|
281
547
|
file_exts: string[];
|
|
282
548
|
rework_count: number;
|
|
283
549
|
closing_status: string;
|
|
284
550
|
reason?: string | undefined;
|
|
551
|
+
evidence?: {
|
|
552
|
+
file: string;
|
|
553
|
+
line: string;
|
|
554
|
+
mechanism: "red_green_test" | "build_lint_gate" | "read_at_head_verification" | "read_at_head_refutation";
|
|
555
|
+
mechanism_detail?: string | undefined;
|
|
556
|
+
} | undefined;
|
|
285
557
|
closing_status_reason?: string | undefined;
|
|
286
558
|
started_at?: string | undefined;
|
|
287
559
|
completed_at?: string | undefined;
|
|
@@ -291,6 +563,7 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
|
|
|
291
563
|
analyzer_id: string;
|
|
292
564
|
reason?: string | undefined;
|
|
293
565
|
} | undefined;
|
|
566
|
+
recorded_by_module?: string | undefined;
|
|
294
567
|
}[];
|
|
295
568
|
started_at?: string | undefined;
|
|
296
569
|
completed_at?: string | undefined;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"remediationOutcome.d.ts","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;
|
|
1
|
+
{"version":3,"file":"remediationOutcome.d.ts","sourceRoot":"","sources":["../../../src/shared/types/remediationOutcome.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,eAAO,MAAM,8BAA8B,2HAQzC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,8BAA8B,CACtC,CAAC;AAUF,eAAO,MAAM,wBAAwB,wGAK3B,CAAC;AACX,eAAO,MAAM,2BAA2B,0GAAmC,CAAC;AAC5E,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;;;;IAKvB,qGAAqG;;;;;;;;;;;;EAG9F,CAAC;AACZ,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,GACtC,QAAQ,IAAI,QAAQ,CAUtB;AAED,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,GACtC,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC,CAgBtC;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,wBAAwB,EACjC,SAAS,EAAE,qBAAqB,GAC/B,OAAO,CAQT;AAaD;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,mDAIrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qBAAqB;;;;IAK9B,6EAA6E;;IAE7E,4EAA4E;;;;;;;;;;;;;;;;;EAIrE,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,eAKtC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;EAM9B,CAAC;AACZ,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB;;IAGjC,2EAA2E;;IAE3E,+EAA+E;;;IAG/E,4EAA4E;;IAE5E,kEAAkE;;IAElE,mEAAmE;;IAEnE;;;;OAIG;;IAEH,oEAAoE;;IAEpE,oEAAoE;;IAEpE,8EAA8E;;IAE9E,wEAAwE;;;;;;;;;;;;;;IAExE;;;;;;OAMG;;;;;QAvLH,qGAAqG;;;;;;;;;;;;;IAyLrG;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAqB1E,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAK1C,oDAAoD;;IAEpD,oDAAoD;;IAEpD,kEAAkE;;IAElE;;;;;;;OAOG;;;;;QA3HD,6EAA6E;;QAE7E,4EAA4E;;;;;;;;;;;;;;;;;;;;QAuC5E,2EAA2E;;QAE3E,+EAA+E;;;QAG/E,4EAA4E;;QAE5E,kEAAkE;;QAElE,mEAAmE;;QAEnE;;;;WAIG;;QAEH,oEAAoE;;QAEpE,oEAAoE;;QAEpE,8EAA8E;;QAE9E,wEAAwE;;;;;;;;;;;;;;QAExE;;;;;;WAMG;;;;;YAvLH,qGAAqG;;;;;;;;;;;;;QAyLrG;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8CL,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC"}
|