bonescript-compiler 0.5.2 → 0.5.4
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 -21
- package/dist/algorithm_catalog.js +166 -166
- package/dist/cli.d.ts +1 -2
- package/dist/cli.js +543 -75
- package/dist/cli.js.map +1 -1
- package/dist/emit_capability.d.ts +0 -13
- package/dist/emit_capability.js +128 -292
- package/dist/emit_capability.js.map +1 -1
- package/dist/emit_composition.js +3 -37
- package/dist/emit_composition.js.map +1 -1
- package/dist/emit_deploy.js +162 -162
- package/dist/emit_events.d.ts +0 -1
- package/dist/emit_events.js +275 -342
- package/dist/emit_events.js.map +1 -1
- package/dist/emit_full.js +106 -268
- package/dist/emit_full.js.map +1 -1
- package/dist/emit_maintenance.js +249 -249
- package/dist/emit_runtime.d.ts +11 -17
- package/dist/emit_runtime.js +688 -29
- package/dist/emit_runtime.js.map +1 -1
- package/dist/emit_sourcemap.js +66 -66
- package/dist/emit_tests.js +0 -37
- package/dist/emit_tests.js.map +1 -1
- package/dist/emitter.js +16 -82
- package/dist/emitter.js.map +1 -1
- package/dist/extension_manager.d.ts +2 -2
- package/dist/extension_manager.js +3 -6
- package/dist/extension_manager.js.map +1 -1
- package/dist/ir.d.ts +0 -4
- package/dist/lowering.d.ts +14 -5
- package/dist/lowering.js +417 -66
- package/dist/lowering.js.map +1 -1
- package/dist/module_loader.d.ts +2 -2
- package/dist/module_loader.js +23 -20
- package/dist/module_loader.js.map +1 -1
- package/dist/optimizer.js +1 -1
- package/dist/optimizer.js.map +1 -1
- package/dist/scaffold.d.ts +2 -2
- package/dist/scaffold.js +319 -315
- package/dist/scaffold.js.map +1 -1
- package/dist/source_map.js.map +1 -0
- package/dist/test.js.map +1 -0
- package/dist/test_typechecker.d.ts +5 -0
- package/dist/test_typechecker.js +126 -0
- package/dist/test_typechecker.js.map +1 -0
- package/dist/typechecker.d.ts +0 -5
- package/dist/typechecker.js +13 -68
- package/dist/typechecker.js.map +1 -1
- package/dist/verifier.d.ts +1 -5
- package/dist/verifier.js +35 -140
- package/dist/verifier.js.map +1 -1
- package/package.json +52 -62
- package/src/algorithm_catalog.ts +345 -345
- package/src/ast.d.ts +244 -0
- package/src/ast.ts +334 -334
- package/src/cli.ts +624 -98
- package/src/emit_batch.ts +140 -140
- package/src/emit_capability.ts +436 -617
- package/src/emit_composition.ts +196 -229
- package/src/emit_deploy.ts +190 -190
- package/src/emit_events.ts +307 -377
- package/src/emit_extras.ts +240 -240
- package/src/emit_full.ts +309 -475
- package/src/emit_maintenance.ts +459 -459
- package/src/emit_runtime.ts +730 -17
- package/src/emit_sourcemap.ts +140 -140
- package/src/emit_tests.ts +205 -246
- package/src/emit_websocket.ts +229 -229
- package/src/emitter.ts +578 -642
- package/src/extension_manager.ts +187 -189
- package/src/formatter.ts +297 -297
- package/src/index.ts +88 -88
- package/src/ir.ts +215 -216
- package/src/lexer.d.ts +195 -0
- package/src/lexer.ts +630 -630
- package/src/lowering.ts +556 -168
- package/src/module_loader.ts +114 -112
- package/src/optimizer.ts +196 -196
- package/src/parse_decls.d.ts +13 -0
- package/src/parse_decls.ts +409 -409
- package/src/parse_decls2.d.ts +13 -0
- package/src/parse_decls2.ts +244 -244
- package/src/parse_expr.d.ts +7 -0
- package/src/parse_expr.ts +197 -197
- package/src/parse_types.d.ts +6 -0
- package/src/parse_types.ts +54 -54
- package/src/parser.d.ts +10 -0
- package/src/parser.ts +1 -1
- package/src/parser_base.d.ts +19 -0
- package/src/parser_base.ts +57 -57
- package/src/parser_recovery.ts +153 -153
- package/src/scaffold.ts +375 -371
- package/src/solver.ts +330 -330
- package/src/typechecker.d.ts +52 -0
- package/src/typechecker.ts +591 -657
- package/src/types.d.ts +38 -0
- package/src/types.ts +122 -122
- package/src/verifier.ts +46 -152
- package/README.md +0 -382
- package/dist/commands/check.d.ts +0 -5
- package/dist/commands/check.js +0 -34
- package/dist/commands/check.js.map +0 -1
- package/dist/commands/compile.d.ts +0 -5
- package/dist/commands/compile.js +0 -215
- package/dist/commands/compile.js.map +0 -1
- package/dist/commands/debug.d.ts +0 -5
- package/dist/commands/debug.js +0 -59
- package/dist/commands/debug.js.map +0 -1
- package/dist/commands/diff.d.ts +0 -5
- package/dist/commands/diff.js +0 -125
- package/dist/commands/diff.js.map +0 -1
- package/dist/commands/fmt.d.ts +0 -5
- package/dist/commands/fmt.js +0 -49
- package/dist/commands/fmt.js.map +0 -1
- package/dist/commands/init.d.ts +0 -5
- package/dist/commands/init.js +0 -96
- package/dist/commands/init.js.map +0 -1
- package/dist/commands/ir.d.ts +0 -5
- package/dist/commands/ir.js +0 -27
- package/dist/commands/ir.js.map +0 -1
- package/dist/commands/lex.d.ts +0 -5
- package/dist/commands/lex.js +0 -21
- package/dist/commands/lex.js.map +0 -1
- package/dist/commands/parse.d.ts +0 -5
- package/dist/commands/parse.js +0 -30
- package/dist/commands/parse.js.map +0 -1
- package/dist/commands/test.d.ts +0 -5
- package/dist/commands/test.js +0 -61
- package/dist/commands/test.js.map +0 -1
- package/dist/commands/verify_determinism.d.ts +0 -5
- package/dist/commands/verify_determinism.js +0 -64
- package/dist/commands/verify_determinism.js.map +0 -1
- package/dist/commands/watch.d.ts +0 -5
- package/dist/commands/watch.js +0 -50
- package/dist/commands/watch.js.map +0 -1
- package/dist/emit_auth.d.ts +0 -18
- package/dist/emit_auth.js +0 -507
- package/dist/emit_auth.js.map +0 -1
- package/dist/emit_database.d.ts +0 -7
- package/dist/emit_database.js +0 -74
- package/dist/emit_database.js.map +0 -1
- package/dist/emit_index.d.ts +0 -6
- package/dist/emit_index.js +0 -202
- package/dist/emit_index.js.map +0 -1
- package/dist/emit_models.d.ts +0 -12
- package/dist/emit_models.js +0 -171
- package/dist/emit_models.js.map +0 -1
- package/dist/emit_openapi.d.ts +0 -9
- package/dist/emit_openapi.js +0 -308
- package/dist/emit_openapi.js.map +0 -1
- package/dist/emit_package.d.ts +0 -7
- package/dist/emit_package.js +0 -70
- package/dist/emit_package.js.map +0 -1
- package/dist/emit_router.d.ts +0 -12
- package/dist/emit_router.js +0 -390
- package/dist/emit_router.js.map +0 -1
- package/dist/lowering_channels.d.ts +0 -11
- package/dist/lowering_channels.js +0 -103
- package/dist/lowering_channels.js.map +0 -1
- package/dist/lowering_entities.d.ts +0 -11
- package/dist/lowering_entities.js +0 -232
- package/dist/lowering_entities.js.map +0 -1
- package/dist/lowering_helpers.d.ts +0 -13
- package/dist/lowering_helpers.js +0 -76
- package/dist/lowering_helpers.js.map +0 -1
- package/src/commands/check.ts +0 -33
- package/src/commands/compile.ts +0 -191
- package/src/commands/debug.ts +0 -33
- package/src/commands/diff.ts +0 -108
- package/src/commands/fmt.ts +0 -22
- package/src/commands/init.ts +0 -72
- package/src/commands/ir.ts +0 -23
- package/src/commands/lex.ts +0 -17
- package/src/commands/parse.ts +0 -24
- package/src/commands/test.ts +0 -36
- package/src/commands/verify_determinism.ts +0 -66
- package/src/commands/watch.ts +0 -25
- package/src/emit_auth.ts +0 -513
- package/src/emit_database.ts +0 -75
- package/src/emit_index.ts +0 -210
- package/src/emit_models.ts +0 -176
- package/src/emit_openapi.ts +0 -318
- package/src/emit_package.ts +0 -69
- package/src/emit_router.ts +0 -409
- package/src/lowering_channels.ts +0 -108
- package/src/lowering_entities.ts +0 -258
- package/src/lowering_helpers.ts +0 -75
package/src/emit_composition.ts
CHANGED
|
@@ -1,229 +1,196 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* BoneScript Composition Emitter
|
|
3
|
-
* Generates real implementations for pipeline and algorithm capabilities.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as IR from "./ir";
|
|
7
|
-
import { lookupAlgorithm } from "./algorithm_catalog";
|
|
8
|
-
|
|
9
|
-
// ─── Pipeline Emission (Leap 1) ──────────────────────────────────────────────
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
* Generate the body of a pipeline-based capability.
|
|
13
|
-
* Sequential pipelines thread results step-to-step with auto-rollback on error.
|
|
14
|
-
* Parallel pipelines run all steps concurrently and collect results.
|
|
15
|
-
*/
|
|
16
|
-
export function emitPipelineBody(method: IR.IRMethod, indent: string = " "): string {
|
|
17
|
-
if (!method.pipeline) return "";
|
|
18
|
-
const lines: string[] = [];
|
|
19
|
-
const p = method.pipeline;
|
|
20
|
-
|
|
21
|
-
if (p.parallel) {
|
|
22
|
-
return emitParallelPipeline(method, indent);
|
|
23
|
-
}
|
|
24
|
-
|
|
25
|
-
// Sequential pipeline
|
|
26
|
-
lines.push(`${indent}// Pipeline: ${p.steps.length} step(s), sequential`);
|
|
27
|
-
lines.push(`${indent}const __pipeline_completed: { step: string; rollback: (() => Promise<void>) | null }[] = [];`);
|
|
28
|
-
lines.push(`${indent}const __pipeline_results: Record<string, unknown> = {};`);
|
|
29
|
-
lines.push(``);
|
|
30
|
-
lines.push(`${indent}try {`);
|
|
31
|
-
|
|
32
|
-
for (const step of p.steps) {
|
|
33
|
-
const callExpr = generateStepCall(step);
|
|
34
|
-
if (step.bind_as) {
|
|
35
|
-
lines.push(`${indent} __pipeline_results["${step.bind_as}"] = await ${callExpr};`);
|
|
36
|
-
} else {
|
|
37
|
-
lines.push(`${indent} await ${callExpr};`);
|
|
38
|
-
}
|
|
39
|
-
lines.push(`${indent} __pipeline_completed.push({ step: "${step.call_name}", rollback: null });`);
|
|
40
|
-
lines.push(`${indent} counter("pipeline.step_completed", { method: "${method.name}", step: "${step.call_name}" });`);
|
|
41
|
-
}
|
|
42
|
-
|
|
43
|
-
lines.push(`${indent} return { ok: true, value: __pipeline_results } as any;`);
|
|
44
|
-
lines.push(`${indent}} catch (__err: any) {`);
|
|
45
|
-
|
|
46
|
-
// Error handler
|
|
47
|
-
if (p.on_error) {
|
|
48
|
-
if (p.on_error.action === "rollback") {
|
|
49
|
-
lines.push(`${indent} // on_error: rollback completed steps in reverse order`);
|
|
50
|
-
lines.push(`${indent} for (const c of [...__pipeline_completed].reverse()) {`);
|
|
51
|
-
lines.push(`${indent} if (c.rollback) await c.rollback().catch(() => {});`);
|
|
52
|
-
lines.push(`${indent} }`);
|
|
53
|
-
} else if (p.on_error.action === "compensate" && p.on_error.call_name) {
|
|
54
|
-
lines.push(`${indent} // on_error: invoke compensation`);
|
|
55
|
-
const args = p.on_error.call_args.join(", ");
|
|
56
|
-
lines.push(`${indent} await ${p.on_error.call_name}(${args}).catch(() => {});`);
|
|
57
|
-
} else if (p.on_error.action === "ignore") {
|
|
58
|
-
lines.push(`${indent} // on_error: ignore — log only`);
|
|
59
|
-
} else if (p.on_error.action === "retry") {
|
|
60
|
-
// on_error: retry
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
}
|
|
86
|
-
|
|
87
|
-
|
|
88
|
-
lines.push(`${indent}
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
}
|
|
92
|
-
|
|
93
|
-
lines.push(`${indent}
|
|
94
|
-
lines.push(`${indent}
|
|
95
|
-
lines.push(`${indent}
|
|
96
|
-
lines.push(`${indent}}
|
|
97
|
-
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
const
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
}
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
//
|
|
127
|
-
//
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
}
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
|
|
172
|
-
|
|
173
|
-
|
|
174
|
-
|
|
175
|
-
|
|
176
|
-
|
|
177
|
-
|
|
178
|
-
|
|
179
|
-
|
|
180
|
-
|
|
181
|
-
lines.
|
|
182
|
-
|
|
183
|
-
|
|
184
|
-
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
export function emitAlgorithmsFile(usedAlgorithms: Set<string>): string {
|
|
198
|
-
if (usedAlgorithms.size === 0) return "";
|
|
199
|
-
|
|
200
|
-
const lines: string[] = [];
|
|
201
|
-
lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
|
|
202
|
-
lines.push(`// Algorithm implementations from BoneScript catalog.`);
|
|
203
|
-
lines.push(``);
|
|
204
|
-
|
|
205
|
-
for (const name of [...usedAlgorithms].sort()) {
|
|
206
|
-
const spec = lookupAlgorithm(name);
|
|
207
|
-
if (!spec) continue;
|
|
208
|
-
lines.push(`// ─── ${spec.name} (${spec.category}, ${spec.complexity}) ─────`);
|
|
209
|
-
lines.push(`// ${spec.description}`);
|
|
210
|
-
lines.push(`export ${spec.emit({}).trim()}`);
|
|
211
|
-
lines.push(``);
|
|
212
|
-
}
|
|
213
|
-
|
|
214
|
-
return lines.join("\n");
|
|
215
|
-
}
|
|
216
|
-
|
|
217
|
-
// ─── Collect Used Algorithms ─────────────────────────────────────────────────
|
|
218
|
-
|
|
219
|
-
export function collectUsedAlgorithms(system: IR.IRSystem): Set<string> {
|
|
220
|
-
const used = new Set<string>();
|
|
221
|
-
for (const mod of system.modules) {
|
|
222
|
-
for (const iface of mod.interfaces) {
|
|
223
|
-
for (const method of iface.methods) {
|
|
224
|
-
if (method.algorithm) used.add(method.algorithm.catalog_name);
|
|
225
|
-
}
|
|
226
|
-
}
|
|
227
|
-
}
|
|
228
|
-
return used;
|
|
229
|
-
}
|
|
1
|
+
/**
|
|
2
|
+
* BoneScript Composition Emitter
|
|
3
|
+
* Generates real implementations for pipeline and algorithm capabilities.
|
|
4
|
+
*/
|
|
5
|
+
|
|
6
|
+
import * as IR from "./ir";
|
|
7
|
+
import { lookupAlgorithm } from "./algorithm_catalog";
|
|
8
|
+
|
|
9
|
+
// ─── Pipeline Emission (Leap 1) ──────────────────────────────────────────────
|
|
10
|
+
|
|
11
|
+
/**
|
|
12
|
+
* Generate the body of a pipeline-based capability.
|
|
13
|
+
* Sequential pipelines thread results step-to-step with auto-rollback on error.
|
|
14
|
+
* Parallel pipelines run all steps concurrently and collect results.
|
|
15
|
+
*/
|
|
16
|
+
export function emitPipelineBody(method: IR.IRMethod, indent: string = " "): string {
|
|
17
|
+
if (!method.pipeline) return "";
|
|
18
|
+
const lines: string[] = [];
|
|
19
|
+
const p = method.pipeline;
|
|
20
|
+
|
|
21
|
+
if (p.parallel) {
|
|
22
|
+
return emitParallelPipeline(method, indent);
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
// Sequential pipeline
|
|
26
|
+
lines.push(`${indent}// Pipeline: ${p.steps.length} step(s), sequential`);
|
|
27
|
+
lines.push(`${indent}const __pipeline_completed: { step: string; rollback: (() => Promise<void>) | null }[] = [];`);
|
|
28
|
+
lines.push(`${indent}const __pipeline_results: Record<string, unknown> = {};`);
|
|
29
|
+
lines.push(``);
|
|
30
|
+
lines.push(`${indent}try {`);
|
|
31
|
+
|
|
32
|
+
for (const step of p.steps) {
|
|
33
|
+
const callExpr = generateStepCall(step);
|
|
34
|
+
if (step.bind_as) {
|
|
35
|
+
lines.push(`${indent} __pipeline_results["${step.bind_as}"] = await ${callExpr};`);
|
|
36
|
+
} else {
|
|
37
|
+
lines.push(`${indent} await ${callExpr};`);
|
|
38
|
+
}
|
|
39
|
+
lines.push(`${indent} __pipeline_completed.push({ step: "${step.call_name}", rollback: null });`);
|
|
40
|
+
lines.push(`${indent} counter("pipeline.step_completed", { method: "${method.name}", step: "${step.call_name}" });`);
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
lines.push(`${indent} return { ok: true, value: __pipeline_results } as any;`);
|
|
44
|
+
lines.push(`${indent}} catch (__err: any) {`);
|
|
45
|
+
|
|
46
|
+
// Error handler
|
|
47
|
+
if (p.on_error) {
|
|
48
|
+
if (p.on_error.action === "rollback") {
|
|
49
|
+
lines.push(`${indent} // on_error: rollback completed steps in reverse order`);
|
|
50
|
+
lines.push(`${indent} for (const c of [...__pipeline_completed].reverse()) {`);
|
|
51
|
+
lines.push(`${indent} if (c.rollback) await c.rollback().catch(() => {});`);
|
|
52
|
+
lines.push(`${indent} }`);
|
|
53
|
+
} else if (p.on_error.action === "compensate" && p.on_error.call_name) {
|
|
54
|
+
lines.push(`${indent} // on_error: invoke compensation`);
|
|
55
|
+
const args = p.on_error.call_args.join(", ");
|
|
56
|
+
lines.push(`${indent} await ${p.on_error.call_name}(${args}).catch(() => {});`);
|
|
57
|
+
} else if (p.on_error.action === "ignore") {
|
|
58
|
+
lines.push(`${indent} // on_error: ignore — log only`);
|
|
59
|
+
} else if (p.on_error.action === "retry") {
|
|
60
|
+
lines.push(`${indent} // on_error: retry not yet supported in inline emission`);
|
|
61
|
+
}
|
|
62
|
+
} else {
|
|
63
|
+
// Default: rollback on error
|
|
64
|
+
lines.push(`${indent} // Default: rollback completed steps in reverse order`);
|
|
65
|
+
lines.push(`${indent} for (const c of [...__pipeline_completed].reverse()) {`);
|
|
66
|
+
lines.push(`${indent} if (c.rollback) await c.rollback().catch(() => {});`);
|
|
67
|
+
lines.push(`${indent} }`);
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
lines.push(`${indent} counter("pipeline.failed", { method: "${method.name}" });`);
|
|
71
|
+
lines.push(`${indent} logger.error("pipeline_failed", { event: "${method.name}", metadata: { error: __err.message } });`);
|
|
72
|
+
lines.push(`${indent} return { ok: false, error: { code: "PIPELINE_FAILED", message: __err.message } } as any;`);
|
|
73
|
+
lines.push(`${indent}}`);
|
|
74
|
+
|
|
75
|
+
return lines.join("\n");
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
function emitParallelPipeline(method: IR.IRMethod, indent: string): string {
|
|
79
|
+
if (!method.pipeline) return "";
|
|
80
|
+
const lines: string[] = [];
|
|
81
|
+
const p = method.pipeline;
|
|
82
|
+
|
|
83
|
+
lines.push(`${indent}// Pipeline: ${p.steps.length} step(s), parallel`);
|
|
84
|
+
lines.push(`${indent}try {`);
|
|
85
|
+
lines.push(`${indent} const __results = await Promise.all([`);
|
|
86
|
+
|
|
87
|
+
for (const step of p.steps) {
|
|
88
|
+
lines.push(`${indent} ${generateStepCall(step)},`);
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
lines.push(`${indent} ]);`);
|
|
92
|
+
lines.push(`${indent} counter("pipeline.parallel_completed", { method: "${method.name}", count: "${p.steps.length}" });`);
|
|
93
|
+
lines.push(`${indent} return { ok: true, value: __results } as any;`);
|
|
94
|
+
lines.push(`${indent}} catch (__err: any) {`);
|
|
95
|
+
lines.push(`${indent} logger.error("parallel_pipeline_failed", { event: "${method.name}", metadata: { error: __err.message } });`);
|
|
96
|
+
lines.push(`${indent} return { ok: false, error: { code: "PIPELINE_FAILED", message: __err.message } } as any;`);
|
|
97
|
+
lines.push(`${indent}}`);
|
|
98
|
+
|
|
99
|
+
return lines.join("\n");
|
|
100
|
+
}
|
|
101
|
+
|
|
102
|
+
function generateStepCall(step: IR.IRPipelineStep): string {
|
|
103
|
+
// Replace any args that reference previous bindings with __pipeline_results
|
|
104
|
+
const args = step.call_args.map(arg => {
|
|
105
|
+
// If arg looks like an identifier path, check if it might be a binding ref
|
|
106
|
+
return arg;
|
|
107
|
+
});
|
|
108
|
+
return `${step.call_name}(${args.join(", ")})`;
|
|
109
|
+
}
|
|
110
|
+
|
|
111
|
+
// ─── Algorithm Emission (Leap 2) ─────────────────────────────────────────────
|
|
112
|
+
|
|
113
|
+
/**
|
|
114
|
+
* Generate the body of an algorithm-based capability by looking up the
|
|
115
|
+
* implementation in the algorithm catalog.
|
|
116
|
+
*/
|
|
117
|
+
export function emitAlgorithmBody(method: IR.IRMethod, indent: string = " "): string {
|
|
118
|
+
if (!method.algorithm) return "";
|
|
119
|
+
|
|
120
|
+
const spec = lookupAlgorithm(method.algorithm.catalog_name);
|
|
121
|
+
if (!spec) {
|
|
122
|
+
return `${indent}return { ok: false, error: { code: "UNKNOWN_ALGORITHM", message: "Algorithm '${method.algorithm.catalog_name}' not in catalog" } } as any;`;
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
const lines: string[] = [];
|
|
126
|
+
lines.push(`${indent}// Algorithm: ${spec.name} (${spec.complexity})`);
|
|
127
|
+
lines.push(`${indent}// ${spec.description}`);
|
|
128
|
+
lines.push(``);
|
|
129
|
+
lines.push(`${indent}try {`);
|
|
130
|
+
|
|
131
|
+
// Bind named arguments to algorithm parameters
|
|
132
|
+
const argNames: string[] = [];
|
|
133
|
+
for (const input of spec.inputs) {
|
|
134
|
+
const binding = method.algorithm.bindings.find(b => b.param === input.name);
|
|
135
|
+
if (binding) {
|
|
136
|
+
argNames.push(binding.value);
|
|
137
|
+
} else {
|
|
138
|
+
argNames.push(input.name); // assume it's a method parameter
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
|
|
142
|
+
const fnName = camelize(spec.name);
|
|
143
|
+
lines.push(`${indent} const __result = ${fnName}(${argNames.join(", ")});`);
|
|
144
|
+
lines.push(`${indent} counter("algorithm.invoked", { algorithm: "${spec.name}" });`);
|
|
145
|
+
lines.push(`${indent} return { ok: true, value: __result } as any;`);
|
|
146
|
+
lines.push(`${indent}} catch (__err: any) {`);
|
|
147
|
+
lines.push(`${indent} logger.error("algorithm_failed", { event: "${spec.name}", metadata: { error: __err.message } });`);
|
|
148
|
+
lines.push(`${indent} return { ok: false, error: { code: "ALGORITHM_FAILED", message: __err.message } } as any;`);
|
|
149
|
+
lines.push(`${indent}}`);
|
|
150
|
+
|
|
151
|
+
return lines.join("\n");
|
|
152
|
+
}
|
|
153
|
+
|
|
154
|
+
function camelize(s: string): string {
|
|
155
|
+
return s.replace(/_([a-z])/g, (_, c) => c.toUpperCase());
|
|
156
|
+
}
|
|
157
|
+
|
|
158
|
+
// ─── Algorithms File Emission ────────────────────────────────────────────────
|
|
159
|
+
|
|
160
|
+
/**
|
|
161
|
+
* Emit a single TypeScript file containing all algorithm implementations
|
|
162
|
+
* referenced by capabilities in the system.
|
|
163
|
+
*/
|
|
164
|
+
export function emitAlgorithmsFile(usedAlgorithms: Set<string>): string {
|
|
165
|
+
if (usedAlgorithms.size === 0) return "";
|
|
166
|
+
|
|
167
|
+
const lines: string[] = [];
|
|
168
|
+
lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
|
|
169
|
+
lines.push(`// Algorithm implementations from BoneScript catalog.`);
|
|
170
|
+
lines.push(``);
|
|
171
|
+
|
|
172
|
+
for (const name of [...usedAlgorithms].sort()) {
|
|
173
|
+
const spec = lookupAlgorithm(name);
|
|
174
|
+
if (!spec) continue;
|
|
175
|
+
lines.push(`// ─── ${spec.name} (${spec.category}, ${spec.complexity}) ─────`);
|
|
176
|
+
lines.push(`// ${spec.description}`);
|
|
177
|
+
lines.push(`export ${spec.emit({}).trim()}`);
|
|
178
|
+
lines.push(``);
|
|
179
|
+
}
|
|
180
|
+
|
|
181
|
+
return lines.join("\n");
|
|
182
|
+
}
|
|
183
|
+
|
|
184
|
+
// ─── Collect Used Algorithms ─────────────────────────────────────────────────
|
|
185
|
+
|
|
186
|
+
export function collectUsedAlgorithms(system: IR.IRSystem): Set<string> {
|
|
187
|
+
const used = new Set<string>();
|
|
188
|
+
for (const mod of system.modules) {
|
|
189
|
+
for (const iface of mod.interfaces) {
|
|
190
|
+
for (const method of iface.methods) {
|
|
191
|
+
if (method.algorithm) used.add(method.algorithm.catalog_name);
|
|
192
|
+
}
|
|
193
|
+
}
|
|
194
|
+
}
|
|
195
|
+
return used;
|
|
196
|
+
}
|