looply-cli 0.5.5 β 0.5.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/.src-hash +1 -1
- package/dist/checkout-carry.d.ts +2 -0
- package/dist/checkout-carry.d.ts.map +1 -1
- package/dist/checkout-carry.js +25 -2
- package/dist/checkout-carry.js.map +1 -1
- package/dist/goal-adaptive.d.ts +12 -0
- package/dist/goal-adaptive.d.ts.map +1 -1
- package/dist/goal-adaptive.js +19 -4
- package/dist/goal-adaptive.js.map +1 -1
- package/dist/goal-compile.d.ts +7 -0
- package/dist/goal-compile.d.ts.map +1 -1
- package/dist/goal-compile.js +3 -0
- package/dist/goal-compile.js.map +1 -1
- package/dist/goal-execution-evidence.d.ts +28 -2
- package/dist/goal-execution-evidence.d.ts.map +1 -1
- package/dist/goal-execution-evidence.js +30 -5
- package/dist/goal-execution-evidence.js.map +1 -1
- package/dist/goal-reproof.d.ts +42 -0
- package/dist/goal-reproof.d.ts.map +1 -0
- package/dist/goal-reproof.js +35 -0
- package/dist/goal-reproof.js.map +1 -0
- package/dist/plan-recovery.d.ts +70 -0
- package/dist/plan-recovery.d.ts.map +1 -0
- package/dist/plan-recovery.js +131 -0
- package/dist/plan-recovery.js.map +1 -0
- package/dist/run-cmd.d.ts.map +1 -1
- package/dist/run-cmd.js +64 -9
- package/dist/run-cmd.js.map +1 -1
- package/package.json +2 -2
package/dist/.src-hash
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
|
|
1
|
+
048f528ca291dac1259c2ff6bb3236adcb810831bb63b5f103e79e4ffb6a2b10
|
package/dist/checkout-carry.d.ts
CHANGED
|
@@ -60,6 +60,8 @@ export interface CarryResult {
|
|
|
60
60
|
readonly carried: readonly string[];
|
|
61
61
|
/** Named but not present in the project. Not an error: a project may not have built yet. */
|
|
62
62
|
readonly absent: readonly string[];
|
|
63
|
+
/** Links found INSIDE a carried directory and left out of the copy, project-relative. */
|
|
64
|
+
readonly linksLeftOut: readonly string[];
|
|
63
65
|
}
|
|
64
66
|
/**
|
|
65
67
|
* Copy each named directory from the project into a checkout the product made.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkout-carry.d.ts","sourceRoot":"","sources":["../src/checkout-carry.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAExC;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAmB5D;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"checkout-carry.d.ts","sourceRoot":"","sources":["../src/checkout-carry.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAExC;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAmB5D;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,yFAAyF;IACzF,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,WAAW,CAyDb"}
|
package/dist/checkout-carry.js
CHANGED
|
@@ -102,6 +102,7 @@ function carryNameTrouble(name) {
|
|
|
102
102
|
function carryIntoCheckout(projectRoot, checkoutDir, names) {
|
|
103
103
|
const carried = [];
|
|
104
104
|
const absent = [];
|
|
105
|
+
const linksLeftOut = [];
|
|
105
106
|
for (const name of names) {
|
|
106
107
|
const trouble = carryNameTrouble(name);
|
|
107
108
|
if (trouble !== null) {
|
|
@@ -129,9 +130,31 @@ function carryIntoCheckout(projectRoot, checkoutDir, names) {
|
|
|
129
130
|
if (!st.isDirectory()) {
|
|
130
131
|
throw new CarryError(`run.carry_into_checkouts: "${name}" is not a directory`);
|
|
131
132
|
}
|
|
132
|
-
|
|
133
|
+
/**
|
|
134
|
+
* π΄ AND NOTHING BELOW IT IS COPIED AS A LINK EITHER. A `"file:.."`
|
|
135
|
+
* dependency leaves a junction inside `node_modules` (Tabsy's
|
|
136
|
+
* `web/node_modules/tabsy-api` β the project root). `dereference: false`
|
|
137
|
+
* reproduced it as a symlink, which Windows refuses without privileges β
|
|
138
|
+
* EPERM, and no parallel checkout could be made at all β and had it
|
|
139
|
+
* succeeded, it would be the same recursive-delete hazard as above, one
|
|
140
|
+
* level down. Such links are left out and named; a gate that truly needed
|
|
141
|
+
* one fails visibly instead of a delete reaching the project silently.
|
|
142
|
+
*/
|
|
143
|
+
(0, node_fs_1.cpSync)(from, to, {
|
|
144
|
+
recursive: true,
|
|
145
|
+
dereference: false,
|
|
146
|
+
errorOnExist: false,
|
|
147
|
+
force: false,
|
|
148
|
+
filter: (src) => {
|
|
149
|
+
if (!(0, node_fs_1.lstatSync)(src).isSymbolicLink())
|
|
150
|
+
return true;
|
|
151
|
+
// Node hands the filter long-path (`\\?\`) forms on Windows.
|
|
152
|
+
linksLeftOut.push((0, node_path_1.relative)(projectRoot, src.replace(/^\\\\\?\\/, '')));
|
|
153
|
+
return false;
|
|
154
|
+
},
|
|
155
|
+
});
|
|
133
156
|
carried.push(name);
|
|
134
157
|
}
|
|
135
|
-
return { carried, absent };
|
|
158
|
+
return { carried, absent, linksLeftOut };
|
|
136
159
|
}
|
|
137
160
|
//# sourceMappingURL=checkout-carry.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkout-carry.js","sourceRoot":"","sources":["../src/checkout-carry.ts"],"names":[],"mappings":";;;AA6DA,4CAmBC;
|
|
1
|
+
{"version":3,"file":"checkout-carry.js","sourceRoot":"","sources":["../src/checkout-carry.ts"],"names":[],"mappings":";;;AA6DA,4CAmBC;AAqBD,8CA6DC;AAlKD,qCAAwD;AACxD,yCAA2C;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,MAAa,UAAW,SAAQ,KAAK;CAAG;AAAxC,gCAAwC;AAExC;;;;;;;;;;GAUG;AACH,SAAgB,gBAAgB,CAAC,IAAY;IAC3C;;;;;;OAMG;IACH,MAAM,GAAG,GAAG,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACvC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,IAAI,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACzC,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,gCAAgC,CAAC;IAC3E,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,0DAA0D,CAAC;IAC1F,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,wDAAwD,CAAC;IAC1F,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,iCAAiC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAUD;;;;;;;;;;GAUG;AACH,SAAgB,iBAAiB,CAC/B,WAAmB,EACnB,WAAmB,EACnB,KAAwB;IAExB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,UAAU,CAAC,8BAA8B,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,IAAA,gBAAI,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,IAAA,oBAAU,EAAC,EAAE,CAAC;YAAE,SAAS;QAC7B;;;;;;WAMG;QACH,MAAM,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,8BAA8B,IAAI,4HAA4H,CAC/J,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;YACtB,MAAM,IAAI,UAAU,CAAC,8BAA8B,IAAI,sBAAsB,CAAC,CAAC;QACjF,CAAC;QACD;;;;;;;;;WASG;QACH,IAAA,gBAAM,EAAC,IAAI,EAAE,EAAE,EAAE;YACf,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,KAAK;YAClB,YAAY,EAAE,KAAK;YACnB,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;gBACd,IAAI,CAAC,IAAA,mBAAS,EAAC,GAAG,CAAC,CAAC,cAAc,EAAE;oBAAE,OAAO,IAAI,CAAC;gBAClD,6DAA6D;gBAC7D,YAAY,CAAC,IAAI,CAAC,IAAA,oBAAQ,EAAC,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvE,OAAO,KAAK,CAAC;YACf,CAAC;SACF,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAC3C,CAAC"}
|
package/dist/goal-adaptive.d.ts
CHANGED
|
@@ -36,6 +36,18 @@ import type { CompileGoalInput, CompileOutcome } from './goal-compile';
|
|
|
36
36
|
* goal's ability to try a different approach.
|
|
37
37
|
*/
|
|
38
38
|
export declare const MAX_PLAN_REVISIONS_PER_GOAL_VERSION = 3;
|
|
39
|
+
/**
|
|
40
|
+
* ONE MORE REVISION, AND IT IS NOT A PLAN: THE DIRECT ATTEMPT.
|
|
41
|
+
*
|
|
42
|
+
* Three structured plans that did not reach the goal used to end it
|
|
43
|
+
* `budget_exhausted` β the ticket went back to a person. The owner's rule is
|
|
44
|
+
* that a ticket goes back EXTREMELY rarely, and pasting the same ticket into a
|
|
45
|
+
* chat fixes most of them, so before giving up the goal gets one last revision
|
|
46
|
+
* holding a single step: do what the ticket asks, with its full text and what
|
|
47
|
+
* the evaluator says is still missing. It is gated and proved like any round.
|
|
48
|
+
* Only after that does the budget run out.
|
|
49
|
+
*/
|
|
50
|
+
export declare const DIRECT_FALLBACK_REVISION: number;
|
|
39
51
|
/**
|
|
40
52
|
* How many steps an adaptive plan may contain.
|
|
41
53
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-adaptive.d.ts","sourceRoot":"","sources":["../src/goal-adaptive.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"goal-adaptive.d.ts","sourceRoot":"","sources":["../src/goal-adaptive.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGvE;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AAErD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,wBAAwB,QAA0C,CAAC;AAEhF;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,MAAM,MAAM,gBAAgB;AAC1B,sEAAsE;AACpE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AACzC,4EAA4E;GAC1E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,GAAG,EAAE,CAAA;CAAE;AAC3E,+DAA+D;GAC7D;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,GAAG,EAAE,CAAA;CAAE;AAC7D,mDAAmD;GACjD;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAC5C;;;;GAIG;GACD;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACzC;;;;;;GAMG;GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE;AACrE;;;;;;GAMG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE;AAC1D,gFAAgF;GAC9E;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5C,MAAM,WAAW,YAAY;IAC3B,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACvD,iEAAiE;IACjE,OAAO,CAAC,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC5E;;;;;;;;;OASG;IACH,YAAY,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B;;;;;;;;;OASG;IACH,gBAAgB,CACd,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;QAAE,EAAE,EAAE,IAAI,CAAA;KAAE,GAAG;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC5E;;;;;;OAMG;IACH,kBAAkB,IAAI,OAAO,CACzB;QAAE,EAAE,EAAE,IAAI,CAAA;KAAE;IACd;;;;;;;;OAQG;OACD;QAAE,EAAE,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAC1E,CAAC;CACH;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,2EAA2E;IAC3E,eAAe,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,SAAS,EAAE,SAAS,IAAI,EAAE,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CA8LxG;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,GAAG,EAAE,GAAG,MAAM,CAGtE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;;;;OASG;IACH,IAAI,EAAE,cAAc,CAAC;CACtB;AAED,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,gBAAgB;AAC1B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,QAAQ,CAAC,EAAE,gBAAgB,GAAG,IAAI;AAClC;;;;;;;;;;;;;;GAcG;AACH,QAAQ,CAAC,EAAE,kBAAkB,GAC5B,mBAAmB,GAAG,IAAI,CA8G5B"}
|
package/dist/goal-adaptive.js
CHANGED
|
@@ -1,10 +1,11 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.ADAPTIVE_MAX_STEPS = exports.MAX_PLAN_REVISIONS_PER_GOAL_VERSION = void 0;
|
|
3
|
+
exports.ADAPTIVE_MAX_STEPS = exports.DIRECT_FALLBACK_REVISION = exports.MAX_PLAN_REVISIONS_PER_GOAL_VERSION = void 0;
|
|
4
4
|
exports.decideAdaptive = decideAdaptive;
|
|
5
5
|
exports.gapText = gapText;
|
|
6
6
|
exports.describeAdaptive = describeAdaptive;
|
|
7
7
|
const core_1 = require("@looply/core");
|
|
8
|
+
const plan_recovery_1 = require("./plan-recovery");
|
|
8
9
|
/**
|
|
9
10
|
* WHETHER TO TRY AGAIN, ONCE.
|
|
10
11
|
*
|
|
@@ -38,6 +39,18 @@ const core_1 = require("@looply/core");
|
|
|
38
39
|
* goal's ability to try a different approach.
|
|
39
40
|
*/
|
|
40
41
|
exports.MAX_PLAN_REVISIONS_PER_GOAL_VERSION = 3;
|
|
42
|
+
/**
|
|
43
|
+
* ONE MORE REVISION, AND IT IS NOT A PLAN: THE DIRECT ATTEMPT.
|
|
44
|
+
*
|
|
45
|
+
* Three structured plans that did not reach the goal used to end it
|
|
46
|
+
* `budget_exhausted` β the ticket went back to a person. The owner's rule is
|
|
47
|
+
* that a ticket goes back EXTREMELY rarely, and pasting the same ticket into a
|
|
48
|
+
* chat fixes most of them, so before giving up the goal gets one last revision
|
|
49
|
+
* holding a single step: do what the ticket asks, with its full text and what
|
|
50
|
+
* the evaluator says is still missing. It is gated and proved like any round.
|
|
51
|
+
* Only after that does the budget run out.
|
|
52
|
+
*/
|
|
53
|
+
exports.DIRECT_FALLBACK_REVISION = exports.MAX_PLAN_REVISIONS_PER_GOAL_VERSION + 1;
|
|
41
54
|
/**
|
|
42
55
|
* How many steps an adaptive plan may contain.
|
|
43
56
|
*
|
|
@@ -173,10 +186,11 @@ async function decideAdaptive(input, deps) {
|
|
|
173
186
|
? { kind: 'satisfied' }
|
|
174
187
|
: { kind: 'satisfied', summary: verdict.summary };
|
|
175
188
|
}
|
|
176
|
-
// Incomplete. One more plan, if there is one left.
|
|
177
|
-
if (input.currentRevision >= exports.
|
|
189
|
+
// Incomplete. One more plan, if there is one left; then the direct attempt; then nothing.
|
|
190
|
+
if (input.currentRevision >= exports.DIRECT_FALLBACK_REVISION) {
|
|
178
191
|
return { kind: 'budget-exhausted', revision: input.currentRevision, gaps: verdict.gaps };
|
|
179
192
|
}
|
|
193
|
+
const direct = input.currentRevision >= exports.MAX_PLAN_REVISIONS_PER_GOAL_VERSION;
|
|
180
194
|
// Authority is re-checked HERE, after the evaluation and before anything
|
|
181
195
|
// durable is written. The evaluation may have taken minutes, and a goal that
|
|
182
196
|
// has been amended or given up in that time must not receive work planned
|
|
@@ -188,7 +202,8 @@ async function decideAdaptive(input, deps) {
|
|
|
188
202
|
: { kind: 'stale', reason: still.reason, lapse: still.lapse };
|
|
189
203
|
}
|
|
190
204
|
const revision = input.currentRevision + 1;
|
|
191
|
-
|
|
205
|
+
// The direct revision asks no compiler: its one step is the ticket itself, with what is still missing.
|
|
206
|
+
const steps = direct ? (0, plan_recovery_1.directFixOutcome)(gapText(input.goalText, verdict.gaps)) : await deps.compile({
|
|
192
207
|
goalId: input.goalId,
|
|
193
208
|
goalVersion: input.goalVersion,
|
|
194
209
|
goalText: gapText(input.goalText, verdict.gaps),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-adaptive.js","sourceRoot":"","sources":["../src/goal-adaptive.ts"],"names":[],"mappings":";;;
|
|
1
|
+
{"version":3,"file":"goal-adaptive.js","sourceRoot":"","sources":["../src/goal-adaptive.ts"],"names":[],"mappings":";;;AAyLA,wCA8LC;AAUD,0BAGC;AAoDD,4CAqJC;AA7kBD,uCAKsB;AAKtB,mDAAmD;AAEnD;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;;;;;;;;;;;GAcG;AACU,QAAA,mCAAmC,GAAG,CAAC,CAAC;AAErD;;;;;;;;;;GAUG;AACU,QAAA,wBAAwB,GAAG,2CAAmC,GAAG,CAAC,CAAC;AAEhF;;;;;;;;;GASG;AACU,QAAA,kBAAkB,GAAG,CAAC,CAAC;AA2GpC;;;;;;;GAOG;AACI,KAAK,UAAU,cAAc,CAAC,KAAoB,EAAE,IAAkB;IAC3E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB;;;;;;;;WAQG;QACH,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,wBAAwB,MAAM,CAAC,MAAM,qDAAqD;SACnG,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,YAAY,EAAE,KAAK,CAAC,eAAe;QACnC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACjG,OAAO,EAAE,UAAU;QACnB,0GAA0G;QAC1G,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YACxF,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;KACrD,CAAC,CAAC;IAEH;;;;;;;;;;;;;;;OAeG;IACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAE3D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACvC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC7B;;;;;;;;;;;;;;;WAeG;QACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IAChE,CAAC;IAED,8EAA8E;IAC9E,4DAA4D;IAC5D,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IAExE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC;;;;;;;;;OASG;IACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;IACtD,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO,aAAa,CAAC,OAAO,KAAK,IAAI;YACnC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE;YACvD,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC;IAClF,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IAEjG,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,0EAA0E;QAC1E,gEAAgE;QAChE;;;;;;;WAOG;QACH,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,sEAAsE;YACtE,oDAAoD;YACpD,OAAO,SAAS,CAAC,OAAO,KAAK,IAAI;gBAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE;gBACnD,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;QACxD,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE;YACvB,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC;IAED,0FAA0F;IAC1F,IAAI,KAAK,CAAC,eAAe,IAAI,gCAAwB,EAAE,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,IAAI,2CAAmC,CAAC;IAE5E,yEAAyE;IACzE,6EAA6E;IAC7E,0EAA0E;IAC1E,mCAAmC;IACnC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAC9C,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,KAAK,CAAC,OAAO,KAAK,IAAI;YAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;YAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAClE,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,eAAe,GAAG,CAAC,CAAC;IAC3C,uGAAuG;IACvG,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CACjG;QACE,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC;QAC/C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/D,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;KAChE,EACD,0BAAkB,CACnB,CAAC;IACF,wEAAwE;IACxE,yEAAyE;IACzE,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACpE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC/C,uEAAuE;QACvE,wEAAwE;QACxE,4EAA4E;QAC5E,sEAAsE;QACtE,4EAA4E;QAC5E,mCAAmC;QACnC,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,gCAAgC,KAAK,CAAC,SAAS,yBAAyB;SACjF,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,QAAQ,CAAC,OAAO,KAAK,IAAI;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;YAClD,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;IACxE,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,OAAO,CAAC,QAAgB,EAAE,IAAoB;IAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,GAAG,QAAQ,oEAAoE,KAAK,EAAE,CAAC;AAChG,CAAC;AAoDD,SAAgB,gBAAgB,CAC9B,QAA0B;AAC1B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,QAAkC;AAClC;;;;;;;;;;;;;;GAcG;AACH,QAA6B;IAE7B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,SAAS,GAAG,IAAA,uBAAgB,EAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YACrD;;;;;;;;;;;;;eAaG;YACH,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,4BAAqB,EAAC,QAAQ,CAAC,CAAC;YAChF,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO;oBACL,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EACL,+DAA+D,OAAO,EAAE;wBACxE,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,GAAG,CAAC;iBACnE,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EACL,uBAAuB,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC,OAAO,EAAE,EAAE;oBACxF,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,SAAS,EAAE,CAAC;aACrD,CAAC;QACJ,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EACL,qBAAqB,QAAQ,CAAC,QAAQ,kCAAkC;oBACxE,oCAAoC;aACvC,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,8CAA8C,QAAQ,CAAC,MAAM,EAAE;aACzE,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,sEAAsE;gBACtE,gEAAgE;gBAChE,4DAA4D;gBAC5D,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EACL,QAAQ,CAAC,WAAW,KAAK,SAAS;oBAChC,CAAC,CAAC,0BAA0B,QAAQ,CAAC,KAAK,CAAC,MAAM,sCAAsC;wBACrF,iCAAiC;oBACnC,CAAC,CAAC,2EAA2E;wBAC3E,uEAAuE;aAC9E,CAAC;QACJ,KAAK,OAAO;YACV,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,yEAAyE;gBACzE,oEAAoE;gBACpE,sBAAsB;gBACtB,IAAI,EAAE,QAAQ,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB;gBAC3E,OAAO,EAAE,iDAAiD,QAAQ,CAAC,MAAM,EAAE;aAC5E,CAAC;QACJ,KAAK,aAAa;YAChB;;;;;;;;;;;;;;;eAeG;YACH,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,sEAAsE;gBACtE,sEAAsE;gBACtE,kCAAkC;gBAClC,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,sDAAsD,QAAQ,CAAC,MAAM,EAAE;aACjF,CAAC;QACJ,KAAK,aAAa;YAChB,wEAAwE;YACxE,oDAAoD;YACpD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,gCAAgC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9G,OAAO,CAAC,CAAC,CAAC;YACR,uEAAuE;YACvE,MAAM,SAAS,GAAU,QAAQ,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;AACH,CAAC"}
|
package/dist/goal-compile.d.ts
CHANGED
|
@@ -279,6 +279,13 @@ export interface CompileGoalInput {
|
|
|
279
279
|
* claim could say, and the prompt is exactly the prompt of before.
|
|
280
280
|
*/
|
|
281
281
|
readonly checks?: readonly string[];
|
|
282
|
+
/**
|
|
283
|
+
* WHY THE PREVIOUS ANSWER TO THIS SAME QUESTION COULD NOT BE USED β set only
|
|
284
|
+
* on a second ask (`plan-recovery.ts`): the steps whose cited evidence did not
|
|
285
|
+
* hold at the tree, or a plan that came back empty for a ticket worded as a
|
|
286
|
+
* statement. Absent renders exactly the prompt of before.
|
|
287
|
+
*/
|
|
288
|
+
readonly retryContext?: string;
|
|
282
289
|
}
|
|
283
290
|
/** Why there was no plan: the transport gave up, the transport failed, or the answer could not be read as a plan. */
|
|
284
291
|
export type CompileFailure = 'timed-out' | 'failed' | 'unreadable';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-compile.d.ts","sourceRoot":"","sources":["../src/goal-compile.ts"],"names":[],"mappings":"AACA,OAAO,EAA2E,KAAK,QAAQ,EAAE,KAAK,IAAI,EAAE,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAClJ,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGhD;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,QAAiB,CAAC;AAEjD;;;;;;;;;;;;;;;;;;GAkBG;AAEH,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,MAAM,WAAW;AACrB;;;;;;;;;GASG;AACD;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7C;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEvF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,GACV,MAAM,CAER;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1F;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAiBxB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,QAAQ,GAAG,wBAAwB,GAAG,yBAAyB,CAAC,GACvF,OAAO,CAMT;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAIrG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CAY3D;AAsBD;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CA6BzD;AAED,mEAAmE;AACnE,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,+EAA+E;IAC/E,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"goal-compile.d.ts","sourceRoot":"","sources":["../src/goal-compile.ts"],"names":[],"mappings":"AACA,OAAO,EAA2E,KAAK,QAAQ,EAAE,KAAK,IAAI,EAAE,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAClJ,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGhD;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,QAAiB,CAAC;AAEjD;;;;;;;;;;;;;;;;;;GAkBG;AAEH,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,MAAM,WAAW;AACrB;;;;;;;;;GASG;AACD;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7C;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAEvF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,GACV,MAAM,CAER;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1F;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAiBxB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,QAAQ,GAAG,wBAAwB,GAAG,yBAAyB,CAAC,GACvF,OAAO,CAMT;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAIrG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CAY3D;AAsBD;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CA6BzD;AAED,mEAAmE;AACnE,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,+EAA+E;IAC/E,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,qHAAqH;AACrH,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;AAEnE,MAAM,MAAM,cAAc;AACxB,8HAA8H;AAC5H;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9G;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtG,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,EAAE,QAAQ,SAAoB,GAAG,MAAM,CA+DhG;AAED;;;;;;GAMG;AACH,wBAAsB,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CA6CrG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,GAAG,EAAE;IACH,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;IAClC;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GACA,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CA2BzB"}
|
package/dist/goal-compile.js
CHANGED
|
@@ -316,6 +316,9 @@ function buildCompilePrompt(input, maxSteps = exports.COMPILE_MAX_STEPS) {
|
|
|
316
316
|
...(input.memory === undefined || input.memory === null
|
|
317
317
|
? []
|
|
318
318
|
: ['WHAT THIS PROJECT HAS ALREADY ESTABLISHED:', input.memory, '']),
|
|
319
|
+
...(input.retryContext === undefined || input.retryContext.trim() === ''
|
|
320
|
+
? []
|
|
321
|
+
: ['YOUR PREVIOUS PLAN FOR THIS GOAL COULD NOT BE USED:', input.retryContext, '']),
|
|
319
322
|
'Read the repository as it actually is. Decide the smallest set of separate,',
|
|
320
323
|
`independently-completable pieces of work that move this project toward that goal.`,
|
|
321
324
|
'',
|
package/dist/goal-compile.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-compile.js","sourceRoot":"","sources":["../src/goal-compile.ts"],"names":[],"mappings":";;;AAwHA,0BAEC;AAUD,wCAEC;AAmBD,wDAOC;AAQD,oCAEC;AAyBD,gCAuBC;AAoBD,oCAQC;AAQD,gCAIC;AAcD,kCAYC;AAkCD,sCA6BC;
|
|
1
|
+
{"version":3,"file":"goal-compile.js","sourceRoot":"","sources":["../src/goal-compile.ts"],"names":[],"mappings":";;;AAwHA,0BAEC;AAUD,wCAEC;AAmBD,wDAOC;AAQD,oCAEC;AAyBD,gCAuBC;AAoBD,oCAQC;AAQD,gCAIC;AAcD,kCAYC;AAkCD,sCA6BC;AAuED,gDA+DC;AASD,kCA6CC;AAcD,kCA4CC;AAjlBD,6CAAyC;AACzC,uCAAkJ;AAElJ,qDAAkD;AAElD;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACU,QAAA,iBAAiB,GAAG,CAAC,CAAC;AAEnC,mEAAmE;AACtD,QAAA,kBAAkB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAyDjD;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,OAAO,CAAC,KAAa;IACnC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,cAAc,CAAC,MAAc,EAAE,WAAmB,EAAE,GAAW;IAC7E,OAAO,IAAA,gBAAS,EAAC,MAAM,EAAE,IAAA,aAAM,EAAC,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAgB,sBAAsB,CACpC,MAAc,EACd,WAAmB,EACnB,QAAgB,EAChB,GAAW;IAEX,OAAO,IAAA,gBAAS,EAAC,MAAM,EAAE,IAAA,aAAM,EAAC,oBAAoB,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,MAAc,EAAE,WAAmB,EAAE,QAAgB;IAChF,OAAO,IAAA,gBAAS,EAAC,MAAM,EAAE,IAAA,aAAM,EAAC,kBAAkB,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;AACtF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAgB,UAAU,CAAC,GAM1B;IACC,OAAO;QACL,EAAE,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC3D,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,KAAK,EAAE,QAAQ,GAAG,CAAC,QAAQ,gBAAgB;QAC3C,GAAG,EAAE,MAAM;QACX,sEAAsE;QACtE,KAAK,EAAE,QAAiB;QACxB,MAAM,EAAE,MAAe;QACvB,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,sBAAsB,EAAE,GAAG,CAAC,WAAW;QACvC,uBAAuB,EAAE,GAAG,CAAC,QAAQ;QACrC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,YAAY,CAC1B,IAAwF;IAExF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC;IAC9C,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrF,OAAO,IAAI,CAAC,EAAE,KAAK,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,SAAgB,UAAU,CAAC,MAAc,EAAE,WAAmB,EAAE,QAAgB,EAAE,GAAW;IAC3F,OAAO,QAAQ,IAAI,0BAAmB;QACpC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC;QAC1C,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,WAAW,CAAC,UAAkB;IAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,IAAI,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;IAE/E,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1E,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/D,MAAM,GAAG,GAAI,MAA8B,CAAC,KAAK,CAAC;QAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC9B,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,CAAC,CAAC,CAAC;QACH,0EAA0E;QAC1E,0EAA0E;QAC1E,0CAA0C;QAC1C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,aAAa,CAAC,CAAU;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QAClD,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,IAAI,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC;YAAE,SAAS;QAC5D,MAAM,GAAG,GAAa,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QAC1F,IAAI,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QAC7D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,OAAO;QACL,KAAK;QACL,sEAAsE;QACtE,oEAAoE;QACpE,GAAG,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM;QAC/E,QAAQ;QACR,0EAA0E;QAC1E,qEAAqE;QACrE,gDAAgD;QAChD,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAuED,SAAgB,kBAAkB,CAAC,KAAuB,EAAE,QAAQ,GAAG,yBAAiB;IACtF,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,IAAA,oBAAa,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,aAAa,GAAG,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACtG,OAAO;QACL,sDAAsD;QACtD,EAAE;QACF,YAAY,KAAK,CAAC,WAAW,EAAE;QAC/B,+DAA+D;QAC/D,KAAK,CAAC,QAAQ;QACd,EAAE;QACF,4EAA4E;QAC5E,yEAAyE;QACzE,WAAW;QACX,qEAAqE;QACrE,2EAA2E;QAC3E,iEAAiE;QACjE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,IAAA,uBAAgB,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAA,uBAAgB,EAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7H,0EAA0E;QAC1E,yEAAyE;QACzE,qEAAqE;QACrE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;YACrD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,4CAA4C,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACrE,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;YACtE,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,qDAAqD,EAAE,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACpF,6EAA6E;QAC7E,mFAAmF;QACnF,EAAE;QACF,OAAO;QACP,aAAa,QAAQ,mEAAmE;QACxF,4EAA4E;QAC5E,8EAA8E;QAC9E,gDAAgD;QAChD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,IAAA,oBAAa,EAAC,KAAK,CAAC,MAAM,CAAC;YAC3D,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,uGAAuG;gBACvG,6FAA6F;aAC9F,CAAC;QACN,iFAAiF;QACjF,sEAAsE;QACtE,wFAAwF;QACxF,GAAG,CAAC,aAAa;YACf,CAAC,CAAC;gBACE,uFAAuF;gBACvF,sFAAsF;gBACtF,4EAA4E;gBAC5E,sFAAsF;gBACtF,4FAA4F;gBAC5F,EAAE;gBACF,6EAA6E,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACjG;YACH,CAAC,CAAC,EAAE,CAAC;QACP,EAAE;QACF,oEAAoE;QACpE,aAAa;YACX,CAAC,CAAC,yJAAyJ;YAC3J,CAAC,CAAC,oFAAoF;KACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACI,KAAK,UAAU,WAAW,CAAC,KAAuB,EAAE,IAAiB;IAC1E,8EAA8E;IAC9E,yEAAyE;IACzE,6EAA6E;IAC7E,cAAc;IACd,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,yBAAiB,CAAC;IAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,0BAAkB,CAAC,CAAC;IAC5E,8EAA8E;IAC9E,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,CAAC,GAAG,IAAA,+BAAc,EAAC,GAAG,CAAC,CAAC;IAC9B,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;IAElC,IAAI,CAAC,CAAC,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IACxH,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAE7G,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAEpH,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK;QACL,wEAAwE;QACxE,2EAA2E;QAC3E,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;QAC9C,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU;QACV,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,WAAW,CACzB,KAA0B,EAC1B,GAcC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,IAAI,0BAAmB,CAAC;IACzD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,EAAE,EAAE,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACvE,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,KAAK,EAAE,OAAgB;QACvB,0EAA0E;QAC1E,mEAAmE;QACnE,MAAM,EAAE,MAAe;QACvB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,yEAAyE;QACzE,wEAAwE;QACxE,0BAA0B;QAC1B,sBAAsB,EAAE,GAAG,CAAC,WAAW;QACvC,0EAA0E;QAC1E,4EAA4E;QAC5E,uEAAuE;QACvE,GAAG,CAAC,QAAQ,GAAG,0BAAmB,CAAC,CAAC,CAAC,EAAE,uBAAuB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,oEAAoE;QACpE,0CAA0C;QAC1C,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3B,QAAQ,EAAE,CAAC;KACZ,CAAC,CAAC,CAAC;AACN,CAAC"}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { type Item, type RunScope } from '@looply/core';
|
|
1
|
+
import { type GateStepResult, type Item, type RunScope } from '@looply/core';
|
|
2
2
|
import type { RoundRecord } from './round-records';
|
|
3
3
|
/**
|
|
4
4
|
* KEY 2 β THE HALF OF "THIS GOAL IS MET" THAT CANNOT BE TALKED INTO AN ANSWER.
|
|
@@ -96,6 +96,24 @@ export interface GoalExecutionInput {
|
|
|
96
96
|
* a person's own `git commit` can never qualify.
|
|
97
97
|
*/
|
|
98
98
|
countManualWork?: boolean;
|
|
99
|
+
/**
|
|
100
|
+
* THE GATES, RUN AGAIN AT THE CURRENT HEAD, when the tree moved on since this
|
|
101
|
+
* plan was delivered (`goal-reproof.ts`).
|
|
102
|
+
*
|
|
103
|
+
* π΄ WHY: TAB-B-57, 63 and 64 (2026-10-15) delivered every step of their plans,
|
|
104
|
+
* and the next Start found another ticket's run had moved this checkout's HEAD
|
|
105
|
+
* in between β stacked on top of their own commits. KEY 2 answered "the code
|
|
106
|
+
* has moved on β¦ what is here now was never checked", which was TRUE, and the
|
|
107
|
+
* goal went back to a person for it. The honest repair is not to relax (2)
|
|
108
|
+
* above but to do the checking: run every required step at the tree that is
|
|
109
|
+
* here now. Accepted only when a committed round of this plan is CONTAINED in
|
|
110
|
+
* that tree (`contains`: the plan's committed shas that are ancestors of HEAD),
|
|
111
|
+
* so a re-proof can never vouch for a tree that lacks the work.
|
|
112
|
+
*/
|
|
113
|
+
rechecked?: {
|
|
114
|
+
readonly contains: ReadonlySet<string>;
|
|
115
|
+
readonly steps: readonly GateStepResult[];
|
|
116
|
+
};
|
|
99
117
|
}
|
|
100
118
|
export type GoalExecutionOutcome = {
|
|
101
119
|
ok: true;
|
|
@@ -116,11 +134,19 @@ export type GoalExecutionOutcome = {
|
|
|
116
134
|
* gate record is the only one that can speak for it.
|
|
117
135
|
*/
|
|
118
136
|
delivered: readonly string[];
|
|
119
|
-
|
|
137
|
+
/** Set when the answer rests on a re-proof at HEAD: the steps that ran there, which speak for this tree. */
|
|
138
|
+
reproved?: readonly GateStepResult[];
|
|
139
|
+
}
|
|
140
|
+
/** `moved`: the only refusal a re-proof at the current tree can answer (see `rechecked`). */
|
|
141
|
+
| {
|
|
120
142
|
ok: false;
|
|
121
143
|
because: string;
|
|
144
|
+
moved?: true;
|
|
122
145
|
};
|
|
146
|
+
export declare const CODE_MOVED_ON = "the code has moved on since this plan was delivered, so what is here now was never checked";
|
|
123
147
|
export declare function confirmGoalExecutionEvidence(input: GoalExecutionInput): GoalExecutionOutcome;
|
|
148
|
+
/** The commits this plan's delivered work made β what a re-proof asks git about (`rechecked.contains`). */
|
|
149
|
+
export declare function committedShasOf(input: Pick<GoalExecutionInput, 'scope' | 'items' | 'rounds' | 'countManualWork'>): string[];
|
|
124
150
|
/** A committed round, as a goal-met Start locates it: its commit and the run that made it. */
|
|
125
151
|
export interface DeliveredTip {
|
|
126
152
|
readonly sha: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-execution-evidence.d.ts","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;
|
|
1
|
+
{"version":3,"file":"goal-execution-evidence.d.ts","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,KAAK,cAAc,EAAE,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE1G,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;OASG;IACH,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC;;;;;;;;;OASG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;;;;;;;;OAaG;IACH,SAAS,CAAC,EAAE;QACV,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;KAC3C,CAAC;CACH;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,EAAE,EAAE,IAAI,CAAC;IACT,KAAK,EAAE,WAAW,CAAC;IACnB;;;;;;;;;;;;;;OAcG;IACH,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,4GAA4G;IAC5G,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CACtC;AACH,6FAA6F;GAC3F;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAEjD,eAAO,MAAM,aAAa,+FACoE,CAAC;AAE/F,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,kBAAkB,GAAG,oBAAoB,CAkH5F;AA8CD,2GAA2G;AAC3G,wBAAgB,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC,GAAG,MAAM,EAAE,CAM3H;AAED,8FAA8F;AAC9F,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC,GAChF,YAAY,GAAG,IAAI,CAOrB"}
|
|
@@ -1,9 +1,12 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.CODE_MOVED_ON = void 0;
|
|
3
4
|
exports.confirmGoalExecutionEvidence = confirmGoalExecutionEvidence;
|
|
5
|
+
exports.committedShasOf = committedShasOf;
|
|
4
6
|
exports.deliveredTipOf = deliveredTipOf;
|
|
5
7
|
const core_1 = require("@looply/core");
|
|
6
8
|
const goal_compile_1 = require("./goal-compile");
|
|
9
|
+
exports.CODE_MOVED_ON = 'the code has moved on since this plan was delivered, so what is here now was never checked';
|
|
7
10
|
function confirmGoalExecutionEvidence(input) {
|
|
8
11
|
const { scope, currentHead } = input;
|
|
9
12
|
if (scope === null)
|
|
@@ -49,11 +52,23 @@ function confirmGoalExecutionEvidence(input) {
|
|
|
49
52
|
const atHead = committed.filter((r) => r.sha === currentHead);
|
|
50
53
|
if (atHead.length === 0) {
|
|
51
54
|
// Deliberately not "close enough". Something has moved the repository since
|
|
52
|
-
// this plan landed, and nothing here has checked that the goal survived it
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
55
|
+
// this plan landed, and nothing here has checked that the goal survived it β
|
|
56
|
+
// unless the gates were run again at this tree, and the plan's work is in it.
|
|
57
|
+
const rechecked = input.rechecked;
|
|
58
|
+
if (rechecked === undefined)
|
|
59
|
+
return { ok: false, because: exports.CODE_MOVED_ON, moved: true };
|
|
60
|
+
const contained = committed.filter((r) => {
|
|
61
|
+
const item = mineById.get(r.itemId);
|
|
62
|
+
return r.sha !== undefined && rechecked.contains.has(r.sha) && item !== undefined && !(0, goal_compile_1.isPlanMarker)(item);
|
|
63
|
+
});
|
|
64
|
+
if (contained.length === 0) {
|
|
65
|
+
return { ok: false, because: 'the code has moved on since this plan was delivered, and its work is not in the tree that is here now' };
|
|
66
|
+
}
|
|
67
|
+
const permitted = (0, core_1.mayCommit)({ steps: [...rechecked.steps], requiredSteps: input.requiredSteps, proofEnabled: false });
|
|
68
|
+
if (!permitted.ok) {
|
|
69
|
+
return { ok: false, because: `the gates were run again at the current tree, and ${permitted.reason ?? 'they did not pass'}` };
|
|
70
|
+
}
|
|
71
|
+
return { ok: true, round: contained[contained.length - 1], delivered: [...deliveredIds], reproved: rechecked.steps };
|
|
57
72
|
}
|
|
58
73
|
// An EXISTS, not a FOR-ALL, and that is the whole reachability argument: a
|
|
59
74
|
// plan of five steps produces five commits and only the last is HEAD, so
|
|
@@ -141,6 +156,16 @@ function committedOfPlan(input, scope) {
|
|
|
141
156
|
}
|
|
142
157
|
return { ok: true, committed, deliveredIds, mineById };
|
|
143
158
|
}
|
|
159
|
+
/** The commits this plan's delivered work made β what a re-proof asks git about (`rechecked.contains`). */
|
|
160
|
+
function committedShasOf(input) {
|
|
161
|
+
const { scope } = input;
|
|
162
|
+
if (scope === null || scope.planRevision === undefined)
|
|
163
|
+
return [];
|
|
164
|
+
const plan = committedOfPlan(input, scope);
|
|
165
|
+
if (!plan.ok)
|
|
166
|
+
return [];
|
|
167
|
+
return plan.committed.flatMap((r) => (r.sha === undefined ? [] : [r.sha]));
|
|
168
|
+
}
|
|
144
169
|
/**
|
|
145
170
|
* The plan's NEWEST committed round β the delivered tree a goal-met Start judges while the
|
|
146
171
|
* lane has not moved it (F27). Null wherever KEY 2 would find nothing to confirm, and when
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"goal-execution-evidence.js","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"goal-execution-evidence.js","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":";;;AAsJA,oEAkHC;AA+CD,0CAMC;AAaD,wCASC;AAnVD,uCAA0G;AAC1G,iDAA8C;AAkJjC,QAAA,aAAa,GACxB,4FAA4F,CAAC;AAE/F,SAAgB,4BAA4B,CAAC,KAAyB;IACpE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,wEAAwE;QACxE,wEAAwE;QACxE,mCAAmC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC;IACzG,CAAC;IACD,IAAI,WAAW,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IAE9F;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,6EAA6E;gBAC7E,+DAA+D;SAClE,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAEnD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,4EAA4E;QAC5E,6EAA6E;QAC7E,8EAA8E;QAC9E,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAA,2BAAY,EAAC,IAAI,CAAC,CAAC;QAC3G,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uGAAuG,EAAE,CAAC;QACzI,CAAC;QACD,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;QACtH,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qDAAqD,SAAS,CAAC,MAAM,IAAI,mBAAmB,EAAE,EAAE,CAAC;QAChI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACxH,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,UAAU,GAAG,+DAA+D,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC;;;;;;;;;;;;;;;;;;;;;;;;WAwBG;QACH,IAAI,IAAI,KAAK,SAAS,IAAI,IAAA,2BAAY,EAAC,IAAI,CAAC;YAAE,SAAS;QACvD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAEvC,qEAAqE;QACrE,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;YACvB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC;QAC3E,UAAU,GAAG,SAAS,CAAC,MAAM,IAAI,uBAAuB,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,KAAuE,EACvE,KAA4B;IAI5B,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,IAAI,IAAI,CAAC;IAElD,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACvC,MAAM,OAAO,GAAG,IAAA,uBAAgB,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC5C,OAAO,WAAW,IAAI,OAAO,KAAK,QAAQ,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC;IAC/E,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAE9D,uDAAuD;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8DAA8D,EAAE,CAAC;IAChG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAED,2GAA2G;AAC3G,SAAgB,eAAe,CAAC,KAAiF;IAC/G,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAQD;;;;GAIG;AACH,SAAgB,cAAc,CAC5B,KAAiF;IAEjF,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAC9E,OAAO,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC"}
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
import type { GateStepResult } from '@looply/core';
|
|
2
|
+
/**
|
|
3
|
+
* RE-CHECK THE TREE THAT IS HERE NOW, RATHER THAN HAND A DELIVERED GOAL BACK.
|
|
4
|
+
*
|
|
5
|
+
* KEY 2 (`goal-execution-evidence.ts`) refuses a "goal met" verdict when HEAD is
|
|
6
|
+
* not the commit the plan's last round made: nothing has checked the tree that
|
|
7
|
+
* is here now. On 2026-10-15 that refusal ended three Tabsy tickets whose every
|
|
8
|
+
* step had been delivered, gated and proved (TAB-B-57, 63, 64) β another
|
|
9
|
+
* ticket's run had been cut on top of their commits in the same checkout, so
|
|
10
|
+
* HEAD had moved on and the goal went back to a person.
|
|
11
|
+
*
|
|
12
|
+
* This does the missing check instead: when the plan's work is contained in
|
|
13
|
+
* HEAD and the working tree is clean, every gate step runs again at HEAD, and
|
|
14
|
+
* KEY 2 is asked again with what those steps say. A tree without the work, a
|
|
15
|
+
* dirty tree, or a red gate still refuses β with the reason.
|
|
16
|
+
*
|
|
17
|
+
* Every verb is injected, so production and the tests run this same code.
|
|
18
|
+
*/
|
|
19
|
+
export interface ReproofDeps {
|
|
20
|
+
/** Uncommitted paths in the working tree. */
|
|
21
|
+
changedPaths(): Promise<readonly string[]>;
|
|
22
|
+
isAncestor(ancestor: string, of: string): Promise<boolean>;
|
|
23
|
+
changedPathsBetween(fromSha: string, toSha: string): Promise<readonly string[]>;
|
|
24
|
+
/** Run the project's gate at the current tree; `changedPaths` feeds the steps' `when:` filters. */
|
|
25
|
+
runGates(changedPaths: readonly string[]): Promise<readonly GateStepResult[]>;
|
|
26
|
+
}
|
|
27
|
+
export type ReproofOutcome = {
|
|
28
|
+
readonly ok: true;
|
|
29
|
+
readonly contains: ReadonlySet<string>;
|
|
30
|
+
readonly steps: readonly GateStepResult[];
|
|
31
|
+
} | {
|
|
32
|
+
readonly ok: false;
|
|
33
|
+
readonly because: string;
|
|
34
|
+
};
|
|
35
|
+
/**
|
|
36
|
+
* `committed` is the plan's committed shas in ledger order (`committedShasOf`).
|
|
37
|
+
* The `when:` paths are everything from the parent of the plan's first
|
|
38
|
+
* contained commit to HEAD, so a step filtered to the files this plan touched
|
|
39
|
+
* still runs.
|
|
40
|
+
*/
|
|
41
|
+
export declare function reproveAtHead(head: string, committed: readonly string[], deps: ReproofDeps): Promise<ReproofOutcome>;
|
|
42
|
+
//# sourceMappingURL=goal-reproof.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"goal-reproof.d.ts","sourceRoot":"","sources":["../src/goal-reproof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,YAAY,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3C,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3D,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAChF,mGAAmG;IACnG,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;CAC/E;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GACxG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAErD;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAoB1H"}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.reproveAtHead = reproveAtHead;
|
|
4
|
+
/**
|
|
5
|
+
* `committed` is the plan's committed shas in ledger order (`committedShasOf`).
|
|
6
|
+
* The `when:` paths are everything from the parent of the plan's first
|
|
7
|
+
* contained commit to HEAD, so a step filtered to the files this plan touched
|
|
8
|
+
* still runs.
|
|
9
|
+
*/
|
|
10
|
+
async function reproveAtHead(head, committed, deps) {
|
|
11
|
+
if (head === '')
|
|
12
|
+
return { ok: false, because: 'the current commit could not be read' };
|
|
13
|
+
const dirty = await deps.changedPaths();
|
|
14
|
+
if (dirty.length > 0) {
|
|
15
|
+
return { ok: false, because: `the working tree has ${dirty.length} uncommitted change(s), so it is not the tree a gate would check` };
|
|
16
|
+
}
|
|
17
|
+
const contains = [];
|
|
18
|
+
for (const sha of committed) {
|
|
19
|
+
if (sha === head || (await deps.isAncestor(sha, head).catch(() => false)))
|
|
20
|
+
contains.push(sha);
|
|
21
|
+
}
|
|
22
|
+
if (contains.length === 0)
|
|
23
|
+
return { ok: false, because: 'none of this planβs commits is in the tree that is here now' };
|
|
24
|
+
let paths = [];
|
|
25
|
+
try {
|
|
26
|
+
paths = await deps.changedPathsBetween(`${contains[0]}~1`, head);
|
|
27
|
+
}
|
|
28
|
+
catch {
|
|
29
|
+
// A plan whose first commit is the repository's root has no parent: the plan's own commits still name its files.
|
|
30
|
+
paths = await deps.changedPathsBetween(contains[0], head).catch(() => []);
|
|
31
|
+
}
|
|
32
|
+
const steps = await deps.runGates(paths);
|
|
33
|
+
return { ok: true, contains: new Set(contains), steps };
|
|
34
|
+
}
|
|
35
|
+
//# sourceMappingURL=goal-reproof.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"goal-reproof.js","sourceRoot":"","sources":["../src/goal-reproof.ts"],"names":[],"mappings":";;AAsCA,sCAoBC;AA1BD;;;;;GAKG;AACI,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,SAA4B,EAAE,IAAiB;IAC/F,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,wBAAwB,KAAK,CAAC,MAAM,kEAAkE,EAAE,CAAC;IACxI,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6DAA6D,EAAE,CAAC;IACxH,IAAI,KAAK,GAAsB,EAAE,CAAC;IAClC,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,iHAAiH;QACjH,KAAK,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}
|
|
@@ -0,0 +1,70 @@
|
|
|
1
|
+
import type { CheckedPlan, CheckedStep } from './compile-check';
|
|
2
|
+
import { type CompileGoalInput, type CompileOutcome, type PlanStep } from './goal-compile';
|
|
3
|
+
/**
|
|
4
|
+
* A PLAN THAT CANNOT BE USED AS IT CAME BACK IS ASKED AGAIN, NOT HANDED TO A PERSON.
|
|
5
|
+
*
|
|
6
|
+
* βββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
|
|
7
|
+
* WHY (Tabsy, 2026-10-15)
|
|
8
|
+
*
|
|
9
|
+
* A ticket pasted into a chat with the same model is fixed nine times in ten.
|
|
10
|
+
* The same tickets given to Looply ended `human_required` for reasons that had
|
|
11
|
+
* nothing to do with the work:
|
|
12
|
+
* - TAB-B-60: the one step of the plan cited `TableBillLink.tsx:201`, the line
|
|
13
|
+
* did not exist at the committed tree, the step was refused, nothing was
|
|
14
|
+
* queued, and the run had nothing to do;
|
|
15
|
+
* - TAB-B-45: "shouldn't a fully paid table automatically become closed? β
|
|
16
|
+
* closing a session is only done manually as of now" was read as a remark,
|
|
17
|
+
* the plan came back empty, and "nothing here can move without you".
|
|
18
|
+
*
|
|
19
|
+
* Neither is a question only a person can answer. So:
|
|
20
|
+
* 1. a step whose citation does not hold is RE-PLANNED: the compiler is asked
|
|
21
|
+
* once more, shown each refusal, and told to read the current tree;
|
|
22
|
+
* 2. a step refused again keeps its place WITHOUT the citation that failed β
|
|
23
|
+
* a citation is a pointer, not the work, and the verify pass still confirms
|
|
24
|
+
* every draft against the code before a round may pick it;
|
|
25
|
+
* 3. an empty plan is asked again with the ticket read as an instruction;
|
|
26
|
+
* 4. an empty plan after that becomes ONE direct step β "do what this ticket
|
|
27
|
+
* asks" β and the implementer is handed the person's full wording (it
|
|
28
|
+
* always is, see `buildImplementerPrompt`). It is gated and proved like
|
|
29
|
+
* every other round, so nothing here lowers the bar for what lands.
|
|
30
|
+
*
|
|
31
|
+
* β οΈ WHAT IS NOT RECOVERED: a compiler that failed, timed out or answered in a
|
|
32
|
+
* shape nobody could read. Those already spend nothing and the next Start asks
|
|
33
|
+
* again, which is the right answer to a transport problem.
|
|
34
|
+
*
|
|
35
|
+
* PURE apart from the two injected calls, so production and the tests run the
|
|
36
|
+
* same code.
|
|
37
|
+
*/
|
|
38
|
+
export interface RecoveryDeps {
|
|
39
|
+
compile(input: CompileGoalInput): Promise<CompileOutcome>;
|
|
40
|
+
check(steps: readonly PlanStep[]): Promise<CheckedPlan>;
|
|
41
|
+
log?(line: string): void;
|
|
42
|
+
}
|
|
43
|
+
export interface RecoveredPlan {
|
|
44
|
+
/** The answer whose steps are the ones to queue (`steps` already recovered). */
|
|
45
|
+
readonly compiled: CompileOutcome;
|
|
46
|
+
/**
|
|
47
|
+
* `admitted` is every step to queue; `refused` is what the FIRST check refused,
|
|
48
|
+
* kept so the compile record shows the claim beside what was there.
|
|
49
|
+
*/
|
|
50
|
+
readonly checked: CheckedPlan | null;
|
|
51
|
+
/** What recovery did, for the log; empty when the first answer was used as it came. */
|
|
52
|
+
readonly notes: readonly string[];
|
|
53
|
+
}
|
|
54
|
+
export declare const DIRECT_STEP_PREFIX = "Do what this ticket asks, as written";
|
|
55
|
+
/** The context for a re-plan after refusals: each refused step, and why. */
|
|
56
|
+
export declare function refusalContext(refused: readonly CheckedStep[]): string;
|
|
57
|
+
/** The context for a re-plan after an empty plan: read the ticket as an instruction. */
|
|
58
|
+
export declare const STATEMENT_CONTEXT: string;
|
|
59
|
+
/** The one step a ticket gets when structured planning produced nothing usable. */
|
|
60
|
+
export declare function directFixStep(goalText: string): PlanStep;
|
|
61
|
+
/** A compile answer made of the direct step alone, for a caller that needs a `CompileOutcome`. */
|
|
62
|
+
export declare function directFixOutcome(goalText: string): CompileOutcome;
|
|
63
|
+
/** A refused step with the citations that failed taken off it. */
|
|
64
|
+
export declare function withoutRefuted(r: CheckedStep): PlanStep;
|
|
65
|
+
/**
|
|
66
|
+
* Compile, check, and recover. `maxSteps` bounds what is queued, whatever the
|
|
67
|
+
* recovery added, so a re-plan never makes a plan bigger than the cap it was asked under.
|
|
68
|
+
*/
|
|
69
|
+
export declare function compileWithRecovery(input: CompileGoalInput, deps: RecoveryDeps, maxSteps: number): Promise<RecoveredPlan>;
|
|
70
|
+
//# sourceMappingURL=plan-recovery.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"plan-recovery.d.ts","sourceRoot":"","sources":["../src/plan-recovery.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAW,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1D,KAAK,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxD,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAKD,eAAO,MAAM,kBAAkB,yCAAyC,CAAC;AAEzE,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAQtE;AAED,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAMlB,CAAC;AAOb,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAQxD;AAED,kGAAkG;AAClG,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAUjE;AAED,kEAAkE;AAClE,wBAAgB,cAAc,CAAC,CAAC,EAAE,WAAW,GAAG,QAAQ,CAGvD;AAcD;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAsD/H"}
|