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,98 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { diag, evalLiteral } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseStringish } from "../templates.js";
|
|
5
|
+
import { phaseByBinding } from "../types.js";
|
|
6
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
7
|
+
/** gate.automated / gate.scored */
|
|
8
|
+
export function emitGateSugar(ctx, cn, bindName, call) {
|
|
9
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
10
|
+
const draft = {
|
|
11
|
+
id: idBase,
|
|
12
|
+
binding: idBase,
|
|
13
|
+
type: "gate",
|
|
14
|
+
raw: { type: "gate" },
|
|
15
|
+
dependsOn: new Set(),
|
|
16
|
+
};
|
|
17
|
+
const up = call.arguments[0];
|
|
18
|
+
if (up && ts.isIdentifier(up) && phaseByBinding(ctx.phases, up.text)) {
|
|
19
|
+
draft.dependsOn.add(phaseByBinding(ctx.phases, up.text).id);
|
|
20
|
+
}
|
|
21
|
+
else if (up) {
|
|
22
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, up, "TFDSL_DEP_DYNAMIC", `${cn} upstream must be a previously declared phase handle.`));
|
|
23
|
+
}
|
|
24
|
+
const optsArg = call.arguments[1];
|
|
25
|
+
const sugarKeys = new Set([
|
|
26
|
+
"pass",
|
|
27
|
+
"scorers",
|
|
28
|
+
"combine",
|
|
29
|
+
"threshold",
|
|
30
|
+
"weights",
|
|
31
|
+
"target",
|
|
32
|
+
"judge",
|
|
33
|
+
"task",
|
|
34
|
+
]);
|
|
35
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases, {
|
|
36
|
+
allowKeys: sugarKeys,
|
|
37
|
+
});
|
|
38
|
+
if (typeof opts.id === "string")
|
|
39
|
+
draft.id = opts.id;
|
|
40
|
+
Object.assign(draft.raw, opts);
|
|
41
|
+
if ((cn === "gate.automated" || cn === "gateAutomated") && optsArg && ts.isObjectLiteralExpression(optsArg)) {
|
|
42
|
+
for (const p of optsArg.properties) {
|
|
43
|
+
if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name))
|
|
44
|
+
continue;
|
|
45
|
+
if (p.name.text === "pass") {
|
|
46
|
+
const v = evalLiteral(p.initializer);
|
|
47
|
+
if (Array.isArray(v))
|
|
48
|
+
draft.raw.eval = v;
|
|
49
|
+
}
|
|
50
|
+
if (p.name.text === "task") {
|
|
51
|
+
const er = eraseStringish(ctx.sf, ctx.file, p.initializer, undefined, ctx.phases, ctx.diags);
|
|
52
|
+
if (er) {
|
|
53
|
+
draft.raw.task = er.text;
|
|
54
|
+
for (const d of er.deps)
|
|
55
|
+
draft.dependsOn.add(d);
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
if (!draft.raw.task && !draft.raw.score) {
|
|
60
|
+
draft.raw.task = "Gate (automated pre-checks failed or incomplete).";
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
if ((cn === "gate.scored" || cn === "gateScored") && optsArg && ts.isObjectLiteralExpression(optsArg)) {
|
|
64
|
+
const score = {};
|
|
65
|
+
for (const p of optsArg.properties) {
|
|
66
|
+
if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name))
|
|
67
|
+
continue;
|
|
68
|
+
const k = p.name.text;
|
|
69
|
+
if (k === "scorers" || k === "combine" || k === "threshold" || k === "weights" || k === "target" || k === "judge") {
|
|
70
|
+
const v = evalLiteral(p.initializer);
|
|
71
|
+
if (v !== undefined)
|
|
72
|
+
score[k] = v;
|
|
73
|
+
}
|
|
74
|
+
if (k === "task") {
|
|
75
|
+
const er = eraseStringish(ctx.sf, ctx.file, p.initializer, undefined, ctx.phases, ctx.diags);
|
|
76
|
+
if (er) {
|
|
77
|
+
draft.raw.task = er.text;
|
|
78
|
+
for (const d of er.deps)
|
|
79
|
+
draft.dependsOn.add(d);
|
|
80
|
+
}
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
if (!score.combine)
|
|
84
|
+
score.combine = "all";
|
|
85
|
+
draft.raw.score = score;
|
|
86
|
+
delete draft.raw.scorers;
|
|
87
|
+
delete draft.raw.combine;
|
|
88
|
+
delete draft.raw.threshold;
|
|
89
|
+
delete draft.raw.weights;
|
|
90
|
+
delete draft.raw.target;
|
|
91
|
+
delete draft.raw.judge;
|
|
92
|
+
}
|
|
93
|
+
delete draft.raw.pass;
|
|
94
|
+
if (opts.final === true)
|
|
95
|
+
draft.final = true;
|
|
96
|
+
return register(ctx, draft);
|
|
97
|
+
}
|
|
98
|
+
//# sourceMappingURL=gate-sugar.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gate-sugar.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/gate-sugar.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE5E,mCAAmC;AACnC,MAAM,UAAU,aAAa,CAC5B,GAAgB,EAChB,EAAU,EACV,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,MAAM;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACrB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,GAAG,EAAE,uDAAuD,CAAC,CAAC,CAAC;IAC/H,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,CAAC;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;QACzB,MAAM;QACN,SAAS;QACT,SAAS;QACT,WAAW;QACX,SAAS;QACT,QAAQ;QACR,OAAO;QACP,MAAM;KACN,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE;QACxE,SAAS,EAAE,SAAS;KACpB,CAAC,CAAC;IACH,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;IAE/B,IAAI,CAAC,EAAE,KAAK,gBAAgB,IAAI,EAAE,KAAK,eAAe,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7G,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,MAAM,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACrC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YAC1C,CAAC;YACD,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,CAAC,IAAI,EAAE,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC;YACF,CAAC;QACF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACzC,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,mDAAmD,CAAC;QACtE,CAAC;IACF,CAAC;IACD,IAAI,CAAC,EAAE,KAAK,aAAa,IAAI,EAAE,KAAK,YAAY,CAAC,IAAI,OAAO,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvG,MAAM,KAAK,GAA4B,EAAE,CAAC;QAC1C,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,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;gBACnH,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACrC,IAAI,CAAC,KAAK,SAAS;oBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnC,CAAC;YACD,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;gBAClB,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,CAAC,IAAI,EAAE,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC;YACF,CAAC;QACF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;QACxB,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAC3B,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QACxB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;IACxB,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;IACtB,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,5 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { type EmitContext } from "../context.ts";
|
|
3
|
+
/** Plain gate(upstream, opts?, taskLambda?) — not gate.automated / gate.scored. */
|
|
4
|
+
export declare function emitGate(ctx: EmitContext, bindName: string | undefined, call: ts.CallExpression): string;
|
|
5
|
+
//# sourceMappingURL=gate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAE5E,mFAAmF;AACnF,wBAAgB,QAAQ,CACvB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACrB,MAAM,CAoDR"}
|
|
@@ -0,0 +1,60 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { diag } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseGateTask } from "../templates.js";
|
|
5
|
+
import { phaseByBinding } from "../types.js";
|
|
6
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
7
|
+
/** Plain gate(upstream, opts?, taskLambda?) — not gate.automated / gate.scored. */
|
|
8
|
+
export function emitGate(ctx, bindName, call) {
|
|
9
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
10
|
+
const draft = {
|
|
11
|
+
id: idBase,
|
|
12
|
+
binding: idBase,
|
|
13
|
+
type: "gate",
|
|
14
|
+
raw: { type: "gate" },
|
|
15
|
+
dependsOn: new Set(),
|
|
16
|
+
};
|
|
17
|
+
const up = call.arguments[0];
|
|
18
|
+
if (up && ts.isIdentifier(up) && phaseByBinding(ctx.phases, up.text)) {
|
|
19
|
+
draft.dependsOn.add(phaseByBinding(ctx.phases, up.text).id);
|
|
20
|
+
}
|
|
21
|
+
else if (up) {
|
|
22
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, up, "TFDSL_DEP_DYNAMIC", `gate upstream must be a previously declared phase handle.`));
|
|
23
|
+
}
|
|
24
|
+
const optsArg = call.arguments[1];
|
|
25
|
+
const taskArg = call.arguments[2];
|
|
26
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases);
|
|
27
|
+
Object.assign(draft.raw, opts);
|
|
28
|
+
if (typeof opts.id === "string")
|
|
29
|
+
draft.id = opts.id;
|
|
30
|
+
if (taskArg && (ts.isArrowFunction(taskArg) || ts.isFunctionExpression(taskArg))) {
|
|
31
|
+
const p0 = taskArg.parameters[0];
|
|
32
|
+
const param = p0 && ts.isIdentifier(p0.name) ? p0.name.text : "i";
|
|
33
|
+
let expr = ts.isBlock(taskArg.body)
|
|
34
|
+
? undefined
|
|
35
|
+
: taskArg.body;
|
|
36
|
+
if (ts.isBlock(taskArg.body)) {
|
|
37
|
+
for (const st of taskArg.body.statements) {
|
|
38
|
+
if (ts.isReturnStatement(st) && st.expression)
|
|
39
|
+
expr = st.expression;
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
if (expr) {
|
|
43
|
+
// Gate-only rewrite: (i) => `…${i.output}` — do NOT call eraseStringish first
|
|
44
|
+
// (it would emit TFDSL_TMPL_UNERASABLE for the lambda param).
|
|
45
|
+
const re = eraseGateTask(ctx.sf, ctx.file, expr, param, up && ts.isIdentifier(up) ? phaseByBinding(ctx.phases, up.text)?.id : undefined, ctx.phases, ctx.diags);
|
|
46
|
+
if (re) {
|
|
47
|
+
draft.raw.task = re.text;
|
|
48
|
+
for (const d of re.deps)
|
|
49
|
+
draft.dependsOn.add(d);
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
if (Array.isArray(opts.dependsOn))
|
|
54
|
+
for (const d of opts.dependsOn)
|
|
55
|
+
draft.dependsOn.add(d);
|
|
56
|
+
if (opts.final === true)
|
|
57
|
+
draft.final = true;
|
|
58
|
+
return register(ctx, draft);
|
|
59
|
+
}
|
|
60
|
+
//# sourceMappingURL=gate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE5E,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CACvB,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,MAAM;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACrB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,EAAE,EAAE,CAAC;QACf,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,2DAA2D,CAAC,CAAC,CAAC;IAC9H,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,CAAC;IAC/D,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,CAAC,CAAC;IACzE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;QAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACpD,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAClE,IAAI,IAAI,GAA8B,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7D,CAAC,CAAC,SAAS;YACX,CAAC,CAAE,OAAO,CAAC,IAAsB,CAAC;QACnC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU;oBAAE,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC;YACrE,CAAC;QACF,CAAC;QACD,IAAI,IAAI,EAAE,CAAC;YACV,8EAA8E;YAC9E,8DAA8D;YAC9D,MAAM,EAAE,GAAG,aAAa,CACvB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,IAAI,EACJ,KAAK,EACL,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAC/E,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,KAAK,CACT,CAAC;YACF,IAAI,EAAE,EAAE,CAAC;gBACR,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;oBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,CAAC;QACF,CAAC;IACF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAqB;YAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtG,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,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Kind emit registry — pipeline dispatches here; add kinds as new files.
|
|
3
|
+
*/
|
|
4
|
+
import type ts from "typescript";
|
|
5
|
+
import type { EmitContext } from "../context.ts";
|
|
6
|
+
export type KindHandler = (ctx: EmitContext, cn: string, bindName: string | undefined, call: ts.CallExpression, itemParam?: string) => string | undefined | false;
|
|
7
|
+
/** Try kind emitters. Returns phase id, undefined (no phase), or "continue" if unknown. */
|
|
8
|
+
export declare function trySpecializedEmit(ctx: EmitContext, cn: string, bindName: string | undefined, call: ts.CallExpression, itemParam?: string): string | undefined | "continue";
|
|
9
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAajD,MAAM,MAAM,WAAW,GAAG,CACzB,GAAG,EAAE,WAAW,EAChB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,SAAS,CAAC,EAAE,MAAM,KACd,MAAM,GAAG,SAAS,GAAG,KAAK,CAAC;AAyEhC,2FAA2F;AAC3F,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,WAAW,EAChB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,SAAS,CAAC,EAAE,MAAM,GAChB,MAAM,GAAG,SAAS,GAAG,UAAU,CAOjC"}
|
|
@@ -0,0 +1,107 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Kind emit registry — pipeline dispatches here; add kinds as new files.
|
|
3
|
+
*/
|
|
4
|
+
import { emitAgent, emitScript } from "./agent-script.js";
|
|
5
|
+
import { emitApproval } from "./approval.js";
|
|
6
|
+
import { emitExpand, emitExpandNestedOrSubflowDef, emitSubflowUse } from "./expand-flow.js";
|
|
7
|
+
import { emitGate } from "./gate.js";
|
|
8
|
+
import { emitGateSugar } from "./gate-sugar.js";
|
|
9
|
+
import { emitLoop } from "./loop.js";
|
|
10
|
+
import { emitMap } from "./map.js";
|
|
11
|
+
import { emitParallel } from "./parallel.js";
|
|
12
|
+
import { emitRace } from "./race.js";
|
|
13
|
+
import { emitReduce } from "./reduce.js";
|
|
14
|
+
import { emitTournament } from "./tournament.js";
|
|
15
|
+
/**
|
|
16
|
+
* Ordered specialized handlers. Return:
|
|
17
|
+
* - string phase id if handled
|
|
18
|
+
* - false if not this kind
|
|
19
|
+
* - undefined only when intentionally no phase (e.g. json())
|
|
20
|
+
*
|
|
21
|
+
* Sugar / multi-name kinds first; then one handler per core rune.
|
|
22
|
+
*/
|
|
23
|
+
const KIND_HANDLERS = [
|
|
24
|
+
(ctx, cn, bind, call) => {
|
|
25
|
+
if (cn === "expand.nested" || cn === "subflow.def") {
|
|
26
|
+
return emitExpandNestedOrSubflowDef(ctx, cn, bind, call);
|
|
27
|
+
}
|
|
28
|
+
return false;
|
|
29
|
+
},
|
|
30
|
+
(ctx, cn, bind, call) => {
|
|
31
|
+
if (cn === "subflow")
|
|
32
|
+
return emitSubflowUse(ctx, bind, call);
|
|
33
|
+
return false;
|
|
34
|
+
},
|
|
35
|
+
(ctx, cn, bind, call, item) => {
|
|
36
|
+
if (cn === "race")
|
|
37
|
+
return emitRace(ctx, bind, call, item);
|
|
38
|
+
return false;
|
|
39
|
+
},
|
|
40
|
+
(ctx, cn, bind, call) => {
|
|
41
|
+
if (cn === "expand" || cn === "expand.graft")
|
|
42
|
+
return emitExpand(ctx, cn, bind, call);
|
|
43
|
+
return false;
|
|
44
|
+
},
|
|
45
|
+
(ctx, cn, bind, call) => {
|
|
46
|
+
if (cn === "gate.automated" || cn === "gate.scored" || cn === "gateAutomated" || cn === "gateScored") {
|
|
47
|
+
return emitGateSugar(ctx, cn, bind, call);
|
|
48
|
+
}
|
|
49
|
+
return false;
|
|
50
|
+
},
|
|
51
|
+
(ctx, cn, bind, call, item) => {
|
|
52
|
+
if (cn === "agent")
|
|
53
|
+
return emitAgent(ctx, bind, call, item);
|
|
54
|
+
return false;
|
|
55
|
+
},
|
|
56
|
+
(ctx, cn, bind, call, item) => {
|
|
57
|
+
if (cn === "script")
|
|
58
|
+
return emitScript(ctx, bind, call, item);
|
|
59
|
+
return false;
|
|
60
|
+
},
|
|
61
|
+
(ctx, cn, bind, call) => {
|
|
62
|
+
if (cn === "map")
|
|
63
|
+
return emitMap(ctx, bind, call);
|
|
64
|
+
return false;
|
|
65
|
+
},
|
|
66
|
+
(ctx, cn, bind, call, item) => {
|
|
67
|
+
if (cn === "parallel")
|
|
68
|
+
return emitParallel(ctx, bind, call, item);
|
|
69
|
+
return false;
|
|
70
|
+
},
|
|
71
|
+
(ctx, cn, bind, call) => {
|
|
72
|
+
if (cn === "gate")
|
|
73
|
+
return emitGate(ctx, bind, call);
|
|
74
|
+
return false;
|
|
75
|
+
},
|
|
76
|
+
(ctx, cn, bind, call) => {
|
|
77
|
+
if (cn === "reduce")
|
|
78
|
+
return emitReduce(ctx, bind, call);
|
|
79
|
+
return false;
|
|
80
|
+
},
|
|
81
|
+
(ctx, cn, bind, call) => {
|
|
82
|
+
if (cn === "approval")
|
|
83
|
+
return emitApproval(ctx, bind, call);
|
|
84
|
+
return false;
|
|
85
|
+
},
|
|
86
|
+
(ctx, cn, bind, call) => {
|
|
87
|
+
if (cn === "loop")
|
|
88
|
+
return emitLoop(ctx, bind, call);
|
|
89
|
+
return false;
|
|
90
|
+
},
|
|
91
|
+
(ctx, cn, bind, call) => {
|
|
92
|
+
if (cn === "tournament")
|
|
93
|
+
return emitTournament(ctx, bind, call);
|
|
94
|
+
return false;
|
|
95
|
+
},
|
|
96
|
+
];
|
|
97
|
+
/** Try kind emitters. Returns phase id, undefined (no phase), or "continue" if unknown. */
|
|
98
|
+
export function trySpecializedEmit(ctx, cn, bindName, call, itemParam) {
|
|
99
|
+
for (const h of KIND_HANDLERS) {
|
|
100
|
+
const r = h(ctx, cn, bindName, call, itemParam);
|
|
101
|
+
if (r === false)
|
|
102
|
+
continue;
|
|
103
|
+
return r;
|
|
104
|
+
}
|
|
105
|
+
return "continue";
|
|
106
|
+
}
|
|
107
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,4BAA4B,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAUjD;;;;;;;GAOG;AACH,MAAM,aAAa,GAAkB;IACpC,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,eAAe,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;YACpD,OAAO,4BAA4B,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,KAAK,MAAM;YAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,cAAc;YAAE,OAAO,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACrF,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,gBAAgB,IAAI,EAAE,KAAK,aAAa,IAAI,EAAE,KAAK,eAAe,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;YACtG,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,KAAK;YAAE,OAAO,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,KAAK,UAAU;YAAE,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,MAAM;YAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,UAAU;YAAE,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,MAAM;YAAE,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC;IACd,CAAC;IACD,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QACvB,IAAI,EAAE,KAAK,YAAY;YAAE,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChE,OAAO,KAAK,CAAC;IACd,CAAC;CACD,CAAC;AAEF,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CACjC,GAAgB,EAChB,EAAU,EACV,QAA4B,EAC5B,IAAuB,EACvB,SAAkB;IAElB,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,KAAK;YAAE,SAAS;QAC1B,OAAO,CAAC,CAAC;IACV,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAE5E,wBAAgB,QAAQ,CACvB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACrB,MAAM,CA0CR"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { mergeOpts } from "../opts.js";
|
|
3
|
+
import { eraseLoopTask, eraseStringish } from "../templates.js";
|
|
4
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
5
|
+
export function emitLoop(ctx, bindName, call) {
|
|
6
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
7
|
+
const draft = {
|
|
8
|
+
id: idBase,
|
|
9
|
+
binding: idBase,
|
|
10
|
+
type: "loop",
|
|
11
|
+
raw: { type: "loop" },
|
|
12
|
+
dependsOn: new Set(),
|
|
13
|
+
};
|
|
14
|
+
const optsArg = call.arguments[0];
|
|
15
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases, { allowKeys: new Set(["task"]) });
|
|
16
|
+
if (typeof opts.id === "string")
|
|
17
|
+
draft.id = opts.id;
|
|
18
|
+
Object.assign(draft.raw, opts);
|
|
19
|
+
// task: (prev) => `...` inside object — scan object for task method
|
|
20
|
+
if (optsArg && ts.isObjectLiteralExpression(optsArg)) {
|
|
21
|
+
for (const p of optsArg.properties) {
|
|
22
|
+
if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name))
|
|
23
|
+
continue;
|
|
24
|
+
if (p.name.text === "task") {
|
|
25
|
+
if (ts.isArrowFunction(p.initializer) || ts.isFunctionExpression(p.initializer)) {
|
|
26
|
+
const prev = p.initializer.parameters[0];
|
|
27
|
+
const prevNm = prev && ts.isIdentifier(prev.name) ? prev.name.text : "prev";
|
|
28
|
+
let expr = ts.isBlock(p.initializer.body)
|
|
29
|
+
? undefined
|
|
30
|
+
: p.initializer.body;
|
|
31
|
+
if (ts.isBlock(p.initializer.body)) {
|
|
32
|
+
for (const st of p.initializer.body.statements) {
|
|
33
|
+
if (ts.isReturnStatement(st) && st.expression)
|
|
34
|
+
expr = st.expression;
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
if (expr) {
|
|
38
|
+
const er = eraseLoopTask(ctx.sf, ctx.file, expr, prevNm, draft.id, ctx.diags);
|
|
39
|
+
if (er)
|
|
40
|
+
draft.raw.task = er;
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
else {
|
|
44
|
+
const er = eraseStringish(ctx.sf, ctx.file, p.initializer, undefined, ctx.phases, ctx.diags);
|
|
45
|
+
if (er)
|
|
46
|
+
draft.raw.task = er.text;
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
if (opts.final === true)
|
|
52
|
+
draft.final = true;
|
|
53
|
+
return register(ctx, draft);
|
|
54
|
+
}
|
|
55
|
+
//# sourceMappingURL=loop.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEhE,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE5E,MAAM,UAAU,QAAQ,CACvB,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,MAAM;QACZ,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACrB,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,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3G,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,oEAAoE;IACpE,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,MAAM,EAAE,CAAC;gBAC5B,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;oBACjF,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBACzC,MAAM,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC5E,IAAI,IAAI,GAA8B,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;wBACnE,CAAC,CAAC,SAAS;wBACX,CAAC,CAAE,CAAC,CAAC,WAAW,CAAC,IAAsB,CAAC;oBACzC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;wBACpC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;4BAChD,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU;gCAAE,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC;wBACrE,CAAC;oBACF,CAAC;oBACD,IAAI,IAAI,EAAE,CAAC;wBACV,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;wBAC9E,IAAI,EAAE;4BAAE,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;oBAC7B,CAAC;gBACF,CAAC;qBAAM,CAAC;oBACP,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;oBAC7F,IAAI,EAAE;wBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;gBAClC,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IACD,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":"map.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/map.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAE5E,wBAAgB,OAAO,CACtB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,GACrB,MAAM,CAqIR"}
|
|
@@ -0,0 +1,117 @@
|
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
import { calleeName, diag } from "../ast.js";
|
|
3
|
+
import { mergeOpts } from "../opts.js";
|
|
4
|
+
import { eraseStringish } from "../templates.js";
|
|
5
|
+
import { phaseByBinding } from "../types.js";
|
|
6
|
+
import { nextSyntheticId, register } from "../context.js";
|
|
7
|
+
export function emitMap(ctx, bindName, call) {
|
|
8
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
9
|
+
const draft = {
|
|
10
|
+
id: idBase,
|
|
11
|
+
binding: idBase,
|
|
12
|
+
type: "map",
|
|
13
|
+
raw: { type: "map" },
|
|
14
|
+
dependsOn: new Set(),
|
|
15
|
+
};
|
|
16
|
+
const innerOptionKeys = new Set();
|
|
17
|
+
const overArg = call.arguments[0];
|
|
18
|
+
const fnArg = call.arguments[1];
|
|
19
|
+
const optsArg = call.arguments[2];
|
|
20
|
+
if (overArg && ts.isIdentifier(overArg) && phaseByBinding(ctx.phases, overArg.text)) {
|
|
21
|
+
const pid = phaseByBinding(ctx.phases, overArg.text).id;
|
|
22
|
+
draft.dependsOn.add(pid);
|
|
23
|
+
draft.raw.over = `{steps.${pid}.json}`;
|
|
24
|
+
}
|
|
25
|
+
else if (overArg && ts.isPropertyAccessExpression(overArg) && ts.isIdentifier(overArg.expression)) {
|
|
26
|
+
const binding = overArg.expression.text;
|
|
27
|
+
const pid = phaseByBinding(ctx.phases, binding)?.id;
|
|
28
|
+
if (pid && (overArg.name.text === "json" || overArg.name.text === "output")) {
|
|
29
|
+
draft.dependsOn.add(pid);
|
|
30
|
+
draft.raw.over =
|
|
31
|
+
overArg.name.text === "json" ? `{steps.${pid}.json}` : `{steps.${pid}.output}`;
|
|
32
|
+
}
|
|
33
|
+
else {
|
|
34
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, overArg, "TFDSL_DEP_DYNAMIC", `map source must be a phase handle, phase.json/output, or static interpolation string.`));
|
|
35
|
+
}
|
|
36
|
+
}
|
|
37
|
+
else if (overArg && (ts.isStringLiteral(overArg) || ts.isNoSubstitutionTemplateLiteral(overArg))) {
|
|
38
|
+
draft.raw.over = overArg.text;
|
|
39
|
+
}
|
|
40
|
+
else if (overArg) {
|
|
41
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, overArg, "TFDSL_DEP_DYNAMIC", `map source must be a phase handle, phase.json/output, or static interpolation string.`));
|
|
42
|
+
}
|
|
43
|
+
let itemName = "item";
|
|
44
|
+
if (fnArg && (ts.isArrowFunction(fnArg) || ts.isFunctionExpression(fnArg))) {
|
|
45
|
+
const p0 = fnArg.parameters[0];
|
|
46
|
+
if (p0 && ts.isIdentifier(p0.name))
|
|
47
|
+
itemName = p0.name.text;
|
|
48
|
+
// `item` is the core runtime default. Preserve omission so
|
|
49
|
+
// decompile → build does not manufacture a field and alter FlowIR identity.
|
|
50
|
+
if (itemName !== "item")
|
|
51
|
+
draft.raw.as = itemName;
|
|
52
|
+
let inner;
|
|
53
|
+
if (ts.isBlock(fnArg.body)) {
|
|
54
|
+
for (const st of fnArg.body.statements) {
|
|
55
|
+
if (ts.isReturnStatement(st) && st.expression)
|
|
56
|
+
inner = st.expression;
|
|
57
|
+
}
|
|
58
|
+
}
|
|
59
|
+
else {
|
|
60
|
+
inner = fnArg.body;
|
|
61
|
+
}
|
|
62
|
+
if (inner && ts.isCallExpression(inner)) {
|
|
63
|
+
const innerCn = calleeName(inner.expression);
|
|
64
|
+
if (innerCn === "agent") {
|
|
65
|
+
if (inner.arguments.length < 1 || inner.arguments.length > 2) {
|
|
66
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, inner, "TFDSL_RUNE_ARITY", `map inner agent expects 1-2 arguments, got ${inner.arguments.length}.`));
|
|
67
|
+
return register(ctx, draft);
|
|
68
|
+
}
|
|
69
|
+
const erased = eraseStringish(ctx.sf, ctx.file, inner.arguments[0], itemName, ctx.phases, ctx.diags);
|
|
70
|
+
if (erased) {
|
|
71
|
+
draft.raw.task = erased.text;
|
|
72
|
+
for (const d of erased.deps)
|
|
73
|
+
draft.dependsOn.add(d);
|
|
74
|
+
}
|
|
75
|
+
const iopts = mergeOpts(ctx.sf, ctx.file, inner.arguments[1], ctx.diags, ctx.phases);
|
|
76
|
+
const perItemKeys = new Set([
|
|
77
|
+
"agent", "model", "thinking", "tools", "cwd", "output", "expect", "retry", "timeout",
|
|
78
|
+
"optional", "idempotent", "context", "contextLimit", "cache", "shareContext",
|
|
79
|
+
]);
|
|
80
|
+
for (const [key, value] of Object.entries(iopts)) {
|
|
81
|
+
if (perItemKeys.has(key)) {
|
|
82
|
+
draft.raw[key] = value;
|
|
83
|
+
innerOptionKeys.add(key);
|
|
84
|
+
}
|
|
85
|
+
else {
|
|
86
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, inner.arguments[1] ?? inner, "TFDSL_MAP_INNER_OPTS", `Option '${key}' cannot be applied inside map's agent(); put phase-level routing options on map(..., ..., opts).`));
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
}
|
|
92
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases, { allowKeys: new Set(["as"]) });
|
|
93
|
+
if (opts.as !== undefined && typeof opts.as !== "string") {
|
|
94
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, optsArg ?? call, "TFDSL_MAP_AS", `map option 'as' must be a static string.`));
|
|
95
|
+
delete opts.as;
|
|
96
|
+
}
|
|
97
|
+
const taskUsesCallbackAlias = typeof draft.raw.task === "string" &&
|
|
98
|
+
new RegExp(`\\{${itemName.replace(/[.*+?^${}()|[\\]\\]/g, "\\$&")}(?:\\.|\\})`).test(draft.raw.task);
|
|
99
|
+
if (typeof opts.as === "string" && opts.as !== itemName && taskUsesCallbackAlias) {
|
|
100
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, optsArg ?? call, "TFDSL_MAP_AS_MISMATCH", `map callback parameter '${itemName}' must match option 'as: ${opts.as}' so emitted placeholders resolve at runtime.`));
|
|
101
|
+
}
|
|
102
|
+
if (typeof opts.id === "string")
|
|
103
|
+
draft.id = opts.id;
|
|
104
|
+
for (const key of Object.keys(opts)) {
|
|
105
|
+
if (!innerOptionKeys.has(key))
|
|
106
|
+
continue;
|
|
107
|
+
ctx.diags.push(diag(ctx.file, ctx.sf, optsArg ?? call, "TFDSL_MAP_OPTION_SHADOW", `map option '${key}' is declared both inside agent() and on map(); keep exactly one declaration.`));
|
|
108
|
+
}
|
|
109
|
+
Object.assign(draft.raw, opts);
|
|
110
|
+
if (Array.isArray(opts.dependsOn))
|
|
111
|
+
for (const d of opts.dependsOn)
|
|
112
|
+
draft.dependsOn.add(d);
|
|
113
|
+
if (opts.final === true)
|
|
114
|
+
draft.final = true;
|
|
115
|
+
return register(ctx, draft);
|
|
116
|
+
}
|
|
117
|
+
//# sourceMappingURL=map.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"map.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/map.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,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAoB,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE5E,MAAM,UAAU,OAAO,CACtB,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,KAAK;QACX,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;QACpB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,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,IAAI,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,UAAU,GAAG,QAAQ,CAAC;IACxC,CAAC;SAAM,IAAI,OAAO,IAAI,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACrG,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACxC,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QACpD,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,IAAI;gBACb,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,GAAG,UAAU,CAAC;QACjF,CAAC;aAAM,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,uFAAuF,CAAC,CAAC,CAAC;QAC/J,CAAC;IACF,CAAC;SAAM,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACpG,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC/B,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,uFAAuF,CAAC,CAAC,CAAC;IAC/J,CAAC;IACD,IAAI,QAAQ,GAAG,MAAM,CAAC;IACtB,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5D,2DAA2D;QAC3D,4EAA4E;QAC5E,IAAI,QAAQ,KAAK,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,QAAQ,CAAC;QACjD,IAAI,KAAgC,CAAC;QACrC,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,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC;YACtE,CAAC;QACF,CAAC;aAAM,CAAC;YACP,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,KAAK,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7C,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9D,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,8CAA8C,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBAC3I,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC7B,CAAC;gBACD,MAAM,MAAM,GAAG,cAAc,CAC5B,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,EACnB,QAAQ,EACR,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,KAAK,CACT,CAAC;gBACF,IAAI,MAAM,EAAE,CAAC;oBACZ,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;oBAC7B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI;wBAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACrD,CAAC;gBACD,MAAM,KAAK,GAAG,SAAS,CACtB,GAAG,CAAC,EAAE,EACN,GAAG,CAAC,IAAI,EACR,KAAK,CAAC,SAAS,CAAC,CAAC,CAA8B,EAC/C,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,CACV,CAAC;gBACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;oBAC3B,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS;oBACpF,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc;iBAC5E,CAAC,CAAC;gBACH,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClD,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1B,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;wBACvB,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC1B,CAAC;yBACI,CAAC;wBACL,GAAG,CAAC,KAAK,CAAC,IAAI,CACb,IAAI,CACH,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,EAAE,EACN,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,EAC3B,sBAAsB,EACtB,WAAW,GAAG,mGAAmG,CACjH,CACD,CAAC;oBACH,CAAC;gBACF,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,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IACzG,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC1D,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,IAAI,IAAI,EAAE,cAAc,EAAE,0CAA0C,CAAC,CAAC,CAAC;QACpH,OAAO,IAAI,CAAC,EAAE,CAAC;IAChB,CAAC;IACD,MAAM,qBAAqB,GAC1B,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAClC,IAAI,MAAM,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtG,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,qBAAqB,EAAE,CAAC;QAClF,GAAG,CAAC,KAAK,CAAC,IAAI,CACb,IAAI,CACH,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,EAAE,EACN,OAAO,IAAI,IAAI,EACf,uBAAuB,EACvB,2BAA2B,QAAQ,4BAA4B,IAAI,CAAC,EAAE,+CAA+C,CACrH,CACD,CAAC;IACH,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;QAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACxC,GAAG,CAAC,KAAK,CAAC,IAAI,CACb,IAAI,CACH,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,EAAE,EACN,OAAO,IAAI,IAAI,EACf,yBAAyB,EACzB,eAAe,GAAG,+EAA+E,CACjG,CACD,CAAC;IACH,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAqB;YAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtG,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":"parallel.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/parallel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAG5E,wBAAgB,YAAY,CAC3B,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,SAAS,CAAC,EAAE,MAAM,GAChB,MAAM,CA6DR"}
|
|
@@ -0,0 +1,62 @@
|
|
|
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 emitParallel(ctx, bindName, call, itemParam) {
|
|
8
|
+
const idBase = bindName ?? nextSyntheticId(ctx, "phase");
|
|
9
|
+
const draft = {
|
|
10
|
+
id: idBase,
|
|
11
|
+
binding: idBase,
|
|
12
|
+
type: "parallel",
|
|
13
|
+
raw: { type: "parallel" },
|
|
14
|
+
dependsOn: new Set(),
|
|
15
|
+
};
|
|
16
|
+
const arr = call.arguments[0];
|
|
17
|
+
const optsArg = call.arguments[1];
|
|
18
|
+
const branches = [];
|
|
19
|
+
if (arr && ts.isArrayLiteralExpression(arr)) {
|
|
20
|
+
for (let bi = 0; bi < arr.elements.length; bi++) {
|
|
21
|
+
const el = arr.elements[bi];
|
|
22
|
+
if (ts.isCallExpression(el) && calleeName(el.expression) === "agent") {
|
|
23
|
+
if (el.arguments.length < 1 || el.arguments.length > 2) {
|
|
24
|
+
ctx.diags.push({
|
|
25
|
+
code: "TFDSL_RUNE_ARITY",
|
|
26
|
+
severity: "error",
|
|
27
|
+
message: `parallel() branch agent expects 1-2 arguments, got ${el.arguments.length}.`,
|
|
28
|
+
file: ctx.file,
|
|
29
|
+
});
|
|
30
|
+
continue;
|
|
31
|
+
}
|
|
32
|
+
const erased = eraseStringish(ctx.sf, ctx.file, el.arguments[0], itemParam, ctx.phases, ctx.diags);
|
|
33
|
+
const b = {};
|
|
34
|
+
if (erased) {
|
|
35
|
+
b.task = erased.text;
|
|
36
|
+
for (const d of erased.deps)
|
|
37
|
+
draft.dependsOn.add(d);
|
|
38
|
+
}
|
|
39
|
+
const bopts = mergeBranchAgentOpts(ctx, el.arguments[1], `parallel branch ${bi + 1}`);
|
|
40
|
+
Object.assign(b, bopts);
|
|
41
|
+
branches.push(b);
|
|
42
|
+
}
|
|
43
|
+
else {
|
|
44
|
+
ctx.diags.push({
|
|
45
|
+
code: "TFDSL_BRANCH_KIND",
|
|
46
|
+
severity: "error",
|
|
47
|
+
message: `parallel() branch ${bi + 1} must be agent(...) — other expressions are not erasable.`,
|
|
48
|
+
file: ctx.file,
|
|
49
|
+
});
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
draft.raw.branches = branches;
|
|
54
|
+
const opts = mergeOpts(ctx.sf, ctx.file, optsArg, ctx.diags, ctx.phases);
|
|
55
|
+
if (typeof opts.id === "string")
|
|
56
|
+
draft.id = opts.id;
|
|
57
|
+
Object.assign(draft.raw, opts);
|
|
58
|
+
if (opts.final === true)
|
|
59
|
+
draft.final = true;
|
|
60
|
+
return register(ctx, draft);
|
|
61
|
+
}
|
|
62
|
+
//# sourceMappingURL=parallel.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parallel.js","sourceRoot":"","sources":["../../../../src/build/erase/kinds/parallel.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,YAAY,CAC3B,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,UAAU;QAChB,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;QACzB,SAAS,EAAE,IAAI,GAAG,EAAE;KACpB,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAA8B,CAAC;IAC/D,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,sDAAsD,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG;wBACrF,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,mBAAmB,EAAE,GAAG,CAAC,EAAE,CAC3B,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,qBAAqB,EAAE,GAAG,CAAC,2DAA2D;oBAC/F,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,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":"race.d.ts","sourceRoot":"","sources":["../../../../src/build/erase/kinds/race.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAK5B,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,eAAe,CAAC;AAG5E,wBAAgB,QAAQ,CACvB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,SAAS,CAAC,EAAE,MAAM,GAChB,MAAM,GAAG,SAAS,CAkEpB"}
|