bonescript-compiler 0.2.1 → 0.4.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 (167) hide show
  1. package/LICENSE +21 -21
  2. package/dist/algorithm_catalog.js +166 -166
  3. package/dist/cli.d.ts +2 -1
  4. package/dist/cli.js +75 -543
  5. package/dist/cli.js.map +1 -1
  6. package/dist/commands/check.d.ts +5 -0
  7. package/dist/commands/check.js +34 -0
  8. package/dist/commands/check.js.map +1 -0
  9. package/dist/commands/compile.d.ts +5 -0
  10. package/dist/commands/compile.js +215 -0
  11. package/dist/commands/compile.js.map +1 -0
  12. package/dist/commands/debug.d.ts +5 -0
  13. package/dist/commands/debug.js +59 -0
  14. package/dist/commands/debug.js.map +1 -0
  15. package/dist/commands/diff.d.ts +5 -0
  16. package/dist/commands/diff.js +125 -0
  17. package/dist/commands/diff.js.map +1 -0
  18. package/dist/commands/fmt.d.ts +5 -0
  19. package/dist/commands/fmt.js +49 -0
  20. package/dist/commands/fmt.js.map +1 -0
  21. package/dist/commands/init.d.ts +5 -0
  22. package/dist/commands/init.js +96 -0
  23. package/dist/commands/init.js.map +1 -0
  24. package/dist/commands/ir.d.ts +5 -0
  25. package/dist/commands/ir.js +27 -0
  26. package/dist/commands/ir.js.map +1 -0
  27. package/dist/commands/lex.d.ts +5 -0
  28. package/dist/commands/lex.js +21 -0
  29. package/dist/commands/lex.js.map +1 -0
  30. package/dist/commands/parse.d.ts +5 -0
  31. package/dist/commands/parse.js +30 -0
  32. package/dist/commands/parse.js.map +1 -0
  33. package/dist/commands/test.d.ts +5 -0
  34. package/dist/commands/test.js +61 -0
  35. package/dist/commands/test.js.map +1 -0
  36. package/dist/commands/verify_determinism.d.ts +5 -0
  37. package/dist/commands/verify_determinism.js +64 -0
  38. package/dist/commands/verify_determinism.js.map +1 -0
  39. package/dist/commands/watch.d.ts +5 -0
  40. package/dist/commands/watch.js +50 -0
  41. package/dist/commands/watch.js.map +1 -0
  42. package/dist/emit_auth.d.ts +6 -0
  43. package/dist/emit_auth.js +69 -0
  44. package/dist/emit_auth.js.map +1 -0
  45. package/dist/emit_capability.d.ts +13 -0
  46. package/dist/emit_capability.js +292 -128
  47. package/dist/emit_capability.js.map +1 -1
  48. package/dist/emit_composition.js +37 -3
  49. package/dist/emit_composition.js.map +1 -1
  50. package/dist/emit_database.d.ts +7 -0
  51. package/dist/emit_database.js +74 -0
  52. package/dist/emit_database.js.map +1 -0
  53. package/dist/emit_deploy.js +162 -162
  54. package/dist/emit_events.d.ts +1 -0
  55. package/dist/emit_events.js +342 -275
  56. package/dist/emit_events.js.map +1 -1
  57. package/dist/emit_full.js +135 -95
  58. package/dist/emit_full.js.map +1 -1
  59. package/dist/emit_index.d.ts +6 -0
  60. package/dist/emit_index.js +157 -0
  61. package/dist/emit_index.js.map +1 -0
  62. package/dist/emit_maintenance.js +249 -249
  63. package/dist/emit_models.d.ts +12 -0
  64. package/dist/emit_models.js +171 -0
  65. package/dist/emit_models.js.map +1 -0
  66. package/dist/emit_openapi.d.ts +9 -0
  67. package/dist/emit_openapi.js +308 -0
  68. package/dist/emit_openapi.js.map +1 -0
  69. package/dist/emit_package.d.ts +7 -0
  70. package/dist/emit_package.js +70 -0
  71. package/dist/emit_package.js.map +1 -0
  72. package/dist/emit_router.d.ts +12 -0
  73. package/dist/emit_router.js +390 -0
  74. package/dist/emit_router.js.map +1 -0
  75. package/dist/emit_runtime.d.ts +17 -11
  76. package/dist/emit_runtime.js +29 -686
  77. package/dist/emit_runtime.js.map +1 -1
  78. package/dist/emit_sourcemap.js +66 -66
  79. package/dist/emit_tests.js +37 -0
  80. package/dist/emit_tests.js.map +1 -1
  81. package/dist/emitter.js +34 -5
  82. package/dist/emitter.js.map +1 -1
  83. package/dist/extension_manager.d.ts +2 -2
  84. package/dist/extension_manager.js +6 -3
  85. package/dist/extension_manager.js.map +1 -1
  86. package/dist/lowering.d.ts +5 -14
  87. package/dist/lowering.js +47 -417
  88. package/dist/lowering.js.map +1 -1
  89. package/dist/lowering_channels.d.ts +11 -0
  90. package/dist/lowering_channels.js +102 -0
  91. package/dist/lowering_channels.js.map +1 -0
  92. package/dist/lowering_entities.d.ts +11 -0
  93. package/dist/lowering_entities.js +222 -0
  94. package/dist/lowering_entities.js.map +1 -0
  95. package/dist/lowering_helpers.d.ts +13 -0
  96. package/dist/lowering_helpers.js +76 -0
  97. package/dist/lowering_helpers.js.map +1 -0
  98. package/dist/module_loader.d.ts +2 -2
  99. package/dist/module_loader.js +20 -23
  100. package/dist/module_loader.js.map +1 -1
  101. package/dist/scaffold.d.ts +2 -2
  102. package/dist/scaffold.js +316 -319
  103. package/dist/scaffold.js.map +1 -1
  104. package/dist/typechecker.js +32 -13
  105. package/dist/typechecker.js.map +1 -1
  106. package/dist/verifier.d.ts +5 -0
  107. package/dist/verifier.js +140 -2
  108. package/dist/verifier.js.map +1 -1
  109. package/package.json +62 -52
  110. package/src/algorithm_catalog.ts +345 -345
  111. package/src/ast.ts +334 -334
  112. package/src/cli.ts +98 -624
  113. package/src/commands/check.ts +33 -0
  114. package/src/commands/compile.ts +191 -0
  115. package/src/commands/debug.ts +33 -0
  116. package/src/commands/diff.ts +108 -0
  117. package/src/commands/fmt.ts +22 -0
  118. package/src/commands/init.ts +72 -0
  119. package/src/commands/ir.ts +23 -0
  120. package/src/commands/lex.ts +17 -0
  121. package/src/commands/parse.ts +24 -0
  122. package/src/commands/test.ts +36 -0
  123. package/src/commands/verify_determinism.ts +66 -0
  124. package/src/commands/watch.ts +25 -0
  125. package/src/emit_auth.ts +67 -0
  126. package/src/emit_batch.ts +140 -140
  127. package/src/emit_capability.ts +617 -436
  128. package/src/emit_composition.ts +229 -196
  129. package/src/emit_database.ts +75 -0
  130. package/src/emit_deploy.ts +190 -190
  131. package/src/emit_events.ts +377 -307
  132. package/src/emit_extras.ts +240 -240
  133. package/src/emit_full.ts +351 -309
  134. package/src/emit_index.ts +161 -0
  135. package/src/emit_maintenance.ts +459 -459
  136. package/src/emit_models.ts +176 -0
  137. package/src/emit_openapi.ts +318 -0
  138. package/src/emit_package.ts +69 -0
  139. package/src/emit_router.ts +409 -0
  140. package/src/emit_runtime.ts +17 -728
  141. package/src/emit_sourcemap.ts +140 -140
  142. package/src/emit_tests.ts +246 -205
  143. package/src/emit_websocket.ts +229 -229
  144. package/src/emitter.ts +31 -5
  145. package/src/extension_manager.ts +189 -187
  146. package/src/formatter.ts +297 -297
  147. package/src/index.ts +88 -88
  148. package/src/ir.ts +215 -215
  149. package/src/lexer.ts +630 -630
  150. package/src/lowering.ts +142 -556
  151. package/src/lowering_channels.ts +107 -0
  152. package/src/lowering_entities.ts +248 -0
  153. package/src/lowering_helpers.ts +75 -0
  154. package/src/module_loader.ts +112 -114
  155. package/src/optimizer.ts +196 -196
  156. package/src/parse_decls.ts +409 -409
  157. package/src/parse_decls2.ts +244 -244
  158. package/src/parse_expr.ts +197 -197
  159. package/src/parse_types.ts +54 -54
  160. package/src/parser.ts +1 -1
  161. package/src/parser_base.ts +57 -57
  162. package/src/parser_recovery.ts +153 -153
  163. package/src/scaffold.ts +372 -375
  164. package/src/solver.ts +330 -330
  165. package/src/typechecker.ts +30 -15
  166. package/src/types.ts +122 -122
  167. package/src/verifier.ts +151 -4
@@ -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;
@@ -0,0 +1,12 @@
1
+ /**
2
+ * BoneScript Model Emitter
3
+ * Generates per-model TypeScript artifacts as specified in spec/09_CODEGEN.md §5.1:
4
+ * - XxxInterface — typed interface
5
+ * - XxxSchema — const with field metadata (type, nullable, unique, indexed)
6
+ * - validateXxx() — runtime validation function derived from IR constraints
7
+ *
8
+ * These are emitted to src/models/<entity_name>.ts
9
+ */
10
+ import * as IR from "./ir";
11
+ export declare function emitModelFile(model: IR.IRModel, mod: IR.IRModule, system: IR.IRSystem): string;
12
+ export declare function emitModelsIndex(system: IR.IRSystem): string;