taskflow-dsl 0.2.0
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/LICENSE +21 -0
- package/README.md +1008 -0
- package/dist/build/erase/ast.d.ts +13 -0
- package/dist/build/erase/ast.d.ts.map +1 -0
- package/dist/build/erase/ast.js +76 -0
- package/dist/build/erase/ast.js.map +1 -0
- package/dist/build/erase/context.d.ts +18 -0
- package/dist/build/erase/context.d.ts.map +1 -0
- package/dist/build/erase/context.js +109 -0
- package/dist/build/erase/context.js.map +1 -0
- package/dist/build/erase/index.d.ts +4 -0
- package/dist/build/erase/index.d.ts.map +1 -0
- package/dist/build/erase/index.js +2 -0
- package/dist/build/erase/index.js.map +1 -0
- package/dist/build/erase/kinds/agent-script.d.ts +5 -0
- package/dist/build/erase/kinds/agent-script.d.ts.map +1 -0
- package/dist/build/erase/kinds/agent-script.js +100 -0
- package/dist/build/erase/kinds/agent-script.js.map +1 -0
- package/dist/build/erase/kinds/approval.d.ts +4 -0
- package/dist/build/erase/kinds/approval.d.ts.map +1 -0
- package/dist/build/erase/kinds/approval.js +39 -0
- package/dist/build/erase/kinds/approval.js.map +1 -0
- package/dist/build/erase/kinds/branch-opts.d.ts +10 -0
- package/dist/build/erase/kinds/branch-opts.d.ts.map +1 -0
- package/dist/build/erase/kinds/branch-opts.js +21 -0
- package/dist/build/erase/kinds/branch-opts.js.map +1 -0
- package/dist/build/erase/kinds/expand-flow.d.ts +9 -0
- package/dist/build/erase/kinds/expand-flow.d.ts.map +1 -0
- package/dist/build/erase/kinds/expand-flow.js +80 -0
- package/dist/build/erase/kinds/expand-flow.js.map +1 -0
- package/dist/build/erase/kinds/gate-sugar.d.ts +5 -0
- package/dist/build/erase/kinds/gate-sugar.d.ts.map +1 -0
- package/dist/build/erase/kinds/gate-sugar.js +98 -0
- package/dist/build/erase/kinds/gate-sugar.js.map +1 -0
- package/dist/build/erase/kinds/gate.d.ts +5 -0
- package/dist/build/erase/kinds/gate.d.ts.map +1 -0
- package/dist/build/erase/kinds/gate.js +60 -0
- package/dist/build/erase/kinds/gate.js.map +1 -0
- package/dist/build/erase/kinds/index.d.ts +9 -0
- package/dist/build/erase/kinds/index.d.ts.map +1 -0
- package/dist/build/erase/kinds/index.js +107 -0
- package/dist/build/erase/kinds/index.js.map +1 -0
- package/dist/build/erase/kinds/loop.d.ts +4 -0
- package/dist/build/erase/kinds/loop.d.ts.map +1 -0
- package/dist/build/erase/kinds/loop.js +55 -0
- package/dist/build/erase/kinds/loop.js.map +1 -0
- package/dist/build/erase/kinds/map.d.ts +4 -0
- package/dist/build/erase/kinds/map.d.ts.map +1 -0
- package/dist/build/erase/kinds/map.js +117 -0
- package/dist/build/erase/kinds/map.js.map +1 -0
- package/dist/build/erase/kinds/parallel.d.ts +4 -0
- package/dist/build/erase/kinds/parallel.d.ts.map +1 -0
- package/dist/build/erase/kinds/parallel.js +62 -0
- package/dist/build/erase/kinds/parallel.js.map +1 -0
- package/dist/build/erase/kinds/race.d.ts +4 -0
- package/dist/build/erase/kinds/race.d.ts.map +1 -0
- package/dist/build/erase/kinds/race.js +61 -0
- package/dist/build/erase/kinds/race.js.map +1 -0
- package/dist/build/erase/kinds/reduce.d.ts +4 -0
- package/dist/build/erase/kinds/reduce.d.ts.map +1 -0
- package/dist/build/erase/kinds/reduce.js +81 -0
- package/dist/build/erase/kinds/reduce.js.map +1 -0
- package/dist/build/erase/kinds/tournament.d.ts +4 -0
- package/dist/build/erase/kinds/tournament.d.ts.map +1 -0
- package/dist/build/erase/kinds/tournament.js +75 -0
- package/dist/build/erase/kinds/tournament.js.map +1 -0
- package/dist/build/erase/opts.d.ts +18 -0
- package/dist/build/erase/opts.d.ts.map +1 -0
- package/dist/build/erase/opts.js +241 -0
- package/dist/build/erase/opts.js.map +1 -0
- package/dist/build/erase/pipeline.d.ts +8 -0
- package/dist/build/erase/pipeline.d.ts.map +1 -0
- package/dist/build/erase/pipeline.js +420 -0
- package/dist/build/erase/pipeline.js.map +1 -0
- package/dist/build/erase/templates.d.ts +20 -0
- package/dist/build/erase/templates.d.ts.map +1 -0
- package/dist/build/erase/templates.js +185 -0
- package/dist/build/erase/templates.js.map +1 -0
- package/dist/build/erase/types.d.ts +31 -0
- package/dist/build/erase/types.d.ts.map +1 -0
- package/dist/build/erase/types.js +28 -0
- package/dist/build/erase/types.js.map +1 -0
- package/dist/build/erase.d.ts +4 -0
- package/dist/build/erase.d.ts.map +1 -0
- package/dist/build/erase.js +2 -0
- package/dist/build/erase.js.map +1 -0
- package/dist/build.d.ts +26 -0
- package/dist/build.d.ts.map +1 -0
- package/dist/build.js +200 -0
- package/dist/build.js.map +1 -0
- package/dist/check.d.ts +21 -0
- package/dist/check.d.ts.map +1 -0
- package/dist/check.js +42 -0
- package/dist/check.js.map +1 -0
- package/dist/cli.d.ts +6 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +279 -0
- package/dist/cli.js.map +1 -0
- package/dist/decompile.d.ts +7 -0
- package/dist/decompile.d.ts.map +1 -0
- package/dist/decompile.js +353 -0
- package/dist/decompile.js.map +1 -0
- package/dist/diagnostics.d.ts +27 -0
- package/dist/diagnostics.d.ts.map +1 -0
- package/dist/diagnostics.js +17 -0
- package/dist/diagnostics.js.map +1 -0
- package/dist/index.d.ts +7 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +6 -0
- package/dist/index.js.map +1 -0
- package/dist/new-skeleton.d.ts +4 -0
- package/dist/new-skeleton.d.ts.map +1 -0
- package/dist/new-skeleton.js +22 -0
- package/dist/new-skeleton.js.map +1 -0
- package/dist/paths.d.ts +28 -0
- package/dist/paths.d.ts.map +1 -0
- package/dist/paths.js +153 -0
- package/dist/paths.js.map +1 -0
- package/dist/runes.d.ts +175 -0
- package/dist/runes.d.ts.map +1 -0
- package/dist/runes.js +83 -0
- package/dist/runes.js.map +1 -0
- package/dist/typecheck.d.ts +6 -0
- package/dist/typecheck.d.ts.map +1 -0
- package/dist/typecheck.js +62 -0
- package/dist/typecheck.js.map +1 -0
- package/package.json +68 -0
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { calleeName } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseStringish } from "../templates.js";
|
|
5
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
6
|
+
import { mergeBranchAgentOpts } from "./branch-opts.js";
|
|
7
|
+
export function emitRace(ctx, bindName, call, itemParam) {
|
|
8
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
9
|
+
const draft = {
|
|
10
|
+
id: idBase,
|
|
11
|
+
binding: idBase,
|
|
12
|
+
type: "race",
|
|
13
|
+
raw: { type: "race" },
|
|
14
|
+
dependsOn: new Set(),
|
|
15
|
+
};
|
|
16
|
+
const arr = call.arguments[0];
|
|
17
|
+
const branches = [];
|
|
18
|
+
if (arr && ts.isArrayLiteralExpression(arr)) {
|
|
19
|
+
for (let bi = 0; bi < arr.elements.length; bi++) {
|
|
20
|
+
const el = arr.elements[bi];
|
|
21
|
+
if (ts.isCallExpression(el) && calleeName(el.expression) === "agent") {
|
|
22
|
+
if (el.arguments.length < 1 || el.arguments.length > 2) {
|
|
23
|
+
ctx.diags.push({
|
|
24
|
+
code: "TFDSL_RUNE_ARITY",
|
|
25
|
+
severity: "error",
|
|
26
|
+
message: `race() branch agent expects 1-2 arguments, got ${el.arguments.length}.`,
|
|
27
|
+
file: ctx.file,
|
|
28
|
+
});
|
|
29
|
+
continue;
|
|
30
|
+
}
|
|
31
|
+
const erased = eraseStringish(ctx.sf, ctx.file, el.arguments[0], itemParam, ctx.phases, ctx.diags);
|
|
32
|
+
const b = {};
|
|
33
|
+
if (erased) {
|
|
34
|
+
b.task = erased.text;
|
|
35
|
+
for (const d of erased.deps)
|
|
36
|
+
draft.dependsOn.add(d);
|
|
37
|
+
}
|
|
38
|
+
const bopts = mergeBranchAgentOpts(ctx, el.arguments[1], `race branch ${bi + 1}`);
|
|
39
|
+
Object.assign(b, bopts);
|
|
40
|
+
branches.push(b);
|
|
41
|
+
}
|
|
42
|
+
else {
|
|
43
|
+
ctx.diags.push({
|
|
44
|
+
code: "TFDSL_BRANCH_KIND",
|
|
45
|
+
severity: "error",
|
|
46
|
+
message: `race() branch ${bi + 1} must be agent(...) — other expressions are not erasable.`,
|
|
47
|
+
file: ctx.file,
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
draft.raw.branches = branches;
|
|
53
|
+
const opts = mergeOpts(ctx.sf, ctx.file, call.arguments[1], ctx.diags, ctx.phases);
|
|
54
|
+
if (typeof opts.id === "string")
|
|
55
|
+
draft.id = opts.id;
|
|
56
|
+
Object.assign(draft.raw, opts);
|
|
57
|
+
if (opts.final === true)
|
|
58
|
+
draft.final = true;
|
|
59
|
+
return register(ctx, draft);
|
|
60
|
+
}
|
|
61
|
+
//# sourceMappingURL=race.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"race.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/race.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,UAAU,QAAQ,CACvB,GAAgB,EAChB,QAA4B,EAC5B,IAAuB,EACvB,SAAkB;IAElB,MAAM,MAAM,GAAG,QAAQ,IAAI,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,KAAK,GAAe;QACzB,EAAE,EAAE,MAAM;QACV,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACrB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,IAAI,GAAG,IAAI,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YACjD,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAC;YAC7B,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,OAAO,EAAE,CAAC;gBACtE,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,kBAAkB;wBACxB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,kDAAkD,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG;wBACjF,IAAI,EAAE,GAAG,CAAC,IAAI;qBACd,CAAC,CAAC;oBACH,SAAS;gBACV,CAAC;gBACD,MAAM,MAAM,GAAG,cAAc,CAC5B,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,EAAE,CAAC,SAAS,CAAC,CAAC,CAAE,EAChB,SAAS,EACT,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,KAAK,CACT,CAAC;gBACF,MAAM,CAAC,GAA4B,EAAE,CAAC;gBACtC,IAAI,MAAM,EAAE,CAAC;oBACZ,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;oBACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrD,CAAC;gBACD,MAAM,KAAK,GAAG,oBAAoB,CACjC,GAAG,EACH,EAAE,CAAC,SAAS,CAAC,CAAC,CAA8B,EAC5C,eAAe,EAAE,GAAG,CAAC,EAAE,CACvB,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,iBAAiB,EAAE,GAAG,CAAC,2DAA2D;oBAC3F,IAAI,EAAE,GAAG,CAAC,IAAI;iBACd,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;IACF,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,SAAS,CACrB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,EAC9C,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,CACV,CAAC;IACF,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;QAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACpD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;QAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5C,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reduce.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/reduce.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAE5E,wBAAgB,UAAU,CACzB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACrB,MAAM,CA8ER"}
|
|
@@ -0,0 +1,81 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { calleeName, diag } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseReduceTask } from "../templates.js";
|
|
5
|
+
import { phaseByBinding } from "../types.js";
|
|
6
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
7
|
+
export function emitReduce(ctx, bindName, call) {
|
|
8
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
9
|
+
const draft = {
|
|
10
|
+
id: idBase,
|
|
11
|
+
binding: idBase,
|
|
12
|
+
type: "reduce",
|
|
13
|
+
raw: { type: "reduce" },
|
|
14
|
+
dependsOn: new Set(),
|
|
15
|
+
};
|
|
16
|
+
const fromArg = call.arguments[0];
|
|
17
|
+
const fnArg = call.arguments[1];
|
|
18
|
+
const optsArg = call.arguments[2];
|
|
19
|
+
const fromIds = [];
|
|
20
|
+
if (fromArg && ts.isArrayLiteralExpression(fromArg)) {
|
|
21
|
+
for (const el of fromArg.elements) {
|
|
22
|
+
if (ts.isIdentifier(el) && phaseByBinding(ctx.phases, el.text)) {
|
|
23
|
+
const pid = phaseByBinding(ctx.phases, el.text).id;
|
|
24
|
+
fromIds.push(pid);
|
|
25
|
+
draft.dependsOn.add(pid);
|
|
26
|
+
}
|
|
27
|
+
else {
|
|
28
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, el, "TFDSL_DEP_DYNAMIC", `reduce source must be a previously declared phase handle.`));
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
else if (fromArg) {
|
|
33
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, fromArg, "TFDSL_DEP_DYNAMIC", `reduce sources must be a static array of phase handles.`));
|
|
34
|
+
}
|
|
35
|
+
draft.raw.from = fromIds;
|
|
36
|
+
if (fnArg && (ts.isArrowFunction(fnArg) || ts.isFunctionExpression(fnArg))) {
|
|
37
|
+
let expr;
|
|
38
|
+
if (ts.isBlock(fnArg.body)) {
|
|
39
|
+
for (const st of fnArg.body.statements) {
|
|
40
|
+
if (ts.isReturnStatement(st) && st.expression)
|
|
41
|
+
expr = st.expression;
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
else
|
|
45
|
+
expr = fnArg.body;
|
|
46
|
+
if (expr && ts.isCallExpression(expr) && calleeName(expr.expression) === "agent") {
|
|
47
|
+
if (expr.arguments.length < 1 || expr.arguments.length > 2) {
|
|
48
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, expr, "TFDSL_RUNE_ARITY", `reduce inner agent expects 1-2 arguments, got ${expr.arguments.length}.`));
|
|
49
|
+
return register(ctx, draft);
|
|
50
|
+
}
|
|
51
|
+
if (expr.arguments[0]) {
|
|
52
|
+
const t2 = eraseReduceTask(ctx.sf, ctx.file, expr.arguments[0], fnArg, ctx.phases, ctx.diags);
|
|
53
|
+
if (t2) {
|
|
54
|
+
draft.raw.task = t2.text;
|
|
55
|
+
for (const d of t2.deps)
|
|
56
|
+
draft.dependsOn.add(d);
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
const iopts = mergeOpts(ctx.sf, ctx.file, expr.arguments[1], ctx.diags, ctx.phases);
|
|
60
|
+
const reduceAgentKeys = new Set([
|
|
61
|
+
"agent", "model", "thinking", "tools", "cwd", "output", "expect", "retry", "timeout",
|
|
62
|
+
"optional", "idempotent", "context", "contextLimit", "cache", "shareContext",
|
|
63
|
+
]);
|
|
64
|
+
for (const [key, value] of Object.entries(iopts)) {
|
|
65
|
+
if (reduceAgentKeys.has(key))
|
|
66
|
+
draft.raw[key] = value;
|
|
67
|
+
else {
|
|
68
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, expr.arguments[1] ?? expr, "TFDSL_REDUCE_INNER_OPTS", `Option '${key}' cannot be applied inside reduce's agent(); put phase-level routing options on reduce(..., ..., opts).`));
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases);
|
|
74
|
+
if (typeof opts.id === "string")
|
|
75
|
+
draft.id = opts.id;
|
|
76
|
+
Object.assign(draft.raw, opts);
|
|
77
|
+
if (opts.final === true)
|
|
78
|
+
draft.final = true;
|
|
79
|
+
return register(ctx, draft);
|
|
80
|
+
}
|
|
81
|
+
//# sourceMappingURL=reduce.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"reduce.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/reduce.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE5E,MAAM,UAAU,UAAU,CACzB,GAAgB,EAChB,QAA4B,EAC5B,IAAuB;IAEvB,MAAM,MAAM,GAAG,QAAQ,IAAI,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,KAAK,GAAe;QACzB,EAAE,EAAE,MAAM;QACV,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACvB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,CAAC;IAC/D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC;gBACpD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,2DAA2D,CAAC,CAAC,CAAC;YAC9H,CAAC;QACF,CAAC;IACF,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,yDAAyD,CAAC,CAAC,CAAC;IACjI,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC;IACzB,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5E,IAAI,IAA+B,CAAC;QACpC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU;oBAAE,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC;YACrE,CAAC;QACF,CAAC;;YAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACzB,IAAI,IAAI,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,OAAO,EAAE,CAAC;YAClF,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,iDAAiD,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC5I,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/F,IAAI,EAAE,EAAE,CAAC;oBACR,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;oBACzB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC;YACF,CAAC;YACD,MAAM,KAAK,GAAG,SAAS,CACtB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,EAC9C,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,CACV,CAAC;YACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;gBAC/B,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS;gBACpF,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc;aAC5E,CAAC,CAAC;YACH,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;qBAChD,CAAC;oBACL,GAAG,CAAC,KAAK,CAAC,IAAI,CACb,IAAI,CACH,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,EAAE,EACN,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EACzB,yBAAyB,EACzB,WAAW,GAAG,yGAAyG,CACvH,CACD,CAAC;gBACH,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACzE,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;QAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACpD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;QAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5C,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tournament.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/tournament.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAG5E,wBAAgB,cAAc,CAC7B,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACrB,MAAM,CAwER"}
|
|
@@ -0,0 +1,75 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { calleeName } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseStringish } from "../templates.js";
|
|
5
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
6
|
+
import { mergeBranchAgentOpts } from "./branch-opts.js";
|
|
7
|
+
export function emitTournament(ctx, bindName, call) {
|
|
8
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
9
|
+
const draft = {
|
|
10
|
+
id: idBase,
|
|
11
|
+
binding: idBase,
|
|
12
|
+
type: "tournament",
|
|
13
|
+
raw: { type: "tournament" },
|
|
14
|
+
dependsOn: new Set(),
|
|
15
|
+
};
|
|
16
|
+
const optsArg = call.arguments[0];
|
|
17
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases, { allowKeys: new Set(["task", "branches"]) });
|
|
18
|
+
Object.assign(draft.raw, opts);
|
|
19
|
+
if (optsArg && ts.isObjectLiteralExpression(optsArg)) {
|
|
20
|
+
for (const p of optsArg.properties) {
|
|
21
|
+
if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name))
|
|
22
|
+
continue;
|
|
23
|
+
if (p.name.text === "branches" && ts.isArrayLiteralExpression(p.initializer)) {
|
|
24
|
+
const branches = [];
|
|
25
|
+
for (let bi = 0; bi < p.initializer.elements.length; bi++) {
|
|
26
|
+
const el = p.initializer.elements[bi];
|
|
27
|
+
if (ts.isCallExpression(el) && calleeName(el.expression) === "agent") {
|
|
28
|
+
if (el.arguments.length < 1 || el.arguments.length > 2) {
|
|
29
|
+
ctx.diags.push({
|
|
30
|
+
code: "TFDSL_RUNE_ARITY",
|
|
31
|
+
severity: "error",
|
|
32
|
+
message: `tournament branch agent expects 1-2 arguments, got ${el.arguments.length}.`,
|
|
33
|
+
file: ctx.file,
|
|
34
|
+
});
|
|
35
|
+
continue;
|
|
36
|
+
}
|
|
37
|
+
const erased = eraseStringish(ctx.sf, ctx.file, el.arguments[0], undefined, ctx.phases, ctx.diags);
|
|
38
|
+
const b = {};
|
|
39
|
+
if (erased) {
|
|
40
|
+
b.task = erased.text;
|
|
41
|
+
for (const dep of erased.deps)
|
|
42
|
+
draft.dependsOn.add(dep);
|
|
43
|
+
}
|
|
44
|
+
const bopts = mergeBranchAgentOpts(ctx, el.arguments[1], `tournament branch ${bi + 1}`);
|
|
45
|
+
Object.assign(b, bopts);
|
|
46
|
+
branches.push(b);
|
|
47
|
+
}
|
|
48
|
+
else {
|
|
49
|
+
ctx.diags.push({
|
|
50
|
+
code: "TFDSL_BRANCH_KIND",
|
|
51
|
+
severity: "error",
|
|
52
|
+
message: `tournament.branches[${bi}] must be agent(...).`,
|
|
53
|
+
file: ctx.file,
|
|
54
|
+
});
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
draft.raw.branches = branches;
|
|
58
|
+
}
|
|
59
|
+
if (p.name.text === "task") {
|
|
60
|
+
const er = eraseStringish(ctx.sf, ctx.file, p.initializer, undefined, ctx.phases, ctx.diags);
|
|
61
|
+
if (er) {
|
|
62
|
+
draft.raw.task = er.text;
|
|
63
|
+
for (const dep of er.deps)
|
|
64
|
+
draft.dependsOn.add(dep);
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
if (typeof opts.id === "string")
|
|
70
|
+
draft.id = opts.id;
|
|
71
|
+
if (opts.final === true)
|
|
72
|
+
draft.final = true;
|
|
73
|
+
return register(ctx, draft);
|
|
74
|
+
}
|
|
75
|
+
//# sourceMappingURL=tournament.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tournament.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/tournament.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,UAAU,cAAc,CAC7B,GAAgB,EAChB,QAA4B,EAC5B,IAAuB;IAEvB,MAAM,MAAM,GAAG,QAAQ,IAAI,eAAe,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,KAAK,GAAe;QACzB,EAAE,EAAE,MAAM;QACV,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,YAAY;QAClB,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,CAAC;IAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IACvH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC9E,MAAM,QAAQ,GAAmC,EAAE,CAAC;gBACpD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;oBAC3D,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAC;oBACvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,OAAO,EAAE,CAAC;wBACtE,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BACxD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;gCACd,IAAI,EAAE,kBAAkB;gCACxB,QAAQ,EAAE,OAAO;gCACjB,OAAO,EAAE,sDAAsD,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG;gCACrF,IAAI,EAAE,GAAG,CAAC,IAAI;6BACd,CAAC,CAAC;4BACH,SAAS;wBACV,CAAC;wBACD,MAAM,MAAM,GAAG,cAAc,CAC5B,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,EAAE,CAAC,SAAS,CAAC,CAAC,CAAE,EAChB,SAAS,EACT,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,KAAK,CACR,CAAC;wBACF,MAAM,CAAC,GAA4B,EAAE,CAAC;wBACtC,IAAI,MAAM,EAAE,CAAC;4BACZ,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;4BACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI;gCAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACzD,CAAC;wBACF,MAAM,KAAK,GAAG,oBAAoB,CACjC,GAAG,EACH,EAAE,CAAC,SAAS,CAAC,CAAC,CAA8B,EAC5C,qBAAqB,EAAE,GAAG,CAAC,EAAE,CAC7B,CAAC;wBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;wBACxB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAClB,CAAC;yBAAM,CAAC;wBACP,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,mBAAmB;4BACzB,QAAQ,EAAE,OAAO;4BACjB,OAAO,EAAE,uBAAuB,EAAE,uBAAuB;4BACzD,IAAI,EAAE,GAAG,CAAC,IAAI;yBACd,CAAC,CAAC;oBACJ,CAAC;gBACF,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;YAC/B,CAAC;YACA,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7F,IAAI,EAAE,EAAE,CAAC;oBACR,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;oBACzB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;QAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACpD,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;QAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IAC5C,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC7B,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Phase option object-literal erase.
|
|
3
|
+
*/
|
|
4
|
+
import ts from "typescript";
|
|
5
|
+
import type { Diagnostic } from "../../diagnostics.ts";
|
|
6
|
+
import { type PhaseDraft } from "./types.ts";
|
|
7
|
+
/** Extra option keys allowed without TFDSL_RUNE_OPTS_UNKNOWN (sugar / kind-specific). */
|
|
8
|
+
export type MergeOptsExtra = {
|
|
9
|
+
allowKeys?: ReadonlySet<string>;
|
|
10
|
+
};
|
|
11
|
+
export declare function mergeOpts(sf: ts.SourceFile, file: string, obj: ts.Expression | undefined, diags: Diagnostic[], phases: Map<string, PhaseDraft>, extra?: MergeOptsExtra): Record<string, unknown>;
|
|
12
|
+
export declare function phaseIdFromBinding(name: string, opts: Record<string, unknown>): string;
|
|
13
|
+
export declare function finalizeDraft(draft: PhaseDraft): void;
|
|
14
|
+
export declare function registerDraft(session: {
|
|
15
|
+
phases: Map<string, PhaseDraft>;
|
|
16
|
+
order: string[];
|
|
17
|
+
}, draft: PhaseDraft): string;
|
|
18
|
+
//# sourceMappingURL=opts.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"opts.d.ts","sourceRoot":"","sources":["../../../src/build/erase/opts.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7D,yFAAyF;AACzF,MAAM,MAAM,cAAc,GAAG;IAC5B,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC,CAAC;AAEF,wBAAgB,SAAS,CACxB,EAAE,EAAE,EAAE,CAAC,UAAU,EACjB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,EAC9B,KAAK,EAAE,UAAU,EAAE,EACnB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC/B,KAAK,CAAC,EAAE,cAAc,GACpB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA+KzB;AAwDD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAGtF;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAIrD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE;IAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,CAKtH"}
|
|
@@ -0,0 +1,241 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Phase option object-literal erase.
|
|
3
|
+
*/
|
|
4
|
+
import ts from "typescript";
|
|
5
|
+
import { calleeName, diag, evalLiteral } from "./ast.js";
|
|
6
|
+
import { phaseByBinding } from "./types.js";
|
|
7
|
+
export function mergeOpts(sf, file, obj, diags, phases, extra) {
|
|
8
|
+
if (!obj)
|
|
9
|
+
return {};
|
|
10
|
+
if (!ts.isObjectLiteralExpression(obj)) {
|
|
11
|
+
diags.push(diag(file, sf, obj, "TFDSL_RUNE_OPTS", `Phase options must be an object literal.`));
|
|
12
|
+
return {};
|
|
13
|
+
}
|
|
14
|
+
const out = {};
|
|
15
|
+
for (const p of obj.properties) {
|
|
16
|
+
if (!ts.isPropertyAssignment(p)) {
|
|
17
|
+
diags.push(diag(file, sf, p, "TFDSL_RUNE_OPTS_DYNAMIC", `Phase options must use explicit static property assignments (no shorthand, spread, methods, or accessors).`));
|
|
18
|
+
continue;
|
|
19
|
+
}
|
|
20
|
+
const key = ts.isIdentifier(p.name)
|
|
21
|
+
? p.name.text
|
|
22
|
+
: ts.isStringLiteral(p.name)
|
|
23
|
+
? p.name.text
|
|
24
|
+
: undefined;
|
|
25
|
+
if (!key) {
|
|
26
|
+
diags.push(diag(file, sf, p, "TFDSL_RUNE_OPTS_DYNAMIC", `Phase option names must be static identifiers or strings.`));
|
|
27
|
+
continue;
|
|
28
|
+
}
|
|
29
|
+
const staticValue = () => {
|
|
30
|
+
const value = evalLiteral(p.initializer);
|
|
31
|
+
if (value === undefined) {
|
|
32
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS_DYNAMIC", `Option '${key}' must be a static JSON literal.`));
|
|
33
|
+
}
|
|
34
|
+
return value;
|
|
35
|
+
};
|
|
36
|
+
if (extra?.allowKeys?.has(key)) {
|
|
37
|
+
// Kind handlers erase task lambdas/templates and branch agent() arrays
|
|
38
|
+
// with phase-aware logic after mergeOpts; do not misclassify them as
|
|
39
|
+
// dynamic JSON literals here.
|
|
40
|
+
if (key === "task" &&
|
|
41
|
+
(ts.isArrowFunction(p.initializer) ||
|
|
42
|
+
ts.isFunctionExpression(p.initializer) ||
|
|
43
|
+
ts.isTemplateExpression(p.initializer))) {
|
|
44
|
+
continue;
|
|
45
|
+
}
|
|
46
|
+
if (key === "branches" && ts.isArrayLiteralExpression(p.initializer))
|
|
47
|
+
continue;
|
|
48
|
+
if ((key === "request" || key === "input") &&
|
|
49
|
+
(ts.isStringLiteral(p.initializer) ||
|
|
50
|
+
ts.isNoSubstitutionTemplateLiteral(p.initializer) ||
|
|
51
|
+
ts.isTemplateExpression(p.initializer))) {
|
|
52
|
+
continue;
|
|
53
|
+
}
|
|
54
|
+
const v = staticValue();
|
|
55
|
+
if (v !== undefined)
|
|
56
|
+
out[key] = v;
|
|
57
|
+
continue;
|
|
58
|
+
}
|
|
59
|
+
if (key === "dependsOn") {
|
|
60
|
+
if (!ts.isArrayLiteralExpression(p.initializer)) {
|
|
61
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_DEP_DYNAMIC", `dependsOn must be an array of phase handles or string ids.`));
|
|
62
|
+
continue;
|
|
63
|
+
}
|
|
64
|
+
const ids = [];
|
|
65
|
+
for (const el of p.initializer.elements) {
|
|
66
|
+
if (ts.isStringLiteral(el))
|
|
67
|
+
ids.push(el.text);
|
|
68
|
+
else if (ts.isIdentifier(el) && phaseByBinding(phases, el.text))
|
|
69
|
+
ids.push(phaseByBinding(phases, el.text).id);
|
|
70
|
+
else {
|
|
71
|
+
diags.push(diag(file, sf, el, "TFDSL_DEP_DYNAMIC", `dependsOn entry must be a previously declared phase handle or string id.`));
|
|
72
|
+
}
|
|
73
|
+
}
|
|
74
|
+
out.dependsOn = ids;
|
|
75
|
+
continue;
|
|
76
|
+
}
|
|
77
|
+
if (key === "output") {
|
|
78
|
+
if (ts.isCallExpression(p.initializer)) {
|
|
79
|
+
const cn = calleeName(p.initializer.expression);
|
|
80
|
+
if (cn === "json") {
|
|
81
|
+
if (p.initializer.arguments.length !== 0) {
|
|
82
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_ARITY", `json<T>() does not accept runtime arguments.`));
|
|
83
|
+
continue;
|
|
84
|
+
}
|
|
85
|
+
out.output = "json";
|
|
86
|
+
const typeArg = p.initializer.typeArguments?.[0];
|
|
87
|
+
if (!typeArg) {
|
|
88
|
+
out.expect = { type: "object" };
|
|
89
|
+
}
|
|
90
|
+
else {
|
|
91
|
+
const expect = expectFromTypeNode(typeArg);
|
|
92
|
+
if (expect.ok)
|
|
93
|
+
out.expect = expect.schema;
|
|
94
|
+
else
|
|
95
|
+
diags.push(diag(file, sf, typeArg, "TFDSL_JSON_TYPE_UNSUPPORTED", expect.message));
|
|
96
|
+
}
|
|
97
|
+
continue;
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
const v = staticValue();
|
|
101
|
+
if (v === "json" || v === "text") {
|
|
102
|
+
out.output = v;
|
|
103
|
+
if (v === "json" && out.expect === undefined)
|
|
104
|
+
out.expect = { type: "object" };
|
|
105
|
+
continue;
|
|
106
|
+
}
|
|
107
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS", `output must be "json" | "text" or json().`));
|
|
108
|
+
continue;
|
|
109
|
+
}
|
|
110
|
+
if (key === "agent" || key === "model" || key === "thinking" || key === "when" || key === "join" || key === "cwd") {
|
|
111
|
+
const v = staticValue();
|
|
112
|
+
if (typeof v === "string")
|
|
113
|
+
out[key] = v;
|
|
114
|
+
else if (v !== undefined)
|
|
115
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS", `Option '${key}' must be a string.`));
|
|
116
|
+
continue;
|
|
117
|
+
}
|
|
118
|
+
if (key === "final" || key === "optional" || key === "idempotent" || key === "reflexion" || key === "convergence") {
|
|
119
|
+
const v = staticValue();
|
|
120
|
+
if (typeof v === "boolean")
|
|
121
|
+
out[key] = v;
|
|
122
|
+
else if (v !== undefined)
|
|
123
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS", `Option '${key}' must be a boolean.`));
|
|
124
|
+
continue;
|
|
125
|
+
}
|
|
126
|
+
if (key === "timeout" || key === "concurrency" || key === "maxIterations" || key === "variants") {
|
|
127
|
+
const v = staticValue();
|
|
128
|
+
if (typeof v === "number")
|
|
129
|
+
out[key] = v;
|
|
130
|
+
else if (v !== undefined)
|
|
131
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS", `Option '${key}' must be a number.`));
|
|
132
|
+
continue;
|
|
133
|
+
}
|
|
134
|
+
if (key === "retry" || key === "expect" || key === "tools" ||
|
|
135
|
+
key === "context" || key === "contextLimit" || key === "onBlock" || key === "eval" ||
|
|
136
|
+
key === "score" || key === "cache" || key === "shareContext") {
|
|
137
|
+
const v = staticValue();
|
|
138
|
+
if (v !== undefined)
|
|
139
|
+
out[key] = v;
|
|
140
|
+
continue;
|
|
141
|
+
}
|
|
142
|
+
if (key === "id") {
|
|
143
|
+
const v = staticValue();
|
|
144
|
+
if (typeof v === "string")
|
|
145
|
+
out.id = v;
|
|
146
|
+
else if (v !== undefined)
|
|
147
|
+
diags.push(diag(file, sf, p.initializer, "TFDSL_RUNE_OPTS", `Option 'id' must be a string.`));
|
|
148
|
+
continue;
|
|
149
|
+
}
|
|
150
|
+
if (key === "input" ||
|
|
151
|
+
key === "request" ||
|
|
152
|
+
key === "until" ||
|
|
153
|
+
key === "judge" ||
|
|
154
|
+
key === "judgeAgent" ||
|
|
155
|
+
key === "mode" ||
|
|
156
|
+
key === "use" ||
|
|
157
|
+
key === "cancelLosers" ||
|
|
158
|
+
key === "expandMode" ||
|
|
159
|
+
key === "maxNodes") {
|
|
160
|
+
const v = staticValue();
|
|
161
|
+
if (v !== undefined)
|
|
162
|
+
out[key] = v;
|
|
163
|
+
continue;
|
|
164
|
+
}
|
|
165
|
+
diags.push(diag(file, sf, p, "TFDSL_RUNE_OPTS_UNKNOWN", `Unknown or non-static option '${key}' cannot be erased safely.`));
|
|
166
|
+
}
|
|
167
|
+
return out;
|
|
168
|
+
}
|
|
169
|
+
/** Infer the small runtime `expect` contract from syntax only. Named/conditional types fail closed. */
|
|
170
|
+
function expectFromTypeNode(node) {
|
|
171
|
+
switch (node.kind) {
|
|
172
|
+
case ts.SyntaxKind.StringKeyword:
|
|
173
|
+
return { ok: true, schema: { type: "string" } };
|
|
174
|
+
case ts.SyntaxKind.NumberKeyword:
|
|
175
|
+
return { ok: true, schema: { type: "number" } };
|
|
176
|
+
case ts.SyntaxKind.BooleanKeyword:
|
|
177
|
+
return { ok: true, schema: { type: "boolean" } };
|
|
178
|
+
}
|
|
179
|
+
if (ts.isLiteralTypeNode(node)) {
|
|
180
|
+
const value = evalLiteral(node.literal);
|
|
181
|
+
if (typeof value === "string" || typeof value === "number" || typeof value === "boolean" || value === null) {
|
|
182
|
+
return { ok: true, schema: { enum: [value] } };
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
if (ts.isArrayTypeNode(node)) {
|
|
186
|
+
const item = expectFromTypeNode(node.elementType);
|
|
187
|
+
return item.ok ? { ok: true, schema: { type: "array", items: item.schema } } : item;
|
|
188
|
+
}
|
|
189
|
+
if (ts.isTypeReferenceNode(node) && ts.isIdentifier(node.typeName) && node.typeName.text === "Array" && node.typeArguments?.length === 1) {
|
|
190
|
+
const item = expectFromTypeNode(node.typeArguments[0]);
|
|
191
|
+
return item.ok ? { ok: true, schema: { type: "array", items: item.schema } } : item;
|
|
192
|
+
}
|
|
193
|
+
if (ts.isTypeLiteralNode(node)) {
|
|
194
|
+
const properties = {};
|
|
195
|
+
const required = [];
|
|
196
|
+
for (const member of node.members) {
|
|
197
|
+
if (!ts.isPropertySignature(member) || !member.type || !member.name) {
|
|
198
|
+
return { ok: false, message: `json<T>() only supports property signatures in object types.` };
|
|
199
|
+
}
|
|
200
|
+
const name = ts.isIdentifier(member.name) || ts.isStringLiteral(member.name)
|
|
201
|
+
? member.name.text
|
|
202
|
+
: undefined;
|
|
203
|
+
if (!name)
|
|
204
|
+
return { ok: false, message: `json<T>() requires static object property names.` };
|
|
205
|
+
const prop = expectFromTypeNode(member.type);
|
|
206
|
+
if (!prop.ok)
|
|
207
|
+
return prop;
|
|
208
|
+
properties[name] = prop.schema;
|
|
209
|
+
if (!member.questionToken)
|
|
210
|
+
required.push(name);
|
|
211
|
+
}
|
|
212
|
+
const schema = { type: "object", properties };
|
|
213
|
+
if (required.length)
|
|
214
|
+
schema.required = required;
|
|
215
|
+
return { ok: true, schema };
|
|
216
|
+
}
|
|
217
|
+
return {
|
|
218
|
+
ok: false,
|
|
219
|
+
message: `json<T>() cannot safely infer '${node.getText()}'; use a literal expect contract instead.`,
|
|
220
|
+
};
|
|
221
|
+
}
|
|
222
|
+
export function phaseIdFromBinding(name, opts) {
|
|
223
|
+
if (typeof opts.id === "string" && opts.id)
|
|
224
|
+
return opts.id;
|
|
225
|
+
return name;
|
|
226
|
+
}
|
|
227
|
+
export function finalizeDraft(draft) {
|
|
228
|
+
delete draft.raw.id;
|
|
229
|
+
if (draft.dependsOn.size)
|
|
230
|
+
draft.raw.dependsOn = [...draft.dependsOn];
|
|
231
|
+
if (draft.final)
|
|
232
|
+
draft.raw.final = true;
|
|
233
|
+
}
|
|
234
|
+
export function registerDraft(session, draft) {
|
|
235
|
+
finalizeDraft(draft);
|
|
236
|
+
session.phases.set(draft.id, draft);
|
|
237
|
+
if (!session.order.includes(draft.id))
|
|
238
|
+
session.order.push(draft.id);
|
|
239
|
+
return draft.id;
|
|
240
|
+
}
|
|
241
|
+
//# sourceMappingURL=opts.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"opts.js","sourceRoot":"","sources":["../../../src/build/erase/opts.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAAE,cAAc,EAAmB,MAAM,YAAY,CAAC;AAO7D,MAAM,UAAU,SAAS,CACxB,EAAiB,EACjB,IAAY,EACZ,GAA8B,EAC9B,KAAmB,EACnB,MAA+B,EAC/B,KAAsB;IAEtB,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,iBAAiB,EAAE,0CAA0C,CAAC,CAAC,CAAC;QAC/F,OAAO,EAAE,CAAC;IACX,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,CAAC,EACD,yBAAyB,EACzB,4GAA4G,CAC5G,CACD,CAAC;YACF,SAAS;QACV,CAAC;QACD,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YAClC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,GAAG,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,yBAAyB,EAAE,2DAA2D,CAAC,CAAC,CAAC;YACtH,SAAS;QACV,CAAC;QACD,MAAM,WAAW,GAAG,GAAY,EAAE;YACjC,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CACT,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,yBAAyB,EAAE,WAAW,GAAG,kCAAkC,CAAC,CAC1G,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC,CAAC;QACF,IAAI,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,uEAAuE;YACvE,qEAAqE;YACrE,8BAA8B;YAC9B,IACC,GAAG,KAAK,MAAM;gBACd,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC;oBACjC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC;oBACtC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EACvC,CAAC;gBACF,SAAS;YACV,CAAC;YACA,IAAI,GAAG,KAAK,UAAU,IAAI,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,SAAS;YAC/E,IACC,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,OAAO,CAAC;gBACtC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC;oBACjC,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,WAAW,CAAC;oBACjD,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EACvC,CAAC;gBACF,SAAS;YACV,CAAC;YACF,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,SAAS;QACV,CAAC;QAED,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,mBAAmB,EAAE,4DAA4D,CAAC,CAAC,CAAC;gBAC7H,SAAS;YACV,CAAC;YACD,MAAM,GAAG,GAAa,EAAE,CAAC;YACzB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;gBACzC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;qBACzC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC,CAAC;qBAC1G,CAAC;oBACL,KAAK,CAAC,IAAI,CACT,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,0EAA0E,CAAC,CACnH,CAAC;gBACH,CAAC;YACF,CAAC;YACD,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC;YACpB,SAAS;QACV,CAAC;QAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACtB,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBACxC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAChD,IAAI,EAAE,KAAK,MAAM,EAAE,CAAC;oBACnB,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC1C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,kBAAkB,EAAE,8CAA8C,CAAC,CAAC,CAAC;wBAC9G,SAAS;oBACV,CAAC;oBACD,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC;oBACpB,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;oBACjD,IAAI,CAAC,OAAO,EAAE,CAAC;wBACd,GAAG,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oBACjC,CAAC;yBAAM,CAAC;wBACP,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;wBAC3C,IAAI,MAAM,CAAC,EAAE;4BAAE,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;;4BACrC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,6BAA6B,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;oBACzF,CAAC;oBACD,SAAS;gBACV,CAAC;YACF,CAAC;YACD,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;gBAClC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;gBACf,IAAI,CAAC,KAAK,MAAM,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;oBAAE,GAAG,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC9E,SAAS;YACV,CAAC;YACD,KAAK,CAAC,IAAI,CACT,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,2CAA2C,CAAC,CAC7F,CAAC;YACF,SAAS;QACV,CAAC;QAED,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnH,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;iBACnC,IAAI,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,WAAW,GAAG,qBAAqB,CAAC,CAAC,CAAC;YAC5H,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YACnH,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;iBACpC,IAAI,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,WAAW,GAAG,sBAAsB,CAAC,CAAC,CAAC;YAC7H,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,eAAe,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACjG,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;iBACnC,IAAI,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,WAAW,GAAG,qBAAqB,CAAC,CAAC,CAAC;YAC5H,SAAS;QACV,CAAC;QACD,IACC,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,OAAO;YACtD,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,cAAc,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,MAAM;YAClF,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,cAAc,EAC3D,CAAC;YACF,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,SAAS;QACV,CAAC;QACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;iBACjC,IAAI,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,+BAA+B,CAAC,CAAC,CAAC;YACxH,SAAS;QACV,CAAC;QACD,IACC,GAAG,KAAK,OAAO;YACf,GAAG,KAAK,SAAS;YACjB,GAAG,KAAK,OAAO;YACf,GAAG,KAAK,OAAO;YACf,GAAG,KAAK,YAAY;YACpB,GAAG,KAAK,MAAM;YACd,GAAG,KAAK,KAAK;YACb,GAAG,KAAK,cAAc;YACtB,GAAG,KAAK,YAAY;YACpB,GAAG,KAAK,UAAU,EACjB,CAAC;YACF,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,SAAS;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CACT,IAAI,CACH,IAAI,EACJ,EAAE,EACF,CAAC,EACD,yBAAyB,EACzB,iCAAiC,GAAG,4BAA4B,CAChE,CACD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAMD,uGAAuG;AACvG,SAAS,kBAAkB,CAAC,IAAiB;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC/B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC/B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,OAAwB,CAAC,CAAC;QACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAC5G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAChD,CAAC;IACF,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1I,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAE,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACrE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8DAA8D,EAAE,CAAC;YAC/F,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC3E,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,SAAS,CAAC;YACb,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC;YAC7F,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,aAAa;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,MAAM,GAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvE,IAAI,QAAQ,CAAC,MAAM;YAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC7B,CAAC;IACD,OAAO;QACN,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,kCAAkC,IAAI,CAAC,OAAO,EAAE,2CAA2C;KACpG,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,IAA6B;IAC7E,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC,EAAE,CAAC;IAC3D,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC9C,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;IACpB,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI;QAAE,KAAK,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,KAAK;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAA6D,EAAE,KAAiB;IAC7G,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpE,OAAO,KAAK,CAAC,EAAE,CAAC;AACjB,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Erase pipeline orchestrator: flow() discovery + body walk + kind dispatch.
|
|
3
|
+
* Domain helpers live in sibling modules (ast / templates / opts / types).
|
|
4
|
+
* Phase kinds live in erase/kinds/* — do not re-grow kind logic here.
|
|
5
|
+
*/
|
|
6
|
+
import { type EraseResult } from "./types.ts";
|
|
7
|
+
export declare function eraseSource(sourceText: string, file?: string): EraseResult;
|
|
8
|
+
//# sourceMappingURL=pipeline.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../../src/build/erase/pipeline.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EAAkB,KAAK,WAAW,EAAmB,MAAM,YAAY,CAAC;AA2B/E,wBAAgB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,SAAe,GAAG,WAAW,CAgbhF"}
|