@autopilot-harness/core 0.2.5 → 0.2.7

package/dist/review-engine.d.ts

@@ -78,7 +78,14 @@ export declare class ReviewEngine {
      * Clear sticky code_edited so Stop→revert→resend cannot open a phantom fix
      * chain on the next completed stop (disk may already be clean).
      * Leave fix/confirm pending alone (delivery retry still valid if inject raced).
-     * Both clears share one exclusiveWrite so a mid-abort failure cannot leave
+     *
+     * Project-scope ambient/planning: after recover soft-reset cleared
+     * chain_pending, sticky code_edited may be the only handoff marker. Clearing
+     * it without a freeze leaves fix_round residue that cannot E3 (bare fix_round
+     * must not phantom-confirm). Freeze into confirm_left, or re-arm chain_pending
+     * when an undelivered fix tip remains. Checklist executing keeps residue-E2.
+     *
+     * Clears + freeze share one exclusiveWrite so a mid-abort failure cannot leave
      * recover gone while code_edited sticky (or the reverse).
      */
     private handleAbortedStop;
@@ -170,6 +177,16 @@ export declare class ReviewEngine {
      * exclusiveWrite. "exists" = peer already claimed recover (do not overwrite).
      */
     private tryCommitAmbientErrorRecover;
+    /**
+     * Executing error-recover chain adjust (call under exclusiveWrite, before
+     * savePendingFollowup + clearChainPending). Mirrors ambient readyForE3 /
+     * resumeFix without soft-resetting mid-confirm/E5.
+     *
+     * Ready-for-E3 (delivered fix, chain_pending only, empty pending) arms
+     * confirm_left=confirmRounds so post-recover continues E4 — not another E2
+     * solely from fix_round>0. Mid-fix residue still forces code_edited.
+     */
+    private applyExecutingErrorRecoverChainAdjustments;
     /**
      * Ambient/planning error recover: drop confirm/pending arming so recover
      * (armChain=false) cannot leave chain_pending=1 → phantom E3.
@@ -184,11 +201,30 @@ export declare class ReviewEngine {
      * do not regress to another fix. Ready-for-E3 requires empty pending (not
      * merely !fixPending). Force code_edited only for an active fix
      * (code_edited / undelivered fix pending / chain_pending with pending still
-     * set). Bare leftover fix_round is ignored (ambient phantom residue).
+     * set). Mid-fix resumeFix keeps chain_pending=1 so abort can freeze via
+     * wasArmed; bare leftover fix_round stays disarmed (ambient phantom residue).
      */
     private applySoftResetAmbientChainForErrorRecover;
     /** Shared with inferPendingKind — locale templates must keep these prefixes. */
     private isFixFollowupMessage;
+    /**
+     * Unlocked callers: clear snapshot needle + ambient E3 arm in one
+     * exclusiveWrite. A crash mid-pair must not leave tip cleared with
+     * chain_pending still 0 (silent ambient stall). Safe under an open writer
+     * only via {@link armAmbientChainAfterDeliveredFixTip} after an inline clear
+     * (clearPendingFollowupIf runs in-txn when writeDepth > 0).
+     */
+    private clearMatchingPendingAndArmAmbient;
+    /**
+     * After a delivered ambient fix tip is cleared, recover/abort may have left
+     * chain_pending=0. Re-arm so this completed stop can E3 → confirm instead of
+     * silent stall. Never arms bare stale fix_round without a delivered fix tip
+     * (keeps F-ERR-AMBIENT-STALE-FIX-ROUND / F-ABORT-NO-PHANTOM-FIX).
+     * Call under the same writer txn as the clear when possible — throws must
+     * propagate so the clear can roll back. Still arms when code_edited=1 so a
+     * concurrent abort clearing sticky edit keeps wasArmed handoff.
+     */
+    private armAmbientChainAfterDeliveredFixTip;
     /** Mid-confirm or E5-ready — must not phantom-arm code_edited over E4/E5. */
     private isMidConfirmOrE5;
     /** True when a stop may still advance the review chain (re-check under write lock). */

package/dist/review-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"review-engine.d.ts","sourceRoot":"","sources":["../src/review-engine.ts"],"names":[],"mappings":"AAYA,OAAO,EAAW,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAO/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAwB1B,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,gBAAgB,GAChB,sBAAsB,GACtB,SAAS,GACT,MAAM,GACN,iBAAiB,GACjB,SAAS,GACT,kBAAkB,GAClB,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,eAAe,CAAC;AAEpB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,SAAS,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,WAAW,EAAE,WAAW,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,mBAAmB,EAAE,CAAC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,wDAAwD;IACxD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,KAAK,MAAM,CAAC;IACvF,4DAA4D;IAC5D,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,KAAK,WAAW,CAAC;CAC1E;AAyFD,qBAAa,YAAY;IAErB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBADN,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,kBAAkB;IAG7C,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,IAAI;IAKZ;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAO1B;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,mBAAmB;IAoB3B,qFAAqF;IACrF,OAAO,CAAC,sBAAsB;IAsB9B,mFAAmF;IACnF,YAAY,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI;IAoB1C,UAAU,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,GAAG,IAAI;IA6I1D,OAAO,CAAC,oBAAoB;IAuC5B,OAAO,CAAC,mBAAmB;IAiG3B,OAAO,CAAC,gBAAgB;IA4BxB,OAAO,CAAC,IAAI;IAgBZ;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAczB,OAAO,CAAC,eAAe;IA2FvB,OAAO,CAAC,wBAAwB;IAOhC,OAAO,CAAC,oBAAoB;IAQ5B;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqF7B;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IA8GlC;;;OAGG;IACH,OAAO,CAAC,+BAA+B;IAsFvC;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB;IAwB5B;;;;;;;;;OASG;IACH,OAAO,CAAC,uBAAuB;IA2B/B,kFAAkF;IAClF,OAAO,CAAC,mBAAmB;IA8B3B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IA2CzB,OAAO,CAAC,6BAA6B;IAUrC;;;;;;;;;OASG;IACH,OAAO,CAAC,4BAA4B;IAcpC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAqEzC,sFAAsF;IACtF,OAAO,CAAC,4BAA4B;IAWpC,OAAO,CAAC,4BAA4B;IASpC;;;;;;OAMG;IACH,OAAO,CAAC,2BAA2B;IA0EnC;;;OAGG;IACH,OAAO,CAAC,4BAA4B;IAqCpC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,yCAAyC;IA+CjD,gFAAgF;IAChF,OAAO,CAAC,oBAAoB;IAK5B,6EAA6E;IAC7E,OAAO,CAAC,gBAAgB;IAWxB,uFAAuF;IACvF,OAAO,CAAC,eAAe;IAKvB,6FAA6F;IAC7F,OAAO,CAAC,uBAAuB;IAa/B,OAAO,CAAC,mBAAmB;IAM3B,yCAAyC;IACzC,eAAe,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI;IAY1C,OAAO,CAAC,gCAAgC;IAMxC;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA2HxB;;;OAGG;IACH,OAAO,CAAC,eAAe;IA8HvB;;;;;;;;OAQG;IACH,OAAO,CAAC,kBAAkB;IA8G1B,2EAA2E;IAC3E,OAAO,CAAC,gBAAgB;IA8BxB,2EAA2E;IAC3E,OAAO,CAAC,cAAc;IA4BtB,oFAAoF;IACpF,OAAO,CAAC,gBAAgB;IAIxB,OAAO,CAAC,KAAK;IAwCb,OAAO,CAAC,YAAY;IAkDpB,OAAO,CAAC,SAAS;IAmDjB,OAAO,CAAC,MAAM;IA8Kd,OAAO,CAAC,UAAU;IA+KlB,OAAO,CAAC,YAAY;IAcpB;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,aAAa;IAwBrB,0EAA0E;IAC1E,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,IAAI;CAYvD;AAED,6CAA6C;AAC7C,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CA6CrF;AAED,4CAA4C;AAC5C,wBAAgB,OAAO,CACrB,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CA8DxE;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAA;CAAE,GACxC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AA+FvC;;;GAGG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,MAAM,EACtB,IAAI,CAAC,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACvB,iBAAiB,CA6CnB;AAED,0CAA0C;AAC1C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAEjF"}
+{"version":3,"file":"review-engine.d.ts","sourceRoot":"","sources":["../src/review-engine.ts"],"names":[],"mappings":"AAYA,OAAO,EAAW,KAAK,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAO/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAwB1B,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,gBAAgB,GAChB,sBAAsB,GACtB,SAAS,GACT,MAAM,GACN,iBAAiB,GACjB,SAAS,GACT,kBAAkB,GAClB,iBAAiB,GACjB,OAAO,GACP,YAAY,GACZ,eAAe,CAAC;AAEpB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,SAAS,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,8DAA8D;IAC9D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,WAAW,EAAE,WAAW,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,mBAAmB,EAAE,CAAC;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,wDAAwD;IACxD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,KAAK,MAAM,CAAC;IACvF,4DAA4D;IAC5D,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,KAAK,WAAW,CAAC;CAC1E;AAyFD,qBAAa,YAAY;IAErB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBADN,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,kBAAkB;IAG7C,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,IAAI;IAKZ;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAO1B;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,mBAAmB;IAoB3B,qFAAqF;IACrF,OAAO,CAAC,sBAAsB;IAsB9B,mFAAmF;IACnF,YAAY,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI;IAoB1C,UAAU,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,GAAG,IAAI;IAgS1D,OAAO,CAAC,oBAAoB;IAmC5B,OAAO,CAAC,mBAAmB;IAmH3B,OAAO,CAAC,gBAAgB;IA4BxB,OAAO,CAAC,IAAI;IAgBZ;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,iBAAiB;IA+CzB,OAAO,CAAC,eAAe;IA2FvB,OAAO,CAAC,wBAAwB;IAOhC,OAAO,CAAC,oBAAoB;IAQ5B;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;IAqF7B;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IAwHlC;;;OAGG;IACH,OAAO,CAAC,+BAA+B;IAsFvC;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB;IAwB5B;;;;;;;;;OASG;IACH,OAAO,CAAC,uBAAuB;IA2B/B,kFAAkF;IAClF,OAAO,CAAC,mBAAmB;IA8B3B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAgDzB,OAAO,CAAC,6BAA6B;IAUrC;;;;;;;;;OASG;IACH,OAAO,CAAC,4BAA4B;IAcpC;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAqEzC,sFAAsF;IACtF,OAAO,CAAC,4BAA4B;IAWpC,OAAO,CAAC,4BAA4B;IASpC;;;;;;OAMG;IACH,OAAO,CAAC,2BAA2B;IAmInC;;;OAGG;IACH,OAAO,CAAC,4BAA4B;IAqCpC;;;;;;;;OAQG;IACH,OAAO,CAAC,0CAA0C;IAoClD;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,yCAAyC;IAkDjD,gFAAgF;IAChF,OAAO,CAAC,oBAAoB;IAK5B;;;;;;OAMG;IACH,OAAO,CAAC,iCAAiC;IAuBzC;;;;;;;;OAQG;IACH,OAAO,CAAC,mCAAmC;IAoB3C,6EAA6E;IAC7E,OAAO,CAAC,gBAAgB;IAWxB,uFAAuF;IACvF,OAAO,CAAC,eAAe;IAKvB,6FAA6F;IAC7F,OAAO,CAAC,uBAAuB;IAa/B,OAAO,CAAC,mBAAmB;IAM3B,yCAAyC;IACzC,eAAe,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI;IAY1C,OAAO,CAAC,gCAAgC;IAMxC;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IA+HxB;;;OAGG;IACH,OAAO,CAAC,eAAe;IAiIvB;;;;;;;;OAQG;IACH,OAAO,CAAC,kBAAkB;IAiH1B,2EAA2E;IAC3E,OAAO,CAAC,gBAAgB;IA+BxB,2EAA2E;IAC3E,OAAO,CAAC,cAAc;IA4BtB,oFAAoF;IACpF,OAAO,CAAC,gBAAgB;IAIxB,OAAO,CAAC,KAAK;IA6Cb,OAAO,CAAC,YAAY;IAwDpB,OAAO,CAAC,SAAS;IAwDjB,OAAO,CAAC,MAAM;IAmLd,OAAO,CAAC,UAAU;IAqLlB,OAAO,CAAC,YAAY;IAcpB;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAY9B,OAAO,CAAC,aAAa;IAwBrB,0EAA0E;IAC1E,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,IAAI;CAYvD;AAED,6CAA6C;AAC7C,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CA6CrF;AAED,4CAA4C;AAC5C,wBAAgB,OAAO,CACrB,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CA8DxE;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAA;CAAE,GACxC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AA+FvC;;;GAGG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,MAAM,EACtB,IAAI,CAAC,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACvB,iBAAiB,CA6CnB;AAED,0CAA0C;AAC1C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAEjF"}