audit-tools 0.34.20 → 0.34.21
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/auditStep.d.ts +1 -0
- package/dist/audit/cli/auditStep.d.ts.map +1 -1
- package/dist/audit/cli/auditStep.js +5 -0
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
- package/dist/audit/cli/nextStepCommand.js +73 -0
- package/dist/audit/cli/nextStepCommand.js.map +1 -1
- package/dist/audit/cli/nextStepHelpers.d.ts +18 -1
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +68 -0
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/steps.d.ts +4 -4
- package/dist/audit/cli/steps.d.ts.map +1 -1
- package/dist/audit/cli/steps.js +1 -0
- package/dist/audit/cli/steps.js.map +1 -1
- package/dist/audit/decompose/buildStructureDecomposition.d.ts +8 -0
- package/dist/audit/decompose/buildStructureDecomposition.d.ts.map +1 -1
- package/dist/audit/decompose/buildStructureDecomposition.js +14 -4
- package/dist/audit/decompose/buildStructureDecomposition.js.map +1 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts +3 -0
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/artifactFreshness.d.ts.map +1 -1
- package/dist/audit/orchestrator/artifactFreshness.js +6 -0
- package/dist/audit/orchestrator/artifactFreshness.js.map +1 -1
- package/dist/audit/orchestrator/artifactMetadata.d.ts.map +1 -1
- package/dist/audit/orchestrator/artifactMetadata.js +50 -10
- package/dist/audit/orchestrator/artifactMetadata.js.map +1 -1
- package/dist/audit/orchestrator/dependencySlices.d.ts +44 -0
- package/dist/audit/orchestrator/dependencySlices.d.ts.map +1 -0
- package/dist/audit/orchestrator/dependencySlices.js +149 -0
- package/dist/audit/orchestrator/dependencySlices.js.map +1 -0
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +6 -0
- package/dist/audit/orchestrator/executorRunners.js.map +1 -1
- package/dist/audit/orchestrator/executors.d.ts.map +1 -1
- package/dist/audit/orchestrator/executors.js +9 -0
- package/dist/audit/orchestrator/executors.js.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts +45 -105
- package/dist/audit/orchestrator/intentCheckpointGate.d.ts.map +1 -1
- package/dist/audit/orchestrator/intentCheckpointGate.js +98 -163
- package/dist/audit/orchestrator/intentCheckpointGate.js.map +1 -1
- package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts +83 -0
- package/dist/audit/orchestrator/intentEquivalenceExecutor.d.ts.map +1 -0
- package/dist/audit/orchestrator/intentEquivalenceExecutor.js +188 -0
- package/dist/audit/orchestrator/intentEquivalenceExecutor.js.map +1 -0
- package/dist/audit/orchestrator/nextStep.d.ts.map +1 -1
- package/dist/audit/orchestrator/nextStep.js +4 -0
- package/dist/audit/orchestrator/nextStep.js.map +1 -1
- package/dist/audit/orchestrator/staleness.d.ts.map +1 -1
- package/dist/audit/orchestrator/staleness.js +39 -3
- package/dist/audit/orchestrator/staleness.js.map +1 -1
- package/dist/audit/orchestrator/state.d.ts.map +1 -1
- package/dist/audit/orchestrator/state.js +22 -0
- package/dist/audit/orchestrator/state.js.map +1 -1
- package/dist/audit/types/artifactMetadata.d.ts +43 -0
- package/dist/audit/types/artifactMetadata.d.ts.map +1 -1
- package/package.json +2 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"artifactMetadata.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/artifactMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAChF,OAAO,EACL,iBAAiB,EACjB,eAAe,GAChB,MAAM,wBAAwB,CAAC;
|
|
1
|
+
{"version":3,"file":"artifactMetadata.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/artifactMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAChF,OAAO,EACL,iBAAiB,EACjB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,+EAA+E;AAC/E,yEAAyE;AACzE,gEAAgE;AAChE,MAAM,yBAAyB,GAAqB,uBAAuB,CAAC;AAI5E,SAAS,2BAA2B,CAClC,aAA+B;IAE/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpC,MAAM,KAAK,GAAG,CAAC,YAAoB,EAAE,EAAE;QACrC,IAAI,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO;QACxC,IAAI,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO;QACxC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAE5B,MAAM,YAAY,GAAG,CAAC,yBAAyB,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;aACjE,MAAM,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;aACtD,IAAI,EAAE,CAAC;QACV,KAAK,MAAM,cAAc,IAAI,YAAY,EAAE,CAAC;YAC1C,KAAK,CAAC,cAAc,CAAC,CAAC;QACxB,CAAC;QAED,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAC/B,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,KAAK,CAAC,YAAY,CAAC,CAAC;IACtB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAsB,EAAE,YAAoB;IAClE,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrD,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED,gFAAgF;AAChF,oEAAoE;AACpE,gFAAgF;AAChF,gFAAgF;AAChF,6EAA6E;AAC7E,MAAM,UAAU,6BAA6B,CAAC,MAAsB;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC1C,IAAI,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;SACvD,IAAI,EAAE,CAAC;IACV,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,QAAmC,EACnC,mBAAqC,EAAE;IAEvC,MAAM,SAAS,GAA0C,EAAE,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC1C,0EAA0E;IAC1E,gFAAgF;IAChF,0EAA0E;IAC1E,0EAA0E;IAC1E,8EAA8E;IAC9E,oEAAoE;IACpE,MAAM,iBAAiB,GACrB,OAAO,QAAQ,EAAE,uBAAuB,KAAK,QAAQ;QACrD,QAAQ,CAAC,uBAAuB,IAAI,uBAAuB,CAAC;IAC9D,MAAM,cAAc,GAAG,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,gBAAgB,GAAG,CAAC,GAAG,iBAAiB,CAAC,CAAC,MAAM,CACpD,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,KAAK,wBAAwB;QACzC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAChC,CAAC;IACF,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,gBAAgB,CAAC,CAAC;IAEvE,4EAA4E;IAC5E,8EAA8E;IAC9E,+EAA+E;IAC/E,8EAA8E;IAC9E,0EAA0E;IAC1E,8EAA8E;IAC9E,qEAAqE;IACrE,8EAA8E;IAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAChD,MAAM,eAAe,GACnB,OAAO,cAAc,EAAE,uBAAuB,KAAK,QAAQ;QAC3D,cAAc,CAAC,uBAAuB,IAAI,uBAAuB,CAAC;IACpE,MAAM,qBAAqB,GACzB,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,cAAc,EAAE,eAAe,CAAC;IAClC,MAAM,uBAAuB,GAC3B,qBAAqB;QACrB,qBAAqB,CAAC,YAAY,KAAK,kBAAkB,EAAE;QACzD,CAAC,CAAC,qBAAqB,CAAC,QAAQ;QAChC,CAAC,CAAC,SAAS,CAAC;IAEhB,KAAK,MAAM,YAAY,IAAI,gBAAgB,EAAE,CAAC;QAC5C,IAAI,YAAY,KAAK,wBAAwB;YAAE,SAAS;QACxD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAEpD,MAAM,aAAa,GAAG,cAAc,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC3D,uEAAuE;QACvE,uEAAuE;QACvE,yEAAyE;QACzE,4EAA4E;QAC5E,oEAAoE;QACpE,2EAA2E;QAC3E,qEAAqE;QACrE,wEAAwE;QACxE,6CAA6C;QAC7C,IAAI,aAAa,IAAI,CAAC,SAAS,IAAI,aAAa,CAAC,YAAY,KAAK,WAAW,EAAE,CAAC;YAC9E,SAAS,CAAC,YAAY,CAAC,GAAG,aAAa,CAAC;YACxC,SAAS;QACX,CAAC;QACD,0EAA0E;QAC1E,4EAA4E;QAC5E,yEAAyE;QACzE,wEAAwE;QACxE,uEAAuE;QACvE,uEAAuE;QACvE,wEAAwE;QACxE,0EAA0E;QAC1E,kDAAkD;QAClD,MAAM,eAAe,GAAG,CAAC,yBAAyB,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;aACpE,MAAM,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,wBAAwB,CAAC;aACvE,IAAI,EAAE,CAAC;QACV,MAAM,mBAAmB,GACvB,CAAC,SAAS,IAAI,aAAa;YACzB,CAAC,CAAC,aAAa,CAAC,oBAAoB;YACpC,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,eAAe,CAAC,GAAG,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC;gBACtC,cAAc;gBACd,SAAS,CAAC,cAAc,CAAC,EAAE,QAAQ;oBACjC,cAAc,EAAE,SAAS,CAAC,cAAc,CAAC,EAAE,QAAQ;oBACnD,CAAC;aACJ,CAAC,CACH,CAAC;QACR,4EAA4E;QAC5E,6EAA6E;QAC7E,qEAAqE;QACrE,yDAAyD;QACzD,MAAM,gBAAgB,GACpB,CAAC,SAAS,IAAI,aAAa;YACzB,CAAC,CAAC,aAAa,CAAC,iBAAiB;YACjC,CAAC,CAAC,qBAAqB,CAAC,YAAY,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;QAEnE,MAAM,WAAW,GAAG,aAAa,EAAE,YAAY,KAAK,WAAW,CAAC;QAChE,MAAM,gBAAgB,GACpB,aAAa;YACb,eAAe,CAAC,aAAa,CAAC,oBAAoB,CAAC;gBACjD,eAAe,CAAC,mBAAmB,CAAC,CAAC;QACzC,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,4EAA4E;QAC5E,4EAA4E;QAC5E,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,QAAQ,GACZ,YAAY,KAAK,wBAAwB;YACzC,uBAAuB,KAAK,SAAS;YACnC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,EAAE,aAAa,EAAE,QAAQ,IAAI,CAAC,CAAC;YACjE,CAAC,CAAC,WAAW,IAAI,gBAAgB;gBAC/B,CAAC,CAAC,aAAa,CAAC,QAAQ;gBACxB,CAAC,CAAC,CAAC,aAAa,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAE3C,SAAS,CAAC,YAAY,CAAC,GAAG;YACxB,QAAQ;YACR,YAAY,EAAE,WAAW;YACzB,oBAAoB,EAAE,mBAAmB;YACzC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAA6B;QACzC,uBAAuB,EAAE,uBAAuB;QAChD,SAAS;KACV,CAAC;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,gBAAgB,GACpB,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,cAAc,EAAE,gBAAgB,CAAC;IACnC,IAAI,gBAAgB,EAAE,CAAC;QACrB,QAAQ,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;IAC/C,CAAC;IACD,+EAA+E;IAC/E,+EAA+E;IAC/E,4EAA4E;IAC5E,sEAAsE;IACtE,MAAM,wBAAwB,GAC5B,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,0BAA0B,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,cAAc,EAAE,0BAA0B,CAAC;IAC7C,IAAI,wBAAwB,EAAE,CAAC;QAC7B,QAAQ,CAAC,0BAA0B,GAAG,wBAAwB,CAAC;IACjE,CAAC;IACD,2EAA2E;IAC3E,+EAA+E;IAC/E,4EAA4E;IAC5E,6EAA6E;IAC7E,uCAAuC;IACvC,MAAM,yBAAyB,GAC7B,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,cAAc,EAAE,oBAAoB,CAAC;IACvC,IAAI,yBAAyB,EAAE,CAAC;QAC9B,QAAQ,CAAC,oBAAoB,GAAG,yBAAyB,CAAC;IAC5D,CAAC;IACD,2EAA2E;IAC3E,0EAA0E;IAC1E,kEAAkE;IAClE,IAAI,qBAAqB,EAAE,CAAC;QAC1B,QAAQ,CAAC,eAAe,GAAG,qBAAqB,CAAC;IACnD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
2
|
+
type SliceProjection = (bundle: ArtifactBundle) => unknown;
|
|
3
|
+
/**
|
|
4
|
+
* Sentinel slice hash for a projection that THREW (malformed upstream shape).
|
|
5
|
+
* Never equal to a recorded sha256, so a compare against it reads as
|
|
6
|
+
* slice-changed → stale (fail-safe). The stamping path skips recording it so
|
|
7
|
+
* the edge falls back to the whole-hash compare instead of pinning an error
|
|
8
|
+
* marker.
|
|
9
|
+
*/
|
|
10
|
+
export declare const SLICE_PROJECTION_ERROR = "slice-projection-error";
|
|
11
|
+
/**
|
|
12
|
+
* The edge registry: `downstream → upstream → projection`. ONLY
|
|
13
|
+
* `charter_register.json` (the expensive extraction step, the live incident
|
|
14
|
+
* driver) is registered:
|
|
15
|
+
*
|
|
16
|
+
* - `charter_clarification` / `systemic_challenge` keep their whole-artifact
|
|
17
|
+
* `repo_manifest` edges — HEAD trace shows `systemic_challenge` consumes the
|
|
18
|
+
* total file count and grounds findings against the COMPLETE path set
|
|
19
|
+
* (aggregateMetricsDigest / designFindingGrounding), so a member slice is
|
|
20
|
+
* directly refuted there, and clarification's consumption is unverified.
|
|
21
|
+
* Residual: they still over-stale on unrelated manifest churn (cheap steps;
|
|
22
|
+
* revisit with a verified consumption trace).
|
|
23
|
+
* - `intent_checkpoint.json` edges are handled by the intent-equivalence gate
|
|
24
|
+
* (revision authority via `intent_baseline`), NOT by a slice projection.
|
|
25
|
+
*/
|
|
26
|
+
export declare const DEPENDENCY_SLICE_PROJECTIONS: Partial<Record<string, Partial<Record<string, SliceProjection>>>>;
|
|
27
|
+
/** True when a slice projection is registered for the (downstream, upstream) edge. */
|
|
28
|
+
export declare function hasDependencySliceProjection(downstream: string, upstream: string): boolean;
|
|
29
|
+
/**
|
|
30
|
+
* The current slice hash for a registered edge, `undefined` when no projection
|
|
31
|
+
* is registered, `SLICE_PROJECTION_ERROR` when the projection threw (compare
|
|
32
|
+
* sites read that as slice-changed; the stamping site skips recording it).
|
|
33
|
+
*/
|
|
34
|
+
export declare function computeDependencySliceHash(downstream: string, upstream: string, bundle: ArtifactBundle): string | undefined;
|
|
35
|
+
/**
|
|
36
|
+
* Build the `dependency_slices` record to stamp on a LISTED re-derivation of
|
|
37
|
+
* `downstream`: one entry per registered edge whose projection succeeded.
|
|
38
|
+
* Returns `undefined` when nothing is recordable (no registered edges, or every
|
|
39
|
+
* projection errored) so entries without projections stay shape-identical to
|
|
40
|
+
* today's.
|
|
41
|
+
*/
|
|
42
|
+
export declare function buildDependencySlices(downstream: string, dependencyNames: readonly string[], bundle: ArtifactBundle): Record<string, string> | undefined;
|
|
43
|
+
export {};
|
|
44
|
+
//# sourceMappingURL=dependencySlices.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"dependencySlices.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencySlices.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAIzD,KAAK,eAAe,GAAG,CAAC,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC;AAE3D;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAmD/D;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,4BAA4B,EAAE,OAAO,CAChD,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAMzD,CAAC;AAEF,sFAAsF;AACtF,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAET;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,cAAc,GACrB,MAAM,GAAG,SAAS,CAUpB;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,MAAM,EAAE,cAAc,GACrB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CASpC"}
|
|
@@ -0,0 +1,149 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Per-EDGE semantic-slice projections for the staleness DAG (the charter
|
|
3
|
+
* phantom-staleness fix, re-dogfood 2026-07-22 #6).
|
|
4
|
+
*
|
|
5
|
+
* The whole-artifact dependency compare keys staleness on the upstream's full
|
|
6
|
+
* content hash — so an upstream change in a region the downstream never reads
|
|
7
|
+
* still re-stales it (live-observed: charter re-extraction re-fired over a
|
|
8
|
+
* byte-identical subsystem set because unrelated `repo_manifest` file hashes
|
|
9
|
+
* moved). A registered projection narrows the compared surface to the slice the
|
|
10
|
+
* downstream actually consumes: the edge is stale iff the SLICE hash moved.
|
|
11
|
+
*
|
|
12
|
+
* SLICE-DIRECTION INVARIANT: a projection must be a SUPERSET of what the
|
|
13
|
+
* consuming path reads — narrower under-stales (the dangerous direction: a real
|
|
14
|
+
* change that never re-fires). `charter_register.json` has TWO producers and
|
|
15
|
+
* the slices cover the union of their verified consumption:
|
|
16
|
+
* charterExtractionExecutor / charterExtractionPrompt read
|
|
17
|
+
* `consensus[*].{node_id, members}` + member/doc file content (via
|
|
18
|
+
* `repo_manifest.files[].hash`), and charterDeltaExecutor grounds submitted
|
|
19
|
+
* findings against the COMPLETE `files[].path` set (`groundDesignFindings`).
|
|
20
|
+
* WIDEN the projection in the same commit as any producer change that consumes
|
|
21
|
+
* more — the contract test pins the current slice content.
|
|
22
|
+
*
|
|
23
|
+
* Projections take the WHOLE bundle (not just the upstream) because a slice can
|
|
24
|
+
* be cross-artifact: the member-file slice of `repo_manifest` needs the
|
|
25
|
+
* consensus membership from `structure_decomposition` to know which files
|
|
26
|
+
* matter. A membership change therefore moves the slice on BOTH edges — the
|
|
27
|
+
* over-fire direction, which is safe.
|
|
28
|
+
*/
|
|
29
|
+
import { createHash } from "node:crypto";
|
|
30
|
+
import { stableStringify } from "./artifactFreshness.js";
|
|
31
|
+
import { isDocIntentFile } from "../decompose/buildStructureDecomposition.js";
|
|
32
|
+
/**
|
|
33
|
+
* Sentinel slice hash for a projection that THREW (malformed upstream shape).
|
|
34
|
+
* Never equal to a recorded sha256, so a compare against it reads as
|
|
35
|
+
* slice-changed → stale (fail-safe). The stamping path skips recording it so
|
|
36
|
+
* the edge falls back to the whole-hash compare instead of pinning an error
|
|
37
|
+
* marker.
|
|
38
|
+
*/
|
|
39
|
+
export const SLICE_PROJECTION_ERROR = "slice-projection-error";
|
|
40
|
+
/** `consensus[*].{node_id, members}` — the membership scaffold charters ground on. */
|
|
41
|
+
function consensusMembershipSlice(bundle) {
|
|
42
|
+
return (bundle.structure_decomposition?.consensus ?? [])
|
|
43
|
+
.map((node) => ({
|
|
44
|
+
node_id: node.node_id,
|
|
45
|
+
members: [...node.members].sort(),
|
|
46
|
+
}))
|
|
47
|
+
.sort((a, b) => a.node_id.localeCompare(b.node_id));
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* The `repo_manifest` surface the charter_register producers consume:
|
|
51
|
+
*
|
|
52
|
+
* - `files`: `{path → content proxy}` restricted to consensus MEMBER paths
|
|
53
|
+
* (the Revealed pass reads member code) PLUS every doc-intent path per the
|
|
54
|
+
* pipeline's single doc predicate (`isDocIntentFile` — the Stated pass is
|
|
55
|
+
* explicitly instructed to read docs/specs/READMEs, which are never
|
|
56
|
+
* consensus members; a `doc_only`-only set under-covered `.rst`/`.txt`/
|
|
57
|
+
* `.adoc` docs outside `docs/`). The content proxy is the manifest hash,
|
|
58
|
+
* falling back to a size marker for oversized files the intake leaves
|
|
59
|
+
* unhashed (>1 MiB carries only `size_bytes`; `hash ?? ""` erased a real
|
|
60
|
+
* change signal).
|
|
61
|
+
* - `paths`: the COMPLETE sorted path list, content-free. The register's
|
|
62
|
+
* SECOND producer — the delta executor — grounds submitted findings against
|
|
63
|
+
* the full path set (`groundDesignFindings`: exact-path membership +
|
|
64
|
+
* basename-unique resolution), so an add/delete/rename anywhere changes what
|
|
65
|
+
* a re-derive would produce even when member∪doc content is untouched.
|
|
66
|
+
* Paths-only keeps the phantom-staleness win: pure hash churn on an
|
|
67
|
+
* unchanged path set (the live incident) still never fires this edge.
|
|
68
|
+
*/
|
|
69
|
+
function charterReadFileSlice(bundle) {
|
|
70
|
+
const relevant = new Set();
|
|
71
|
+
for (const node of bundle.structure_decomposition?.consensus ?? []) {
|
|
72
|
+
for (const member of node.members)
|
|
73
|
+
relevant.add(member);
|
|
74
|
+
}
|
|
75
|
+
for (const file of bundle.file_disposition?.files ?? []) {
|
|
76
|
+
if (isDocIntentFile(file.path, file.status))
|
|
77
|
+
relevant.add(file.path);
|
|
78
|
+
}
|
|
79
|
+
const files = {};
|
|
80
|
+
const paths = [];
|
|
81
|
+
for (const file of bundle.repo_manifest?.files ?? []) {
|
|
82
|
+
paths.push(file.path);
|
|
83
|
+
if (relevant.has(file.path)) {
|
|
84
|
+
files[file.path] = file.hash ?? `size:${file.size_bytes}`;
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
return { files, paths: paths.sort() };
|
|
88
|
+
}
|
|
89
|
+
/**
|
|
90
|
+
* The edge registry: `downstream → upstream → projection`. ONLY
|
|
91
|
+
* `charter_register.json` (the expensive extraction step, the live incident
|
|
92
|
+
* driver) is registered:
|
|
93
|
+
*
|
|
94
|
+
* - `charter_clarification` / `systemic_challenge` keep their whole-artifact
|
|
95
|
+
* `repo_manifest` edges — HEAD trace shows `systemic_challenge` consumes the
|
|
96
|
+
* total file count and grounds findings against the COMPLETE path set
|
|
97
|
+
* (aggregateMetricsDigest / designFindingGrounding), so a member slice is
|
|
98
|
+
* directly refuted there, and clarification's consumption is unverified.
|
|
99
|
+
* Residual: they still over-stale on unrelated manifest churn (cheap steps;
|
|
100
|
+
* revisit with a verified consumption trace).
|
|
101
|
+
* - `intent_checkpoint.json` edges are handled by the intent-equivalence gate
|
|
102
|
+
* (revision authority via `intent_baseline`), NOT by a slice projection.
|
|
103
|
+
*/
|
|
104
|
+
export const DEPENDENCY_SLICE_PROJECTIONS = {
|
|
105
|
+
"charter_register.json": {
|
|
106
|
+
"structure_decomposition.json": consensusMembershipSlice,
|
|
107
|
+
"repo_manifest.json": charterReadFileSlice,
|
|
108
|
+
},
|
|
109
|
+
};
|
|
110
|
+
/** True when a slice projection is registered for the (downstream, upstream) edge. */
|
|
111
|
+
export function hasDependencySliceProjection(downstream, upstream) {
|
|
112
|
+
return Boolean(DEPENDENCY_SLICE_PROJECTIONS[downstream]?.[upstream]);
|
|
113
|
+
}
|
|
114
|
+
/**
|
|
115
|
+
* The current slice hash for a registered edge, `undefined` when no projection
|
|
116
|
+
* is registered, `SLICE_PROJECTION_ERROR` when the projection threw (compare
|
|
117
|
+
* sites read that as slice-changed; the stamping site skips recording it).
|
|
118
|
+
*/
|
|
119
|
+
export function computeDependencySliceHash(downstream, upstream, bundle) {
|
|
120
|
+
const projection = DEPENDENCY_SLICE_PROJECTIONS[downstream]?.[upstream];
|
|
121
|
+
if (!projection)
|
|
122
|
+
return undefined;
|
|
123
|
+
try {
|
|
124
|
+
return createHash("sha256")
|
|
125
|
+
.update(stableStringify(projection(bundle)))
|
|
126
|
+
.digest("hex");
|
|
127
|
+
}
|
|
128
|
+
catch {
|
|
129
|
+
return SLICE_PROJECTION_ERROR;
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
/**
|
|
133
|
+
* Build the `dependency_slices` record to stamp on a LISTED re-derivation of
|
|
134
|
+
* `downstream`: one entry per registered edge whose projection succeeded.
|
|
135
|
+
* Returns `undefined` when nothing is recordable (no registered edges, or every
|
|
136
|
+
* projection errored) so entries without projections stay shape-identical to
|
|
137
|
+
* today's.
|
|
138
|
+
*/
|
|
139
|
+
export function buildDependencySlices(downstream, dependencyNames, bundle) {
|
|
140
|
+
const slices = {};
|
|
141
|
+
for (const upstream of dependencyNames) {
|
|
142
|
+
const hash = computeDependencySliceHash(downstream, upstream, bundle);
|
|
143
|
+
if (hash !== undefined && hash !== SLICE_PROJECTION_ERROR) {
|
|
144
|
+
slices[upstream] = hash;
|
|
145
|
+
}
|
|
146
|
+
}
|
|
147
|
+
return Object.keys(slices).length > 0 ? slices : undefined;
|
|
148
|
+
}
|
|
149
|
+
//# sourceMappingURL=dependencySlices.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"dependencySlices.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/dependencySlices.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,6CAA6C,CAAC;AAI9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,sFAAsF;AACtF,SAAS,wBAAwB,CAAC,MAAsB;IACtD,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,SAAS,IAAI,EAAE,CAAC;SACrD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;KAClC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,oBAAoB,CAAC,MAAsB;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,uBAAuB,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;QACnE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACxD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAErC;IACF,uBAAuB,EAAE;QACvB,8BAA8B,EAAE,wBAAwB;QACxD,oBAAoB,EAAE,oBAAoB;KAC3C;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,4BAA4B,CAC1C,UAAkB,EAClB,QAAgB;IAEhB,OAAO,OAAO,CAAC,4BAA4B,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAgB,EAChB,MAAsB;IAEtB,MAAM,UAAU,GAAG,4BAA4B,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACxE,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,QAAQ,CAAC;aACxB,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;aAC3C,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,sBAAsB,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAkB,EAClB,eAAkC,EAClC,MAAsB;IAEtB,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,0BAA0B,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC1D,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC"}
|
|
@@ -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;
|
|
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;AAiClE;;;;;;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,CAwJhE,CAAC"}
|
|
@@ -2,6 +2,7 @@ import { auditArtifactsDir } from "audit-tools/shared";
|
|
|
2
2
|
import { decideAuditFrictionCloseout } from "./nextStep.js";
|
|
3
3
|
import { runIntakeExecutor, runProviderConfirmationAutoComplete } from "./intakeExecutors.js";
|
|
4
4
|
import { runIntentCheckpointAutoComplete } from "./intentCheckpointExecutor.js";
|
|
5
|
+
import { runIntentEquivalenceResolve } from "./intentEquivalenceExecutor.js";
|
|
5
6
|
import { runStructureExecutor, runDesignAssessmentExecutor, runStructureDecompositionExecutor, runDesignReviewAutoComplete, } from "./structureExecutors.js";
|
|
6
7
|
import { runPlanningExecutor } from "./planningExecutors.js";
|
|
7
8
|
import { runResultIngestionExecutor, runRuntimeValidationExecutor, runRuntimeValidationUpdateExecutor, runExternalAnalyzerImportExecutor, } from "./ingestionExecutors.js";
|
|
@@ -51,6 +52,11 @@ export const EXECUTOR_RUNNERS = {
|
|
|
51
52
|
options.providerConfirmationGate),
|
|
52
53
|
intake_executor: async (bundle, { options }) => runIntakeExecutor(bundle, requireRoot(options.root, "intake_executor"), options.artifactsDir),
|
|
53
54
|
intent_checkpoint_executor: async (bundle, { options }) => runIntentCheckpointAutoComplete(bundle, requireRoot(options.root, "intent_checkpoint_executor"), options.since),
|
|
55
|
+
// DD-9: with a consumed judge verdict → commit it; verdict-less, every arm
|
|
56
|
+
// resolves deterministically (prose-pending → CHANGED, only reachable
|
|
57
|
+
// verdict-less in the pure-headless drain — the conversation flow emits the
|
|
58
|
+
// judge step instead of routing here).
|
|
59
|
+
intent_equivalence_executor: async (bundle, { options }) => runIntentEquivalenceResolve(bundle, options.intentEquivalenceVerdict),
|
|
54
60
|
// root is intentionally optional: present → buildGraphBundleFromFs, absent →
|
|
55
61
|
// manifest-only buildGraphBundle.
|
|
56
62
|
external_analyzer_acquisition_executor: async (bundle, { options }) => runExternalAnalyzerAcquisitionExecutor(bundle, options.root, options.externalAcquisition),
|
|
@@ -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,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
|
+
{"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,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,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,2EAA2E;IAC3E,sEAAsE;IACtE,4EAA4E;IAC5E,uCAAuC;IACvC,2BAA2B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACzD,2BAA2B,CAAC,MAAM,EAAE,OAAO,CAAC,wBAAwB,CAAC;IACvE,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 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAAC;IAC1C,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAG5D;AAED,eAAO,MAAM,iBAAiB,EAAE,kBAAkB,
|
|
1
|
+
{"version":3,"file":"executors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAAC;IAC1C,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAG5D;AAED,eAAO,MAAM,iBAAiB,EAAE,kBAAkB,EAgLjD,CAAC"}
|
|
@@ -23,6 +23,15 @@ export const EXECUTOR_REGISTRY = [
|
|
|
23
23
|
kind: "host_delegation",
|
|
24
24
|
obligation_ids: ["intent_checkpoint_current"],
|
|
25
25
|
},
|
|
26
|
+
{
|
|
27
|
+
// DD-9 intent-equivalence gate. host_delegation: a prose-only delta emits
|
|
28
|
+
// the bounded judge step; every other arm (baseline stamp, gate-version
|
|
29
|
+
// stale, structured delta) resolves deterministically via the runner —
|
|
30
|
+
// mirroring charter_extraction's emit-vs-run gating in nextStepHelpers.
|
|
31
|
+
id: "intent_equivalence_executor",
|
|
32
|
+
kind: "host_delegation",
|
|
33
|
+
obligation_ids: ["intent_equivalence_current"],
|
|
34
|
+
},
|
|
26
35
|
{
|
|
27
36
|
id: "external_analyzer_acquisition_executor",
|
|
28
37
|
kind: "deterministic",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAU;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,OAAO,KAAK,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAyB;IACrD;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;KACtD;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,2BAA2B,CAAC;KAC9C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,qBAAqB,CAAC;KACxC;IACD;QACE,wEAAwE;QACxE,+EAA+E;QAC/E,8EAA8E;QAC9E,wEAAwE;QACxE,gFAAgF;QAChF,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,gCAAgC,CAAC;KACnD;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;KAC7C;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,2BAA2B,CAAC;KAC9C;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iCAAiC,CAAC;KACpD;IACD;QACE,8EAA8E;QAC9E,+EAA+E;QAC/E,4EAA4E;QAC5E,kCAAkC;QAClC,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,4EAA4E;QAC5E,6EAA6E;QAC7E,6EAA6E;QAC7E,8EAA8E;QAC9E,8CAA8C;QAC9C,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,kCAAkC,CAAC;KACrD;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,oCAAoC,CAAC;KACvD;IACD;QACE,0EAA0E;QAC1E,yEAAyE;QACzE,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,+BAA+B,CAAC;KAClD;IACD;QACE,6EAA6E;QAC7E,wEAAwE;QACxE,0EAA0E;QAC1E,+EAA+E;QAC/E,sDAAsD;QACtD,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;KACvC;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,wBAAwB,CAAC;KAC3C;IACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,mBAAmB,CAAC;KACtC;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,6BAA6B,CAAC;KAChD;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;KACvC;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iBAAiB,CAAC;KACpC;IACD;QACE,2EAA2E;QAC3E,8EAA8E;QAC9E,kFAAkF;QAClF,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;KAC7C;CACF,CAAC"}
|
|
1
|
+
{"version":3,"file":"executors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAU;IACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,OAAO,KAAK,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAyB;IACrD;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;KACtD;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,2BAA2B,CAAC;KAC9C;IACD;QACE,0EAA0E;QAC1E,wEAAwE;QACxE,uEAAuE;QACvE,wEAAwE;QACxE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,qBAAqB,CAAC;KACxC;IACD;QACE,wEAAwE;QACxE,+EAA+E;QAC/E,8EAA8E;QAC9E,wEAAwE;QACxE,gFAAgF;QAChF,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,gCAAgC,CAAC;KACnD;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;KAC7C;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,2BAA2B,CAAC;KAC9C;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iCAAiC,CAAC;KACpD;IACD;QACE,8EAA8E;QAC9E,+EAA+E;QAC/E,4EAA4E;QAC5E,kCAAkC;QAClC,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,4EAA4E;QAC5E,6EAA6E;QAC7E,6EAA6E;QAC7E,8EAA8E;QAC9E,8CAA8C;QAC9C,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,kCAAkC,CAAC;KACrD;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,oCAAoC,CAAC;KACvD;IACD;QACE,0EAA0E;QAC1E,yEAAyE;QACzE,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,+BAA+B,CAAC;KAClD;IACD;QACE,6EAA6E;QAC7E,wEAAwE;QACxE,0EAA0E;QAC1E,+EAA+E;QAC/E,sDAAsD;QACtD,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;KACvC;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,wBAAwB,CAAC;KAC3C;IACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;KAC/C;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,mBAAmB,CAAC;KACtC;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,6BAA6B,CAAC;KAChD;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;KACvC;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iBAAiB,CAAC;KACpC;IACD;QACE,2EAA2E;QAC3E,8EAA8E;QAC9E,kFAAkF;QAClF,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,EAAE;KACnB;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;KAC1C;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;KAC7C;CACF,CAAC"}
|
|
@@ -1,129 +1,69 @@
|
|
|
1
1
|
import type { IntentCheckpoint } from 'audit-tools/shared';
|
|
2
|
-
/** A gate verdict over a (prior, new) intent_checkpoint pair. */
|
|
3
|
-
export type IntentCheckpointVerdict = 'unchanged' | 'changed';
|
|
4
|
-
/**
|
|
5
|
-
* The bounded LLM judge. Returns `true` iff the two normalized intent values are
|
|
6
|
-
* semantically EQUIVALENT. A judge that is uncertain, errors, or returns a
|
|
7
|
-
* non-boolean is treated as `changed` by the caller (fail-safe) — the judge
|
|
8
|
-
* itself need not encode that policy. Provider-agnostic: the host supplies the
|
|
9
|
-
* actual LLM call; the gate never reaches for a specific backend.
|
|
10
|
-
*/
|
|
11
|
-
export type SemanticEquivalenceJudge = (input: {
|
|
12
|
-
priorNormalized: string;
|
|
13
|
-
newNormalized: string;
|
|
14
|
-
}) => Promise<boolean> | boolean;
|
|
15
2
|
/**
|
|
16
3
|
* Deterministic normalization config. Bumping any field bumps `gate_version` and
|
|
17
|
-
* invalidates
|
|
18
|
-
* captures the active policy, not the module's source text.
|
|
4
|
+
* invalidates the persisted baseline. Kept as data (not code) so the version
|
|
5
|
+
* hash captures the active policy, not the module's source text.
|
|
19
6
|
*/
|
|
20
7
|
export interface NormalizeConfig {
|
|
21
8
|
/** Schema/recipe version of the normalization itself. Bump on any change. */
|
|
22
9
|
readonly version: string;
|
|
23
10
|
/**
|
|
24
|
-
*
|
|
25
|
-
*
|
|
26
|
-
|
|
11
|
+
* Fields whose delta is DETERMINISTICALLY `changed` — never LLM-judged.
|
|
12
|
+
* Everything semantic except the free-prose summaries.
|
|
13
|
+
*/
|
|
14
|
+
readonly structuredFields: readonly (keyof IntentCheckpoint)[];
|
|
15
|
+
/**
|
|
16
|
+
* Free-prose fields whose delta (with structured equal) is arbitrated by the
|
|
17
|
+
* bounded host judge.
|
|
27
18
|
*/
|
|
28
|
-
readonly
|
|
19
|
+
readonly proseFields: readonly (keyof IntentCheckpoint)[];
|
|
29
20
|
}
|
|
30
|
-
/**
|
|
21
|
+
/**
|
|
22
|
+
* The single active normalization config (INV-O2-inv-5 input). The two lists
|
|
23
|
+
* together cover every `IntentCheckpoint` field except the provenance pair
|
|
24
|
+
* (`confirmed_at`, `confirmed_by`) — which `NON_SEMANTIC_FIELDS_BY_ARTIFACT`
|
|
25
|
+
* also strips from the canonical content hash. `schema_version` is deliberately
|
|
26
|
+
* STRUCTURED (a schema migration is a semantic reinterpretation, not
|
|
27
|
+
* provenance).
|
|
28
|
+
*/
|
|
31
29
|
export declare const DEFAULT_NORMALIZE_CONFIG: NormalizeConfig;
|
|
32
30
|
/** Static prompt-template version — bump on any judge-prompt change. */
|
|
33
31
|
export declare const INTENT_GATE_PROMPT_TEMPLATE_VERSION = "intent-checkpoint-judge-prompt/v1";
|
|
34
32
|
/**
|
|
35
|
-
*
|
|
36
|
-
*
|
|
37
|
-
*
|
|
38
|
-
* checkpoint normalizes to a stable empty marker so present-vs-absent is a real
|
|
39
|
-
* difference, not a crash.
|
|
33
|
+
* The locally-resolved judge id (conversation-first: the host agent is always
|
|
34
|
+
* the judge). A constant so every `gate_version` component is derivable at
|
|
35
|
+
* compare time with no probe.
|
|
40
36
|
*/
|
|
41
|
-
export declare
|
|
37
|
+
export declare const HOST_JUDGE_ID = "host";
|
|
38
|
+
/** The two semantic normal forms of one checkpoint value. */
|
|
39
|
+
export interface CheckpointNormalForms {
|
|
40
|
+
structured: string;
|
|
41
|
+
prose: string;
|
|
42
|
+
}
|
|
42
43
|
/**
|
|
43
|
-
*
|
|
44
|
-
*
|
|
45
|
-
*
|
|
46
|
-
* NO network/API probe (INV-O2-inv-6): the judge id is a caller-supplied LOCAL
|
|
47
|
-
* token (e.g. a configured model id string already known to the host, or a
|
|
48
|
-
* sentinel like `'host'`), never a live capability query. Bumping the normalize
|
|
49
|
-
* config, the judge id, or the prompt template deterministically invalidates the
|
|
50
|
-
* verdict cache.
|
|
44
|
+
* Deterministically normalize an intent_checkpoint value to its two semantic
|
|
45
|
+
* normal forms. An absent checkpoint normalizes to a stable empty marker so
|
|
46
|
+
* present-vs-absent is a real difference, not a crash.
|
|
51
47
|
*/
|
|
52
|
-
export declare function
|
|
53
|
-
normalizeConfig?: NormalizeConfig;
|
|
54
|
-
/** Locally-resolved judge id token. No probe; supplied by the host. */
|
|
55
|
-
judgeId: string;
|
|
56
|
-
promptTemplateVersion?: string;
|
|
57
|
-
}): string;
|
|
58
|
-
/** A cached verdict keyed on (priorNormalized, newNormalized, gate_version). */
|
|
59
|
-
export interface VerdictCache {
|
|
60
|
-
get(key: string): IntentCheckpointVerdict | undefined;
|
|
61
|
-
set(key: string, verdict: IntentCheckpointVerdict): void;
|
|
62
|
-
}
|
|
63
|
-
/** Build the deterministic verdict-cache key from the version-keyed trio. */
|
|
64
|
-
export declare function verdictCacheKey(priorNormalized: string, newNormalized: string, gateVersion: string): string;
|
|
48
|
+
export declare function normalizeCheckpointForms(checkpoint: IntentCheckpoint | undefined, config?: NormalizeConfig): CheckpointNormalForms;
|
|
65
49
|
/**
|
|
66
|
-
*
|
|
67
|
-
*
|
|
68
|
-
*
|
|
69
|
-
*
|
|
70
|
-
*
|
|
71
|
-
*
|
|
72
|
-
*
|
|
73
|
-
* Pure decision: holds no lock and does no artifact IO. The lock-interleave
|
|
74
|
-
* discipline lives in `runIntentCheckpointGate`.
|
|
50
|
+
* Compute the LOCALLY-resolved `gate_version` token:
|
|
51
|
+
* `hash(normalizeConfig) + judge-id token + prompt-template version`.
|
|
52
|
+
* NO network/API probe (INV-O2-inv-6). Bumping the normalize config, the judge
|
|
53
|
+
* id, or the prompt template deterministically invalidates the persisted
|
|
54
|
+
* baseline (the executor resolves the mismatch as `changed` — over-stale, the
|
|
55
|
+
* safe direction).
|
|
75
56
|
*/
|
|
76
|
-
export declare function
|
|
77
|
-
prior: IntentCheckpoint | undefined;
|
|
78
|
-
next: IntentCheckpoint | undefined;
|
|
79
|
-
judge: SemanticEquivalenceJudge;
|
|
80
|
-
judgeId: string;
|
|
57
|
+
export declare function computeGateVersion(input?: {
|
|
81
58
|
normalizeConfig?: NormalizeConfig;
|
|
59
|
+
/** Locally-resolved judge id token. Defaults to the conversation-first constant. */
|
|
60
|
+
judgeId?: string;
|
|
82
61
|
promptTemplateVersion?: string;
|
|
83
|
-
|
|
84
|
-
}): Promise<{
|
|
85
|
-
verdict: IntentCheckpointVerdict;
|
|
86
|
-
gateVersion: string;
|
|
87
|
-
judged: boolean;
|
|
88
|
-
}>;
|
|
89
|
-
/**
|
|
90
|
-
* A monotonic ledger/version token capturing the artifact-tree state at read.
|
|
91
|
-
* Any interleaved append moves it; comparing the read-time token to the
|
|
92
|
-
* post-judge token detects an interleave that must force a re-derive.
|
|
93
|
-
*/
|
|
94
|
-
export type LedgerVersionToken = string;
|
|
62
|
+
}): string;
|
|
95
63
|
/**
|
|
96
|
-
*
|
|
97
|
-
*
|
|
98
|
-
*
|
|
99
|
-
* 1. Acquire the lock; read the current ledger/version token; release.
|
|
100
|
-
* 2. Run the bounded equivalence gate (judge) UNLOCKED.
|
|
101
|
-
* 3. Re-acquire the lock; read the token again. If unchanged, COMMIT the verdict
|
|
102
|
-
* under the lock and return. If an interleaved append moved the token,
|
|
103
|
-
* release and re-derive (bounded to `maxAttempts`).
|
|
104
|
-
* 4. On attempt exhaustion, take the lock ACROSS the judge for one final
|
|
105
|
-
* guaranteed-committing derivation, recording the fallback firing through the
|
|
106
|
-
* best-effort friction sink (CE-010 residual — never blocks the commit).
|
|
107
|
-
*
|
|
108
|
-
* `withLock` is the artifact-tree lock wrapper (e.g. `withFileLock` bound to the
|
|
109
|
-
* artifact-tree lock path); `commit` persists the decided verdict under the held
|
|
110
|
-
* lock and is the single mutation point.
|
|
64
|
+
* Hash one normal form for pair identification (the judge submission names the
|
|
65
|
+
* pair it judged by these hashes, and consumption re-derives them from the live
|
|
66
|
+
* checkpoint to detect an interleaved edit).
|
|
111
67
|
*/
|
|
112
|
-
export declare function
|
|
113
|
-
withLock: <R>(fn: () => Promise<R>) => Promise<R>;
|
|
114
|
-
readLedgerToken: () => Promise<LedgerVersionToken>;
|
|
115
|
-
gate: () => Promise<{
|
|
116
|
-
verdict: IntentCheckpointVerdict;
|
|
117
|
-
gateVersion: string;
|
|
118
|
-
}>;
|
|
119
|
-
commit: (verdict: IntentCheckpointVerdict) => Promise<T>;
|
|
120
|
-
/** Best-effort friction recording of the lock-across-judge fallback firing. */
|
|
121
|
-
artifactsDir?: string;
|
|
122
|
-
runId?: string;
|
|
123
|
-
maxAttempts?: number;
|
|
124
|
-
}): Promise<{
|
|
125
|
-
verdict: IntentCheckpointVerdict;
|
|
126
|
-
committed: T;
|
|
127
|
-
usedFallback: boolean;
|
|
128
|
-
}>;
|
|
68
|
+
export declare function normalFormHash(normalized: string): string;
|
|
129
69
|
//# sourceMappingURL=intentCheckpointGate.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"intentCheckpointGate.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"intentCheckpointGate.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/intentCheckpointGate.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;IAC/D;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,gBAAgB,CAAC,EAAE,CAAC;CAC3D;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,eAsBtC,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,mCAAmC,sCAAsC,CAAC;AAEvF;;;;GAIG;AACH,eAAO,MAAM,aAAa,SAAS,CAAC;AAEpC,6DAA6D;AAC7D,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAmBD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,gBAAgB,GAAG,SAAS,EACxC,MAAM,GAAE,eAA0C,GACjD,qBAAqB,CASvB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE;IACzC,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC,GAAG,MAAM,CAOT;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAEzD"}
|