looply-cli 0.5.5 → 0.5.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.
Files changed (45) hide show
  1. package/dist/.src-hash +1 -1
  2. package/dist/checkout-carry.d.ts +2 -0
  3. package/dist/checkout-carry.d.ts.map +1 -1
  4. package/dist/checkout-carry.js +25 -2
  5. package/dist/checkout-carry.js.map +1 -1
  6. package/dist/daemon-cmd.d.ts.map +1 -1
  7. package/dist/daemon-cmd.js +37 -23
  8. package/dist/daemon-cmd.js.map +1 -1
  9. package/dist/git-driver.d.ts +10 -0
  10. package/dist/git-driver.d.ts.map +1 -1
  11. package/dist/git-driver.js +22 -0
  12. package/dist/git-driver.js.map +1 -1
  13. package/dist/goal-adaptive.d.ts +12 -0
  14. package/dist/goal-adaptive.d.ts.map +1 -1
  15. package/dist/goal-adaptive.js +19 -4
  16. package/dist/goal-adaptive.js.map +1 -1
  17. package/dist/goal-compile.d.ts +7 -0
  18. package/dist/goal-compile.d.ts.map +1 -1
  19. package/dist/goal-compile.js +3 -0
  20. package/dist/goal-compile.js.map +1 -1
  21. package/dist/goal-execution-evidence.d.ts +28 -2
  22. package/dist/goal-execution-evidence.d.ts.map +1 -1
  23. package/dist/goal-execution-evidence.js +30 -5
  24. package/dist/goal-execution-evidence.js.map +1 -1
  25. package/dist/goal-reproof.d.ts +42 -0
  26. package/dist/goal-reproof.d.ts.map +1 -0
  27. package/dist/goal-reproof.js +35 -0
  28. package/dist/goal-reproof.js.map +1 -0
  29. package/dist/plan-recovery.d.ts +70 -0
  30. package/dist/plan-recovery.d.ts.map +1 -0
  31. package/dist/plan-recovery.js +131 -0
  32. package/dist/plan-recovery.js.map +1 -0
  33. package/dist/run-cmd.d.ts.map +1 -1
  34. package/dist/run-cmd.js +64 -9
  35. package/dist/run-cmd.js.map +1 -1
  36. package/dist/workspace-provisioner.d.ts +47 -3
  37. package/dist/workspace-provisioner.d.ts.map +1 -1
  38. package/dist/workspace-provisioner.js +73 -2
  39. package/dist/workspace-provisioner.js.map +1 -1
  40. package/dist/workspace.d.ts +36 -0
  41. package/dist/workspace.d.ts.map +1 -1
  42. package/dist/workspace.js +173 -8
  43. package/dist/workspace.js.map +1 -1
  44. package/package.json +2 -2
  45. package/win/contained-node.cjs +27 -4
@@ -0,0 +1 @@
1
+ {"version":3,"file":"plan-recovery.js","sourceRoot":"","sources":["../src/plan-recovery.ts"],"names":[],"mappings":";;;AAgEA,wCAQC;AAiBD,sCAQC;AAGD,4CAUC;AAGD,wCAGC;AAkBD,kDAsDC;AA5LD,6CAAyC;AAEzC,iDAAoG;AAwDpG,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAEhB,QAAA,kBAAkB,GAAG,sCAAsC,CAAC;AAEzE,4EAA4E;AAC5E,SAAgB,cAAc,CAAC,OAA+B;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACxH,OAAO;QACL,+DAA+D;QAC/D,GAAG,KAAK;QACR,qGAAqG;QACrG,qFAAqF;KACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,wFAAwF;AAC3E,QAAA,iBAAiB,GAAG;IAC/B,2FAA2F;IAC3F,gGAAgG;IAChG,gGAAgG;IAChG,6FAA6F;IAC7F,mCAAmC;CACpC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,qFAAqF;AACrF,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACzE,CAAC;AAED,mFAAmF;AACnF,SAAgB,aAAa,CAAC,QAAgB;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,0BAAkB,CAAC,CAAC,CAAC,GAAG,0BAAkB,KAAK,IAAI,EAAE,CAAC;IAClF,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK;QAC3F,GAAG,EAAE,MAAM;QACX,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,SAAgB,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,CAAC,IAAI,CAAC;QACb,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,EAAE;QACd,aAAa,EAAE,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAgB,cAAc,CAAC,CAAc;IAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACtD,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,MAAM,CAAC,KAA0B,EAAE,GAAW;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,sBAAO,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,mBAAmB,CAAC,KAAuB,EAAE,IAAkB,EAAE,QAAgB;IACrG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAQ,EAAE;QACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,gGAAgG;IAChG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACrH,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,MAAM,GAAmB,KAAK,CAAC;IACnC,IAAI,MAAM,GAAe,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAEpD,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,uFAAuF,CAAC,CAAC;QAC3H,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnG,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM,GAAG,KAAK,CAAC;YACf,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC5F,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,mHAAmH,CAAC,CAAC;YACzJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAClE,GAAG,CAAC,kHAAkH,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,gFAAgF,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,yBAAiB,EAAE,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM,GAAG,KAAK,CAAC;YACf,MAAM,GAAG,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,sFAAsF,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC/F,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAmB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3E,OAAO;QACL,QAAQ;QACR,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE;QAC1F,KAAK;KACN,CAAC;AACJ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"run-cmd.d.ts","sourceRoot":"","sources":["../src/run-cmd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAOvD,OAAO,EAGL,KAAK,cAAc,EAKnB,KAAK,IAAI,EAaT,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA+B/E,OAAO,EAGL,KAAK,aAAa,EAIlB,KAAK,UAAU,EAChB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAiB9E,OAAO,EAGL,KAAK,yBAAyB,EAE/B,MAAM,uBAAuB,CAAC;AAe/B,OAAO,EAaL,KAAK,cAAc,EAEpB,MAAM,cAAc,CAAC;AAgCtB,OAAO,EAIL,KAAK,2BAA2B,EAEjC,MAAM,gBAAgB,CAAC;AAIxB;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,YAAY,GACpB,iBAAiB,GACjB,YAAY,GACZ,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAC;IAC5D,oEAAoE;IACpE,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;;;;;;;OAiBG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;;;;;;OAUG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,qBAAa,UAAW,SAAQ,KAAK;IAcjC,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;IACxB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW;IA1BjC;;;;;;;;;;OAUG;gBAED,OAAO,EAAE,MAAM,EACN,IAAI,GAAE,cAA8B;IAC7C;;;;;OAKG;IACM,MAAM,CAAC,EAAE,MAAM,YAAA;IACxB;;;;OAIG;IACM,QAAQ,CAAC,EAAE,WAAW,YAAA;CAIlC;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE;IAAE,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,EACxD,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAAE,EAC5G,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAC1B,OAAO,CAAC,IAAI,CAAC,CAmCf;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAYtC,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,QAAY,CAAC;AACxD,iGAAiG;AACjG,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CA+D5D;AA6MD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,YAAY;AACjB;;;;;;;;GAQG;AACH,UAAU,CAAC,EAAE,yBAAyB;AACtC;;;;;;GAMG;AACH,QAAQ,CAAC,EAAE,2BAA2B;AACtC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;AACtB;;;;;;;;GAQG;AACH,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;AACzB;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,EAAE,aAAa;AACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;AACpB;;;;;;;;;;;;GAYG;AACH,IAAI,CAAC,EAAE,cAAc,GACpB,MAAM,CA4FR;AAED;;;;;;;;;;;GAWG;AACH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,CAAC,IAAI,EAAE,mBAAmB,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;CACnF;AAiID;;;GAGG;AACH,wBAAsB,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAu2HnE"}
1
+ {"version":3,"file":"run-cmd.d.ts","sourceRoot":"","sources":["../src/run-cmd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAOvD,OAAO,EAGL,KAAK,cAAc,EAKnB,KAAK,IAAI,EAaT,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA+B/E,OAAO,EAGL,KAAK,aAAa,EAIlB,KAAK,UAAU,EAChB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAmB9E,OAAO,EAGL,KAAK,yBAAyB,EAE/B,MAAM,uBAAuB,CAAC;AAe/B,OAAO,EAaL,KAAK,cAAc,EAEpB,MAAM,cAAc,CAAC;AAgCtB,OAAO,EAIL,KAAK,2BAA2B,EAEjC,MAAM,gBAAgB,CAAC;AAIxB;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,YAAY,GACpB,iBAAiB,GACjB,YAAY,GACZ,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAC;IAC5D,oEAAoE;IACpE,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;;;;;;;OAiBG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;;;;;;OAUG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,qBAAa,UAAW,SAAQ,KAAK;IAcjC,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;IACxB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW;IA1BjC;;;;;;;;;;OAUG;gBAED,OAAO,EAAE,MAAM,EACN,IAAI,GAAE,cAA8B;IAC7C;;;;;OAKG;IACM,MAAM,CAAC,EAAE,MAAM,YAAA;IACxB;;;;OAIG;IACM,QAAQ,CAAC,EAAE,WAAW,YAAA;CAIlC;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE;IAAE,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,EACxD,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAAE,EAC5G,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAC1B,OAAO,CAAC,IAAI,CAAC,CAmCf;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAYtC,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,QAAY,CAAC;AACxD,iGAAiG;AACjG,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CA+D5D;AA6MD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,YAAY;AACjB;;;;;;;;GAQG;AACH,UAAU,CAAC,EAAE,yBAAyB;AACtC;;;;;;GAMG;AACH,QAAQ,CAAC,EAAE,2BAA2B;AACtC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;AACtB;;;;;;;;GAQG;AACH,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;AACzB;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,EAAE,aAAa;AACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;AACpB;;;;;;;;;;;;GAYG;AACH,IAAI,CAAC,EAAE,cAAc,GACpB,MAAM,CA4FR;AAED;;;;;;;;;;;GAWG;AACH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,CAAC,IAAI,EAAE,mBAAmB,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;CACnF;AAiID;;;GAGG;AACH,wBAAsB,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAi6HnE"}
package/dist/run-cmd.js CHANGED
@@ -61,7 +61,9 @@ const programme_mode_1 = require("./programme-mode");
61
61
  const partial_asker_1 = require("./partial-asker");
62
62
  const goal_ownership_1 = require("./goal-ownership");
63
63
  const goal_compile_1 = require("./goal-compile");
64
+ const plan_recovery_1 = require("./plan-recovery");
64
65
  const goal_execution_evidence_1 = require("./goal-execution-evidence");
66
+ const goal_reproof_1 = require("./goal-reproof");
65
67
  const round_records_1 = require("./round-records");
66
68
  const goal_gap_1 = require("./goal-gap");
67
69
  const goal_adaptive_1 = require("./goal-adaptive");
@@ -2853,7 +2855,10 @@ async function runLoop(opts) {
2853
2855
  if (verdict.compile && scope !== null && binding.kind === 'bound') {
2854
2856
  compiledThisRun = true;
2855
2857
  log(`compile : ${binding.goal.text}`);
2856
- const compiled = await (0, goal_compile_1.compileGoal)({
2858
+ // Read before the compile: the compiler is told not to change anything, and every check of its
2859
+ // answer (the first and any re-plan) is made against the same committed tree.
2860
+ const compiledAt = await git.headTreeSha().catch(() => null);
2861
+ const recovered = await (0, plan_recovery_1.compileWithRecovery)({
2857
2862
  goalId: binding.goal.id,
2858
2863
  goalVersion: binding.goal.version,
2859
2864
  goalText: binding.goal.text,
@@ -2885,10 +2890,16 @@ async function runLoop(opts) {
2885
2890
  // acceptance map `produceClaims` holds `provenBy` against.
2886
2891
  checks: config.gates.map((g) => g.name),
2887
2892
  }),
2888
- }, { invoke: planAgent });
2889
- // M3-2: checked at the committed tree before any step becomes an item; the compile recorded either way.
2890
- const compiledAt = await git.headTreeSha().catch(() => null);
2891
- const checked = compiled.ok ? await (0, compile_check_1.checkCompiledPlan)(compiled.steps, compileReaders, compiledAt) : null;
2893
+ }, {
2894
+ compile: (i) => (0, goal_compile_1.compileGoal)(i, { invoke: planAgent }),
2895
+ // M3-2: checked at the committed tree before any step becomes an item; the compile recorded either way.
2896
+ check: (steps) => (0, compile_check_1.checkCompiledPlan)(steps, compileReaders, compiledAt),
2897
+ log: (line) => log(`compile : ${line}`),
2898
+ }, goal_compile_1.COMPILE_MAX_STEPS);
2899
+ // A step whose citation did not hold is re-planned, an empty plan is asked again as an instruction,
2900
+ // and only then does a ticket get one direct step (`plan-recovery.ts`) — never a hand-back.
2901
+ const compiled = recovered.compiled;
2902
+ const checked = recovered.checked;
2892
2903
  for (const r of checked?.refused ?? [])
2893
2904
  log(`compile : ${(0, compile_check_1.describeRefusal)(r)}`);
2894
2905
  await recordCompile(binding.goal.id, binding.goal.version, compiledAt, compiled, checked);
@@ -3181,7 +3192,17 @@ async function runLoop(opts) {
3181
3192
  .filter((i) => !(0, goal_compile_1.isPlanMarker)(i)),
3182
3193
  }, {
3183
3194
  evaluate: (i) => (0, goal_gap_1.evaluateGoalGap)(i, { invoke: planAgent }),
3184
- compile: (i, maxSteps) => (0, goal_compile_1.compileGoal)(i, { invoke: planAgent, maxSteps }),
3195
+ // The same recovery as the first plan: re-plan refused steps, read an empty answer as
3196
+ // an instruction, and fall back to one direct step before this revision is empty.
3197
+ compile: async (i, maxSteps) => {
3198
+ const at = await git.headTreeSha().catch(() => null);
3199
+ const recovered = await (0, plan_recovery_1.compileWithRecovery)(i, {
3200
+ compile: (j) => (0, goal_compile_1.compileGoal)(j, { invoke: planAgent, maxSteps }),
3201
+ check: (steps) => (0, compile_check_1.checkCompiledPlan)(steps, compileReaders, at),
3202
+ log: (line) => log(`goal : ${line}`),
3203
+ }, maxSteps);
3204
+ return recovered.compiled;
3205
+ },
3185
3206
  changedPaths: () => git.changedPaths(),
3186
3207
  headSha: () => git.headSha(),
3187
3208
  /**
@@ -3199,14 +3220,33 @@ async function runLoop(opts) {
3199
3220
  // retryable and says what actually happened.
3200
3221
  if (!read.ok)
3201
3222
  return { ok: false, reason: read.because, unknown: true };
3202
- const confirmed = (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)({
3223
+ const key2Input = {
3203
3224
  scope: askedScope,
3204
3225
  items: owned,
3205
3226
  rounds: read.rounds,
3206
3227
  // F27: a carried commit is confirmed as the round the lane carried.
3207
3228
  currentHead: judged.kind === 'carried' ? judged.of : head,
3208
3229
  requiredSteps: (0, gate_1.requiredSteps)(config.gates),
3209
- });
3230
+ };
3231
+ let confirmed = (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)(key2Input);
3232
+ /**
3233
+ * THE CODE MOVED ON: CHECK WHAT IS HERE NOW, DON'T HAND IT BACK (`goal-reproof.ts`).
3234
+ * Another ticket's run cut on top of this goal's commits is the common case in a
3235
+ * person's own checkout; the gates run again at HEAD, and KEY 2 is asked again.
3236
+ */
3237
+ if (!confirmed.ok && confirmed.moved === true && judged.kind !== 'carried') {
3238
+ log('goal : the code moved on since this plan was delivered — running the gates again at the current tree');
3239
+ const again = await (0, goal_reproof_1.reproveAtHead)(head, (0, goal_execution_evidence_1.committedShasOf)(key2Input), {
3240
+ changedPaths: () => git.changedPaths(),
3241
+ isAncestor: (a, of) => git.isAncestor(a, of),
3242
+ changedPathsBetween: (from, to) => git.changedPathsBetween(from, to),
3243
+ runGates: async (paths) => (await (0, gate_1.runGate)({ steps: config.gates, changedPaths: paths, runner: (0, untrusted_gate_1.makeUntrustedGateRunner)(cwd) })).steps,
3244
+ });
3245
+ confirmed = again.ok
3246
+ ? (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)({ ...key2Input, rechecked: { contains: again.contains, steps: again.steps } })
3247
+ : { ok: false, because: `${goal_execution_evidence_1.CODE_MOVED_ON}, and it could not be checked again: ${again.because}` };
3248
+ log(`goal : ${confirmed.ok ? 'the gates pass at the current tree, and this plan’s work is in it' : confirmed.because}`);
3249
+ }
3210
3250
  /**
3211
3251
  * 🔴 WHAT KEY 2 SAW, KEPT FOR THE FOURTH KEY.
3212
3252
  *
@@ -3222,7 +3262,7 @@ async function runLoop(opts) {
3222
3262
  deliveringSha = confirmed.round.sha ?? null;
3223
3263
  key2Saw = {
3224
3264
  delivered: new Set(confirmed.delivered),
3225
- checks: new Map((confirmed.round.gate?.steps ?? []).map((st) => [
3265
+ checks: new Map((confirmed.reproved ?? confirmed.round.gate?.steps ?? []).map((st) => [
3226
3266
  st.step,
3227
3267
  // A `when:` filter that matched nothing is SKIPPED, which
3228
3268
  // is a different answer from passing — and the whole
@@ -3378,6 +3418,9 @@ async function runLoop(opts) {
3378
3418
  const left = scope === null ? null : (0, core_1.workLeft)(runQueue.list());
3379
3419
  if (left === 'finished')
3380
3420
  return `this goal's work is done — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
3421
+ if (left === 'stalled' && compiledThisRun && !runQueue.list().some((i) => i.state === 'draft')) {
3422
+ return `nothing in the first plan is ready to work on — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}; the next Start checks this goal against the code`;
3423
+ }
3381
3424
  if (left === 'stalled')
3382
3425
  return `nothing here can move without you — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
3383
3426
  return `nothing to do — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
@@ -3508,7 +3551,19 @@ async function runLoop(opts) {
3508
3551
  throw new RunRefused(`this goal's work is done — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`, 'run_refused');
3509
3552
  }
3510
3553
  if (left === 'stalled') {
3554
+ /**
3555
+ * NOT A PERSON'S YET, WHEN THIS START ONLY JUST MADE THE PLAN.
3556
+ *
3557
+ * The verify pass can set a fresh plan's steps aside (stale, duplicate, blocked) and leave
3558
+ * nothing to pick. Nobody has asked the goal check yet: the next Start does — it measures
3559
+ * the goal against the code and re-plans what is missing (TAB-B-45 ended here). Retryable.
3560
+ * Items that wait on a person's decision (an `unclear` draft) still say so.
3561
+ */
3562
+ const firstPlanOnly = compiledThisRun && !runQueue.list().some((i) => i.state === 'draft');
3563
+ const stalledBecause = (0, queue_summary_1.describeNoReady)(runQueue.list());
3511
3564
  await releaseHold();
3565
+ if (firstPlanOnly)
3566
+ throw new Error(`nothing in the first plan is ready to work on — ${stalledBecause}; the next Start checks this goal against the code`);
3512
3567
  throw new RunRefused(`nothing here can move without you — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`, 'human_required');
3513
3568
  }
3514
3569
  await releaseHold();