bonescript-compiler 0.5.2 → 0.5.4

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 (187) hide show
  1. package/LICENSE +21 -21
  2. package/dist/algorithm_catalog.js +166 -166
  3. package/dist/cli.d.ts +1 -2
  4. package/dist/cli.js +543 -75
  5. package/dist/cli.js.map +1 -1
  6. package/dist/emit_capability.d.ts +0 -13
  7. package/dist/emit_capability.js +128 -292
  8. package/dist/emit_capability.js.map +1 -1
  9. package/dist/emit_composition.js +3 -37
  10. package/dist/emit_composition.js.map +1 -1
  11. package/dist/emit_deploy.js +162 -162
  12. package/dist/emit_events.d.ts +0 -1
  13. package/dist/emit_events.js +275 -342
  14. package/dist/emit_events.js.map +1 -1
  15. package/dist/emit_full.js +106 -268
  16. package/dist/emit_full.js.map +1 -1
  17. package/dist/emit_maintenance.js +249 -249
  18. package/dist/emit_runtime.d.ts +11 -17
  19. package/dist/emit_runtime.js +688 -29
  20. package/dist/emit_runtime.js.map +1 -1
  21. package/dist/emit_sourcemap.js +66 -66
  22. package/dist/emit_tests.js +0 -37
  23. package/dist/emit_tests.js.map +1 -1
  24. package/dist/emitter.js +16 -82
  25. package/dist/emitter.js.map +1 -1
  26. package/dist/extension_manager.d.ts +2 -2
  27. package/dist/extension_manager.js +3 -6
  28. package/dist/extension_manager.js.map +1 -1
  29. package/dist/ir.d.ts +0 -4
  30. package/dist/lowering.d.ts +14 -5
  31. package/dist/lowering.js +417 -66
  32. package/dist/lowering.js.map +1 -1
  33. package/dist/module_loader.d.ts +2 -2
  34. package/dist/module_loader.js +23 -20
  35. package/dist/module_loader.js.map +1 -1
  36. package/dist/optimizer.js +1 -1
  37. package/dist/optimizer.js.map +1 -1
  38. package/dist/scaffold.d.ts +2 -2
  39. package/dist/scaffold.js +319 -315
  40. package/dist/scaffold.js.map +1 -1
  41. package/dist/source_map.js.map +1 -0
  42. package/dist/test.js.map +1 -0
  43. package/dist/test_typechecker.d.ts +5 -0
  44. package/dist/test_typechecker.js +126 -0
  45. package/dist/test_typechecker.js.map +1 -0
  46. package/dist/typechecker.d.ts +0 -5
  47. package/dist/typechecker.js +13 -68
  48. package/dist/typechecker.js.map +1 -1
  49. package/dist/verifier.d.ts +1 -5
  50. package/dist/verifier.js +35 -140
  51. package/dist/verifier.js.map +1 -1
  52. package/package.json +52 -62
  53. package/src/algorithm_catalog.ts +345 -345
  54. package/src/ast.d.ts +244 -0
  55. package/src/ast.ts +334 -334
  56. package/src/cli.ts +624 -98
  57. package/src/emit_batch.ts +140 -140
  58. package/src/emit_capability.ts +436 -617
  59. package/src/emit_composition.ts +196 -229
  60. package/src/emit_deploy.ts +190 -190
  61. package/src/emit_events.ts +307 -377
  62. package/src/emit_extras.ts +240 -240
  63. package/src/emit_full.ts +309 -475
  64. package/src/emit_maintenance.ts +459 -459
  65. package/src/emit_runtime.ts +730 -17
  66. package/src/emit_sourcemap.ts +140 -140
  67. package/src/emit_tests.ts +205 -246
  68. package/src/emit_websocket.ts +229 -229
  69. package/src/emitter.ts +578 -642
  70. package/src/extension_manager.ts +187 -189
  71. package/src/formatter.ts +297 -297
  72. package/src/index.ts +88 -88
  73. package/src/ir.ts +215 -216
  74. package/src/lexer.d.ts +195 -0
  75. package/src/lexer.ts +630 -630
  76. package/src/lowering.ts +556 -168
  77. package/src/module_loader.ts +114 -112
  78. package/src/optimizer.ts +196 -196
  79. package/src/parse_decls.d.ts +13 -0
  80. package/src/parse_decls.ts +409 -409
  81. package/src/parse_decls2.d.ts +13 -0
  82. package/src/parse_decls2.ts +244 -244
  83. package/src/parse_expr.d.ts +7 -0
  84. package/src/parse_expr.ts +197 -197
  85. package/src/parse_types.d.ts +6 -0
  86. package/src/parse_types.ts +54 -54
  87. package/src/parser.d.ts +10 -0
  88. package/src/parser.ts +1 -1
  89. package/src/parser_base.d.ts +19 -0
  90. package/src/parser_base.ts +57 -57
  91. package/src/parser_recovery.ts +153 -153
  92. package/src/scaffold.ts +375 -371
  93. package/src/solver.ts +330 -330
  94. package/src/typechecker.d.ts +52 -0
  95. package/src/typechecker.ts +591 -657
  96. package/src/types.d.ts +38 -0
  97. package/src/types.ts +122 -122
  98. package/src/verifier.ts +46 -152
  99. package/README.md +0 -382
  100. package/dist/commands/check.d.ts +0 -5
  101. package/dist/commands/check.js +0 -34
  102. package/dist/commands/check.js.map +0 -1
  103. package/dist/commands/compile.d.ts +0 -5
  104. package/dist/commands/compile.js +0 -215
  105. package/dist/commands/compile.js.map +0 -1
  106. package/dist/commands/debug.d.ts +0 -5
  107. package/dist/commands/debug.js +0 -59
  108. package/dist/commands/debug.js.map +0 -1
  109. package/dist/commands/diff.d.ts +0 -5
  110. package/dist/commands/diff.js +0 -125
  111. package/dist/commands/diff.js.map +0 -1
  112. package/dist/commands/fmt.d.ts +0 -5
  113. package/dist/commands/fmt.js +0 -49
  114. package/dist/commands/fmt.js.map +0 -1
  115. package/dist/commands/init.d.ts +0 -5
  116. package/dist/commands/init.js +0 -96
  117. package/dist/commands/init.js.map +0 -1
  118. package/dist/commands/ir.d.ts +0 -5
  119. package/dist/commands/ir.js +0 -27
  120. package/dist/commands/ir.js.map +0 -1
  121. package/dist/commands/lex.d.ts +0 -5
  122. package/dist/commands/lex.js +0 -21
  123. package/dist/commands/lex.js.map +0 -1
  124. package/dist/commands/parse.d.ts +0 -5
  125. package/dist/commands/parse.js +0 -30
  126. package/dist/commands/parse.js.map +0 -1
  127. package/dist/commands/test.d.ts +0 -5
  128. package/dist/commands/test.js +0 -61
  129. package/dist/commands/test.js.map +0 -1
  130. package/dist/commands/verify_determinism.d.ts +0 -5
  131. package/dist/commands/verify_determinism.js +0 -64
  132. package/dist/commands/verify_determinism.js.map +0 -1
  133. package/dist/commands/watch.d.ts +0 -5
  134. package/dist/commands/watch.js +0 -50
  135. package/dist/commands/watch.js.map +0 -1
  136. package/dist/emit_auth.d.ts +0 -18
  137. package/dist/emit_auth.js +0 -507
  138. package/dist/emit_auth.js.map +0 -1
  139. package/dist/emit_database.d.ts +0 -7
  140. package/dist/emit_database.js +0 -74
  141. package/dist/emit_database.js.map +0 -1
  142. package/dist/emit_index.d.ts +0 -6
  143. package/dist/emit_index.js +0 -202
  144. package/dist/emit_index.js.map +0 -1
  145. package/dist/emit_models.d.ts +0 -12
  146. package/dist/emit_models.js +0 -171
  147. package/dist/emit_models.js.map +0 -1
  148. package/dist/emit_openapi.d.ts +0 -9
  149. package/dist/emit_openapi.js +0 -308
  150. package/dist/emit_openapi.js.map +0 -1
  151. package/dist/emit_package.d.ts +0 -7
  152. package/dist/emit_package.js +0 -70
  153. package/dist/emit_package.js.map +0 -1
  154. package/dist/emit_router.d.ts +0 -12
  155. package/dist/emit_router.js +0 -390
  156. package/dist/emit_router.js.map +0 -1
  157. package/dist/lowering_channels.d.ts +0 -11
  158. package/dist/lowering_channels.js +0 -103
  159. package/dist/lowering_channels.js.map +0 -1
  160. package/dist/lowering_entities.d.ts +0 -11
  161. package/dist/lowering_entities.js +0 -232
  162. package/dist/lowering_entities.js.map +0 -1
  163. package/dist/lowering_helpers.d.ts +0 -13
  164. package/dist/lowering_helpers.js +0 -76
  165. package/dist/lowering_helpers.js.map +0 -1
  166. package/src/commands/check.ts +0 -33
  167. package/src/commands/compile.ts +0 -191
  168. package/src/commands/debug.ts +0 -33
  169. package/src/commands/diff.ts +0 -108
  170. package/src/commands/fmt.ts +0 -22
  171. package/src/commands/init.ts +0 -72
  172. package/src/commands/ir.ts +0 -23
  173. package/src/commands/lex.ts +0 -17
  174. package/src/commands/parse.ts +0 -24
  175. package/src/commands/test.ts +0 -36
  176. package/src/commands/verify_determinism.ts +0 -66
  177. package/src/commands/watch.ts +0 -25
  178. package/src/emit_auth.ts +0 -513
  179. package/src/emit_database.ts +0 -75
  180. package/src/emit_index.ts +0 -210
  181. package/src/emit_models.ts +0 -176
  182. package/src/emit_openapi.ts +0 -318
  183. package/src/emit_package.ts +0 -69
  184. package/src/emit_router.ts +0 -409
  185. package/src/lowering_channels.ts +0 -108
  186. package/src/lowering_entities.ts +0 -258
  187. package/src/lowering_helpers.ts +0 -75
package/dist/scaffold.js CHANGED
@@ -31,336 +31,340 @@ exports.scaffold = void 0;
31
31
  const fs = __importStar(require("fs"));
32
32
  const path = __importStar(require("path"));
33
33
  const TEMPLATES = {
34
- multiplayer_game: `system MyGame {
35
- domain: multiplayer_game
36
-
37
- entity Player {
38
- owns: [
39
- username: string,
40
- score: uint
41
- ]
42
- constraints: [
43
- username.unique,
44
- username.length in 3..32,
45
- score >= 0
46
- ]
47
- states: active -> suspended | deleted
48
- auth: jwt
49
- }
50
-
51
- capability award_points(player: Player, points: uint) {
52
- requires: [points > 0, player.state == "active"]
53
- effects: [player.score += points]
54
- sync: eventual
55
- }
56
-
57
- store PlayerStore {
58
- engine: postgresql
59
- schema: {
60
- id: uuid,
61
- username: string,
62
- score: uint,
63
- state: string
64
- }
65
- }
66
-
67
- channel game_lobby {
68
- transport: websocket
69
- ordering: causal
70
- participants: set<Player>
71
- persistence: last_100
72
- }
73
- }
34
+ multiplayer_game: `system MyGame {
35
+ domain: multiplayer_game
36
+
37
+ entity Player {
38
+ owns: [
39
+ username: string,
40
+ score: uint
41
+ ]
42
+ constraints: [
43
+ username.unique,
44
+ username.length in 3..32,
45
+ score >= 0
46
+ ]
47
+ states: active -> suspended | deleted
48
+ auth: jwt
49
+ }
50
+
51
+ capability award_points(player: Player, points: uint) {
52
+ requires: [points > 0, player.state == "active"]
53
+ effects: [player.score += points]
54
+ sync: eventual
55
+ }
56
+
57
+ store PlayerStore {
58
+ engine: postgresql
59
+ schema: {
60
+ id: uuid,
61
+ username: string,
62
+ score: uint,
63
+ state: string
64
+ }
65
+ }
66
+
67
+ channel game_lobby {
68
+ transport: websocket
69
+ ordering: causal
70
+ participants: set<Player>
71
+ persistence: last_100
72
+ }
73
+ }
74
74
  `,
75
- saas_platform: `system MySaaS {
76
- domain: saas_platform
77
-
78
- entity Tenant {
79
- owns: [
80
- name: string,
81
- plan: string,
82
- active: bool
83
- ]
84
- constraints: [
85
- name.length in 1..100,
86
- plan in ["free", "pro", "enterprise"]
87
- ]
88
- states: trialing -> active -> suspended | cancelled
89
- auth: oauth2
90
- }
91
-
92
- entity User {
93
- owns: [
94
- email: string,
95
- tenant_id: uuid,
96
- role: string
97
- ]
98
- constraints: [
99
- email.unique,
100
- role in ["admin", "member", "viewer"]
101
- ]
102
- auth: oauth2
103
- }
104
-
105
- capability invite_user(tenant: Tenant, email: string, role: string) {
106
- requires: [tenant.state == "active", role in ["admin", "member", "viewer"]]
107
- effects: []
108
- emits: UserInvited
109
- sync: transactional
110
- }
111
-
112
- event UserInvited {
113
- payload: {
114
- tenant_id: uuid,
115
- email: string,
116
- role: string,
117
- invited_at: timestamp
118
- }
119
- delivery: at_least_once
120
- ttl: 7d
121
- }
122
-
123
- store TenantStore {
124
- engine: postgresql
125
- schema: {
126
- id: uuid,
127
- name: string,
128
- plan: string,
129
- active: bool,
130
- state: string
131
- }
132
- }
133
- }
75
+ saas_platform: `system MySaaS {
76
+ domain: saas_platform
77
+
78
+ entity Tenant {
79
+ owns: [
80
+ name: string,
81
+ plan: string,
82
+ active: bool
83
+ ]
84
+ constraints: [
85
+ name.length in 1..100,
86
+ plan in ["free", "pro", "enterprise"]
87
+ ]
88
+ states: trialing -> active -> suspended | cancelled
89
+ auth: oauth2
90
+ }
91
+
92
+ entity User {
93
+ owns: [
94
+ email: string,
95
+ tenant_id: uuid,
96
+ role: string
97
+ ]
98
+ constraints: [
99
+ email.unique,
100
+ role in ["admin", "member", "viewer"]
101
+ ]
102
+ auth: oauth2
103
+ }
104
+
105
+ capability invite_user(tenant: Tenant, email: string, role: string) {
106
+ requires: [tenant.state == "active", role in ["admin", "member", "viewer"]]
107
+ effects: []
108
+ emits: UserInvited
109
+ sync: transactional
110
+ }
111
+
112
+ event UserInvited {
113
+ payload: {
114
+ tenant_id: uuid,
115
+ email: string,
116
+ role: string,
117
+ invited_at: timestamp
118
+ }
119
+ delivery: at_least_once
120
+ ttl: 7d
121
+ }
122
+
123
+ store TenantStore {
124
+ engine: postgresql
125
+ schema: {
126
+ id: uuid,
127
+ name: string,
128
+ plan: string,
129
+ active: bool,
130
+ state: string
131
+ }
132
+ }
133
+ }
134
134
  `,
135
- iot_system: `system MyIoT {
136
- domain: iot_system
137
-
138
- entity Device {
139
- owns: [
140
- serial: string,
141
- firmware_version: string,
142
- last_seen: timestamp,
143
- battery: uint
144
- ]
145
- constraints: [
146
- serial.unique,
147
- battery <= 100
148
- ]
149
- states: online -> offline -> retired
150
- auth: apikey
151
- }
152
-
153
- entity Reading {
154
- owns: [
155
- device_id: uuid,
156
- sensor: string,
157
- value: float,
158
- recorded_at: timestamp
159
- ]
160
- }
161
-
162
- capability ingest_reading(device: Device, sensor: string, value: float) {
163
- requires: [device.state == "online"]
164
- effects: [device.last_seen = now()]
165
- emits: ReadingRecorded
166
- sync: eventual
167
- }
168
-
169
- event ReadingRecorded {
170
- payload: {
171
- device_id: uuid,
172
- sensor: string,
173
- value: float
174
- }
175
- delivery: at_least_once
176
- ttl: 1d
177
- }
178
-
179
- store DeviceStore {
180
- schema: {
181
- id: uuid,
182
- serial: string,
183
- firmware_version: string,
184
- battery: uint,
185
- state: string
186
- }
187
- }
188
- }
135
+ iot_system: `system MyIoT {
136
+ domain: iot_system
137
+
138
+ entity Device {
139
+ owns: [
140
+ serial: string,
141
+ firmware_version: string,
142
+ last_seen: timestamp,
143
+ battery: uint
144
+ ]
145
+ constraints: [
146
+ serial.unique,
147
+ battery <= 100
148
+ ]
149
+ states: online -> offline -> retired
150
+ auth: apikey
151
+ }
152
+
153
+ entity Reading {
154
+ owns: [
155
+ device_id: uuid,
156
+ sensor: string,
157
+ value: float,
158
+ recorded_at: timestamp
159
+ ]
160
+ }
161
+
162
+ capability ingest_reading(device: Device, sensor: string, value: float) {
163
+ requires: [device.state == "online"]
164
+ effects: [device.last_seen = now()]
165
+ emits: ReadingRecorded
166
+ sync: eventual
167
+ }
168
+
169
+ event ReadingRecorded {
170
+ payload: {
171
+ device_id: uuid,
172
+ sensor: string,
173
+ value: float
174
+ }
175
+ delivery: at_least_once
176
+ ttl: 1d
177
+ }
178
+
179
+ store DeviceStore {
180
+ engine: dynamodb
181
+ schema: {
182
+ id: uuid,
183
+ serial: string,
184
+ firmware_version: string,
185
+ battery: uint,
186
+ state: string
187
+ }
188
+ }
189
+ }
189
190
  `,
190
- social_network: `system MySocial {
191
- domain: social_network
192
-
193
- entity User {
194
- owns: [
195
- handle: string,
196
- display_name: string,
197
- followers: set<uuid>,
198
- following: set<uuid>
199
- ]
200
- constraints: [
201
- handle.unique,
202
- handle.length in 3..30
203
- ]
204
- auth: oauth2
205
- }
206
-
207
- entity Post {
208
- owns: [
209
- author_id: uuid,
210
- content: string,
211
- likes: uint
212
- ]
213
- constraints: [
214
- content.length in 1..500
215
- ]
216
- }
217
-
218
- capability follow_user(follower: User, target: User) {
219
- requires: [follower != target]
220
- effects: [
221
- follower.following += target.id,
222
- target.followers += follower.id
223
- ]
224
- sync: eventual
225
- }
226
-
227
- channel feed {
228
- transport: websocket
229
- ordering: causal
230
- participants: set<User>
231
- persistence: last_100
232
- }
233
- }
191
+ social_network: `system MySocial {
192
+ domain: social_network
193
+
194
+ entity User {
195
+ owns: [
196
+ handle: string,
197
+ display_name: string,
198
+ followers: set<uuid>,
199
+ following: set<uuid>
200
+ ]
201
+ constraints: [
202
+ handle.unique,
203
+ handle.length in 3..30
204
+ ]
205
+ auth: oauth2
206
+ }
207
+
208
+ entity Post {
209
+ owns: [
210
+ author_id: uuid,
211
+ content: string,
212
+ likes: uint
213
+ ]
214
+ constraints: [
215
+ content.length in 1..500
216
+ ]
217
+ }
218
+
219
+ capability follow_user(follower: User, target: User) {
220
+ requires: [follower != target]
221
+ effects: [
222
+ follower.following += target.id,
223
+ target.followers += follower.id
224
+ ]
225
+ sync: eventual
226
+ }
227
+
228
+ channel feed {
229
+ transport: websocket
230
+ ordering: causal
231
+ participants: set<User>
232
+ persistence: last_100
233
+ }
234
+ }
234
235
  `,
235
- marketplace: `system MyMarket {
236
- domain: marketplace
237
-
238
- entity Listing {
239
- owns: [
240
- seller_id: uuid,
241
- title: string,
242
- price: uint,
243
- stock: uint
244
- ]
245
- constraints: [
246
- title.length in 1..200,
247
- price > 0,
248
- stock >= 0
249
- ]
250
- states: draft -> active -> sold_out | archived
251
- auth: oauth2
252
- }
253
-
254
- entity Order {
255
- owns: [
256
- buyer_id: uuid,
257
- listing_id: uuid,
258
- quantity: uint,
259
- total: uint
260
- ]
261
- states: pending -> paid -> shipped -> delivered | cancelled
262
- }
263
-
264
- capability purchase(buyer: User, listing: Listing, qty: uint) {
265
- requires: [
266
- listing.state == "active",
267
- listing.stock >= qty
268
- ]
269
- effects: [
270
- listing.stock -= qty
271
- ]
272
- emits: OrderCreated
273
- sync: transactional
274
- }
275
-
276
- event OrderCreated {
277
- payload: {
278
- order_id: uuid,
279
- buyer_id: uuid,
280
- listing_id: uuid,
281
- total: uint
282
- }
283
- delivery: exactly_once
284
- ttl: 30d
285
- }
286
- }
236
+ marketplace: `system MyMarket {
237
+ domain: marketplace
238
+
239
+ entity Listing {
240
+ owns: [
241
+ seller_id: uuid,
242
+ title: string,
243
+ price: uint,
244
+ stock: uint
245
+ ]
246
+ constraints: [
247
+ title.length in 1..200,
248
+ price > 0,
249
+ stock >= 0
250
+ ]
251
+ states: draft -> active -> sold_out | archived
252
+ auth: oauth2
253
+ }
254
+
255
+ entity Order {
256
+ owns: [
257
+ buyer_id: uuid,
258
+ listing_id: uuid,
259
+ quantity: uint,
260
+ total: uint
261
+ ]
262
+ states: pending -> paid -> shipped -> delivered | cancelled
263
+ }
264
+
265
+ capability purchase(buyer: User, listing: Listing, qty: uint) {
266
+ requires: [
267
+ listing.state == "active",
268
+ listing.stock >= qty
269
+ ]
270
+ effects: [
271
+ listing.stock -= qty
272
+ ]
273
+ emits: OrderCreated
274
+ sync: transactional
275
+ }
276
+
277
+ event OrderCreated {
278
+ payload: {
279
+ order_id: uuid,
280
+ buyer_id: uuid,
281
+ listing_id: uuid,
282
+ total: uint
283
+ }
284
+ delivery: exactly_once
285
+ ttl: 30d
286
+ }
287
+ }
287
288
  `,
288
- realtime_collaboration: `system MyCollab {
289
- domain: realtime_collaboration
290
-
291
- entity Document {
292
- owns: [
293
- title: string,
294
- owner_id: uuid,
295
- content: json,
296
- version: uint
297
- ]
298
- constraints: [
299
- version >= 1
300
- ]
301
- auth: jwt
302
- }
303
-
304
- entity Cursor {
305
- owns: [
306
- document_id: uuid,
307
- user_id: uuid,
308
- position: uint,
309
- color: string
310
- ]
311
- }
312
-
313
- capability apply_change(doc: Document, user: User, change: json) {
314
- requires: [doc.owner_id == user.id or doc.collaborators contains user.id]
315
- effects: [
316
- doc.version += 1,
317
- doc.content = change
318
- ]
319
- emits: DocumentChanged
320
- sync: realtime
321
- }
322
-
323
- channel doc_session {
324
- transport: websocket
325
- ordering: causal
326
- participants: set<User>
327
- persistence: last_1000
328
- }
329
-
330
- event DocumentChanged {
331
- payload: {
332
- document_id: uuid,
333
- user_id: uuid,
334
- version: uint
335
- }
336
- delivery: at_least_once
337
- ttl: 1d
338
- }
339
- }
289
+ realtime_collaboration: `system MyCollab {
290
+ domain: realtime_collaboration
291
+
292
+ entity Document {
293
+ owns: [
294
+ title: string,
295
+ owner_id: uuid,
296
+ content: json,
297
+ version: uint
298
+ ]
299
+ constraints: [
300
+ version >= 1
301
+ ]
302
+ auth: jwt
303
+ }
304
+
305
+ entity Cursor {
306
+ owns: [
307
+ document_id: uuid,
308
+ user_id: uuid,
309
+ position: uint,
310
+ color: string
311
+ ]
312
+ }
313
+
314
+ capability apply_change(doc: Document, user: User, change: json) {
315
+ requires: [doc.owner_id == user.id or doc.collaborators contains user.id]
316
+ effects: [
317
+ doc.version += 1,
318
+ doc.content = change
319
+ ]
320
+ emits: DocumentChanged
321
+ sync: realtime
322
+ }
323
+
324
+ channel doc_session {
325
+ transport: websocket
326
+ ordering: causal
327
+ participants: set<User>
328
+ persistence: last_1000
329
+ }
330
+
331
+ event DocumentChanged {
332
+ payload: {
333
+ document_id: uuid,
334
+ user_id: uuid,
335
+ version: uint
336
+ }
337
+ delivery: at_least_once
338
+ ttl: 1d
339
+ }
340
+ }
340
341
  `,
341
342
  };
342
- async function scaffold(opts) {
343
+ function scaffold(opts) {
343
344
  const created = [];
344
- await fs.promises.mkdir(opts.outDir, { recursive: true });
345
+ if (!fs.existsSync(opts.outDir)) {
346
+ fs.mkdirSync(opts.outDir, { recursive: true });
347
+ }
345
348
  // Main .bone file
346
349
  const mainFile = path.join(opts.outDir, `${opts.name}.bone`);
347
350
  let content = TEMPLATES[opts.domain];
351
+ // Replace placeholder system name with provided name
348
352
  content = content.replace(/^system \w+ \{/, `system ${pascalCase(opts.name)} {`);
349
- await fs.promises.writeFile(mainFile, content, "utf-8");
353
+ fs.writeFileSync(mainFile, content, "utf-8");
350
354
  created.push(mainFile);
351
355
  // README
352
356
  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.
357
+ fs.writeFileSync(readmePath, `# ${opts.name}
358
+
359
+ BoneScript project (domain: ${opts.domain}).
360
+
361
+ ## Compile
362
+
363
+ \`\`\`bash
364
+ bone compile ${opts.name}.bone
365
+ \`\`\`
366
+
367
+ The output will be written to \`./output/\` as a complete Node.js project.
364
368
  `, "utf-8");
365
369
  created.push(readmePath);
366
370
  return { created };
@@ -1 +1 @@
1
- {"version":3,"file":"scaffold.js","sourceRoot":"","sources":["../src/scaffold.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAU7B,MAAM,SAAS,GAAmC;IAChD,gBAAgB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwCnB;IAEC,aAAa,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2DhB;IAEC,UAAU,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsDb;IAEC,cAAc,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4CjB;IAEC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDd;IAEC,sBAAsB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDzB;CACA,CAAC;AAQK,KAAK,UAAU,QAAQ,CAAC,IAAqB;IAClD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE1D,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;IAC7D,IAAI,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEvB,SAAS;IACT,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACvD,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,IAAI;;8BAE1B,IAAI,CAAC,MAAM;;;;;gBAKzB,IAAI,CAAC,IAAI;;;;CAIxB,EAAE,OAAO,CAAC,CAAC;IACV,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEzB,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AA7BD,4BA6BC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC"}
1
+ {"version":3,"file":"scaffold.js","sourceRoot":"","sources":["../src/scaffold.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAU7B,MAAM,SAAS,GAAmC;IAChD,gBAAgB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwCnB;IAEC,aAAa,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2DhB;IAEC,UAAU,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuDb;IAEC,cAAc,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4CjB;IAEC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDd;IAEC,sBAAsB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDzB;CACA,CAAC;AAQF,SAAgB,QAAQ,CAAC,IAAqB;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;IAC7D,IAAI,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,qDAAqD;IACrD,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEvB,SAAS;IACT,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACvD,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,IAAI;;8BAEf,IAAI,CAAC,MAAM;;;;;eAK1B,IAAI,CAAC,IAAI;;;;CAIvB,EAAE,OAAO,CAAC,CAAC;IACV,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEzB,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAhCD,4BAgCC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACrE,CAAC"}
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source_map.js","sourceRoot":"","sources":["../src/source_map.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAqBH,MAAa,gBAAgB;IAA7B;QACU,aAAQ,GAAoB,EAAE,CAAC;IA8DzC,CAAC;IA5DC,GAAG,CAAC,OAAsB;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,eAAe,CACb,aAAqB,EACrB,UAAkB,EAClB,UAAkB,EAClB,GAAgB;QAEhB,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC;oBACZ,cAAc,EAAE,aAAa;oBAC7B,cAAc,EAAE,CAAC,EAAE,oCAAoC;oBACvD,WAAW,EAAE,UAAU;oBACvB,WAAW,EAAE,CAAC,EAAK,mCAAmC;oBACtD,aAAa,EAAE,CAAC;oBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;oBAClB,WAAW,EAAE,WAAW,MAAM,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,EAAE;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,cAAc,EAAE,aAAa;gBAC7B,cAAc,EAAE,CAAC;gBACjB,WAAW,EAAE,UAAU;gBACvB,WAAW,EAAE,CAAC;gBACd,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;gBAClB,WAAW,EAAE,UAAU,KAAK,CAAC,IAAI,GAAG;aACrC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,UAAkB,EAAE,UAAkB;QAC1C,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;IACJ,CAAC;CACF;AA/DD,4CA+DC"}
@@ -0,0 +1 @@
1
+ {"version":3,"file":"test.js","sourceRoot":"","sources":["../src/test.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAC7B,mCAA4C;AAC5C,qCAAkC;AAClC,+CAA2C;AAE3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,wCAAwC,CAAC,CAAC;AAElF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAEhD,gCAAgC;IAChC,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,kBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,iCAAiC;IACjC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,8BAA8B;IAC9B,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,eAAM,CAAC,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,+BAA+B;IAC/B,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,aAAK,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,IAAI,eAAM,CAAC,WAAW,CAAC,CAAC;QAC5C,WAAW,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,uBAAuB,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,aAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,IAAI,eAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yHAAyH,CAAC,CAAC;IACvI,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,uHAAuH,CAAC,CAAC;AACvI,CAAC;AAED,IAAI,EAAE,CAAC"}
@@ -0,0 +1,5 @@
1
+ /**
2
+ * BoneScript Type Checker Tests
3
+ * Verifies the type checker catches errors per spec/04_TYPE_SYSTEM.md.
4
+ */
5
+ export {};