bonescript-compiler 0.2.1 → 0.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (167) hide show
  1. package/LICENSE +21 -21
  2. package/dist/algorithm_catalog.js +166 -166
  3. package/dist/cli.d.ts +2 -1
  4. package/dist/cli.js +75 -543
  5. package/dist/cli.js.map +1 -1
  6. package/dist/commands/check.d.ts +5 -0
  7. package/dist/commands/check.js +34 -0
  8. package/dist/commands/check.js.map +1 -0
  9. package/dist/commands/compile.d.ts +5 -0
  10. package/dist/commands/compile.js +215 -0
  11. package/dist/commands/compile.js.map +1 -0
  12. package/dist/commands/debug.d.ts +5 -0
  13. package/dist/commands/debug.js +59 -0
  14. package/dist/commands/debug.js.map +1 -0
  15. package/dist/commands/diff.d.ts +5 -0
  16. package/dist/commands/diff.js +125 -0
  17. package/dist/commands/diff.js.map +1 -0
  18. package/dist/commands/fmt.d.ts +5 -0
  19. package/dist/commands/fmt.js +49 -0
  20. package/dist/commands/fmt.js.map +1 -0
  21. package/dist/commands/init.d.ts +5 -0
  22. package/dist/commands/init.js +96 -0
  23. package/dist/commands/init.js.map +1 -0
  24. package/dist/commands/ir.d.ts +5 -0
  25. package/dist/commands/ir.js +27 -0
  26. package/dist/commands/ir.js.map +1 -0
  27. package/dist/commands/lex.d.ts +5 -0
  28. package/dist/commands/lex.js +21 -0
  29. package/dist/commands/lex.js.map +1 -0
  30. package/dist/commands/parse.d.ts +5 -0
  31. package/dist/commands/parse.js +30 -0
  32. package/dist/commands/parse.js.map +1 -0
  33. package/dist/commands/test.d.ts +5 -0
  34. package/dist/commands/test.js +61 -0
  35. package/dist/commands/test.js.map +1 -0
  36. package/dist/commands/verify_determinism.d.ts +5 -0
  37. package/dist/commands/verify_determinism.js +64 -0
  38. package/dist/commands/verify_determinism.js.map +1 -0
  39. package/dist/commands/watch.d.ts +5 -0
  40. package/dist/commands/watch.js +50 -0
  41. package/dist/commands/watch.js.map +1 -0
  42. package/dist/emit_auth.d.ts +6 -0
  43. package/dist/emit_auth.js +69 -0
  44. package/dist/emit_auth.js.map +1 -0
  45. package/dist/emit_capability.d.ts +13 -0
  46. package/dist/emit_capability.js +292 -128
  47. package/dist/emit_capability.js.map +1 -1
  48. package/dist/emit_composition.js +37 -3
  49. package/dist/emit_composition.js.map +1 -1
  50. package/dist/emit_database.d.ts +7 -0
  51. package/dist/emit_database.js +74 -0
  52. package/dist/emit_database.js.map +1 -0
  53. package/dist/emit_deploy.js +162 -162
  54. package/dist/emit_events.d.ts +1 -0
  55. package/dist/emit_events.js +342 -275
  56. package/dist/emit_events.js.map +1 -1
  57. package/dist/emit_full.js +135 -95
  58. package/dist/emit_full.js.map +1 -1
  59. package/dist/emit_index.d.ts +6 -0
  60. package/dist/emit_index.js +157 -0
  61. package/dist/emit_index.js.map +1 -0
  62. package/dist/emit_maintenance.js +249 -249
  63. package/dist/emit_models.d.ts +12 -0
  64. package/dist/emit_models.js +171 -0
  65. package/dist/emit_models.js.map +1 -0
  66. package/dist/emit_openapi.d.ts +9 -0
  67. package/dist/emit_openapi.js +308 -0
  68. package/dist/emit_openapi.js.map +1 -0
  69. package/dist/emit_package.d.ts +7 -0
  70. package/dist/emit_package.js +70 -0
  71. package/dist/emit_package.js.map +1 -0
  72. package/dist/emit_router.d.ts +12 -0
  73. package/dist/emit_router.js +390 -0
  74. package/dist/emit_router.js.map +1 -0
  75. package/dist/emit_runtime.d.ts +17 -11
  76. package/dist/emit_runtime.js +29 -686
  77. package/dist/emit_runtime.js.map +1 -1
  78. package/dist/emit_sourcemap.js +66 -66
  79. package/dist/emit_tests.js +37 -0
  80. package/dist/emit_tests.js.map +1 -1
  81. package/dist/emitter.js +34 -5
  82. package/dist/emitter.js.map +1 -1
  83. package/dist/extension_manager.d.ts +2 -2
  84. package/dist/extension_manager.js +6 -3
  85. package/dist/extension_manager.js.map +1 -1
  86. package/dist/lowering.d.ts +5 -14
  87. package/dist/lowering.js +47 -417
  88. package/dist/lowering.js.map +1 -1
  89. package/dist/lowering_channels.d.ts +11 -0
  90. package/dist/lowering_channels.js +102 -0
  91. package/dist/lowering_channels.js.map +1 -0
  92. package/dist/lowering_entities.d.ts +11 -0
  93. package/dist/lowering_entities.js +222 -0
  94. package/dist/lowering_entities.js.map +1 -0
  95. package/dist/lowering_helpers.d.ts +13 -0
  96. package/dist/lowering_helpers.js +76 -0
  97. package/dist/lowering_helpers.js.map +1 -0
  98. package/dist/module_loader.d.ts +2 -2
  99. package/dist/module_loader.js +20 -23
  100. package/dist/module_loader.js.map +1 -1
  101. package/dist/scaffold.d.ts +2 -2
  102. package/dist/scaffold.js +316 -319
  103. package/dist/scaffold.js.map +1 -1
  104. package/dist/typechecker.js +32 -13
  105. package/dist/typechecker.js.map +1 -1
  106. package/dist/verifier.d.ts +5 -0
  107. package/dist/verifier.js +140 -2
  108. package/dist/verifier.js.map +1 -1
  109. package/package.json +62 -52
  110. package/src/algorithm_catalog.ts +345 -345
  111. package/src/ast.ts +334 -334
  112. package/src/cli.ts +98 -624
  113. package/src/commands/check.ts +33 -0
  114. package/src/commands/compile.ts +191 -0
  115. package/src/commands/debug.ts +33 -0
  116. package/src/commands/diff.ts +108 -0
  117. package/src/commands/fmt.ts +22 -0
  118. package/src/commands/init.ts +72 -0
  119. package/src/commands/ir.ts +23 -0
  120. package/src/commands/lex.ts +17 -0
  121. package/src/commands/parse.ts +24 -0
  122. package/src/commands/test.ts +36 -0
  123. package/src/commands/verify_determinism.ts +66 -0
  124. package/src/commands/watch.ts +25 -0
  125. package/src/emit_auth.ts +67 -0
  126. package/src/emit_batch.ts +140 -140
  127. package/src/emit_capability.ts +617 -436
  128. package/src/emit_composition.ts +229 -196
  129. package/src/emit_database.ts +75 -0
  130. package/src/emit_deploy.ts +190 -190
  131. package/src/emit_events.ts +377 -307
  132. package/src/emit_extras.ts +240 -240
  133. package/src/emit_full.ts +351 -309
  134. package/src/emit_index.ts +161 -0
  135. package/src/emit_maintenance.ts +459 -459
  136. package/src/emit_models.ts +176 -0
  137. package/src/emit_openapi.ts +318 -0
  138. package/src/emit_package.ts +69 -0
  139. package/src/emit_router.ts +409 -0
  140. package/src/emit_runtime.ts +17 -728
  141. package/src/emit_sourcemap.ts +140 -140
  142. package/src/emit_tests.ts +246 -205
  143. package/src/emit_websocket.ts +229 -229
  144. package/src/emitter.ts +31 -5
  145. package/src/extension_manager.ts +189 -187
  146. package/src/formatter.ts +297 -297
  147. package/src/index.ts +88 -88
  148. package/src/ir.ts +215 -215
  149. package/src/lexer.ts +630 -630
  150. package/src/lowering.ts +142 -556
  151. package/src/lowering_channels.ts +107 -0
  152. package/src/lowering_entities.ts +248 -0
  153. package/src/lowering_helpers.ts +75 -0
  154. package/src/module_loader.ts +112 -114
  155. package/src/optimizer.ts +196 -196
  156. package/src/parse_decls.ts +409 -409
  157. package/src/parse_decls2.ts +244 -244
  158. package/src/parse_expr.ts +197 -197
  159. package/src/parse_types.ts +54 -54
  160. package/src/parser.ts +1 -1
  161. package/src/parser_base.ts +57 -57
  162. package/src/parser_recovery.ts +153 -153
  163. package/src/scaffold.ts +372 -375
  164. package/src/solver.ts +330 -330
  165. package/src/typechecker.ts +30 -15
  166. package/src/types.ts +122 -122
  167. package/src/verifier.ts +151 -4
@@ -0,0 +1,96 @@
1
+ "use strict";
2
+ /**
3
+ * bonec init <name> [--domain <domain>] [--out <dir>] [--force]
4
+ * Scaffold a new project from a domain template.
5
+ */
6
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
7
+ if (k2 === undefined) k2 = k;
8
+ var desc = Object.getOwnPropertyDescriptor(m, k);
9
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
10
+ desc = { enumerable: true, get: function() { return m[k]; } };
11
+ }
12
+ Object.defineProperty(o, k2, desc);
13
+ }) : (function(o, m, k, k2) {
14
+ if (k2 === undefined) k2 = k;
15
+ o[k2] = m[k];
16
+ }));
17
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
18
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
19
+ }) : function(o, v) {
20
+ o["default"] = v;
21
+ });
22
+ var __importStar = (this && this.__importStar) || function (mod) {
23
+ if (mod && mod.__esModule) return mod;
24
+ var result = {};
25
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
26
+ __setModuleDefault(result, mod);
27
+ return result;
28
+ };
29
+ Object.defineProperty(exports, "__esModule", { value: true });
30
+ exports.runInit = void 0;
31
+ const path = __importStar(require("path"));
32
+ const fs = __importStar(require("fs"));
33
+ const scaffold_1 = require("../scaffold");
34
+ const VALID_DOMAINS = [
35
+ "multiplayer_game", "saas_platform", "iot_system",
36
+ "social_network", "marketplace", "realtime_collaboration",
37
+ ];
38
+ async function runInit(args) {
39
+ // --list: show available domains
40
+ if (args.includes("--list") || args.includes("-l")) {
41
+ console.log("Available domains:");
42
+ for (const d of VALID_DOMAINS)
43
+ console.log(` ${d}`);
44
+ return;
45
+ }
46
+ if (args.length === 0) {
47
+ console.error("Error: bonec init requires a project name.");
48
+ console.error("Example: bonec init my-project --domain saas_platform");
49
+ console.error(" bonec init --list (show available domains)");
50
+ process.exit(1);
51
+ }
52
+ const name = args[0];
53
+ let domain = "saas_platform";
54
+ let outDir = path.resolve(name);
55
+ let force = false;
56
+ for (let i = 1; i < args.length; i++) {
57
+ if (args[i] === "--domain" && args[i + 1]) {
58
+ domain = args[i + 1];
59
+ i++;
60
+ }
61
+ else if (args[i] === "--out" && args[i + 1]) {
62
+ outDir = path.resolve(args[i + 1]);
63
+ i++;
64
+ }
65
+ else if (args[i] === "--force" || args[i] === "-f") {
66
+ force = true;
67
+ }
68
+ }
69
+ if (!VALID_DOMAINS.includes(domain)) {
70
+ console.error(`Error: Invalid domain '${domain}'. Valid: ${VALID_DOMAINS.join(", ")}`);
71
+ process.exit(1);
72
+ }
73
+ // Check if output directory already has files (unless --force)
74
+ if (!force) {
75
+ try {
76
+ const existing = await fs.promises.readdir(outDir);
77
+ if (existing.length > 0) {
78
+ console.error(`Error: Directory '${outDir}' already exists and is not empty.`);
79
+ console.error(`Use --force to overwrite.`);
80
+ process.exit(1);
81
+ }
82
+ }
83
+ catch {
84
+ // Directory doesn't exist — fine
85
+ }
86
+ }
87
+ const result = await (0, scaffold_1.scaffold)({ name, domain, outDir });
88
+ console.log(`✓ Created ${result.created.length} file(s):`);
89
+ for (const f of result.created)
90
+ console.log(` ${f}`);
91
+ console.log(`\nNext steps:`);
92
+ console.log(` cd ${outDir}`);
93
+ console.log(` bonec compile ${name}.bone`);
94
+ }
95
+ exports.runInit = runInit;
96
+ //# sourceMappingURL=init.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"init.js","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,2CAA6B;AAC7B,uCAAyB;AACzB,0CAAuD;AAEvD,MAAM,aAAa,GAAqB;IACtC,kBAAkB,EAAE,eAAe,EAAE,YAAY;IACjD,gBAAgB,EAAE,aAAa,EAAE,wBAAwB;CAC1D,CAAC;AAEK,KAAK,UAAU,OAAO,CAAC,IAAc;IAC1C,iCAAiC;IACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,aAAa;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC5D,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;QACvE,OAAO,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;QACvE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,MAAM,GAAmB,eAAe,CAAC;IAC7C,IAAI,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1C,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAmB,CAAC;YACvC,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9C,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,KAAK,CAAC,0BAA0B,MAAM,aAAa,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,+DAA+D;IAC/D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,KAAK,CAAC,qBAAqB,MAAM,oCAAoC,CAAC,CAAC;gBAC/E,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,iCAAiC;QACnC,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,IAAA,mBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,CAAC,CAAC;IAC3D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,mBAAmB,IAAI,OAAO,CAAC,CAAC;AAC9C,CAAC;AAzDD,0BAyDC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec ir <file>
3
+ * Print the IR as JSON.
4
+ */
5
+ export declare function runIR(source: string): void;
@@ -0,0 +1,27 @@
1
+ "use strict";
2
+ /**
3
+ * bonec ir <file>
4
+ * Print the IR as JSON.
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.runIR = void 0;
8
+ const crypto_1 = require("crypto");
9
+ const lexer_1 = require("../lexer");
10
+ const parser_1 = require("../parser");
11
+ const lowering_1 = require("../lowering");
12
+ function runIR(source) {
13
+ try {
14
+ const tokens = new lexer_1.Lexer(source).tokenize();
15
+ const ast = new parser_1.Parser(tokens).parse();
16
+ const sourceHash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
17
+ const irSystems = new lowering_1.Lowering().lower(ast, sourceHash);
18
+ console.log(JSON.stringify(irSystems, null, 2));
19
+ console.log(`\nv Lowered to ${irSystems.length} IR system(s).`);
20
+ }
21
+ catch (e) {
22
+ console.error(`x ${e.message}`);
23
+ process.exit(1);
24
+ }
25
+ }
26
+ exports.runIR = runIR;
27
+ //# sourceMappingURL=ir.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/commands/ir.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,mCAAoC;AACpC,oCAAiC;AACjC,sCAAmC;AACnC,0CAAuC;AAEvC,SAAgB,KAAK,CAAC,MAAc;IAClC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,IAAI,mBAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,kBAAkB,SAAS,CAAC,MAAM,gBAAgB,CAAC,CAAC;IAClE,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAZD,sBAYC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec lex <file>
3
+ * Print the token stream as JSON.
4
+ */
5
+ export declare function runLex(source: string): void;
@@ -0,0 +1,21 @@
1
+ "use strict";
2
+ /**
3
+ * bonec lex <file>
4
+ * Print the token stream as JSON.
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.runLex = void 0;
8
+ const lexer_1 = require("../lexer");
9
+ function runLex(source) {
10
+ try {
11
+ const tokens = new lexer_1.Lexer(source).tokenize();
12
+ console.log(JSON.stringify(tokens, null, 2));
13
+ console.log(`\nv ${tokens.length} tokens produced.`);
14
+ }
15
+ catch (e) {
16
+ console.error(`x ${e.message}`);
17
+ process.exit(1);
18
+ }
19
+ }
20
+ exports.runLex = runLex;
21
+ //# sourceMappingURL=lex.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lex.js","sourceRoot":"","sources":["../../src/commands/lex.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,oCAAiC;AAEjC,SAAgB,MAAM,CAAC,MAAc;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC;IACvD,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AATD,wBASC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec parse <file>
3
+ * Print the AST as JSON.
4
+ */
5
+ export declare function runParse(source: string): void;
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+ /**
3
+ * bonec parse <file>
4
+ * Print the AST as JSON.
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.runParse = void 0;
8
+ const lexer_1 = require("../lexer");
9
+ const parser_recovery_1 = require("../parser_recovery");
10
+ function runParse(source) {
11
+ try {
12
+ const tokens = new lexer_1.Lexer(source).tokenize();
13
+ const result = new parser_recovery_1.RecoveringParser(tokens).parse();
14
+ if (result.errors.length > 0) {
15
+ console.error(`x ${result.errors.length} parse error(s):`);
16
+ for (const e of result.errors)
17
+ console.error(` ${e.message}`);
18
+ if (!result.ast)
19
+ process.exit(1);
20
+ }
21
+ console.log(JSON.stringify(result.ast, null, 2));
22
+ console.log(`\nv Parsed ${result.ast?.systems.length || 0} system(s).`);
23
+ }
24
+ catch (e) {
25
+ console.error(`x ${e.message}`);
26
+ process.exit(1);
27
+ }
28
+ }
29
+ exports.runParse = runParse;
30
+ //# sourceMappingURL=parse.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"parse.js","sourceRoot":"","sources":["../../src/commands/parse.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,oCAAiC;AACjC,wDAAsD;AAEtD,SAAgB,QAAQ,CAAC,MAAc;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,kCAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,kBAAkB,CAAC,CAAC;YAC3D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM;gBAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/D,IAAI,CAAC,MAAM,CAAC,GAAG;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAfD,4BAeC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec test [output-dir]
3
+ * Run the generated regression test suite against a live server.
4
+ */
5
+ export declare function runTest(args: string[]): Promise<void>;
@@ -0,0 +1,61 @@
1
+ "use strict";
2
+ /**
3
+ * bonec test [output-dir]
4
+ * Run the generated regression test suite against a live server.
5
+ */
6
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
7
+ if (k2 === undefined) k2 = k;
8
+ var desc = Object.getOwnPropertyDescriptor(m, k);
9
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
10
+ desc = { enumerable: true, get: function() { return m[k]; } };
11
+ }
12
+ Object.defineProperty(o, k2, desc);
13
+ }) : (function(o, m, k, k2) {
14
+ if (k2 === undefined) k2 = k;
15
+ o[k2] = m[k];
16
+ }));
17
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
18
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
19
+ }) : function(o, v) {
20
+ o["default"] = v;
21
+ });
22
+ var __importStar = (this && this.__importStar) || function (mod) {
23
+ if (mod && mod.__esModule) return mod;
24
+ var result = {};
25
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
26
+ __setModuleDefault(result, mod);
27
+ return result;
28
+ };
29
+ Object.defineProperty(exports, "__esModule", { value: true });
30
+ exports.runTest = void 0;
31
+ const fs = __importStar(require("fs"));
32
+ const path = __importStar(require("path"));
33
+ const child_process_1 = require("child_process");
34
+ async function runTest(args) {
35
+ const outputDir = args[0] ? path.resolve(args[0]) : path.resolve("output");
36
+ const testFile = path.join(outputDir, "src", "tests.ts");
37
+ try {
38
+ await fs.promises.access(testFile);
39
+ }
40
+ catch {
41
+ console.error(`No test file found at ${testFile}`);
42
+ console.error("Run 'bonec compile <file>' first to generate tests.");
43
+ process.exit(1);
44
+ }
45
+ console.log(`Running BoneScript regression tests...`);
46
+ console.log(`Test file: ${testFile}`);
47
+ console.log(`Target: ${process.env.TEST_BASE_URL || "http://localhost:3000"}`);
48
+ console.log(``);
49
+ try {
50
+ (0, child_process_1.execSync)(`npx ts-node ${testFile}`, {
51
+ cwd: outputDir,
52
+ stdio: "inherit",
53
+ env: { ...process.env },
54
+ });
55
+ }
56
+ catch {
57
+ process.exit(1);
58
+ }
59
+ }
60
+ exports.runTest = runTest;
61
+ //# sourceMappingURL=test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"test.js","sourceRoot":"","sources":["../../src/commands/test.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAyC;AAElC,KAAK,UAAU,OAAO,CAAC,IAAc;IAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAEzD,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,CAAC,yBAAyB,QAAQ,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,uBAAuB,EAAE,CAAC,CAAC;IAC/E,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,IAAI,CAAC;QACH,IAAA,wBAAQ,EAAC,eAAe,QAAQ,EAAE,EAAE;YAClC,GAAG,EAAE,SAAS;YACd,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;SACxB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AA1BD,0BA0BC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec verify-determinism <file>
3
+ * Compile twice and assert bitwise-identical output.
4
+ */
5
+ export declare function runVerifyDeterminism(source: string): void;
@@ -0,0 +1,64 @@
1
+ "use strict";
2
+ /**
3
+ * bonec verify-determinism <file>
4
+ * Compile twice and assert bitwise-identical output.
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.runVerifyDeterminism = void 0;
8
+ const crypto_1 = require("crypto");
9
+ const lexer_1 = require("../lexer");
10
+ const parser_1 = require("../parser");
11
+ const lowering_1 = require("../lowering");
12
+ const emit_full_1 = require("../emit_full");
13
+ function runVerifyDeterminism(source) {
14
+ console.log("Verifying compilation determinism...");
15
+ const compile = () => {
16
+ const tokens = new lexer_1.Lexer(source).tokenize();
17
+ const ast = new parser_1.Parser(tokens).parse();
18
+ const hash = (0, crypto_1.createHash)("sha256").update(source).digest("hex").slice(0, 16);
19
+ const ir = new lowering_1.Lowering().lower(ast, hash);
20
+ const emitter = new emit_full_1.FullEmitter();
21
+ const files = [];
22
+ for (const sys of ir) {
23
+ for (const f of emitter.emit(sys)) {
24
+ files.push({ path: f.path, content: f.content });
25
+ }
26
+ }
27
+ files.sort((a, b) => a.path.localeCompare(b.path));
28
+ return JSON.stringify(files);
29
+ };
30
+ const run1 = compile();
31
+ const run2 = compile();
32
+ if (run1 === run2) {
33
+ const hash = (0, crypto_1.createHash)("sha256").update(run1).digest("hex").slice(0, 16);
34
+ console.log(`v Deterministic. Both runs produced identical output.`);
35
+ console.log(` Output hash: ${hash}`);
36
+ return;
37
+ }
38
+ const files1 = JSON.parse(run1);
39
+ const files2 = JSON.parse(run2);
40
+ for (let i = 0; i < Math.max(files1.length, files2.length); i++) {
41
+ const f1 = files1[i];
42
+ const f2 = files2[i];
43
+ if (!f1 || !f2 || f1.path !== f2.path || f1.content !== f2.content) {
44
+ console.error(`x NON-DETERMINISTIC: First divergence at file ${i}`);
45
+ console.error(` Run 1: ${f1?.path || "(missing)"}`);
46
+ console.error(` Run 2: ${f2?.path || "(missing)"}`);
47
+ if (f1 && f2 && f1.path === f2.path) {
48
+ const lines1 = f1.content.split("\n");
49
+ const lines2 = f2.content.split("\n");
50
+ for (let j = 0; j < Math.max(lines1.length, lines2.length); j++) {
51
+ if (lines1[j] !== lines2[j]) {
52
+ console.error(` First differing line ${j + 1}:`);
53
+ console.error(` Run 1: ${lines1[j]}`);
54
+ console.error(` Run 2: ${lines2[j]}`);
55
+ break;
56
+ }
57
+ }
58
+ }
59
+ process.exit(1);
60
+ }
61
+ }
62
+ }
63
+ exports.runVerifyDeterminism = runVerifyDeterminism;
64
+ //# sourceMappingURL=verify_determinism.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verify_determinism.js","sourceRoot":"","sources":["../../src/commands/verify_determinism.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,mCAAoC;AACpC,oCAAiC;AACjC,sCAAmC;AACnC,0CAAuC;AACvC,4CAA2C;AAE3C,SAAgB,oBAAoB,CAAC,MAAc;IACjD,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IAEpD,MAAM,OAAO,GAAG,GAAW,EAAE;QAC3B,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,MAAM,EAAE,GAAG,IAAI,mBAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,uBAAW,EAAE,CAAC;QAClC,MAAM,KAAK,GAAwC,EAAE,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,EAAE,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IAEvB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;QACtC,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAwC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,MAAM,GAAwC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAErE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;YACnE,OAAO,CAAC,KAAK,CAAC,iDAAiD,CAAC,EAAE,CAAC,CAAC;YACpE,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;YACrD,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;gBACpC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAChE,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC5B,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAClD,OAAO,CAAC,KAAK,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACzC,OAAO,CAAC,KAAK,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACzC,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAtDD,oDAsDC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * bonec watch <file>
3
+ * Recompile on every save.
4
+ */
5
+ export declare function runWatch(_source: string, resolved: string): void;
@@ -0,0 +1,50 @@
1
+ "use strict";
2
+ /**
3
+ * bonec watch <file>
4
+ * Recompile on every save.
5
+ */
6
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
7
+ if (k2 === undefined) k2 = k;
8
+ var desc = Object.getOwnPropertyDescriptor(m, k);
9
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
10
+ desc = { enumerable: true, get: function() { return m[k]; } };
11
+ }
12
+ Object.defineProperty(o, k2, desc);
13
+ }) : (function(o, m, k, k2) {
14
+ if (k2 === undefined) k2 = k;
15
+ o[k2] = m[k];
16
+ }));
17
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
18
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
19
+ }) : function(o, v) {
20
+ o["default"] = v;
21
+ });
22
+ var __importStar = (this && this.__importStar) || function (mod) {
23
+ if (mod && mod.__esModule) return mod;
24
+ var result = {};
25
+ if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
26
+ __setModuleDefault(result, mod);
27
+ return result;
28
+ };
29
+ Object.defineProperty(exports, "__esModule", { value: true });
30
+ exports.runWatch = void 0;
31
+ const fs = __importStar(require("fs"));
32
+ const compile_1 = require("./compile");
33
+ function runWatch(_source, resolved) {
34
+ console.log(`Watching ${resolved}...`);
35
+ const compile = () => {
36
+ fs.promises.readFile(resolved, "utf-8")
37
+ .then(fresh => {
38
+ console.log(`\n[${new Date().toLocaleTimeString()}] Compiling...`);
39
+ return (0, compile_1.runCompile)(fresh, resolved);
40
+ })
41
+ .catch((e) => console.error(`x ${e.message}`));
42
+ };
43
+ compile();
44
+ fs.watchFile(resolved, { interval: 500 }, (curr, prev) => {
45
+ if (curr.mtimeMs !== prev.mtimeMs)
46
+ compile();
47
+ });
48
+ }
49
+ exports.runWatch = runWatch;
50
+ //# sourceMappingURL=watch.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"watch.js","sourceRoot":"","sources":["../../src/commands/watch.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,uCAAuC;AAEvC,SAAgB,QAAQ,CAAC,OAAe,EAAE,QAAgB;IACxD,OAAO,CAAC,GAAG,CAAC,YAAY,QAAQ,KAAK,CAAC,CAAC;IAEvC,MAAM,OAAO,GAAG,GAAG,EAAE;QACnB,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;aACpC,IAAI,CAAC,KAAK,CAAC,EAAE;YACZ,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,CAAC;YACnE,OAAO,IAAA,oBAAU,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrC,CAAC,CAAC;aACD,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,OAAO,EAAE,CAAC;IACV,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;QACvD,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC;AAhBD,4BAgBC"}
@@ -0,0 +1,6 @@
1
+ /**
2
+ * BoneScript Auth Emitter
3
+ * Generates auth.ts — JWT middleware with production safety checks.
4
+ */
5
+ import * as IR from "./ir";
6
+ export declare function emitAuthMiddleware(_system: IR.IRSystem): string;
@@ -0,0 +1,69 @@
1
+ "use strict";
2
+ /**
3
+ * BoneScript Auth Emitter
4
+ * Generates auth.ts — JWT middleware with production safety checks.
5
+ */
6
+ Object.defineProperty(exports, "__esModule", { value: true });
7
+ exports.emitAuthMiddleware = void 0;
8
+ function emitAuthMiddleware(_system) {
9
+ return `// Generated by BoneScript compiler. DO NOT EDIT.
10
+ import { Request, Response, NextFunction } from "express";
11
+ import jwt from "jsonwebtoken";
12
+
13
+ // JWT_SECRET must be set in production. The server will refuse to start without it
14
+ // when NODE_ENV is "production" to prevent accidental use of a weak fallback.
15
+ const JWT_SECRET = (() => {
16
+ const secret = process.env.JWT_SECRET;
17
+ if (!secret) {
18
+ if (process.env.NODE_ENV === "production") {
19
+ console.error("[FATAL] JWT_SECRET environment variable is not set. Refusing to start in production.");
20
+ process.exit(1);
21
+ }
22
+ console.warn("[WARN] JWT_SECRET is not set. Using insecure default — do not use in production.");
23
+ return "bonescript-dev-secret-do-not-use-in-production";
24
+ }
25
+ if (secret.length < 32) {
26
+ console.warn("[WARN] JWT_SECRET is shorter than 32 characters. Use a longer secret in production.");
27
+ }
28
+ return secret;
29
+ })();
30
+
31
+ export interface AuthContext {
32
+ authenticated: boolean;
33
+ actor_id: string | null;
34
+ trace_id: string;
35
+ }
36
+
37
+ export function authMiddleware(req: Request, res: Response, next: NextFunction): void {
38
+ const header = req.headers.authorization;
39
+ if (!header || !header.startsWith("Bearer ")) {
40
+ (req as any).auth = { authenticated: false, actor_id: null, trace_id: req.headers["x-trace-id"] as string || "" };
41
+ next();
42
+ return;
43
+ }
44
+ try {
45
+ const token = header.slice(7);
46
+ const decoded = jwt.verify(token, JWT_SECRET) as { sub: string };
47
+ (req as any).auth = {
48
+ authenticated: true,
49
+ actor_id: decoded.sub,
50
+ trace_id: req.headers["x-trace-id"] as string || "",
51
+ };
52
+ } catch {
53
+ (req as any).auth = { authenticated: false, actor_id: null, trace_id: req.headers["x-trace-id"] as string || "" };
54
+ }
55
+ next();
56
+ }
57
+
58
+ export function requireAuth(req: Request, res: Response, next: NextFunction): void {
59
+ const auth: AuthContext = (req as any).auth;
60
+ if (!auth || !auth.authenticated) {
61
+ res.status(401).json({ error: { code: "UNAUTHORIZED", message: "Authentication required" } });
62
+ return;
63
+ }
64
+ next();
65
+ }
66
+ `;
67
+ }
68
+ exports.emitAuthMiddleware = emitAuthMiddleware;
69
+ //# sourceMappingURL=emit_auth.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"emit_auth.js","sourceRoot":"","sources":["../src/emit_auth.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,SAAgB,kBAAkB,CAAC,OAAoB;IACrD,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyDR,CAAC;AACF,CAAC;AA3DD,gDA2DC"}
@@ -2,6 +2,19 @@
2
2
  * BoneScript Capability Body Emitter
3
3
  *
4
4
  * Translates IR effects and preconditions into real TypeScript + SQL.
5
+ *
6
+ * Performance strategies applied (PERF-003):
7
+ *
8
+ * 1. Entity fetches — same-table fetches batched into WHERE id = ANY($1::uuid[])
9
+ * and resolved with a Map lookup. Different-table fetches run in parallel via
10
+ * Promise.all rather than sequentially.
11
+ *
12
+ * 2. Effect batching — multiple effects targeting the same entity+table are
13
+ * collapsed into a single UPDATE ... SET a=$1, b=$2 ... WHERE id = $n
14
+ * instead of one UPDATE per field.
15
+ *
16
+ * 3. LIST queries — combined with COUNT(*) OVER() window function to avoid a
17
+ * separate COUNT(*) round-trip (handled in emit_router.ts).
5
18
  */
6
19
  import * as IR from "./ir";
7
20
  export declare function emitCapabilityBody(method: IR.IRMethod, mod: IR.IRModule, system: IR.IRSystem, indent?: string): string;