audit-tools 0.32.67 → 0.33.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/dist/audit/cli/advanceAuditCommand.d.ts.map +1 -1
- package/dist/audit/cli/advanceAuditCommand.js +8 -3
- package/dist/audit/cli/advanceAuditCommand.js.map +1 -1
- package/dist/audit/cli/args.d.ts +9 -27
- package/dist/audit/cli/args.d.ts.map +1 -1
- package/dist/audit/cli/args.js +116 -50
- package/dist/audit/cli/args.js.map +1 -1
- 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 +2 -0
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/dispatch/quotaPool.d.ts +2 -1
- package/dist/audit/cli/dispatch/quotaPool.d.ts.map +1 -1
- package/dist/audit/cli/dispatch/quotaPool.js +43 -77
- package/dist/audit/cli/dispatch/quotaPool.js.map +1 -1
- package/dist/audit/cli/dispatch/types.d.ts +9 -0
- package/dist/audit/cli/dispatch/types.d.ts.map +1 -1
- package/dist/audit/cli/dispatch.d.ts.map +1 -1
- package/dist/audit/cli/dispatch.js +17 -6
- package/dist/audit/cli/dispatch.js.map +1 -1
- package/dist/audit/cli/hybridDispatch.d.ts +3 -1
- package/dist/audit/cli/hybridDispatch.d.ts.map +1 -1
- package/dist/audit/cli/hybridDispatch.js +1 -0
- package/dist/audit/cli/hybridDispatch.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts +0 -9
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +151 -92
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +11 -2
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +56 -8
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/prepareDispatchCommand.d.ts.map +1 -1
- package/dist/audit/cli/prepareDispatchCommand.js +15 -9
- package/dist/audit/cli/prepareDispatchCommand.js.map +1 -1
- package/dist/audit/cli/prompts.d.ts +12 -32
- package/dist/audit/cli/prompts.d.ts.map +1 -1
- package/dist/audit/cli/prompts.js +19 -33
- package/dist/audit/cli/prompts.js.map +1 -1
- package/dist/audit/cli/providerConfirmationStep.d.ts +13 -5
- package/dist/audit/cli/providerConfirmationStep.d.ts.map +1 -1
- package/dist/audit/cli/providerConfirmationStep.js +47 -8
- package/dist/audit/cli/providerConfirmationStep.js.map +1 -1
- package/dist/audit/cli/quotaCommand.d.ts.map +1 -1
- package/dist/audit/cli/quotaCommand.js +16 -10
- package/dist/audit/cli/quotaCommand.js.map +1 -1
- package/dist/audit/cli/rollingAuditDispatch.d.ts.map +1 -1
- package/dist/audit/cli/rollingAuditDispatch.js +8 -0
- package/dist/audit/cli/rollingAuditDispatch.js.map +1 -1
- package/dist/audit/cli/semanticReviewStep.d.ts +11 -1
- package/dist/audit/cli/semanticReviewStep.d.ts.map +1 -1
- package/dist/audit/cli/semanticReviewStep.js +11 -15
- package/dist/audit/cli/semanticReviewStep.js.map +1 -1
- package/dist/audit/cli/validateCommand.d.ts.map +1 -1
- package/dist/audit/cli/validateCommand.js +3 -3
- package/dist/audit/cli/validateCommand.js.map +1 -1
- package/dist/audit/contracts/wrapperResponse.d.ts +6 -6
- package/dist/audit/orchestrator/advance.d.ts.map +1 -1
- package/dist/audit/orchestrator/advance.js +39 -7
- package/dist/audit/orchestrator/advance.js.map +1 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts +52 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +9 -1
- package/dist/audit/orchestrator/executorRunners.js.map +1 -1
- package/dist/audit/orchestrator/intakeExecutors.d.ts +27 -3
- package/dist/audit/orchestrator/intakeExecutors.d.ts.map +1 -1
- package/dist/audit/orchestrator/intakeExecutors.js +119 -19
- package/dist/audit/orchestrator/intakeExecutors.js.map +1 -1
- package/dist/audit/orchestrator/nextStep.d.ts +7 -0
- package/dist/audit/orchestrator/nextStep.d.ts.map +1 -1
- package/dist/audit/orchestrator/nextStep.js +3 -0
- package/dist/audit/orchestrator/nextStep.js.map +1 -1
- package/dist/audit/orchestrator/providerConfirmation.d.ts.map +1 -1
- package/dist/audit/orchestrator/providerConfirmation.js +0 -2
- package/dist/audit/orchestrator/providerConfirmation.js.map +1 -1
- package/dist/audit/orchestrator/state.d.ts +17 -0
- package/dist/audit/orchestrator/state.d.ts.map +1 -1
- package/dist/audit/orchestrator/state.js +13 -1
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/quota/index.d.ts +128 -128
- package/dist/audit/supervisor/sessionConfig.d.ts +3 -11
- package/dist/audit/supervisor/sessionConfig.d.ts.map +1 -1
- package/dist/audit/supervisor/sessionConfig.js +3 -25
- package/dist/audit/supervisor/sessionConfig.js.map +1 -1
- package/dist/audit/types/analyzerCapability.d.ts +6 -6
- package/dist/audit/types/externalAnalyzer.d.ts +10 -10
- package/dist/remediate/phases/plan.d.ts.map +1 -1
- package/dist/remediate/phases/plan.js +5 -4
- package/dist/remediate/phases/plan.js.map +1 -1
- package/dist/remediate/steps/contractPipeline.d.ts.map +1 -1
- package/dist/remediate/steps/contractPipeline.js +9 -3
- package/dist/remediate/steps/contractPipeline.js.map +1 -1
- package/dist/remediate/steps/dispatch/marshal.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/marshal.js +5 -4
- package/dist/remediate/steps/dispatch/marshal.js.map +1 -1
- package/dist/remediate/steps/dispatch/waveScheduling.d.ts +4 -2
- package/dist/remediate/steps/dispatch/waveScheduling.d.ts.map +1 -1
- package/dist/remediate/steps/dispatch/waveScheduling.js +33 -85
- package/dist/remediate/steps/dispatch/waveScheduling.js.map +1 -1
- package/dist/remediate/steps/nextStep.d.ts +0 -10
- package/dist/remediate/steps/nextStep.d.ts.map +1 -1
- package/dist/remediate/steps/nextStep.js +33 -24
- package/dist/remediate/steps/nextStep.js.map +1 -1
- package/dist/remediate/steps/providerNodeDispatch.d.ts +8 -0
- package/dist/remediate/steps/providerNodeDispatch.d.ts.map +1 -1
- package/dist/remediate/steps/providerNodeDispatch.js +4 -0
- package/dist/remediate/steps/providerNodeDispatch.js.map +1 -1
- package/dist/remediate/steps/sessionConfigLoad.d.ts +46 -0
- package/dist/remediate/steps/sessionConfigLoad.d.ts.map +1 -0
- package/dist/remediate/steps/sessionConfigLoad.js +32 -0
- package/dist/remediate/steps/sessionConfigLoad.js.map +1 -0
- package/dist/shared/config/resolveSessionConfig.d.ts +72 -0
- package/dist/shared/config/resolveSessionConfig.d.ts.map +1 -0
- package/dist/shared/config/resolveSessionConfig.js +105 -0
- package/dist/shared/config/resolveSessionConfig.js.map +1 -0
- package/dist/shared/dispatch/admissionLoop.d.ts +12 -12
- package/dist/shared/friction/stepBoundaryCapture.d.ts +22 -1
- package/dist/shared/friction/stepBoundaryCapture.d.ts.map +1 -1
- package/dist/shared/friction/stepBoundaryCapture.js +40 -0
- package/dist/shared/friction/stepBoundaryCapture.js.map +1 -1
- package/dist/shared/index.d.ts +14 -8
- package/dist/shared/index.d.ts.map +1 -1
- package/dist/shared/index.js +11 -5
- package/dist/shared/index.js.map +1 -1
- package/dist/shared/providers/auditorSources.d.ts +102 -0
- package/dist/shared/providers/auditorSources.d.ts.map +1 -0
- package/dist/shared/providers/auditorSources.js +226 -0
- package/dist/shared/providers/auditorSources.js.map +1 -0
- package/dist/shared/providers/openAiCompatibleProvider.d.ts +20 -5
- package/dist/shared/providers/openAiCompatibleProvider.d.ts.map +1 -1
- package/dist/shared/providers/openAiCompatibleProvider.js +123 -19
- package/dist/shared/providers/openAiCompatibleProvider.js.map +1 -1
- package/dist/shared/providers/providerConfirmation.d.ts +3 -20
- package/dist/shared/providers/providerConfirmation.d.ts.map +1 -1
- package/dist/shared/providers/providerConfirmation.js +3 -37
- package/dist/shared/providers/providerConfirmation.js.map +1 -1
- package/dist/shared/providers/providerFactory.d.ts +6 -0
- package/dist/shared/providers/providerFactory.d.ts.map +1 -1
- package/dist/shared/providers/providerFactory.js +6 -0
- package/dist/shared/providers/providerFactory.js.map +1 -1
- package/dist/shared/providers/sharedProviderConfirmation.d.ts +264 -75
- package/dist/shared/providers/sharedProviderConfirmation.d.ts.map +1 -1
- package/dist/shared/providers/sharedProviderConfirmation.js +534 -113
- package/dist/shared/providers/sharedProviderConfirmation.js.map +1 -1
- package/dist/shared/providers/types.d.ts +17 -0
- package/dist/shared/providers/types.d.ts.map +1 -1
- package/dist/shared/quota/apiPool.d.ts +34 -11
- package/dist/shared/quota/apiPool.d.ts.map +1 -1
- package/dist/shared/quota/apiPool.js +21 -23
- package/dist/shared/quota/apiPool.js.map +1 -1
- package/dist/shared/quota/capacity.d.ts +50 -50
- package/dist/shared/quota/hostPool.d.ts +107 -0
- package/dist/shared/quota/hostPool.d.ts.map +1 -0
- package/dist/shared/quota/hostPool.js +103 -0
- package/dist/shared/quota/hostPool.js.map +1 -0
- package/dist/shared/quota/quotaSource.d.ts +2 -2
- package/dist/shared/types/auditorDescriptor.d.ts +112 -0
- package/dist/shared/types/auditorDescriptor.d.ts.map +1 -0
- package/dist/shared/types/auditorDescriptor.js +28 -0
- package/dist/shared/types/auditorDescriptor.js.map +1 -0
- package/dist/shared/types/providerConfirmation.d.ts +64 -6
- package/dist/shared/types/providerConfirmation.d.ts.map +1 -1
- package/dist/shared/types/providerConfirmation.js +1 -1
- package/dist/shared/types/sessionConfig.d.ts +73 -65
- package/dist/shared/types/sessionConfig.d.ts.map +1 -1
- package/dist/shared/types/sessionConfig.js +48 -0
- package/dist/shared/types/sessionConfig.js.map +1 -1
- package/dist/shared/validation/sessionConfig.d.ts +26 -14
- package/dist/shared/validation/sessionConfig.d.ts.map +1 -1
- package/dist/shared/validation/sessionConfig.js +72 -70
- package/dist/shared/validation/sessionConfig.js.map +1 -1
- package/docs/audit-pkg/contracts.md +4 -4
- package/docs/audit-pkg/operator-guide.md +43 -24
- package/package.json +1 -1
- package/skills/audit-code/SKILL.md +17 -14
- package/skills/audit-code/audit-code.prompt.md +17 -16
- package/wrapper/audit-code-wrapper-install-hosts.mjs +6 -10
- package/wrapper/remediate-code-wrapper-install-hosts.mjs +4 -8
- package/dist/shared/quota/repairProxyRegistry.d.ts +0 -84
- package/dist/shared/quota/repairProxyRegistry.d.ts.map +0 -1
- package/dist/shared/quota/repairProxyRegistry.js +0 -144
- package/dist/shared/quota/repairProxyRegistry.js.map +0 -1
|
@@ -58,12 +58,12 @@ export declare const AuditCodeResponseSchema: z.ZodObject<{
|
|
|
58
58
|
suggested_path: z.ZodString;
|
|
59
59
|
description: z.ZodString;
|
|
60
60
|
}, "strict", z.ZodTypeAny, {
|
|
61
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
62
61
|
description: string;
|
|
62
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
63
63
|
suggested_path: string;
|
|
64
64
|
}, {
|
|
65
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
66
65
|
description: string;
|
|
66
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
67
67
|
suggested_path: string;
|
|
68
68
|
}>, "many">;
|
|
69
69
|
suggested_commands: z.ZodArray<z.ZodString, "many">;
|
|
@@ -150,8 +150,8 @@ export declare const AuditCodeResponseSchema: z.ZodObject<{
|
|
|
150
150
|
};
|
|
151
151
|
pending_obligations: string[];
|
|
152
152
|
suggested_inputs: {
|
|
153
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
154
153
|
description: string;
|
|
154
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
155
155
|
suggested_path: string;
|
|
156
156
|
}[];
|
|
157
157
|
suggested_commands: string[];
|
|
@@ -187,8 +187,8 @@ export declare const AuditCodeResponseSchema: z.ZodObject<{
|
|
|
187
187
|
};
|
|
188
188
|
pending_obligations: string[];
|
|
189
189
|
suggested_inputs: {
|
|
190
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
191
190
|
description: string;
|
|
191
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
192
192
|
suggested_path: string;
|
|
193
193
|
}[];
|
|
194
194
|
suggested_commands: string[];
|
|
@@ -244,8 +244,8 @@ export declare const AuditCodeResponseSchema: z.ZodObject<{
|
|
|
244
244
|
};
|
|
245
245
|
pending_obligations: string[];
|
|
246
246
|
suggested_inputs: {
|
|
247
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
248
247
|
description: string;
|
|
248
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
249
249
|
suggested_path: string;
|
|
250
250
|
}[];
|
|
251
251
|
suggested_commands: string[];
|
|
@@ -301,8 +301,8 @@ export declare const AuditCodeResponseSchema: z.ZodObject<{
|
|
|
301
301
|
};
|
|
302
302
|
pending_obligations: string[];
|
|
303
303
|
suggested_inputs: {
|
|
304
|
-
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
305
304
|
description: string;
|
|
305
|
+
flag: "--batch-results" | "--results" | "--updates" | "--external-analyzer-results";
|
|
306
306
|
suggested_path: string;
|
|
307
307
|
}[];
|
|
308
308
|
suggested_commands: string[];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"advance.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/advance.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAuBzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"advance.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/advance.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAuBzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AA+ajF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,cAAc,EACtB,OAAO,GAAE,mBAAwB,GAChC,OAAO,CAAC,kBAAkB,CAAC,CA4F7B"}
|
|
@@ -52,7 +52,15 @@ function createCorrelationId() {
|
|
|
52
52
|
async function runSingleAdvanceStep(bundle, options = {}) {
|
|
53
53
|
const log = options.runLogger ?? RunLogger.disabled();
|
|
54
54
|
const correlationId = createCorrelationId();
|
|
55
|
-
|
|
55
|
+
// Gate-aware, and load-bearing: this decide is what actually picks the runner. The
|
|
56
|
+
// engine layers above derive `provider_confirmation` WITH the G3 delta, so a
|
|
57
|
+
// gate-blind decide here would see it satisfied, select the next obligation, and
|
|
58
|
+
// dispatch the WRONG executor — the gate would never fire at all. Reads the gate's
|
|
59
|
+
// CURRENT value (it clears on promotion), so the drain converges.
|
|
60
|
+
const decision = decideNextStep(bundle, {
|
|
61
|
+
emitStaleness: false,
|
|
62
|
+
newlyReachableBackends: gateDeltaKeys(options),
|
|
63
|
+
});
|
|
56
64
|
const forcedExecutor = options.preferredExecutor ?? null;
|
|
57
65
|
const selectedExecutor = forcedExecutor ?? decision.selected_executor;
|
|
58
66
|
const selectedObligation = forcedExecutor
|
|
@@ -114,7 +122,10 @@ async function runSingleAdvanceStep(bundle, options = {}) {
|
|
|
114
122
|
note: selectedExecutor,
|
|
115
123
|
duration_ms: Date.now() - executorStartedAt,
|
|
116
124
|
});
|
|
117
|
-
const state = deriveAuditState(bundle, {
|
|
125
|
+
const state = deriveAuditState(bundle, {
|
|
126
|
+
emitStaleness: false,
|
|
127
|
+
newlyReachableBackends: gateDeltaKeys(options),
|
|
128
|
+
});
|
|
118
129
|
state.last_executor = selectedExecutor;
|
|
119
130
|
state.last_obligation = selectedObligation ?? undefined;
|
|
120
131
|
return {
|
|
@@ -178,8 +189,13 @@ async function runSingleAdvanceStep(bundle, options = {}) {
|
|
|
178
189
|
agent_reflections: bundle.agent_reflections,
|
|
179
190
|
artifact_metadata: metadata,
|
|
180
191
|
};
|
|
192
|
+
// Gate-aware: this state is what gets PERSISTED as audit_state.json. Deriving it
|
|
193
|
+
// blind would record `provider_confirmation: satisfied` while the gate still says
|
|
194
|
+
// otherwise — a report that contradicts the routing decision. Read AFTER the
|
|
195
|
+
// executor ran, so a promotion's clear is already reflected.
|
|
181
196
|
const updatedState = deriveAuditState(metadataBundle, {
|
|
182
197
|
emitStaleness: false,
|
|
198
|
+
newlyReachableBackends: gateDeltaKeys(options),
|
|
183
199
|
});
|
|
184
200
|
updatedState.last_executor = selectedExecutor;
|
|
185
201
|
updatedState.last_obligation = selectedObligation ?? undefined;
|
|
@@ -227,13 +243,20 @@ function advanceHasRunner(executor) {
|
|
|
227
243
|
* derived is unchanged, and `deriveAuditState` itself is deterministic in the
|
|
228
244
|
* bundle (no time/randomness inputs).
|
|
229
245
|
*/
|
|
230
|
-
function deriveObligationState(id, cache) {
|
|
246
|
+
function deriveObligationState(id, cache, options) {
|
|
231
247
|
return (bundle) => {
|
|
232
248
|
if (bundle.audit_state?.status === "complete")
|
|
233
249
|
return "satisfied";
|
|
234
250
|
let state = cache.get(bundle);
|
|
235
251
|
if (!state) {
|
|
236
|
-
|
|
252
|
+
// The memo is keyed on bundle IDENTITY, which changes at every transition
|
|
253
|
+
// (`runSingleAdvanceStep` builds a fresh `finalizedBundle`) — and the gate can
|
|
254
|
+
// only change via a promotion, which is itself a transition. So a cache entry
|
|
255
|
+
// can never outlive the delta it was derived under.
|
|
256
|
+
state = deriveAuditState(bundle, {
|
|
257
|
+
emitStaleness: false,
|
|
258
|
+
newlyReachableBackends: gateDeltaKeys(options),
|
|
259
|
+
});
|
|
237
260
|
cache.set(bundle, state);
|
|
238
261
|
}
|
|
239
262
|
const found = state.obligations.find((o) => o.id === id);
|
|
@@ -299,13 +322,22 @@ async function runDrainStep(bundle, ctx) {
|
|
|
299
322
|
* `cache` is the per-call derivation memo threaded into every `derive` — see
|
|
300
323
|
* `deriveObligationState`.
|
|
301
324
|
*/
|
|
302
|
-
function buildDrainObligations(cache) {
|
|
325
|
+
function buildDrainObligations(cache, options) {
|
|
303
326
|
return PRIORITY.map((id) => ({
|
|
304
327
|
id,
|
|
305
|
-
derive: deriveObligationState(id, cache),
|
|
328
|
+
derive: deriveObligationState(id, cache, options),
|
|
306
329
|
execute: runDrainStep,
|
|
307
330
|
}));
|
|
308
331
|
}
|
|
332
|
+
/**
|
|
333
|
+
* The G3 gate's CURRENT delta as bare keys — all `deriveAuditState` needs (it only
|
|
334
|
+
* names them in the obligation's reason). Read through the shared gate object on
|
|
335
|
+
* every call, never captured: the executor clears it on promotion, and a stale read
|
|
336
|
+
* here is exactly the `PRIORITY[0]` livelock.
|
|
337
|
+
*/
|
|
338
|
+
function gateDeltaKeys(options) {
|
|
339
|
+
return (options.providerConfirmationGate?.newlyReachable ?? []).map((b) => b.key);
|
|
340
|
+
}
|
|
309
341
|
/**
|
|
310
342
|
* Advance the audit by ONE bounded step, then SAFELY DRAIN the deterministic
|
|
311
343
|
* regen frontier within the SAME call: run the first bounded step, then keep
|
|
@@ -352,7 +384,7 @@ export async function advanceAudit(bundle, options = {}) {
|
|
|
352
384
|
// Per-call derivation memo (see deriveObligationState) — created fresh here
|
|
353
385
|
// so no state can leak across advanceAudit calls.
|
|
354
386
|
const deriveCache = new WeakMap();
|
|
355
|
-
const outcome = await advanceObligations({ priority: PRIORITY, obligations: buildDrainObligations(deriveCache) }, bundle, ctx,
|
|
387
|
+
const outcome = await advanceObligations({ priority: PRIORITY, obligations: buildDrainObligations(deriveCache, options) }, bundle, ctx,
|
|
356
388
|
// INVARIANT: the local graceful cap (MAX_DRAIN_STEPS, enforced inside
|
|
357
389
|
// runDrainStep) must always fire strictly before the engine's THROWING
|
|
358
390
|
// maxTransitions backstop. Deriving the engine bound from the same
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"advance.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/advance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,wBAAwB,GAEzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,IAAI,kBAAkB,GAG9B,MAAM,oBAAoB,CAAC;AAK5B;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,SAAS,UAAU,CAAC,KAAiB;IACnC,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QACrC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAwB,EACxB,kBAAiC,EACjC,KAAc;IAEd,MAAM,MAAM,GACV,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,eAAe,CAAC,CAAC;IAC5E,OAAO,IAAI,KAAK,CACd,gBAAgB,gBAAgB,2BAA2B,kBAAkB,IAAI,wBAAwB,KAAK,MAAM,EAAE,EACtH;QACE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;KAClD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO,UAAU,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,oBAAoB,CACjC,MAAsB,EACtB,UAA+B,EAAE;IAEjC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;IACzD,MAAM,gBAAgB,GAAG,cAAc,IAAI,QAAQ,CAAC,iBAAiB,CAAC;IACtE,MAAM,kBAAkB,GAAG,cAAc;QACvC,CAAC,CAAC,UAAU,cAAc,EAAE;QAC5B,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IAEjC,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,YAAY;QAClB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM;KACtB,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,WAAW,EAAE,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;QAC/E,KAAK,CAAC,eAAe;YACnB,kBAAkB;gBAClB,MAAM,CAAC,WAAW,EAAE,eAAe;gBACnC,KAAK,CAAC,eAAe,CAAC;QACxB,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,kBAAkB;YACvC,iBAAiB,EAAE,gBAAgB;YACnC,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;YACvC,gBAAgB,EAAE,QAAQ,CAAC,MAAM;YACjC,gBAAgB,EAAE,IAAI;YACtB,cAAc,EAAE,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,gBAAgB;QACtB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,gBAAgB;KACvB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,4EAA4E;QAC5E,yEAAyE;QACzE,uEAAuE;QACvE,uEAAuE;QACvE,+EAA+E;QAC/E,+EAA+E;QAC/E,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,0BAA0B,gBAAgB,EAAE;SACnD,CAAC,CAAC;QACH,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,cAAc;YACpB,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,gBAAgB;YACtB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,iBAAiB;SAC5C,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,aAAa,GAAG,gBAAgB,CAAC;QACvC,KAAK,CAAC,eAAe,GAAG,kBAAkB,IAAI,SAAS,CAAC;QACxD,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,kBAAkB;YACvC,iBAAiB,EAAE,gBAAgB;YACnC,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;YACvC,gBAAgB,EAAE,YAAY,gBAAgB,4DAA4D;YAC1G,gBAAgB,EAAE,kBAAkB;YACpC,cAAc,EAAE,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,IAAI,GAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE;YACzB,OAAO;YACP,GAAG;YACH,aAAa;YACb,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,YAAY,gBAAgB,WAAW,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,eAAe,CAAC,EAAE;SACzH,CAAC,CAAC;QACH,MAAM,qBAAqB,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC;IAED,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,cAAc;QACpB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,iBAAiB;KAC5C,CAAC,CAAC;IACH,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAC7C,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,gBAAgB;YACtB,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,uEAAuE;IACvE,6EAA6E;IAC7E,qEAAqE;IACrE,wEAAwE;IACxE,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,uBAAuB,CACtC,GAAG,CAAC,OAAO,EACX,MAAM,CAAC,iBAAiB,EACxB,CAAC,GAAG,GAAG,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAC7E,CAAC;IACF,MAAM,cAAc,GAAG;QACrB,GAAG,GAAG,CAAC,OAAO;QACd,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,iBAAiB,EAAE,QAAQ;KAC5B,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,cAAc,EAAE;QACpD,aAAa,EAAE,KAAK;KACrB,CAAC,CAAC;IACH,YAAY,CAAC,aAAa,GAAG,gBAAgB,CAAC;IAC9C,YAAY,CAAC,eAAe,GAAG,kBAAkB,IAAI,SAAS,CAAC;IAC/D,MAAM,eAAe,GAAG,EAAE,GAAG,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACzE,MAAM,cAAc,GAAG,cAAc,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IAEhE,OAAO;QACL,WAAW,EAAE,YAAY;QACzB,mBAAmB,EAAE,kBAAkB;QACvC,iBAAiB,EAAE,gBAAgB;QACnC,aAAa,EAAE,IAAI;QACnB,iBAAiB,EAAE;YACjB,GAAG,GAAG,CAAC,iBAAiB;YACxB,wBAAwB;YACxB,kBAAkB;SACnB;QACD,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,gBAAgB,EAAE,cAAc,EAAE,EAAE,IAAI,IAAI;QAC5C,cAAc,EAAE,eAAe;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC7C,CAAC;AAuDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,qBAAqB,CAC5B,EAAU,EACV,KAA0C;IAE1C,OAAO,CAAC,MAAM,EAAE,EAAE;QAChB,IAAI,MAAM,CAAC,WAAW,EAAE,MAAM,KAAK,UAAU;YAAE,OAAO,WAAW,CAAC;QAClE,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3D,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK;YAAE,OAAO,WAAW,CAAC;QAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO;YACzD,CAAC,CAAC,KAAK,CAAC,KAAK;YACb,CAAC,CAAC,WAAW,CAAC;IAClB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACrB,MAA0B,EAC1B,GAAa;IAEb,GAAG,CAAC,YAAY,CAAC,KAAK,GAAG,aAAa,CAAC;QACrC,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK;QACzB,GAAG,MAAM,CAAC,iBAAiB;KAC5B,CAAC,CAAC;IACH,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACnD,OAAO;QACL,GAAG,MAAM;QACT,iBAAiB,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK;QACzC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,KAAK,UAAU,YAAY,CACzB,MAAsB,EACtB,GAAa;IAEb,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,eAAe,EAAE,CAAC;QACzC,2EAA2E;QAC3E,sEAAsE;QACtE,mEAAmE;QACnE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC5B,KAA0C;IAE1C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,EAAE;QACF,MAAM,EAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK,CAAC;QACxC,OAAO,EAAE,YAAY;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAsB,EACtB,UAA+B,EAAE;IAEjC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,MAA0B,CAAC;IAE/B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,GAAG,MAAM,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAa;YACpB,OAAO;YACP,WAAW,EAAE;gBACX,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;aACrD;YACD,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;YACtB,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC3B,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;SAC1B,CAAC;QACF,4EAA4E;QAC5E,kDAAkD;QAClD,MAAM,WAAW,GAAG,IAAI,OAAO,EAA8B,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,kBAAkB,CACtC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,qBAAqB,CAAC,WAAW,CAAC,EAAE,EACvE,MAAM,EACN,GAAG;QACH,sEAAsE;QACtE,uEAAuE;QACvE,mEAAmE;QACnE,wEAAwE;QACxE,sEAAsE;QACtE,6DAA6D;QAC7D,uEAAuE;QACvE,gBAAgB;QAChB,EAAE,cAAc,EAAE,eAAe,GAAG,CAAC,EAAE,CACxC,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,yEAAyE;YACzE,sEAAsE;YACtE,iEAAiE;YACjE,iEAAiE;YACjE,uEAAuE;YACvE,yEAAyE;YACzE,yEAAyE;YACzE,qEAAqE;YACrE,uCAAuC;YACvC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACtD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YACzE,GAAG,CAAC,KAAK,CAAC;gBACR,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,YAAY;gBAClB,aAAa;gBACb,UAAU,EAAE,QAAQ,CAAC,mBAAmB,IAAI,SAAS;gBACrD,IAAI,EAAE,QAAQ,CAAC,MAAM;aACtB,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzC,KAAK,CAAC,aAAa;gBACjB,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;YAClE,KAAK,CAAC,eAAe;gBACnB,QAAQ,CAAC,mBAAmB;oBAC5B,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,eAAe;oBAC1C,KAAK,CAAC,eAAe,CAAC;YACxB,MAAM,GAAG;gBACP,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;gBACjD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;gBAC7C,aAAa,EAAE,KAAK;gBACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;gBACvC,gBAAgB,EAAE,QAAQ,CAAC,MAAM;gBACjC,gBAAgB,EAAE,IAAI;gBACtB,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;aACzD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,cAAc,EAAE;QAC9D,IAAI,EAAE,KAAK;KACZ,CAAC,CAAC;IACH,mBAAmB,CACjB,UAAU,EACV,4BAA4B,CAAC,MAAM,CAAC,cAAc,CAAC;QACjD,CAAC,CAAC,mCAAmC;QACrC,CAAC,CAAC,SAAS,CACd,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8DAA8D;AAC9D,SAAS,aAAa,CAAC,MAAgB;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
1
|
+
{"version":3,"file":"advance.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/advance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EACL,wBAAwB,GAEzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,IAAI,kBAAkB,GAG9B,MAAM,oBAAoB,CAAC;AAK5B;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,SAAS,UAAU,CAAC,KAAiB;IACnC,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QACrC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,gBAAwB,EACxB,kBAAiC,EACjC,KAAc;IAEd,MAAM,MAAM,GACV,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,eAAe,CAAC,CAAC;IAC5E,OAAO,IAAI,KAAK,CACd,gBAAgB,gBAAgB,2BAA2B,kBAAkB,IAAI,wBAAwB,KAAK,MAAM,EAAE,EACtH;QACE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;KAClD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO,UAAU,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,oBAAoB,CACjC,MAAsB,EACtB,UAA+B,EAAE;IAEjC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,mFAAmF;IACnF,6EAA6E;IAC7E,iFAAiF;IACjF,mFAAmF;IACnF,kEAAkE;IAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE;QACtC,aAAa,EAAE,KAAK;QACpB,sBAAsB,EAAE,aAAa,CAAC,OAAO,CAAC;KAC/C,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;IACzD,MAAM,gBAAgB,GAAG,cAAc,IAAI,QAAQ,CAAC,iBAAiB,CAAC;IACtE,MAAM,kBAAkB,GAAG,cAAc;QACvC,CAAC,CAAC,UAAU,cAAc,EAAE;QAC5B,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IAEjC,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,YAAY;QAClB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,QAAQ,CAAC,MAAM;KACtB,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,WAAW,EAAE,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;QAC/E,KAAK,CAAC,eAAe;YACnB,kBAAkB;gBAClB,MAAM,CAAC,WAAW,EAAE,eAAe;gBACnC,KAAK,CAAC,eAAe,CAAC;QACxB,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,kBAAkB;YACvC,iBAAiB,EAAE,gBAAgB;YACnC,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;YACvC,gBAAgB,EAAE,QAAQ,CAAC,MAAM;YACjC,gBAAgB,EAAE,IAAI;YACtB,cAAc,EAAE,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,gBAAgB;QACtB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,gBAAgB;KACvB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,4EAA4E;QAC5E,yEAAyE;QACzE,uEAAuE;QACvE,uEAAuE;QACvE,+EAA+E;QAC/E,+EAA+E;QAC/E,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,0BAA0B,gBAAgB,EAAE;SACnD,CAAC,CAAC;QACH,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,cAAc;YACpB,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,gBAAgB;YACtB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,iBAAiB;SAC5C,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE;YACrC,aAAa,EAAE,KAAK;YACpB,sBAAsB,EAAE,aAAa,CAAC,OAAO,CAAC;SAC/C,CAAC,CAAC;QACH,KAAK,CAAC,aAAa,GAAG,gBAAgB,CAAC;QACvC,KAAK,CAAC,eAAe,GAAG,kBAAkB,IAAI,SAAS,CAAC;QACxD,OAAO;YACL,WAAW,EAAE,KAAK;YAClB,mBAAmB,EAAE,kBAAkB;YACvC,iBAAiB,EAAE,gBAAgB;YACnC,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;YACvC,gBAAgB,EAAE,YAAY,gBAAgB,4DAA4D;YAC1G,gBAAgB,EAAE,kBAAkB;YACpC,cAAc,EAAE,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE;SAClD,CAAC;IACJ,CAAC;IAED,IAAI,GAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,MAAM,EAAE;YACzB,OAAO;YACP,GAAG;YACH,aAAa;YACb,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,IAAI,EAAE,YAAY,gBAAgB,WAAW,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,eAAe,CAAC,EAAE;SACzH,CAAC,CAAC;QACH,MAAM,qBAAqB,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC;IAED,GAAG,CAAC,KAAK,CAAC;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,cAAc;QACpB,aAAa;QACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;QAC3C,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,iBAAiB;KAC5C,CAAC,CAAC;IACH,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAC7C,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,gBAAgB;YACtB,aAAa;YACb,UAAU,EAAE,kBAAkB,IAAI,SAAS;YAC3C,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,uEAAuE;IACvE,6EAA6E;IAC7E,qEAAqE;IACrE,wEAAwE;IACxE,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,uBAAuB,CACtC,GAAG,CAAC,OAAO,EACX,MAAM,CAAC,iBAAiB,EACxB,CAAC,GAAG,GAAG,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,uBAAuB,CAAC,CAC7E,CAAC;IACF,MAAM,cAAc,GAAG;QACrB,GAAG,GAAG,CAAC,OAAO;QACd,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,iBAAiB,EAAE,QAAQ;KAC5B,CAAC;IACF,iFAAiF;IACjF,kFAAkF;IAClF,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,YAAY,GAAG,gBAAgB,CAAC,cAAc,EAAE;QACpD,aAAa,EAAE,KAAK;QACpB,sBAAsB,EAAE,aAAa,CAAC,OAAO,CAAC;KAC/C,CAAC,CAAC;IACH,YAAY,CAAC,aAAa,GAAG,gBAAgB,CAAC;IAC9C,YAAY,CAAC,eAAe,GAAG,kBAAkB,IAAI,SAAS,CAAC;IAC/D,MAAM,eAAe,GAAG,EAAE,GAAG,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACzE,MAAM,cAAc,GAAG,cAAc,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IAEhE,OAAO;QACL,WAAW,EAAE,YAAY;QACzB,mBAAmB,EAAE,kBAAkB;QACvC,iBAAiB,EAAE,gBAAgB;QACnC,aAAa,EAAE,IAAI;QACnB,iBAAiB,EAAE;YACjB,GAAG,GAAG,CAAC,iBAAiB;YACxB,wBAAwB;YACxB,kBAAkB;SACnB;QACD,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;QACtC,gBAAgB,EAAE,cAAc,EAAE,EAAE,IAAI,IAAI;QAC5C,cAAc,EAAE,eAAe;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC7C,CAAC;AAuDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,qBAAqB,CAC5B,EAAU,EACV,KAA0C,EAC1C,OAA4B;IAE5B,OAAO,CAAC,MAAM,EAAE,EAAE;QAChB,IAAI,MAAM,CAAC,WAAW,EAAE,MAAM,KAAK,UAAU;YAAE,OAAO,WAAW,CAAC;QAClE,IAAI,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,0EAA0E;YAC1E,+EAA+E;YAC/E,8EAA8E;YAC9E,oDAAoD;YACpD,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE;gBAC/B,aAAa,EAAE,KAAK;gBACpB,sBAAsB,EAAE,aAAa,CAAC,OAAO,CAAC;aAC/C,CAAC,CAAC;YACH,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK;YAAE,OAAO,WAAW,CAAC;QAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO;YACzD,CAAC,CAAC,KAAK,CAAC,KAAK;YACb,CAAC,CAAC,WAAW,CAAC;IAClB,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACrB,MAA0B,EAC1B,GAAa;IAEb,GAAG,CAAC,YAAY,CAAC,KAAK,GAAG,aAAa,CAAC;QACrC,GAAG,GAAG,CAAC,YAAY,CAAC,KAAK;QACzB,GAAG,MAAM,CAAC,iBAAiB;KAC5B,CAAC,CAAC;IACH,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACnD,OAAO;QACL,GAAG,MAAM;QACT,iBAAiB,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK;QACzC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,KAAK,UAAU,YAAY,CACzB,MAAsB,EACtB,GAAa;IAEb,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,eAAe,EAAE,CAAC;QACzC,2EAA2E;QAC3E,sEAAsE;QACtE,mEAAmE;QACnE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,cAAc,EAAE,gBAAgB,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC5B,KAA0C,EAC1C,OAA4B;IAE5B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,EAAE;QACF,MAAM,EAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC;QACjD,OAAO,EAAE,YAAY;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,OAA4B;IACjD,OAAO,CAAC,OAAO,CAAC,wBAAwB,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAsB,EACtB,UAA+B,EAAE;IAEjC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,MAA0B,CAAC;IAE/B,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,GAAG,MAAM,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAa;YACpB,OAAO;YACP,WAAW,EAAE;gBACX,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;aACrD;YACD,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;YACtB,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC3B,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;SAC1B,CAAC;QACF,4EAA4E;QAC5E,kDAAkD;QAClD,MAAM,WAAW,GAAG,IAAI,OAAO,EAA8B,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,kBAAkB,CACtC,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,EAChF,MAAM,EACN,GAAG;QACH,sEAAsE;QACtE,uEAAuE;QACvE,mEAAmE;QACnE,wEAAwE;QACxE,sEAAsE;QACtE,6DAA6D;QAC7D,uEAAuE;QACvE,gBAAgB;QAChB,EAAE,cAAc,EAAE,eAAe,GAAG,CAAC,EAAE,CACxC,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,yEAAyE;YACzE,sEAAsE;YACtE,iEAAiE;YACjE,iEAAiE;YACjE,uEAAuE;YACvE,yEAAyE;YACzE,yEAAyE;YACzE,qEAAqE;YACrE,uCAAuC;YACvC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACtD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YACzE,GAAG,CAAC,KAAK,CAAC;gBACR,KAAK,EAAE,SAAS;gBAChB,IAAI,EAAE,YAAY;gBAClB,aAAa;gBACb,UAAU,EAAE,QAAQ,CAAC,mBAAmB,IAAI,SAAS;gBACrD,IAAI,EAAE,QAAQ,CAAC,MAAM;aACtB,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzC,KAAK,CAAC,aAAa;gBACjB,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC;YAClE,KAAK,CAAC,eAAe;gBACnB,QAAQ,CAAC,mBAAmB;oBAC5B,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,eAAe;oBAC1C,KAAK,CAAC,eAAe,CAAC;YACxB,MAAM,GAAG;gBACP,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;gBACjD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;gBAC7C,aAAa,EAAE,KAAK;gBACpB,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;gBACvC,gBAAgB,EAAE,QAAQ,CAAC,MAAM;gBACjC,gBAAgB,EAAE,IAAI;gBACtB,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;aACzD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,cAAc,EAAE;QAC9D,IAAI,EAAE,KAAK;KACZ,CAAC,CAAC;IACH,mBAAmB,CACjB,UAAU,EACV,4BAA4B,CAAC,MAAM,CAAC,cAAc,CAAC;QACjD,CAAC,CAAC,mCAAmC;QACrC,CAAC,CAAC,SAAS,CACd,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8DAA8D;AAC9D,SAAS,aAAa,CAAC,MAAgB;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
|
@@ -3,7 +3,7 @@ import type { AuditState } from "../types/auditState.js";
|
|
|
3
3
|
import type { AuditResult } from "../types.js";
|
|
4
4
|
import type { RuntimeValidationReport } from "../types/runtimeValidation.js";
|
|
5
5
|
import type { ExternalAnalyzerResults } from "../types/externalAnalyzer.js";
|
|
6
|
-
import type { AnalyzerSetting, SynthesisNarrative, RunLogger, CharterSubmission, CharterDeltaSubmission, ClarificationAnswersSubmission, SystemicChallengeSubmission, CriticalFlowFallbackResult } from "audit-tools/shared";
|
|
6
|
+
import type { AnalyzerSetting, SynthesisNarrative, RunLogger, CharterSubmission, CharterDeltaSubmission, ClarificationAnswersSubmission, SystemicChallengeSubmission, CriticalFlowFallbackResult, SessionConfig, NewlyReachableBackend } from "audit-tools/shared";
|
|
7
7
|
import type { EdgeReasoningResults } from "./edgeReasoning.js";
|
|
8
8
|
import type { ExternalAcquisitionAdvanceOptions } from "./acquisitionExecutor.js";
|
|
9
9
|
/**
|
|
@@ -64,6 +64,57 @@ export interface AdvanceAuditOptions {
|
|
|
64
64
|
since?: string;
|
|
65
65
|
preferredExecutor?: string;
|
|
66
66
|
runLogger?: RunLogger;
|
|
67
|
+
/**
|
|
68
|
+
* G2: the EFFECTIVE dispatch config (the per-auditor descriptor resolved over the
|
|
69
|
+
* repo INTENT; `resolveSessionConfig`). Threaded so the executors that read dispatch
|
|
70
|
+
* inventory — `provider_confirmation_executor`, which CONSUMES the operator
|
|
71
|
+
* confirmation and PERSISTS the routed pool — build/persist from the descriptor, not a
|
|
72
|
+
* re-read of the raw repo config. Absent ⇒ the executor falls back to the repo INTENT
|
|
73
|
+
* resolved to driver-self-only. See `spec/unified-dispatch-worker-model.md`.
|
|
74
|
+
*/
|
|
75
|
+
sessionConfig?: SessionConfig;
|
|
76
|
+
/**
|
|
77
|
+
* G3 reconciliation gate state, threaded BY REFERENCE. See
|
|
78
|
+
* {@link ProviderConfirmationGateState} for why it is mutable rather than a value.
|
|
79
|
+
* Absent ⇒ nothing to reconcile (every non-CLI caller).
|
|
80
|
+
*/
|
|
81
|
+
providerConfirmationGate?: ProviderConfirmationGateState;
|
|
82
|
+
}
|
|
83
|
+
/**
|
|
84
|
+
* The G3 reconciliation gate's per-invocation state — deliberately MUTABLE, and
|
|
85
|
+
* threaded by reference through every layer that derives or dispatches.
|
|
86
|
+
*
|
|
87
|
+
* Why not a frozen value: the delta is `REACH-NOW \ CONFIRMED`. REACH-NOW is
|
|
88
|
+
* invocation-stable (env/PATH does not move mid-run) and expensive (~6 `spawnSync`),
|
|
89
|
+
* so it is computed once. CONFIRMED, however, CHANGES the moment
|
|
90
|
+
* `provider_confirmation_executor` promotes — and the only thing that ever changes it
|
|
91
|
+
* is that executor. A frozen delta therefore stays non-empty for the rest of the
|
|
92
|
+
* drain even after the backends have been folded into the confirmed pool, and since
|
|
93
|
+
* `provider_confirmation` is `PRIORITY[0]` the obligation is re-selected forever:
|
|
94
|
+
* autonomous re-promotes until `advance` throws on `maxTransitions`, attended
|
|
95
|
+
* re-emits a delta prompt that is now a lie. The delta genuinely clears only via the
|
|
96
|
+
* promotion, so the promotion is what must clear it.
|
|
97
|
+
*
|
|
98
|
+
* `deriveAuditState` stays pure: it receives the delta as an argument. This object is
|
|
99
|
+
* the thing that carries the CURRENT value to each derivation — including the ones
|
|
100
|
+
* inside `advanceAudit`'s own nested drain, which the CLI engine's closure cannot
|
|
101
|
+
* reach.
|
|
102
|
+
*/
|
|
103
|
+
export interface ProviderConfirmationGateState {
|
|
104
|
+
/**
|
|
105
|
+
* Backends reachable now that the operator's confirmation never mentioned.
|
|
106
|
+
* CLEARED to `[]` by the executor on a successful promotion: the rebuild folds
|
|
107
|
+
* every reachable backend into `provider_pool` (an excluded entry stays IN the
|
|
108
|
+
* pool), so all of REACH-NOW is in CONFIRMED and the delta is empty by
|
|
109
|
+
* construction.
|
|
110
|
+
*/
|
|
111
|
+
newlyReachable: NewlyReachableBackend[];
|
|
112
|
+
/**
|
|
113
|
+
* Unattended run ⇒ nobody to prompt ⇒ the delta fails closed instead. Read by the
|
|
114
|
+
* EXECUTOR itself, not just its caller — the fail-closed write must be impossible
|
|
115
|
+
* to trigger on an attended run regardless of which entrypoint calls it.
|
|
116
|
+
*/
|
|
117
|
+
autonomous: boolean;
|
|
67
118
|
}
|
|
68
119
|
export interface AdvanceAuditResult {
|
|
69
120
|
audit_state: AuditState;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"advanceTypes.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/advanceTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,SAAS,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;
|
|
1
|
+
{"version":3,"file":"advanceTypes.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/advanceTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,SAAS,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,0BAA0B,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACnQ,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,0BAA0B,CAAC;AAElF;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,yFAAyF;IACzF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;IAC7B,wBAAwB,CAAC,EAAE,uBAAuB,CAAC;IACnD,2HAA2H;IAC3H,uBAAuB,CAAC,EAAE,uBAAuB,CAAC;IAClD,0FAA0F;IAC1F,gBAAgB,CAAC,EAAE,kBAAkB,CAAC;IACtC,0IAA0I;IAC1I,2BAA2B,CAAC,EAAE,0BAA0B,CAAC;IACzD,yGAAyG;IACzG,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,qHAAqH;IACrH,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,wGAAwG;IACxG,oBAAoB,CAAC,EAAE,8BAA8B,CAAC;IACtD,6GAA6G;IAC7G,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;IAChD,6EAA6E;IAC7E,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,iCAAiC,CAAC;IACxD,8EAA8E;IAC9E,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB;;;;;;;OAOG;IACH,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B;;;;OAIG;IACH,wBAAwB,CAAC,EAAE,6BAA6B,CAAC;CAC1D;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;;;OAMG;IACH,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACxC;;;;OAIG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,UAAU,CAAC;IACxB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,aAAa,EAAE,OAAO,CAAC;IACvB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,cAAc,CAAC;CAChC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executorRunners.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAqB,MAAM,oBAAoB,CAAC;AAgClE;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,GAAG,EAAE,SAAS,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAChC,MAAM,EAAE,cAAc,EACtB,GAAG,EAAE,gBAAgB,KAClB,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAahC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,
|
|
1
|
+
{"version":3,"file":"executorRunners.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAqB,MAAM,oBAAoB,CAAC;AAgClE;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,GAAG,EAAE,SAAS,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAChC,MAAM,EAAE,cAAc,EACtB,GAAG,EAAE,gBAAgB,KAClB,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAahC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAkJhE,CAAC"}
|
|
@@ -40,7 +40,15 @@ function requireRoot(root, executorName) {
|
|
|
40
40
|
* rather than a deterministic run.
|
|
41
41
|
*/
|
|
42
42
|
export const EXECUTOR_RUNNERS = {
|
|
43
|
-
provider_confirmation_executor: async (bundle, { options }) => runProviderConfirmationAutoComplete(bundle, options.root, options.artifactsDir
|
|
43
|
+
provider_confirmation_executor: async (bundle, { options }) => runProviderConfirmationAutoComplete(bundle, options.root, options.artifactsDir,
|
|
44
|
+
// 2a-ii: the effective dispatch config (handshake inventory) — so the confirmed
|
|
45
|
+
// pool is built/persisted from the per-auditor inventory, never a re-read of the
|
|
46
|
+
// repo config that would re-leak another auditor's backends into the routed pool.
|
|
47
|
+
options.sessionConfig,
|
|
48
|
+
// G3: the reconciliation gate, BY REFERENCE — the autonomous path
|
|
49
|
+
// fail-closed-excludes the delta before it can route, and clears the gate on
|
|
50
|
+
// promotion so this PRIORITY[0] obligation converges.
|
|
51
|
+
options.providerConfirmationGate),
|
|
44
52
|
intake_executor: async (bundle, { options }) => runIntakeExecutor(bundle, requireRoot(options.root, "intake_executor"), options.artifactsDir),
|
|
45
53
|
intent_checkpoint_executor: async (bundle, { options }) => runIntentCheckpointAutoComplete(bundle, requireRoot(options.root, "intent_checkpoint_executor"), options.since),
|
|
46
54
|
// root is intentionally optional: present → buildGraphBundleFromFs, absent →
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executorRunners.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAGA,OAAO,EAAa,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,mCAAmC,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,kCAAkC,EAClC,iCAAiC,GAClC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAsB/C;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAwB,EAAE,YAAoB;IACjE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,gBAAgB,YAAY,gBAAgB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAwC;IACnE,8BAA8B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5D,mCAAmC,
|
|
1
|
+
{"version":3,"file":"executorRunners.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAGA,OAAO,EAAa,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,mCAAmC,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,kCAAkC,EAClC,iCAAiC,GAClC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,+BAA+B,EAAE,MAAM,mCAAmC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAsB/C;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAwB,EAAE,YAAoB;IACjE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,gBAAgB,YAAY,gBAAgB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAwC;IACnE,8BAA8B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5D,mCAAmC,CACjC,MAAM,EACN,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,YAAY;IACpB,gFAAgF;IAChF,iFAAiF;IACjF,kFAAkF;IAClF,OAAO,CAAC,aAAa;IACrB,kEAAkE;IAClE,6EAA6E;IAC7E,sDAAsD;IACtD,OAAO,CAAC,wBAAwB,CACjC;IACH,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC7C,iBAAiB,CACf,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAC5C,OAAO,CAAC,YAAY,CACrB;IACH,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACxD,+BAA+B,CAC7B,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,EACvD,OAAO,CAAC,KAAK,CACd;IACH,6EAA6E;IAC7E,kCAAkC;IAClC,sCAAsC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACpE,sCAAsC,CACpC,MAAM,EACN,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,mBAAmB,CAC5B;IACH,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC;IAC5C,+BAA+B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC7D,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,2BAA2B,CAAC;IAC9E,yBAAyB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACvD,0BAA0B,CAAC,MAAM,EAAE;QACjC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,gBAAgB,EAAE,OAAO,CAAC,qBAAqB;QAC/C,aAAa,EAAE,OAAO,CAAC,oBAAoB;KAC5C,CAAC;IACJ,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAC3C,2BAA2B,CAAC,MAAM,CAAC;IACrC,gCAAgC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC9D,iCAAiC,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC;IACzD,2BAA2B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACzD,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC;IACjE,sBAAsB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACpD,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,sBAAsB,CAAC;IACjE,8BAA8B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5D,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,CAAC;IACvE,2BAA2B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACzD,4BAA4B,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC;IACjE,sBAAsB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CACvC,2BAA2B,CAAC,MAAM,EAAE,UAAU,CAAC;IACjD,wBAAwB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CACzC,2BAA2B,CAAC,MAAM,EAAE,YAAY,CAAC;IACnD,qCAAqC;IACrC,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC;IAC5E,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE;QAC/E,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,iBAAiB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/E,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,UAAU,IAAI,SAAS;YACnC,IAAI,EACF,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,CAAC,eAAe,YAAY,CAAC,KAAK,KAAK,YAAY,CAAC,UAAU,CAAC,MAAM,cAAc,YAAY,CAAC,cAAc,CAAC,MAAM,+CAA+C;gBACrK,CAAC,CAAC,kBAAkB;SACzB,CAAC,CAAC;QACH,OAAO,mBAAmB,CACxB,MAAM,EACN,IAAI,EACJ,OAAO,CAAC,SAAS,IAAI,EAAE,EACvB,OAAO,CAAC,SAAS,EACjB,YAAY,CACb,CAAC;IACJ,CAAC;IACD,yBAAyB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACvD,0BAA0B,CACxB,MAAM,EACN,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CACnD;IACH,2BAA2B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACzD,4BAA4B,CAC1B,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CACzD;IACH,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC;IACpD,4BAA4B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1D,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC;IACjE,kCAAkC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAChE,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACb,mFAAmF,CACpF,CAAC;QACJ,CAAC;QACD,OAAO,kCAAkC,CACvC,MAAM,EACN,OAAO,CAAC,wBAAwB,CACjC,CAAC;IACJ,CAAC;IACD,iCAAiC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC/D,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,iCAAiC,CACtC,MAAM,EACN,OAAO,CAAC,uBAAuB,CAChC,CAAC;IACJ,CAAC;IACD,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC/C,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC5E,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACxD,2BAA2B,CACzB,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,CACxD;IACH,qFAAqF;IACrF,oFAAoF;IACpF,6EAA6E;IAC7E,6EAA6E;IAC7E,yBAAyB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QACvD,MAAM,YAAY,GAChB,OAAO,CAAC,YAAY;YACpB,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,2BAA2B,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO;YACL,OAAO,EAAE,MAAM;YACf,iBAAiB,EAAE,CAAC,mBAAmB,CAAC;YACxC,gBAAgB,EACd,QAAQ,CAAC,MAAM,KAAK,UAAU;gBAC5B,CAAC,CAAC,2BAA2B;gBAC7B,CAAC,CAAC,4BAA4B,QAAQ,CAAC,OAAO,CAAC,MAAM,qCAAqC,QAAQ,CAAC,uBAAuB,GAAG;SAClI,CAAC;IACJ,CAAC;CACF,CAAC"}
|
|
@@ -1,5 +1,7 @@
|
|
|
1
|
+
import { type SessionConfig } from "audit-tools/shared";
|
|
1
2
|
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
3
|
import type { ExecutorRunResult } from "./executorResult.js";
|
|
4
|
+
import type { ProviderConfirmationGateState } from "./advanceTypes.js";
|
|
3
5
|
/**
|
|
4
6
|
* Detect signals that the resolved audit root may be the *wrong* directory.
|
|
5
7
|
* Two heuristics, returned as zero or more human-readable warnings:
|
|
@@ -26,9 +28,31 @@ export declare function detectMisScopeSmells(root: string): string[];
|
|
|
26
28
|
* write that shared artifact (atomic temp-then-rename under a file lock — CE-003)
|
|
27
29
|
* so a subsequent remediate run can read + honor the same pool. The per-tool
|
|
28
30
|
* `provider_confirmation` bundle field (the N-X06 seam contract) is unchanged;
|
|
29
|
-
* the shared artifact
|
|
30
|
-
*
|
|
31
|
+
* the shared artifact carries the operator's reach-free route DECISION.
|
|
32
|
+
*
|
|
33
|
+
* G3 — the write half of the reconciliation gate. **This executor never silently
|
|
34
|
+
* honors a newly-reachable backend.** If it is asked to promote while the gate
|
|
35
|
+
* carries a delta and there is NO operator submission, it fails CLOSED (persists an
|
|
36
|
+
* exclusion) and records a `newly_reachable_backend` friction event.
|
|
37
|
+
*
|
|
38
|
+
* That rule is deliberately NOT keyed on `autonomous`, and the asymmetry matters:
|
|
39
|
+
* `autonomous` decides who gets ASKED — the CLI emits the delta prompt on an attended
|
|
40
|
+
* run and folds straight to this executor on an unattended one — but it can never
|
|
41
|
+
* make silently including an unconfirmed backend correct. This function is exported
|
|
42
|
+
* and reachable from `advanceAudit` directly, so the no-silent-honor property is
|
|
43
|
+
* enforced HERE rather than resting on a caller's branch being right (a caller that
|
|
44
|
+
* promotes an attended delta without asking IS the bug the gate exists to catch).
|
|
45
|
+
* Enforce in the tool, never in a caller remembering.
|
|
46
|
+
*
|
|
47
|
+
* A first-ever confirmation is unaffected: with no confirmation on disk there is no
|
|
48
|
+
* decision to reconcile against, so the delta is empty and nothing fails closed.
|
|
49
|
+
*
|
|
50
|
+
* The persist is MANDATORY, not incidental: `provider_confirmation` is `PRIORITY[0]`,
|
|
51
|
+
* so a delta that never clears is a drain LIVELOCK, not a no-op. On a successful
|
|
52
|
+
* promotion the gate is CLEARED — the rebuild folds every reachable backend into
|
|
53
|
+
* `provider_pool` (an excluded entry stays IN the pool), so all of REACH-NOW is now
|
|
54
|
+
* CONFIRMED and the delta is empty by construction.
|
|
31
55
|
*/
|
|
32
|
-
export declare function runProviderConfirmationAutoComplete(bundle: ArtifactBundle, root?: string, artifactsDir?: string): Promise<ExecutorRunResult>;
|
|
56
|
+
export declare function runProviderConfirmationAutoComplete(bundle: ArtifactBundle, root?: string, artifactsDir?: string, effectiveConfig?: SessionConfig, gate?: ProviderConfirmationGateState): Promise<ExecutorRunResult>;
|
|
33
57
|
export declare function runIntakeExecutor(bundle: ArtifactBundle, root: string, artifactsDir?: string): Promise<ExecutorRunResult>;
|
|
34
58
|
//# sourceMappingURL=intakeExecutors.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intakeExecutors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intakeExecutors.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"intakeExecutors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intakeExecutors.ts"],"names":[],"mappings":"AAEA,OAAO,EAYL,KAAK,aAAa,EAGnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AASzD,OAAO,KAAK,EAAE,iBAAiB,EAAgB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAevE;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkD3D;AAgBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAsB,mCAAmC,CACvD,MAAM,EAAE,cAAc,EACtB,IAAI,CAAC,EAAE,MAAM,EACb,YAAY,CAAC,EAAE,MAAM,EACrB,eAAe,CAAC,EAAE,aAAa,EAC/B,IAAI,CAAC,EAAE,6BAA6B,GACnC,OAAO,CAAC,iBAAiB,CAAC,CAuH5B;AAkBD,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE,MAAM,EACZ,YAAY,CAAC,EAAE,MAAM,GACpB,OAAO,CAAC,iBAAiB,CAAC,CAqD5B"}
|
|
@@ -1,11 +1,18 @@
|
|
|
1
1
|
import { existsSync, readFileSync } from "node:fs";
|
|
2
2
|
import { dirname, join } from "node:path";
|
|
3
|
-
import { isGitRepo, writeJsonFile, buildSharedProviderConfirmation, writeSharedProviderConfirmation, readProviderConfirmationInput, gatherDispatchableSources, resolveFreshSessionProviderName, } from "audit-tools/shared";
|
|
3
|
+
import { isGitRepo, writeJsonFile, buildSharedProviderConfirmation, writeSharedProviderConfirmation, readProviderConfirmationInput, unlinkProviderConfirmationInput, gatherDispatchableSources, resolveFreshSessionProviderName, resolveSessionConfig, ambientAuditorDescriptor, captureNewlyReachableBackendFriction, } from "audit-tools/shared";
|
|
4
4
|
import { confirmProviders } from "./providerConfirmation.js";
|
|
5
5
|
import { loadSessionConfig } from "../supervisor/sessionConfig.js";
|
|
6
6
|
import { buildFileDisposition, isAuditExcludedStatus, } from "../extractors/disposition.js";
|
|
7
7
|
import { buildRepoManifestFromFs } from "../extractors/fsIntake.js";
|
|
8
8
|
import { loadIgnoreFile } from "../extractors/ignore.js";
|
|
9
|
+
/**
|
|
10
|
+
* Synthetic run key for Gate-0 friction. The confirmation gate runs BEFORE any run
|
|
11
|
+
* id exists, and the capture chokepoint keys de-dup on {eventType, runId,
|
|
12
|
+
* discriminator} — a stable constant here means the real discriminator (the backend
|
|
13
|
+
* key) does the distinguishing, so a re-derive never double-logs the same backend.
|
|
14
|
+
*/
|
|
15
|
+
const PROVIDER_CONFIRMATION_FRICTION_RUN_KEY = "provider-confirmation";
|
|
9
16
|
/**
|
|
10
17
|
* Detect signals that the resolved audit root may be the *wrong* directory.
|
|
11
18
|
* Two heuristics, returned as zero or more human-readable warnings:
|
|
@@ -90,44 +97,137 @@ function readPackageJson(dir) {
|
|
|
90
97
|
* write that shared artifact (atomic temp-then-rename under a file lock — CE-003)
|
|
91
98
|
* so a subsequent remediate run can read + honor the same pool. The per-tool
|
|
92
99
|
* `provider_confirmation` bundle field (the N-X06 seam contract) is unchanged;
|
|
93
|
-
* the shared artifact
|
|
94
|
-
*
|
|
100
|
+
* the shared artifact carries the operator's reach-free route DECISION.
|
|
101
|
+
*
|
|
102
|
+
* G3 — the write half of the reconciliation gate. **This executor never silently
|
|
103
|
+
* honors a newly-reachable backend.** If it is asked to promote while the gate
|
|
104
|
+
* carries a delta and there is NO operator submission, it fails CLOSED (persists an
|
|
105
|
+
* exclusion) and records a `newly_reachable_backend` friction event.
|
|
106
|
+
*
|
|
107
|
+
* That rule is deliberately NOT keyed on `autonomous`, and the asymmetry matters:
|
|
108
|
+
* `autonomous` decides who gets ASKED — the CLI emits the delta prompt on an attended
|
|
109
|
+
* run and folds straight to this executor on an unattended one — but it can never
|
|
110
|
+
* make silently including an unconfirmed backend correct. This function is exported
|
|
111
|
+
* and reachable from `advanceAudit` directly, so the no-silent-honor property is
|
|
112
|
+
* enforced HERE rather than resting on a caller's branch being right (a caller that
|
|
113
|
+
* promotes an attended delta without asking IS the bug the gate exists to catch).
|
|
114
|
+
* Enforce in the tool, never in a caller remembering.
|
|
115
|
+
*
|
|
116
|
+
* A first-ever confirmation is unaffected: with no confirmation on disk there is no
|
|
117
|
+
* decision to reconcile against, so the delta is empty and nothing fails closed.
|
|
118
|
+
*
|
|
119
|
+
* The persist is MANDATORY, not incidental: `provider_confirmation` is `PRIORITY[0]`,
|
|
120
|
+
* so a delta that never clears is a drain LIVELOCK, not a no-op. On a successful
|
|
121
|
+
* promotion the gate is CLEARED — the rebuild folds every reachable backend into
|
|
122
|
+
* `provider_pool` (an excluded entry stays IN the pool), so all of REACH-NOW is now
|
|
123
|
+
* CONFIRMED and the delta is empty by construction.
|
|
95
124
|
*/
|
|
96
|
-
export async function runProviderConfirmationAutoComplete(bundle, root, artifactsDir) {
|
|
97
|
-
//
|
|
98
|
-
//
|
|
99
|
-
//
|
|
100
|
-
//
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
125
|
+
export async function runProviderConfirmationAutoComplete(bundle, root, artifactsDir, effectiveConfig, gate) {
|
|
126
|
+
// G2: prefer the EFFECTIVE dispatch config threaded from the next-step drain (the
|
|
127
|
+
// per-auditor descriptor resolved over the repo INTENT). The confirmed pool this
|
|
128
|
+
// executor builds + persists is what routes for the whole session, so it MUST reflect
|
|
129
|
+
// the current auditor's descriptor, not a re-read of the repo config
|
|
130
|
+
// (spec/unified-dispatch-worker-model.md). Fall back to the repo INTENT resolved against
|
|
131
|
+
// the AMBIENT descriptor when no effective config was threaded — e.g. the legacy headless
|
|
132
|
+
// advance-audit entrypoint, which carries no handshake but still HAS an environment, so
|
|
133
|
+
// its reachable lanes must appear in the confirmed roster (what the operator confirms is
|
|
134
|
+
// what routes). A `null` descriptor here would hide a declared+reachable backend from
|
|
135
|
+
// Gate-0 entirely. Degrade to the empty permissive default when the config is
|
|
136
|
+
// absent/unreadable — pricing is best-effort and must never block confirmation.
|
|
137
|
+
const sessionConfig = effectiveConfig ??
|
|
138
|
+
(artifactsDir
|
|
139
|
+
? resolveSessionConfig(await loadSessionConfig(artifactsDir).catch(() => ({})), ambientAuditorDescriptor())
|
|
140
|
+
: {});
|
|
104
141
|
// Interactive Gate-0: the host may have submitted an operator ordering + host
|
|
105
142
|
// roster to `provider-confirmation.input.json` (spec/cost-first-routing.md).
|
|
106
143
|
// Absent ⇒ the tool's price-ascending suggestion (headless / no-operator path).
|
|
107
144
|
const input = artifactsDir
|
|
108
145
|
? await readProviderConfirmationInput(artifactsDir)
|
|
109
146
|
: null;
|
|
110
|
-
|
|
147
|
+
// G3 fail-closed reconciliation: a backend the operator never confirmed must not
|
|
148
|
+
// become dispatchable merely because it is reachable. Excluding it is the
|
|
149
|
+
// conservative direction — the run proceeds on the confirmed backends.
|
|
150
|
+
//
|
|
151
|
+
// Keyed on `input === null` ALONE, not on `autonomous`: a submission IS the
|
|
152
|
+
// operator's decision and supersedes (on the attended path the gate prompts the
|
|
153
|
+
// delta and this promotes their answer), but with NO submission there is no
|
|
154
|
+
// decision to honor and including the backend would be the silent dispatch the gate
|
|
155
|
+
// exists to prevent — attended or not. See the header for why this is enforced here
|
|
156
|
+
// rather than in the caller's branch.
|
|
157
|
+
//
|
|
158
|
+
// A″: each backend carries the `DispatchExclusionPattern` that rules out EXACTLY
|
|
159
|
+
// it — `provider:model` where the model is knowable, else the coarse `provider`
|
|
160
|
+
// tier for a CLI whose model only arrives at the dispatch handshake. So excluding
|
|
161
|
+
// one new model of a multi-model backend no longer drops that backend's other
|
|
162
|
+
// sources. The pattern is built by the gate beside the key it compared, never
|
|
163
|
+
// re-derived here, so the rule persisted cannot drift from the delta detected.
|
|
164
|
+
const failClosed = input === null ? [...(gate?.newlyReachable ?? [])] : [];
|
|
165
|
+
const exclude = [
|
|
166
|
+
...new Set([
|
|
167
|
+
...(input?.exclude ?? []),
|
|
168
|
+
...failClosed.map((b) => b.exclusion_pattern),
|
|
169
|
+
]),
|
|
170
|
+
];
|
|
171
|
+
const confirmation = confirmProviders(sessionConfig, process.env, exclude, input ?? undefined);
|
|
111
172
|
const artifactsWritten = ["provider_confirmation.json"];
|
|
112
173
|
if (root) {
|
|
113
|
-
// Gate-0 source fold: expand every dispatchable source pool (explicit
|
|
114
|
-
//
|
|
115
|
-
//
|
|
174
|
+
// Gate-0 source fold: expand every dispatchable source pool (the explicit
|
|
175
|
+
// `sources[]`) so the confirmed cost ordering the operator approves is exactly
|
|
176
|
+
// what routes.
|
|
116
177
|
const primaryProviderName = resolveFreshSessionProviderName(undefined, sessionConfig, {
|
|
117
178
|
env: process.env,
|
|
118
179
|
});
|
|
119
180
|
const sources = await gatherDispatchableSources(sessionConfig, primaryProviderName);
|
|
120
|
-
await writeSharedProviderConfirmation(root, buildSharedProviderConfirmation(sessionConfig, process.env,
|
|
181
|
+
await writeSharedProviderConfirmation(root, buildSharedProviderConfirmation(sessionConfig, process.env, exclude, input?.include ?? [], undefined, input ?? undefined, sources));
|
|
121
182
|
artifactsWritten.push("provider-confirmation.json");
|
|
183
|
+
// G3: the shared confirmation — the ONLY artifact dispatch reads, and the gate's
|
|
184
|
+
// CONFIRMED operand — now folds every reachable backend into `provider_pool`. So
|
|
185
|
+
// the delta is empty by construction and the gate must say so: leaving it set
|
|
186
|
+
// re-selects this `PRIORITY[0]` obligation on the very next fold (autonomous →
|
|
187
|
+
// re-promote until `advance` throws; attended → re-prompt a delta that is now a
|
|
188
|
+
// lie). Cleared HERE, inside `if (root)`, because that is exactly where CONFIRMED
|
|
189
|
+
// actually changed.
|
|
190
|
+
if (gate)
|
|
191
|
+
gate.newlyReachable = [];
|
|
192
|
+
}
|
|
193
|
+
// G3 consume-and-INVALIDATE. The input has now been promoted, so it is spent — and
|
|
194
|
+
// leaving it on disk is what would make the gate never fire at all: a LATER delta
|
|
195
|
+
// re-opens this obligation, the CLI finds the old submission still sitting there,
|
|
196
|
+
// routes to this executor instead of emitting the prompt, and folds the
|
|
197
|
+
// newly-reachable backend into the confirmed pool with `excluded: false` — silently
|
|
198
|
+
// dispatching a backend the operator never confirmed, the exact negation of the
|
|
199
|
+
// gate. Unlinking makes a stale submission unable to answer a question it was never
|
|
200
|
+
// asked.
|
|
201
|
+
//
|
|
202
|
+
// Guarded on `root`: without it the shared artifact — the only one dispatch reads —
|
|
203
|
+
// was never written, so the submission has NOT been promoted anywhere durable.
|
|
204
|
+
// Deleting it would destroy the operator's decision unrecoverably.
|
|
205
|
+
if (input && artifactsDir && root) {
|
|
206
|
+
await unlinkProviderConfirmationInput(artifactsDir);
|
|
207
|
+
}
|
|
208
|
+
if (failClosed.length > 0 && artifactsDir) {
|
|
209
|
+
// Loud, not silent: the operator learns (out of band) that autonomy ruled a
|
|
210
|
+
// backend out on their behalf, and can re-include it at the next attended gate.
|
|
211
|
+
// Gate-0 predates any run id, so the facts are discriminated by backend key under
|
|
212
|
+
// a stable synthetic run key — enough for the de-dup this capture needs.
|
|
213
|
+
await captureNewlyReachableBackendFriction(artifactsDir, PROVIDER_CONFIRMATION_FRICTION_RUN_KEY, failClosed.map((b) => b.key), "audit-code");
|
|
122
214
|
}
|
|
123
215
|
return {
|
|
124
216
|
updated: { ...bundle, provider_confirmation: confirmation },
|
|
125
217
|
artifacts_written: artifactsWritten,
|
|
126
|
-
progress_summary: input
|
|
127
|
-
? "Applied operator provider confirmation (cost ordering + host roster)."
|
|
128
|
-
: "Auto-completed provider confirmation gate (headless).",
|
|
218
|
+
progress_summary: renderConfirmationSummary(input, failClosed),
|
|
129
219
|
};
|
|
130
220
|
}
|
|
221
|
+
function renderConfirmationSummary(input, newlyReachable) {
|
|
222
|
+
if (newlyReachable.length > 0) {
|
|
223
|
+
return (`No operator decision covers ${newlyReachable.length} newly-reachable ` +
|
|
224
|
+
`backend(s), so they were fail-closed-excluded rather than dispatched ` +
|
|
225
|
+
`unconfirmed (${newlyReachable.map((b) => b.key).join(", ")}).`);
|
|
226
|
+
}
|
|
227
|
+
return input
|
|
228
|
+
? "Applied operator provider confirmation (cost ordering + host roster)."
|
|
229
|
+
: "Auto-completed provider confirmation gate (headless).";
|
|
230
|
+
}
|
|
131
231
|
export async function runIntakeExecutor(bundle, root, artifactsDir) {
|
|
132
232
|
const ignore = await loadIgnoreFile(root);
|
|
133
233
|
const repoManifest = await buildRepoManifestFromFs({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intakeExecutors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intakeExecutors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EACL,SAAS,EACT,aAAa,EACb,+BAA+B,EAC/B,+BAA+B,EAC/B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,
|
|
1
|
+
{"version":3,"file":"intakeExecutors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/intakeExecutors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EACL,SAAS,EACT,aAAa,EACb,+BAA+B,EAC/B,+BAA+B,EAC/B,6BAA6B,EAC7B,+BAA+B,EAC/B,yBAAyB,EACzB,+BAA+B,EAC/B,oBAAoB,EACpB,wBAAwB,EACxB,oCAAoC,GAIrC,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EACL,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AASzD;;;;;GAKG;AACH,MAAM,sCAAsC,GAAG,uBAAuB,CAAC;AAEvE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,yDAAyD;IACzD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,IAAI,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,OAAO,OAAO,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CACT,kCAAkC,OAAO,uFAAuF,CACjI,CAAC;gBACF,MAAM;YACR,CAAC;YACD,QAAQ,GAAG,OAAO,CAAC;YACnB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1C,IAAI,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,MAAM,SAAS,GAAG,CAAC,CAAC;QACpB,OAAO,OAAO,IAAI,OAAO,KAAK,QAAQ,IAAI,aAAa,GAAG,SAAS,EAAE,CAAC;YACpE,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAC7C,IAAI,WAAW,IAAI,WAAW,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CACT,kEAAkE,OAAO,sDAAsD,CAChI,CAAC;gBACF,MAAM;YACR,CAAC;YACD,0EAA0E;YAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM;YACR,CAAC;YACD,QAAQ,GAAG,OAAO,CAAC;YACnB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;YAC3B,aAAa,EAAE,CAAC;QAClB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACtD,OAAO,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;YACzC,CAAC,CAAE,MAA2B;YAC9B,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,0EAA0E;QAC1E,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,MAAsB,EACtB,IAAa,EACb,YAAqB,EACrB,eAA+B,EAC/B,IAAoC;IAEpC,kFAAkF;IAClF,iFAAiF;IACjF,sFAAsF;IACtF,qEAAqE;IACrE,yFAAyF;IACzF,0FAA0F;IAC1F,wFAAwF;IACxF,yFAAyF;IACzF,sFAAsF;IACtF,8EAA8E;IAC9E,gFAAgF;IAChF,MAAM,aAAa,GACjB,eAAe;QACf,CAAC,YAAY;YACX,CAAC,CAAC,oBAAoB,CAClB,MAAM,iBAAiB,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EACvD,wBAAwB,EAAE,CAC3B;YACH,CAAC,CAAC,EAAE,CAAC,CAAC;IACV,8EAA8E;IAC9E,6EAA6E;IAC7E,gFAAgF;IAChF,MAAM,KAAK,GAAG,YAAY;QACxB,CAAC,CAAC,MAAM,6BAA6B,CAAC,YAAY,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC;IACT,iFAAiF;IACjF,0EAA0E;IAC1E,uEAAuE;IACvE,EAAE;IACF,4EAA4E;IAC5E,gFAAgF;IAChF,4EAA4E;IAC5E,oFAAoF;IACpF,oFAAoF;IACpF,sCAAsC;IACtC,EAAE;IACF,iFAAiF;IACjF,gFAAgF;IAChF,kFAAkF;IAClF,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,UAAU,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,MAAM,OAAO,GAAG;QACd,GAAG,IAAI,GAAG,CAAC;YACT,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC;YACzB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC;SAC9C,CAAC;KACH,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CACnC,aAAa,EACb,OAAO,CAAC,GAAG,EACX,OAAO,EACP,KAAK,IAAI,SAAS,CACnB,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,4BAA4B,CAAC,CAAC;IACxD,IAAI,IAAI,EAAE,CAAC;QACT,0EAA0E;QAC1E,+EAA+E;QAC/E,eAAe;QACf,MAAM,mBAAmB,GAAG,+BAA+B,CAAC,SAAS,EAAE,aAAa,EAAE;YACpF,GAAG,EAAE,OAAO,CAAC,GAAG;SACjB,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,yBAAyB,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC;QACpF,MAAM,+BAA+B,CACnC,IAAI,EACJ,+BAA+B,CAC7B,aAAa,EACb,OAAO,CAAC,GAAG,EACX,OAAO,EACP,KAAK,EAAE,OAAO,IAAI,EAAE,EACpB,SAAS,EACT,KAAK,IAAI,SAAS,EAClB,OAAO,CACR,CACF,CAAC;QACF,gBAAgB,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACpD,iFAAiF;QACjF,iFAAiF;QACjF,8EAA8E;QAC9E,+EAA+E;QAC/E,gFAAgF;QAChF,kFAAkF;QAClF,oBAAoB;QACpB,IAAI,IAAI;YAAE,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;IACrC,CAAC;IACD,mFAAmF;IACnF,kFAAkF;IAClF,kFAAkF;IAClF,wEAAwE;IACxE,oFAAoF;IACpF,gFAAgF;IAChF,oFAAoF;IACpF,SAAS;IACT,EAAE;IACF,oFAAoF;IACpF,+EAA+E;IAC/E,mEAAmE;IACnE,IAAI,KAAK,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;QAClC,MAAM,+BAA+B,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,EAAE,CAAC;QAC1C,4EAA4E;QAC5E,gFAAgF;QAChF,kFAAkF;QAClF,yEAAyE;QACzE,MAAM,oCAAoC,CACxC,YAAY,EACZ,sCAAsC,EACtC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAC5B,YAAY,CACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,qBAAqB,EAAE,YAAY,EAAE;QAC3D,iBAAiB,EAAE,gBAAgB;QACnC,gBAAgB,EAAE,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAuC,EACvC,cAAgD;IAEhD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,CACL,+BAA+B,cAAc,CAAC,MAAM,mBAAmB;YACvE,uEAAuE;YACvE,gBAAgB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAChE,CAAC;IACJ,CAAC;IACD,OAAO,KAAK;QACV,CAAC,CAAC,uEAAuE;QACzE,CAAC,CAAC,uDAAuD,CAAC;AAC9D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,MAAsB,EACtB,IAAY,EACZ,YAAqB;IAErB,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,MAAM,uBAAuB,CAAC;QACjD,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,IAAI;KACjB,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,oBAAoB,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAC7C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAC9C,CAAC,MAAM,CAAC;IAET,IAAI,cAAc,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,mGAAmG,CACvI,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAiB;QACjC,SAAS,EAAE,IAAI;QACf,oBAAoB,EAAE,cAAc;QACpC,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC;QAC9B,gBAAgB,EAAE,oBAAoB,CAAC,IAAI,CAAC;KAC7C,CAAC;IAEF,MAAM,gBAAgB,GAAG,CAAC,oBAAoB,EAAE,uBAAuB,CAAC,CAAC;IAEzE,8EAA8E;IAC9E,4EAA4E;IAC5E,kFAAkF;IAClF,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,oBAAoB,CAAC,EAAE,YAAY,CAAC,CAAC;QAC5E,gBAAgB,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,eAAe,GACnB,gCAAgC,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS;QAClE,IAAI,cAAc,uBAAuB,IAAI,UAAU,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QAClG,CAAC,YAAY,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YACvC,CAAC,CAAC,KAAK,YAAY,CAAC,gBAAgB,CAAC,MAAM,uBAAuB;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC;IAEN,OAAO;QACL,OAAO,EAAE;YACP,GAAG,MAAM;YACT,aAAa,EAAE,YAAY;YAC3B,gBAAgB,EAAE,WAAW;SAC9B;QACD,iBAAiB,EAAE,gBAAgB;QACnC,gBAAgB,EAAE,eAAe;QACjC,aAAa,EAAE,YAAY;KAC5B,CAAC;AACJ,CAAC"}
|