bonescript-compiler 0.5.3 → 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 (194) 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 +134 -296
  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 +167 -165
  12. package/dist/emit_deploy.js.map +1 -1
  13. package/dist/emit_events.d.ts +0 -1
  14. package/dist/emit_events.js +275 -325
  15. package/dist/emit_events.js.map +1 -1
  16. package/dist/emit_extras.js +5 -3
  17. package/dist/emit_extras.js.map +1 -1
  18. package/dist/emit_full.js +112 -272
  19. package/dist/emit_full.js.map +1 -1
  20. package/dist/emit_maintenance.js +249 -249
  21. package/dist/emit_runtime.d.ts +11 -17
  22. package/dist/emit_runtime.js +688 -29
  23. package/dist/emit_runtime.js.map +1 -1
  24. package/dist/emit_sourcemap.js +66 -66
  25. package/dist/emit_tests.js +12 -47
  26. package/dist/emit_tests.js.map +1 -1
  27. package/dist/emit_websocket.js +3 -0
  28. package/dist/emit_websocket.js.map +1 -1
  29. package/dist/emitter.js +49 -94
  30. package/dist/emitter.js.map +1 -1
  31. package/dist/extension_manager.d.ts +2 -2
  32. package/dist/extension_manager.js +20 -9
  33. package/dist/extension_manager.js.map +1 -1
  34. package/dist/ir.d.ts +0 -4
  35. package/dist/lowering.d.ts +14 -5
  36. package/dist/lowering.js +417 -66
  37. package/dist/lowering.js.map +1 -1
  38. package/dist/module_loader.d.ts +2 -2
  39. package/dist/module_loader.js +23 -20
  40. package/dist/module_loader.js.map +1 -1
  41. package/dist/optimizer.js +3 -6
  42. package/dist/optimizer.js.map +1 -1
  43. package/dist/scaffold.d.ts +2 -2
  44. package/dist/scaffold.js +319 -315
  45. package/dist/scaffold.js.map +1 -1
  46. package/dist/solver.js +1 -1
  47. package/dist/solver.js.map +1 -1
  48. package/dist/source_map.js.map +1 -0
  49. package/dist/test.js.map +1 -0
  50. package/dist/test_typechecker.d.ts +5 -0
  51. package/dist/test_typechecker.js +126 -0
  52. package/dist/test_typechecker.js.map +1 -0
  53. package/dist/typechecker.d.ts +0 -7
  54. package/dist/typechecker.js +16 -103
  55. package/dist/typechecker.js.map +1 -1
  56. package/dist/verifier.d.ts +1 -5
  57. package/dist/verifier.js +38 -142
  58. package/dist/verifier.js.map +1 -1
  59. package/package.json +52 -62
  60. package/src/algorithm_catalog.ts +345 -345
  61. package/src/ast.d.ts +244 -0
  62. package/src/ast.ts +334 -334
  63. package/src/cli.ts +624 -98
  64. package/src/emit_batch.ts +140 -140
  65. package/src/emit_capability.ts +436 -613
  66. package/src/emit_composition.ts +196 -229
  67. package/src/emit_deploy.ts +190 -187
  68. package/src/emit_events.ts +307 -362
  69. package/src/emit_extras.ts +240 -237
  70. package/src/emit_full.ts +309 -472
  71. package/src/emit_maintenance.ts +459 -459
  72. package/src/emit_runtime.ts +730 -17
  73. package/src/emit_sourcemap.ts +140 -140
  74. package/src/emit_tests.ts +205 -243
  75. package/src/emit_websocket.ts +229 -226
  76. package/src/emitter.ts +578 -626
  77. package/src/extension_manager.ts +187 -177
  78. package/src/formatter.ts +297 -297
  79. package/src/index.ts +88 -88
  80. package/src/ir.ts +215 -216
  81. package/src/lexer.d.ts +195 -0
  82. package/src/lexer.ts +630 -630
  83. package/src/lowering.ts +556 -168
  84. package/src/module_loader.ts +114 -112
  85. package/src/optimizer.ts +196 -199
  86. package/src/parse_decls.d.ts +13 -0
  87. package/src/parse_decls.ts +409 -409
  88. package/src/parse_decls2.d.ts +13 -0
  89. package/src/parse_decls2.ts +244 -244
  90. package/src/parse_expr.d.ts +7 -0
  91. package/src/parse_expr.ts +197 -197
  92. package/src/parse_types.d.ts +6 -0
  93. package/src/parse_types.ts +54 -54
  94. package/src/parser.d.ts +10 -0
  95. package/src/parser.ts +1 -1
  96. package/src/parser_base.d.ts +19 -0
  97. package/src/parser_base.ts +57 -57
  98. package/src/parser_recovery.ts +153 -153
  99. package/src/scaffold.ts +375 -371
  100. package/src/solver.ts +330 -330
  101. package/src/typechecker.d.ts +52 -0
  102. package/src/typechecker.ts +591 -700
  103. package/src/types.d.ts +38 -0
  104. package/src/types.ts +122 -122
  105. package/src/verifier.ts +49 -154
  106. package/README.md +0 -382
  107. package/dist/commands/check.d.ts +0 -5
  108. package/dist/commands/check.js +0 -34
  109. package/dist/commands/check.js.map +0 -1
  110. package/dist/commands/compile.d.ts +0 -5
  111. package/dist/commands/compile.js +0 -215
  112. package/dist/commands/compile.js.map +0 -1
  113. package/dist/commands/debug.d.ts +0 -5
  114. package/dist/commands/debug.js +0 -59
  115. package/dist/commands/debug.js.map +0 -1
  116. package/dist/commands/diff.d.ts +0 -5
  117. package/dist/commands/diff.js +0 -123
  118. package/dist/commands/diff.js.map +0 -1
  119. package/dist/commands/fmt.d.ts +0 -5
  120. package/dist/commands/fmt.js +0 -49
  121. package/dist/commands/fmt.js.map +0 -1
  122. package/dist/commands/init.d.ts +0 -5
  123. package/dist/commands/init.js +0 -96
  124. package/dist/commands/init.js.map +0 -1
  125. package/dist/commands/ir.d.ts +0 -5
  126. package/dist/commands/ir.js +0 -27
  127. package/dist/commands/ir.js.map +0 -1
  128. package/dist/commands/lex.d.ts +0 -5
  129. package/dist/commands/lex.js +0 -21
  130. package/dist/commands/lex.js.map +0 -1
  131. package/dist/commands/parse.d.ts +0 -5
  132. package/dist/commands/parse.js +0 -30
  133. package/dist/commands/parse.js.map +0 -1
  134. package/dist/commands/test.d.ts +0 -5
  135. package/dist/commands/test.js +0 -61
  136. package/dist/commands/test.js.map +0 -1
  137. package/dist/commands/verify_determinism.d.ts +0 -5
  138. package/dist/commands/verify_determinism.js +0 -64
  139. package/dist/commands/verify_determinism.js.map +0 -1
  140. package/dist/commands/watch.d.ts +0 -5
  141. package/dist/commands/watch.js +0 -50
  142. package/dist/commands/watch.js.map +0 -1
  143. package/dist/emit_auth.d.ts +0 -18
  144. package/dist/emit_auth.js +0 -507
  145. package/dist/emit_auth.js.map +0 -1
  146. package/dist/emit_database.d.ts +0 -7
  147. package/dist/emit_database.js +0 -72
  148. package/dist/emit_database.js.map +0 -1
  149. package/dist/emit_index.d.ts +0 -6
  150. package/dist/emit_index.js +0 -202
  151. package/dist/emit_index.js.map +0 -1
  152. package/dist/emit_models.d.ts +0 -12
  153. package/dist/emit_models.js +0 -171
  154. package/dist/emit_models.js.map +0 -1
  155. package/dist/emit_openapi.d.ts +0 -9
  156. package/dist/emit_openapi.js +0 -306
  157. package/dist/emit_openapi.js.map +0 -1
  158. package/dist/emit_package.d.ts +0 -7
  159. package/dist/emit_package.js +0 -68
  160. package/dist/emit_package.js.map +0 -1
  161. package/dist/emit_router.d.ts +0 -12
  162. package/dist/emit_router.js +0 -389
  163. package/dist/emit_router.js.map +0 -1
  164. package/dist/lowering_channels.d.ts +0 -11
  165. package/dist/lowering_channels.js +0 -103
  166. package/dist/lowering_channels.js.map +0 -1
  167. package/dist/lowering_entities.d.ts +0 -11
  168. package/dist/lowering_entities.js +0 -232
  169. package/dist/lowering_entities.js.map +0 -1
  170. package/dist/lowering_helpers.d.ts +0 -13
  171. package/dist/lowering_helpers.js +0 -76
  172. package/dist/lowering_helpers.js.map +0 -1
  173. package/src/commands/check.ts +0 -33
  174. package/src/commands/compile.ts +0 -191
  175. package/src/commands/debug.ts +0 -33
  176. package/src/commands/diff.ts +0 -105
  177. package/src/commands/fmt.ts +0 -22
  178. package/src/commands/init.ts +0 -72
  179. package/src/commands/ir.ts +0 -23
  180. package/src/commands/lex.ts +0 -17
  181. package/src/commands/parse.ts +0 -24
  182. package/src/commands/test.ts +0 -36
  183. package/src/commands/verify_determinism.ts +0 -66
  184. package/src/commands/watch.ts +0 -25
  185. package/src/emit_auth.ts +0 -513
  186. package/src/emit_database.ts +0 -72
  187. package/src/emit_index.ts +0 -210
  188. package/src/emit_models.ts +0 -176
  189. package/src/emit_openapi.ts +0 -315
  190. package/src/emit_package.ts +0 -66
  191. package/src/emit_router.ts +0 -408
  192. package/src/lowering_channels.ts +0 -108
  193. package/src/lowering_entities.ts +0 -258
  194. 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;