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