bonescript-compiler 0.5.3 → 0.5.5

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 (201) 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 +617 -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_nakama.d.ts +23 -0
  22. package/dist/emit_nakama.js +510 -0
  23. package/dist/emit_nakama.js.map +1 -0
  24. package/dist/emit_runtime.d.ts +11 -17
  25. package/dist/emit_runtime.js +688 -29
  26. package/dist/emit_runtime.js.map +1 -1
  27. package/dist/emit_sourcemap.js +66 -66
  28. package/dist/emit_tests.js +12 -47
  29. package/dist/emit_tests.js.map +1 -1
  30. package/dist/emit_websocket.js +3 -0
  31. package/dist/emit_websocket.js.map +1 -1
  32. package/dist/emitter.js +49 -94
  33. package/dist/emitter.js.map +1 -1
  34. package/dist/extension_manager.d.ts +2 -2
  35. package/dist/extension_manager.js +20 -9
  36. package/dist/extension_manager.js.map +1 -1
  37. package/dist/index.d.ts +2 -0
  38. package/dist/index.js +3 -1
  39. package/dist/index.js.map +1 -1
  40. package/dist/ir.d.ts +0 -4
  41. package/dist/lowering.d.ts +14 -5
  42. package/dist/lowering.js +417 -66
  43. package/dist/lowering.js.map +1 -1
  44. package/dist/module_loader.d.ts +2 -2
  45. package/dist/module_loader.js +23 -20
  46. package/dist/module_loader.js.map +1 -1
  47. package/dist/optimizer.js +3 -6
  48. package/dist/optimizer.js.map +1 -1
  49. package/dist/scaffold.d.ts +2 -2
  50. package/dist/scaffold.js +319 -315
  51. package/dist/scaffold.js.map +1 -1
  52. package/dist/solver.js +1 -1
  53. package/dist/solver.js.map +1 -1
  54. package/dist/source_map.js.map +1 -0
  55. package/dist/test.js.map +1 -0
  56. package/dist/test_typechecker.d.ts +5 -0
  57. package/dist/test_typechecker.js +126 -0
  58. package/dist/test_typechecker.js.map +1 -0
  59. package/dist/typechecker.d.ts +0 -7
  60. package/dist/typechecker.js +16 -103
  61. package/dist/typechecker.js.map +1 -1
  62. package/dist/verifier.d.ts +1 -5
  63. package/dist/verifier.js +38 -142
  64. package/dist/verifier.js.map +1 -1
  65. package/package.json +53 -62
  66. package/src/algorithm_catalog.ts +345 -345
  67. package/src/ast.d.ts +244 -0
  68. package/src/ast.ts +334 -334
  69. package/src/cli.ts +704 -98
  70. package/src/emit_batch.ts +140 -140
  71. package/src/emit_capability.ts +436 -613
  72. package/src/emit_composition.ts +196 -229
  73. package/src/emit_deploy.ts +190 -187
  74. package/src/emit_events.ts +307 -362
  75. package/src/emit_extras.ts +240 -237
  76. package/src/emit_full.ts +309 -472
  77. package/src/emit_maintenance.ts +459 -459
  78. package/src/emit_nakama.ts +576 -0
  79. package/src/emit_runtime.ts +730 -17
  80. package/src/emit_sourcemap.ts +140 -140
  81. package/src/emit_tests.ts +205 -243
  82. package/src/emit_websocket.ts +229 -226
  83. package/src/emitter.ts +578 -626
  84. package/src/extension_manager.ts +187 -177
  85. package/src/formatter.ts +297 -297
  86. package/src/index.ts +90 -88
  87. package/src/ir.ts +215 -216
  88. package/src/lexer.d.ts +195 -0
  89. package/src/lexer.ts +630 -630
  90. package/src/lowering.ts +556 -168
  91. package/src/module_loader.ts +114 -112
  92. package/src/optimizer.ts +196 -199
  93. package/src/parse_decls.d.ts +13 -0
  94. package/src/parse_decls.ts +409 -409
  95. package/src/parse_decls2.d.ts +13 -0
  96. package/src/parse_decls2.ts +244 -244
  97. package/src/parse_expr.d.ts +7 -0
  98. package/src/parse_expr.ts +197 -197
  99. package/src/parse_types.d.ts +6 -0
  100. package/src/parse_types.ts +54 -54
  101. package/src/parser.d.ts +10 -0
  102. package/src/parser.ts +1 -1
  103. package/src/parser_base.d.ts +19 -0
  104. package/src/parser_base.ts +57 -57
  105. package/src/parser_recovery.ts +153 -153
  106. package/src/scaffold.ts +375 -371
  107. package/src/solver.ts +330 -330
  108. package/src/typechecker.d.ts +52 -0
  109. package/src/typechecker.ts +591 -700
  110. package/src/types.d.ts +38 -0
  111. package/src/types.ts +122 -122
  112. package/src/verifier.ts +49 -154
  113. package/README.md +0 -382
  114. package/dist/commands/check.d.ts +0 -5
  115. package/dist/commands/check.js +0 -34
  116. package/dist/commands/check.js.map +0 -1
  117. package/dist/commands/compile.d.ts +0 -5
  118. package/dist/commands/compile.js +0 -215
  119. package/dist/commands/compile.js.map +0 -1
  120. package/dist/commands/debug.d.ts +0 -5
  121. package/dist/commands/debug.js +0 -59
  122. package/dist/commands/debug.js.map +0 -1
  123. package/dist/commands/diff.d.ts +0 -5
  124. package/dist/commands/diff.js +0 -123
  125. package/dist/commands/diff.js.map +0 -1
  126. package/dist/commands/fmt.d.ts +0 -5
  127. package/dist/commands/fmt.js +0 -49
  128. package/dist/commands/fmt.js.map +0 -1
  129. package/dist/commands/init.d.ts +0 -5
  130. package/dist/commands/init.js +0 -96
  131. package/dist/commands/init.js.map +0 -1
  132. package/dist/commands/ir.d.ts +0 -5
  133. package/dist/commands/ir.js +0 -27
  134. package/dist/commands/ir.js.map +0 -1
  135. package/dist/commands/lex.d.ts +0 -5
  136. package/dist/commands/lex.js +0 -21
  137. package/dist/commands/lex.js.map +0 -1
  138. package/dist/commands/parse.d.ts +0 -5
  139. package/dist/commands/parse.js +0 -30
  140. package/dist/commands/parse.js.map +0 -1
  141. package/dist/commands/test.d.ts +0 -5
  142. package/dist/commands/test.js +0 -61
  143. package/dist/commands/test.js.map +0 -1
  144. package/dist/commands/verify_determinism.d.ts +0 -5
  145. package/dist/commands/verify_determinism.js +0 -64
  146. package/dist/commands/verify_determinism.js.map +0 -1
  147. package/dist/commands/watch.d.ts +0 -5
  148. package/dist/commands/watch.js +0 -50
  149. package/dist/commands/watch.js.map +0 -1
  150. package/dist/emit_auth.d.ts +0 -18
  151. package/dist/emit_auth.js +0 -507
  152. package/dist/emit_auth.js.map +0 -1
  153. package/dist/emit_database.d.ts +0 -7
  154. package/dist/emit_database.js +0 -72
  155. package/dist/emit_database.js.map +0 -1
  156. package/dist/emit_index.d.ts +0 -6
  157. package/dist/emit_index.js +0 -202
  158. package/dist/emit_index.js.map +0 -1
  159. package/dist/emit_models.d.ts +0 -12
  160. package/dist/emit_models.js +0 -171
  161. package/dist/emit_models.js.map +0 -1
  162. package/dist/emit_openapi.d.ts +0 -9
  163. package/dist/emit_openapi.js +0 -306
  164. package/dist/emit_openapi.js.map +0 -1
  165. package/dist/emit_package.d.ts +0 -7
  166. package/dist/emit_package.js +0 -68
  167. package/dist/emit_package.js.map +0 -1
  168. package/dist/emit_router.d.ts +0 -12
  169. package/dist/emit_router.js +0 -389
  170. package/dist/emit_router.js.map +0 -1
  171. package/dist/lowering_channels.d.ts +0 -11
  172. package/dist/lowering_channels.js +0 -103
  173. package/dist/lowering_channels.js.map +0 -1
  174. package/dist/lowering_entities.d.ts +0 -11
  175. package/dist/lowering_entities.js +0 -232
  176. package/dist/lowering_entities.js.map +0 -1
  177. package/dist/lowering_helpers.d.ts +0 -13
  178. package/dist/lowering_helpers.js +0 -76
  179. package/dist/lowering_helpers.js.map +0 -1
  180. package/src/commands/check.ts +0 -33
  181. package/src/commands/compile.ts +0 -191
  182. package/src/commands/debug.ts +0 -33
  183. package/src/commands/diff.ts +0 -105
  184. package/src/commands/fmt.ts +0 -22
  185. package/src/commands/init.ts +0 -72
  186. package/src/commands/ir.ts +0 -23
  187. package/src/commands/lex.ts +0 -17
  188. package/src/commands/parse.ts +0 -24
  189. package/src/commands/test.ts +0 -36
  190. package/src/commands/verify_determinism.ts +0 -66
  191. package/src/commands/watch.ts +0 -25
  192. package/src/emit_auth.ts +0 -513
  193. package/src/emit_database.ts +0 -72
  194. package/src/emit_index.ts +0 -210
  195. package/src/emit_models.ts +0 -176
  196. package/src/emit_openapi.ts +0 -315
  197. package/src/emit_package.ts +0 -66
  198. package/src/emit_router.ts +0 -408
  199. package/src/lowering_channels.ts +0 -108
  200. package/src/lowering_entities.ts +0 -258
  201. package/src/lowering_helpers.ts +0 -75
@@ -1,6 +0,0 @@
1
- /**
2
- * BoneScript Server Entry Point Emitter
3
- * Generates src/index.ts — the Express server with all middleware and routes wired.
4
- */
5
- import * as IR from "./ir";
6
- export declare function emitIndex(system: IR.IRSystem): string;
@@ -1,202 +0,0 @@
1
- "use strict";
2
- /**
3
- * BoneScript Server Entry Point Emitter
4
- * Generates src/index.ts — the Express server with all middleware and routes wired.
5
- */
6
- Object.defineProperty(exports, "__esModule", { value: true });
7
- exports.emitIndex = void 0;
8
- const emit_router_1 = require("./emit_router");
9
- function emitIndex(system) {
10
- const apiModules = system.modules.filter(m => m.kind === "api_service");
11
- const hasWebSocket = system.modules.some(m => m.kind === "realtime_service");
12
- const hasBatch = system.modules.some(m => m.interfaces.some(i => i.methods.some(mth => mth.sync === "batch")));
13
- // Collect policy settings from the gateway config (populated by lowering from PolicyDecl)
14
- const gw = system.modules.find(m => m.kind === "gateway");
15
- const encryptionMode = gw?.config["encryption"] || "none";
16
- const enforceHttps = encryptionMode === "in_transit" || encryptionMode === "both";
17
- const lines = [];
18
- lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
19
- lines.push(`// System: ${system.name}`);
20
- lines.push(`require("dotenv").config();`);
21
- lines.push(`import express from "express";`);
22
- lines.push(`import { createServer } from "http";`);
23
- lines.push(`import cors from "cors";`);
24
- lines.push(`import helmet from "helmet";`);
25
- lines.push(`import rateLimit from "express-rate-limit";`);
26
- lines.push(`import { authMiddleware } from "./auth";`);
27
- lines.push(`import { healthRouter } from "./health";`);
28
- lines.push(`import { logger } from "./logger";`);
29
- lines.push(`import { eventBus } from "./events";`);
30
- lines.push(`import { pool } from "./db";`);
31
- if (hasBatch)
32
- lines.push(`import { startBatchWorker } from "./batch";`);
33
- if (hasWebSocket)
34
- lines.push(`import { setupWebSocketServer } from "./websocket";`);
35
- // Auth router import — must be at top-level with other imports
36
- const authMethod = (() => {
37
- const direct = system.resolution["implied.auth_method"] || system.resolution["system.auth_method"];
38
- if (direct === "oauth2" || direct === "apikey" || direct === "jwt")
39
- return direct;
40
- for (const [key, val] of Object.entries(system.resolution)) {
41
- if (key.endsWith(".auth_method") && (val === "oauth2" || val === "apikey" || val === "jwt"))
42
- return val;
43
- }
44
- for (const mod of system.modules) {
45
- const m = mod.config["auth_method"];
46
- if (m === "oauth2" || m === "apikey" || m === "jwt")
47
- return m;
48
- }
49
- return "jwt";
50
- })();
51
- if (authMethod === "oauth2" || authMethod === "apikey") {
52
- lines.push(`import { authRouter } from "./auth";`);
53
- }
54
- lines.push(``);
55
- for (const mod of apiModules) {
56
- const model = mod.models[0];
57
- if (!model)
58
- continue;
59
- const routerName = (0, emit_router_1.toCamelCase)((0, emit_router_1.toSnakeCase)(model.name) + "s") + "Router";
60
- lines.push(`import { ${routerName} } from "./routes/${(0, emit_router_1.toSnakeCase)(model.name)}";`);
61
- }
62
- lines.push(``);
63
- lines.push(`const app = express();`);
64
- lines.push(`const httpServer = createServer(app);`);
65
- lines.push(`const PORT = parseInt(process.env.PORT || "3000");`);
66
- lines.push(``);
67
- // Middleware
68
- lines.push(`// Middleware`);
69
- lines.push(`app.use(helmet());`);
70
- // HTTPS enforcement (in_transit or both encryption mode)
71
- if (enforceHttps) {
72
- lines.push(`// Encryption policy: in_transit — redirect HTTP to HTTPS in production`);
73
- lines.push(`app.use((req: any, res: any, next: any) => {`);
74
- lines.push(` if (process.env.NODE_ENV === "production" && req.headers["x-forwarded-proto"] !== "https") {`);
75
- lines.push(` return res.redirect(301, \`https://\${req.headers.host}\${req.url}\`);`);
76
- lines.push(` }`);
77
- lines.push(` next();`);
78
- lines.push(`});`);
79
- }
80
- // At-rest encryption warning (at_rest or both)
81
- if (encryptionMode === "at_rest" || encryptionMode === "both") {
82
- lines.push(`// Encryption policy: at_rest — ensure DATABASE_URL uses SSL and disk encryption is enabled`);
83
- lines.push(`if (process.env.NODE_ENV === "production" && process.env.DATABASE_URL && !process.env.DATABASE_URL.includes("sslmode=require")) {`);
84
- lines.push(` console.warn("[WARN] Encryption policy requires at-rest encryption. Add ?sslmode=require to DATABASE_URL.");`);
85
- lines.push(`}`);
86
- }
87
- lines.push(`// CORS: restrict to ALLOWED_ORIGINS env var (comma-separated). Defaults to same-origin only.`);
88
- lines.push(`const __allowedOrigins = (process.env.ALLOWED_ORIGINS || "").split(",").map(s => s.trim()).filter(Boolean);`);
89
- lines.push(`app.use(cors({`);
90
- lines.push(` origin: __allowedOrigins.length > 0`);
91
- lines.push(` ? (origin, cb) => { if (!origin || __allowedOrigins.includes(origin)) cb(null, true); else cb(new Error("Not allowed by CORS")); }`);
92
- lines.push(` : false,`);
93
- lines.push(` credentials: true,`);
94
- lines.push(`}));`);
95
- lines.push(`app.use(express.json({ limit: "1mb" }));`);
96
- lines.push(`app.use(express.urlencoded({ extended: false, limit: "1mb" }));`);
97
- lines.push(`app.use(authMiddleware);`);
98
- lines.push(``);
99
- // Rate limiting
100
- const rateVal = gw?.config["rate_limit"] || 300;
101
- lines.push(`// Global rate limit (default ${rateVal} req/min, override with RATE_LIMIT_MAX env var)`);
102
- lines.push(`const __globalRateLimit = rateLimit({`);
103
- lines.push(` windowMs: parseInt(process.env.RATE_LIMIT_WINDOW_MS || "60000"),`);
104
- lines.push(` max: parseInt(process.env.RATE_LIMIT_MAX || "${rateVal}"),`);
105
- lines.push(` standardHeaders: true,`);
106
- lines.push(` legacyHeaders: false,`);
107
- lines.push(` message: { error: { code: "RATE_LIMITED", message: "Too many requests, please slow down." } },`);
108
- lines.push(`});`);
109
- lines.push(`app.use(__globalRateLimit);`);
110
- lines.push(``);
111
- lines.push(`// Strict rate limit on auth endpoints (20 req/min per IP)`);
112
- lines.push(`const __authRateLimit = rateLimit({`);
113
- lines.push(` windowMs: 60000,`);
114
- lines.push(` max: parseInt(process.env.AUTH_RATE_LIMIT_MAX || "20"),`);
115
- lines.push(` standardHeaders: true,`);
116
- lines.push(` legacyHeaders: false,`);
117
- lines.push(` message: { error: { code: "RATE_LIMITED", message: "Too many auth attempts." } },`);
118
- lines.push(`});`);
119
- lines.push(``);
120
- // Request timeout
121
- lines.push(`// Request timeout (default 30s, override per-route)`);
122
- lines.push(`app.use((req: any, res: any, next: any) => {`);
123
- lines.push(` const timeout = parseInt(process.env.REQUEST_TIMEOUT_MS || "30000");`);
124
- lines.push(` const timer = setTimeout(() => {`);
125
- lines.push(` if (!res.headersSent) {`);
126
- lines.push(` res.status(503).json({ error: { code: "REQUEST_TIMEOUT", message: "Request timed out" } });`);
127
- lines.push(` }`);
128
- lines.push(` }, timeout);`);
129
- lines.push(` res.on("finish", () => clearTimeout(timer));`);
130
- lines.push(` next();`);
131
- lines.push(`});`);
132
- lines.push(``);
133
- // Routes
134
- lines.push(`// Health & metrics`);
135
- lines.push(`app.use("/health", healthRouter);`);
136
- lines.push(``);
137
- // Auth routes for OAuth2 and API key strategies
138
- if (authMethod === "oauth2" || authMethod === "apikey") {
139
- lines.push(`// Auth routes (${authMethod})`);
140
- lines.push(`app.use("/auth", __authRateLimit, authRouter);`);
141
- lines.push(``);
142
- }
143
- lines.push(`// Routes`);
144
- for (const mod of apiModules) {
145
- const model = mod.models[0];
146
- if (!model)
147
- continue;
148
- const routerName = (0, emit_router_1.toCamelCase)((0, emit_router_1.toSnakeCase)(model.name) + "s") + "Router";
149
- const routePath = `/${(0, emit_router_1.toSnakeCase)(model.name)}s`;
150
- lines.push(`app.use("${routePath}", ${routerName});`);
151
- lines.push(`app.use("${routePath}/login", __authRateLimit);`);
152
- lines.push(`app.use("${routePath}/register", __authRateLimit);`);
153
- }
154
- lines.push(``);
155
- if (hasWebSocket) {
156
- lines.push(`// WebSocket`);
157
- lines.push(`setupWebSocketServer(httpServer);`);
158
- lines.push(``);
159
- }
160
- // Startup
161
- lines.push(`// Start`);
162
- lines.push(`httpServer.listen(PORT, () => {`);
163
- lines.push(` logger.info("server_started", { event: "startup", metadata: { port: PORT } });`);
164
- lines.push(` eventBus.startWorker(parseInt(process.env.EVENT_WORKER_INTERVAL_MS || "1000"));`);
165
- if (hasBatch)
166
- lines.push(` startBatchWorker();`);
167
- lines.push(` console.log(\`[${system.name}] Running on port \${PORT}\`);`);
168
- lines.push(` console.log(\` HTTP routes:\`);`);
169
- for (const mod of apiModules) {
170
- const model = mod.models[0];
171
- if (!model)
172
- continue;
173
- lines.push(` console.log(\` /${(0, emit_router_1.toSnakeCase)(model.name)}s\`);`);
174
- }
175
- if (hasWebSocket)
176
- lines.push(` console.log(\` WebSocket: /ws?channel=<name>&token=<jwt>\`);`);
177
- lines.push(` console.log(\` Health: /health/live, /health/ready, /health/metrics\`);`);
178
- lines.push(`});`);
179
- lines.push(``);
180
- // Graceful shutdown
181
- lines.push(`// Graceful shutdown`);
182
- lines.push(`const shutdown = async (signal: string) => {`);
183
- lines.push(` logger.info("server_stopping", { event: "shutdown", metadata: { signal } });`);
184
- lines.push(` httpServer.close(async () => {`);
185
- lines.push(` try {`);
186
- lines.push(` await pool.end();`);
187
- lines.push(` logger.info("server_stopped", { event: "shutdown", status: "success" });`);
188
- lines.push(` } catch (e: any) {`);
189
- lines.push(` logger.error("shutdown_error", { event: "shutdown", metadata: { error: e.message } });`);
190
- lines.push(` }`);
191
- lines.push(` process.exit(0);`);
192
- lines.push(` });`);
193
- lines.push(` setTimeout(() => { logger.error("shutdown_timeout", { event: "shutdown" }); process.exit(1); }, 10000);`);
194
- lines.push(`};`);
195
- lines.push(`process.on("SIGTERM", () => shutdown("SIGTERM"));`);
196
- lines.push(`process.on("SIGINT", () => shutdown("SIGINT"));`);
197
- lines.push(``);
198
- lines.push(`export { app, httpServer };`);
199
- return lines.join("\n");
200
- }
201
- exports.emitIndex = emitIndex;
202
- //# sourceMappingURL=emit_index.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"emit_index.js","sourceRoot":"","sources":["../src/emit_index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAGH,+CAAyD;AAEzD,SAAgB,SAAS,CAAC,MAAmB;IAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CACpE,CAAC;IAEF,0FAA0F;IAC1F,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAI,EAAE,EAAE,MAAM,CAAC,YAAY,CAAwB,IAAI,MAAM,CAAC;IAClF,MAAM,YAAY,GAAG,cAAc,KAAK,YAAY,IAAI,cAAc,KAAK,MAAM,CAAC;IAElF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,IAAI,QAAQ;QAAM,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC5E,IAAI,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAEpF,+DAA+D;IAC/D,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;QACvB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;QACnG,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,MAAM,CAAC;QAClF,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,IAAI,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,KAAK,CAAC;gBAAE,OAAO,GAAG,CAAC;QAC1G,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAuB,CAAC;YAC1D,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,KAAK;gBAAE,OAAO,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,QAAQ,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,qBAAqB,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,aAAa;IACb,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAEjC,yDAAyD;IACzD,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,gGAAgG,CAAC,CAAC;QAC7G,KAAK,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;QACzF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,+CAA+C;IAC/C,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,MAAM,EAAE,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,6FAA6F,CAAC,CAAC;QAC1G,KAAK,CAAC,IAAI,CAAC,mIAAmI,CAAC,CAAC;QAChJ,KAAK,CAAC,IAAI,CAAC,gHAAgH,CAAC,CAAC;QAC7H,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,+FAA+F,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CAAC,6GAA6G,CAAC,CAAC;IAC1H,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,wIAAwI,CAAC,CAAC;IACrJ,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnB,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gBAAgB;IAChB,MAAM,OAAO,GAAG,EAAE,EAAE,MAAM,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,iCAAiC,OAAO,iDAAiD,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,kDAAkD,OAAO,KAAK,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,kGAAkG,CAAC,CAAC;IAC/G,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,qFAAqF,CAAC,CAAC;IAClG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,kBAAkB;IAClB,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,mGAAmG,CAAC,CAAC;IAChH,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,SAAS;IACT,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,gDAAgD;IAChD,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,mBAAmB,UAAU,GAAG,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,QAAQ,CAAC;QACzE,MAAM,SAAS,GAAG,IAAI,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,MAAM,UAAU,IAAI,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,4BAA4B,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,+BAA+B,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,UAAU;IACV,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;IAC/F,KAAK,CAAC,IAAI,CAAC,mFAAmF,CAAC,CAAC;IAChG,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,oBAAoB,MAAM,CAAC,IAAI,gCAAgC,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,CAAC,IAAI,CAAC,wBAAwB,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAChG,KAAK,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,oBAAoB;IACpB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;IAC7F,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;IAC7F,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,8FAA8F,CAAC,CAAC;IAC3G,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,2GAA2G,CAAC,CAAC;IACxH,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAE1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAzMD,8BAyMC"}
@@ -1,12 +0,0 @@
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;
@@ -1,171 +0,0 @@
1
- "use strict";
2
- /**
3
- * BoneScript Model Emitter
4
- * Generates per-model TypeScript artifacts as specified in spec/09_CODEGEN.md §5.1:
5
- * - XxxInterface — typed interface
6
- * - XxxSchema — const with field metadata (type, nullable, unique, indexed)
7
- * - validateXxx() — runtime validation function derived from IR constraints
8
- *
9
- * These are emitted to src/models/<entity_name>.ts
10
- */
11
- Object.defineProperty(exports, "__esModule", { value: true });
12
- exports.emitModelsIndex = exports.emitModelFile = void 0;
13
- const emit_router_1 = require("./emit_router");
14
- // ─── Per-model file ───────────────────────────────────────────────────────────
15
- function emitModelFile(model, mod, system) {
16
- const lines = [];
17
- lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
18
- lines.push(`// Source hash: ${system.source_hash}`);
19
- lines.push(`// Module: ${mod.name}`);
20
- lines.push(``);
21
- // ── Interface ──────────────────────────────────────────────────────────────
22
- lines.push(`export interface ${model.name} {`);
23
- for (const field of model.fields) {
24
- // Skip generated-always fields (derived columns)
25
- if (field.default_value?.startsWith("GENERATED ALWAYS"))
26
- continue;
27
- const nullable = field.nullable ? " | null" : "";
28
- lines.push(` ${field.name}: ${(0, emit_router_1.toTsType)(field.type)}${nullable};`);
29
- }
30
- lines.push(`}`);
31
- lines.push(``);
32
- // ── Schema const ───────────────────────────────────────────────────────────
33
- lines.push(`export const ${model.name}Schema = {`);
34
- for (const field of model.fields) {
35
- if (field.default_value?.startsWith("GENERATED ALWAYS"))
36
- continue;
37
- const meta = [
38
- `type: ${JSON.stringify(field.type)}`,
39
- `nullable: ${field.nullable}`,
40
- `unique: ${field.unique}`,
41
- `indexed: ${field.indexed}`,
42
- ];
43
- if (field.default_value && !field.default_value.startsWith("GENERATED")) {
44
- meta.push(`default: ${JSON.stringify(field.default_value)}`);
45
- }
46
- lines.push(` ${field.name}: { ${meta.join(", ")} },`);
47
- }
48
- lines.push(`} as const;`);
49
- lines.push(``);
50
- // ── Input type (omits server-set fields) ──────────────────────────────────
51
- const inputFields = model.fields.filter(f => !["id", "created_at", "updated_at"].includes(f.name) &&
52
- !f.default_value?.startsWith("GENERATED ALWAYS"));
53
- lines.push(`export interface Create${model.name}Input {`);
54
- for (const field of inputFields) {
55
- const nullable = field.nullable ? "?" : "";
56
- lines.push(` ${field.name}${nullable}: ${(0, emit_router_1.toTsType)(field.type)};`);
57
- }
58
- lines.push(`}`);
59
- lines.push(``);
60
- lines.push(`export interface Update${model.name}Input {`);
61
- for (const field of inputFields) {
62
- lines.push(` ${field.name}?: ${(0, emit_router_1.toTsType)(field.type)};`);
63
- }
64
- lines.push(`}`);
65
- lines.push(``);
66
- // ── Validation function ────────────────────────────────────────────────────
67
- lines.push(`export interface ValidationError {`);
68
- lines.push(` field: string;`);
69
- lines.push(` code: string;`);
70
- lines.push(` message: string;`);
71
- lines.push(`}`);
72
- lines.push(``);
73
- lines.push(`export function validate${model.name}(input: unknown): { ok: true; value: ${model.name} } | { ok: false; errors: ValidationError[] } {`);
74
- lines.push(` const errors: ValidationError[] = [];`);
75
- lines.push(` const data = input as Record<string, unknown>;`);
76
- lines.push(``);
77
- // Required field presence checks
78
- for (const field of model.fields) {
79
- if (field.nullable || field.default_value || ["id", "created_at", "updated_at"].includes(field.name))
80
- continue;
81
- if (field.default_value?.startsWith("GENERATED ALWAYS"))
82
- continue;
83
- lines.push(` if (data.${field.name} === undefined || data.${field.name} === null) {`);
84
- lines.push(` errors.push({ field: "${field.name}", code: "REQUIRED", message: "${field.name} is required" });`);
85
- lines.push(` }`);
86
- }
87
- // Type checks for primitive fields
88
- for (const field of model.fields) {
89
- if (["id", "created_at", "updated_at"].includes(field.name))
90
- continue;
91
- if (field.default_value?.startsWith("GENERATED ALWAYS"))
92
- continue;
93
- const check = typeCheckExpr(field.type, `data.${field.name}`);
94
- if (check) {
95
- lines.push(` if (data.${field.name} !== undefined && data.${field.name} !== null && !(${check})) {`);
96
- lines.push(` errors.push({ field: "${field.name}", code: "INVALID_TYPE", message: "${field.name} must be ${field.type}" });`);
97
- lines.push(` }`);
98
- }
99
- }
100
- // Constraint-derived checks from model constraints
101
- for (const c of model.constraints) {
102
- if (c.kind === "unique")
103
- continue; // enforced by DB
104
- if (c.kind === "range" && c.params["min"] !== undefined && c.params["max"] !== undefined) {
105
- lines.push(` if (typeof data.${c.target} === "number" && (data.${c.target} < ${c.params["min"]} || data.${c.target} > ${c.params["max"]})) {`);
106
- lines.push(` errors.push({ field: "${c.target}", code: "OUT_OF_RANGE", message: "${c.target} must be between ${c.params["min"]} and ${c.params["max"]}" });`);
107
- lines.push(` }`);
108
- }
109
- if (c.kind === "enum" && Array.isArray(c.params["values"])) {
110
- const vals = c.params["values"].map(v => JSON.stringify(v)).join(", ");
111
- lines.push(` if (data.${c.target} !== undefined && ![${vals}].includes(data.${c.target} as string)) {`);
112
- lines.push(` errors.push({ field: "${c.target}", code: "INVALID_ENUM", message: "${c.target} must be one of: ${c.params["values"].join(", ")}" });`);
113
- lines.push(` }`);
114
- }
115
- if (c.kind === "check" && typeof c.params["expression"] === "string") {
116
- // Parse length-in-range constraints like "username.length in 3..32"
117
- const lenMatch = c.params["expression"].match(/^(\w+)\.length\s+in\s+(\d+)\.\.(\d+)$/);
118
- if (lenMatch) {
119
- const [, fieldName, minLen, maxLen] = lenMatch;
120
- lines.push(` if (typeof data.${fieldName} === "string" && (data.${fieldName}.length < ${minLen} || data.${fieldName}.length > ${maxLen})) {`);
121
- lines.push(` errors.push({ field: "${fieldName}", code: "INVALID_LENGTH", message: "${fieldName} must be between ${minLen} and ${maxLen} characters" });`);
122
- lines.push(` }`);
123
- }
124
- // Parse non-negative constraints like "score >= 0"
125
- const nonNegMatch = c.params["expression"].match(/^(\w+)\s*>=\s*0$/);
126
- if (nonNegMatch) {
127
- const [, fieldName] = nonNegMatch;
128
- lines.push(` if (typeof data.${fieldName} === "number" && data.${fieldName} < 0) {`);
129
- lines.push(` errors.push({ field: "${fieldName}", code: "OUT_OF_RANGE", message: "${fieldName} must be >= 0" });`);
130
- lines.push(` }`);
131
- }
132
- }
133
- }
134
- lines.push(``);
135
- lines.push(` if (errors.length > 0) return { ok: false, errors };`);
136
- lines.push(` return { ok: true, value: data as unknown as ${model.name} };`);
137
- lines.push(`}`);
138
- lines.push(``);
139
- return lines.join("\n");
140
- }
141
- exports.emitModelFile = emitModelFile;
142
- function typeCheckExpr(irType, expr) {
143
- switch (irType) {
144
- case "string": return `typeof ${expr} === "string"`;
145
- case "uint": return `typeof ${expr} === "number" && Number.isInteger(${expr}) && ${expr} >= 0`;
146
- case "int": return `typeof ${expr} === "number" && Number.isInteger(${expr})`;
147
- case "float": return `typeof ${expr} === "number"`;
148
- case "bool": return `typeof ${expr} === "boolean"`;
149
- case "uuid": return `typeof ${expr} === "string" && /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i.test(${expr})`;
150
- case "timestamp": return `${expr} instanceof Date || typeof ${expr} === "string"`;
151
- default:
152
- if (irType.startsWith("list<") || irType.startsWith("set<"))
153
- return `Array.isArray(${expr})`;
154
- return null;
155
- }
156
- }
157
- // ─── Barrel index for all models ─────────────────────────────────────────────
158
- function emitModelsIndex(system) {
159
- const lines = [];
160
- lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
161
- lines.push(`// Re-exports all model interfaces, schemas, and validators.`);
162
- lines.push(``);
163
- for (const mod of system.modules) {
164
- for (const model of mod.models) {
165
- lines.push(`export * from "./${(0, emit_router_1.toSnakeCase)(model.name)}";`);
166
- }
167
- }
168
- return lines.join("\n");
169
- }
170
- exports.emitModelsIndex = emitModelsIndex;
171
- //# sourceMappingURL=emit_models.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"emit_models.js","sourceRoot":"","sources":["../src/emit_models.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAGH,+CAAsD;AAEtD,iFAAiF;AAEjF,SAAgB,aAAa,CAAC,KAAiB,EAAE,GAAgB,EAAE,MAAmB;IACpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,iDAAiD;QACjD,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,IAAI,GAAa;YACrB,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACrC,aAAa,KAAK,CAAC,QAAQ,EAAE;YAC7B,WAAW,KAAK,CAAC,MAAM,EAAE;YACzB,YAAY,KAAK,CAAC,OAAO,EAAE;SAC5B,CAAC;QACF,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,6EAA6E;IAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC,CACjD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,QAAQ,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,IAAI,wCAAwC,KAAK,CAAC,IAAI,iDAAiD,CAAC,CAAC;IACrJ,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,iCAAiC;IACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/G,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC;QACvF,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,kCAAkC,KAAK,CAAC,IAAI,mBAAmB,CAAC,CAAC;QACnH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACtE,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,kBAAkB,KAAK,MAAM,CAAC,CAAC;YACtG,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,sCAAsC,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;YACjI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,iBAAiB;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,0BAA0B,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChJ,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAoB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,uBAAuB,IAAI,mBAAmB,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAqB,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrE,oEAAoE;YACpE,MAAM,QAAQ,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YACnG,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,0BAA0B,SAAS,aAAa,MAAM,YAAY,SAAS,aAAa,MAAM,MAAM,CAAC,CAAC;gBAC/I,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,wCAAwC,SAAS,oBAAoB,MAAM,QAAQ,MAAM,kBAAkB,CAAC,CAAC;gBAC9J,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,mDAAmD;YACnD,MAAM,WAAW,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACjF,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,yBAAyB,SAAS,SAAS,CAAC,CAAC;gBACtF,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,sCAAsC,SAAS,oBAAoB,CAAC,CAAC;gBACtH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,kDAAkD,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAlID,sCAkIC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,IAAY;IACjD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAI,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,qCAAqC,IAAI,QAAQ,IAAI,OAAO,CAAC;QACpG,KAAK,KAAK,CAAC,CAAO,OAAO,UAAU,IAAI,qCAAqC,IAAI,GAAG,CAAC;QACpF,KAAK,OAAO,CAAC,CAAK,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,gBAAgB,CAAC;QACxD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,2FAA2F,IAAI,GAAG,CAAC;QAC1I,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,IAAI,8BAA8B,IAAI,eAAe,CAAC;QAClF;YACE,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,iBAAiB,IAAI,GAAG,CAAC;YAC7F,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,SAAgB,eAAe,CAAC,MAAmB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAXD,0CAWC"}
@@ -1,9 +0,0 @@
1
- /**
2
- * BoneScript OpenAPI 3.1 Schema Emitter
3
- * Generates a complete openapi.json for each api_service module.
4
- * Implements spec/09_CODEGEN.md §2 (ApiService → JSON secondary target).
5
- *
6
- * Produces: openapi.json at the project root.
7
- */
8
- import * as IR from "./ir";
9
- export declare function emitOpenApiSchema(system: IR.IRSystem): string;