@lute-lang/runtime 0.40.0 → 0.41.1

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 (20) hide show
  1. package/README.md +64 -0
  2. package/dist/Bundle.d.ts +221 -8
  3. package/dist/BundleSource.d.ts +1 -1
  4. package/dist/Errors.d.ts +37 -3
  5. package/dist/InputLog.d.ts +35 -2
  6. package/dist/Program.d.ts +30 -2
  7. package/dist/Session.d.ts +15 -6
  8. package/dist/browser.js +1 -1
  9. package/dist/bun.js +1 -1
  10. package/dist/generated/Contract.d.ts +166 -7
  11. package/dist/generated/Ir.d.ts +393 -46
  12. package/dist/index-tecmws3f.js +2168 -0
  13. package/dist/index.d.ts +1 -1
  14. package/dist/index.js +13 -991
  15. package/dist/wasm/lute_runtime_wasm.d.ts +38 -0
  16. package/dist/wasm/lute_runtime_wasm.js +109 -0
  17. package/dist/wasm/lute_runtime_wasm_bg.wasm +0 -0
  18. package/dist/wasm/lute_runtime_wasm_bg.wasm.d.ts +7 -0
  19. package/package.json +1 -1
  20. package/dist/index-wshk3yvw.js +0 -918
package/dist/generated/Contract.d.ts CHANGED
@@ -43,10 +43,11 @@ export declare const Await: Schema.toTaggedUnion<"type", readonly [Schema.Struct
43
43
  readonly request: Schema.Int;
44
44
  readonly type: Schema.Literal<"awaitChoice">;
45
45
  }>, Schema.Struct<{
46
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
46
47
  readonly document: Schema.String;
47
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
48
48
  readonly position: Schema.String;
49
49
  readonly request: Schema.Int;
50
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
50
51
  readonly tag: Schema.String;
51
52
  readonly type: Schema.Literal<"awaitBridge">;
52
53
  }>, Schema.Struct<{
@@ -185,6 +186,32 @@ export declare const ClockView: Schema.Struct<{
185
186
  readonly weekdayLabel: Schema.optionalKey<Schema.NullOr<Schema.String>>;
186
187
  }>;
187
188
  export type ClockView = typeof ClockView.Type;
189
+ /**
190
+ * The answer of a read-only condition query, `evaluate` or `def`
191
+ * (dsl 0.41.0 §5.1).
192
+ */
193
+ export declare const Evaluation: Schema.Struct<{
194
+ readonly unresolved: Schema.optionalKey<Schema.$Array<Schema.String>>;
195
+ readonly value: Schema.suspend<Schema.toTaggedUnion<"kind", readonly [Schema.Struct<{
196
+ readonly kind: Schema.Literal<"bool">;
197
+ readonly value: Schema.Boolean;
198
+ }>, Schema.Struct<{
199
+ readonly kind: Schema.Literal<"int">;
200
+ readonly value: Schema.Int;
201
+ }>, Schema.Struct<{
202
+ readonly kind: Schema.Literal<"double">;
203
+ readonly value: Schema.Number;
204
+ }>, Schema.Struct<{
205
+ readonly kind: Schema.Literal<"str">;
206
+ readonly value: Schema.String;
207
+ }>, Schema.Struct<{
208
+ readonly kind: Schema.Literal<"unknown">;
209
+ }>, Schema.Struct<{
210
+ readonly kind: Schema.Literal<"error">;
211
+ readonly value: Schema.String;
212
+ }>]>>;
213
+ }>;
214
+ export type Evaluation = typeof Evaluation.Type;
188
215
  /**
189
216
  * An execution record or session-level notification.
190
217
  */
@@ -215,6 +242,16 @@ export declare const Event: Schema.toTaggedUnion<"type", readonly [Schema.Struct
215
242
  readonly type: Schema.Literal<"clock">;
216
243
  }>]>;
217
244
  export type Event = typeof Event.Type;
245
+ /**
246
+ * dsl 0.41.0 §5.2: the answer of the `gate` query — whether a
247
+ * `raiseOccasion` of the occasion (for its target) with no writes would
248
+ * pass the seam now.
249
+ */
250
+ export declare const Gate: Schema.Struct<{
251
+ readonly open: Schema.Boolean;
252
+ readonly unresolved: Schema.optionalKey<Schema.$Array<Schema.String>>;
253
+ }>;
254
+ export type Gate = typeof Gate.Type;
218
255
  /**
219
256
  * One read of a guard that decided false, as the premise a refusal names
220
257
  * (round-5 T3-12): a state path (with the value it held), a fact pattern
@@ -294,6 +331,16 @@ export declare const Input: Schema.toTaggedUnion<"type", readonly [Schema.Struct
294
331
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
295
332
  readonly request: Schema.Int;
296
333
  readonly type: Schema.Literal<"bridgeResult">;
334
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
335
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
336
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
337
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
338
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
339
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
340
+ readonly path: Schema.String;
341
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
342
+ }>>>>;
343
+ }>>>;
297
344
  }>, Schema.Struct<{
298
345
  readonly by: Schema.suspend<Schema.Union<readonly [Schema.String, Schema.Int, Schema.Struct<{
299
346
  readonly to: Schema.String;
@@ -391,10 +438,11 @@ export declare const Output: Schema.Struct<{
391
438
  readonly request: Schema.Int;
392
439
  readonly type: Schema.Literal<"awaitChoice">;
393
440
  }>, Schema.Struct<{
441
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
394
442
  readonly document: Schema.String;
395
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
396
443
  readonly position: Schema.String;
397
444
  readonly request: Schema.Int;
445
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
398
446
  readonly tag: Schema.String;
399
447
  readonly type: Schema.Literal<"awaitBridge">;
400
448
  }>, Schema.Struct<{
@@ -576,10 +624,11 @@ export declare const StreamLine: Schema.Union<readonly [Schema.Struct<{
576
624
  readonly request: Schema.Int;
577
625
  readonly type: Schema.Literal<"awaitChoice">;
578
626
  }>, Schema.Struct<{
627
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
579
628
  readonly document: Schema.String;
580
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
581
629
  readonly position: Schema.String;
582
630
  readonly request: Schema.Int;
631
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
583
632
  readonly tag: Schema.String;
584
633
  readonly type: Schema.Literal<"awaitBridge">;
585
634
  }>, Schema.Struct<{
@@ -667,6 +716,16 @@ export declare const StreamLine: Schema.Union<readonly [Schema.Struct<{
667
716
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
668
717
  readonly request: Schema.Int;
669
718
  readonly type: Schema.Literal<"bridgeResult">;
719
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
720
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
721
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
722
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
723
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
724
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
725
+ readonly path: Schema.String;
726
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
727
+ }>>>>;
728
+ }>>>;
670
729
  }>, Schema.Struct<{
671
730
  readonly by: Schema.suspend<Schema.Union<readonly [Schema.String, Schema.Int, Schema.Struct<{
672
731
  readonly to: Schema.String;
@@ -739,10 +798,11 @@ export declare const StreamLine: Schema.Union<readonly [Schema.Struct<{
739
798
  readonly request: Schema.Int;
740
799
  readonly type: Schema.Literal<"awaitChoice">;
741
800
  }>, Schema.Struct<{
801
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
742
802
  readonly document: Schema.String;
743
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
744
803
  readonly position: Schema.String;
745
804
  readonly request: Schema.Int;
805
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
746
806
  readonly tag: Schema.String;
747
807
  readonly type: Schema.Literal<"awaitBridge">;
748
808
  }>, Schema.Struct<{
@@ -814,6 +874,16 @@ export declare const StreamLine: Schema.Union<readonly [Schema.Struct<{
814
874
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
815
875
  readonly request: Schema.Int;
816
876
  readonly type: Schema.Literal<"bridgeResult">;
877
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
878
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
879
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
880
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
881
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
882
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
883
+ readonly path: Schema.String;
884
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
885
+ }>>>>;
886
+ }>>>;
817
887
  }>, Schema.Struct<{
818
888
  readonly by: Schema.suspend<Schema.Union<readonly [Schema.String, Schema.Int, Schema.Struct<{
819
889
  readonly to: Schema.String;
@@ -1041,6 +1111,42 @@ export declare const WritesInput: Schema.Struct<{
1041
1111
  }>>>>;
1042
1112
  }>;
1043
1113
  export type WritesInput = typeof WritesInput.Type;
1114
+ /**
1115
+ * A declared value type (plugin §7) as the IR serializes it: a bare spelling (`bool`, `int`, `double`, `string`, `narrativeTime`) or a single-key map naming the form (`{"enum": ...}`, `{"list": T}`, `{"record": fields}`, `{"map": {"key": T, "value": T}}`, `{"domain": name}`, `{"entity": kind}`, `{"enumFromOption": option}`, `{"providerRef": name}`, `{"slotId": {"namespace": ns}}`, `{"assetKind": kind}`).
1116
+ */
1117
+ export type fieldType = ("bool" | "int" | "double" | "string" | "narrativeTime") | {
1118
+ readonly "enum": ReadonlyArray<string>;
1119
+ } | {
1120
+ readonly "list": fieldType;
1121
+ } | {
1122
+ readonly "record": ReadonlyArray<{
1123
+ readonly "default"?: Schema.Json;
1124
+ readonly "name": string;
1125
+ readonly "required": boolean;
1126
+ readonly "shape"?: string;
1127
+ readonly "type": fieldType;
1128
+ }>;
1129
+ } | {
1130
+ readonly "map": {
1131
+ readonly "key": fieldType;
1132
+ readonly "value": fieldType;
1133
+ };
1134
+ } | {
1135
+ readonly "enumFromOption": string;
1136
+ } | {
1137
+ readonly "providerRef": string;
1138
+ } | {
1139
+ readonly "domain": string;
1140
+ } | {
1141
+ readonly "entity": string;
1142
+ } | {
1143
+ readonly "slotId": {
1144
+ readonly "namespace": string;
1145
+ };
1146
+ } | {
1147
+ readonly "assetKind": string;
1148
+ };
1149
+ export declare const fieldType: Schema.Codec<fieldType>;
1044
1150
  export declare const Answer: Schema.Union<readonly [Schema.Struct<{
1045
1151
  readonly choice: Schema.Struct<{
1046
1152
  readonly id: Schema.String;
@@ -1050,6 +1156,16 @@ export declare const Answer: Schema.Union<readonly [Schema.Struct<{
1050
1156
  readonly bridge: Schema.Struct<{
1051
1157
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1052
1158
  readonly tag: Schema.String;
1159
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
1160
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
1161
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
1162
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
1163
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
1164
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
1165
+ readonly path: Schema.String;
1166
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1167
+ }>>>>;
1168
+ }>>>;
1053
1169
  }>;
1054
1170
  }>]>;
1055
1171
  export type Answer = typeof Answer.Type;
@@ -1077,6 +1193,16 @@ export declare const Continuation: Schema.Struct<{
1077
1193
  readonly bridge: Schema.Struct<{
1078
1194
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1079
1195
  readonly tag: Schema.String;
1196
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
1197
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
1198
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
1199
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
1200
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
1201
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
1202
+ readonly path: Schema.String;
1203
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1204
+ }>>>>;
1205
+ }>>>;
1080
1206
  }>;
1081
1207
  }>]>>>;
1082
1208
  readonly before: Schema.suspend<Schema.Struct<{
@@ -1185,6 +1311,16 @@ export declare const Continuation: Schema.Struct<{
1185
1311
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1186
1312
  readonly request: Schema.Int;
1187
1313
  readonly type: Schema.Literal<"bridgeResult">;
1314
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
1315
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
1316
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
1317
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
1318
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
1319
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
1320
+ readonly path: Schema.String;
1321
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1322
+ }>>>>;
1323
+ }>>>;
1188
1324
  }>, Schema.Struct<{
1189
1325
  readonly by: Schema.suspend<Schema.Union<readonly [Schema.String, Schema.Int, Schema.Struct<{
1190
1326
  readonly to: Schema.String;
@@ -1256,10 +1392,11 @@ export declare const Continuation: Schema.Struct<{
1256
1392
  readonly request: Schema.Int;
1257
1393
  readonly type: Schema.Literal<"awaitChoice">;
1258
1394
  }>, Schema.Struct<{
1395
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1259
1396
  readonly document: Schema.String;
1260
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
1261
1397
  readonly position: Schema.String;
1262
1398
  readonly request: Schema.Int;
1399
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
1263
1400
  readonly tag: Schema.String;
1264
1401
  readonly type: Schema.Literal<"awaitBridge">;
1265
1402
  }>, Schema.Struct<{
@@ -1458,10 +1595,11 @@ export declare const Snapshot: Schema.Struct<{
1458
1595
  readonly request: Schema.Int;
1459
1596
  readonly type: Schema.Literal<"awaitChoice">;
1460
1597
  }>, Schema.Struct<{
1598
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1461
1599
  readonly document: Schema.String;
1462
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
1463
1600
  readonly position: Schema.String;
1464
1601
  readonly request: Schema.Int;
1602
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
1465
1603
  readonly tag: Schema.String;
1466
1604
  readonly type: Schema.Literal<"awaitBridge">;
1467
1605
  }>, Schema.Struct<{
@@ -1485,6 +1623,16 @@ export declare const Snapshot: Schema.Struct<{
1485
1623
  readonly bridge: Schema.Struct<{
1486
1624
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1487
1625
  readonly tag: Schema.String;
1626
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
1627
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
1628
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
1629
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
1630
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
1631
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
1632
+ readonly path: Schema.String;
1633
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1634
+ }>>>>;
1635
+ }>>>;
1488
1636
  }>;
1489
1637
  }>]>>>;
1490
1638
  readonly before: Schema.suspend<Schema.Struct<{
@@ -1593,6 +1741,16 @@ export declare const Snapshot: Schema.Struct<{
1593
1741
  readonly fields: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1594
1742
  readonly request: Schema.Int;
1595
1743
  readonly type: Schema.Literal<"bridgeResult">;
1744
+ readonly writes: Schema.optionalKey<Schema.suspend<Schema.Struct<{
1745
+ readonly accept: Schema.optionalKey<Schema.$Array<Schema.String>>;
1746
+ readonly facts: Schema.optionalKey<Schema.$Array<Schema.String>>;
1747
+ readonly retract: Schema.optionalKey<Schema.$Array<Schema.String>>;
1748
+ readonly state: Schema.optionalKey<Schema.$Array<Schema.suspend<Schema.Struct<{
1749
+ readonly add: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
1750
+ readonly path: Schema.String;
1751
+ readonly value: Schema.optionalKey<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1752
+ }>>>>;
1753
+ }>>>;
1596
1754
  }>, Schema.Struct<{
1597
1755
  readonly by: Schema.suspend<Schema.Union<readonly [Schema.String, Schema.Int, Schema.Struct<{
1598
1756
  readonly to: Schema.String;
@@ -1664,10 +1822,11 @@ export declare const Snapshot: Schema.Struct<{
1664
1822
  readonly request: Schema.Int;
1665
1823
  readonly type: Schema.Literal<"awaitChoice">;
1666
1824
  }>, Schema.Struct<{
1825
+ readonly attrs: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
1667
1826
  readonly document: Schema.String;
1668
- readonly fields: Schema.$Record<Schema.String, Schema.String>;
1669
1827
  readonly position: Schema.String;
1670
1828
  readonly request: Schema.Int;
1829
+ readonly results: Schema.$Record<Schema.String, Schema.suspend<Schema.Codec<fieldType, fieldType, never, never>>>;
1671
1830
  readonly tag: Schema.String;
1672
1831
  readonly type: Schema.Literal<"awaitBridge">;
1673
1832
  }>, Schema.Struct<{