audit-tools 0.50.4 → 0.50.7
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 +30 -0
- package/dist/audit/cli/auditStep.d.ts.map +1 -1
- package/dist/audit/cli/auditStep.js +50 -0
- package/dist/audit/cli/auditStep.js.map +1 -1
- package/dist/audit/cli/foldTransaction.d.ts +103 -0
- package/dist/audit/cli/foldTransaction.d.ts.map +1 -0
- package/dist/audit/cli/foldTransaction.js +243 -0
- package/dist/audit/cli/foldTransaction.js.map +1 -0
- package/dist/audit/cli/nextStepHelpers.d.ts +109 -28
- package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
- package/dist/audit/cli/nextStepHelpers.js +661 -560
- package/dist/audit/cli/nextStepHelpers.js.map +1 -1
- package/dist/audit/cli/reviewRun.d.ts +15 -3
- package/dist/audit/cli/reviewRun.d.ts.map +1 -1
- package/dist/audit/cli/reviewRun.js +39 -13
- package/dist/audit/cli/reviewRun.js.map +1 -1
- package/dist/audit/orchestrator/advance.d.ts +38 -36
- package/dist/audit/orchestrator/advance.d.ts.map +1 -1
- package/dist/audit/orchestrator/advance.js +126 -82
- package/dist/audit/orchestrator/advance.js.map +1 -1
- package/dist/audit/orchestrator/advanceTypes.d.ts +23 -0
- package/dist/audit/orchestrator/advanceTypes.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts +8 -2
- package/dist/audit/orchestrator/designReviewSnapshot.d.ts.map +1 -1
- package/dist/audit/orchestrator/designReviewSnapshot.js +12 -6
- package/dist/audit/orchestrator/designReviewSnapshot.js.map +1 -1
- package/dist/audit/orchestrator/executorRunners.d.ts.map +1 -1
- package/dist/audit/orchestrator/executorRunners.js +1 -1
- 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 +1 -1
- package/dist/audit/orchestrator/executors.js.map +1 -1
- package/dist/audit/orchestrator/hostInputPause.d.ts +0 -33
- package/dist/audit/orchestrator/hostInputPause.d.ts.map +1 -1
- package/dist/audit/orchestrator/hostInputPause.js +6 -64
- package/dist/audit/orchestrator/hostInputPause.js.map +1 -1
- package/dist/audit/orchestrator/obligationPolicy.d.ts +90 -0
- package/dist/audit/orchestrator/obligationPolicy.d.ts.map +1 -0
- package/dist/audit/orchestrator/obligationPolicy.js +228 -0
- package/dist/audit/orchestrator/obligationPolicy.js.map +1 -0
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.d.ts.map +1 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js +23 -1
- package/dist/audit/orchestrator/systemicChallengeExecutor.js.map +1 -1
- package/dist/audit/types/systemicChallenge.d.ts +9 -0
- package/dist/audit/types/systemicChallenge.d.ts.map +1 -1
- package/dist/shared/engine/obligationEngine.d.ts +52 -11
- package/dist/shared/engine/obligationEngine.d.ts.map +1 -1
- package/dist/shared/engine/obligationEngine.js +46 -9
- package/dist/shared/engine/obligationEngine.js.map +1 -1
- package/dist/shared/observability/runLog.d.ts +2 -0
- package/dist/shared/observability/runLog.d.ts.map +1 -1
- package/dist/shared/observability/runLog.js.map +1 -1
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"executors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAsDA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAmC;IACnE;QACE,QAAQ,EAAE,sBAAsB;QAChC,MAAM,EAAE,6BAA6B;QACrC,MAAM,EACJ,qHAAqH;KACxH;IACD;QACE,QAAQ,EAAE,wBAAwB;QAClC,MAAM,EAAE,kDAAkD;QAC1D,MAAM,EACJ,iFAAiF;KACpF;IACD;QACE,QAAQ,EAAE,kBAAkB;QAC5B,MAAM,EAAE,kDAAkD;QAC1D,MAAM,
|
|
1
|
+
{"version":3,"file":"executors.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAsDA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAmC;IACnE;QACE,QAAQ,EAAE,sBAAsB;QAChC,MAAM,EAAE,6BAA6B;QACrC,MAAM,EACJ,qHAAqH;KACxH;IACD;QACE,QAAQ,EAAE,wBAAwB;QAClC,MAAM,EAAE,kDAAkD;QAC1D,MAAM,EACJ,iFAAiF;KACpF;IACD;QACE,QAAQ,EAAE,kBAAkB;QAC5B,MAAM,EAAE,kDAAkD;QAC1D,MAAM,EACJ,6HAA6H;KAChI;IACD;QACE,QAAQ,EAAE,uBAAuB;QACjC,MAAM,EAAE,2DAA2D;QACnE,MAAM,EAAE,0EAA0E;KACnF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAU;IACjD,OAAO,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAyB;IACrD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QACrD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,uBAAuB;gBACjC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,cAAc;gBACpB,IAAI,EACF,+JAA+J;aAClK;SACF;KACF;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,2BAA2B,CAAC;QAC7C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,wBAAwB;gBAClC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,4EAA4E;aAC/E;SACF;KACF;IACD;QACE,0EAA0E;QAC1E,wEAAwE;QACxE,uEAAuE;QACvE,wEAAwE;QACxE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,4BAA4B,CAAC;QAC9C,QAAQ,EAAE,EAAE;KACb;IACD;QACE,uEAAuE;QACvE,4EAA4E;QAC5E,6EAA6E;QAC7E,sCAAsC;QACtC,EAAE,EAAE,wCAAwC;QAC5C,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;QAC9C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,oCAAoC;gBAC9C,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,sKAAsK;aACzK;SACF;KACF;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,qBAAqB,CAAC;QACvC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,qBAAqB;gBAC/B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,kEAAkE;aACrE;YACD;gBACE,QAAQ,EAAE,uBAAuB;gBACjC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,mBAAmB;gBAC7B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,uBAAuB;gBACjC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;SACF;KACF;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;QAClD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,6BAA6B;gBACvC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,gEAAgE;aACnE;SACF;KACF;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;QAC5C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,mBAAmB;gBAC7B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,uBAAuB;aAC1B;SACF;KACF;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,2BAA2B,CAAC;QAC7C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,wBAAwB;gBAClC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iCAAiC,CAAC;QACnD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,8BAA8B;gBACxC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,qBAAqB,CAAC;QACvC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;aAChB;SACF;KACF;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;QAC9C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,uBAAuB;gBACjC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;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;QACzC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,uBAAuB;gBACjC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,uCAAuC;aAC1C;SACF;KACF;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,kCAAkC,CAAC;QACpD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,wBAAwB;gBAClC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,4DAA4D;aAC/D;SACF;KACF;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,oCAAoC,CAAC;QACtD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,wBAAwB;gBAClC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,4DAA4D;aAC/D;SACF;KACF;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;QACjD,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,4BAA4B;gBACtC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;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;QAC9C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;QACtC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,sBAAsB;gBAChC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,qCAAqC;aACxC;YACD;gBACE,QAAQ,EAAE,+BAA+B;gBACzC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,wBAAwB,CAAC;QAC1C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,qBAAqB;gBAC/B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,qEAAqE;aACxE;YACD;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,sBAAsB;gBAChC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,oBAAoB;gBAC9B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,+BAA+B;gBACzC,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,4BAA4B,CAAC;QAC9C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,qBAAqB;aACxB;YACD;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,qBAAqB;aACxB;YACD;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,qBAAqB;aACxB;SACF;KACF;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,6CAA6C;aAChD;YACD;gBACE,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,6CAA6C;aAChD;YACD;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,wBAAwB;aAC3B;YACD;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,6CAA6C;aAChD;SACF;KACF;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,mBAAmB,CAAC;QACrC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,qBAAqB;gBAC/B,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,iBAAiB;gBAC3B,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,6BAA6B,CAAC;QAC/C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,qBAAqB;gBAC/B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,8BAA8B;aACjC;YACD;gBACE,QAAQ,EAAE,iBAAiB;gBAC3B,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,8BAA8B;aACjC;YACD;gBACE,QAAQ,EAAE,0BAA0B;gBACpC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,uEAAuE;QACvE,+EAA+E;QAC/E,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;gBACf,IAAI,EACF,wBAAwB;aAC3B;SACF;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,oBAAoB,CAAC;QACtC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,iBAAiB,CAAC;QACnC,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,gCAAgC;gBAC1C,IAAI,EAAE,SAAS;aAChB;YACD;gBACE,QAAQ,EAAE,+BAA+B;gBACzC,IAAI,EAAE,SAAS;aAChB;SACF;KACF;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,iBAAiB;QACvB,cAAc,EAAE,CAAC,uBAAuB,CAAC;QACzC,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,eAAe;QACrB,cAAc,EAAE,CAAC,0BAA0B,CAAC;QAC5C,QAAQ,EAAE;YACR;gBACE,QAAQ,EAAE,mBAAmB;gBAC7B,IAAI,EAAE,cAAc;gBACpB,IAAI,EACF,4GAA4G;aAC/G;SACF;KACF;CACF,CAAC;AAEF,+EAA+E;AAC/E,wEAAwE;AACxE,gFAAgF;AAChF,mBAAmB;AACnB,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtE,uFAAuF;AACvF,MAAM,CAAC,MAAM,sBAAsB,GACjC,IAAI,GAAG,CACL,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAC/C,CACF,CAAC"}
|
|
@@ -67,37 +67,4 @@ export declare function pendingAnalyzerConsent(inputs: HostInputPauseInputs): ty
|
|
|
67
67
|
* step) and the drain stop predicate (stops when the list is non-empty).
|
|
68
68
|
*/
|
|
69
69
|
export declare function graphEnrichmentLowConfidenceEdges(bundle: ArtifactBundle, inputs: HostInputPauseInputs): GraphEdge[];
|
|
70
|
-
/**
|
|
71
|
-
* The SINGLE fold-aware stop predicate consumed by BOTH the `advanceAudit` drain
|
|
72
|
-
* loop AND the `next-step` fold. True when the next step derived from `bundle`
|
|
73
|
-
* pauses for HOST INPUT and must not be resolved deterministically in-process.
|
|
74
|
-
*
|
|
75
|
-
* Two classes of pause:
|
|
76
|
-
* 1. A registry-level host-delegation executor (intent /
|
|
77
|
-
* charter checkpoints, design-review + clarification + systemic-challenge
|
|
78
|
-
* loops, synthesis narrative, dispatch handoffs). `isHostDelegationExecutor`
|
|
79
|
-
* already sees every one of these — they are `kind: "host_delegation"` in the
|
|
80
|
-
* executor registry.
|
|
81
|
-
* 2. A FOLD-LEVEL interactive pause the registry cannot see: the
|
|
82
|
-
* `graph_enrichment_executor` is registered `deterministic`, but the fold
|
|
83
|
-
* emits an `analyzer_install` consent step (undecided analyzer installs) or
|
|
84
|
-
* an `edge_reasoning_dispatch` step (low-confidence edges + flag on) BEFORE running it.
|
|
85
|
-
* A registry-only gate (`isHostDelegationExecutor`) is blind to (2), so an
|
|
86
|
-
* unconditional drain would silently skip an operator-interactive step —
|
|
87
|
-
* exactly the latent failure this predicate closes. It reuses the SAME
|
|
88
|
-
* fold-detection helpers the `next-step` fold does, so the two cannot drift.
|
|
89
|
-
*
|
|
90
|
-
* Chain-length/index-agnostic: the decision is re-derived from `decideNextStep`
|
|
91
|
-
* each call, never a fixed executor index.
|
|
92
|
-
*/
|
|
93
|
-
export declare function nextStepPausesForHostInput(bundle: ArtifactBundle, inputs?: HostInputPauseInputs): boolean;
|
|
94
|
-
/**
|
|
95
|
-
* True when the next step is a deterministic, runner-backed regen step the drain
|
|
96
|
-
* loop may resolve in-process — i.e. it has a runner AND does NOT pause for host
|
|
97
|
-
* input (neither a registry host-delegation boundary nor a fold-level interactive
|
|
98
|
-
* pause). Callers pass the runner-presence check via `hasRunner` so this module
|
|
99
|
-
* stays free of the executor-runner import (which would pull the whole executor
|
|
100
|
-
* graph into the pause predicate).
|
|
101
|
-
*/
|
|
102
|
-
export declare function nextStepIsDrainableRegen(bundle: ArtifactBundle, hasRunner: (executor: string) => boolean, inputs?: HostInputPauseInputs): boolean;
|
|
103
70
|
//# sourceMappingURL=hostInputPause.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"hostInputPause.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/hostInputPause.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EACV,yBAAyB,EACzB,eAAe,EACf,SAAS,EACV,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;
|
|
1
|
+
{"version":3,"file":"hostInputPause.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/hostInputPause.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EACV,yBAAyB,EACzB,eAAe,EACf,SAAS,EACV,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAQ1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAElE;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IACnC,sEAAsE;IACtE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iFAAiF;IACjF,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,mFAAmF;IACnF,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,uFAAuF;IACvF,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC;;;;;OAKG;IACH,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C;;;;;;;OAOG;IACH,uBAAuB,CAAC,EAAE,yBAAyB,CAAC;CACrD;AAED;;;;;;;GAOG;AACH,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,oBAAoB,GAC3B,iBAAiB,EAAE,CAarB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,oBAAoB,GAC3B,OAAO,4BAA4B,CAoBrC;AAED;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,oBAAoB,GAC3B,SAAS,EAAE,CAGb"}
|
|
@@ -1,5 +1,3 @@
|
|
|
1
|
-
import { decideNextStep } from "./nextStep.js";
|
|
2
|
-
import { isHostDelegationExecutor } from "./executors.js";
|
|
3
1
|
import { collectLowConfidenceEdges } from "./edgeReasoning.js";
|
|
4
2
|
import { buildPathLookup } from "../extractors/graph.js";
|
|
5
3
|
import { buildDispositionMap } from "../extractors/disposition.js";
|
|
@@ -72,66 +70,10 @@ export function graphEnrichmentLowConfidenceEdges(bundle, inputs) {
|
|
|
72
70
|
return [];
|
|
73
71
|
return collectLowConfidenceEdges(bundle.graph_bundle);
|
|
74
72
|
}
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
* 1. A registry-level host-delegation executor (intent /
|
|
82
|
-
* charter checkpoints, design-review + clarification + systemic-challenge
|
|
83
|
-
* loops, synthesis narrative, dispatch handoffs). `isHostDelegationExecutor`
|
|
84
|
-
* already sees every one of these — they are `kind: "host_delegation"` in the
|
|
85
|
-
* executor registry.
|
|
86
|
-
* 2. A FOLD-LEVEL interactive pause the registry cannot see: the
|
|
87
|
-
* `graph_enrichment_executor` is registered `deterministic`, but the fold
|
|
88
|
-
* emits an `analyzer_install` consent step (undecided analyzer installs) or
|
|
89
|
-
* an `edge_reasoning_dispatch` step (low-confidence edges + flag on) BEFORE running it.
|
|
90
|
-
* A registry-only gate (`isHostDelegationExecutor`) is blind to (2), so an
|
|
91
|
-
* unconditional drain would silently skip an operator-interactive step —
|
|
92
|
-
* exactly the latent failure this predicate closes. It reuses the SAME
|
|
93
|
-
* fold-detection helpers the `next-step` fold does, so the two cannot drift.
|
|
94
|
-
*
|
|
95
|
-
* Chain-length/index-agnostic: the decision is re-derived from `decideNextStep`
|
|
96
|
-
* each call, never a fixed executor index.
|
|
97
|
-
*/
|
|
98
|
-
export function nextStepPausesForHostInput(bundle, inputs = {}) {
|
|
99
|
-
const decision = decideNextStep(bundle, { emitStaleness: false });
|
|
100
|
-
const executor = decision.selected_executor;
|
|
101
|
-
if (!executor)
|
|
102
|
-
return false;
|
|
103
|
-
if (isHostDelegationExecutor(executor))
|
|
104
|
-
return true;
|
|
105
|
-
if (executor === "graph_enrichment_executor") {
|
|
106
|
-
if (graphEnrichmentUnresolvedAnalyzers(bundle, inputs).length > 0)
|
|
107
|
-
return true;
|
|
108
|
-
if (graphEnrichmentLowConfidenceEdges(bundle, inputs).length > 0)
|
|
109
|
-
return true;
|
|
110
|
-
}
|
|
111
|
-
// Item B fold-level pause: the acquisition executor is registered deterministic,
|
|
112
|
-
// but running it while applicable consent-gated candidates are undecided would
|
|
113
|
-
// silently skip them — the fold owes the operator the batched offer first.
|
|
114
|
-
if (executor === "external_analyzer_acquisition_executor") {
|
|
115
|
-
if (pendingAnalyzerConsent(inputs).length > 0)
|
|
116
|
-
return true;
|
|
117
|
-
}
|
|
118
|
-
return false;
|
|
119
|
-
}
|
|
120
|
-
/**
|
|
121
|
-
* True when the next step is a deterministic, runner-backed regen step the drain
|
|
122
|
-
* loop may resolve in-process — i.e. it has a runner AND does NOT pause for host
|
|
123
|
-
* input (neither a registry host-delegation boundary nor a fold-level interactive
|
|
124
|
-
* pause). Callers pass the runner-presence check via `hasRunner` so this module
|
|
125
|
-
* stays free of the executor-runner import (which would pull the whole executor
|
|
126
|
-
* graph into the pause predicate).
|
|
127
|
-
*/
|
|
128
|
-
export function nextStepIsDrainableRegen(bundle, hasRunner, inputs = {}) {
|
|
129
|
-
const decision = decideNextStep(bundle, { emitStaleness: false });
|
|
130
|
-
const executor = decision.selected_executor;
|
|
131
|
-
if (!executor)
|
|
132
|
-
return false;
|
|
133
|
-
if (!hasRunner(executor))
|
|
134
|
-
return false;
|
|
135
|
-
return !nextStepPausesForHostInput(bundle, inputs);
|
|
136
|
-
}
|
|
73
|
+
// The composite stop predicates (`nextStepPausesForHostInput`,
|
|
74
|
+
// `nextStepIsDrainableRegen`) that used to live here were SUPERSEDED by the
|
|
75
|
+
// per-obligation classification in `obligationPolicy.ts` (CX-02: pause policy
|
|
76
|
+
// is a property of each obligation in the ONE registry, consumed identically
|
|
77
|
+
// by the plan draw and the full fold's bespoke bodies). The helpers above
|
|
78
|
+
// remain the single sources those classifiers read.
|
|
137
79
|
//# sourceMappingURL=hostInputPause.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"hostInputPause.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/hostInputPause.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"hostInputPause.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/hostInputPause.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAoClE;;;;;;;GAOG;AACH,MAAM,UAAU,kCAAkC,CAChD,MAAsB,EACtB,MAA4B;IAE5B,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,aAAa,GAAG;QACpB,GAAG,IAAI,GAAG,CACR,eAAe,CACb,MAAM,CAAC,aAAa,EACpB,mBAAmB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAC7C,CAAC,MAAM,EAAE,CACX;KACF,CAAC;IACF,OAAO,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,MAAM,CAC7E,oBAAoB,CACrB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAA4B;IAE5B,IAAI,MAAM,CAAC,0BAA0B,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAG,MAAM,CAAC,uBAAuB,CAAC;IAC7C,MAAM,YAAY,GAChB,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAClE,CAAC,CAAC,IAAI,GAAG,CAAS,KAAK,CAAC,KAAK,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,OAAO,4BAA4B,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE;QACvD,IAAI,SAAS,CAAC,UAAU;YAAE,OAAO,KAAK,CAAC;QACvC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAC9D,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvE,uEAAuE;QACvE,IAAI,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,IAAI,CAAC;YACH,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,MAAsB,EACtB,MAA4B;IAE5B,IAAI,MAAM,CAAC,qBAAqB,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7E,OAAO,yBAAyB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;AACxD,CAAC;AAED,+DAA+D;AAC/D,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,0EAA0E;AAC1E,oDAAoD"}
|
|
@@ -0,0 +1,90 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Per-obligation host-boundary POLICY — the pure "classify" half of the ONE
|
|
3
|
+
* audit obligation registry (CX-02).
|
|
4
|
+
*
|
|
5
|
+
* The registry's membership and order derive from `PRIORITY`; what each id
|
|
6
|
+
* additionally carries is a decision about WHERE the host boundary sits on the
|
|
7
|
+
* current bundle. That decision has two consumers with different rights:
|
|
8
|
+
*
|
|
9
|
+
* - the FULL `next-step` fold (cli) may CONSUME submissions, persist consent,
|
|
10
|
+
* ingest results and emit host steps — its bodies live in
|
|
11
|
+
* `src/audit/cli/nextStepHelpers.ts` and use these predicates as their
|
|
12
|
+
* branch conditions;
|
|
13
|
+
* - the PLAN draw (`advanceAudit` without a `preferredExecutor`, reached by
|
|
14
|
+
* `audit-code plan`) must advance ONLY deterministic arms and halt at the
|
|
15
|
+
* first boundary that needs host work or would consume or persist host
|
|
16
|
+
* input. It gets exactly this module's classification and nothing else.
|
|
17
|
+
*
|
|
18
|
+
* Everything here is PURE with respect to the run: no consumption, no
|
|
19
|
+
* quarantine, no unlink, no persist. Lane-file presence is probed through an
|
|
20
|
+
* injected `submissionProbe` so this module never owns lane IO — and a caller
|
|
21
|
+
* that supplies no probe (a bare in-memory `advanceAudit`) simply sees no
|
|
22
|
+
* pending submissions, which is the correct degenerate reading: with no
|
|
23
|
+
* artifacts dir there is nothing a plan could consume.
|
|
24
|
+
*
|
|
25
|
+
* The refuted shape this module replaces (design record, landing 4): an
|
|
26
|
+
* EXCLUSION filter over the registry. `findFirstActionableObligation` skips a
|
|
27
|
+
* missing id and continues, so removing host-boundary entries makes the scan
|
|
28
|
+
* step OVER the boundary rather than halt at it. Classification preserves
|
|
29
|
+
* every id, its derive closure, and its priority position.
|
|
30
|
+
*/
|
|
31
|
+
import type { ArtifactBundle } from "../io/artifacts.js";
|
|
32
|
+
import { type HostInputPauseInputs } from "./hostInputPause.js";
|
|
33
|
+
/** Inputs the classification needs beyond the shared pause inputs. */
|
|
34
|
+
export interface ObligationPolicyInputs extends HostInputPauseInputs {
|
|
35
|
+
/**
|
|
36
|
+
* Whether the CLI session enables the synthesis narrative. The plan draw and
|
|
37
|
+
* bare `advanceAudit` callers have no session, leave it unset, and take the
|
|
38
|
+
* deterministic omit arm — which is exactly what the inner drain did at HEAD.
|
|
39
|
+
*/
|
|
40
|
+
narrativeEnabled?: boolean;
|
|
41
|
+
/**
|
|
42
|
+
* Pure lane-file presence probe, injected by the caller that owns lane IO.
|
|
43
|
+
* Absent → no submission is ever seen as pending.
|
|
44
|
+
*/
|
|
45
|
+
submissionProbe?: (lane: string) => Promise<boolean>;
|
|
46
|
+
}
|
|
47
|
+
/** Where the host boundary sits for one obligation on one bundle. */
|
|
48
|
+
export type ObligationBranch = {
|
|
49
|
+
branch: "deterministic";
|
|
50
|
+
} | {
|
|
51
|
+
branch: "host_boundary";
|
|
52
|
+
reason: string;
|
|
53
|
+
} | {
|
|
54
|
+
branch: "await_submission";
|
|
55
|
+
lane: string;
|
|
56
|
+
reason: string;
|
|
57
|
+
};
|
|
58
|
+
/** Narrative disabled → the deterministic omit executor settles the obligation. */
|
|
59
|
+
export declare function synthesisNarrativeOmits(inputs: ObligationPolicyInputs): boolean;
|
|
60
|
+
/** Shallow ceiling → charter extraction settles deterministically (omitted). */
|
|
61
|
+
export declare function charterExtractionOmits(bundle: ArtifactBundle): boolean;
|
|
62
|
+
/** Nothing to mine (extraction omitted / no subsystems) → settle deterministically. */
|
|
63
|
+
export declare function charterDeltaOmits(bundle: ArtifactBundle): boolean;
|
|
64
|
+
/**
|
|
65
|
+
* Shallow ceiling / zero attention / loop not yet computed / no interactive
|
|
66
|
+
* queue → the clarification executor runs autonomously this turn.
|
|
67
|
+
*/
|
|
68
|
+
export declare function charterClarificationOmits(bundle: ArtifactBundle): boolean;
|
|
69
|
+
/**
|
|
70
|
+
* Shallow ceiling / loop not yet opened / converged register → the systemic
|
|
71
|
+
* challenge executor runs autonomously this turn.
|
|
72
|
+
*/
|
|
73
|
+
export declare function systemicChallengeOmits(bundle: ArtifactBundle): boolean;
|
|
74
|
+
/** A deterministic arm (baseline / gate-version / structured delta) owns it. */
|
|
75
|
+
export declare function intentEquivalenceOmits(bundle: ArtifactBundle): boolean;
|
|
76
|
+
/**
|
|
77
|
+
* Classify where the host boundary sits for `id` on `bundle`.
|
|
78
|
+
*
|
|
79
|
+
* Per-id policy runs FIRST — several host-delegation-kind executors own real
|
|
80
|
+
* deterministic arms (the omit/assemble/settle paths), so a kind-based check
|
|
81
|
+
* alone would halt at boundaries that do not exist on this run (the refuted
|
|
82
|
+
* blanket halt). The generic fallback then reads the executor registry: a
|
|
83
|
+
* host-delegation executor or one with no deterministic runner is a boundary;
|
|
84
|
+
* everything else is deterministic.
|
|
85
|
+
*
|
|
86
|
+
* `hasRunner` is injected (`EXECUTOR_RUNNERS` presence) so this module does not
|
|
87
|
+
* pull the whole executor implementation graph into the policy layer.
|
|
88
|
+
*/
|
|
89
|
+
export declare function classifyObligationBranch(id: string, bundle: ArtifactBundle, inputs: ObligationPolicyInputs, hasRunner: (executor: string) => boolean): Promise<ObligationBranch>;
|
|
90
|
+
//# sourceMappingURL=obligationPolicy.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"obligationPolicy.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/obligationPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAOzD,OAAO,EAIL,KAAK,oBAAoB,EAC1B,MAAM,qBAAqB,CAAC;AAQ7B,sEAAsE;AACtE,MAAM,WAAW,sBAAuB,SAAQ,oBAAoB;IAClE;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACtD;AAED,qEAAqE;AACrE,MAAM,MAAM,gBAAgB,GACxB;IAAE,MAAM,EAAE,eAAe,CAAA;CAAE,GAC3B;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,MAAM,EAAE,kBAAkB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA2BjE,mFAAmF;AACnF,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAE/E;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAEtE;AAED,uFAAuF;AACvF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAEjE;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAOzE;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAOtE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAEtE;AAkJD;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,EAAE,EAAE,MAAM,EACV,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,sBAAsB,EAC9B,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,GACvC,OAAO,CAAC,gBAAgB,CAAC,CAW3B"}
|
|
@@ -0,0 +1,228 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Per-obligation host-boundary POLICY — the pure "classify" half of the ONE
|
|
3
|
+
* audit obligation registry (CX-02).
|
|
4
|
+
*
|
|
5
|
+
* The registry's membership and order derive from `PRIORITY`; what each id
|
|
6
|
+
* additionally carries is a decision about WHERE the host boundary sits on the
|
|
7
|
+
* current bundle. That decision has two consumers with different rights:
|
|
8
|
+
*
|
|
9
|
+
* - the FULL `next-step` fold (cli) may CONSUME submissions, persist consent,
|
|
10
|
+
* ingest results and emit host steps — its bodies live in
|
|
11
|
+
* `src/audit/cli/nextStepHelpers.ts` and use these predicates as their
|
|
12
|
+
* branch conditions;
|
|
13
|
+
* - the PLAN draw (`advanceAudit` without a `preferredExecutor`, reached by
|
|
14
|
+
* `audit-code plan`) must advance ONLY deterministic arms and halt at the
|
|
15
|
+
* first boundary that needs host work or would consume or persist host
|
|
16
|
+
* input. It gets exactly this module's classification and nothing else.
|
|
17
|
+
*
|
|
18
|
+
* Everything here is PURE with respect to the run: no consumption, no
|
|
19
|
+
* quarantine, no unlink, no persist. Lane-file presence is probed through an
|
|
20
|
+
* injected `submissionProbe` so this module never owns lane IO — and a caller
|
|
21
|
+
* that supplies no probe (a bare in-memory `advanceAudit`) simply sees no
|
|
22
|
+
* pending submissions, which is the correct degenerate reading: with no
|
|
23
|
+
* artifacts dir there is nothing a plan could consume.
|
|
24
|
+
*
|
|
25
|
+
* The refuted shape this module replaces (design record, landing 4): an
|
|
26
|
+
* EXCLUSION filter over the registry. `findFirstActionableObligation` skips a
|
|
27
|
+
* missing id and continues, so removing host-boundary entries makes the scan
|
|
28
|
+
* step OVER the boundary rather than halt at it. Classification preserves
|
|
29
|
+
* every id, its derive closure, and its priority position.
|
|
30
|
+
*/
|
|
31
|
+
import { ceilingRequestsCharters, resolveCharterCeiling, } from "./charterExtractionExecutor.js";
|
|
32
|
+
import { resolveClarificationAttention } from "./charterClarificationExecutor.js";
|
|
33
|
+
import { deriveIntentEquivalenceStatus } from "./intentEquivalenceExecutor.js";
|
|
34
|
+
import { graphEnrichmentLowConfidenceEdges, graphEnrichmentUnresolvedAnalyzers, pendingAnalyzerConsent, } from "./hostInputPause.js";
|
|
35
|
+
import { EXECUTOR_BY_OBLIGATION, isHostDelegationExecutor } from "./executors.js";
|
|
36
|
+
import { GATE_LANES, charterExtractionLane, } from "../cli/laneSubmissions.js";
|
|
37
|
+
import { charterExtractionKindsForCeiling } from "../cli/charterExtractionPrompt.js";
|
|
38
|
+
const DETERMINISTIC = { branch: "deterministic" };
|
|
39
|
+
function hostBoundary(reason) {
|
|
40
|
+
return { branch: "host_boundary", reason };
|
|
41
|
+
}
|
|
42
|
+
function awaitSubmission(lane, reason) {
|
|
43
|
+
return { branch: "await_submission", lane, reason };
|
|
44
|
+
}
|
|
45
|
+
async function probe(inputs, lane) {
|
|
46
|
+
return inputs.submissionProbe ? await inputs.submissionProbe(lane) : false;
|
|
47
|
+
}
|
|
48
|
+
// ── The pure deterministic-arm predicates, single-sourced ────────────────────
|
|
49
|
+
//
|
|
50
|
+
// Each is the exact branch condition the corresponding full-fold handler uses
|
|
51
|
+
// (previously private closures in `nextStepHelpers.ts`). Stating them once here
|
|
52
|
+
// is what makes the plan draw's classification and the full fold's consumption
|
|
53
|
+
// agree on WHERE the boundary is — the "one core, two draws" rule applied to
|
|
54
|
+
// pause policy.
|
|
55
|
+
/** Narrative disabled → the deterministic omit executor settles the obligation. */
|
|
56
|
+
export function synthesisNarrativeOmits(inputs) {
|
|
57
|
+
return !inputs.narrativeEnabled;
|
|
58
|
+
}
|
|
59
|
+
/** Shallow ceiling → charter extraction settles deterministically (omitted). */
|
|
60
|
+
export function charterExtractionOmits(bundle) {
|
|
61
|
+
return !ceilingRequestsCharters(resolveCharterCeiling(bundle.intent_checkpoint));
|
|
62
|
+
}
|
|
63
|
+
/** Nothing to mine (extraction omitted / no subsystems) → settle deterministically. */
|
|
64
|
+
export function charterDeltaOmits(bundle) {
|
|
65
|
+
return !(bundle.charter_register?.deltas_pending === true);
|
|
66
|
+
}
|
|
67
|
+
/**
|
|
68
|
+
* Shallow ceiling / zero attention / loop not yet computed / no interactive
|
|
69
|
+
* queue → the clarification executor runs autonomously this turn.
|
|
70
|
+
*/
|
|
71
|
+
export function charterClarificationOmits(bundle) {
|
|
72
|
+
const ceiling = resolveCharterCeiling(bundle.intent_checkpoint);
|
|
73
|
+
const attention = resolveClarificationAttention(bundle.intent_checkpoint);
|
|
74
|
+
if (!ceilingRequestsCharters(ceiling) || attention === 0)
|
|
75
|
+
return true;
|
|
76
|
+
if (!bundle.charter_clarification)
|
|
77
|
+
return true;
|
|
78
|
+
if ((bundle.charter_clarification.asked?.length ?? 0) === 0)
|
|
79
|
+
return true;
|
|
80
|
+
return false;
|
|
81
|
+
}
|
|
82
|
+
/**
|
|
83
|
+
* Shallow ceiling / loop not yet opened / converged register → the systemic
|
|
84
|
+
* challenge executor runs autonomously this turn.
|
|
85
|
+
*/
|
|
86
|
+
export function systemicChallengeOmits(bundle) {
|
|
87
|
+
if (!ceilingRequestsCharters(resolveCharterCeiling(bundle.intent_checkpoint))) {
|
|
88
|
+
return true;
|
|
89
|
+
}
|
|
90
|
+
if (!bundle.systemic_challenge)
|
|
91
|
+
return true;
|
|
92
|
+
if (bundle.systemic_challenge.converged)
|
|
93
|
+
return true;
|
|
94
|
+
return false;
|
|
95
|
+
}
|
|
96
|
+
/** A deterministic arm (baseline / gate-version / structured delta) owns it. */
|
|
97
|
+
export function intentEquivalenceOmits(bundle) {
|
|
98
|
+
return deriveIntentEquivalenceStatus(bundle).kind !== "prose_judgment_pending";
|
|
99
|
+
}
|
|
100
|
+
/**
|
|
101
|
+
* The bespoke-policy ids whose classification cannot be read off the executor
|
|
102
|
+
* registry — each mirrors its full-fold handler's branch ORDER exactly (e.g.
|
|
103
|
+
* charter extraction checks its ceiling BEFORE its lanes, the omittable gates
|
|
104
|
+
* poll their lane first). Order fidelity is load-bearing: a stray submission at
|
|
105
|
+
* a shallow ceiling must classify deterministic, because that is what the full
|
|
106
|
+
* fold does with it.
|
|
107
|
+
*/
|
|
108
|
+
const POLICY_CLASSIFIERS = {
|
|
109
|
+
external_analyzers_current: async (_bundle, inputs) => {
|
|
110
|
+
const pending = pendingAnalyzerConsent(inputs);
|
|
111
|
+
if (pending.length === 0)
|
|
112
|
+
return DETERMINISTIC;
|
|
113
|
+
if (await probe(inputs, GATE_LANES.analyzer_consent)) {
|
|
114
|
+
return awaitSubmission(GATE_LANES.analyzer_consent, "an analyzer-consent decisions submission is pending");
|
|
115
|
+
}
|
|
116
|
+
return hostBoundary("applicable consent-gated analyzer candidates await the batched operator offer");
|
|
117
|
+
},
|
|
118
|
+
critical_flow_fallback_current: async (_bundle, inputs) => {
|
|
119
|
+
if (await probe(inputs, GATE_LANES.critical_flow_fallback)) {
|
|
120
|
+
return awaitSubmission(GATE_LANES.critical_flow_fallback, "a critical-flow fallback submission is pending");
|
|
121
|
+
}
|
|
122
|
+
return hostBoundary("deterministic flow inference fell below the confidence bar; the host authors the enrichment");
|
|
123
|
+
},
|
|
124
|
+
graph_enrichment_current: async (bundle, inputs) => {
|
|
125
|
+
if (graphEnrichmentUnresolvedAnalyzers(bundle, inputs).length > 0) {
|
|
126
|
+
if (await probe(inputs, GATE_LANES.analyzer_decisions)) {
|
|
127
|
+
return awaitSubmission(GATE_LANES.analyzer_decisions, "an analyzer-install decisions submission is pending");
|
|
128
|
+
}
|
|
129
|
+
return hostBoundary("undecided analyzer installs await operator decisions");
|
|
130
|
+
}
|
|
131
|
+
if (graphEnrichmentLowConfidenceEdges(bundle, inputs).length > 0) {
|
|
132
|
+
if (await probe(inputs, GATE_LANES.edge_reasoning)) {
|
|
133
|
+
return awaitSubmission(GATE_LANES.edge_reasoning, "an edge-reasoning submission is pending");
|
|
134
|
+
}
|
|
135
|
+
return hostBoundary("low-confidence graph edges await the host edge-reasoning turn");
|
|
136
|
+
}
|
|
137
|
+
return DETERMINISTIC;
|
|
138
|
+
},
|
|
139
|
+
intent_equivalence_current: async (bundle, inputs) => {
|
|
140
|
+
if (await probe(inputs, GATE_LANES.intent_equivalence)) {
|
|
141
|
+
return awaitSubmission(GATE_LANES.intent_equivalence, "an intent-equivalence verdict submission is pending");
|
|
142
|
+
}
|
|
143
|
+
if (intentEquivalenceOmits(bundle))
|
|
144
|
+
return DETERMINISTIC;
|
|
145
|
+
return hostBoundary("a prose-only intent delta awaits the host judge");
|
|
146
|
+
},
|
|
147
|
+
charter_extraction_current: async (bundle, inputs) => {
|
|
148
|
+
if (charterExtractionOmits(bundle))
|
|
149
|
+
return DETERMINISTIC;
|
|
150
|
+
const ceiling = resolveCharterCeiling(bundle.intent_checkpoint);
|
|
151
|
+
for (const kind of charterExtractionKindsForCeiling(ceiling)) {
|
|
152
|
+
const lane = charterExtractionLane(kind);
|
|
153
|
+
if (await probe(inputs, lane)) {
|
|
154
|
+
return awaitSubmission(lane, "a charter-extraction lane submission is pending");
|
|
155
|
+
}
|
|
156
|
+
}
|
|
157
|
+
return hostBoundary("a deep ceiling owes the host charter-extraction turn");
|
|
158
|
+
},
|
|
159
|
+
charter_delta_current: async (bundle, inputs) => {
|
|
160
|
+
if (await probe(inputs, GATE_LANES.charter_delta)) {
|
|
161
|
+
return awaitSubmission(GATE_LANES.charter_delta, "a charter-delta submission is pending");
|
|
162
|
+
}
|
|
163
|
+
if (charterDeltaOmits(bundle))
|
|
164
|
+
return DETERMINISTIC;
|
|
165
|
+
return hostBoundary("a deltas_pending register owes the independent delta-miner turn");
|
|
166
|
+
},
|
|
167
|
+
charter_clarification_current: async (bundle, inputs) => {
|
|
168
|
+
if (await probe(inputs, GATE_LANES.charter_clarification)) {
|
|
169
|
+
return awaitSubmission(GATE_LANES.charter_clarification, "a clarification-answers submission is pending");
|
|
170
|
+
}
|
|
171
|
+
if (charterClarificationOmits(bundle))
|
|
172
|
+
return DETERMINISTIC;
|
|
173
|
+
return hostBoundary("an interactive clarification queue awaits relay to the operator");
|
|
174
|
+
},
|
|
175
|
+
systemic_challenge_current: async (bundle, inputs) => {
|
|
176
|
+
if (await probe(inputs, GATE_LANES.systemic_challenge)) {
|
|
177
|
+
return awaitSubmission(GATE_LANES.systemic_challenge, "a systemic-challenge round submission is pending");
|
|
178
|
+
}
|
|
179
|
+
if (systemicChallengeOmits(bundle))
|
|
180
|
+
return DETERMINISTIC;
|
|
181
|
+
return hostBoundary("an open challenge register awaits the next adversary round");
|
|
182
|
+
},
|
|
183
|
+
synthesis_narrative_current: async (_bundle, inputs) => {
|
|
184
|
+
if (await probe(inputs, GATE_LANES.synthesis_narrative)) {
|
|
185
|
+
return awaitSubmission(GATE_LANES.synthesis_narrative, "a synthesis-narrative submission is pending");
|
|
186
|
+
}
|
|
187
|
+
// TRI-STATE, and the unknown arm is load-bearing: the narrative branch is
|
|
188
|
+
// SESSION-owned (`narrativeEnabled` is a CLI-session parameter no bundle
|
|
189
|
+
// field carries), so a draw that does not know the session must HALT here
|
|
190
|
+
// — an omit on unknown would durably mark the narrative omitted and
|
|
191
|
+
// silently foreclose the session's narrative turn. Only an EXPLICIT
|
|
192
|
+
// narrativeEnabled=false takes the deterministic omit arm; the full fold
|
|
193
|
+
// always states its session's value.
|
|
194
|
+
if (inputs.narrativeEnabled === undefined) {
|
|
195
|
+
return hostBoundary("the synthesis-narrative branch is session-owned and this draw carries no session");
|
|
196
|
+
}
|
|
197
|
+
if (synthesisNarrativeOmits(inputs))
|
|
198
|
+
return DETERMINISTIC;
|
|
199
|
+
return hostBoundary("the enabled synthesis narrative awaits its host turn");
|
|
200
|
+
},
|
|
201
|
+
};
|
|
202
|
+
/**
|
|
203
|
+
* Classify where the host boundary sits for `id` on `bundle`.
|
|
204
|
+
*
|
|
205
|
+
* Per-id policy runs FIRST — several host-delegation-kind executors own real
|
|
206
|
+
* deterministic arms (the omit/assemble/settle paths), so a kind-based check
|
|
207
|
+
* alone would halt at boundaries that do not exist on this run (the refuted
|
|
208
|
+
* blanket halt). The generic fallback then reads the executor registry: a
|
|
209
|
+
* host-delegation executor or one with no deterministic runner is a boundary;
|
|
210
|
+
* everything else is deterministic.
|
|
211
|
+
*
|
|
212
|
+
* `hasRunner` is injected (`EXECUTOR_RUNNERS` presence) so this module does not
|
|
213
|
+
* pull the whole executor implementation graph into the policy layer.
|
|
214
|
+
*/
|
|
215
|
+
export async function classifyObligationBranch(id, bundle, inputs, hasRunner) {
|
|
216
|
+
const classifier = POLICY_CLASSIFIERS[id];
|
|
217
|
+
if (classifier)
|
|
218
|
+
return classifier(bundle, inputs);
|
|
219
|
+
const executor = EXECUTOR_BY_OBLIGATION.get(id);
|
|
220
|
+
if (!executor) {
|
|
221
|
+
return hostBoundary(`no executor is registered for obligation ${id}`);
|
|
222
|
+
}
|
|
223
|
+
if (isHostDelegationExecutor(executor.id) || !hasRunner(executor.id)) {
|
|
224
|
+
return hostBoundary(`executor ${executor.id} requires its bound host step`);
|
|
225
|
+
}
|
|
226
|
+
return DETERMINISTIC;
|
|
227
|
+
}
|
|
228
|
+
//# sourceMappingURL=obligationPolicy.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"obligationPolicy.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/obligationPolicy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EACL,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EACL,iCAAiC,EACjC,kCAAkC,EAClC,sBAAsB,GAEvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,EACL,UAAU,EACV,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAuBrF,MAAM,aAAa,GAAqB,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;AAEpE,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,MAAc;IACnD,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,KAAK,UAAU,KAAK,CAClB,MAA8B,EAC9B,IAAY;IAEZ,OAAO,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7E,CAAC;AAED,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,gFAAgF;AAChF,+EAA+E;AAC/E,6EAA6E;AAC7E,gBAAgB;AAEhB,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CAAC,MAA8B;IACpE,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;AAClC,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC3D,OAAO,CAAC,uBAAuB,CAAC,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,iBAAiB,CAAC,MAAsB;IACtD,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,KAAK,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC9D,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,6BAA6B,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC1E,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,IAAI,SAAS,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,qBAAqB;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC3D,IAAI,CAAC,uBAAuB,CAAC,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,MAAM,CAAC,kBAAkB,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC3D,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC;AACjF,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,kBAAkB,GAAyC;IAC/D,0BAA0B,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;QACpD,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,aAAa,CAAC;QAC/C,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACrD,OAAO,eAAe,CACpB,UAAU,CAAC,gBAAgB,EAC3B,qDAAqD,CACtD,CAAC;QACJ,CAAC;QACD,OAAO,YAAY,CACjB,+EAA+E,CAChF,CAAC;IACJ,CAAC;IAED,8BAA8B,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;QACxD,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,CAAC;YAC3D,OAAO,eAAe,CACpB,UAAU,CAAC,sBAAsB,EACjC,gDAAgD,CACjD,CAAC;QACJ,CAAC;QACD,OAAO,YAAY,CACjB,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IAED,wBAAwB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACjD,IAAI,kCAAkC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClE,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACvD,OAAO,eAAe,CACpB,UAAU,CAAC,kBAAkB,EAC7B,qDAAqD,CACtD,CAAC;YACJ,CAAC;YACD,OAAO,YAAY,CAAC,sDAAsD,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,iCAAiC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBACnD,OAAO,eAAe,CACpB,UAAU,CAAC,cAAc,EACzB,yCAAyC,CAC1C,CAAC;YACJ,CAAC;YACD,OAAO,YAAY,CAAC,+DAA+D,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACnD,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACvD,OAAO,eAAe,CACpB,UAAU,CAAC,kBAAkB,EAC7B,qDAAqD,CACtD,CAAC;QACJ,CAAC;QACD,IAAI,sBAAsB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QACzD,OAAO,YAAY,CAAC,iDAAiD,CAAC,CAAC;IACzE,CAAC;IAED,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACnD,IAAI,sBAAsB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QACzD,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAChE,KAAK,MAAM,IAAI,IAAI,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,eAAe,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,OAAO,YAAY,CAAC,sDAAsD,CAAC,CAAC;IAC9E,CAAC;IAED,qBAAqB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QAC9C,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAClD,OAAO,eAAe,CACpB,UAAU,CAAC,aAAa,EACxB,uCAAuC,CACxC,CAAC;QACJ,CAAC;QACD,IAAI,iBAAiB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QACpD,OAAO,YAAY,CAAC,iEAAiE,CAAC,CAAC;IACzF,CAAC;IAED,6BAA6B,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACtD,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC1D,OAAO,eAAe,CACpB,UAAU,CAAC,qBAAqB,EAChC,+CAA+C,CAChD,CAAC;QACJ,CAAC;QACD,IAAI,yBAAyB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QAC5D,OAAO,YAAY,CAAC,iEAAiE,CAAC,CAAC;IACzF,CAAC;IAED,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACnD,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACvD,OAAO,eAAe,CACpB,UAAU,CAAC,kBAAkB,EAC7B,kDAAkD,CACnD,CAAC;QACJ,CAAC;QACD,IAAI,sBAAsB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QACzD,OAAO,YAAY,CAAC,4DAA4D,CAAC,CAAC;IACpF,CAAC;IAED,2BAA2B,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;QACrD,IAAI,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACxD,OAAO,eAAe,CACpB,UAAU,CAAC,mBAAmB,EAC9B,6CAA6C,CAC9C,CAAC;QACJ,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,0EAA0E;QAC1E,oEAAoE;QACpE,oEAAoE;QACpE,yEAAyE;QACzE,qCAAqC;QACrC,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,YAAY,CACjB,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,IAAI,uBAAuB,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QAC1D,OAAO,YAAY,CAAC,sDAAsD,CAAC,CAAC;IAC9E,CAAC;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,EAAU,EACV,MAAsB,EACtB,MAA8B,EAC9B,SAAwC;IAExC,MAAM,UAAU,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;IAC1C,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,YAAY,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,wBAAwB,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACrE,OAAO,YAAY,CAAC,YAAY,QAAQ,CAAC,EAAE,+BAA+B,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}
|
|
@@ -22,5 +22,5 @@ import type { SystemicChallengeSubmission } from "audit-tools/shared";
|
|
|
22
22
|
* (converged:false) so the relay step can dispatch the adversary; each subsequent run
|
|
23
23
|
* with a submission folds a round.
|
|
24
24
|
*/
|
|
25
|
-
export declare function runSystemicChallengeExecutor(bundle: ArtifactBundle, submission?: SystemicChallengeSubmission): ExecutorRunResult;
|
|
25
|
+
export declare function runSystemicChallengeExecutor(bundle: ArtifactBundle, submission?: SystemicChallengeSubmission, submissionHash?: string): ExecutorRunResult;
|
|
26
26
|
//# sourceMappingURL=systemicChallengeExecutor.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"systemicChallengeExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/systemicChallengeExecutor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,KAAK,EAAW,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAqC/E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EACtB,UAAU,CAAC,EAAE,2BAA2B,
|
|
1
|
+
{"version":3,"file":"systemicChallengeExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/systemicChallengeExecutor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,KAAK,EAAW,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAqC/E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EACtB,UAAU,CAAC,EAAE,2BAA2B,EACxC,cAAc,CAAC,EAAE,MAAM,GACtB,iBAAiB,CAiHnB"}
|
|
@@ -49,9 +49,24 @@ function omittedRegister(ceiling, generated_at) {
|
|
|
49
49
|
* (converged:false) so the relay step can dispatch the adversary; each subsequent run
|
|
50
50
|
* with a submission folds a round.
|
|
51
51
|
*/
|
|
52
|
-
export function runSystemicChallengeExecutor(bundle, submission) {
|
|
52
|
+
export function runSystemicChallengeExecutor(bundle, submission, submissionHash) {
|
|
53
53
|
const ceiling = resolveCharterCeiling(bundle.intent_checkpoint);
|
|
54
54
|
const generated_at = new Date().toISOString();
|
|
55
|
+
// Iterative-fold duplicate guard (CX-02 landing 3): a submission whose
|
|
56
|
+
// content hash the register already folded is IGNORED — never folded again,
|
|
57
|
+
// and above all never counted as a quiet round, which is what would converge
|
|
58
|
+
// the adversary loop falsely and permanently. Reachable when a crash between
|
|
59
|
+
// the fold's core commit and its staged-submission cleanup restores an
|
|
60
|
+
// already-folded submission.
|
|
61
|
+
if (submission &&
|
|
62
|
+
submissionHash &&
|
|
63
|
+
bundle.systemic_challenge?.folded_submission_hashes?.includes(submissionHash)) {
|
|
64
|
+
return {
|
|
65
|
+
updated: { ...bundle },
|
|
66
|
+
artifacts_written: ["systemic_challenge.json"],
|
|
67
|
+
progress_summary: "Systemic challenge: duplicate round submission ignored (its content hash is already folded into the register).",
|
|
68
|
+
};
|
|
69
|
+
}
|
|
55
70
|
if (!ceilingRequestsCharters(ceiling)) {
|
|
56
71
|
const omitted = omittedRegister(ceiling, generated_at);
|
|
57
72
|
return {
|
|
@@ -74,6 +89,9 @@ export function runSystemicChallengeExecutor(bundle, submission) {
|
|
|
74
89
|
ceiling,
|
|
75
90
|
metrics,
|
|
76
91
|
rounds: priorRounds,
|
|
92
|
+
...(prior?.folded_submission_hashes
|
|
93
|
+
? { folded_submission_hashes: prior.folded_submission_hashes }
|
|
94
|
+
: {}),
|
|
77
95
|
converged: false,
|
|
78
96
|
convergence_rule: appliedConvergenceRule(),
|
|
79
97
|
findings: priorFindings,
|
|
@@ -99,6 +117,9 @@ export function runSystemicChallengeExecutor(bundle, submission) {
|
|
|
99
117
|
dry: folded.dry,
|
|
100
118
|
};
|
|
101
119
|
const rounds = [...priorRounds, round];
|
|
120
|
+
const foldedHashes = submissionHash
|
|
121
|
+
? [...(prior?.folded_submission_hashes ?? []), submissionHash]
|
|
122
|
+
: prior?.folded_submission_hashes;
|
|
102
123
|
// CONSECUTIVE-QUIET convergence: the loop terminates only when the last
|
|
103
124
|
// QUIET_ROUNDS_TO_CONVERGE rounds were ALL dry. Derived from the persisted
|
|
104
125
|
// rounds themselves — no separate counter state to drift.
|
|
@@ -110,6 +131,7 @@ export function runSystemicChallengeExecutor(bundle, submission) {
|
|
|
110
131
|
ceiling,
|
|
111
132
|
metrics,
|
|
112
133
|
rounds,
|
|
134
|
+
...(foldedHashes ? { folded_submission_hashes: foldedHashes } : {}),
|
|
113
135
|
converged,
|
|
114
136
|
convergence_rule: appliedConvergenceRule(),
|
|
115
137
|
findings: folded.findings,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"systemicChallengeExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/systemicChallengeExecutor.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAE1E;;;;;;;;;GASG;AACH,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC,SAAS,sBAAsB;IAG7B,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,YAAoB;IAC7D,OAAO;QACL,YAAY;QACZ,MAAM,EAAE,oBAAoB;QAC5B,OAAO;QACP,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,IAAI;QACf,gBAAgB,EAAE,sBAAsB,EAAE;QAC1C,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAsB,EACtB,UAAwC;
|
|
1
|
+
{"version":3,"file":"systemicChallengeExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/systemicChallengeExecutor.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAE1E;;;;;;;;;GASG;AACH,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAEnC,SAAS,sBAAsB;IAG7B,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,YAAoB;IAC7D,OAAO;QACL,YAAY;QACZ,MAAM,EAAE,oBAAoB;QAC5B,OAAO;QACP,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,IAAI;QACf,gBAAgB,EAAE,sBAAsB,EAAE;QAC1C,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAsB,EACtB,UAAwC,EACxC,cAAuB;IAEvB,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE9C,uEAAuE;IACvE,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,uEAAuE;IACvE,6BAA6B;IAC7B,IACE,UAAU;QACV,cAAc;QACd,MAAM,CAAC,kBAAkB,EAAE,wBAAwB,EAAE,QAAQ,CAAC,cAAc,CAAC,EAC7E,CAAC;QACD,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE;YACtB,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;YAC9C,gBAAgB,EACd,gHAAgH;SACnH,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACvD,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE;YACnD,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;YAC9C,gBAAgB,EAAE,wCAAwC,OAAO,CAAC,IAAI,yCAAyC;SAChH,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACxC,MAAM,aAAa,GAAG,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;IAExC,iFAAiF;IACjF,gFAAgF;IAChF,yEAAyE;IACzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,QAAQ,GAA8B;YAC1C,YAAY;YACZ,MAAM,EAAE,oBAAoB;YAC5B,OAAO;YACP,OAAO;YACP,MAAM,EAAE,WAAW;YACnB,GAAG,CAAC,KAAK,EAAE,wBAAwB;gBACjC,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,wBAAwB,EAAE;gBAC9D,CAAC,CAAC,EAAE,CAAC;YACP,SAAS,EAAE,KAAK;YAChB,gBAAgB,EAAE,sBAAsB,EAAE;YAC1C,QAAQ,EAAE,aAAa;YACvB,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,IAAI,EAAE;SAClD,CAAC;QACF,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE;YACpD,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;YAC9C,gBAAgB,EACd,iCAAiC,aAAa,CAAC,MAAM,0BAA0B;gBAC/E,GAAG,WAAW,CAAC,MAAM,oDAAoD;SAC5E,CAAC;IACJ,CAAC;IAED,sDAAsD;IACtD,MAAM,MAAM,GAAG,kBAAkB,CAAC;QAChC,KAAK,EAAE,aAAa;QACpB,SAAS,EAAE,UAAU,CAAC,QAAQ;QAC9B,SAAS,EAAE,MAAM,CAAC,gBAAgB,EAAE,UAAU;QAC9C,YAAY,EAAE,MAAM,CAAC,aAAa;KACnC,CAAC,CAAC;IAEH,MAAM,KAAK,GAA2B;QACpC,KAAK,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC;QAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,GAAG,EAAE,MAAM,CAAC,GAAG;KAChB,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,cAAc;QACjC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,wBAAwB,IAAI,EAAE,CAAC,EAAE,cAAc,CAAC;QAC9D,CAAC,CAAC,KAAK,EAAE,wBAAwB,CAAC;IACpC,wEAAwE;IACxE,2EAA2E;IAC3E,0DAA0D;IAC1D,MAAM,SAAS,GACb,MAAM,CAAC,MAAM,IAAI,wBAAwB;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,wBAAwB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAA8B;QAC1C,YAAY;QACZ,MAAM,EAAE,oBAAoB;QAC5B,OAAO;QACP,OAAO;QACP,MAAM;QACN,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,wBAAwB,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,SAAS;QACT,gBAAgB,EAAE,sBAAsB,EAAE;QAC1C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,iBAAiB,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC;YACnC,GAAG,MAAM,CAAC,iBAAiB;SAC5B;KACF,CAAC;IACF,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE;QACpD,iBAAiB,EAAE,CAAC,yBAAyB,CAAC;QAC9C,gBAAgB,EACd,4BAA4B,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM,qBAAqB;YAC9F,CAAC,SAAS;gBACR,CAAC,CAAC,sBAAsB,wBAAwB,sCAAsC;gBACtF,CAAC,CAAC,MAAM,CAAC,GAAG;oBACV,CAAC,CAAC,4EAA4E;oBAC9E,CAAC,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,yBAAyB,CAAC;KAC9D,CAAC;AACJ,CAAC"}
|
|
@@ -65,6 +65,15 @@ export interface SystemicChallengeRegister {
|
|
|
65
65
|
metrics?: AggregateMetricsDigest;
|
|
66
66
|
/** The loop-until-dry challenge rounds, in order. */
|
|
67
67
|
rounds: SystemicChallengeRound[];
|
|
68
|
+
/**
|
|
69
|
+
* Content hashes of every submission already folded into this register — the
|
|
70
|
+
* iterative-fold duplicate guard (CX-02 landing 3). A crash between the
|
|
71
|
+
* fold's core commit and its staged-submission cleanup can restore an
|
|
72
|
+
* already-folded submission for re-consumption; without this register a
|
|
73
|
+
* re-fold of the identical round reports a QUIET round and can converge the
|
|
74
|
+
* adversary loop falsely. A duplicate hash is ignored, never counted.
|
|
75
|
+
*/
|
|
76
|
+
folded_submission_hashes?: string[];
|
|
68
77
|
/**
|
|
69
78
|
* True once the required number of CONSECUTIVE rounds surfaced nothing new
|
|
70
79
|
* (the loop terminated) — see `convergence_rule` for the applied count.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"systemicChallenge.d.ts","sourceRoot":"","sources":["../../../src/audit/types/systemicChallenge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,WAAW,sBAAsB;IACrC,gEAAgE;IAChE,KAAK,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;OAIG;IACH,GAAG,EAAE,OAAO,CAAC;CACd;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,uEAAuE;IACvE,MAAM,EAAE,oBAAoB,CAAC;IAC7B;;;OAGG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE,sBAAsB,CAAC;IACjC,qDAAqD;IACrD,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC;;;OAGG;IACH,SAAS,EAAE,OAAO,CAAC;IACnB;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE;QAAE,qBAAqB,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,mFAAmF;IACnF,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B"}
|
|
1
|
+
{"version":3,"file":"systemicChallenge.d.ts","sourceRoot":"","sources":["../../../src/audit/types/systemicChallenge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,WAAW,sBAAsB;IACrC,gEAAgE;IAChE,KAAK,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;;;OAIG;IACH,GAAG,EAAE,OAAO,CAAC;CACd;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,uEAAuE;IACvE,MAAM,EAAE,oBAAoB,CAAC;IAC7B;;;OAGG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;OAIG;IACH,OAAO,CAAC,EAAE,sBAAsB,CAAC;IACjC,qDAAqD;IACrD,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC;;;;;;;OAOG;IACH,wBAAwB,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,SAAS,EAAE,OAAO,CAAC;IACnB;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE;QAAE,qBAAqB,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,mFAAmF;IACnF,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B"}
|