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.
- package/LICENSE +21 -21
- package/dist/algorithm_catalog.js +166 -166
- package/dist/cli.d.ts +2 -1
- package/dist/cli.js +75 -543
- package/dist/cli.js.map +1 -1
- package/dist/commands/check.d.ts +5 -0
- package/dist/commands/check.js +34 -0
- package/dist/commands/check.js.map +1 -0
- package/dist/commands/compile.d.ts +5 -0
- package/dist/commands/compile.js +215 -0
- package/dist/commands/compile.js.map +1 -0
- package/dist/commands/debug.d.ts +5 -0
- package/dist/commands/debug.js +59 -0
- package/dist/commands/debug.js.map +1 -0
- package/dist/commands/diff.d.ts +5 -0
- package/dist/commands/diff.js +125 -0
- package/dist/commands/diff.js.map +1 -0
- package/dist/commands/fmt.d.ts +5 -0
- package/dist/commands/fmt.js +49 -0
- package/dist/commands/fmt.js.map +1 -0
- package/dist/commands/init.d.ts +5 -0
- package/dist/commands/init.js +96 -0
- package/dist/commands/init.js.map +1 -0
- package/dist/commands/ir.d.ts +5 -0
- package/dist/commands/ir.js +27 -0
- package/dist/commands/ir.js.map +1 -0
- package/dist/commands/lex.d.ts +5 -0
- package/dist/commands/lex.js +21 -0
- package/dist/commands/lex.js.map +1 -0
- package/dist/commands/parse.d.ts +5 -0
- package/dist/commands/parse.js +30 -0
- package/dist/commands/parse.js.map +1 -0
- package/dist/commands/test.d.ts +5 -0
- package/dist/commands/test.js +61 -0
- package/dist/commands/test.js.map +1 -0
- package/dist/commands/verify_determinism.d.ts +5 -0
- package/dist/commands/verify_determinism.js +64 -0
- package/dist/commands/verify_determinism.js.map +1 -0
- package/dist/commands/watch.d.ts +5 -0
- package/dist/commands/watch.js +50 -0
- package/dist/commands/watch.js.map +1 -0
- package/dist/emit_auth.d.ts +6 -0
- package/dist/emit_auth.js +69 -0
- package/dist/emit_auth.js.map +1 -0
- package/dist/emit_capability.d.ts +13 -0
- package/dist/emit_capability.js +292 -128
- package/dist/emit_capability.js.map +1 -1
- package/dist/emit_composition.js +37 -3
- package/dist/emit_composition.js.map +1 -1
- package/dist/emit_database.d.ts +7 -0
- package/dist/emit_database.js +74 -0
- package/dist/emit_database.js.map +1 -0
- package/dist/emit_deploy.js +162 -162
- package/dist/emit_events.d.ts +1 -0
- package/dist/emit_events.js +342 -275
- package/dist/emit_events.js.map +1 -1
- package/dist/emit_full.js +135 -95
- package/dist/emit_full.js.map +1 -1
- package/dist/emit_index.d.ts +6 -0
- package/dist/emit_index.js +157 -0
- package/dist/emit_index.js.map +1 -0
- package/dist/emit_maintenance.js +249 -249
- package/dist/emit_models.d.ts +12 -0
- package/dist/emit_models.js +171 -0
- package/dist/emit_models.js.map +1 -0
- package/dist/emit_openapi.d.ts +9 -0
- package/dist/emit_openapi.js +308 -0
- package/dist/emit_openapi.js.map +1 -0
- package/dist/emit_package.d.ts +7 -0
- package/dist/emit_package.js +70 -0
- package/dist/emit_package.js.map +1 -0
- package/dist/emit_router.d.ts +12 -0
- package/dist/emit_router.js +390 -0
- package/dist/emit_router.js.map +1 -0
- package/dist/emit_runtime.d.ts +17 -11
- package/dist/emit_runtime.js +29 -686
- package/dist/emit_runtime.js.map +1 -1
- package/dist/emit_sourcemap.js +66 -66
- package/dist/emit_tests.js +37 -0
- package/dist/emit_tests.js.map +1 -1
- package/dist/emitter.js +34 -5
- package/dist/emitter.js.map +1 -1
- package/dist/extension_manager.d.ts +2 -2
- package/dist/extension_manager.js +6 -3
- package/dist/extension_manager.js.map +1 -1
- package/dist/lowering.d.ts +5 -14
- package/dist/lowering.js +47 -417
- package/dist/lowering.js.map +1 -1
- package/dist/lowering_channels.d.ts +11 -0
- package/dist/lowering_channels.js +102 -0
- package/dist/lowering_channels.js.map +1 -0
- package/dist/lowering_entities.d.ts +11 -0
- package/dist/lowering_entities.js +222 -0
- package/dist/lowering_entities.js.map +1 -0
- package/dist/lowering_helpers.d.ts +13 -0
- package/dist/lowering_helpers.js +76 -0
- package/dist/lowering_helpers.js.map +1 -0
- package/dist/module_loader.d.ts +2 -2
- package/dist/module_loader.js +20 -23
- package/dist/module_loader.js.map +1 -1
- package/dist/scaffold.d.ts +2 -2
- package/dist/scaffold.js +316 -319
- package/dist/scaffold.js.map +1 -1
- package/dist/typechecker.js +32 -13
- package/dist/typechecker.js.map +1 -1
- package/dist/verifier.d.ts +5 -0
- package/dist/verifier.js +140 -2
- package/dist/verifier.js.map +1 -1
- package/package.json +62 -52
- package/src/algorithm_catalog.ts +345 -345
- package/src/ast.ts +334 -334
- package/src/cli.ts +98 -624
- package/src/commands/check.ts +33 -0
- package/src/commands/compile.ts +191 -0
- package/src/commands/debug.ts +33 -0
- package/src/commands/diff.ts +108 -0
- package/src/commands/fmt.ts +22 -0
- package/src/commands/init.ts +72 -0
- package/src/commands/ir.ts +23 -0
- package/src/commands/lex.ts +17 -0
- package/src/commands/parse.ts +24 -0
- package/src/commands/test.ts +36 -0
- package/src/commands/verify_determinism.ts +66 -0
- package/src/commands/watch.ts +25 -0
- package/src/emit_auth.ts +67 -0
- package/src/emit_batch.ts +140 -140
- package/src/emit_capability.ts +617 -436
- package/src/emit_composition.ts +229 -196
- package/src/emit_database.ts +75 -0
- package/src/emit_deploy.ts +190 -190
- package/src/emit_events.ts +377 -307
- package/src/emit_extras.ts +240 -240
- package/src/emit_full.ts +351 -309
- package/src/emit_index.ts +161 -0
- package/src/emit_maintenance.ts +459 -459
- package/src/emit_models.ts +176 -0
- package/src/emit_openapi.ts +318 -0
- package/src/emit_package.ts +69 -0
- package/src/emit_router.ts +409 -0
- package/src/emit_runtime.ts +17 -728
- package/src/emit_sourcemap.ts +140 -140
- package/src/emit_tests.ts +246 -205
- package/src/emit_websocket.ts +229 -229
- package/src/emitter.ts +31 -5
- package/src/extension_manager.ts +189 -187
- package/src/formatter.ts +297 -297
- package/src/index.ts +88 -88
- package/src/ir.ts +215 -215
- package/src/lexer.ts +630 -630
- package/src/lowering.ts +142 -556
- package/src/lowering_channels.ts +107 -0
- package/src/lowering_entities.ts +248 -0
- package/src/lowering_helpers.ts +75 -0
- package/src/module_loader.ts +112 -114
- package/src/optimizer.ts +196 -196
- package/src/parse_decls.ts +409 -409
- package/src/parse_decls2.ts +244 -244
- package/src/parse_expr.ts +197 -197
- package/src/parse_types.ts +54 -54
- package/src/parser.ts +1 -1
- package/src/parser_base.ts +57 -57
- package/src/parser_recovery.ts +153 -153
- package/src/scaffold.ts +372 -375
- package/src/solver.ts +330 -330
- package/src/typechecker.ts +30 -15
- package/src/types.ts +122 -122
- package/src/verifier.ts +151 -4
package/dist/emit_maintenance.js
CHANGED
|
@@ -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;
|