bonescript-compiler 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.
Files changed (146) hide show
  1. package/LICENSE +21 -0
  2. package/dist/algorithm_catalog.d.ts +32 -0
  3. package/dist/algorithm_catalog.js +323 -0
  4. package/dist/algorithm_catalog.js.map +1 -0
  5. package/dist/ast.d.ts +244 -0
  6. package/dist/ast.js +8 -0
  7. package/dist/ast.js.map +1 -0
  8. package/dist/cli.d.ts +4 -0
  9. package/dist/cli.js +605 -0
  10. package/dist/cli.js.map +1 -0
  11. package/dist/emit_batch.d.ts +7 -0
  12. package/dist/emit_batch.js +133 -0
  13. package/dist/emit_batch.js.map +1 -0
  14. package/dist/emit_capability.d.ts +7 -0
  15. package/dist/emit_capability.js +376 -0
  16. package/dist/emit_capability.js.map +1 -0
  17. package/dist/emit_composition.d.ts +22 -0
  18. package/dist/emit_composition.js +184 -0
  19. package/dist/emit_composition.js.map +1 -0
  20. package/dist/emit_deploy.d.ts +9 -0
  21. package/dist/emit_deploy.js +191 -0
  22. package/dist/emit_deploy.js.map +1 -0
  23. package/dist/emit_events.d.ts +14 -0
  24. package/dist/emit_events.js +305 -0
  25. package/dist/emit_events.js.map +1 -0
  26. package/dist/emit_extras.d.ts +12 -0
  27. package/dist/emit_extras.js +234 -0
  28. package/dist/emit_extras.js.map +1 -0
  29. package/dist/emit_full.d.ts +13 -0
  30. package/dist/emit_full.js +273 -0
  31. package/dist/emit_full.js.map +1 -0
  32. package/dist/emit_maintenance.d.ts +16 -0
  33. package/dist/emit_maintenance.js +442 -0
  34. package/dist/emit_maintenance.js.map +1 -0
  35. package/dist/emit_runtime.d.ts +13 -0
  36. package/dist/emit_runtime.js +691 -0
  37. package/dist/emit_runtime.js.map +1 -0
  38. package/dist/emit_sourcemap.d.ts +29 -0
  39. package/dist/emit_sourcemap.js +123 -0
  40. package/dist/emit_sourcemap.js.map +1 -0
  41. package/dist/emit_tests.d.ts +15 -0
  42. package/dist/emit_tests.js +185 -0
  43. package/dist/emit_tests.js.map +1 -0
  44. package/dist/emit_websocket.d.ts +6 -0
  45. package/dist/emit_websocket.js +223 -0
  46. package/dist/emit_websocket.js.map +1 -0
  47. package/dist/emitter.d.ts +25 -0
  48. package/dist/emitter.js +511 -0
  49. package/dist/emitter.js.map +1 -0
  50. package/dist/extension_manager.d.ts +38 -0
  51. package/dist/extension_manager.js +170 -0
  52. package/dist/extension_manager.js.map +1 -0
  53. package/dist/formatter.d.ts +34 -0
  54. package/dist/formatter.js +317 -0
  55. package/dist/formatter.js.map +1 -0
  56. package/dist/index.d.ts +42 -0
  57. package/dist/index.js +113 -0
  58. package/dist/index.js.map +1 -0
  59. package/dist/ir.d.ts +168 -0
  60. package/dist/ir.js +10 -0
  61. package/dist/ir.js.map +1 -0
  62. package/dist/lexer.d.ts +195 -0
  63. package/dist/lexer.js +619 -0
  64. package/dist/lexer.js.map +1 -0
  65. package/dist/lowering.d.ts +25 -0
  66. package/dist/lowering.js +500 -0
  67. package/dist/lowering.js.map +1 -0
  68. package/dist/module_loader.d.ts +25 -0
  69. package/dist/module_loader.js +126 -0
  70. package/dist/module_loader.js.map +1 -0
  71. package/dist/optimizer.d.ts +26 -0
  72. package/dist/optimizer.js +158 -0
  73. package/dist/optimizer.js.map +1 -0
  74. package/dist/parse_decls.d.ts +13 -0
  75. package/dist/parse_decls.js +442 -0
  76. package/dist/parse_decls.js.map +1 -0
  77. package/dist/parse_decls2.d.ts +13 -0
  78. package/dist/parse_decls2.js +295 -0
  79. package/dist/parse_decls2.js.map +1 -0
  80. package/dist/parse_expr.d.ts +7 -0
  81. package/dist/parse_expr.js +197 -0
  82. package/dist/parse_expr.js.map +1 -0
  83. package/dist/parse_types.d.ts +6 -0
  84. package/dist/parse_types.js +51 -0
  85. package/dist/parse_types.js.map +1 -0
  86. package/dist/parser.d.ts +10 -0
  87. package/dist/parser.js +62 -0
  88. package/dist/parser.js.map +1 -0
  89. package/dist/parser_base.d.ts +19 -0
  90. package/dist/parser_base.js +50 -0
  91. package/dist/parser_base.js.map +1 -0
  92. package/dist/parser_recovery.d.ts +26 -0
  93. package/dist/parser_recovery.js +140 -0
  94. package/dist/parser_recovery.js.map +1 -0
  95. package/dist/scaffold.d.ts +13 -0
  96. package/dist/scaffold.js +376 -0
  97. package/dist/scaffold.js.map +1 -0
  98. package/dist/solver.d.ts +26 -0
  99. package/dist/solver.js +281 -0
  100. package/dist/solver.js.map +1 -0
  101. package/dist/typechecker.d.ts +52 -0
  102. package/dist/typechecker.js +534 -0
  103. package/dist/typechecker.js.map +1 -0
  104. package/dist/types.d.ts +38 -0
  105. package/dist/types.js +85 -0
  106. package/dist/types.js.map +1 -0
  107. package/dist/verifier.d.ts +46 -0
  108. package/dist/verifier.js +307 -0
  109. package/dist/verifier.js.map +1 -0
  110. package/package.json +52 -0
  111. package/src/algorithm_catalog.ts +345 -0
  112. package/src/ast.ts +334 -0
  113. package/src/cli.ts +624 -0
  114. package/src/emit_batch.ts +140 -0
  115. package/src/emit_capability.ts +436 -0
  116. package/src/emit_composition.ts +196 -0
  117. package/src/emit_deploy.ts +190 -0
  118. package/src/emit_events.ts +307 -0
  119. package/src/emit_extras.ts +240 -0
  120. package/src/emit_full.ts +309 -0
  121. package/src/emit_maintenance.ts +459 -0
  122. package/src/emit_runtime.ts +731 -0
  123. package/src/emit_sourcemap.ts +140 -0
  124. package/src/emit_tests.ts +205 -0
  125. package/src/emit_websocket.ts +229 -0
  126. package/src/emitter.ts +566 -0
  127. package/src/extension_manager.ts +187 -0
  128. package/src/formatter.ts +297 -0
  129. package/src/index.ts +88 -0
  130. package/src/ir.ts +215 -0
  131. package/src/lexer.ts +630 -0
  132. package/src/lowering.ts +556 -0
  133. package/src/module_loader.ts +114 -0
  134. package/src/optimizer.ts +196 -0
  135. package/src/parse_decls.ts +409 -0
  136. package/src/parse_decls2.ts +244 -0
  137. package/src/parse_expr.ts +197 -0
  138. package/src/parse_types.ts +54 -0
  139. package/src/parser.ts +64 -0
  140. package/src/parser_base.ts +57 -0
  141. package/src/parser_recovery.ts +153 -0
  142. package/src/scaffold.ts +375 -0
  143. package/src/solver.ts +330 -0
  144. package/src/typechecker.ts +591 -0
  145. package/src/types.ts +122 -0
  146. package/src/verifier.ts +348 -0
@@ -0,0 +1,442 @@
1
+ "use strict";
2
+ /**
3
+ * BoneScript Maintenance Model Emitter
4
+ * Generates the runtime agent that implements spec/10_MAINTENANCE_MODEL.md.
5
+ *
6
+ * Includes:
7
+ * - Structured logger with fixed schema
8
+ * - Telemetry hooks (Prometheus-style metrics)
9
+ * - Failure rules derived from IR constraints/state machines
10
+ * - Health check endpoints with dependency status
11
+ */
12
+ Object.defineProperty(exports, "__esModule", { value: true });
13
+ exports.emitMigrationDiff = exports.emitFailureRules = exports.emitHealthChecks = exports.emitMetrics = exports.emitLogger = void 0;
14
+ // ─── Logger ──────────────────────────────────────────────────────────────────
15
+ function emitLogger(system) {
16
+ return `// Generated by BoneScript compiler. DO NOT EDIT.
17
+ // Implements spec/10 §3 (Logging Schema)
18
+
19
+ import { v4 as uuid } from "uuid";
20
+
21
+ export type LogLevel = "debug" | "info" | "warn" | "error" | "fatal";
22
+ export type LogStatus = "success" | "failure" | "timeout" | "rejected";
23
+
24
+ export interface LogEntry {
25
+ timestamp: string;
26
+ level: LogLevel;
27
+ service: string;
28
+ trace_id: string;
29
+ span_id: string;
30
+ event: string;
31
+ duration_ms?: number;
32
+ status: LogStatus;
33
+ entity_id?: string;
34
+ actor_id?: string | null;
35
+ error_code?: string | null;
36
+ metadata?: Record<string, unknown>;
37
+ }
38
+
39
+ class Logger {
40
+ private service: string;
41
+
42
+ constructor(service: string) {
43
+ this.service = service;
44
+ }
45
+
46
+ emit(entry: Omit<LogEntry, "timestamp" | "service" | "span_id">): void {
47
+ const full: LogEntry = {
48
+ timestamp: new Date().toISOString(),
49
+ service: this.service,
50
+ span_id: uuid(),
51
+ ...entry,
52
+ };
53
+ // In production: send to log aggregator. In dev: console.
54
+ const fn = entry.level === "error" || entry.level === "fatal" ? console.error : console.log;
55
+ fn(JSON.stringify(full));
56
+ }
57
+
58
+ info(event: string, fields: Partial<LogEntry> = {}): void {
59
+ this.emit({ level: "info", event, status: "success", trace_id: fields.trace_id || "", ...fields });
60
+ }
61
+
62
+ warn(event: string, fields: Partial<LogEntry> = {}): void {
63
+ this.emit({ level: "warn", event, status: "rejected", trace_id: fields.trace_id || "", ...fields });
64
+ }
65
+
66
+ error(event: string, fields: Partial<LogEntry> = {}): void {
67
+ this.emit({ level: "error", event, status: "failure", trace_id: fields.trace_id || "", ...fields });
68
+ }
69
+
70
+ debug(event: string, fields: Partial<LogEntry> = {}): void {
71
+ if (process.env.LOG_LEVEL === "debug") {
72
+ this.emit({ level: "debug", event, status: "success", trace_id: fields.trace_id || "", ...fields });
73
+ }
74
+ }
75
+ }
76
+
77
+ export function createLogger(service: string): Logger {
78
+ return new Logger(service);
79
+ }
80
+
81
+ export const logger = createLogger("${system.name}");
82
+ `;
83
+ }
84
+ exports.emitLogger = emitLogger;
85
+ // ─── Metrics ─────────────────────────────────────────────────────────────────
86
+ function emitMetrics() {
87
+ return `// Generated by BoneScript compiler. DO NOT EDIT.
88
+ // Implements spec/10 §4 (Telemetry Hooks)
89
+
90
+ interface Counter {
91
+ type: "counter";
92
+ value: number;
93
+ labels: Record<string, string>;
94
+ }
95
+
96
+ interface Histogram {
97
+ type: "histogram";
98
+ values: number[];
99
+ labels: Record<string, string>;
100
+ }
101
+
102
+ interface Gauge {
103
+ type: "gauge";
104
+ value: number;
105
+ labels: Record<string, string>;
106
+ }
107
+
108
+ type Metric = Counter | Histogram | Gauge;
109
+
110
+ const metrics: Map<string, Metric> = new Map();
111
+
112
+ function key(name: string, labels: Record<string, string>): string {
113
+ const parts = Object.keys(labels).sort().map(k => \`\${k}="\${labels[k]}"\`);
114
+ return parts.length > 0 ? \`\${name}{\${parts.join(",")}}\` : name;
115
+ }
116
+
117
+ export function counter(name: string, labels: Record<string, string> = {}): void {
118
+ const k = key(name, labels);
119
+ const existing = metrics.get(k);
120
+ if (existing && existing.type === "counter") {
121
+ existing.value++;
122
+ } else {
123
+ metrics.set(k, { type: "counter", value: 1, labels });
124
+ }
125
+ }
126
+
127
+ export function histogram(name: string, value: number, labels: Record<string, string> = {}): void {
128
+ const k = key(name, labels);
129
+ const existing = metrics.get(k);
130
+ if (existing && existing.type === "histogram") {
131
+ existing.values.push(value);
132
+ } else {
133
+ metrics.set(k, { type: "histogram", values: [value], labels });
134
+ }
135
+ }
136
+
137
+ export function gauge(name: string, value: number, labels: Record<string, string> = {}): void {
138
+ const k = key(name, labels);
139
+ metrics.set(k, { type: "gauge", value, labels });
140
+ }
141
+
142
+ export function dump(): string {
143
+ const lines: string[] = [];
144
+ for (const [k, m] of metrics.entries()) {
145
+ if (m.type === "counter" || m.type === "gauge") {
146
+ lines.push(\`\${k} \${m.value}\`);
147
+ } else {
148
+ const sum = m.values.reduce((a, b) => a + b, 0);
149
+ const count = m.values.length;
150
+ const avg = count > 0 ? sum / count : 0;
151
+ lines.push(\`\${k}_count \${count}\`);
152
+ lines.push(\`\${k}_sum \${sum}\`);
153
+ lines.push(\`\${k}_avg \${avg.toFixed(2)}\`);
154
+ }
155
+ }
156
+ return lines.join("\\n");
157
+ }
158
+
159
+ export function reset(): void {
160
+ metrics.clear();
161
+ }
162
+ `;
163
+ }
164
+ exports.emitMetrics = emitMetrics;
165
+ // ─── Health Checks ───────────────────────────────────────────────────────────
166
+ function emitHealthChecks(system) {
167
+ const lines = [];
168
+ lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
169
+ lines.push(`// Implements spec/10 §5 (Health Checks)`);
170
+ lines.push(``);
171
+ lines.push(`import { Router, Request, Response } from "express";`);
172
+ lines.push(`import { pool } from "./db";`);
173
+ lines.push(`import { dump as dumpMetrics } from "./metrics";`);
174
+ lines.push(``);
175
+ lines.push(`export const healthRouter = Router();`);
176
+ lines.push(``);
177
+ // Liveness: process is running
178
+ lines.push(`// Liveness — is the process running?`);
179
+ lines.push(`healthRouter.get("/live", (_req: Request, res: Response) => {`);
180
+ lines.push(` res.json({ status: "ok", timestamp: new Date().toISOString() });`);
181
+ lines.push(`});`);
182
+ lines.push(``);
183
+ // Readiness: dependencies are healthy
184
+ lines.push(`// Readiness — can the service accept requests?`);
185
+ lines.push(`healthRouter.get("/ready", async (_req: Request, res: Response) => {`);
186
+ lines.push(` const checks: Record<string, { ok: boolean; message?: string }> = {};`);
187
+ lines.push(``);
188
+ // Check database
189
+ const hasDataStore = system.modules.some(m => m.kind === "data_store");
190
+ if (hasDataStore) {
191
+ lines.push(` // Postgres`);
192
+ lines.push(` try {`);
193
+ lines.push(` await pool.query("SELECT 1");`);
194
+ lines.push(` checks.postgres = { ok: true };`);
195
+ lines.push(` } catch (e: any) {`);
196
+ lines.push(` checks.postgres = { ok: false, message: e.message };`);
197
+ lines.push(` }`);
198
+ lines.push(``);
199
+ }
200
+ lines.push(` const allOk = Object.values(checks).every(c => c.ok);`);
201
+ lines.push(` res.status(allOk ? 200 : 503).json({`);
202
+ lines.push(` status: allOk ? "ok" : "degraded",`);
203
+ lines.push(` checks,`);
204
+ lines.push(` timestamp: new Date().toISOString(),`);
205
+ lines.push(` });`);
206
+ lines.push(`});`);
207
+ lines.push(``);
208
+ // Startup probe
209
+ lines.push(`// Startup — has initialization completed?`);
210
+ lines.push(`healthRouter.get("/startup", (_req: Request, res: Response) => {`);
211
+ lines.push(` res.json({ status: "ok", uptime: process.uptime() });`);
212
+ lines.push(`});`);
213
+ lines.push(``);
214
+ // Metrics endpoint
215
+ lines.push(`// Prometheus-style metrics`);
216
+ lines.push(`healthRouter.get("/metrics", (_req: Request, res: Response) => {`);
217
+ lines.push(` res.type("text/plain").send(dumpMetrics());`);
218
+ lines.push(`});`);
219
+ lines.push(``);
220
+ return lines.join("\n");
221
+ }
222
+ exports.emitHealthChecks = emitHealthChecks;
223
+ // ─── Failure Rules ───────────────────────────────────────────────────────────
224
+ function emitFailureRules(system) {
225
+ const lines = [];
226
+ lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
227
+ lines.push(`// Implements spec/10 §6 (Failure Rules)`);
228
+ lines.push(`//`);
229
+ lines.push(`// Each rule has: condition, detection, remediation, escalation.`);
230
+ lines.push(`// Rules are derived from the program's constraints, state machines,`);
231
+ lines.push(`// dependencies, events, and flows. All rule-based — no ML.`);
232
+ lines.push(``);
233
+ lines.push(`import { logger } from "./logger";`);
234
+ lines.push(`import { counter, gauge } from "./metrics";`);
235
+ lines.push(``);
236
+ lines.push(`export interface FailureRule {`);
237
+ lines.push(` id: string;`);
238
+ lines.push(` condition: string;`);
239
+ lines.push(` detection: string;`);
240
+ lines.push(` remediation: () => Promise<void>;`);
241
+ lines.push(` rollback: boolean;`);
242
+ lines.push(`}`);
243
+ lines.push(``);
244
+ lines.push(`export const RULES: FailureRule[] = [`);
245
+ // From state machines
246
+ for (const mod of system.modules) {
247
+ for (const sm of mod.state_machines) {
248
+ lines.push(` {`);
249
+ lines.push(` id: "invalid_transition_${sm.entity}",`);
250
+ lines.push(` condition: "Attempted state transition not in declared machine",`);
251
+ lines.push(` detection: "Log with error_code=INVALID_TRANSITION",`);
252
+ lines.push(` remediation: async () => {`);
253
+ lines.push(` counter("constraint.violated", { entity: "${sm.entity}", kind: "invalid_transition" });`);
254
+ lines.push(` logger.warn("invalid_transition_blocked", { entity_id: "${sm.entity}", error_code: "INVALID_TRANSITION" });`);
255
+ lines.push(` },`);
256
+ lines.push(` rollback: false,`);
257
+ lines.push(` },`);
258
+ }
259
+ }
260
+ // From dependencies (one circuit breaker per dependency edge)
261
+ for (const mod of system.modules) {
262
+ for (const dep of mod.dependencies) {
263
+ const target = system.modules.find(m => m.id === dep);
264
+ if (!target)
265
+ continue;
266
+ lines.push(` {`);
267
+ lines.push(` id: "dependency_failure_${mod.name}_to_${target.name}",`);
268
+ lines.push(` condition: "Dependency unreachable or returning errors",`);
269
+ lines.push(` detection: "Error rate > 50% in 30s window",`);
270
+ lines.push(` remediation: async () => {`);
271
+ lines.push(` counter("circuit_breaker.opened", { service: "${mod.name}", target: "${target.name}" });`);
272
+ lines.push(` gauge("circuit_breaker.open", 1, { service: "${mod.name}", target: "${target.name}" });`);
273
+ lines.push(` logger.error("circuit_breaker_open", { service: "${mod.name}" });`);
274
+ lines.push(` },`);
275
+ lines.push(` rollback: false,`);
276
+ lines.push(` },`);
277
+ }
278
+ }
279
+ // From events
280
+ for (const ev of system.events) {
281
+ lines.push(` {`);
282
+ lines.push(` id: "event_delivery_failure_${ev.name}",`);
283
+ lines.push(` condition: "Event not acknowledged within TTL",`);
284
+ lines.push(` detection: "Event age > ${ev.ttl_ms || "TTL"} ms",`);
285
+ lines.push(` remediation: async () => {`);
286
+ lines.push(` counter("event.delivery_failed", { event: "${ev.name}" });`);
287
+ lines.push(` logger.error("event_delivery_failed", { event: "${ev.name}", error_code: "DELIVERY_TIMEOUT" });`);
288
+ lines.push(` },`);
289
+ lines.push(` rollback: ${ev.delivery === "exactly_once" ? "true" : "false"},`);
290
+ lines.push(` },`);
291
+ }
292
+ // From flows
293
+ for (const flow of system.flows) {
294
+ for (const step of flow.steps) {
295
+ lines.push(` {`);
296
+ lines.push(` id: "flow_step_failure_${flow.name}_${step.name}",`);
297
+ lines.push(` condition: "Flow step failed after max retries",`);
298
+ lines.push(` detection: "Step returns error after retry policy exhausted",`);
299
+ lines.push(` remediation: async () => {`);
300
+ lines.push(` counter("flow.step_failed", { flow: "${flow.name}", step: "${step.name}" });`);
301
+ lines.push(` // Trigger compensation: ${step.compensation || "none"}`);
302
+ lines.push(` logger.error("flow_step_failed", { event: "${flow.name}.${step.name}", error_code: "STEP_FAILED" });`);
303
+ lines.push(` },`);
304
+ lines.push(` rollback: true,`);
305
+ lines.push(` },`);
306
+ }
307
+ }
308
+ lines.push(`];`);
309
+ lines.push(``);
310
+ lines.push(`export function findRule(id: string): FailureRule | undefined {`);
311
+ lines.push(` return RULES.find(r => r.id === id);`);
312
+ lines.push(`}`);
313
+ lines.push(``);
314
+ lines.push(`export async function triggerRule(id: string): Promise<void> {`);
315
+ lines.push(` const rule = findRule(id);`);
316
+ lines.push(` if (!rule) {`);
317
+ lines.push(` logger.warn("unknown_rule_triggered", { event: "rule_lookup", error_code: "UNKNOWN_RULE", metadata: { id } });`);
318
+ lines.push(` return;`);
319
+ lines.push(` }`);
320
+ lines.push(` try {`);
321
+ lines.push(` await rule.remediation();`);
322
+ lines.push(` } catch (e: any) {`);
323
+ lines.push(` logger.error("remediation_failed", { event: id, error_code: "REMEDIATION_FAILED", metadata: { error: e.message } });`);
324
+ lines.push(` }`);
325
+ lines.push(`}`);
326
+ return lines.join("\n");
327
+ }
328
+ exports.emitFailureRules = emitFailureRules;
329
+ // ─── Migration Diff Generator ────────────────────────────────────────────────
330
+ function emitMigrationDiff() {
331
+ return `// Generated by BoneScript compiler. DO NOT EDIT.
332
+ // Migration diff utility — compares two IR snapshots and produces ALTER statements.
333
+
334
+ import * as fs from "fs";
335
+
336
+ interface Field {
337
+ name: string;
338
+ type: string;
339
+ nullable: boolean;
340
+ }
341
+
342
+ interface Model {
343
+ name: string;
344
+ fields: Field[];
345
+ primary_key: string;
346
+ }
347
+
348
+ export function diffModels(oldModels: Model[], newModels: Model[]): string[] {
349
+ const statements: string[] = [];
350
+ const oldByName = new Map(oldModels.map(m => [m.name, m]));
351
+ const newByName = new Map(newModels.map(m => [m.name, m]));
352
+
353
+ // New tables
354
+ for (const [name, model] of newByName) {
355
+ if (!oldByName.has(name)) {
356
+ const tableName = toSnake(name) + "s";
357
+ statements.push(\`-- New table: \${tableName}\`);
358
+ statements.push(\`-- (Generated by previous migration)\`);
359
+ }
360
+ }
361
+
362
+ // Removed tables (warn but don't auto-drop)
363
+ for (const [name] of oldByName) {
364
+ if (!newByName.has(name)) {
365
+ const tableName = toSnake(name) + "s";
366
+ statements.push(\`-- WARNING: Table \${tableName} no longer in schema. Manual DROP required.\`);
367
+ }
368
+ }
369
+
370
+ // Modified tables
371
+ for (const [name, newModel] of newByName) {
372
+ const oldModel = oldByName.get(name);
373
+ if (!oldModel) continue;
374
+
375
+ const tableName = toSnake(name) + "s";
376
+ const oldFields = new Map(oldModel.fields.map(f => [f.name, f]));
377
+ const newFields = new Map(newModel.fields.map(f => [f.name, f]));
378
+
379
+ // New columns (backward-compatible)
380
+ for (const [fname, field] of newFields) {
381
+ if (!oldFields.has(fname)) {
382
+ const sqlType = mapType(field.type);
383
+ const nullability = field.nullable ? "" : " NOT NULL DEFAULT (CASE WHEN false THEN NULL ELSE NULL END)";
384
+ statements.push(\`ALTER TABLE \${tableName} ADD COLUMN \${fname} \${sqlType}\${nullability};\`);
385
+ }
386
+ }
387
+
388
+ // Removed columns (NOT auto-dropped — backward compat)
389
+ for (const [fname] of oldFields) {
390
+ if (!newFields.has(fname)) {
391
+ statements.push(\`-- WARNING: Column \${tableName}.\${fname} removed from schema. Run manually: ALTER TABLE \${tableName} DROP COLUMN \${fname};\`);
392
+ }
393
+ }
394
+
395
+ // Type changes
396
+ for (const [fname, newField] of newFields) {
397
+ const oldField = oldFields.get(fname);
398
+ if (!oldField) continue;
399
+ if (oldField.type !== newField.type) {
400
+ const sqlType = mapType(newField.type);
401
+ statements.push(\`ALTER TABLE \${tableName} ALTER COLUMN \${fname} TYPE \${sqlType};\`);
402
+ }
403
+ }
404
+ }
405
+
406
+ return statements;
407
+ }
408
+
409
+ function toSnake(s: string): string {
410
+ return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
411
+ }
412
+
413
+ function mapType(t: string): string {
414
+ const map: Record<string, string> = {
415
+ string: "VARCHAR", uint: "BIGINT", int: "BIGINT", float: "DOUBLE PRECISION",
416
+ bool: "BOOLEAN", timestamp: "TIMESTAMPTZ", uuid: "UUID", bytes: "BYTEA", json: "JSONB",
417
+ };
418
+ return map[t] || "JSONB";
419
+ }
420
+
421
+ if (require.main === module) {
422
+ const oldFile = process.argv[2];
423
+ const newFile = process.argv[3];
424
+ if (!oldFile || !newFile) {
425
+ console.error("Usage: node migration-diff.js <old-ir.json> <new-ir.json>");
426
+ process.exit(1);
427
+ }
428
+ const oldIR = JSON.parse(fs.readFileSync(oldFile, "utf-8"));
429
+ const newIR = JSON.parse(fs.readFileSync(newFile, "utf-8"));
430
+
431
+ const oldModels: Model[] = [];
432
+ const newModels: Model[] = [];
433
+ for (const sys of oldIR) for (const mod of sys.modules) for (const m of mod.models) oldModels.push(m);
434
+ for (const sys of newIR) for (const mod of sys.modules) for (const m of mod.models) newModels.push(m);
435
+
436
+ const diff = diffModels(oldModels, newModels);
437
+ console.log(diff.join("\\n"));
438
+ }
439
+ `;
440
+ }
441
+ exports.emitMigrationDiff = emitMigrationDiff;
442
+ //# sourceMappingURL=emit_maintenance.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"emit_maintenance.js","sourceRoot":"","sources":["../src/emit_maintenance.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAIH,0NAA0N;AAE1N,SAAgB,UAAU,CAAC,MAAmB;IAC5C,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sCAiE6B,MAAM,CAAC,IAAI;CAChD,CAAC;AACF,CAAC;AApED,gCAoEC;AAED,wNAAwN;AAExN,SAAgB,WAAW;IACzB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2ER,CAAC;AACF,CAAC;AA7ED,kCA6EC;AAED,4MAA4M;AAE5M,SAAgB,gBAAgB,CAAC,MAAmB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,+BAA+B;IAC/B,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,sCAAsC;IACtC,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,iBAAiB;IACjB,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACvE,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AA9DD,4CA8DC;AAED,4MAA4M;AAE5M,SAAgB,gBAAgB,CAAC,MAAmB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAEpD,sBAAsB;IACtB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,+BAA+B,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;YACnF,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,mDAAmD,EAAE,CAAC,MAAM,mCAAmC,CAAC,CAAC;YAC5G,KAAK,CAAC,IAAI,CAAC,iEAAiE,EAAE,CAAC,MAAM,yCAAyC,CAAC,CAAC;YAChI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YACtD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,+BAA+B,GAAG,CAAC,IAAI,OAAO,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;YAC3E,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,uDAAuD,GAAG,CAAC,IAAI,eAAe,MAAM,CAAC,IAAI,OAAO,CAAC,CAAC;YAC7G,KAAK,CAAC,IAAI,CAAC,sDAAsD,GAAG,CAAC,IAAI,eAAe,MAAM,CAAC,IAAI,OAAO,CAAC,CAAC;YAC5G,KAAK,CAAC,IAAI,CAAC,0DAA0D,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC;YACtF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,cAAc;IACd,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,mCAAmC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,+BAA+B,EAAE,CAAC,MAAM,IAAI,KAAK,OAAO,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,oDAAoD,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,yDAAyD,EAAE,CAAC,IAAI,uCAAuC,CAAC,CAAC;QACpH,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IAED,aAAa;IACb,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,8BAA8B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;YAChF,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,8CAA8C,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;YACjG,KAAK,CAAC,IAAI,CAAC,kCAAkC,IAAI,CAAC,YAAY,IAAI,MAAM,EAAE,CAAC,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,oDAAoD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,kCAAkC,CAAC,CAAC;YACzH,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,oHAAoH,CAAC,CAAC;IACjI,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,0HAA0H,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEhB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AA9GD,4CA8GC;AAED,sLAAsL;AAEtL,SAAgB,iBAAiB;IAC/B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4GR,CAAC;AACF,CAAC;AA9GD,8CA8GC"}
@@ -0,0 +1,13 @@
1
+ /**
2
+ * BoneScript Runtime Code Emitter
3
+ * Generates runnable service code from IR.
4
+ */
5
+ import * as IR from "./ir";
6
+ export declare function emitPackageJson(system: IR.IRSystem): string;
7
+ export declare function emitTsConfig(): string;
8
+ export declare function emitDbClient(system: IR.IRSystem): string;
9
+ export declare function emitAuthMiddleware(system: IR.IRSystem): string;
10
+ export declare function emitEntityRouter(mod: IR.IRModule, system: IR.IRSystem): string;
11
+ export declare function emitStateMachineRuntime(sm: IR.IRStateMachine): string;
12
+ export declare function emitIndex(system: IR.IRSystem): string;
13
+ export declare function emitMigration(system: IR.IRSystem, schemas: string[]): string;