audit-tools 0.55.4 → 0.55.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/audit/cli/auditReviewBindings.d.ts +4 -4
- package/dist/audit/cli/auditStep.d.ts +15 -1
- package/dist/audit/cli/auditStep.d.ts.map +1 -1
- package/dist/audit/cli/auditStep.js +24 -11
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.d.ts.map +1 -1
- package/dist/audit/cli/charterExtractionPrompt.js +3 -1
- package/dist/audit/cli/charterExtractionPrompt.js.map +1 -1
- package/dist/audit/cli/cleanup.d.ts.map +1 -1
- package/dist/audit/cli/cleanup.js +26 -2
- package/dist/audit/cli/cleanup.js.map +1 -1
- package/dist/audit/cli/conceptualDispatch.d.ts +2 -0
- package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
- package/dist/audit/cli/conceptualDispatch.js +29 -8
- package/dist/audit/cli/conceptualDispatch.js.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.d.ts +37 -3
- package/dist/audit/cli/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/hostHandoff.js +185 -16
- package/dist/audit/cli/dispatch/hostHandoff.js.map +1 -1
- package/dist/audit/cli/dispatch/packetFilter.d.ts +1 -1
- package/dist/audit/cli/envelope.d.ts +1 -1
- package/dist/audit/cli/envelope.d.ts.map +1 -1
- package/dist/audit/cli/envelope.js +4 -1
- package/dist/audit/cli/envelope.js.map +1 -1
- package/dist/audit/cli/fanoutLanes.d.ts +30 -0
- package/dist/audit/cli/fanoutLanes.d.ts.map +1 -1
- package/dist/audit/cli/fanoutLanes.js +76 -8
- package/dist/audit/cli/fanoutLanes.js.map +1 -1
- package/dist/audit/cli/laneValidators.d.ts +9 -6
- package/dist/audit/cli/laneValidators.d.ts.map +1 -1
- package/dist/audit/cli/laneValidators.js +22 -7
- package/dist/audit/cli/laneValidators.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts +3 -0
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +104 -66
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +49 -14
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +169 -68
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/reviewRun.d.ts +10 -0
- package/dist/audit/cli/reviewRun.d.ts.map +1 -1
- package/dist/audit/cli/reviewRun.js +4 -3
- package/dist/audit/cli/reviewRun.js.map +1 -1
- package/dist/audit/cli/sampleRunCommand.d.ts +1 -1
- package/dist/audit/cli/semanticReviewStep.d.ts +2 -0
- package/dist/audit/cli/semanticReviewStep.d.ts.map +1 -1
- package/dist/audit/cli/semanticReviewStep.js +5 -50
- package/dist/audit/cli/semanticReviewStep.js.map +1 -1
- package/dist/audit/cli/validateResultsCommand.d.ts.map +1 -1
- package/dist/audit/cli/validateResultsCommand.js +3 -1
- package/dist/audit/cli/validateResultsCommand.js.map +1 -1
- package/dist/audit/contracts/workerSchemas.d.ts +14 -14
- package/dist/audit/extractors/fsIntake.d.ts +13 -0
- package/dist/audit/extractors/fsIntake.d.ts.map +1 -1
- package/dist/audit/extractors/fsIntake.js +11 -1
- package/dist/audit/extractors/fsIntake.js.map +1 -1
- package/dist/audit/io/artifacts.d.ts +35 -9
- package/dist/audit/io/artifacts.d.ts.map +1 -1
- package/dist/audit/io/artifacts.js +84 -67
- package/dist/audit/io/artifacts.js.map +1 -1
- package/dist/audit/io/rollover.d.ts +18 -0
- package/dist/audit/io/rollover.d.ts.map +1 -0
- package/dist/audit/io/rollover.js +152 -0
- package/dist/audit/io/rollover.js.map +1 -0
- package/dist/audit/io/runSnapshot.d.ts +149 -0
- package/dist/audit/io/runSnapshot.d.ts.map +1 -0
- package/dist/audit/io/runSnapshot.js +710 -0
- package/dist/audit/io/runSnapshot.js.map +1 -0
- package/dist/audit/orchestrator/advanceTypes.d.ts +11 -0
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/autoFixExecutor.d.ts +9 -0
- package/dist/audit/orchestrator/autoFixExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/autoFixExecutor.js +22 -2
- package/dist/audit/orchestrator/autoFixExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterExtractionExecutor.js +18 -3
- package/dist/audit/orchestrator/charterExtractionExecutor.js.map +1 -1
- package/dist/audit/orchestrator/charterPackets.d.ts +11 -1
- package/dist/audit/orchestrator/charterPackets.d.ts.map +1 -1
- package/dist/audit/orchestrator/charterPackets.js +13 -0
- package/dist/audit/orchestrator/charterPackets.js.map +1 -1
- package/dist/audit/orchestrator/dependencyMap.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencyMap.js +6 -0
- package/dist/audit/orchestrator/dependencyMap.js.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.d.ts.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.js +35 -11
- package/dist/audit/orchestrator/dependencySlices.js.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.d.ts +9 -0
- package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewPrompt.js +69 -31
- package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts +1 -0
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.js +2 -1
- package/dist/audit/orchestrator/designReviewSnapshot.js.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +13 -4
- package/dist/audit/orchestrator/executorRunners.js.map +1 -1
- package/dist/audit/orchestrator/hostInputPause.js +1 -1
- package/dist/audit/orchestrator/hostInputPause.js.map +1 -1
- package/dist/audit/orchestrator/intakeExecutors.d.ts +8 -1
- package/dist/audit/orchestrator/intakeExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/intakeExecutors.js +13 -4
- package/dist/audit/orchestrator/intakeExecutors.js.map +1 -1
- package/dist/audit/orchestrator/obligationPolicy.d.ts.map +1 -1
- package/dist/audit/orchestrator/obligationPolicy.js +4 -1
- package/dist/audit/orchestrator/obligationPolicy.js.map +1 -1
- package/dist/audit/orchestrator/planningExecutors.d.ts +1 -1
- package/dist/audit/orchestrator/planningExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/planningExecutors.js +40 -6
- package/dist/audit/orchestrator/planningExecutors.js.map +1 -1
- package/dist/audit/orchestrator/requeueCommand.d.ts +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js +4 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js.map +1 -1
- package/dist/audit/orchestrator/taskBuilder.d.ts +20 -0
- package/dist/audit/orchestrator/taskBuilder.d.ts.map +1 -1
- package/dist/audit/orchestrator/taskBuilder.js +80 -18
- package/dist/audit/orchestrator/taskBuilder.js.map +1 -1
- package/dist/audit/systemic/reviewFileMap.d.ts +72 -21
- package/dist/audit/systemic/reviewFileMap.d.ts.map +1 -1
- package/dist/audit/systemic/reviewFileMap.js +96 -45
- package/dist/audit/systemic/reviewFileMap.js.map +1 -1
- package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts +7 -0
- package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js +39 -8
- package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
- package/dist/audit/types.d.ts +12 -12
- package/dist/audit/validation/auditResults.d.ts +1 -0
- package/dist/audit/validation/auditResults.d.ts.map +1 -1
- package/dist/audit/validation/auditResults.js +1 -0
- package/dist/audit/validation/auditResults.js.map +1 -1
- package/dist/remediate/findingFilter.js +1 -1
- package/dist/remediate/findingFilter.js.map +1 -1
- package/dist/remediate/phases/close.d.ts +1 -0
- package/dist/remediate/phases/close.d.ts.map +1 -1
- package/dist/remediate/phases/close.js +29 -5
- package/dist/remediate/phases/close.js.map +1 -1
- package/dist/remediate/phases/closeVerifyAnalyzerLeads.d.ts +1 -1
- package/dist/remediate/phases/triage.d.ts +2 -1
- package/dist/remediate/phases/triage.d.ts.map +1 -1
- package/dist/remediate/phases/triage.js +46 -25
- package/dist/remediate/phases/triage.js.map +1 -1
- package/dist/remediate/phases/triageConformance.d.ts +14 -0
- package/dist/remediate/phases/triageConformance.d.ts.map +1 -0
- package/dist/remediate/phases/triageConformance.js +189 -0
- package/dist/remediate/phases/triageConformance.js.map +1 -0
- package/dist/remediate/state/decisionConsumption.d.ts +110 -0
- package/dist/remediate/state/decisionConsumption.d.ts.map +1 -0
- package/dist/remediate/state/decisionConsumption.js +122 -0
- package/dist/remediate/state/decisionConsumption.js.map +1 -0
- package/dist/remediate/state/store.d.ts +4 -0
- package/dist/remediate/state/store.d.ts.map +1 -1
- package/dist/remediate/state/store.js +16 -0
- package/dist/remediate/state/store.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts +0 -6
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +3 -32
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts +9 -0
- package/dist/remediate/steps/dispatch/contractConformanceReview.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/contractConformanceReview.js +32 -14
- package/dist/remediate/steps/dispatch/contractConformanceReview.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostContracts.js +1 -1
- package/dist/remediate/steps/dispatch/hostContracts.js.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/hostHandoff.js +6 -2
- package/dist/remediate/steps/dispatch/hostHandoff.js.map +1 -1
- package/dist/remediate/steps/dispatch/requiredTests.js +1 -1
- package/dist/remediate/steps/dispatch/requiredTests.js.map +1 -1
- package/dist/remediate/steps/gateCommands.d.ts +1 -0
- package/dist/remediate/steps/gateCommands.d.ts.map +1 -1
- package/dist/remediate/steps/gateCommands.js +8 -52
- package/dist/remediate/steps/gateCommands.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +7 -0
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +69 -75
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/prompts.d.ts.map +1 -1
- package/dist/remediate/steps/prompts.js +6 -9
- package/dist/remediate/steps/prompts.js.map +1 -1
- package/dist/remediate/steps/recoverIngest.js +1 -1
- package/dist/remediate/steps/recoverIngest.js.map +1 -1
- package/dist/shared/analyzers/provenance.d.ts +1 -1
- package/dist/shared/analyzers/provenance.js +1 -1
- package/dist/shared/contentKey.d.ts +3 -2
- package/dist/shared/contentKey.d.ts.map +1 -1
- package/dist/shared/contentKey.js +3 -2
- package/dist/shared/contentKey.js.map +1 -1
- package/dist/shared/decompose/charterExtraction.d.ts +200 -13
- package/dist/shared/decompose/charterExtraction.d.ts.map +1 -1
- package/dist/shared/decompose/charterExtraction.js +34 -6
- package/dist/shared/decompose/charterExtraction.js.map +1 -1
- package/dist/shared/decompose/systemicChallenge.js +1 -1
- package/dist/shared/decompose/systemicChallenge.js.map +1 -1
- package/dist/shared/engine/obligationEngine.d.ts +1 -1
- package/dist/shared/engine/obligationEngine.js +1 -1
- package/dist/shared/findings/dedupe.js +1 -1
- package/dist/shared/findings/dedupe.js.map +1 -1
- package/dist/shared/git.d.ts +30 -1
- package/dist/shared/git.d.ts.map +1 -1
- package/dist/shared/git.js +65 -6
- package/dist/shared/git.js.map +1 -1
- package/dist/shared/index.d.ts +1 -0
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +1 -0
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/intent/clauseBoundaries.d.ts +1 -0
- package/dist/shared/intent/clauseBoundaries.d.ts.map +1 -1
- package/dist/shared/intent/clauseBoundaries.js +1 -0
- package/dist/shared/intent/clauseBoundaries.js.map +1 -1
- package/dist/shared/intent/pathScope.d.ts +1 -0
- package/dist/shared/intent/pathScope.d.ts.map +1 -1
- package/dist/shared/intent/pathScope.js +1 -0
- package/dist/shared/intent/pathScope.js.map +1 -1
- package/dist/shared/io/nodeWorktreeGuard.d.ts +1 -1
- package/dist/shared/io/nodeWorktreeGuard.js +1 -1
- package/dist/shared/io/pathIdentity.d.ts.map +1 -1
- package/dist/shared/io/pathIdentity.js +1 -0
- package/dist/shared/io/pathIdentity.js.map +1 -1
- package/dist/shared/io/stepContractWriter.d.ts +1 -0
- package/dist/shared/io/stepContractWriter.d.ts.map +1 -1
- package/dist/shared/io/stepContractWriter.js +1 -0
- package/dist/shared/io/stepContractWriter.js.map +1 -1
- package/dist/shared/loopCorePaths.d.ts.map +1 -1
- package/dist/shared/loopCorePaths.js +11 -0
- package/dist/shared/loopCorePaths.js.map +1 -1
- package/dist/shared/prompts.d.ts +2 -0
- package/dist/shared/prompts.d.ts.map +1 -1
- package/dist/shared/prompts.js +8 -2
- package/dist/shared/prompts.js.map +1 -1
- package/dist/shared/submission/ingestReport.d.ts.map +1 -1
- package/dist/shared/submission/ingestReport.js +19 -1
- package/dist/shared/submission/ingestReport.js.map +1 -1
- package/dist/shared/submission/submissionLedger.js +2 -2
- package/dist/shared/submission/submissionLedger.js.map +1 -1
- package/dist/shared/submission/submissionScan.js +1 -1
- package/dist/shared/submission/submissionScan.js.map +1 -1
- package/dist/shared/tooling/exec.js +2 -2
- package/dist/shared/tooling/exec.js.map +1 -1
- package/dist/shared/types/charter.d.ts +9 -0
- package/dist/shared/types/charter.d.ts.map +1 -1
- package/dist/shared/types/charter.js +7 -0
- package/dist/shared/types/charter.js.map +1 -1
- package/dist/shared/types/closingActions.js +1 -1
- package/dist/shared/types/closingActions.js.map +1 -1
- package/dist/shared/types/finding.js +2 -2
- package/dist/shared/types/finding.js.map +1 -1
- package/dist/shared/types/stepContract.js +1 -1
- package/dist/shared/types/stepContract.js.map +1 -1
- package/dist/shared/validation/findingGrounding.d.ts +1 -0
- package/dist/shared/validation/findingGrounding.d.ts.map +1 -1
- package/dist/shared/validation/findingGrounding.js +1 -0
- package/dist/shared/validation/findingGrounding.js.map +1 -1
- package/dist/shared/validation/producerBoundary.d.ts +10 -0
- package/dist/shared/validation/producerBoundary.d.ts.map +1 -0
- package/dist/shared/validation/producerBoundary.js +26 -0
- package/dist/shared/validation/producerBoundary.js.map +1 -0
- package/docs/audit-pkg/contracts.md +6 -2
- package/docs/audit-pkg/operator-guide.md +13 -4
- package/package.json +5 -1
|
@@ -15,9 +15,9 @@ export declare function buildPendingAuditTasks(bundle: ArtifactBundle): {
|
|
|
15
15
|
status?: "pending" | "complete" | undefined;
|
|
16
16
|
tags?: string[] | undefined;
|
|
17
17
|
token_estimate?: number | undefined;
|
|
18
|
+
inputs?: Record<string, string> | undefined;
|
|
18
19
|
completed_at?: string | undefined;
|
|
19
20
|
file_line_counts?: Record<string, number> | undefined;
|
|
20
|
-
inputs?: Record<string, string> | undefined;
|
|
21
21
|
line_ranges?: {
|
|
22
22
|
path: string;
|
|
23
23
|
end: number;
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import type { AuditState } from "../types/auditState.js";
|
|
2
|
-
export declare function buildManualReviewBlocker(): string;
|
|
2
|
+
export declare function buildManualReviewBlocker(emittedStepKind?: string): string;
|
|
3
3
|
export declare function buildBlockedAuditState(params: {
|
|
4
4
|
state: AuditState;
|
|
5
5
|
obligationId: string | null;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/envelope.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/envelope.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,wBAAgB,wBAAwB,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAKzE;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAC7C,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB,GAAG,UAAU,CAiBb"}
|
|
@@ -1,4 +1,7 @@
|
|
|
1
|
-
export function buildManualReviewBlocker() {
|
|
1
|
+
export function buildManualReviewBlocker(emittedStepKind) {
|
|
2
|
+
if (emittedStepKind !== undefined) {
|
|
3
|
+
return `The current step is ${emittedStepKind}; follow its prompt. Scoped-inspection work is also ready for host execution beside it: complete any available bound work items, write their result contracts, then run next-step again.`;
|
|
4
|
+
}
|
|
2
5
|
return "Semantic-review work is ready for host execution. Complete any available bound work items, write their result contracts, then run next-step again.";
|
|
3
6
|
}
|
|
4
7
|
export function buildBlockedAuditState(params) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/audit/cli/envelope.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/audit/cli/envelope.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,wBAAwB,CAAC,eAAwB;IAC/D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,uBAAuB,eAAe,0LAA0L,CAAC;IAC1O,CAAC;IACD,OAAO,oJAAoJ,CAAC;AAC9J,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAKtC;IACC,OAAO;QACL,GAAG,MAAM,CAAC,KAAK;QACf,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa;QAC5D,eAAe,EAAE,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,KAAK,CAAC,eAAe;QACpE,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1E,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjD,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,YAAY;YAC7B,CAAC,CAAC;gBACE,GAAG,IAAI;gBACP,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,MAAM,CAAC,OAAO;aACvB;YACH,CAAC,CAAC,IAAI,CACT;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -1,6 +1,18 @@
|
|
|
1
1
|
import { auditLaneReviewRequirement } from "./reviewSubmission.js";
|
|
2
2
|
import { type LaneDemand } from "audit-tools/shared";
|
|
3
3
|
import { type LaneSubmissionShortfall } from "./laneSubmissions.js";
|
|
4
|
+
/**
|
|
5
|
+
* A file the TOOL generates for a lane to read, such as the complete review
|
|
6
|
+
* call-site map. The prompt carries a summary and the path; the file carries the
|
|
7
|
+
* content, read-only and bound into the lane's review binding.
|
|
8
|
+
*/
|
|
9
|
+
export interface GeneratedLaneContextFile {
|
|
10
|
+
/** Basename under the file's content-addressed directory. */
|
|
11
|
+
filename: string;
|
|
12
|
+
/** What the file is, as the lane prompt's "Read-only context files" section names it. */
|
|
13
|
+
label: string;
|
|
14
|
+
text: string;
|
|
15
|
+
}
|
|
4
16
|
/**
|
|
5
17
|
* Always-materialized fan-out lanes (design resolution 2, 2026-08-05).
|
|
6
18
|
*
|
|
@@ -52,6 +64,16 @@ export interface FanoutLaneSpec {
|
|
|
52
64
|
riskScore: number;
|
|
53
65
|
/** Complete artifact/packet files read in addition to the prompt. */
|
|
54
66
|
contextPaths?: readonly string[];
|
|
67
|
+
/**
|
|
68
|
+
* Files the TOOL generates for this lane. Each is written read-only under
|
|
69
|
+
* `<lane-assets>/context/<sha256 of its text>/<filename>`, so a changed text
|
|
70
|
+
* gets a new path and a file is never rewritten in place; it then joins the
|
|
71
|
+
* lane's context paths, so it is fingerprinted into the prompt and recorded in
|
|
72
|
+
* the review binding's `inputs`, which acceptance re-hashes — a lane that
|
|
73
|
+
* edits it is refused. Only a lane that requires independent review carries a
|
|
74
|
+
* binding, so an ordinary lane cannot take one.
|
|
75
|
+
*/
|
|
76
|
+
generatedContext?: readonly GeneratedLaneContextFile[];
|
|
55
77
|
semanticComplexity?: LaneDemand["complexity"];
|
|
56
78
|
/** Complete current input identity, independently checked against the carried bundle at acceptance. */
|
|
57
79
|
semanticInputRevision?: string;
|
|
@@ -64,6 +86,8 @@ export interface MaterializedFanoutLane {
|
|
|
64
86
|
resultPath: string;
|
|
65
87
|
/** True when the lane's submission already exists (K-of-N resume). */
|
|
66
88
|
resultExists: boolean;
|
|
89
|
+
/** Where this lane's `generatedContext` files were written, in spec order. */
|
|
90
|
+
generatedContextPaths: string[];
|
|
67
91
|
/**
|
|
68
92
|
* The lane's demand ranking (size / complexity / risk), DERIVED here rather
|
|
69
93
|
* than declared by the caller — every fan-out lane in the package is
|
|
@@ -136,6 +160,12 @@ export declare function materializeFanoutLanes(params: {
|
|
|
136
160
|
* never drag the current round's rate down.
|
|
137
161
|
*/
|
|
138
162
|
roundId?: string;
|
|
163
|
+
/**
|
|
164
|
+
* The run's frozen snapshot root. Every lane prompt states it (the shared
|
|
165
|
+
* source-tree section), so a lane that verifies against source reads the tree
|
|
166
|
+
* the run audits, not the live repository.
|
|
167
|
+
*/
|
|
168
|
+
sourceRoot: string;
|
|
139
169
|
lanes: FanoutLaneSpec[];
|
|
140
170
|
}): Promise<MaterializedFanout>;
|
|
141
171
|
//# sourceMappingURL=fanoutLanes.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fanoutLanes.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/fanoutLanes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAcnE,OAAO,
|
|
1
|
+
{"version":3,"file":"fanoutLanes.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/fanoutLanes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAcnE,OAAO,EAML,KAAK,UAAU,EAChB,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAKL,KAAK,uBAAuB,EAC7B,MAAM,sBAAsB,CAAC;AAE9B;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,WAAW,cAAc;IAC7B;;;;OAIG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,cAAc,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;;;;OASG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,iGAAiG;IACjG,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC;;;;;;;;OAQG;IACH,gBAAgB,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACvD,kBAAkB,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC;IAC9C,uGAAuG;IACvG,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;IACnB,sEAAsE;IACtE,YAAY,EAAE,OAAO,CAAC;IACtB,8EAA8E;IAC9E,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC;;;;;;;OAOG;IACH,MAAM,EAAE,UAAU,CAAC;IACnB,iBAAiB,EAAE,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC;CAClE;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,yEAAyE;IACzE,YAAY,EAAE,sBAAsB,EAAE,CAAC;IACvC,oEAAoE;IACpE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,8DAA8D;IAC9D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,yEAAyE;IACzE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,SAAS,EAAE,uBAAuB,CAAC;CACpC;AAqED,uEAAuE;AACvE,eAAO,MAAM,oBAAoB,oBAAoB,CAAC;AAEtD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,6BAA6B,QAEmD,CAAC;AAE9F;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAWlE;AAoBD;;;GAGG;AACH,wBAAsB,sBAAsB,CAAC,MAAM,EAAE;IACnD,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,KAAK,EAAE,MAAM,CAAC;IACd;;;;;OAKG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAoH9B"}
|
|
@@ -2,17 +2,18 @@ import { withArtifactTreeHold } from "../../shared/io/artifactTreeHold.js";
|
|
|
2
2
|
import { auditLaneReviewRequirement } from "./reviewSubmission.js";
|
|
3
3
|
import { bindWorkerPrompt } from "../../shared/submission/workerPromptBinding.js";
|
|
4
4
|
import { hashContent } from "../../shared/hash.js";
|
|
5
|
-
// sites-pinned: tests/shared/prompt-capability.test.ts, tests/audit/synthesis-narrative-prompt.test.ts
|
|
5
|
+
// sites-pinned: tests/shared/prompt-capability.test.ts, tests/audit/synthesis-narrative-prompt.test.ts, tests/audit/review-file-map-context.test.ts
|
|
6
6
|
//
|
|
7
7
|
// This module is the SECOND prompt-writing boundary in the tool (writeStepContract
|
|
8
8
|
// is the first): every lane prompt file on disk is written here, so the path form
|
|
9
9
|
// a lane reader sees is decided here.
|
|
10
|
-
import { access, mkdir, readFile } from "node:fs/promises";
|
|
10
|
+
import { access, chmod, mkdir, readFile, unlink } from "node:fs/promises";
|
|
11
11
|
import { join } from "node:path";
|
|
12
12
|
import { writeTextFile } from "../../shared/io/json.js";
|
|
13
13
|
import { publishAuditReviewBindings } from "./auditReviewBindings.js";
|
|
14
|
-
import { deriveLaneDemand, estimateTokensFromBytes, laneAssetsDir, toPromptPathToken, } from "audit-tools/shared";
|
|
14
|
+
import { compareCodeUnits, deriveLaneDemand, estimateTokensFromBytes, laneAssetsDir, toPromptPathToken, } from "audit-tools/shared";
|
|
15
15
|
import { normalizePromptBodyPaths } from "../../shared/tooling/exec.js";
|
|
16
|
+
import { sourceTreeInstruction } from "../io/runSnapshot.js";
|
|
16
17
|
import { laneSubmissionPath, laneSubmissionId, recordDispatchedLanes, recordExpectedLanes, } from "./laneSubmissions.js";
|
|
17
18
|
async function fileExists(path) {
|
|
18
19
|
try {
|
|
@@ -23,6 +24,63 @@ async function fileExists(path) {
|
|
|
23
24
|
return false;
|
|
24
25
|
}
|
|
25
26
|
}
|
|
27
|
+
/**
|
|
28
|
+
* Write one generated context file and return its path. A file already holding
|
|
29
|
+
* the same bytes is left alone (its path is content-addressed, so this is the
|
|
30
|
+
* unchanged-round case). A file holding OTHER bytes was edited in place: it is
|
|
31
|
+
* made writable and unlinked first, because on Windows a rename over a
|
|
32
|
+
* read-only file fails with EPERM.
|
|
33
|
+
*/
|
|
34
|
+
async function writeGeneratedContext(promptDir, file) {
|
|
35
|
+
const path = join(promptDir, "context", hashContent(file.text), file.filename);
|
|
36
|
+
const expected = Buffer.from(file.text, "utf8");
|
|
37
|
+
const holdsExpected = async () => {
|
|
38
|
+
try {
|
|
39
|
+
return (await readFile(path)).equals(expected);
|
|
40
|
+
}
|
|
41
|
+
catch (error) {
|
|
42
|
+
if (error.code === "ENOENT")
|
|
43
|
+
return undefined;
|
|
44
|
+
throw error;
|
|
45
|
+
}
|
|
46
|
+
};
|
|
47
|
+
const existing = await holdsExpected();
|
|
48
|
+
if (existing === false) {
|
|
49
|
+
await chmod(path, 0o666);
|
|
50
|
+
await unlink(path);
|
|
51
|
+
}
|
|
52
|
+
if (existing !== true) {
|
|
53
|
+
try {
|
|
54
|
+
await writeTextFile(path, file.text);
|
|
55
|
+
}
|
|
56
|
+
catch (error) {
|
|
57
|
+
// A concurrent emission of the same round wrote (and locked) the same
|
|
58
|
+
// bytes first: the file is what this write would have produced.
|
|
59
|
+
if ((await holdsExpected()) !== true)
|
|
60
|
+
throw error;
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
await chmod(path, 0o444);
|
|
64
|
+
return path;
|
|
65
|
+
}
|
|
66
|
+
/**
|
|
67
|
+
* The section naming a lane's generated context files. It precedes the results
|
|
68
|
+
* footer, which stays the last section of every lane prompt.
|
|
69
|
+
*/
|
|
70
|
+
function renderReadOnlyContextSection(files) {
|
|
71
|
+
return [
|
|
72
|
+
"",
|
|
73
|
+
"",
|
|
74
|
+
"## Read-only context files",
|
|
75
|
+
"",
|
|
76
|
+
"The audit tool generated each file below for this lane. You did not author it, and you must " +
|
|
77
|
+
"not edit it: it is read-only and bound into this review, so a submission made against an " +
|
|
78
|
+
"edited copy is refused. If you disagree with it, say so in your finding, naming the file and " +
|
|
79
|
+
"line that contradict it.",
|
|
80
|
+
"",
|
|
81
|
+
...files.map((file) => `- \`${toPromptPathToken(file.path)}\` — ${file.label}`),
|
|
82
|
+
].join("\n");
|
|
83
|
+
}
|
|
26
84
|
/** Heading of the one results-path section any lane prompt carries. */
|
|
27
85
|
export const LANE_RESULTS_HEADING = "## Results path";
|
|
28
86
|
/**
|
|
@@ -70,8 +128,9 @@ export function renderLaneResultsFooter(resultPath) {
|
|
|
70
128
|
* the same file. `normalizePromptBodyPaths` is anchored on a drive letter or a
|
|
71
129
|
* UNC root, so a regex or an escape sequence inside a prompt body is untouched.
|
|
72
130
|
*/
|
|
73
|
-
function footedPromptText(promptText, resultPath) {
|
|
74
|
-
return normalizePromptBodyPaths(`${promptText.replace(/\s+$/, "")}\n\n${
|
|
131
|
+
function footedPromptText(promptText, resultPath, sourceRoot) {
|
|
132
|
+
return normalizePromptBodyPaths(`${promptText.replace(/\s+$/, "")}\n\n## Source tree\n\n${sourceTreeInstruction(sourceRoot)}\n\n` +
|
|
133
|
+
renderLaneResultsFooter(resultPath));
|
|
75
134
|
}
|
|
76
135
|
/**
|
|
77
136
|
* Write the pending lanes' prompt files, record what the emission owes, and
|
|
@@ -89,13 +148,21 @@ export async function materializeFanoutLanes(params) {
|
|
|
89
148
|
const resultPath = laneSubmissionPath(params.artifactsDir, spec.id, params.runId);
|
|
90
149
|
const resultExists = await fileExists(resultPath);
|
|
91
150
|
const requirement = auditLaneReviewRequirement(spec.id);
|
|
92
|
-
const
|
|
151
|
+
const generated = spec.generatedContext ?? [];
|
|
152
|
+
if (generated.length > 0 && requirement === "ordinary") {
|
|
153
|
+
throw new Error(`Lane '${spec.id}' carries generated context but no review binding to bind it into.`);
|
|
154
|
+
}
|
|
155
|
+
const generatedContextPaths = [];
|
|
156
|
+
for (const file of generated)
|
|
157
|
+
generatedContextPaths.push(await writeGeneratedContext(promptDir, file));
|
|
158
|
+
const contextInputs = await Promise.all([...new Set([...(spec.contextPaths ?? []), ...generatedContextPaths])].sort(compareCodeUnits).map(async (path) => {
|
|
93
159
|
const bytes = await readFile(path);
|
|
94
160
|
return { path, sha256: hashContent(bytes), bytes: bytes.length };
|
|
95
161
|
}));
|
|
96
162
|
const inputBindingText = requirement === "ordinary" || contextInputs.length === 0 ? "" : `\n\n## Bound input fingerprints\n${contextInputs.map(input => `${input.path}: ${input.sha256}`).join("\n")}`;
|
|
97
163
|
const revisionText = spec.semanticInputRevision === undefined ? "" : `\n\nReview input revision: ${spec.semanticInputRevision}`;
|
|
98
|
-
const
|
|
164
|
+
const readOnlyContextText = generated.length === 0 ? "" : renderReadOnlyContextSection(generated.map((file, index) => ({ path: generatedContextPaths[index], label: file.label })));
|
|
165
|
+
const body = footedPromptText(spec.promptText + revisionText + inputBindingText + readOnlyContextText, resultPath, params.sourceRoot) + (requirement === "ordinary" ? "" : "\nRequired independent review: use a context that did not author the work. If unavailable, return an unavailable declaration; never substitute self-review.");
|
|
99
166
|
const bound = requirement === "ordinary" ? { text: body, sha256: hashContent(body) } : bindWorkerPrompt(body, digest => [
|
|
100
167
|
"## Bound review submission",
|
|
101
168
|
"Place the domain result described above inside `result` in this envelope. Copy the prompt binding exactly. The review declaration reports the host's execution context; it is not proof of identity.",
|
|
@@ -123,6 +190,7 @@ export async function materializeFanoutLanes(params) {
|
|
|
123
190
|
promptPath,
|
|
124
191
|
resultPath,
|
|
125
192
|
resultExists,
|
|
193
|
+
generatedContextPaths,
|
|
126
194
|
reviewRequirement: requirement,
|
|
127
195
|
// Derived from the prompt text the tool just wrote — the lane's own
|
|
128
196
|
// bytes, not the caller's claim about them — plus whatever per-mode
|
|
@@ -166,7 +234,7 @@ export async function materializeFanoutLanes(params) {
|
|
|
166
234
|
lanes,
|
|
167
235
|
pendingLanes,
|
|
168
236
|
artifactPaths,
|
|
169
|
-
readPaths: [...new Set([...pendingLanes.map((lane) => lane.promptPath), ...params.lanes.flatMap(spec => spec.contextPaths ?? [])])],
|
|
237
|
+
readPaths: [...new Set([...pendingLanes.map((lane) => lane.promptPath), ...params.lanes.flatMap(spec => spec.contextPaths ?? []), ...lanes.flatMap(lane => lane.generatedContextPaths)])],
|
|
170
238
|
writePaths: pendingLanes.map((lane) => lane.resultPath),
|
|
171
239
|
shortfall,
|
|
172
240
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fanoutLanes.js","sourceRoot":"","sources":["../../../src/audit/cli/fanoutLanes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,
|
|
1
|
+
{"version":3,"file":"fanoutLanes.js","sourceRoot":"","sources":["../../../src/audit/cli/fanoutLanes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gDAAgD,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,oJAAoJ;AACpJ,EAAE;AACF,mFAAmF;AACnF,kFAAkF;AAClF,sCAAsC;AAEtC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAA2B,MAAM,0BAA0B,CAAC;AAE/F,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,uBAAuB,EACvB,aAAa,EACb,iBAAiB,GAElB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,qBAAqB,EACrB,mBAAmB,GAEpB,MAAM,sBAAsB,CAAC;AA0H9B,KAAK,UAAU,UAAU,CAAC,IAAY;IACpC,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,qBAAqB,CAClC,SAAiB,EACjB,IAA8B;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,KAAK,IAAkC,EAAE;QAC7D,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACzE,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,aAAa,EAAE,CAAC;IACvC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,MAAM,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,sEAAsE;YACtE,gEAAgE;YAChE,IAAI,CAAC,MAAM,aAAa,EAAE,CAAC,KAAK,IAAI;gBAAE,MAAM,KAAK,CAAC;QACpD,CAAC;IACH,CAAC;IACD,MAAM,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,4BAA4B,CAAC,KAAqD;IACzF,OAAO;QACL,EAAE;QACF,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,8FAA8F;YAC5F,2FAA2F;YAC3F,+FAA+F;YAC/F,0BAA0B;QAC5B,EAAE;QACF,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;KAChF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AAEtD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,6BAA6B,GACxC,iFAAiF;IACjF,2FAA2F,CAAC;AAE9F;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACxD,OAAO;QACL,oBAAoB;QACpB,EAAE;QACF,kDAAkD;QAClD,EAAE;QACF,KAAK,iBAAiB,CAAC,UAAU,CAAC,EAAE;QACpC,EAAE;QACF,6BAA6B;QAC7B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,UAAkB,EAAE,UAAkB,EAAE,UAAkB;IAClF,OAAO,wBAAwB,CAC7B,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,qBAAqB,CAAC,UAAU,CAAC,MAAM;QAC/F,uBAAuB,CAAC,UAAU,CAAC,CACtC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,MAsB5C;IACC,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5C,MAAM,KAAK,GAA6B,EAAE,CAAC;IAC3C,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmF,CAAC;IAClH,MAAM,cAAc,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,kBAAkB,CACnC,MAAM,CAAC,YAAY,EACnB,IAAI,CAAC,EAAE,EACP,MAAM,CAAC,KAAK,CACb,CAAC;QACF,MAAM,YAAY,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,EAAE,oEAAoE,CAAC,CAAC;QACxG,CAAC;QACD,MAAM,qBAAqB,GAAa,EAAE,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,SAAS;YAAE,qBAAqB,CAAC,IAAI,CAAC,MAAM,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACvG,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,KAAK,EAAC,IAAI,EAAC,EAAE;YACrJ,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACnE,CAAC,CAAC,CAAC,CAAC;QACJ,MAAM,gBAAgB,GAAG,WAAW,KAAK,UAAU,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oCAAoC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACvM,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,8BAA8B,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAChI,MAAM,mBAAmB,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,4BAA4B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,CAAC,KAAK,CAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACrL,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,GAAG,YAAY,GAAG,gBAAgB,GAAG,mBAAmB,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,6JAA6J,CAAC,CAAC;QAC1U,MAAM,KAAK,GAAG,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACtH,4BAA4B;YAC5B,sMAAsM;YACtM,SAAS;YACT,IAAI,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,yDAAyD,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5M,KAAK;YACL,iIAAiI;SAClI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACd,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC;QAC9B,MAAM,UAAU,GAAG,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACrJ,IAAI,WAAW,KAAK,UAAU;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,mBAAmB,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACha,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;QACxG,2EAA2E;QAC3E,2EAA2E;QAC3E,uEAAuE;QACvE,IAAI,WAAW,KAAK,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnF,MAAM,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChF,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU;YACV,UAAU;YACV,YAAY;YACZ,qBAAqB;YACrB,iBAAiB,EAAE,WAAW;YAC9B,oEAAoE;YACpE,oEAAoE;YACpE,qDAAqD;YACrD,MAAM,EAAE,gBAAgB,CAAC;gBACvB,aAAa,EAAE,uBAAuB,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,YAAY,CAAC;gBAC5F,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,iBAAiB,EAAE,IAAI,CAAC,kBAAkB;aAC3C,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,iEAAiE;IACjE,6EAA6E;IAC7E,wDAAwD;IACxD,6EAA6E;IAC7E,8EAA8E;IAC9E,yBAAyB;IACzB,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC;QAAE,MAAM,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;IAC/J,MAAM,qBAAqB,CACzB,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EACnC,MAAM,CAAC,OAAO,EACd,cAAc,CACf,CAAC;IAEF,MAAM,SAAS,GAAG,MAAM,mBAAmB,CACzC,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,KAAK;IACZ,wEAAwE;IACxE,sEAAsE;IACtE,qEAAqE;IACrE,qEAAqE;IACrE,MAAM,CAAC,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;SACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,CAC7E,CAAC;IAEF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChE,MAAM,aAAa,GAA2B,EAAE,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,aAAa,CAAC,GAAG,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;QACrD,aAAa,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IACxD,CAAC;IACD,OAAO;QACL,KAAK;QACL,YAAY;QACZ,aAAa;QACb,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACzL,UAAU,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;QACvD,SAAS;KACV,CAAC;AACJ,CAAC"}
|
|
@@ -14,7 +14,7 @@
|
|
|
14
14
|
* `SubmissionIssue | null` validator so a caller never has to know which.
|
|
15
15
|
*/
|
|
16
16
|
import type { ZodTypeAny } from "zod";
|
|
17
|
-
import { type SubmissionIssue } from "audit-tools/shared";
|
|
17
|
+
import { type CharterKind, type SubmissionIssue } from "audit-tools/shared";
|
|
18
18
|
/** Human-readable description of why a submission is neither an array nor a single-array-wrapped object. */
|
|
19
19
|
export declare function describeSubmissionShapeMismatch(value: unknown): string;
|
|
20
20
|
/**
|
|
@@ -45,16 +45,19 @@ export declare function unwrapSubmissionArray(value: unknown): {
|
|
|
45
45
|
* rather than ignoring it: two answers to "which lane is this" is worse than
|
|
46
46
|
* one refusal, and the tool's answer is the bound path.
|
|
47
47
|
*
|
|
48
|
-
*
|
|
49
|
-
*
|
|
50
|
-
*
|
|
51
|
-
*
|
|
48
|
+
* The lane's `kind` is a parameter again, for a different check: the `inputs`
|
|
49
|
+
* declaration must name exactly THIS lane's evidence packet (by file name, so a
|
|
50
|
+
* relative, absolute or backslashed spelling all pass) and nothing else. A
|
|
51
|
+
* charter step also carries a scoped-inspection workload; a declaration naming
|
|
52
|
+
* it, or another lane's packet, is a blind lane that read what it must not.
|
|
53
|
+
* The kind is the one the caller recovered from the bound path, never one the
|
|
54
|
+
* submission states.
|
|
52
55
|
*
|
|
53
56
|
* `repoFiles` is the manifest's path set. It is a parameter rather than a
|
|
54
57
|
* capture so the gate and the recovery verb apply the identical refinement
|
|
55
58
|
* against the identical universe.
|
|
56
59
|
*/
|
|
57
|
-
export declare function charterLaneSchema(repoFiles: ReadonlySet<string
|
|
60
|
+
export declare function charterLaneSchema(repoFiles: ReadonlySet<string>, kind: CharterKind): ZodTypeAny;
|
|
58
61
|
/**
|
|
59
62
|
* Lanes whose contract is a zod schema, keyed by lane id. The gate descriptors
|
|
60
63
|
* read this table; so does the recovery verb.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"laneValidators.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/laneValidators.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAiB,UAAU,EAAE,MAAM,KAAK,CAAC;AAErD,OAAO,
|
|
1
|
+
{"version":3,"file":"laneValidators.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/laneValidators.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAiB,UAAU,EAAE,MAAM,KAAK,CAAC;AAErD,OAAO,EAYL,KAAK,WAAW,EAEhB,KAAK,eAAe,EACrB,MAAM,oBAAoB,CAAC;AAW5B,4GAA4G;AAC5G,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAiBtE;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,EAAE,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAShE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,IAAI,EAAE,WAAW,GAChB,UAAU,CAgCZ;AA0CD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAQxE,CAAC;AAkCF,6EAA6E;AAC7E,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACzC;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,qBAAqB,GAC7B,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,GAAG,IAAI,CAAC,GAAG,IAAI,CAyCrD"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { CharterLaneSubmissionSchema, PATH_SHAPED_PROVENANCE_KINDS, citationNamesASpan, CharterComparisonSubmissionSchema, CharterFidelitySubmissionSchema, ClarificationAnswersSubmissionSchema, CriticalFlowFallbackResultSchema, SynthesisNarrativeSchema, SystemicChallengeSubmissionSchema, isRecord, systemicChallengeSchema, } from "audit-tools/shared";
|
|
2
2
|
import { IntentEquivalenceVerdictSchema } from "../orchestrator/intentEquivalenceExecutor.js";
|
|
3
3
|
import { ConceptualJudgeSubmissionSchema } from "../types/conceptualAdjudication.js";
|
|
4
|
-
import { CONCEPTUAL_PERSPECTIVE_LANE_PREFIX, SYSTEMIC_CHALLENGE_LANE_PREFIX, GATE_LANES, charterKindForLane, } from "./laneSubmissions.js";
|
|
4
|
+
import { CONCEPTUAL_PERSPECTIVE_LANE_PREFIX, SYSTEMIC_CHALLENGE_LANE_PREFIX, GATE_LANES, charterExtractionPacketFilename, charterKindForLane, } from "./laneSubmissions.js";
|
|
5
5
|
/** Human-readable description of why a submission is neither an array nor a single-array-wrapped object. */
|
|
6
6
|
export function describeSubmissionShapeMismatch(value) {
|
|
7
7
|
if (value === null)
|
|
@@ -55,17 +55,32 @@ export function unwrapSubmissionArray(value) {
|
|
|
55
55
|
* rather than ignoring it: two answers to "which lane is this" is worse than
|
|
56
56
|
* one refusal, and the tool's answer is the bound path.
|
|
57
57
|
*
|
|
58
|
-
*
|
|
59
|
-
*
|
|
60
|
-
*
|
|
61
|
-
*
|
|
58
|
+
* The lane's `kind` is a parameter again, for a different check: the `inputs`
|
|
59
|
+
* declaration must name exactly THIS lane's evidence packet (by file name, so a
|
|
60
|
+
* relative, absolute or backslashed spelling all pass) and nothing else. A
|
|
61
|
+
* charter step also carries a scoped-inspection workload; a declaration naming
|
|
62
|
+
* it, or another lane's packet, is a blind lane that read what it must not.
|
|
63
|
+
* The kind is the one the caller recovered from the bound path, never one the
|
|
64
|
+
* submission states.
|
|
62
65
|
*
|
|
63
66
|
* `repoFiles` is the manifest's path set. It is a parameter rather than a
|
|
64
67
|
* capture so the gate and the recovery verb apply the identical refinement
|
|
65
68
|
* against the identical universe.
|
|
66
69
|
*/
|
|
67
|
-
export function charterLaneSchema(repoFiles) {
|
|
70
|
+
export function charterLaneSchema(repoFiles, kind) {
|
|
71
|
+
const ownPacket = charterExtractionPacketFilename(kind);
|
|
68
72
|
return CharterLaneSubmissionSchema.superRefine((submission, ctx) => {
|
|
73
|
+
submission.inputs.forEach((input, ii) => {
|
|
74
|
+
const name = input.split(/[/\\]/u).pop();
|
|
75
|
+
if (name !== ownPacket) {
|
|
76
|
+
ctx.addIssue({
|
|
77
|
+
code: "custom",
|
|
78
|
+
path: ["inputs", ii],
|
|
79
|
+
message: `inputs declares "${input}" — a blind ${kind} lane reads ONLY its own evidence packet ` +
|
|
80
|
+
`(${ownPacket}); never the scoped-inspection workload or another lane's material`,
|
|
81
|
+
});
|
|
82
|
+
}
|
|
83
|
+
});
|
|
69
84
|
submission.nodes.forEach((node, ni) => {
|
|
70
85
|
const unknownFiles = (node.files ?? []).filter((f) => !repoFiles.has(f));
|
|
71
86
|
if (unknownFiles.length > 0) {
|
|
@@ -186,7 +201,7 @@ export function laneSubmissionValidator(lane, context) {
|
|
|
186
201
|
// The kind decides only that this IS an extraction lane; every extraction
|
|
187
202
|
// lane answers to the identical contract.
|
|
188
203
|
if (charterKindForLane(lane)) {
|
|
189
|
-
const laneSchema = charterLaneSchema(context.repoFiles);
|
|
204
|
+
const laneSchema = charterLaneSchema(context.repoFiles, charterKindForLane(lane));
|
|
190
205
|
return (value) => schemaIssue(laneSchema, value);
|
|
191
206
|
}
|
|
192
207
|
if (lane === GATE_LANES.design_review_conceptual) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"laneValidators.js","sourceRoot":"","sources":["../../../src/audit/cli/laneValidators.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,kBAAkB,EAClB,iCAAiC,EACjC,+BAA+B,EAC/B,oCAAoC,EACpC,gCAAgC,EAChC,wBAAwB,EACxB,iCAAiC,EACjC,QAAQ,EACR,uBAAuB,
|
|
1
|
+
{"version":3,"file":"laneValidators.js","sourceRoot":"","sources":["../../../src/audit/cli/laneValidators.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,kBAAkB,EAClB,iCAAiC,EACjC,+BAA+B,EAC/B,oCAAoC,EACpC,gCAAgC,EAChC,wBAAwB,EACxB,iCAAiC,EACjC,QAAQ,EACR,uBAAuB,GAIxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAC9F,OAAO,EAAE,+BAA+B,EAAE,MAAM,oCAAoC,CAAC;AACrF,OAAO,EACL,kCAAkC,EAClC,8BAA8B,EAC9B,UAAU,EACV,+BAA+B,EAC/B,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAE9B,4GAA4G;AAC5G,MAAM,UAAU,+BAA+B,CAAC,KAAc;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5C,MAAM,CAAC,GAAG,OAAO,KAAK,CAAC;IACvB,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,oDAAoD,OAAO,GAAG,CAAC;IACxE,CAAC;IACD,OAAO,CACL,kBAAkB,SAAS,CAAC,MAAM,wBAAwB,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;QACjG,UAAU,OAAO,CAAC,MAAM,kBAAkB,OAAO,8CAA8C;QAC/F,kCAAkC,CACnC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAc;IAEd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC5D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,CAAC,KAAK,CAAC,EAAE,CAAC;AACvE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAA8B,EAC9B,IAAiB;IAEjB,MAAM,SAAS,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,2BAA2B,CAAC,WAAW,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE;QACjE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;YACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACpB,OAAO,EACL,oBAAoB,KAAK,eAAe,IAAI,2CAA2C;wBACvF,IAAI,SAAS,oEAAoE;iBACpF,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;YACpC,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC;oBAC5B,OAAO,EACL,cAAc,IAAI,CAAC,OAAO,qCAAqC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;wBAClG,8EAA8E;iBACjF,CAAC,CAAC;YACL,CAAC;YACD,8BAA8B,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;YACpC,8BAA8B,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,8BAA8B,CACrC,UAAwC,EACxC,IAAkC,EAClC,GAAkB;IAElB,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;QAC3B,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,OAAO;QACtD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;QAC/D,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO;QACvC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,CAAC;YAC1C,OAAO,EACL,aAAa,CAAC,CAAC,GAAG,wDAAwD;gBAC1E,+EAA+E;gBAC/E,wBAAwB;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAyC;IAC3E,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,wBAAwB;IAC1D,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,gCAAgC;IACrE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,iCAAiC;IAClE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,+BAA+B;IAC9D,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,oCAAoC;IACxE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,iCAAiC;IAClE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,8BAA8B;CAChE,CAAC;AAEF,SAAS,WAAW,CAAC,MAAkB,EAAE,KAAc;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;aACzB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;aACvE,IAAI,CAAC,IAAI,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC,EAAE;QACjB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,+BAA+B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1E,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,QAAQ,CAAC,KAAK,CAAC;QACpB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,+BAA+B,+BAA+B,CAAC,KAAK,CAAC,EAAE;SACjF,CAAC;AACR,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,OAA8B;IAE9B,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,8BAA8B,CAAC;WAChE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,IAAI,aAAa,IAAI,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;QAC5D,qEAAqE;QACrE,yEAAyE;QACzE,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,KAAK,GAAG,uBAAuB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,MAAM;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzD,0EAA0E;IAC1E,0CAA0C;IAC1C,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAE,CAAC,CAAC;QACnF,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;QACjD,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,IACE,IAAI,KAAK,UAAU,CAAC,sBAAsB;QAC1C,IAAI,KAAK,UAAU,CAAC,cAAc;QAClC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAAC,EACnD,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IACE,IAAI,KAAK,UAAU,CAAC,gBAAgB;QACpC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EACtC,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}
|
|
@@ -9,7 +9,10 @@ export declare function cmdNextStep(argv: string[]): Promise<void>;
|
|
|
9
9
|
/** What an emission row is given: the invocation's bindings plus its own result. */
|
|
10
10
|
interface NextStepEmitContext {
|
|
11
11
|
argv: string[];
|
|
12
|
+
/** The LIVE repository root: the step contract's repo_root and every re-issued command. */
|
|
12
13
|
root: string;
|
|
14
|
+
/** The run's frozen snapshot root, which every packet and workload is rendered from. */
|
|
15
|
+
sourceRoot: string;
|
|
13
16
|
artifactsDir: string;
|
|
14
17
|
/**
|
|
15
18
|
* The durable analyzer policy, loaded before any dispatch decision. Present
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"nextStepCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/nextStepCommand.ts"],"names":[],"mappings":"AAYA,OAAO,EAML,wBAAwB,
|
|
1
|
+
{"version":3,"file":"nextStepCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/nextStepCommand.ts"],"names":[],"mappings":"AAYA,OAAO,EAML,wBAAwB,EAOzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAIzD,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,wCAAwC,CAAC;AA0DhG,OAAO,EAAE,wBAAwB,EAAiC,MAAM,yBAAyB,CAAC;AAIlG,OAAO,EAAE,gBAAgB,EAAyB,MAAM,YAAY,CAAC;AA0BrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,iCAAiC,EACjC,kCAAkC,EAClC,iBAAiB,EACjB,2BAA2B,EAC3B,wBAAwB,EACxB,8BAA8B,EAC9B,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,EAC7B,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AA4J9B,wBAAsB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAwC/D;AAqHD,oFAAoF;AACpF,UAAU,mBAAmB;IAC3B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IACtC,MAAM,EAAE,cAAc,CAAC;IACvB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED;;;;;GAKG;AACH,KAAK,aAAa,GACd;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GAClE;IAAE,GAAG,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,GAC1E;IAAE,GAAG,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AA6NvF,KAAK,oBAAoB,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;AAK/E,KAAK,mBAAmB,GAAG,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,aAAa,CAAC,CAAC;AAoChF,uFAAuF;AACvF,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,cAAc,GACrB,iCAAiC,CAKnC;AAo0BD,MAAM,WAAW,4BAA4B;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE;QACR,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,EAAE,MAAM,CAAC;QACtB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;CACH;AAED,gFAAgF;AAChF,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,4BAA4B,GAClC,MAAM,CAqDR;AA+LD;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAC7C,MAAM,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,CAmBlD,CAAC;AAyCF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,CACzB,CAAC"}
|