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.
Files changed (187) hide show
  1. package/LICENSE +21 -21
  2. package/dist/algorithm_catalog.js +166 -166
  3. package/dist/cli.d.ts +1 -2
  4. package/dist/cli.js +543 -75
  5. package/dist/cli.js.map +1 -1
  6. package/dist/emit_capability.d.ts +0 -13
  7. package/dist/emit_capability.js +128 -292
  8. package/dist/emit_capability.js.map +1 -1
  9. package/dist/emit_composition.js +3 -37
  10. package/dist/emit_composition.js.map +1 -1
  11. package/dist/emit_deploy.js +162 -162
  12. package/dist/emit_events.d.ts +0 -1
  13. package/dist/emit_events.js +275 -342
  14. package/dist/emit_events.js.map +1 -1
  15. package/dist/emit_full.js +106 -268
  16. package/dist/emit_full.js.map +1 -1
  17. package/dist/emit_maintenance.js +249 -249
  18. package/dist/emit_runtime.d.ts +11 -17
  19. package/dist/emit_runtime.js +688 -29
  20. package/dist/emit_runtime.js.map +1 -1
  21. package/dist/emit_sourcemap.js +66 -66
  22. package/dist/emit_tests.js +0 -37
  23. package/dist/emit_tests.js.map +1 -1
  24. package/dist/emitter.js +16 -82
  25. package/dist/emitter.js.map +1 -1
  26. package/dist/extension_manager.d.ts +2 -2
  27. package/dist/extension_manager.js +3 -6
  28. package/dist/extension_manager.js.map +1 -1
  29. package/dist/ir.d.ts +0 -4
  30. package/dist/lowering.d.ts +14 -5
  31. package/dist/lowering.js +417 -66
  32. package/dist/lowering.js.map +1 -1
  33. package/dist/module_loader.d.ts +2 -2
  34. package/dist/module_loader.js +23 -20
  35. package/dist/module_loader.js.map +1 -1
  36. package/dist/optimizer.js +1 -1
  37. package/dist/optimizer.js.map +1 -1
  38. package/dist/scaffold.d.ts +2 -2
  39. package/dist/scaffold.js +319 -315
  40. package/dist/scaffold.js.map +1 -1
  41. package/dist/source_map.js.map +1 -0
  42. package/dist/test.js.map +1 -0
  43. package/dist/test_typechecker.d.ts +5 -0
  44. package/dist/test_typechecker.js +126 -0
  45. package/dist/test_typechecker.js.map +1 -0
  46. package/dist/typechecker.d.ts +0 -5
  47. package/dist/typechecker.js +13 -68
  48. package/dist/typechecker.js.map +1 -1
  49. package/dist/verifier.d.ts +1 -5
  50. package/dist/verifier.js +35 -140
  51. package/dist/verifier.js.map +1 -1
  52. package/package.json +52 -62
  53. package/src/algorithm_catalog.ts +345 -345
  54. package/src/ast.d.ts +244 -0
  55. package/src/ast.ts +334 -334
  56. package/src/cli.ts +624 -98
  57. package/src/emit_batch.ts +140 -140
  58. package/src/emit_capability.ts +436 -617
  59. package/src/emit_composition.ts +196 -229
  60. package/src/emit_deploy.ts +190 -190
  61. package/src/emit_events.ts +307 -377
  62. package/src/emit_extras.ts +240 -240
  63. package/src/emit_full.ts +309 -475
  64. package/src/emit_maintenance.ts +459 -459
  65. package/src/emit_runtime.ts +730 -17
  66. package/src/emit_sourcemap.ts +140 -140
  67. package/src/emit_tests.ts +205 -246
  68. package/src/emit_websocket.ts +229 -229
  69. package/src/emitter.ts +578 -642
  70. package/src/extension_manager.ts +187 -189
  71. package/src/formatter.ts +297 -297
  72. package/src/index.ts +88 -88
  73. package/src/ir.ts +215 -216
  74. package/src/lexer.d.ts +195 -0
  75. package/src/lexer.ts +630 -630
  76. package/src/lowering.ts +556 -168
  77. package/src/module_loader.ts +114 -112
  78. package/src/optimizer.ts +196 -196
  79. package/src/parse_decls.d.ts +13 -0
  80. package/src/parse_decls.ts +409 -409
  81. package/src/parse_decls2.d.ts +13 -0
  82. package/src/parse_decls2.ts +244 -244
  83. package/src/parse_expr.d.ts +7 -0
  84. package/src/parse_expr.ts +197 -197
  85. package/src/parse_types.d.ts +6 -0
  86. package/src/parse_types.ts +54 -54
  87. package/src/parser.d.ts +10 -0
  88. package/src/parser.ts +1 -1
  89. package/src/parser_base.d.ts +19 -0
  90. package/src/parser_base.ts +57 -57
  91. package/src/parser_recovery.ts +153 -153
  92. package/src/scaffold.ts +375 -371
  93. package/src/solver.ts +330 -330
  94. package/src/typechecker.d.ts +52 -0
  95. package/src/typechecker.ts +591 -657
  96. package/src/types.d.ts +38 -0
  97. package/src/types.ts +122 -122
  98. package/src/verifier.ts +46 -152
  99. package/README.md +0 -382
  100. package/dist/commands/check.d.ts +0 -5
  101. package/dist/commands/check.js +0 -34
  102. package/dist/commands/check.js.map +0 -1
  103. package/dist/commands/compile.d.ts +0 -5
  104. package/dist/commands/compile.js +0 -215
  105. package/dist/commands/compile.js.map +0 -1
  106. package/dist/commands/debug.d.ts +0 -5
  107. package/dist/commands/debug.js +0 -59
  108. package/dist/commands/debug.js.map +0 -1
  109. package/dist/commands/diff.d.ts +0 -5
  110. package/dist/commands/diff.js +0 -125
  111. package/dist/commands/diff.js.map +0 -1
  112. package/dist/commands/fmt.d.ts +0 -5
  113. package/dist/commands/fmt.js +0 -49
  114. package/dist/commands/fmt.js.map +0 -1
  115. package/dist/commands/init.d.ts +0 -5
  116. package/dist/commands/init.js +0 -96
  117. package/dist/commands/init.js.map +0 -1
  118. package/dist/commands/ir.d.ts +0 -5
  119. package/dist/commands/ir.js +0 -27
  120. package/dist/commands/ir.js.map +0 -1
  121. package/dist/commands/lex.d.ts +0 -5
  122. package/dist/commands/lex.js +0 -21
  123. package/dist/commands/lex.js.map +0 -1
  124. package/dist/commands/parse.d.ts +0 -5
  125. package/dist/commands/parse.js +0 -30
  126. package/dist/commands/parse.js.map +0 -1
  127. package/dist/commands/test.d.ts +0 -5
  128. package/dist/commands/test.js +0 -61
  129. package/dist/commands/test.js.map +0 -1
  130. package/dist/commands/verify_determinism.d.ts +0 -5
  131. package/dist/commands/verify_determinism.js +0 -64
  132. package/dist/commands/verify_determinism.js.map +0 -1
  133. package/dist/commands/watch.d.ts +0 -5
  134. package/dist/commands/watch.js +0 -50
  135. package/dist/commands/watch.js.map +0 -1
  136. package/dist/emit_auth.d.ts +0 -18
  137. package/dist/emit_auth.js +0 -507
  138. package/dist/emit_auth.js.map +0 -1
  139. package/dist/emit_database.d.ts +0 -7
  140. package/dist/emit_database.js +0 -74
  141. package/dist/emit_database.js.map +0 -1
  142. package/dist/emit_index.d.ts +0 -6
  143. package/dist/emit_index.js +0 -202
  144. package/dist/emit_index.js.map +0 -1
  145. package/dist/emit_models.d.ts +0 -12
  146. package/dist/emit_models.js +0 -171
  147. package/dist/emit_models.js.map +0 -1
  148. package/dist/emit_openapi.d.ts +0 -9
  149. package/dist/emit_openapi.js +0 -308
  150. package/dist/emit_openapi.js.map +0 -1
  151. package/dist/emit_package.d.ts +0 -7
  152. package/dist/emit_package.js +0 -70
  153. package/dist/emit_package.js.map +0 -1
  154. package/dist/emit_router.d.ts +0 -12
  155. package/dist/emit_router.js +0 -390
  156. package/dist/emit_router.js.map +0 -1
  157. package/dist/lowering_channels.d.ts +0 -11
  158. package/dist/lowering_channels.js +0 -103
  159. package/dist/lowering_channels.js.map +0 -1
  160. package/dist/lowering_entities.d.ts +0 -11
  161. package/dist/lowering_entities.js +0 -232
  162. package/dist/lowering_entities.js.map +0 -1
  163. package/dist/lowering_helpers.d.ts +0 -13
  164. package/dist/lowering_helpers.js +0 -76
  165. package/dist/lowering_helpers.js.map +0 -1
  166. package/src/commands/check.ts +0 -33
  167. package/src/commands/compile.ts +0 -191
  168. package/src/commands/debug.ts +0 -33
  169. package/src/commands/diff.ts +0 -108
  170. package/src/commands/fmt.ts +0 -22
  171. package/src/commands/init.ts +0 -72
  172. package/src/commands/ir.ts +0 -23
  173. package/src/commands/lex.ts +0 -17
  174. package/src/commands/parse.ts +0 -24
  175. package/src/commands/test.ts +0 -36
  176. package/src/commands/verify_determinism.ts +0 -66
  177. package/src/commands/watch.ts +0 -25
  178. package/src/emit_auth.ts +0 -513
  179. package/src/emit_database.ts +0 -75
  180. package/src/emit_index.ts +0 -210
  181. package/src/emit_models.ts +0 -176
  182. package/src/emit_openapi.ts +0 -318
  183. package/src/emit_package.ts +0 -69
  184. package/src/emit_router.ts +0 -409
  185. package/src/lowering_channels.ts +0 -108
  186. package/src/lowering_entities.ts +0 -258
  187. package/src/lowering_helpers.ts +0 -75
@@ -13,152 +13,152 @@ Object.defineProperty(exports, "__esModule", { value: true });
13
13
  exports.emitMigrationDiff = exports.emitFailureRules = exports.emitHealthChecks = exports.emitMetrics = exports.emitLogger = void 0;
14
14
  // ─── Logger ──────────────────────────────────────────────────────────────────
15
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}");
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
82
  `;
83
83
  }
84
84
  exports.emitLogger = emitLogger;
85
85
  // ─── Metrics ─────────────────────────────────────────────────────────────────
86
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
- }
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
162
  `;
163
163
  }
164
164
  exports.emitMetrics = emitMetrics;
@@ -328,114 +328,114 @@ function emitFailureRules(system) {
328
328
  exports.emitFailureRules = emitFailureRules;
329
329
  // ─── Migration Diff Generator ────────────────────────────────────────────────
330
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
- }
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
439
  `;
440
440
  }
441
441
  exports.emitMigrationDiff = emitMigrationDiff;
@@ -1,19 +1,13 @@
1
1
  /**
2
- * BoneScript Runtime Emitter — barrel re-export.
3
- *
4
- * This file previously contained all runtime code generation in one place.
5
- * It has been split into focused modules:
6
- *
7
- * emit_package.ts — emitPackageJson, emitTsConfig
8
- * emit_database.ts — emitDbClient, emitMigration
9
- * emit_auth.ts — emitAuthMiddleware
10
- * emit_router.ts — emitEntityRouter, emitCapabilityEndpoint, emitStateMachineRuntime
11
- * emit_index.ts — emitIndex (Express server entry point)
12
- *
13
- * All exports are re-exported here so existing imports continue to work.
2
+ * BoneScript Runtime Code Emitter
3
+ * Generates runnable service code from IR.
14
4
  */
15
- export { emitPackageJson, emitTsConfig } from "./emit_package";
16
- export { emitDbClient, emitMigration } from "./emit_database";
17
- export { emitAuthMiddleware } from "./emit_auth";
18
- export { emitEntityRouter, emitStateMachineRuntime, toSnakeCase, toCamelCase, toTsType } from "./emit_router";
19
- export { emitIndex } from "./emit_index";
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;