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
package/dist/cli.js CHANGED
@@ -1,7 +1,6 @@
1
1
  "use strict";
2
2
  /**
3
- * BoneScript compiler CLI — dispatcher
4
- * Each command lives in its own file under commands/.
3
+ * BoneScript compiler CLI
5
4
  */
6
5
  var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
7
6
  if (k2 === undefined) k2 = k;
@@ -29,109 +28,652 @@ var __importStar = (this && this.__importStar) || function (mod) {
29
28
  Object.defineProperty(exports, "__esModule", { value: true });
30
29
  const fs = __importStar(require("fs"));
31
30
  const path = __importStar(require("path"));
32
- const compile_1 = require("./commands/compile");
33
- const check_1 = require("./commands/check");
34
- const lex_1 = require("./commands/lex");
35
- const parse_1 = require("./commands/parse");
36
- const ir_1 = require("./commands/ir");
37
- const fmt_1 = require("./commands/fmt");
38
- const watch_1 = require("./commands/watch");
39
- const init_1 = require("./commands/init");
40
- const diff_1 = require("./commands/diff");
41
- const debug_1 = require("./commands/debug");
42
- const test_1 = require("./commands/test");
43
- const verify_determinism_1 = require("./commands/verify_determinism");
44
- // ─── Helpers ──────────────────────────────────────────────────────────────────
45
- /** Read a file and pass its contents to an async action. */
46
- async function requireFile(filePath, action) {
47
- if (!filePath) {
48
- console.error("Error: No input file specified.");
49
- process.exit(1);
50
- }
51
- const resolved = path.resolve(filePath);
52
- try {
53
- await fs.promises.access(resolved);
54
- }
55
- catch {
56
- console.error(`Error: File not found: ${resolved}`);
57
- process.exit(1);
58
- }
59
- const source = await fs.promises.readFile(resolved, "utf-8");
60
- await action(source, resolved);
61
- }
62
- function showHelp() {
63
- console.log("BoneScript compiler v0.3.0");
64
- console.log("");
65
- console.log("Usage:");
66
- console.log(" bonec compile <file> Compile to runnable project");
67
- console.log(" bonec check <file> Lex + parse + type check (no codegen)");
68
- console.log(" bonec lex <file> Show token stream");
69
- console.log(" bonec parse <file> Show AST");
70
- console.log(" bonec ir <file> Show IR (JSON)");
71
- console.log(" bonec fmt <file> Format file in place");
72
- console.log(" bonec watch <file> Recompile on change");
73
- console.log(" bonec diff <old.bone> <new.bone> Show schema migration diff");
74
- console.log(" bonec init <name> --domain <domain> Scaffold from a domain template");
75
- console.log(" bonec test [output-dir] Run generated regression tests");
76
- console.log(" bonec debug <file> Generate source maps");
77
- console.log(" bonec verify-determinism <file> Confirm two compilations are identical");
78
- console.log("");
79
- console.log("Domain options: multiplayer_game, saas_platform, iot_system,");
80
- console.log(" social_network, marketplace, realtime_collaboration");
81
- console.log(" --out <dir> Output directory for init (default: ./<name>)");
82
- }
83
- // ─── Dispatch ─────────────────────────────────────────────────────────────────
84
- async function main() {
31
+ const crypto_1 = require("crypto");
32
+ const lexer_1 = require("./lexer");
33
+ const parser_1 = require("./parser");
34
+ const parser_recovery_1 = require("./parser_recovery");
35
+ const typechecker_1 = require("./typechecker");
36
+ const lowering_1 = require("./lowering");
37
+ const solver_1 = require("./solver");
38
+ const emit_full_1 = require("./emit_full");
39
+ const emit_nakama_1 = require("./emit_nakama");
40
+ const verifier_1 = require("./verifier");
41
+ const module_loader_1 = require("./module_loader");
42
+ const formatter_1 = require("./formatter");
43
+ const scaffold_1 = require("./scaffold");
44
+ const extension_manager_1 = require("./extension_manager");
45
+ const optimizer_1 = require("./optimizer");
46
+ function main() {
85
47
  const args = process.argv.slice(2);
86
48
  if (args.length === 0 || args[0] === "--help" || args[0] === "-h") {
87
49
  showHelp();
88
50
  return;
89
51
  }
90
- switch (args[0]) {
52
+ const command = args[0];
53
+ switch (command) {
91
54
  case "compile":
92
- await requireFile(args[1], compile_1.runCompile);
93
- break;
94
- case "check":
95
- await requireFile(args[1], (src) => (0, check_1.runCheck)(src));
55
+ requireFile(args[1], (src, res) => runCompile(src, res, args.slice(2)));
96
56
  break;
97
57
  case "lex":
98
- await requireFile(args[1], (src) => (0, lex_1.runLex)(src));
58
+ requireFile(args[1], runLex);
99
59
  break;
100
60
  case "parse":
101
- await requireFile(args[1], (src) => (0, parse_1.runParse)(src));
61
+ requireFile(args[1], runParse);
102
62
  break;
103
63
  case "ir":
104
- await requireFile(args[1], (src) => (0, ir_1.runIR)(src));
64
+ requireFile(args[1], runIR);
65
+ break;
66
+ case "check":
67
+ requireFile(args[1], runCheck);
105
68
  break;
106
69
  case "fmt":
107
- await requireFile(args[1], fmt_1.runFormat);
70
+ requireFile(args[1], runFormat);
108
71
  break;
109
72
  case "watch":
110
- await requireFile(args[1], watch_1.runWatch);
73
+ requireFile(args[1], runWatch);
111
74
  break;
112
75
  case "init":
113
- await (0, init_1.runInit)(args.slice(1));
76
+ runInit(args.slice(1));
114
77
  break;
115
78
  case "diff":
116
- await (0, diff_1.runDiff)(args.slice(1));
79
+ runDiff(args.slice(1));
117
80
  break;
118
81
  case "debug":
119
- await requireFile(args[1], debug_1.runDebug);
82
+ requireFile(args[1], runDebug);
120
83
  break;
121
84
  case "test":
122
- await (0, test_1.runTest)(args.slice(1));
85
+ runTest(args.slice(1));
123
86
  break;
124
87
  case "verify-determinism":
125
- await requireFile(args[1], (src) => (0, verify_determinism_1.runVerifyDeterminism)(src));
88
+ requireFile(args[1], runVerifyDeterminism);
126
89
  break;
127
90
  default:
128
- console.error(`Unknown command: ${args[0]}`);
91
+ console.error(`Unknown command: ${command}`);
129
92
  showHelp();
130
93
  process.exit(1);
131
94
  }
132
95
  }
133
- main().catch(e => {
134
- console.error(`x Fatal: ${e.message}`);
135
- process.exit(1);
136
- });
96
+ function showHelp() {
97
+ console.log("BoneScript compiler v0.5.4");
98
+ console.log("");
99
+ console.log("Usage:");
100
+ console.log(" bonec compile <file> [--target <target>] Compile to runnable project");
101
+ console.log(" bonec check <file> Lex + parse + type check (no codegen)");
102
+ console.log(" bonec lex <file> Show token stream");
103
+ console.log(" bonec parse <file> Show AST");
104
+ console.log(" bonec ir <file> Show IR (JSON)");
105
+ console.log(" bonec fmt <file> Format file in place");
106
+ console.log(" bonec watch <file> Recompile on change");
107
+ console.log(" bonec diff <old.bone> <new.bone> Show schema migration diff");
108
+ console.log("");
109
+ console.log("compile options:");
110
+ console.log(" --target <name> Output target (default: express)");
111
+ console.log(" Options: express, nakama");
112
+ console.log("");
113
+ console.log("init options:");
114
+ console.log(" bonec init <name> --domain <name> Scaffold from a domain template");
115
+ console.log(" --domain <name> Domain template (default: saas_platform)");
116
+ console.log(" Options: multiplayer_game, saas_platform, iot_system,");
117
+ console.log(" social_network, marketplace, realtime_collaboration");
118
+ console.log(" --out <dir> Output directory (default: current dir)");
119
+ }
120
+ function requireFile(filePath, action) {
121
+ if (!filePath) {
122
+ console.error("Error: No input file specified.");
123
+ process.exit(1);
124
+ }
125
+ const resolved = path.resolve(filePath);
126
+ if (!fs.existsSync(resolved)) {
127
+ console.error(`Error: File not found: ${resolved}`);
128
+ process.exit(1);
129
+ }
130
+ const source = fs.readFileSync(resolved, "utf-8");
131
+ action(source, resolved);
132
+ }
133
+ // ─── Lex ─────────────────────────────────────────────────────────────────────
134
+ function runLex(source) {
135
+ try {
136
+ const tokens = new lexer_1.Lexer(source).tokenize();
137
+ console.log(JSON.stringify(tokens, null, 2));
138
+ console.log(`\nv ${tokens.length} tokens produced.`);
139
+ }
140
+ catch (e) {
141
+ console.error(`x ${e.message}`);
142
+ process.exit(1);
143
+ }
144
+ }
145
+ // ─── Parse ───────────────────────────────────────────────────────────────────
146
+ function runParse(source) {
147
+ try {
148
+ const tokens = new lexer_1.Lexer(source).tokenize();
149
+ const result = new parser_recovery_1.RecoveringParser(tokens).parse();
150
+ if (result.errors.length > 0) {
151
+ console.error(`x ${result.errors.length} parse error(s):`);
152
+ for (const e of result.errors)
153
+ console.error(` ${e.message}`);
154
+ if (!result.ast)
155
+ process.exit(1);
156
+ }
157
+ console.log(JSON.stringify(result.ast, null, 2));
158
+ console.log(`\nv Parsed ${result.ast?.systems.length || 0} system(s).`);
159
+ }
160
+ catch (e) {
161
+ console.error(`x ${e.message}`);
162
+ process.exit(1);
163
+ }
164
+ }
165
+ // ─── IR ──────────────────────────────────────────────────────────────────────
166
+ function runIR(source) {
167
+ try {
168
+ const tokens = new lexer_1.Lexer(source).tokenize();
169
+ const ast = new parser_1.Parser(tokens).parse();
170
+ const sourceHash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
171
+ const irSystems = new lowering_1.Lowering().lower(ast, sourceHash);
172
+ console.log(JSON.stringify(irSystems, null, 2));
173
+ console.log(`\nv Lowered to ${irSystems.length} IR system(s).`);
174
+ }
175
+ catch (e) {
176
+ console.error(`x ${e.message}`);
177
+ process.exit(1);
178
+ }
179
+ }
180
+ // ─── Check ───────────────────────────────────────────────────────────────────
181
+ function runCheck(source) {
182
+ const tokens = new lexer_1.Lexer(source).tokenize();
183
+ const result = new parser_recovery_1.RecoveringParser(tokens).parse();
184
+ let totalErrors = 0;
185
+ if (result.errors.length > 0) {
186
+ for (const e of result.errors) {
187
+ console.error(` parse: ${e.message}`);
188
+ totalErrors++;
189
+ }
190
+ }
191
+ if (result.ast) {
192
+ const typeErrors = new typechecker_1.TypeChecker().check(result.ast);
193
+ for (const err of typeErrors) {
194
+ console.error(` type: ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
195
+ totalErrors++;
196
+ }
197
+ }
198
+ if (totalErrors === 0) {
199
+ console.log("v Check passed (0 errors)");
200
+ }
201
+ else {
202
+ console.log(`x ${totalErrors} error(s) found.`);
203
+ process.exit(1);
204
+ }
205
+ }
206
+ // ─── Format ──────────────────────────────────────────────────────────────────
207
+ function runFormat(source, resolved) {
208
+ try {
209
+ const tokens = new lexer_1.Lexer(source).tokenize();
210
+ const ast = new parser_1.Parser(tokens).parse();
211
+ const formatted = new formatter_1.Formatter().format(ast);
212
+ fs.writeFileSync(resolved, formatted, "utf-8");
213
+ console.log(`v Formatted ${resolved}`);
214
+ }
215
+ catch (e) {
216
+ console.error(`x ${e.message}`);
217
+ process.exit(1);
218
+ }
219
+ }
220
+ // ─── Watch ───────────────────────────────────────────────────────────────────
221
+ function runWatch(_source, resolved) {
222
+ console.log(`Watching ${resolved}...`);
223
+ const compile = () => {
224
+ try {
225
+ const fresh = fs.readFileSync(resolved, "utf-8");
226
+ console.log(`\n[${new Date().toLocaleTimeString()}] Compiling...`);
227
+ runCompile(fresh, resolved);
228
+ }
229
+ catch (e) {
230
+ console.error(`x ${e.message}`);
231
+ }
232
+ };
233
+ compile();
234
+ fs.watchFile(resolved, { interval: 500 }, (curr, prev) => {
235
+ if (curr.mtimeMs !== prev.mtimeMs)
236
+ compile();
237
+ });
238
+ }
239
+ // ─── Init ────────────────────────────────────────────────────────────────────
240
+ function runInit(args) {
241
+ if (args.length === 0) {
242
+ console.error("Error: bone init requires a project name.");
243
+ console.error("Example: bone init my-project --domain saas_platform");
244
+ process.exit(1);
245
+ }
246
+ const name = args[0];
247
+ let domain = "saas_platform";
248
+ let outDir = path.resolve(name);
249
+ for (let i = 1; i < args.length; i++) {
250
+ if (args[i] === "--domain" && args[i + 1]) {
251
+ domain = args[i + 1];
252
+ i++;
253
+ }
254
+ else if (args[i] === "--out" && args[i + 1]) {
255
+ outDir = path.resolve(args[i + 1]);
256
+ i++;
257
+ }
258
+ }
259
+ const validDomains = [
260
+ "multiplayer_game", "saas_platform", "iot_system",
261
+ "social_network", "marketplace", "realtime_collaboration",
262
+ ];
263
+ if (!validDomains.includes(domain)) {
264
+ console.error(`Error: Invalid domain '${domain}'. Valid: ${validDomains.join(", ")}`);
265
+ process.exit(1);
266
+ }
267
+ const result = (0, scaffold_1.scaffold)({ name, domain, outDir });
268
+ console.log(`v Created ${result.created.length} file(s):`);
269
+ for (const f of result.created)
270
+ console.log(` ${f}`);
271
+ console.log(`\nNext steps:`);
272
+ console.log(` cd ${outDir}`);
273
+ console.log(` bone compile ${name}.bone`);
274
+ }
275
+ // ─── Compile (full pipeline) ─────────────────────────────────────────────────
276
+ function runCompile(source, resolved, extraArgs = []) {
277
+ // Parse --target flag (default: express)
278
+ let target = "express";
279
+ for (let i = 0; i < extraArgs.length; i++) {
280
+ if (extraArgs[i] === "--target" && extraArgs[i + 1]) {
281
+ const t = extraArgs[i + 1];
282
+ if (t !== "express" && t !== "nakama") {
283
+ console.error(`Unknown target '${t}'. Valid targets: express, nakama`);
284
+ process.exit(1);
285
+ }
286
+ target = t;
287
+ i++;
288
+ }
289
+ }
290
+ if (target === "nakama") {
291
+ runCompileNakama(source, resolved);
292
+ return;
293
+ }
294
+ try {
295
+ const tokens = new lexer_1.Lexer(source).tokenize();
296
+ console.log(` [1/7] Lexed: ${tokens.length} tokens`);
297
+ // Use module loader to handle imports
298
+ const loader = new module_loader_1.ModuleLoader();
299
+ const loadResult = loader.load(resolved);
300
+ if (loadResult.errors.length > 0) {
301
+ console.log(` [2/7] Parse: ${loadResult.errors.length} error(s)`);
302
+ for (const e of loadResult.errors.slice(0, 10)) {
303
+ console.log(` ${path.basename(e.file)}: ${e.error.message}`);
304
+ }
305
+ if (!loadResult.ast)
306
+ process.exit(1);
307
+ }
308
+ else {
309
+ const sysCount = loadResult.ast?.systems.length || 0;
310
+ console.log(` [2/7] Parsed: ${sysCount} system(s) from ${loadResult.loadedFiles.length} file(s)`);
311
+ }
312
+ const ast = loadResult.ast;
313
+ for (const sys of ast.systems) {
314
+ console.log(` System '${sys.name}':`);
315
+ const counts = {};
316
+ for (const d of sys.declarations)
317
+ counts[d.kind] = (counts[d.kind] || 0) + 1;
318
+ for (const [kind, count] of Object.entries(counts)) {
319
+ console.log(` ${kind}: ${count}`);
320
+ }
321
+ }
322
+ // Stage 3: Type Check
323
+ const checker = new typechecker_1.TypeChecker();
324
+ const typeErrors = checker.check(ast);
325
+ if (typeErrors.length > 0) {
326
+ console.log(` [3/7] Type check: ${typeErrors.length} error(s)`);
327
+ for (const err of typeErrors) {
328
+ console.log(` ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
329
+ }
330
+ }
331
+ else {
332
+ console.log(` [3/7] Type check: v (0 errors)`);
333
+ }
334
+ // Stage 4: Lower to IR
335
+ const sourceHash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
336
+ const lowering = new lowering_1.Lowering();
337
+ const irSystems = lowering.lower(ast, sourceHash);
338
+ const totalModules = irSystems.reduce((sum, s) => sum + s.modules.length, 0);
339
+ const totalEvents = irSystems.reduce((sum, s) => sum + s.events.length, 0);
340
+ const totalFlows = irSystems.reduce((sum, s) => sum + s.flows.length, 0);
341
+ console.log(` [4/7] Lower to IR: ${totalModules} modules, ${totalEvents} events, ${totalFlows} flows`);
342
+ for (const sys of irSystems) {
343
+ for (const mod of sys.modules) {
344
+ const methodCount = mod.interfaces.reduce((s, i) => s + i.methods.length, 0);
345
+ console.log(` ${mod.kind.padEnd(16)} ${mod.name.padEnd(24)} (${methodCount} methods, ${mod.models.length} models)`);
346
+ }
347
+ }
348
+ // Stage 4.5: IR Optimization
349
+ for (let i = 0; i < irSystems.length; i++) {
350
+ const result = (0, optimizer_1.optimize)(irSystems[i]);
351
+ irSystems[i] = result.system;
352
+ if (result.log.length > 0) {
353
+ console.log(` [4.5] IR optimize: ${result.modulesRemoved} modules removed, ${result.eventsDeduped} events deduped, ${result.depsRemoved} deps minimized`);
354
+ }
355
+ }
356
+ // Stage 5: Constraint Solve
357
+ const solver = new solver_1.ConstraintSolver();
358
+ let totalResolved = 0;
359
+ for (const sys of irSystems) {
360
+ const result = solver.solve(sys);
361
+ sys.resolution = result.resolution;
362
+ totalResolved += Object.keys(result.resolution).length;
363
+ if (result.errors.length > 0) {
364
+ console.log(` [5/7] Constraint solve: ${result.errors.length} error(s)`);
365
+ for (const err of result.errors)
366
+ console.log(` x ${err}`);
367
+ }
368
+ else {
369
+ console.log(` [5/7] Constraint solve: v (${totalResolved} resolved, ${result.assumptions.length} assumptions)`);
370
+ for (const a of result.assumptions.slice(0, 5))
371
+ console.log(` ${a}`);
372
+ if (result.assumptions.length > 5)
373
+ console.log(` ... and ${result.assumptions.length - 5} more`);
374
+ }
375
+ }
376
+ // Stage 6: Code Emit
377
+ const emitter = new emit_full_1.FullEmitter();
378
+ const allFiles = [];
379
+ for (const sys of irSystems) {
380
+ const files = emitter.emit(sys);
381
+ allFiles.push(...files);
382
+ }
383
+ console.log(` [6/7] Code emit: ${allFiles.length} files generated`);
384
+ const byLang = {};
385
+ for (const f of allFiles)
386
+ byLang[f.language] = (byLang[f.language] || 0) + 1;
387
+ for (const [lang, count] of Object.entries(byLang)) {
388
+ console.log(` ${lang}: ${count} file(s)`);
389
+ }
390
+ // Stage 7: Verify
391
+ const verifier = new verifier_1.Verifier();
392
+ const verifyResult = verifier.verify(irSystems[0], allFiles);
393
+ const errCount = verifyResult.issues.filter(i => i.severity === "error").length;
394
+ const warnCount = verifyResult.issues.filter(i => i.severity === "warning").length;
395
+ if (verifyResult.passed) {
396
+ console.log(` [7/7] Verify: v (${allFiles.length} files, ${warnCount} warnings)`);
397
+ }
398
+ else {
399
+ console.log(` [7/7] Verify: FAILED (${errCount} errors, ${warnCount} warnings)`);
400
+ }
401
+ for (const issue of verifyResult.issues.slice(0, 10)) {
402
+ const icon = issue.severity === "error" ? "x" : "!";
403
+ console.log(` ${icon} ${issue.code}: ${issue.message}`);
404
+ }
405
+ // Write output — merge extension point implementations from existing files
406
+ const outputDir = path.resolve(path.dirname(resolved), "output");
407
+ const allExtensions = irSystems.flatMap(s => s.extension_points || []);
408
+ let extensionErrors = [];
409
+ for (const f of allFiles) {
410
+ const outPath = path.join(outputDir, f.path);
411
+ const dir = path.dirname(outPath);
412
+ if (!fs.existsSync(dir))
413
+ fs.mkdirSync(dir, { recursive: true });
414
+ // For extensions.ts: merge preserved implementations
415
+ if (f.path === "src/extensions.ts" && allExtensions.length > 0) {
416
+ const astExtensions = ast.systems.flatMap(s => s.declarations.filter((d) => d.kind === "ExtensionPointDecl"));
417
+ const { content, validationErrors } = (0, extension_manager_1.mergeWithExisting)(f.content, outPath, astExtensions);
418
+ for (const e of validationErrors)
419
+ extensionErrors.push(e.message);
420
+ fs.writeFileSync(outPath, content, "utf-8");
421
+ }
422
+ else {
423
+ fs.writeFileSync(outPath, f.content, "utf-8");
424
+ }
425
+ }
426
+ if (extensionErrors.length > 0) {
427
+ console.log(`\n Extension point errors:`);
428
+ for (const e of extensionErrors)
429
+ console.log(` x ${e}`);
430
+ process.exit(1);
431
+ }
432
+ console.log(`\nv Compilation complete. ${allFiles.length} files written to output/`);
433
+ }
434
+ catch (e) {
435
+ console.error(`x ${e.message}`);
436
+ process.exit(1);
437
+ }
438
+ }
439
+ main();
440
+ // ─── Compile (Nakama target) ──────────────────────────────────────────────────
441
+ function runCompileNakama(source, resolved) {
442
+ try {
443
+ const tokens = new lexer_1.Lexer(source).tokenize();
444
+ console.log(` [1/5] Lexed: ${tokens.length} tokens`);
445
+ const loader = new module_loader_1.ModuleLoader();
446
+ const loadResult = loader.load(resolved);
447
+ if (loadResult.errors.length > 0) {
448
+ for (const e of loadResult.errors.slice(0, 10)) {
449
+ console.log(` ${path.basename(e.file)}: ${e.error.message}`);
450
+ }
451
+ if (!loadResult.ast)
452
+ process.exit(1);
453
+ }
454
+ const ast = loadResult.ast;
455
+ console.log(` [2/5] Parsed: ${ast.systems.length} system(s)`);
456
+ const typeErrors = new typechecker_1.TypeChecker().check(ast);
457
+ if (typeErrors.length > 0) {
458
+ for (const err of typeErrors) {
459
+ console.log(` ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
460
+ }
461
+ }
462
+ else {
463
+ console.log(` [3/5] Type check: v (0 errors)`);
464
+ }
465
+ const sourceHash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
466
+ const irSystems = new lowering_1.Lowering().lower(ast, sourceHash);
467
+ console.log(` [4/5] Lowered to IR: ${irSystems.reduce((s, sys) => s + sys.modules.length, 0)} modules`);
468
+ const emitter = new emit_nakama_1.NakamaEmitter();
469
+ const allFiles = [];
470
+ for (const sys of irSystems) {
471
+ allFiles.push(...emitter.emit(sys));
472
+ }
473
+ console.log(` [5/5] Nakama emit: ${allFiles.length} files`);
474
+ const outputDir = path.resolve(path.dirname(resolved), "output-nakama");
475
+ for (const f of allFiles) {
476
+ const outPath = path.join(outputDir, f.path);
477
+ const dir = path.dirname(outPath);
478
+ if (!fs.existsSync(dir))
479
+ fs.mkdirSync(dir, { recursive: true });
480
+ fs.writeFileSync(outPath, f.content, "utf-8");
481
+ }
482
+ console.log(`\nv Nakama compilation complete. ${allFiles.length} files written to output-nakama/`);
483
+ console.log(`\nNext steps:`);
484
+ console.log(` cd output-nakama && npm install && npm run build`);
485
+ console.log(` # Copy build/ to your Nakama runtime path`);
486
+ }
487
+ catch (e) {
488
+ console.error(`x ${e.message}`);
489
+ process.exit(1);
490
+ }
491
+ }
492
+ // ─── Diff ─────────────────────────────────────────────────────────────────────
493
+ function runDiff(args) {
494
+ if (args.length < 2) {
495
+ console.error("Usage: bone diff <old.bone> <new.bone>");
496
+ process.exit(1);
497
+ }
498
+ const [oldFile, newFile] = args;
499
+ const compileToIR = (filePath) => {
500
+ const resolved = path.resolve(filePath);
501
+ if (!fs.existsSync(resolved)) {
502
+ console.error(`File not found: ${resolved}`);
503
+ process.exit(1);
504
+ }
505
+ const source = fs.readFileSync(resolved, "utf-8");
506
+ const tokens = new lexer_1.Lexer(source).tokenize();
507
+ const ast = new parser_1.Parser(tokens).parse();
508
+ const hash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
509
+ return new lowering_1.Lowering().lower(ast, hash);
510
+ };
511
+ const oldIR = compileToIR(oldFile);
512
+ const newIR = compileToIR(newFile);
513
+ const oldModels = [];
514
+ const newModels = [];
515
+ for (const sys of oldIR)
516
+ for (const mod of sys.modules)
517
+ for (const m of mod.models)
518
+ oldModels.push(m);
519
+ for (const sys of newIR)
520
+ for (const mod of sys.modules)
521
+ for (const m of mod.models)
522
+ newModels.push(m);
523
+ const oldByName = new Map(oldModels.map(m => [m.name, m]));
524
+ const newByName = new Map(newModels.map(m => [m.name, m]));
525
+ const statements = [];
526
+ // New tables
527
+ for (const [name, model] of newByName) {
528
+ if (!oldByName.has(name)) {
529
+ statements.push(`-- NEW TABLE: ${name}`);
530
+ statements.push(`-- Run: bone compile ${newFile} (generates full migration)`);
531
+ }
532
+ }
533
+ // Removed tables
534
+ for (const [name] of oldByName) {
535
+ if (!newByName.has(name)) {
536
+ const table = name.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase() + "s";
537
+ statements.push(`-- WARNING: Table '${table}' removed from schema`);
538
+ statements.push(`-- Manual: ALTER TABLE ${table} ... (or DROP TABLE ${table})`);
539
+ }
540
+ }
541
+ // Modified tables
542
+ for (const [name, newModel] of newByName) {
543
+ const oldModel = oldByName.get(name);
544
+ if (!oldModel)
545
+ continue;
546
+ const table = name.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase() + "s";
547
+ const oldFields = new Map(oldModel.fields.map((f) => [f.name, f]));
548
+ const newFields = new Map(newModel.fields.map((f) => [f.name, f]));
549
+ const sqlTypeMap = {
550
+ string: "VARCHAR", uint: "BIGINT", int: "BIGINT", float: "DOUBLE PRECISION",
551
+ bool: "BOOLEAN", timestamp: "TIMESTAMPTZ", uuid: "UUID", bytes: "BYTEA", json: "JSONB",
552
+ };
553
+ for (const [fname, field] of newFields) {
554
+ if (!oldFields.has(fname)) {
555
+ const sqlType = sqlTypeMap[field.type] || "JSONB";
556
+ statements.push(`ALTER TABLE ${table} ADD COLUMN IF NOT EXISTS ${fname} ${sqlType};`);
557
+ }
558
+ }
559
+ for (const [fname] of oldFields) {
560
+ if (!newFields.has(fname)) {
561
+ statements.push(`-- WARNING: Column '${table}.${fname}' removed`);
562
+ statements.push(`-- Manual: ALTER TABLE ${table} DROP COLUMN ${fname};`);
563
+ }
564
+ }
565
+ }
566
+ if (statements.length === 0) {
567
+ console.log("No schema changes detected.");
568
+ }
569
+ else {
570
+ console.log(`-- BoneScript schema diff: ${path.basename(oldFile)} → ${path.basename(newFile)}`);
571
+ console.log(`-- Generated: ${new Date().toISOString()}`);
572
+ console.log(``);
573
+ console.log(statements.join("\n"));
574
+ }
575
+ }
576
+ // ─── Debug ────────────────────────────────────────────────────────────────────
577
+ function runDebug(source, resolved) {
578
+ try {
579
+ const tokens = new lexer_1.Lexer(source).tokenize();
580
+ const ast = new parser_1.Parser(tokens).parse();
581
+ const sourceHash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
582
+ const irSystems = new lowering_1.Lowering().lower(ast, sourceHash);
583
+ const { emitSourceMapFile } = require("./emit_sourcemap");
584
+ for (const sys of irSystems) {
585
+ const mapContent = emitSourceMapFile(sys, path.basename(resolved));
586
+ const mapPath = path.join(path.dirname(resolved), `${sys.name}.bone.map`);
587
+ fs.writeFileSync(mapPath, mapContent, "utf-8");
588
+ console.log(`v Source map written: ${mapPath}`);
589
+ console.log(` ${sys.modules.length} modules mapped`);
590
+ console.log(` Use output/src/debug.ts to get annotated runtime errors`);
591
+ }
592
+ }
593
+ catch (e) {
594
+ console.error(`x ${e.message}`);
595
+ process.exit(1);
596
+ }
597
+ }
598
+ // ─── Test ─────────────────────────────────────────────────────────────────────
599
+ function runTest(args) {
600
+ const outputDir = args[0] ? path.resolve(args[0]) : path.resolve("output");
601
+ const testFile = path.join(outputDir, "src", "tests.ts");
602
+ if (!fs.existsSync(testFile)) {
603
+ console.error(`No test file found at ${testFile}`);
604
+ console.error("Run 'bone compile <file>' first to generate tests.");
605
+ process.exit(1);
606
+ }
607
+ console.log(`Running BoneScript regression tests...`);
608
+ console.log(`Test file: ${testFile}`);
609
+ console.log(`Target: ${process.env.TEST_BASE_URL || "http://localhost:3000"}`);
610
+ console.log(``);
611
+ // Run the generated test file using ts-node
612
+ const { execSync } = require("child_process");
613
+ try {
614
+ execSync(`npx ts-node ${testFile}`, {
615
+ cwd: outputDir,
616
+ stdio: "inherit",
617
+ env: { ...process.env },
618
+ });
619
+ }
620
+ catch {
621
+ process.exit(1);
622
+ }
623
+ }
624
+ // ─── Verify Determinism ───────────────────────────────────────────────────────
625
+ function runVerifyDeterminism(source, resolved) {
626
+ console.log("Verifying compilation determinism...");
627
+ const compile = () => {
628
+ const tokens = new lexer_1.Lexer(source).tokenize();
629
+ const ast = new parser_1.Parser(tokens).parse();
630
+ const hash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
631
+ const ir = new lowering_1.Lowering().lower(ast, hash);
632
+ const emitter = new emit_full_1.FullEmitter();
633
+ const files = [];
634
+ for (const sys of ir) {
635
+ for (const f of emitter.emit(sys)) {
636
+ files.push({ path: f.path, content: f.content });
637
+ }
638
+ }
639
+ // Sort for canonical comparison
640
+ files.sort((a, b) => a.path.localeCompare(b.path));
641
+ return JSON.stringify(files);
642
+ };
643
+ const run1 = compile();
644
+ const run2 = compile();
645
+ if (run1 === run2) {
646
+ const hash = (0, crypto_1.createHash)("sha256").update(run1).digest("hex").slice(0, 16);
647
+ console.log(`v Deterministic. Both runs produced identical output.`);
648
+ console.log(` Output hash: ${hash}`);
649
+ }
650
+ else {
651
+ // Find first divergence
652
+ const files1 = JSON.parse(run1);
653
+ const files2 = JSON.parse(run2);
654
+ for (let i = 0; i < Math.max(files1.length, files2.length); i++) {
655
+ const f1 = files1[i];
656
+ const f2 = files2[i];
657
+ if (!f1 || !f2 || f1.path !== f2.path || f1.content !== f2.content) {
658
+ console.error(`x NON-DETERMINISTIC: First divergence at file ${i}`);
659
+ console.error(` Run 1: ${f1?.path || "(missing)"}`);
660
+ console.error(` Run 2: ${f2?.path || "(missing)"}`);
661
+ if (f1 && f2 && f1.path === f2.path) {
662
+ // Find first differing line
663
+ const lines1 = f1.content.split("\n");
664
+ const lines2 = f2.content.split("\n");
665
+ for (let j = 0; j < Math.max(lines1.length, lines2.length); j++) {
666
+ if (lines1[j] !== lines2[j]) {
667
+ console.error(` First differing line ${j + 1}:`);
668
+ console.error(` Run 1: ${lines1[j]}`);
669
+ console.error(` Run 2: ${lines2[j]}`);
670
+ break;
671
+ }
672
+ }
673
+ }
674
+ process.exit(1);
675
+ }
676
+ }
677
+ }
678
+ }
137
679
  //# sourceMappingURL=cli.js.map