bonescript-compiler 0.2.1 → 0.3.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 (146) 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 +183 -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 +69 -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 +235 -125
  47. package/dist/emit_capability.js.map +1 -1
  48. package/dist/emit_database.d.ts +7 -0
  49. package/dist/emit_database.js +74 -0
  50. package/dist/emit_database.js.map +1 -0
  51. package/dist/emit_deploy.js +162 -162
  52. package/dist/emit_events.js +274 -274
  53. package/dist/emit_full.js +102 -95
  54. package/dist/emit_full.js.map +1 -1
  55. package/dist/emit_index.d.ts +6 -0
  56. package/dist/emit_index.js +157 -0
  57. package/dist/emit_index.js.map +1 -0
  58. package/dist/emit_maintenance.js +249 -249
  59. package/dist/emit_package.d.ts +7 -0
  60. package/dist/emit_package.js +70 -0
  61. package/dist/emit_package.js.map +1 -0
  62. package/dist/emit_router.d.ts +12 -0
  63. package/dist/emit_router.js +375 -0
  64. package/dist/emit_router.js.map +1 -0
  65. package/dist/emit_runtime.d.ts +17 -11
  66. package/dist/emit_runtime.js +29 -686
  67. package/dist/emit_runtime.js.map +1 -1
  68. package/dist/emit_sourcemap.js +66 -66
  69. package/dist/extension_manager.d.ts +2 -2
  70. package/dist/extension_manager.js +6 -3
  71. package/dist/extension_manager.js.map +1 -1
  72. package/dist/lowering.d.ts +5 -14
  73. package/dist/lowering.js +32 -417
  74. package/dist/lowering.js.map +1 -1
  75. package/dist/lowering_channels.d.ts +11 -0
  76. package/dist/lowering_channels.js +102 -0
  77. package/dist/lowering_channels.js.map +1 -0
  78. package/dist/lowering_entities.d.ts +11 -0
  79. package/dist/lowering_entities.js +222 -0
  80. package/dist/lowering_entities.js.map +1 -0
  81. package/dist/lowering_helpers.d.ts +13 -0
  82. package/dist/lowering_helpers.js +76 -0
  83. package/dist/lowering_helpers.js.map +1 -0
  84. package/dist/module_loader.d.ts +2 -2
  85. package/dist/module_loader.js +20 -23
  86. package/dist/module_loader.js.map +1 -1
  87. package/dist/scaffold.d.ts +2 -2
  88. package/dist/scaffold.js +316 -319
  89. package/dist/scaffold.js.map +1 -1
  90. package/package.json +62 -52
  91. package/src/algorithm_catalog.ts +345 -345
  92. package/src/ast.ts +334 -334
  93. package/src/cli.ts +98 -624
  94. package/src/commands/check.ts +33 -0
  95. package/src/commands/compile.ts +160 -0
  96. package/src/commands/debug.ts +33 -0
  97. package/src/commands/diff.ts +108 -0
  98. package/src/commands/fmt.ts +22 -0
  99. package/src/commands/init.ts +46 -0
  100. package/src/commands/ir.ts +23 -0
  101. package/src/commands/lex.ts +17 -0
  102. package/src/commands/parse.ts +24 -0
  103. package/src/commands/test.ts +36 -0
  104. package/src/commands/verify_determinism.ts +66 -0
  105. package/src/commands/watch.ts +25 -0
  106. package/src/emit_auth.ts +67 -0
  107. package/src/emit_batch.ts +140 -140
  108. package/src/emit_capability.ts +562 -436
  109. package/src/emit_composition.ts +196 -196
  110. package/src/emit_database.ts +75 -0
  111. package/src/emit_deploy.ts +190 -190
  112. package/src/emit_events.ts +307 -307
  113. package/src/emit_extras.ts +240 -240
  114. package/src/emit_full.ts +316 -309
  115. package/src/emit_index.ts +161 -0
  116. package/src/emit_maintenance.ts +459 -459
  117. package/src/emit_package.ts +69 -0
  118. package/src/emit_router.ts +395 -0
  119. package/src/emit_runtime.ts +17 -728
  120. package/src/emit_sourcemap.ts +140 -140
  121. package/src/emit_tests.ts +205 -205
  122. package/src/emit_websocket.ts +229 -229
  123. package/src/emitter.ts +566 -566
  124. package/src/extension_manager.ts +189 -187
  125. package/src/formatter.ts +297 -297
  126. package/src/index.ts +88 -88
  127. package/src/ir.ts +215 -215
  128. package/src/lexer.ts +630 -630
  129. package/src/lowering.ts +124 -556
  130. package/src/lowering_channels.ts +107 -0
  131. package/src/lowering_entities.ts +248 -0
  132. package/src/lowering_helpers.ts +75 -0
  133. package/src/module_loader.ts +112 -114
  134. package/src/optimizer.ts +196 -196
  135. package/src/parse_decls.ts +409 -409
  136. package/src/parse_decls2.ts +244 -244
  137. package/src/parse_expr.ts +197 -197
  138. package/src/parse_types.ts +54 -54
  139. package/src/parser.ts +1 -1
  140. package/src/parser_base.ts +57 -57
  141. package/src/parser_recovery.ts +153 -153
  142. package/src/scaffold.ts +372 -375
  143. package/src/solver.ts +330 -330
  144. package/src/typechecker.ts +591 -591
  145. package/src/types.ts +122 -122
  146. package/src/verifier.ts +348 -348
package/src/scaffold.ts CHANGED
@@ -1,375 +1,372 @@
1
- /**
2
- * BoneScript Project Scaffolder — `bone init`
3
- * Creates a new BoneScript project with sensible defaults for a chosen domain.
4
- */
5
-
6
- import * as fs from "fs";
7
- import * as path from "path";
8
-
9
- export type ScaffoldDomain =
10
- | "multiplayer_game"
11
- | "saas_platform"
12
- | "iot_system"
13
- | "social_network"
14
- | "marketplace"
15
- | "realtime_collaboration";
16
-
17
- const TEMPLATES: Record<ScaffoldDomain, string> = {
18
- multiplayer_game: `system MyGame {
19
- domain: multiplayer_game
20
-
21
- entity Player {
22
- owns: [
23
- username: string,
24
- score: uint
25
- ]
26
- constraints: [
27
- username.unique,
28
- username.length in 3..32,
29
- score >= 0
30
- ]
31
- states: active -> suspended | deleted
32
- auth: jwt
33
- }
34
-
35
- capability award_points(player: Player, points: uint) {
36
- requires: [points > 0, player.state == "active"]
37
- effects: [player.score += points]
38
- sync: eventual
39
- }
40
-
41
- store PlayerStore {
42
- engine: postgresql
43
- schema: {
44
- id: uuid,
45
- username: string,
46
- score: uint,
47
- state: string
48
- }
49
- }
50
-
51
- channel game_lobby {
52
- transport: websocket
53
- ordering: causal
54
- participants: set<Player>
55
- persistence: last_100
56
- }
57
- }
58
- `,
59
-
60
- saas_platform: `system MySaaS {
61
- domain: saas_platform
62
-
63
- entity Tenant {
64
- owns: [
65
- name: string,
66
- plan: string,
67
- active: bool
68
- ]
69
- constraints: [
70
- name.length in 1..100,
71
- plan in ["free", "pro", "enterprise"]
72
- ]
73
- states: trialing -> active -> suspended | cancelled
74
- auth: oauth2
75
- }
76
-
77
- entity User {
78
- owns: [
79
- email: string,
80
- tenant_id: uuid,
81
- role: string
82
- ]
83
- constraints: [
84
- email.unique,
85
- role in ["admin", "member", "viewer"]
86
- ]
87
- auth: oauth2
88
- }
89
-
90
- capability invite_user(tenant: Tenant, email: string, role: string) {
91
- requires: [tenant.state == "active", role in ["admin", "member", "viewer"]]
92
- effects: []
93
- emits: UserInvited
94
- sync: transactional
95
- }
96
-
97
- event UserInvited {
98
- payload: {
99
- tenant_id: uuid,
100
- email: string,
101
- role: string,
102
- invited_at: timestamp
103
- }
104
- delivery: at_least_once
105
- ttl: 7d
106
- }
107
-
108
- store TenantStore {
109
- engine: postgresql
110
- schema: {
111
- id: uuid,
112
- name: string,
113
- plan: string,
114
- active: bool,
115
- state: string
116
- }
117
- }
118
- }
119
- `,
120
-
121
- iot_system: `system MyIoT {
122
- domain: iot_system
123
-
124
- entity Device {
125
- owns: [
126
- serial: string,
127
- firmware_version: string,
128
- last_seen: timestamp,
129
- battery: uint
130
- ]
131
- constraints: [
132
- serial.unique,
133
- battery <= 100
134
- ]
135
- states: online -> offline -> retired
136
- auth: apikey
137
- }
138
-
139
- entity Reading {
140
- owns: [
141
- device_id: uuid,
142
- sensor: string,
143
- value: float,
144
- recorded_at: timestamp
145
- ]
146
- }
147
-
148
- capability ingest_reading(device: Device, sensor: string, value: float) {
149
- requires: [device.state == "online"]
150
- effects: [device.last_seen = now()]
151
- emits: ReadingRecorded
152
- sync: eventual
153
- }
154
-
155
- event ReadingRecorded {
156
- payload: {
157
- device_id: uuid,
158
- sensor: string,
159
- value: float
160
- }
161
- delivery: at_least_once
162
- ttl: 1d
163
- }
164
-
165
- store DeviceStore {
166
- engine: dynamodb
167
- schema: {
168
- id: uuid,
169
- serial: string,
170
- firmware_version: string,
171
- battery: uint,
172
- state: string
173
- }
174
- }
175
- }
176
- `,
177
-
178
- social_network: `system MySocial {
179
- domain: social_network
180
-
181
- entity User {
182
- owns: [
183
- handle: string,
184
- display_name: string,
185
- followers: set<uuid>,
186
- following: set<uuid>
187
- ]
188
- constraints: [
189
- handle.unique,
190
- handle.length in 3..30
191
- ]
192
- auth: oauth2
193
- }
194
-
195
- entity Post {
196
- owns: [
197
- author_id: uuid,
198
- content: string,
199
- likes: uint
200
- ]
201
- constraints: [
202
- content.length in 1..500
203
- ]
204
- }
205
-
206
- capability follow_user(follower: User, target: User) {
207
- requires: [follower != target]
208
- effects: [
209
- follower.following += target.id,
210
- target.followers += follower.id
211
- ]
212
- sync: eventual
213
- }
214
-
215
- channel feed {
216
- transport: websocket
217
- ordering: causal
218
- participants: set<User>
219
- persistence: last_100
220
- }
221
- }
222
- `,
223
-
224
- marketplace: `system MyMarket {
225
- domain: marketplace
226
-
227
- entity Listing {
228
- owns: [
229
- seller_id: uuid,
230
- title: string,
231
- price: uint,
232
- stock: uint
233
- ]
234
- constraints: [
235
- title.length in 1..200,
236
- price > 0,
237
- stock >= 0
238
- ]
239
- states: draft -> active -> sold_out | archived
240
- auth: oauth2
241
- }
242
-
243
- entity Order {
244
- owns: [
245
- buyer_id: uuid,
246
- listing_id: uuid,
247
- quantity: uint,
248
- total: uint
249
- ]
250
- states: pending -> paid -> shipped -> delivered | cancelled
251
- }
252
-
253
- capability purchase(buyer: User, listing: Listing, qty: uint) {
254
- requires: [
255
- listing.state == "active",
256
- listing.stock >= qty
257
- ]
258
- effects: [
259
- listing.stock -= qty
260
- ]
261
- emits: OrderCreated
262
- sync: transactional
263
- }
264
-
265
- event OrderCreated {
266
- payload: {
267
- order_id: uuid,
268
- buyer_id: uuid,
269
- listing_id: uuid,
270
- total: uint
271
- }
272
- delivery: exactly_once
273
- ttl: 30d
274
- }
275
- }
276
- `,
277
-
278
- realtime_collaboration: `system MyCollab {
279
- domain: realtime_collaboration
280
-
281
- entity Document {
282
- owns: [
283
- title: string,
284
- owner_id: uuid,
285
- content: json,
286
- version: uint
287
- ]
288
- constraints: [
289
- version >= 1
290
- ]
291
- auth: jwt
292
- }
293
-
294
- entity Cursor {
295
- owns: [
296
- document_id: uuid,
297
- user_id: uuid,
298
- position: uint,
299
- color: string
300
- ]
301
- }
302
-
303
- capability apply_change(doc: Document, user: User, change: json) {
304
- requires: [doc.owner_id == user.id or doc.collaborators contains user.id]
305
- effects: [
306
- doc.version += 1,
307
- doc.content = change
308
- ]
309
- emits: DocumentChanged
310
- sync: realtime
311
- }
312
-
313
- channel doc_session {
314
- transport: websocket
315
- ordering: causal
316
- participants: set<User>
317
- persistence: last_1000
318
- }
319
-
320
- event DocumentChanged {
321
- payload: {
322
- document_id: uuid,
323
- user_id: uuid,
324
- version: uint
325
- }
326
- delivery: at_least_once
327
- ttl: 1d
328
- }
329
- }
330
- `,
331
- };
332
-
333
- export interface ScaffoldOptions {
334
- name: string;
335
- domain: ScaffoldDomain;
336
- outDir: string;
337
- }
338
-
339
- export function scaffold(opts: ScaffoldOptions): { created: string[] } {
340
- const created: string[] = [];
341
-
342
- if (!fs.existsSync(opts.outDir)) {
343
- fs.mkdirSync(opts.outDir, { recursive: true });
344
- }
345
-
346
- // Main .bone file
347
- const mainFile = path.join(opts.outDir, `${opts.name}.bone`);
348
- let content = TEMPLATES[opts.domain];
349
- // Replace placeholder system name with provided name
350
- content = content.replace(/^system \w+ \{/, `system ${pascalCase(opts.name)} {`);
351
- fs.writeFileSync(mainFile, content, "utf-8");
352
- created.push(mainFile);
353
-
354
- // README
355
- const readmePath = path.join(opts.outDir, "README.md");
356
- fs.writeFileSync(readmePath, `# ${opts.name}
357
-
358
- BoneScript project (domain: ${opts.domain}).
359
-
360
- ## Compile
361
-
362
- \`\`\`bash
363
- bone compile ${opts.name}.bone
364
- \`\`\`
365
-
366
- The output will be written to \`./output/\` as a complete Node.js project.
367
- `, "utf-8");
368
- created.push(readmePath);
369
-
370
- return { created };
371
- }
372
-
373
- function pascalCase(s: string): string {
374
- return s.replace(/(^|[-_\s])(\w)/g, (_, __, c) => c.toUpperCase());
375
- }
1
+ /**
2
+ * BoneScript Project Scaffolder — `bone init`
3
+ * Creates a new BoneScript project with sensible defaults for a chosen domain.
4
+ */
5
+
6
+ import * as fs from "fs";
7
+ import * as path from "path";
8
+
9
+ export type ScaffoldDomain =
10
+ | "multiplayer_game"
11
+ | "saas_platform"
12
+ | "iot_system"
13
+ | "social_network"
14
+ | "marketplace"
15
+ | "realtime_collaboration";
16
+
17
+ const TEMPLATES: Record<ScaffoldDomain, string> = {
18
+ multiplayer_game: `system MyGame {
19
+ domain: multiplayer_game
20
+
21
+ entity Player {
22
+ owns: [
23
+ username: string,
24
+ score: uint
25
+ ]
26
+ constraints: [
27
+ username.unique,
28
+ username.length in 3..32,
29
+ score >= 0
30
+ ]
31
+ states: active -> suspended | deleted
32
+ auth: jwt
33
+ }
34
+
35
+ capability award_points(player: Player, points: uint) {
36
+ requires: [points > 0, player.state == "active"]
37
+ effects: [player.score += points]
38
+ sync: eventual
39
+ }
40
+
41
+ store PlayerStore {
42
+ engine: postgresql
43
+ schema: {
44
+ id: uuid,
45
+ username: string,
46
+ score: uint,
47
+ state: string
48
+ }
49
+ }
50
+
51
+ channel game_lobby {
52
+ transport: websocket
53
+ ordering: causal
54
+ participants: set<Player>
55
+ persistence: last_100
56
+ }
57
+ }
58
+ `,
59
+
60
+ saas_platform: `system MySaaS {
61
+ domain: saas_platform
62
+
63
+ entity Tenant {
64
+ owns: [
65
+ name: string,
66
+ plan: string,
67
+ active: bool
68
+ ]
69
+ constraints: [
70
+ name.length in 1..100,
71
+ plan in ["free", "pro", "enterprise"]
72
+ ]
73
+ states: trialing -> active -> suspended | cancelled
74
+ auth: oauth2
75
+ }
76
+
77
+ entity User {
78
+ owns: [
79
+ email: string,
80
+ tenant_id: uuid,
81
+ role: string
82
+ ]
83
+ constraints: [
84
+ email.unique,
85
+ role in ["admin", "member", "viewer"]
86
+ ]
87
+ auth: oauth2
88
+ }
89
+
90
+ capability invite_user(tenant: Tenant, email: string, role: string) {
91
+ requires: [tenant.state == "active", role in ["admin", "member", "viewer"]]
92
+ effects: []
93
+ emits: UserInvited
94
+ sync: transactional
95
+ }
96
+
97
+ event UserInvited {
98
+ payload: {
99
+ tenant_id: uuid,
100
+ email: string,
101
+ role: string,
102
+ invited_at: timestamp
103
+ }
104
+ delivery: at_least_once
105
+ ttl: 7d
106
+ }
107
+
108
+ store TenantStore {
109
+ engine: postgresql
110
+ schema: {
111
+ id: uuid,
112
+ name: string,
113
+ plan: string,
114
+ active: bool,
115
+ state: string
116
+ }
117
+ }
118
+ }
119
+ `,
120
+
121
+ iot_system: `system MyIoT {
122
+ domain: iot_system
123
+
124
+ entity Device {
125
+ owns: [
126
+ serial: string,
127
+ firmware_version: string,
128
+ last_seen: timestamp,
129
+ battery: uint
130
+ ]
131
+ constraints: [
132
+ serial.unique,
133
+ battery <= 100
134
+ ]
135
+ states: online -> offline -> retired
136
+ auth: apikey
137
+ }
138
+
139
+ entity Reading {
140
+ owns: [
141
+ device_id: uuid,
142
+ sensor: string,
143
+ value: float,
144
+ recorded_at: timestamp
145
+ ]
146
+ }
147
+
148
+ capability ingest_reading(device: Device, sensor: string, value: float) {
149
+ requires: [device.state == "online"]
150
+ effects: [device.last_seen = now()]
151
+ emits: ReadingRecorded
152
+ sync: eventual
153
+ }
154
+
155
+ event ReadingRecorded {
156
+ payload: {
157
+ device_id: uuid,
158
+ sensor: string,
159
+ value: float
160
+ }
161
+ delivery: at_least_once
162
+ ttl: 1d
163
+ }
164
+
165
+ store DeviceStore {
166
+ engine: dynamodb
167
+ schema: {
168
+ id: uuid,
169
+ serial: string,
170
+ firmware_version: string,
171
+ battery: uint,
172
+ state: string
173
+ }
174
+ }
175
+ }
176
+ `,
177
+
178
+ social_network: `system MySocial {
179
+ domain: social_network
180
+
181
+ entity User {
182
+ owns: [
183
+ handle: string,
184
+ display_name: string,
185
+ followers: set<uuid>,
186
+ following: set<uuid>
187
+ ]
188
+ constraints: [
189
+ handle.unique,
190
+ handle.length in 3..30
191
+ ]
192
+ auth: oauth2
193
+ }
194
+
195
+ entity Post {
196
+ owns: [
197
+ author_id: uuid,
198
+ content: string,
199
+ likes: uint
200
+ ]
201
+ constraints: [
202
+ content.length in 1..500
203
+ ]
204
+ }
205
+
206
+ capability follow_user(follower: User, target: User) {
207
+ requires: [follower != target]
208
+ effects: [
209
+ follower.following += target.id,
210
+ target.followers += follower.id
211
+ ]
212
+ sync: eventual
213
+ }
214
+
215
+ channel feed {
216
+ transport: websocket
217
+ ordering: causal
218
+ participants: set<User>
219
+ persistence: last_100
220
+ }
221
+ }
222
+ `,
223
+
224
+ marketplace: `system MyMarket {
225
+ domain: marketplace
226
+
227
+ entity Listing {
228
+ owns: [
229
+ seller_id: uuid,
230
+ title: string,
231
+ price: uint,
232
+ stock: uint
233
+ ]
234
+ constraints: [
235
+ title.length in 1..200,
236
+ price > 0,
237
+ stock >= 0
238
+ ]
239
+ states: draft -> active -> sold_out | archived
240
+ auth: oauth2
241
+ }
242
+
243
+ entity Order {
244
+ owns: [
245
+ buyer_id: uuid,
246
+ listing_id: uuid,
247
+ quantity: uint,
248
+ total: uint
249
+ ]
250
+ states: pending -> paid -> shipped -> delivered | cancelled
251
+ }
252
+
253
+ capability purchase(buyer: User, listing: Listing, qty: uint) {
254
+ requires: [
255
+ listing.state == "active",
256
+ listing.stock >= qty
257
+ ]
258
+ effects: [
259
+ listing.stock -= qty
260
+ ]
261
+ emits: OrderCreated
262
+ sync: transactional
263
+ }
264
+
265
+ event OrderCreated {
266
+ payload: {
267
+ order_id: uuid,
268
+ buyer_id: uuid,
269
+ listing_id: uuid,
270
+ total: uint
271
+ }
272
+ delivery: exactly_once
273
+ ttl: 30d
274
+ }
275
+ }
276
+ `,
277
+
278
+ realtime_collaboration: `system MyCollab {
279
+ domain: realtime_collaboration
280
+
281
+ entity Document {
282
+ owns: [
283
+ title: string,
284
+ owner_id: uuid,
285
+ content: json,
286
+ version: uint
287
+ ]
288
+ constraints: [
289
+ version >= 1
290
+ ]
291
+ auth: jwt
292
+ }
293
+
294
+ entity Cursor {
295
+ owns: [
296
+ document_id: uuid,
297
+ user_id: uuid,
298
+ position: uint,
299
+ color: string
300
+ ]
301
+ }
302
+
303
+ capability apply_change(doc: Document, user: User, change: json) {
304
+ requires: [doc.owner_id == user.id or doc.collaborators contains user.id]
305
+ effects: [
306
+ doc.version += 1,
307
+ doc.content = change
308
+ ]
309
+ emits: DocumentChanged
310
+ sync: realtime
311
+ }
312
+
313
+ channel doc_session {
314
+ transport: websocket
315
+ ordering: causal
316
+ participants: set<User>
317
+ persistence: last_1000
318
+ }
319
+
320
+ event DocumentChanged {
321
+ payload: {
322
+ document_id: uuid,
323
+ user_id: uuid,
324
+ version: uint
325
+ }
326
+ delivery: at_least_once
327
+ ttl: 1d
328
+ }
329
+ }
330
+ `,
331
+ };
332
+
333
+ export interface ScaffoldOptions {
334
+ name: string;
335
+ domain: ScaffoldDomain;
336
+ outDir: string;
337
+ }
338
+
339
+ export async function scaffold(opts: ScaffoldOptions): Promise<{ created: string[] }> {
340
+ const created: string[] = [];
341
+
342
+ await fs.promises.mkdir(opts.outDir, { recursive: true });
343
+
344
+ // Main .bone file
345
+ const mainFile = path.join(opts.outDir, `${opts.name}.bone`);
346
+ let content = TEMPLATES[opts.domain];
347
+ content = content.replace(/^system \w+ \{/, `system ${pascalCase(opts.name)} {`);
348
+ await fs.promises.writeFile(mainFile, content, "utf-8");
349
+ created.push(mainFile);
350
+
351
+ // README
352
+ const readmePath = path.join(opts.outDir, "README.md");
353
+ await fs.promises.writeFile(readmePath, `# ${opts.name}
354
+
355
+ BoneScript project (domain: ${opts.domain}).
356
+
357
+ ## Compile
358
+
359
+ \`\`\`bash
360
+ bonec compile ${opts.name}.bone
361
+ \`\`\`
362
+
363
+ The output will be written to \`./output/\` as a complete Node.js project.
364
+ `, "utf-8");
365
+ created.push(readmePath);
366
+
367
+ return { created };
368
+ }
369
+
370
+ function pascalCase(s: string): string {
371
+ return s.replace(/(^|[-_\s])(\w)/g, (_, __, c) => c.toUpperCase());
372
+ }