codex-orchestrator 0.1.40 → 0.1.42
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/CHANGELOG.md +22 -0
- package/dist/src/cli.js +9 -0
- package/dist/src/cli.js.map +1 -1
- package/dist/src/config/schema.d.ts +6 -0
- package/dist/src/config/schema.d.ts.map +1 -1
- package/dist/src/config/schema.js +31 -0
- package/dist/src/config/schema.js.map +1 -1
- package/dist/src/git/worktree.d.ts +3 -1
- package/dist/src/git/worktree.d.ts.map +1 -1
- package/dist/src/git/worktree.js +51 -17
- package/dist/src/git/worktree.js.map +1 -1
- package/dist/src/github/gh-issue-adapter.d.ts +2 -0
- package/dist/src/github/gh-issue-adapter.d.ts.map +1 -1
- package/dist/src/github/gh-issue-adapter.js +7 -1
- package/dist/src/github/gh-issue-adapter.js.map +1 -1
- package/dist/src/github/issues.d.ts +3 -0
- package/dist/src/github/issues.d.ts.map +1 -1
- package/dist/src/github/issues.js +7 -1
- package/dist/src/github/issues.js.map +1 -1
- package/dist/src/index.d.ts +2 -0
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +1 -0
- package/dist/src/index.js.map +1 -1
- package/dist/src/runner/acceptance-proof-loop.d.ts +115 -0
- package/dist/src/runner/acceptance-proof-loop.d.ts.map +1 -0
- package/dist/src/runner/acceptance-proof-loop.js +401 -0
- package/dist/src/runner/acceptance-proof-loop.js.map +1 -0
- package/dist/src/runner/acceptance-proof-runner.d.ts +2 -20
- package/dist/src/runner/acceptance-proof-runner.d.ts.map +1 -1
- package/dist/src/runner/acceptance-proof-runner.js +9 -103
- package/dist/src/runner/acceptance-proof-runner.js.map +1 -1
- package/dist/src/runner/agent-attempt.d.ts +105 -0
- package/dist/src/runner/agent-attempt.d.ts.map +1 -0
- package/dist/src/runner/agent-attempt.js +235 -0
- package/dist/src/runner/agent-attempt.js.map +1 -0
- package/dist/src/runner/auto-visual-proof-command.d.ts.map +1 -1
- package/dist/src/runner/auto-visual-proof-command.js +6 -12
- package/dist/src/runner/auto-visual-proof-command.js.map +1 -1
- package/dist/src/runner/command-utils.d.ts +6 -2
- package/dist/src/runner/command-utils.d.ts.map +1 -1
- package/dist/src/runner/command-utils.js +34 -1
- package/dist/src/runner/command-utils.js.map +1 -1
- package/dist/src/runner/daemon-command.d.ts +3 -1
- package/dist/src/runner/daemon-command.d.ts.map +1 -1
- package/dist/src/runner/daemon-command.js +37 -0
- package/dist/src/runner/daemon-command.js.map +1 -1
- package/dist/src/runner/durable-run-summary.d.ts +19 -0
- package/dist/src/runner/durable-run-summary.d.ts.map +1 -1
- package/dist/src/runner/durable-run-summary.js +107 -2
- package/dist/src/runner/durable-run-summary.js.map +1 -1
- package/dist/src/runner/handoff-evidence.d.ts +1 -0
- package/dist/src/runner/handoff-evidence.d.ts.map +1 -1
- package/dist/src/runner/handoff-evidence.js +2 -2
- package/dist/src/runner/handoff-evidence.js.map +1 -1
- package/dist/src/runner/hygiene-cleanup.d.ts +15 -0
- package/dist/src/runner/hygiene-cleanup.d.ts.map +1 -0
- package/dist/src/runner/hygiene-cleanup.js +25 -0
- package/dist/src/runner/hygiene-cleanup.js.map +1 -0
- package/dist/src/runner/issue-tree.d.ts +1 -1
- package/dist/src/runner/issue-tree.d.ts.map +1 -1
- package/dist/src/runner/issue-tree.js +15 -6
- package/dist/src/runner/issue-tree.js.map +1 -1
- package/dist/src/runner/local-execution-session.d.ts.map +1 -1
- package/dist/src/runner/local-execution-session.js +84 -127
- package/dist/src/runner/local-execution-session.js.map +1 -1
- package/dist/src/runner/plan-auto-command.d.ts +3 -0
- package/dist/src/runner/plan-auto-command.d.ts.map +1 -1
- package/dist/src/runner/plan-auto-command.js +319 -310
- package/dist/src/runner/plan-auto-command.js.map +1 -1
- package/dist/src/runner/plan-auto-recovery.d.ts +83 -0
- package/dist/src/runner/plan-auto-recovery.d.ts.map +1 -0
- package/dist/src/runner/plan-auto-recovery.js +303 -0
- package/dist/src/runner/plan-auto-recovery.js.map +1 -0
- package/dist/src/runner/review-gate-policy.d.ts +7 -1
- package/dist/src/runner/review-gate-policy.d.ts.map +1 -1
- package/dist/src/runner/review-gate-policy.js +11 -123
- package/dist/src/runner/review-gate-policy.js.map +1 -1
- package/dist/src/runner/rework-policy.js +1 -1
- package/dist/src/runner/rework-policy.js.map +1 -1
- package/dist/src/runner/runner-handoff-decision.d.ts.map +1 -1
- package/dist/src/runner/runner-handoff-decision.js +22 -4
- package/dist/src/runner/runner-handoff-decision.js.map +1 -1
- package/dist/src/runner/scoped-auto-command.d.ts.map +1 -1
- package/dist/src/runner/scoped-auto-command.js +104 -221
- package/dist/src/runner/scoped-auto-command.js.map +1 -1
- package/dist/src/runner/scoped-recovery.d.ts +13 -0
- package/dist/src/runner/scoped-recovery.d.ts.map +1 -1
- package/dist/src/runner/scoped-recovery.js +7 -7
- package/dist/src/runner/scoped-recovery.js.map +1 -1
- package/dist/src/runner/terminal-outcome.d.ts +58 -0
- package/dist/src/runner/terminal-outcome.d.ts.map +1 -0
- package/dist/src/runner/terminal-outcome.js +73 -0
- package/dist/src/runner/terminal-outcome.js.map +1 -0
- package/dist/src/runner/visual-proof-runner.d.ts +2 -0
- package/dist/src/runner/visual-proof-runner.d.ts.map +1 -1
- package/dist/src/runner/visual-proof-runner.js +30 -8
- package/dist/src/runner/visual-proof-runner.js.map +1 -1
- package/dist/src/setup/setup-command.js +1 -0
- package/dist/src/setup/setup-command.js.map +1 -1
- package/docs/deep-dive.md +26 -0
- package/package.json +1 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"acceptance-proof-loop.js","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-loop.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,OAAO,EACL,iCAAiC,EACjC,kCAAkC,EAClC,yCAAyC,EACzC,2BAA2B,EAC3B,gCAAgC,EAChC,yBAAyB,GAE1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AA6ErE,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,MAAM,aAAa,GAAG,8BAA8B,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAC5G,MAAM,eAAe,GAAG,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC;IAC9E,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IAExE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,kBAAkB;gBACtE,CAAC,CAAC,qDAAqD;gBACvD,CAAC,CAAC,iCAAiC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QACpG,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,wCAAwC;SACjD,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,oDAAoD;YAC5D,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,iFAAiF;KAC1F,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,KAAyC;IAEzC,MAAM,IAAI,GAAG,0BAA0B,CAAC;QACtC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,mBAAmB;QACvC,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;KACzD,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,KAAK,CAAC,mBAAmB;YACvC,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,EAAE;YACb,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,EAAE;YACZ,aAAa,EAAE,EAAE;SAClB,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,gCAAgC,CAAC;QACzD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,YAAY,EAAE,KAAK,CAAC,mBAAmB;KACxC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,MAAM,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,gBAAgB,CAAC;QAC7C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,KAAK,CAAC,UAAU;KAC3B,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC;IAC5C,MAAM,sBAAsB,GAAG,MAAM,WAAW,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAC;IAC7F,MAAM,aAAa,GAAG,MAAM,qBAAqB,CAAC;QAChD,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,aAAa;QACb,sBAAsB;QACtB,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,2BAA2B,CAAC,KAAK,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACpF,MAAM,qBAAqB,GAAG,SAAS,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC;QACtE,CAAC,CAAC,yCAAyC,CAAC;YACxC,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,YAAY,EAAE,aAAa,CAAC,QAAQ;YACpC,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,aAAa,EAAE,sBAAsB;YACrC,qBAAqB,EAAE,SAAS,CAAC,qBAAqB;SACvD,CAAC;QACJ,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,YAAY,GAAG,qBAAqB;QACxC,CAAC,CAAC;YACE,GAAG,aAAa;YAChB,MAAM,EAAE,SAAkB;YAC1B,UAAU,EAAE,qBAAqB,CAAC,UAAU;YAC5C,QAAQ,EAAE,qBAAqB,CAAC,QAAQ;YACxC,QAAQ,EAAE,qBAAqB;SAChC;QACH,CAAC,CAAC,aAAa,CAAC;IAClB,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC;IACrE,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QAC9C,CAAC,CAAC,CAAC;gBACC,OAAO,EAAE,kCAAkC;gBAC3C,MAAM,EAAE,QAAiB;gBACzB,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,KAAK,QAAQ,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACrG,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,aAAa,CAAC;QAClC,GAAG,aAAa,CAAC,aAAa;QAC9B,GAAG,YAAY,CAAC,aAAa;KAC9B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QACvC,CAAC,CAAC;YACE,GAAG,YAAY,CAAC,QAAQ;YACxB,MAAM,EAAE,SAAkB;YAC1B,UAAU,EAAE,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,eAAe,CAAC;YACrE,QAAQ;SACT;QACH,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;IAE1B,OAAO;QACL,MAAM;QACN,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,eAAe,CAAC;QAC5D,SAAS,EAAE,mBAAmB,CAAC,aAAa,CAAC,oBAAoB,EAAE,YAAY,CAAC,SAAS,CAAC;QAC1F,aAAa;QACb,QAAQ;QACR,aAAa;QACb,QAAQ;QACR,eAAe,EAAE,aAAa,CAAC,UAAU;QACzC,gBAAgB,EAAE,aAAa,CAAC,WAAW;KAC5C,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,KAAyC,EACzC,IAAyB;IAEzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,+FAA+F,CAAC,CAAC;QACnH,CAAC;QACD,OAAO,KAAK,CAAC,oBAAoB,EAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,6FAA6F,CAAC,CAAC;QACjH,CAAC;QACD,OAAO,KAAK,CAAC,mBAAmB,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,KAKpC;IACC,MAAM,UAAU,GAAG,MAAM,yBAAyB,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IACnF,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,iBAAiB,GAAG,8BAA8B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC9E,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,QAAQ,KAAK,CAAC;YACjD,CAAC,CAAC,CAAC,6FAA6F,CAAC;YACjG,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QACjD,OAAO,kCAAkC,CAAC;YACxC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;YACpC,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;YAC1C,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;YAC1C,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,WAAW;YAC5C,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;YAChD,iBAAiB;YACjB,QAAQ;YACR,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;YAChD,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC,QAAQ;YAC7C,oBAAoB,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;SACxD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,kCAAkC,CAAC;YACxC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;YACpC,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;YAC1C,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;YAC1C,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,WAAW;YAC5C,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;YAChD,iBAAiB,EAAE,UAAU,CAAC,OAAO;YACrC,QAAQ,EAAE,CAAC,6BAA6B,UAAU,CAAC,OAAO,EAAE,CAAC;YAC7D,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;YAChD,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC,QAAQ;YAC7C,oBAAoB,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;SACxD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,iCAAiC,CAAC;QACvC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;QACpC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC,QAAQ;QAC7C,oBAAoB,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;QACvD,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;QAC1C,UAAU,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU;QAC1C,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,WAAW;QAC5C,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB,YAAY,MAAM,CAAC,QAAQ,CAAC,MAAM,0DAA0D;QACzN,mBAAmB,EAAE,KAAK,CAAC,aAAa,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,yBAAyB;KACrH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,8BAA8B,CAAC,aAA2C;IACjF,IAAI,aAAa,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,kEAAkE,aAAa,CAAC,oBAAoB,CAAC,MAAM,uFAAuF,aAAa,CAAC,UAAU,GAAG,CAAC;IACvO,CAAC;IACD,OAAO,6FAA6F,CAAC;AACvG,CAAC;AAED,SAAS,qBAAqB,CAAC,aAA2C;IACxE,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,gCAAgC,CAAC;IACvH,OAAO,GAAG,MAAM,KAAK,aAAa,CAAC,aAAa,IAAI,QAAQ,aAAa,CAAC,QAAQ,EAAE,EAAE,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAIlC;IACC,MAAM,aAAa,GAAG,8BAA8B,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC;IAC5G,MAAM,cAAc,GAAG,2BAA2B,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,0BAA0B,CAAC,EAAE,GAAG,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,CAAC;IAEvF,IAAI,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACrE,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS;YACT,cAAc;YACd,aAAa;YACb,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,qDAAqD;SAC9D,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS;YACT,cAAc;YACd,aAAa;YACb,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,GAAG,cAAc,uBAAuB;SACjD,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,SAAS;YACT,cAAc;YACd,aAAa;YACb,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,6DAA6D;SACtE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,IAAI,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS;YACT,cAAc;YACd,aAAa;YACb,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,4EAA4E;SACrF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK;QACd,SAAS;QACT,cAAc;QACd,aAAa;QACb,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,yDAAyD;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAI1C;IACC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,KAIjD;IACC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAItC;IACC,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAA+B;IAerE,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACnD,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;IAC3D,MAAM,kBAAkB,GAAG,2BAA2B,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IACrF,MAAM,eAAe,GAAG,kBAAkB;QACxC,CAAC,CAAC,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE;QAC7C,CAAC,CAAC,eAAe,CAAC,uBAAuB,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE,CAAC;IACnG,OAAO;QACL,eAAe,EAAE,eAAe,IAAI,SAAS;QAC7C,WAAW,EAAE,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW;QACvF,cAAc,EAAE,kBAAkB;YAChC,CAAC,CAAC,WAAW,CAAC,cAAc,IAAI,eAAe,CAAC,cAAc,IAAI,EAAE;YACpE,CAAC,CAAC,eAAe,CAAC,cAAc,EAAE,MAAM;gBACtC,CAAC,CAAC,eAAe,CAAC,cAAc;gBAChC,CAAC,CAAC,WAAW,CAAC,cAAc,IAAI,EAAE;QACtC,SAAS,EAAE,kBAAkB;YAC3B,CAAC,CAAC,WAAW,CAAC,eAAe,IAAI,eAAe,CAAC,eAAe;YAChE,CAAC,CAAC,eAAe,CAAC,eAAe,IAAI,WAAW,CAAC,eAAe;QAClE,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,oBAAoB,EAAE,WAAW,CAAC,oBAAoB,IAAI,KAAK;QAC/D,mBAAmB,EAAE,CAAC,kBAAkB;QACxC,YAAY,EAAE;YACZ,mBAAmB,EAAE,eAAe,CAAC,YAAY,EAAE,mBAAmB,IAAI,KAAK;YAC/E,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,qBAAqB,IAAI,KAAK;YACnF,YAAY,EAAE,eAAe,CAAC,YAAY,EAAE,YAAY;YACxD,OAAO,EAAE,eAAe,CAAC,YAAY,EAAE,OAAO;SAC/C;KACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA+B,EAC/B,aAA4E,EAC5E,SAAkB;IAElB,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC;IACjE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,IAAI,aAAa,KAAK,eAAe,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC1G,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,6BAA6B,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;WAC9D,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACzD,MAAM,yBAAyB,GAAG,CAAC,6BAA6B;WAC3D,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC3F,MAAM,2BAA2B,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACnE,eAAe,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAC/E,CAAC;IACF,OAAO,yBAAyB,IAAI,2BAA2B,IAAI,SAAS,CAAC;AAC/E,CAAC;AAED,SAAS,2BAA2B,CAAC,KAIpC,EAAE,aAA4E;IAC7E,MAAM,eAAe,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3G,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9D,IAAI,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACrE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,aAAa,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACzI,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACxI,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAI7B,EAAE,aAA4E;IAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACzD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC;IACtE,IAAI,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,aAAa,KAAK,gBAAgB,IAAI,aAAa,KAAK,eAAe,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC1G,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,6BAA6B,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;WAC9D,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACzD,MAAM,qBAAqB,GAAG,WAAW,CAAC,OAAO;WAC5C,CAAC,6BAA6B;WAC9B,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACvF,MAAM,iBAAiB,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3D,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAC3E,CAAC;IAEF,OAAO,qBAAqB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,yBAAyB,CAAC,MAA+B;IAChE,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAY;IAC7C,OAAO,8DAA8D,CAAC,IAAI,CAAC,IAAI,CAAC;WAC3E,6DAA6D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,2BAA2B,CAClC,eAA0E,EAC1E,WAAkE;IAElE,MAAM,oBAAoB,GAAG,+DAA+D,CAAC;IAC7F,MAAM,kBAAkB,GAAG,6DAA6D,CAAC;IACzF,MAAM,iBAAiB,GAAG,eAAe,CAAC,uBAAuB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChF,OAAO,CAAC,iBAAiB,KAAK,oBAAoB,IAAI,iBAAiB,KAAK,kBAAkB,CAAC;WAC1F,OAAO,CAAC,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE,CAAC;WACpD,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE,KAAK,oBAAoB;WACpE,WAAW,CAAC,uBAAuB,EAAE,IAAI,EAAE,KAAK,kBAAkB,CAAC;AAC1E,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;WAClC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC;WAC3C,qEAAqE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,IAAI,KAAK,cAAc,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,wEAAwE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,IAAY;IACjD,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAyC,EACzC,KAA0C;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACzB,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,WAAW,CAAC;QAClE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,MAAgB;IACrC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACrC,CAAC"}
|
|
@@ -1,10 +1,8 @@
|
|
|
1
1
|
import type { CodexCommandRunInput, CodexCommandRunResult } from '../codex/command-adapter.js';
|
|
2
2
|
import type { CodexOrchestratorConfig } from '../config/schema.js';
|
|
3
|
-
import type { GitWorktreeManager } from '../git/worktree.js';
|
|
4
3
|
import type { GitHubIssue } from '../github/issues.js';
|
|
5
4
|
import type { ScopedCompletionReport } from './completion-report.js';
|
|
6
|
-
import type {
|
|
7
|
-
import { type AcceptanceProofAttemptEvidence } from './acceptance-proof.js';
|
|
5
|
+
import type { AcceptanceProofAdapterResult } from './acceptance-proof-loop.js';
|
|
8
6
|
export type { AcceptanceProofAttemptEvidence } from './acceptance-proof.js';
|
|
9
7
|
export interface RunAcceptanceProofAttemptInput {
|
|
10
8
|
config: CodexOrchestratorConfig;
|
|
@@ -16,26 +14,10 @@ export interface RunAcceptanceProofAttemptInput {
|
|
|
16
14
|
codexAdapter: {
|
|
17
15
|
run(input: CodexCommandRunInput): Promise<CodexCommandRunResult>;
|
|
18
16
|
};
|
|
19
|
-
git: Pick<GitWorktreeManager, 'collectSessionChangeSet'>;
|
|
20
|
-
beforeHead: string;
|
|
21
17
|
sessionId: string;
|
|
22
18
|
branchName: string;
|
|
23
19
|
workflowPromptText: string;
|
|
24
20
|
logPath?: string;
|
|
25
21
|
}
|
|
26
|
-
export
|
|
27
|
-
status: 'passed' | 'blocked';
|
|
28
|
-
changedFiles: string[];
|
|
29
|
-
validation: RunnerValidationLine[];
|
|
30
|
-
artifacts: ScopedCompletionReport['artifacts'];
|
|
31
|
-
residualRisks: string[];
|
|
32
|
-
blockers: string[];
|
|
33
|
-
evidence: AcceptanceProofAttemptEvidence;
|
|
34
|
-
}
|
|
35
|
-
export declare function shouldRunAcceptanceProofAttempt(input: {
|
|
36
|
-
config: CodexOrchestratorConfig;
|
|
37
|
-
issue: GitHubIssue;
|
|
38
|
-
changedFiles: string[];
|
|
39
|
-
}): boolean;
|
|
40
|
-
export declare function runAcceptanceProofAttempt(input: RunAcceptanceProofAttemptInput): Promise<AcceptanceProofAttemptResult>;
|
|
22
|
+
export declare function runAcceptanceProofAdapter(input: RunAcceptanceProofAttemptInput): Promise<AcceptanceProofAdapterResult>;
|
|
41
23
|
//# sourceMappingURL=acceptance-proof-runner.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acceptance-proof-runner.d.ts","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"acceptance-proof-runner.d.ts","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAC/F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAErE,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAG/E,YAAY,EAAE,8BAA8B,EAAE,MAAM,uBAAuB,CAAC;AAE5E,MAAM,WAAW,8BAA8B;IAC7C,MAAM,EAAE,uBAAuB,CAAC;IAChC,KAAK,EAAE,WAAW,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,YAAY,EAAE;QAAE,GAAG,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAA;KAAE,CAAC;IACnF,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAsB,yBAAyB,CAC7C,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,4BAA4B,CAAC,CAqEvC"}
|
|
@@ -1,19 +1,8 @@
|
|
|
1
|
-
import { existsSync } from 'node:fs';
|
|
2
1
|
import { mkdir, writeFile } from 'node:fs/promises';
|
|
3
2
|
import { dirname, join } from 'node:path';
|
|
4
|
-
import {
|
|
5
|
-
import { buildAcceptanceProofReportOutcome, buildBlockedAcceptanceProofOutcome, createAcceptanceProofDiffCapture, readAcceptanceProofReport, uiEvidenceFailureDimensions, } from './acceptance-proof.js';
|
|
3
|
+
import { uiEvidenceFailureDimensions } from './acceptance-proof.js';
|
|
6
4
|
import { cleanupSessionCodexHome, sessionCodexHomePath } from './session-home.js';
|
|
7
|
-
export function
|
|
8
|
-
const acceptanceProof = input.config.reviewGates.acceptanceProof;
|
|
9
|
-
if (!acceptanceProof.enabled) {
|
|
10
|
-
return false;
|
|
11
|
-
}
|
|
12
|
-
const issueText = `${input.issue.title}\n${input.issue.body}`;
|
|
13
|
-
return acceptanceProof.issueTextPatterns.some((pattern) => new RegExp(pattern, 'iu').test(issueText))
|
|
14
|
-
|| input.changedFiles.some((path) => acceptanceProof.changedPathGlobs.some((pattern) => globMatches(pattern, path)));
|
|
15
|
-
}
|
|
16
|
-
export async function runAcceptanceProofAttempt(input) {
|
|
5
|
+
export async function runAcceptanceProofAdapter(input) {
|
|
17
6
|
const proofDir = join(input.worktreePath, input.config.reviewGates.acceptanceProof.artifactDir, `issue-${input.issue.number}`);
|
|
18
7
|
const proofReportPath = join(proofDir, 'acceptance-proof-report.json');
|
|
19
8
|
const proofSessionId = `${input.sessionId}-acceptance-proof`;
|
|
@@ -34,10 +23,6 @@ export async function runAcceptanceProofAttempt(input) {
|
|
|
34
23
|
worktreePath: input.worktreePath,
|
|
35
24
|
});
|
|
36
25
|
await writeFile(proofPromptPath, promptText, 'utf8');
|
|
37
|
-
const proofDiffCapture = await createAcceptanceProofDiffCapture({
|
|
38
|
-
worktreePath: input.worktreePath,
|
|
39
|
-
changedFiles: input.changedFiles,
|
|
40
|
-
});
|
|
41
26
|
let proofResult;
|
|
42
27
|
try {
|
|
43
28
|
proofResult = await input.codexAdapter.run({
|
|
@@ -65,73 +50,17 @@ export async function runAcceptanceProofAttempt(input) {
|
|
|
65
50
|
finally {
|
|
66
51
|
await cleanupSessionCodexHome(isolatedHomePath);
|
|
67
52
|
}
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
baseHead: input.beforeHead,
|
|
71
|
-
});
|
|
72
|
-
const proofPhaseChangedFiles = await proofDiffCapture.collectProofPhaseChangedFiles(changeSet.changedPaths);
|
|
73
|
-
const reportRead = await readAcceptanceProofReport(proofReportPath);
|
|
74
|
-
if (reportRead.kind === 'missing') {
|
|
75
|
-
return blocked({
|
|
76
|
-
commandExitCode: proofResult.exitCode,
|
|
77
|
-
commandOutputSummary: `Codex exited with code ${proofResult.exitCode}: ${proofResult.stderr || proofResult.stdout}`,
|
|
78
|
-
proofPromptPath,
|
|
79
|
-
proofReportPath,
|
|
80
|
-
proofDir,
|
|
81
|
-
changedFiles: changeSet.changedPaths,
|
|
82
|
-
artifactPaths: proofPhaseChangedFiles,
|
|
83
|
-
validationSummary: 'Acceptance proof blocked: proof session did not write CODEX_ORCHESTRATOR_PROOF_REPORT_PATH.',
|
|
84
|
-
blockers: ['Acceptance proof blocked: proof session did not write CODEX_ORCHESTRATOR_PROOF_REPORT_PATH.'],
|
|
85
|
-
residualRisks: [],
|
|
86
|
-
});
|
|
87
|
-
}
|
|
88
|
-
if (reportRead.kind === 'invalid') {
|
|
89
|
-
return blocked({
|
|
90
|
-
commandExitCode: proofResult.exitCode,
|
|
91
|
-
commandOutputSummary: `Codex exited with code ${proofResult.exitCode}: ${proofResult.stderr || proofResult.stdout}`,
|
|
92
|
-
proofPromptPath,
|
|
93
|
-
proofReportPath,
|
|
94
|
-
proofDir,
|
|
95
|
-
changedFiles: changeSet.changedPaths,
|
|
96
|
-
artifactPaths: proofPhaseChangedFiles,
|
|
97
|
-
validationSummary: reportRead.message,
|
|
98
|
-
blockers: [`Acceptance proof blocked: ${reportRead.message}`],
|
|
99
|
-
residualRisks: [],
|
|
100
|
-
});
|
|
101
|
-
}
|
|
102
|
-
const outcome = buildAcceptanceProofReportOutcome({
|
|
53
|
+
return {
|
|
54
|
+
adapterKind: 'adaptive',
|
|
103
55
|
command: 'adaptive acceptance proof',
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
proofPhaseChangedFiles,
|
|
107
|
-
artifactExists: (path) => existsSync(join(input.worktreePath, path)),
|
|
108
|
-
commandExitCode: proofResult.exitCode,
|
|
109
|
-
commandOutputSummary: `proof session exited ${proofResult.exitCode}: ${proofResult.stderr || proofResult.stdout}`,
|
|
56
|
+
exitCode: proofResult.exitCode,
|
|
57
|
+
outputSummary: `proof session exited ${proofResult.exitCode}: ${proofResult.stderr || proofResult.stdout}`,
|
|
110
58
|
promptPath: proofPromptPath,
|
|
111
59
|
reportPath: proofReportPath,
|
|
112
60
|
artifactDir: proofDir,
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
if (outcome.status !== 'passed') {
|
|
117
|
-
return {
|
|
118
|
-
status: 'blocked',
|
|
119
|
-
changedFiles: changeSet.changedPaths,
|
|
120
|
-
validation: outcome.validation,
|
|
121
|
-
artifacts: outcome.artifacts,
|
|
122
|
-
residualRisks: outcome.residualRisks,
|
|
123
|
-
blockers: outcome.blockers,
|
|
124
|
-
evidence: outcome.evidence,
|
|
125
|
-
};
|
|
126
|
-
}
|
|
127
|
-
return {
|
|
128
|
-
status: 'passed',
|
|
129
|
-
changedFiles: changeSet.changedPaths,
|
|
130
|
-
validation: outcome.validation,
|
|
131
|
-
artifacts: outcome.artifacts,
|
|
132
|
-
residualRisks: outcome.residualRisks,
|
|
133
|
-
blockers: [],
|
|
134
|
-
evidence: outcome.evidence,
|
|
61
|
+
artifactPaths: [],
|
|
62
|
+
preliminaryArtifacts: [],
|
|
63
|
+
residualRisks: [],
|
|
135
64
|
};
|
|
136
65
|
}
|
|
137
66
|
function buildAcceptanceProofPrompt(input) {
|
|
@@ -171,27 +100,4 @@ function buildAcceptanceProofPrompt(input) {
|
|
|
171
100
|
'Schema: { "status": "passed" | "needs-rework" | "blocked", "criteria": { "id": string, "description": string, "status": "passed" | "failed" | "unknown", "confidence": "high" | "medium" | "low", "reasoningSummary": string, "artifactRefs": string[] }[], "artifacts": { "type": "screenshot" | "ui-dump" | "log" | "smoke-output" | "other", "path"?: string, "url"?: string, "description": string }[], "uiEvidence"?: { "workflowScope": { "entrypoint": string, "path": string[], "screenState": string, "authPath"?: "real-login" | "seeded-session" | "not-required" | "blocked", "authShortcutReason"?: string }, "viewportCoverage": { "name": string, "width": number, "height": number, "artifactRefs": string[], "requiredBy": "desktop-web-layout" | "mobile-or-responsive" | "issue-specific" | "other" }[], "artifactFreshness": { "currentArtifactRefs": string[], "checkedAfterFinalRun": boolean }, "layoutReview": { "checked": boolean, "findings": { "summary": string, "artifactRefs": string[] }[] }, "copyReview": { "checked": boolean, "acceptedTerms"?: string[], "rejectedTermsAbsent"?: string[], "findings": { "summary": string, "artifactRefs": string[] }[] }, "sourceInputs": { "acceptanceCriteriaRefs": string[], "implementationEvidenceRefs": string[], "reproductionSignalRefs"?: string[], "manualQaPlanRefs"?: string[], "runtimeValidationRefs"?: string[] } }, "proofScriptRepair"?: { "changedPaths": string[], "summary": string }, "proofPhaseDiff": { "allowedProofPaths": string[], "forbiddenProductPaths": string[] }, "reworkRequest"?: { "summary": string, "requiredChanges": string[], "evidenceRefs": string[] }, "residualRisks": string[] }.',
|
|
172
101
|
].join('\n\n');
|
|
173
102
|
}
|
|
174
|
-
function blocked(input) {
|
|
175
|
-
const outcome = buildBlockedAcceptanceProofOutcome({
|
|
176
|
-
command: 'adaptive acceptance proof',
|
|
177
|
-
promptPath: input.proofPromptPath,
|
|
178
|
-
reportPath: input.proofReportPath,
|
|
179
|
-
artifactDir: input.proofDir,
|
|
180
|
-
artifactPaths: input.artifactPaths,
|
|
181
|
-
validationSummary: input.validationSummary,
|
|
182
|
-
blockers: input.blockers,
|
|
183
|
-
residualRisks: input.residualRisks,
|
|
184
|
-
commandExitCode: input.commandExitCode,
|
|
185
|
-
commandOutputSummary: input.commandOutputSummary,
|
|
186
|
-
});
|
|
187
|
-
return {
|
|
188
|
-
status: 'blocked',
|
|
189
|
-
changedFiles: input.changedFiles,
|
|
190
|
-
validation: outcome.validation,
|
|
191
|
-
artifacts: outcome.artifacts,
|
|
192
|
-
residualRisks: outcome.residualRisks,
|
|
193
|
-
blockers: outcome.blockers,
|
|
194
|
-
evidence: outcome.evidence,
|
|
195
|
-
};
|
|
196
|
-
}
|
|
197
103
|
//# sourceMappingURL=acceptance-proof-runner.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"acceptance-proof-runner.js","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"acceptance-proof-runner.js","sourceRoot":"","sources":["../../../src/runner/acceptance-proof-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAM1C,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAkBlF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,KAAqC;IAErC,MAAM,QAAQ,GAAG,IAAI,CACnB,KAAK,CAAC,YAAY,EAClB,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,WAAW,EACpD,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAC9B,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,GAAG,KAAK,CAAC,SAAS,mBAAmB,CAAC;IAC7D,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC;IAC3G,MAAM,eAAe,GAAG,IAAI,CAC1B,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAC5B,SAAS,EACT,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,sBAAsB,CACrE,CAAC;IACF,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,KAAK,CAAC,gBAAgB,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEnD,MAAM,UAAU,GAAG,0BAA0B,CAAC;QAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;QAChD,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,QAAQ;QACrB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,MAAM,SAAS,CAAC,eAAe,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACrD,IAAI,WAAkC,CAAC;IACvC,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;YACzC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,eAAe;YAC3B,UAAU;YACV,UAAU,EAAE,eAAe;YAC3B,gBAAgB;YAChB,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;YAC/B,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,EAAE;gBACH,4BAA4B,EAAE,QAAQ;gBACtC,oCAAoC,EAAE,eAAe;gBACrD,qCAAqC,EAAE,QAAQ;gBAC/C,gCAAgC,EAAE,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/D,yCAAyC,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;aACnH;SACF,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,MAAM,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;IACD,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,2BAA2B;QACpC,QAAQ,EAAE,WAAW,CAAC,QAAQ;QAC9B,aAAa,EAAE,wBAAwB,WAAW,CAAC,QAAQ,KAAK,WAAW,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE;QAC1G,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,QAAQ;QACrB,aAAa,EAAE,EAAE;QACjB,oBAAoB,EAAE,EAAE;QACxB,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CAAC,KAUnC;IACC,OAAO;QACL,wBAAwB;QACxB,aAAa;QACb,KAAK,CAAC,kBAAkB;QACxB,UAAU;QACV,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;QAC7C,KAAK,CAAC,KAAK,CAAC,IAAI;QAChB,kBAAkB;QAClB,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnG,4BAA4B;QAC5B,IAAI,CAAC,SAAS,CAAC;YACb,UAAU,EAAE,KAAK,CAAC,oBAAoB,CAAC,UAAU;YACjD,SAAS,EAAE,KAAK,CAAC,oBAAoB,CAAC,SAAS;YAC/C,aAAa,EAAE,KAAK,CAAC,oBAAoB,CAAC,aAAa;SACxD,EAAE,IAAI,EAAE,CAAC,CAAC;QACX,oBAAoB;QACpB,gBAAgB,KAAK,CAAC,UAAU,EAAE;QAClC,sBAAsB,KAAK,CAAC,UAAU,EAAE;QACxC,6BAA6B,KAAK,CAAC,WAAW,EAAE;QAChD,aAAa,KAAK,CAAC,YAAY,EAAE;QACjC,6BAA6B,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtG,qJAAqJ;QACrJ,uFAAuF;QACvF,iNAAiN;QACjN,uOAAuO;QACvO,yPAAyP;QACzP,uQAAuQ;QACvQ,4FAA4F;QAC5F,8KAA8K;QAC9K,uKAAuK;QACvK,uQAAuQ;QACvQ,8CAA8C,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACvF,+FAA+F;QAC/F,wmDAAwmD;KACzmD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC"}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import type { CodexCommandRunInput, CodexCommandRunResult } from '../codex/command-adapter.js';
|
|
2
|
+
import type { CodexPhase, CodexOrchestratorConfig } from '../config/schema.js';
|
|
3
|
+
import type { ResolvedBaseBranch } from '../git/base-branch.js';
|
|
4
|
+
import type { GitWorktreeManager } from '../git/worktree.js';
|
|
5
|
+
import type { GitHubIssue } from '../github/issues.js';
|
|
6
|
+
import type { ShellCommandExecutor } from '../process/command.js';
|
|
7
|
+
import type { ReworkAttemptEvidence } from './durable-run-summary.js';
|
|
8
|
+
import type { RunnerMode } from './issue-state-machine.js';
|
|
9
|
+
import { type ImplementationPublishabilityInput, type ImplementationPublishabilityResult, type LocalExecutionPhaseExecutor } from './local-execution-session.js';
|
|
10
|
+
import { RunnerLifecycleEventStore } from './lifecycle-events.js';
|
|
11
|
+
import { type RunnerProcessMetadata } from './local-state.js';
|
|
12
|
+
export interface AgentAttemptPromptInput {
|
|
13
|
+
attempt: number;
|
|
14
|
+
attemptNow: Date;
|
|
15
|
+
sessionId: string;
|
|
16
|
+
promptPath: string;
|
|
17
|
+
reportPath: string;
|
|
18
|
+
logPath: string;
|
|
19
|
+
rework?: AgentAttemptRework;
|
|
20
|
+
}
|
|
21
|
+
export interface AgentAttemptRework {
|
|
22
|
+
attempt: number;
|
|
23
|
+
blockedReasons: string[];
|
|
24
|
+
disableOptionalFigmaMcp?: boolean;
|
|
25
|
+
}
|
|
26
|
+
export interface AgentAttemptLoopInput {
|
|
27
|
+
targetRoot: string;
|
|
28
|
+
config: CodexOrchestratorConfig;
|
|
29
|
+
issue: GitHubIssue;
|
|
30
|
+
issueNumber: number;
|
|
31
|
+
parentIssueNumber?: number;
|
|
32
|
+
mode: Extract<RunnerMode, 'scoped-issue' | 'tree-child'>;
|
|
33
|
+
phase: Extract<CodexPhase, 'scoped-issue' | 'tree-child'>;
|
|
34
|
+
branchName: string;
|
|
35
|
+
worktreePath: string;
|
|
36
|
+
baseBranch: string;
|
|
37
|
+
base?: ResolvedBaseBranch | {
|
|
38
|
+
branch: string;
|
|
39
|
+
sha?: string;
|
|
40
|
+
};
|
|
41
|
+
createdAt: Date;
|
|
42
|
+
firstAttempt?: number;
|
|
43
|
+
initialRework?: AgentAttemptRework;
|
|
44
|
+
buildSessionId: (input: {
|
|
45
|
+
attempt: number;
|
|
46
|
+
attemptNow: Date;
|
|
47
|
+
}) => string;
|
|
48
|
+
buildPrompt: (input: AgentAttemptPromptInput) => string;
|
|
49
|
+
buildSnapshotDecision: (input: {
|
|
50
|
+
rework?: AgentAttemptRework;
|
|
51
|
+
}) => string;
|
|
52
|
+
startedSummary: (input: {
|
|
53
|
+
rework?: AgentAttemptRework;
|
|
54
|
+
}) => string;
|
|
55
|
+
reworkScheduledSummary: (input: {
|
|
56
|
+
nextAttempt: number;
|
|
57
|
+
}) => string;
|
|
58
|
+
reworkEventPhase?: CodexPhase;
|
|
59
|
+
missingPublishabilityMessage?: string;
|
|
60
|
+
codexAdapter: {
|
|
61
|
+
run(input: CodexCommandRunInput): Promise<CodexCommandRunResult>;
|
|
62
|
+
};
|
|
63
|
+
codexTimeoutMs?: number;
|
|
64
|
+
git: Pick<GitWorktreeManager, 'getHead'> & ImplementationPublishabilityInput['git'];
|
|
65
|
+
shellExecutor: ShellCommandExecutor;
|
|
66
|
+
commitMessage: string;
|
|
67
|
+
events: RunnerLifecycleEventStore;
|
|
68
|
+
localPhases?: string[];
|
|
69
|
+
localPhaseExecutor?: LocalExecutionPhaseExecutor;
|
|
70
|
+
acceptanceProof?: Omit<NonNullable<ImplementationPublishabilityInput['acceptanceProof']>, 'sessionId' | 'branchName' | 'onAttemptEvent'>;
|
|
71
|
+
onAcceptanceProofAttemptEvent?: (input: {
|
|
72
|
+
sessionId: string;
|
|
73
|
+
event: AcceptanceProofAttemptEvent;
|
|
74
|
+
}) => Promise<void>;
|
|
75
|
+
runMetadata?: (input: {
|
|
76
|
+
attempt: number;
|
|
77
|
+
attemptNow: Date;
|
|
78
|
+
sessionId: string;
|
|
79
|
+
promptPath: string;
|
|
80
|
+
reportPath: string;
|
|
81
|
+
logPath: string;
|
|
82
|
+
snapshotPath: string;
|
|
83
|
+
}) => Partial<RunnerProcessMetadata>;
|
|
84
|
+
publishabilityEvent?: (input: {
|
|
85
|
+
publishability: ImplementationPublishabilityResult;
|
|
86
|
+
}) => {
|
|
87
|
+
phase: CodexPhase;
|
|
88
|
+
status: 'completed' | 'blocked';
|
|
89
|
+
summary: string;
|
|
90
|
+
};
|
|
91
|
+
}
|
|
92
|
+
type AcceptanceProofAttemptEvent = Parameters<NonNullable<NonNullable<ImplementationPublishabilityInput['acceptanceProof']>['onAttemptEvent']>>[0];
|
|
93
|
+
export interface AgentAttemptLoopResult {
|
|
94
|
+
publishability: ImplementationPublishabilityResult;
|
|
95
|
+
sessionId: string;
|
|
96
|
+
promptPath: string;
|
|
97
|
+
reportPath: string;
|
|
98
|
+
logPath: string;
|
|
99
|
+
snapshotPath: string;
|
|
100
|
+
reworkAttempts: ReworkAttemptEvidence[];
|
|
101
|
+
lastAttemptStartedAt: Date;
|
|
102
|
+
}
|
|
103
|
+
export declare function runAgentAttemptLoop(input: AgentAttemptLoopInput): Promise<AgentAttemptLoopResult>;
|
|
104
|
+
export {};
|
|
105
|
+
//# sourceMappingURL=agent-attempt.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"agent-attempt.d.ts","sourceRoot":"","sources":["../../../src/runner/agent-attempt.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAC/F,OAAO,KAAK,EAAE,UAAU,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAGlE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAEL,KAAK,iCAAiC,EACtC,KAAK,kCAAkC,EACvC,KAAK,2BAA2B,EACjC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,yBAAyB,EAA0B,MAAM,uBAAuB,CAAC;AAC1F,OAAO,EAAoB,KAAK,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAMhF,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,IAAI,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,uBAAuB,CAAC;IAChC,KAAK,EAAE,WAAW,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,cAAc,GAAG,YAAY,CAAC,CAAC;IACzD,KAAK,EAAE,OAAO,CAAC,UAAU,EAAE,cAAc,GAAG,YAAY,CAAC,CAAC;IAC1D,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,kBAAkB,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7D,SAAS,EAAE,IAAI,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,cAAc,EAAE,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,IAAI,CAAA;KAAE,KAAK,MAAM,CAAC;IACzE,WAAW,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,MAAM,CAAC;IACxD,qBAAqB,EAAE,CAAC,KAAK,EAAE;QAAE,MAAM,CAAC,EAAE,kBAAkB,CAAA;KAAE,KAAK,MAAM,CAAC;IAC1E,cAAc,EAAE,CAAC,KAAK,EAAE;QAAE,MAAM,CAAC,EAAE,kBAAkB,CAAA;KAAE,KAAK,MAAM,CAAC;IACnE,sBAAsB,EAAE,CAAC,KAAK,EAAE;QAAE,WAAW,EAAE,MAAM,CAAA;KAAE,KAAK,MAAM,CAAC;IACnE,gBAAgB,CAAC,EAAE,UAAU,CAAC;IAC9B,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,YAAY,EAAE;QAAE,GAAG,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAA;KAAE,CAAC;IACnF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,GAAG,EAAE,IAAI,CAAC,kBAAkB,EAAE,SAAS,CAAC,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC;IACpF,aAAa,EAAE,oBAAoB,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,yBAAyB,CAAC;IAClC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,kBAAkB,CAAC,EAAE,2BAA2B,CAAC;IACjD,eAAe,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,iCAAiC,CAAC,iBAAiB,CAAC,CAAC,EAAE,WAAW,GAAG,YAAY,GAAG,gBAAgB,CAAC,CAAC;IACzI,6BAA6B,CAAC,EAAE,CAAC,KAAK,EAAE;QACtC,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,2BAA2B,CAAC;KACpC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACpB,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACjM,mBAAmB,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,cAAc,EAAE,kCAAkC,CAAA;KAAE,KAAK;QACvF,KAAK,EAAE,UAAU,CAAC;QAClB,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;QAChC,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED,KAAK,2BAA2B,GAC9B,UAAU,CAAC,WAAW,CAAC,WAAW,CAAC,iCAAiC,CAAC,iBAAiB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAElH,MAAM,WAAW,sBAAsB;IACrC,cAAc,EAAE,kCAAkC,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,qBAAqB,EAAE,CAAC;IACxC,oBAAoB,EAAE,IAAI,CAAC;CAC5B;AAED,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,qBAAqB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAuNvG"}
|
|
@@ -0,0 +1,235 @@
|
|
|
1
|
+
import { mkdir } from 'node:fs/promises';
|
|
2
|
+
import { dirname } from 'node:path';
|
|
3
|
+
import { writeContextSnapshot } from './context-snapshot.js';
|
|
4
|
+
import { runImplementationPublishabilityCheck, } from './local-execution-session.js';
|
|
5
|
+
import { RunnerStateStore } from './local-state.js';
|
|
6
|
+
import { sessionPromptPath, sessionReportPath, writeDurablePrompt } from './prompt.js';
|
|
7
|
+
import { decideImplementationRework } from './rework-policy.js';
|
|
8
|
+
import { sessionLogPath } from './run-log.js';
|
|
9
|
+
import { cleanupSessionCodexHome, sessionCodexHomePath } from './session-home.js';
|
|
10
|
+
export async function runAgentAttemptLoop(input) {
|
|
11
|
+
const store = new RunnerStateStore(input.targetRoot, input.config);
|
|
12
|
+
const maxReworkAttempts = Math.max(input.config.loopPolicy.rework.maxAttempts, input.config.reviewGates.acceptanceProof.maxIterations - 1);
|
|
13
|
+
const reworkAttempts = [];
|
|
14
|
+
const reworkEventPhase = input.reworkEventPhase ?? input.phase;
|
|
15
|
+
let rework = input.initialRework;
|
|
16
|
+
let publishability;
|
|
17
|
+
let sessionId = '';
|
|
18
|
+
let promptPath = '';
|
|
19
|
+
let reportPath = '';
|
|
20
|
+
let logPath = '';
|
|
21
|
+
let snapshotPath = '';
|
|
22
|
+
let lastAttemptStartedAt = input.createdAt;
|
|
23
|
+
for (let attempt = input.firstAttempt ?? 0; attempt <= maxReworkAttempts; attempt++) {
|
|
24
|
+
const attemptNow = new Date(input.createdAt.getTime() + attempt);
|
|
25
|
+
lastAttemptStartedAt = attemptNow;
|
|
26
|
+
sessionId = input.buildSessionId({ attempt, attemptNow });
|
|
27
|
+
promptPath = sessionPromptPath({ targetRoot: input.targetRoot, config: input.config, issueNumber: input.issueNumber, sessionId });
|
|
28
|
+
reportPath = sessionReportPath({ targetRoot: input.targetRoot, config: input.config, issueNumber: input.issueNumber, sessionId });
|
|
29
|
+
logPath = sessionLogPath({ targetRoot: input.targetRoot, config: input.config, issueNumber: input.issueNumber, sessionId });
|
|
30
|
+
const isolatedHomePath = sessionCodexHomePath({ targetRoot: input.targetRoot, sessionId });
|
|
31
|
+
await mkdir(dirname(reportPath), { recursive: true });
|
|
32
|
+
await mkdir(isolatedHomePath, { recursive: true });
|
|
33
|
+
const promptText = input.buildPrompt({
|
|
34
|
+
attempt,
|
|
35
|
+
attemptNow,
|
|
36
|
+
sessionId,
|
|
37
|
+
promptPath,
|
|
38
|
+
reportPath,
|
|
39
|
+
logPath,
|
|
40
|
+
rework,
|
|
41
|
+
});
|
|
42
|
+
await writeDurablePrompt({
|
|
43
|
+
targetRoot: input.targetRoot,
|
|
44
|
+
config: input.config,
|
|
45
|
+
issueNumber: input.issueNumber,
|
|
46
|
+
sessionId,
|
|
47
|
+
promptText,
|
|
48
|
+
});
|
|
49
|
+
const snapshot = await writeContextSnapshot({
|
|
50
|
+
targetRoot: input.targetRoot,
|
|
51
|
+
config: input.config,
|
|
52
|
+
issue: input.issue,
|
|
53
|
+
mode: input.mode,
|
|
54
|
+
phase: input.phase,
|
|
55
|
+
decision: input.buildSnapshotDecision({ rework }),
|
|
56
|
+
sessionId,
|
|
57
|
+
worktreePath: input.worktreePath,
|
|
58
|
+
promptPath,
|
|
59
|
+
reportPath,
|
|
60
|
+
logPath,
|
|
61
|
+
branchName: input.branchName,
|
|
62
|
+
baseBranch: input.baseBranch,
|
|
63
|
+
base: input.base,
|
|
64
|
+
parentIssueNumber: input.parentIssueNumber,
|
|
65
|
+
blockedBy: input.parentIssueNumber ? [] : undefined,
|
|
66
|
+
createdAt: attemptNow,
|
|
67
|
+
});
|
|
68
|
+
snapshotPath = snapshot.path;
|
|
69
|
+
await store.upsertRun({
|
|
70
|
+
issueNumber: input.issueNumber,
|
|
71
|
+
mode: input.mode,
|
|
72
|
+
workspacePath: input.worktreePath,
|
|
73
|
+
sessionId,
|
|
74
|
+
branchName: input.branchName,
|
|
75
|
+
promptPath,
|
|
76
|
+
reportPath,
|
|
77
|
+
logPath,
|
|
78
|
+
retryCount: attempt,
|
|
79
|
+
createdAt: input.createdAt.toISOString(),
|
|
80
|
+
updatedAt: attemptNow.toISOString(),
|
|
81
|
+
attemptStartedAt: attemptNow.toISOString(),
|
|
82
|
+
snapshotPath,
|
|
83
|
+
...(input.parentIssueNumber ? { parentIssueNumber: input.parentIssueNumber } : {}),
|
|
84
|
+
...input.runMetadata?.({ attempt, attemptNow, sessionId, promptPath, reportPath, logPath, snapshotPath }),
|
|
85
|
+
});
|
|
86
|
+
await safeAppendEvent(input.events, {
|
|
87
|
+
timestamp: attemptNow,
|
|
88
|
+
issueNumber: input.issueNumber,
|
|
89
|
+
parentIssueNumber: input.parentIssueNumber,
|
|
90
|
+
mode: input.mode,
|
|
91
|
+
sessionId,
|
|
92
|
+
phase: input.phase,
|
|
93
|
+
status: 'started',
|
|
94
|
+
summary: input.startedSummary({ rework }),
|
|
95
|
+
artifacts: sessionArtifacts(promptPath, reportPath, logPath, snapshotPath),
|
|
96
|
+
});
|
|
97
|
+
const beforeHead = await input.git.getHead(input.worktreePath);
|
|
98
|
+
let codexResult;
|
|
99
|
+
try {
|
|
100
|
+
codexResult = await input.codexAdapter.run({
|
|
101
|
+
targetRoot: input.targetRoot,
|
|
102
|
+
config: input.config,
|
|
103
|
+
worktreePath: input.worktreePath,
|
|
104
|
+
promptPath,
|
|
105
|
+
promptText,
|
|
106
|
+
reportPath,
|
|
107
|
+
isolatedHomePath,
|
|
108
|
+
issueNumber: input.issueNumber,
|
|
109
|
+
sessionId,
|
|
110
|
+
branchName: input.branchName,
|
|
111
|
+
phase: input.phase,
|
|
112
|
+
timeoutMs: input.codexTimeoutMs,
|
|
113
|
+
logPath,
|
|
114
|
+
disableOptionalFigmaMcp: rework?.disableOptionalFigmaMcp,
|
|
115
|
+
});
|
|
116
|
+
}
|
|
117
|
+
finally {
|
|
118
|
+
await cleanupSessionCodexHome(isolatedHomePath);
|
|
119
|
+
}
|
|
120
|
+
const afterHead = await input.git.getHead(input.worktreePath);
|
|
121
|
+
publishability = await runImplementationPublishabilityCheck({
|
|
122
|
+
config: input.config,
|
|
123
|
+
issue: input.issue,
|
|
124
|
+
targetRoot: input.targetRoot,
|
|
125
|
+
worktreePath: input.worktreePath,
|
|
126
|
+
reportPath,
|
|
127
|
+
beforeHead,
|
|
128
|
+
afterHead,
|
|
129
|
+
codexResult,
|
|
130
|
+
git: input.git,
|
|
131
|
+
shellExecutor: input.shellExecutor,
|
|
132
|
+
commitMessage: input.commitMessage,
|
|
133
|
+
localPhases: input.localPhases,
|
|
134
|
+
localPhaseExecutor: input.localPhaseExecutor,
|
|
135
|
+
acceptanceProof: input.acceptanceProof
|
|
136
|
+
? {
|
|
137
|
+
...input.acceptanceProof,
|
|
138
|
+
sessionId,
|
|
139
|
+
branchName: input.branchName,
|
|
140
|
+
onAttemptEvent: input.onAcceptanceProofAttemptEvent
|
|
141
|
+
? (event) => input.onAcceptanceProofAttemptEvent({ sessionId, event })
|
|
142
|
+
: undefined,
|
|
143
|
+
}
|
|
144
|
+
: undefined,
|
|
145
|
+
});
|
|
146
|
+
const publishabilityEvent = input.publishabilityEvent?.({ publishability });
|
|
147
|
+
if (publishabilityEvent) {
|
|
148
|
+
await safeAppendEvent(input.events, {
|
|
149
|
+
issueNumber: input.issueNumber,
|
|
150
|
+
parentIssueNumber: input.parentIssueNumber,
|
|
151
|
+
mode: input.mode,
|
|
152
|
+
sessionId,
|
|
153
|
+
phase: publishabilityEvent.phase,
|
|
154
|
+
status: publishabilityEvent.status,
|
|
155
|
+
summary: publishabilityEvent.summary,
|
|
156
|
+
artifacts: sessionArtifacts(promptPath, reportPath, logPath, snapshotPath),
|
|
157
|
+
});
|
|
158
|
+
}
|
|
159
|
+
if (publishability.status === 'blocked') {
|
|
160
|
+
const reworkDecision = decideImplementationRework({
|
|
161
|
+
reasons: publishability.reasons,
|
|
162
|
+
config: input.config,
|
|
163
|
+
attempt,
|
|
164
|
+
});
|
|
165
|
+
reworkAttempts.push({
|
|
166
|
+
attempt,
|
|
167
|
+
maxAttempts: 'maxAttempts' in reworkDecision ? reworkDecision.maxAttempts : undefined,
|
|
168
|
+
decisionKind: reworkDecision.kind,
|
|
169
|
+
reasons: publishability.reasons,
|
|
170
|
+
promptPath,
|
|
171
|
+
reportPath,
|
|
172
|
+
logPath,
|
|
173
|
+
snapshotPath,
|
|
174
|
+
});
|
|
175
|
+
if (reworkDecision.kind === 'retry') {
|
|
176
|
+
rework = reworkDecision.rework;
|
|
177
|
+
await safeAppendEvent(input.events, {
|
|
178
|
+
timestamp: attemptNow,
|
|
179
|
+
issueNumber: input.issueNumber,
|
|
180
|
+
parentIssueNumber: input.parentIssueNumber,
|
|
181
|
+
mode: input.mode,
|
|
182
|
+
sessionId,
|
|
183
|
+
phase: reworkEventPhase,
|
|
184
|
+
status: 'needs-rework',
|
|
185
|
+
summary: input.reworkScheduledSummary({ nextAttempt: reworkDecision.nextAttempt }),
|
|
186
|
+
artifacts: sessionArtifacts(promptPath, reportPath, logPath, snapshotPath),
|
|
187
|
+
});
|
|
188
|
+
continue;
|
|
189
|
+
}
|
|
190
|
+
await safeAppendEvent(input.events, {
|
|
191
|
+
timestamp: attemptNow,
|
|
192
|
+
issueNumber: input.issueNumber,
|
|
193
|
+
parentIssueNumber: input.parentIssueNumber,
|
|
194
|
+
mode: input.mode,
|
|
195
|
+
sessionId,
|
|
196
|
+
phase: reworkEventPhase,
|
|
197
|
+
status: 'blocked',
|
|
198
|
+
summary: `Runner rework decision: ${reworkDecision.kind}.`,
|
|
199
|
+
artifacts: sessionArtifacts(promptPath, reportPath, logPath, snapshotPath),
|
|
200
|
+
});
|
|
201
|
+
}
|
|
202
|
+
break;
|
|
203
|
+
}
|
|
204
|
+
if (!publishability) {
|
|
205
|
+
throw new Error(input.missingPublishabilityMessage ?? 'Runner internal error: missing agent attempt publishability result');
|
|
206
|
+
}
|
|
207
|
+
return {
|
|
208
|
+
publishability,
|
|
209
|
+
sessionId,
|
|
210
|
+
promptPath,
|
|
211
|
+
reportPath,
|
|
212
|
+
logPath,
|
|
213
|
+
snapshotPath,
|
|
214
|
+
reworkAttempts,
|
|
215
|
+
lastAttemptStartedAt,
|
|
216
|
+
};
|
|
217
|
+
}
|
|
218
|
+
function sessionArtifacts(promptPath, reportPath, logPath, snapshotPath) {
|
|
219
|
+
const artifacts = [
|
|
220
|
+
snapshotPath ? { kind: 'snapshot', path: snapshotPath, description: 'Context snapshot' } : undefined,
|
|
221
|
+
promptPath ? { kind: 'prompt', path: promptPath, description: 'Session prompt path' } : undefined,
|
|
222
|
+
reportPath ? { kind: 'report', path: reportPath, description: 'Session report path' } : undefined,
|
|
223
|
+
logPath ? { kind: 'log', path: logPath, description: 'Session log path' } : undefined,
|
|
224
|
+
];
|
|
225
|
+
return artifacts.filter((artifact) => Boolean(artifact));
|
|
226
|
+
}
|
|
227
|
+
async function safeAppendEvent(store, input) {
|
|
228
|
+
try {
|
|
229
|
+
await store.append(input);
|
|
230
|
+
}
|
|
231
|
+
catch {
|
|
232
|
+
// Lifecycle evidence must not create a new publication blocker after runner gates pass.
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
//# sourceMappingURL=agent-attempt.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"agent-attempt.js","sourceRoot":"","sources":["../../../src/runner/agent-attempt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AASpC,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAG7D,OAAO,EACL,oCAAoC,GAIrC,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,gBAAgB,EAA8B,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACvF,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AA2ElF,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAA4B;IACpE,MAAM,KAAK,GAAG,IAAI,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACnE,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAChC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,EAC1C,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,aAAa,GAAG,CAAC,CAC3D,CAAC;IACF,MAAM,cAAc,GAA4B,EAAE,CAAC;IACnD,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,KAAK,CAAC;IAC/D,IAAI,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC;IACjC,IAAI,cAA8D,CAAC;IACnE,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,YAAY,GAAG,EAAE,CAAC;IACtB,IAAI,oBAAoB,GAAG,KAAK,CAAC,SAAS,CAAC;IAE3C,KAAK,IAAI,OAAO,GAAG,KAAK,CAAC,YAAY,IAAI,CAAC,EAAE,OAAO,IAAI,iBAAiB,EAAE,OAAO,EAAE,EAAE,CAAC;QACpF,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC;QACjE,oBAAoB,GAAG,UAAU,CAAC;QAClC,SAAS,GAAG,KAAK,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1D,UAAU,GAAG,iBAAiB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QAClI,UAAU,GAAG,iBAAiB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QAClI,OAAO,GAAG,cAAc,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5H,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3F,MAAM,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,KAAK,CAAC,gBAAgB,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC;YACnC,OAAO;YACP,UAAU;YACV,SAAS;YACT,UAAU;YACV,UAAU;YACV,OAAO;YACP,MAAM;SACP,CAAC,CAAC;QACH,MAAM,kBAAkB,CAAC;YACvB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,SAAS;YACT,UAAU;SACX,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC;YAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;YACjD,SAAS;YACT,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU;YACV,UAAU;YACV,OAAO;YACP,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,SAAS,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;YACnD,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;QACH,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC7B,MAAM,KAAK,CAAC,SAAS,CAAC;YACpB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,SAAS;YACT,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU;YACV,UAAU;YACV,OAAO;YACP,UAAU,EAAE,OAAO;YACnB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE;YACxC,SAAS,EAAE,UAAU,CAAC,WAAW,EAAE;YACnC,gBAAgB,EAAE,UAAU,CAAC,WAAW,EAAE;YAC1C,YAAY;YACZ,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;SAC1G,CAAC,CAAC;QACH,MAAM,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE;YAClC,SAAS,EAAE,UAAU;YACrB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS;YACT,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;YACzC,SAAS,EAAE,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC;SAC3E,CAAC,CAAC;QAEH,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC/D,IAAI,WAAkC,CAAC;QACvC,IAAI,CAAC;YACH,WAAW,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;gBACzC,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,UAAU;gBACV,UAAU;gBACV,UAAU;gBACV,gBAAgB;gBAChB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,SAAS;gBACT,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,SAAS,EAAE,KAAK,CAAC,cAAc;gBAC/B,OAAO;gBACP,uBAAuB,EAAE,MAAM,EAAE,uBAAuB;aACzD,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YACT,MAAM,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC9D,cAAc,GAAG,MAAM,oCAAoC,CAAC;YAC1D,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU;YACV,UAAU;YACV,SAAS;YACT,WAAW;YACX,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,eAAe,EAAE,KAAK,CAAC,eAAe;gBACpC,CAAC,CAAC;oBACE,GAAG,KAAK,CAAC,eAAe;oBACxB,SAAS;oBACT,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,cAAc,EAAE,KAAK,CAAC,6BAA6B;wBACjD,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,6BAA8B,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;wBACvE,CAAC,CAAC,SAAS;iBACd;gBACH,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QAEH,MAAM,mBAAmB,GAAG,KAAK,CAAC,mBAAmB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;QAC5E,IAAI,mBAAmB,EAAE,CAAC;YACxB,MAAM,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE;gBAClC,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,SAAS;gBACT,KAAK,EAAE,mBAAmB,CAAC,KAAK;gBAChC,MAAM,EAAE,mBAAmB,CAAC,MAAM;gBAClC,OAAO,EAAE,mBAAmB,CAAC,OAAO;gBACpC,SAAS,EAAE,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC;aAC3E,CAAC,CAAC;QACL,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,cAAc,GAAG,0BAA0B,CAAC;gBAChD,OAAO,EAAE,cAAc,CAAC,OAAO;gBAC/B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO;aACR,CAAC,CAAC;YACH,cAAc,CAAC,IAAI,CAAC;gBAClB,OAAO;gBACP,WAAW,EAAE,aAAa,IAAI,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBACrF,YAAY,EAAE,cAAc,CAAC,IAAI;gBACjC,OAAO,EAAE,cAAc,CAAC,OAAO;gBAC/B,UAAU;gBACV,UAAU;gBACV,OAAO;gBACP,YAAY;aACb,CAAC,CAAC;YACH,IAAI,cAAc,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACpC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;gBAC/B,MAAM,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE;oBAClC,SAAS,EAAE,UAAU;oBACrB,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,SAAS;oBACT,KAAK,EAAE,gBAAgB;oBACvB,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,KAAK,CAAC,sBAAsB,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,WAAW,EAAE,CAAC;oBAClF,SAAS,EAAE,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC;iBAC3E,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE;gBAClC,SAAS,EAAE,UAAU;gBACrB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,SAAS;gBACT,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,2BAA2B,cAAc,CAAC,IAAI,GAAG;gBAC1D,SAAS,EAAE,gBAAgB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC;aAC3E,CAAC,CAAC;QACL,CAAC;QACD,MAAM;IACR,CAAC;IAED,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,4BAA4B,IAAI,oEAAoE,CAAC,CAAC;IAC9H,CAAC;IAED,OAAO;QACL,cAAc;QACd,SAAS;QACT,UAAU;QACV,UAAU;QACV,OAAO;QACP,YAAY;QACZ,cAAc;QACd,oBAAoB;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAkB,EAClB,UAAkB,EAClB,OAAe,EACf,YAAqB;IAErB,MAAM,SAAS,GAAyC;QACtD,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,SAAS;QACpG,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,SAAS;QACjG,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,SAAS;QACjG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,SAAS;KACtF,CAAC;IACF,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAiC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,KAAgC,EAChC,KAAyD;IAEzD,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,wFAAwF;IAC1F,CAAC;AACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"auto-visual-proof-command.d.ts","sourceRoot":"","sources":["../../../src/runner/auto-visual-proof-command.ts"],"names":[],"mappings":"AACA,OAAO,
|
|
1
|
+
{"version":3,"file":"auto-visual-proof-command.d.ts","sourceRoot":"","sources":["../../../src/runner/auto-visual-proof-command.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAA6D,KAAK,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACnJ,OAAO,EAA2D,KAAK,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AAC/I,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AAEnE,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,MAAM,EAAE,uBAAuB,CAAC;IAChC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;IACxB,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,8BAA8B,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5E,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,6BAA6B,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3E;AAED,wBAAsB,yBAAyB,CAAC,KAAK,EAAE,2BAA2B,GAAG,OAAO,CAAC;IAAE,MAAM,EAAE,yBAAyB,CAAA;CAAE,CAAC,CA4BlI"}
|