@almadar/core 10.129.0 → 11.0.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 (135) hide show
  1. package/dist/behavior-package.d.ts +49 -11
  2. package/dist/behavior-package.js +1 -1
  3. package/dist/{orbital-CkFdDS9f.d.ts → builders-BdgbY7Th.d.ts} +5828 -6917
  4. package/dist/builders.d.ts +6 -6
  5. package/dist/builders.js +7 -6
  6. package/dist/{bus-CcbB__oo.d.ts → bus-C0hFDNFR.d.ts} +262 -354
  7. package/dist/chunk-347APWFM.js +286 -0
  8. package/dist/chunk-347APWFM.js.map +1 -0
  9. package/dist/chunk-5WQ3U7NJ.js +2363 -0
  10. package/dist/chunk-5WQ3U7NJ.js.map +1 -0
  11. package/dist/chunk-5YTPYMPZ.js +99 -0
  12. package/dist/chunk-5YTPYMPZ.js.map +1 -0
  13. package/dist/chunk-66Q5VX2F.js +3810 -0
  14. package/dist/chunk-66Q5VX2F.js.map +1 -0
  15. package/dist/chunk-7GHJU5WI.js +39 -0
  16. package/dist/chunk-7GHJU5WI.js.map +1 -0
  17. package/dist/chunk-B4MNHGBP.js +8 -0
  18. package/dist/chunk-B4MNHGBP.js.map +1 -0
  19. package/dist/chunk-E4T2MQAV.js +24 -0
  20. package/dist/chunk-E4T2MQAV.js.map +1 -0
  21. package/dist/chunk-ENOCKYGA.js +412 -0
  22. package/dist/chunk-ENOCKYGA.js.map +1 -0
  23. package/dist/chunk-FGT5OS2Y.js +918 -0
  24. package/dist/chunk-FGT5OS2Y.js.map +1 -0
  25. package/dist/chunk-GF7KCLNR.js +3284 -0
  26. package/dist/chunk-GF7KCLNR.js.map +1 -0
  27. package/dist/chunk-PNGFWLHD.js +1567 -0
  28. package/dist/chunk-PNGFWLHD.js.map +1 -0
  29. package/dist/{chunk-X4SC7FGF.js → chunk-RGACZEYC.js} +99 -96
  30. package/dist/chunk-RGACZEYC.js.map +1 -0
  31. package/dist/{chunk-RYPVOI6H.js → chunk-SNZYN7UA.js} +2541 -433
  32. package/dist/{chunk-RYPVOI6H.js.map → chunk-SNZYN7UA.js.map} +1 -1
  33. package/dist/{chunk-KDMV222Q.js → chunk-TDNQT3M3.js} +304 -373
  34. package/dist/chunk-TDNQT3M3.js.map +1 -0
  35. package/dist/chunk-VG7BRFUD.js +152 -0
  36. package/dist/chunk-VG7BRFUD.js.map +1 -0
  37. package/dist/chunk-Z7BI7DE7.js +1293 -0
  38. package/dist/chunk-Z7BI7DE7.js.map +1 -0
  39. package/dist/{domain-Dz3jP-UM.d.ts → domain-Cpmja5ak.d.ts} +55 -55
  40. package/dist/{effect-CiEVLsZz.d.ts → effect-DZaXwSAz.d.ts} +283 -453
  41. package/dist/{effect-result-Bebwu9yT.d.ts → effect-result-1HpXgeBc.d.ts} +656 -851
  42. package/dist/{expression-D0Fs0riG.d.ts → expression-DirYKz-f.d.ts} +5 -13
  43. package/dist/factory/index.d.ts +7 -144
  44. package/dist/factory/index.js +8 -8
  45. package/dist/factory-runtime/index.d.ts +7 -6
  46. package/dist/factory-runtime/index.js +527 -8
  47. package/dist/factory-runtime/index.js.map +1 -1
  48. package/dist/fixtures.d.ts +9 -11
  49. package/dist/fixtures.js +12 -8
  50. package/dist/fixtures.js.map +1 -1
  51. package/dist/i18n/index.d.ts +15 -19
  52. package/dist/i18n/index.js +2 -1
  53. package/dist/{index-BC-Jycqj.d.ts → index-D7SxwNdv.d.ts} +34 -734
  54. package/dist/index.d.ts +92 -247
  55. package/dist/index.js +322 -986
  56. package/dist/index.js.map +1 -1
  57. package/dist/kernel-wire.d.ts +3 -3
  58. package/dist/kernel-wire.js +3 -79
  59. package/dist/kernel-wire.js.map +1 -1
  60. package/dist/language/constructs.json +22 -2
  61. package/dist/language/program-types.json +203 -22
  62. package/dist/language/protocols.json +46 -0
  63. package/dist/language/ui-vocabulary.json +1697 -0
  64. package/dist/language/validation-codes.json +1222 -1212
  65. package/dist/language/vocabulary.json +44 -8
  66. package/dist/language-data.d.ts +7 -4
  67. package/dist/language-data.js +20 -14
  68. package/dist/language-data.js.map +1 -1
  69. package/dist/patterns/component-mapping.json +11 -1
  70. package/dist/patterns/definitions.d.ts +2 -2
  71. package/dist/patterns/definitions.js +1 -1
  72. package/dist/patterns/event-contracts.json +1 -15
  73. package/dist/patterns/game-font-families.json +13 -0
  74. package/dist/patterns/index.d.ts +24 -120
  75. package/dist/patterns/index.js +3 -3
  76. package/dist/patterns/pattern-tile-geometry.json +1065 -0
  77. package/dist/patterns/patterns-registry.json +2539 -431
  78. package/dist/patterns/registry.json +2539 -431
  79. package/dist/trait-sRjIivFq.d.ts +3519 -0
  80. package/dist/types/index.d.ts +9 -10
  81. package/dist/types/index.js +11 -5
  82. package/dist/{types-DGwrltUF.d.ts → types-C6_yPMpn.d.ts} +3 -3
  83. package/fixtures/events-wire/client-effects-by-trait/response.json +0 -18
  84. package/fixtures/events-wire/client-effects-provenance/response.json +0 -18
  85. package/fixtures/events-wire/effect-results-every-kind/response.json +2 -27
  86. package/fixtures/events-wire/navigate-1/response.json +8 -5
  87. package/fixtures/events-wire/navigate-2/response.json +11 -8
  88. package/fixtures/events-wire/navigate-3/response.json +14 -11
  89. package/fixtures/events-wire/navigate-back/response.json +7 -4
  90. package/fixtures/events-wire/render-ui-3/response.json +12 -9
  91. package/fixtures/events-wire/render-ui-clear/response.json +0 -7
  92. package/fixtures/events-wire/sse-stream/response.json +0 -20
  93. package/fixtures/events-wire/sse-stream/stream.json +0 -20
  94. package/fixtures/events-wire/stateless-traits/response.json +14 -5
  95. package/fixtures/kernel-wire/golden/basic-entity.json +1687 -0
  96. package/fixtures/kernel-wire/golden/entity-rerender.json +743 -0
  97. package/fixtures/kernel-wire/golden/rollback.json +793 -0
  98. package/fixtures/kernel-wire/golden/tick-counter.json +1538 -0
  99. package/fixtures/kernel-wire/golden/two-orbital-chore.json +847 -0
  100. package/fixtures/kernel-wire/golden/two-orbital-task.json +457 -0
  101. package/fixtures/kernel-wire/played-step.json +136 -0
  102. package/fixtures/kernel-wire/scripts/basic-entity.json +28 -0
  103. package/fixtures/kernel-wire/scripts/entity-rerender.json +13 -0
  104. package/fixtures/kernel-wire/scripts/rollback.json +53 -0
  105. package/fixtures/kernel-wire/scripts/tick-counter.json +26 -0
  106. package/fixtures/kernel-wire/scripts/two-orbital-chore.json +9 -0
  107. package/fixtures/kernel-wire/scripts/two-orbital-task.json +9 -0
  108. package/package.json +28 -19
  109. package/dist/builders-DmZE5By0.d.ts +0 -2663
  110. package/dist/chunk-45I2O4SJ.js +0 -4646
  111. package/dist/chunk-45I2O4SJ.js.map +0 -1
  112. package/dist/chunk-6LR43Z5E.js +0 -3061
  113. package/dist/chunk-6LR43Z5E.js.map +0 -1
  114. package/dist/chunk-GIUA3NUJ.js +0 -809
  115. package/dist/chunk-GIUA3NUJ.js.map +0 -1
  116. package/dist/chunk-GTY53NS5.js +0 -1908
  117. package/dist/chunk-GTY53NS5.js.map +0 -1
  118. package/dist/chunk-JOHDVS6J.js +0 -1614
  119. package/dist/chunk-JOHDVS6J.js.map +0 -1
  120. package/dist/chunk-KDMV222Q.js.map +0 -1
  121. package/dist/chunk-QRHJUS3D.js +0 -23
  122. package/dist/chunk-QRHJUS3D.js.map +0 -1
  123. package/dist/chunk-QUOTJULD.js +0 -4009
  124. package/dist/chunk-QUOTJULD.js.map +0 -1
  125. package/dist/chunk-V5VNGRVU.js +0 -66
  126. package/dist/chunk-V5VNGRVU.js.map +0 -1
  127. package/dist/chunk-X4SC7FGF.js.map +0 -1
  128. package/dist/entityAccess-BPSz1i2n.d.ts +0 -80
  129. package/dist/mock/index.d.ts +0 -153
  130. package/dist/mock/index.js +0 -190
  131. package/dist/mock/index.js.map +0 -1
  132. package/dist/schema-T5RT5s6H.d.ts +0 -282
  133. package/dist/state-machine/index.d.ts +0 -359
  134. package/dist/state-machine/index.js +0 -3
  135. package/dist/state-machine/index.js.map +0 -1
@@ -0,0 +1,1293 @@
1
+ import { asEventId, asOrbitalId, asTraitId } from './chunk-VG7BRFUD.js';
2
+ import { setOwn } from './chunk-B4MNHGBP.js';
3
+
4
+ // src/generated/kernel-wire.ts
5
+ var isRecord = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
6
+ var miss = (path, want) => `${path}: expected ${want}`;
7
+ var unknownTag = (path, key, value) => `${path}: unknown ${key} ${JSON.stringify(value)}`;
8
+ var KernelWireError = class extends Error {
9
+ };
10
+ function fail(message) {
11
+ throw new KernelWireError(`kernel wire: ${message}`);
12
+ }
13
+ function accepts(build, v) {
14
+ try {
15
+ build(v, "");
16
+ return true;
17
+ } catch (error) {
18
+ if (error instanceof KernelWireError) return false;
19
+ throw error;
20
+ }
21
+ }
22
+ function any(v, p) {
23
+ return v === void 0 ? fail(miss(p, "a value")) : v;
24
+ }
25
+ function str(v, p) {
26
+ return typeof v === "string" ? v : fail(miss(p, "a string"));
27
+ }
28
+ function num(v, p) {
29
+ return typeof v === "number" ? v : fail(miss(p, "a number"));
30
+ }
31
+ function int(v, p, min, max, rust) {
32
+ return typeof v === "number" && Number.isInteger(v) && v >= min && v <= max ? v : fail(miss(p, `${rust} (an integer from ${min} to ${max})`));
33
+ }
34
+ function bool(v, p) {
35
+ return typeof v === "boolean" ? v : fail(miss(p, "a boolean"));
36
+ }
37
+ function nul(v, p) {
38
+ return v === null ? null : fail(miss(p, "null"));
39
+ }
40
+ function lit(v, p, want) {
41
+ return v === want ? want : fail(miss(p, JSON.stringify(want)));
42
+ }
43
+ function oneOf(v, p, wants) {
44
+ for (const want of wants) {
45
+ if (v === want) return want;
46
+ }
47
+ return fail(miss(p, wants.map((want) => JSON.stringify(want)).join(" | ")));
48
+ }
49
+ function rec(v, p) {
50
+ return isRecord(v) ? v : fail(miss(p, "an object"));
51
+ }
52
+ function isRow(record) {
53
+ return record["id"] === void 0 || typeof record["id"] === "string";
54
+ }
55
+ function entityRow(v, p) {
56
+ const row = rec(v, p);
57
+ return isRow(row) ? row : fail(miss(`${p}.id`, "a string"));
58
+ }
59
+ function isNamespaced(name) {
60
+ return name.includes("/");
61
+ }
62
+ function namespacedEffectName(v, p) {
63
+ const name = str(v, p);
64
+ return isNamespaced(name) ? name : fail(miss(p, "a namespaced effect name (head/tail)"));
65
+ }
66
+ function serverBatchSummary(v, p) {
67
+ const record = rec(v, p);
68
+ return {
69
+ operations: list(record["operations"], `${p}.operations`, entityRow),
70
+ completedCount: num(record["completedCount"], `${p}.completedCount`),
71
+ totalCount: num(record["totalCount"], `${p}.totalCount`)
72
+ };
73
+ }
74
+ function list(v, p, at) {
75
+ if (!Array.isArray(v)) return fail(miss(p, "a list"));
76
+ return v.map((item, index) => at(item, `${p}[${index}]`));
77
+ }
78
+ function dict(v, p, at) {
79
+ const out = {};
80
+ for (const [key, item] of Object.entries(rec(v, p))) setOwn(out, key, at(item, `${p}.${key}`));
81
+ return out;
82
+ }
83
+ function tuple(v, p, length, make) {
84
+ if (!Array.isArray(v) || v.length !== length) return fail(miss(p, `a list of ${length}`));
85
+ return make(v);
86
+ }
87
+ function obj(v, p, known, make) {
88
+ const record = rec(v, p);
89
+ if (known !== null) {
90
+ for (const key of Object.keys(record)) {
91
+ if (!known.includes(key)) return fail(`${p}.${key}: unknown field`);
92
+ }
93
+ }
94
+ return make(record);
95
+ }
96
+ function checkAccepted(v) {
97
+ return v === null;
98
+ }
99
+ function checkAmbiguousTrait(v) {
100
+ return isRecord(v) && typeof v["trait"] === "string" && (Array.isArray(v["orbitals"]) && v["orbitals"].every((e) => typeof e === "string"));
101
+ }
102
+ function checkAnchoredExec(v) {
103
+ return isRecord(v) && checkGrantAnchor(v["anchor"]) && (v["path"] === void 0 || typeof v["path"] === "string");
104
+ }
105
+ function checkAnchoredFsGrant(v) {
106
+ return isRecord(v) && checkGrantAnchor(v["anchor"]) && typeof v["glob"] === "string" && (Array.isArray(v["modes"]) && v["modes"].every((e) => checkFsMode(e)));
107
+ }
108
+ function checkAnchoredGrants(v) {
109
+ return isRecord(v) && (v["fs"] === void 0 || Array.isArray(v["fs"]) && v["fs"].every((e) => checkAnchoredFsGrant(e))) && (v["exec"] === void 0 || Array.isArray(v["exec"]) && v["exec"].every((e) => checkAnchoredExec(e))) && (v["net"] === void 0 || Array.isArray(v["net"]) && v["net"].every((e) => checkAnchoredNetGrant(e)));
110
+ }
111
+ function checkAnchoredNetGrant(v) {
112
+ return isRecord(v) && checkNetPart(v["host"]) && checkNetPart(v["port"]) && (Array.isArray(v["kinds"]) && v["kinds"].every((e) => checkNetKind(e)));
113
+ }
114
+ function checkAppliedWire(v) {
115
+ return isRecord(v) && (Array.isArray(v["applied"]) && v["applied"].every((e) => Array.isArray(e) && e.length === 2 && typeof e[0] === "string" && typeof e[1] === "string")) && checkEventResponse(v["response"]) && (Array.isArray(v["serverLegs"]) && v["serverLegs"].every((e) => checkRoutedLeg(e))) && (v["resync"] === void 0 || (checkFramesResync(v["resync"]) || v["resync"] === null));
116
+ }
117
+ function checkAssertionSpec(v) {
118
+ return isRecord(v) && typeof v["signingKey"] === "string" && (v["subject"] === void 0 || (typeof v["subject"] === "string" || v["subject"] === null)) && typeof v["audience"] === "string" && typeof v["ttlSeconds"] === "number";
119
+ }
120
+ function checkAwaitingTrait(v) {
121
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["event"] === "string" && typeof v["from"] === "string";
122
+ }
123
+ function checkBusEventSource(v) {
124
+ return isRecord(v) && (v["orbital"] === void 0 || typeof v["orbital"] === "string") && (v["orbitalId"] === void 0 || accepts((x, q) => asOrbitalId(str(x, q)), v["orbitalId"])) && (v["trait"] === void 0 || typeof v["trait"] === "string") && (v["traitId"] === void 0 || accepts((x, q) => asTraitId(str(x, q)), v["traitId"])) && (v["eventId"] === void 0 || accepts((x, q) => asEventId(str(x, q)), v["eventId"])) && (v["transition"] === void 0 || typeof v["transition"] === "string") && (v["tick"] === void 0 || typeof v["tick"] === "string") && (v["fromBridge"] === void 0 || typeof v["fromBridge"] === "boolean") && (v["dispatched"] === void 0 || typeof v["dispatched"] === "boolean") && (v["originClientId"] === void 0 || typeof v["originClientId"] === "string") && (v["pendingKey"] === void 0 || typeof v["pendingKey"] === "string") && (v["persistSuccess"] === void 0 || typeof v["persistSuccess"] === "boolean") && (v["instanceKey"] === void 0 || typeof v["instanceKey"] === "string");
125
+ }
126
+ function checkCallRoutesWire(v) {
127
+ return isRecord(v) && (v["success"] === void 0 || typeof v["success"] === "string") && (v["failure"] === void 0 || typeof v["failure"] === "string") && (v["cancelled"] === void 0 || typeof v["cancelled"] === "string") && (v["onMessage"] === void 0 || typeof v["onMessage"] === "string");
128
+ }
129
+ function checkCallSiteWire(v) {
130
+ return isRecord(v) && (v["orbital"] === void 0 || typeof v["orbital"] === "string") && typeof v["trait"] === "string" && typeof v["followOn"] === "boolean" && (v["entityId"] === void 0 || typeof v["entityId"] === "string") && checkCallRoutesWire(v["emit"]);
131
+ }
132
+ function checkCallerWire(v) {
133
+ return isRecord(v) && typeof v["principal"] === "string" && (v["role"] === void 0 || typeof v["role"] === "string");
134
+ }
135
+ function checkCanvasTheme(v) {
136
+ return accepts((x, q) => rec(x, q), v);
137
+ }
138
+ function checkClientAuth(v) {
139
+ return v === "body" || v === "basic" || v === "none";
140
+ }
141
+ function checkClientEffect(v) {
142
+ return Array.isArray(v) && v.length === 3 && v[0] === "render-ui" && typeof v[1] === "string" && (accepts((x, q) => rec(x, q), v[2]) || v[2] === null) || Array.isArray(v) && v.length === 2 && v[0] === "navigate" && typeof v[1] === "string" || Array.isArray(v) && v.length === 3 && v[0] === "navigate" && typeof v[1] === "string" && (isRecord(v[2]) && Object.values(v[2]).every((e) => typeof e === "string") || v[2] === null) || Array.isArray(v) && v.length === 4 && v[0] === "navigate" && typeof v[1] === "string" && (isRecord(v[2]) && Object.values(v[2]).every((e) => typeof e === "string") || v[2] === null) && checkNavigateOptions(v[3]) || Array.isArray(v) && v.length === 1 && v[0] === "navigate-back" || Array.isArray(v) && v.length === 3 && v[0] === "host-ask" && typeof v[1] === "string" && (Array.isArray(v[2]) && v[2].every((e) => accepts((x, q) => any(x, q), e))) || Array.isArray(v) && v.length === 4 && v[0] === "host-ask" && typeof v[1] === "string" && (Array.isArray(v[2]) && v[2].every((e) => accepts((x, q) => any(x, q), e))) && checkHostAskCompletion(v[3]);
143
+ }
144
+ function checkClientEffectByTrait(v) {
145
+ return isRecord(v) && typeof v["traitName"] === "string" && checkClientEffect(v["effect"]) && (v["event"] === void 0 || typeof v["event"] === "string") && (v["fromState"] === void 0 || typeof v["fromState"] === "string") && (v["callsitePayload"] === void 0 || accepts((x, q) => rec(x, q), v["callsitePayload"])) && (v["repaint"] === void 0 || checkRepaintReason(v["repaint"]));
146
+ }
147
+ function checkConnectFailure(v) {
148
+ return isRecord(v) && checkConnectFailureKind(v["kind"]) && typeof v["message"] === "string";
149
+ }
150
+ function checkConnectFailureKind(v) {
151
+ return v === "unavailable" || v === "unsigned" || v === "denied" || v === "invalid_grant" || v === "invalid_client" || v === "transport" || v === "malformed" || v === "refused";
152
+ }
153
+ function checkCredentialGrantWire(v) {
154
+ return isRecord(v) && typeof v["name"] === "string" && (v["principal"] === void 0 || typeof v["principal"] === "string") && typeof v["tokenEndpoint"] === "string" && typeof v["grant"] === "string" && typeof v["code"] === "string" && typeof v["redirectUri"] === "string" && (v["verifier"] === void 0 || typeof v["verifier"] === "string") && typeof v["clientId"] === "string" && (v["clientSecret"] === void 0 || typeof v["clientSecret"] === "string") && checkClientAuth(v["clientAuth"]) && (Array.isArray(v["scopes"]) && v["scopes"].every((e) => typeof e === "string")) && (v["refreshCredential"] === void 0 || typeof v["refreshCredential"] === "string") && (v["assertion"] === void 0 || checkAssertionSpec(v["assertion"])) && (v["jsonToken"] === void 0 || checkJsonTokenSpec(v["jsonToken"]));
155
+ }
156
+ function checkCredentialKind(v) {
157
+ return v === "admin";
158
+ }
159
+ function checkCredentialStanding(v) {
160
+ return isRecord(v) && typeof v["connected"] === "boolean" && (v["label"] === void 0 || (typeof v["label"] === "string" || v["label"] === null));
161
+ }
162
+ function checkDeliverRefusal(v) {
163
+ return isRecord(v) && checkDeliverRefusalKind(v["kind"]) && typeof v["id"] === "string";
164
+ }
165
+ function checkDeliverRefusalKind(v) {
166
+ return v === "mailbox-full" || v === "hop-cap" || v === "unknown-instance" || v === "denied" || v === "down" || v === "payload-invalid" || v === "key-invalid";
167
+ }
168
+ function checkDeliveryRecord(v) {
169
+ return isRecord(v) && typeof v["event"] === "string" && (v["payload"] === void 0 || accepts((x, q) => rec(x, q), v["payload"])) && checkBusEventSource(v["source"]);
170
+ }
171
+ function checkDesktopKind(v) {
172
+ return v === "notify" || v === "speak" || v === "brightness" || v === "volume" || v === "power";
173
+ }
174
+ function checkDevGrant(v) {
175
+ return isRecord(v) && typeof v["target"] === "string" && (Array.isArray(v["kinds"]) && v["kinds"].every((e) => checkDevKind(e)));
176
+ }
177
+ function checkDevKind(v) {
178
+ return v === "read" || v === "write" || v === "wait" || v === "ack";
179
+ }
180
+ function checkDispatchLog(v) {
181
+ return isRecord(v) && (Array.isArray(v["prevEvents"]) && v["prevEvents"].every((e) => checkDeliveryRecord(e))) && (Array.isArray(v["prevStates"]) && v["prevStates"].every((e) => typeof e === "string"));
182
+ }
183
+ function checkDispatchMode(v) {
184
+ return v === "persistedAwaited" || v === "hybridClientOnly" || v === "runtimeOptimistic";
185
+ }
186
+ function checkDispatchWire(v) {
187
+ return isRecord(v) && typeof v["orbital"] === "string" && (v["flight"] === void 0 || (typeof v["flight"] === "number" || v["flight"] === null)) && checkSeedWire(v["seed"]) && checkEventResponse(v["response"]) && (Array.isArray(v["serverLegs"]) && v["serverLegs"].every((e) => checkRoutedLeg(e))) && checkDispatchMode(v["mode"]) && (checkTraitSnapshot(v["snapshot"]) || v["snapshot"] === null) && (Array.isArray(v["alreadyDelivered"]) && v["alreadyDelivered"].every((e) => Array.isArray(e) && e.length === 2 && typeof e[0] === "string" && typeof e[1] === "string")) && (Array.isArray(v["awaiting"]) && v["awaiting"].every((e) => checkAwaitingTrait(e))) && (checkStatefulLegWire(v["statefulLeg"]) || v["statefulLeg"] === null) && (Array.isArray(v["foldSeeded"]) && v["foldSeeded"].every((e) => typeof e === "string"));
188
+ }
189
+ function checkEmittedEvent(v) {
190
+ return isRecord(v) && typeof v["event"] === "string" && (v["payload"] === void 0 || accepts((x, q) => rec(x, q), v["payload"])) && (v["source"] === void 0 || checkBusEventSource(v["source"]));
191
+ }
192
+ function checkEnsuresVerdict(v) {
193
+ return v === "held" || v === "broken" || v === "inconclusive";
194
+ }
195
+ function checkEntered(v) {
196
+ return isRecord(v) && (Array.isArray(v["seeds"]) && v["seeds"].every((e) => checkMountSeed(e))) && (Array.isArray(v["left"]) && v["left"].every((e) => checkLeft(e)));
197
+ }
198
+ function checkEntityBinding(v) {
199
+ return isRecord(v) && checkEntityBindingKind(v["kind"]) && typeof v["entity"] === "string" && typeof v["rows"] === "number" && typeof v["readGated"] === "boolean";
200
+ }
201
+ function checkEntityBindingKind(v) {
202
+ return v === "none" || v === "absent" || v === "malformed" || v === "inline" || v === "named" || v === "payload-unresolved" || v === "context-unresolved";
203
+ }
204
+ function checkEnvTail(v) {
205
+ return isRecord(v) && typeof v["name"] === "string" && (v["last4"] === void 0 || typeof v["last4"] === "string");
206
+ }
207
+ function checkEnvTails(v) {
208
+ return isRecord(v) && v["kind"] === "held" && (Array.isArray(v["tails"]) && v["tails"].every((e) => checkEnvTail(e))) || isRecord(v) && v["kind"] === "unsupported";
209
+ }
210
+ function checkEnvelope(v) {
211
+ return isRecord(v) && typeof v["id"] === "string" && checkInstanceRef(v["from"]) && checkInstanceRef(v["to"]) && typeof v["event"] === "string" && accepts((x, q) => any(x, q), v["payload"]) && typeof v["causalId"] === "string" && typeof v["hop"] === "number";
212
+ }
213
+ function checkEvalStepKind(v) {
214
+ return v === "enter" || v === "exit" || v === "iter" || v === "skip";
215
+ }
216
+ function checkEvalStepWire(v) {
217
+ return isRecord(v) && checkEvalStepKind(v["kind"]) && (Array.isArray(v["path"]) && v["path"].every((e) => typeof e === "number" || typeof e === "string")) && (v["value"] === void 0 || accepts((x, q) => any(x, q), v["value"])) && (v["error"] === void 0 || typeof v["error"] === "string");
218
+ }
219
+ function checkEventRequest(v) {
220
+ return isRecord(v) && typeof v["event"] === "string" && (v["eventId"] === void 0 || accepts((x, q) => asEventId(str(x, q)), v["eventId"])) && (v["payload"] === void 0 || accepts((x, q) => rec(x, q), v["payload"])) && (v["entityId"] === void 0 || typeof v["entityId"] === "string") && (v["targetTrait"] === void 0 || typeof v["targetTrait"] === "string") && (v["clientId"] === void 0 || typeof v["clientId"] === "string") && (v["locale"] === void 0 || typeof v["locale"] === "string") && (v["tick"] === void 0 || typeof v["tick"] === "string") && (v["sourceTrait"] === void 0 || typeof v["sourceTrait"] === "string") && (v["runTick"] === void 0 || checkRunTick(v["runTick"])) && (v["traits"] === void 0 || Array.isArray(v["traits"]) && v["traits"].every((e) => checkTraitFrom(e))) && (v["entityByTrait"] === void 0 || isRecord(v["entityByTrait"]) && Object.values(v["entityByTrait"]).every((e) => accepts((x, q) => entityRow(x, q), e))) && (v["behavior"] === void 0 || typeof v["behavior"] === "string") && (v["delivery"] === void 0 || checkDeliveryRecord(v["delivery"])) && (v["dispatchLog"] === void 0 || checkDispatchLog(v["dispatchLog"])) && (v["mount"] === void 0 || Array.isArray(v["mount"]) && v["mount"].every((e) => checkMountSeed(e))) && (v["route"] === void 0 || typeof v["route"] === "string") && (v["residence"] === void 0 || checkLegResidence(v["residence"])) && (v["framesSince"] === void 0 || typeof v["framesSince"] === "number");
221
+ }
222
+ function checkEventResponse(v) {
223
+ return isRecord(v) && typeof v["success"] === "boolean" && typeof v["transitioned"] === "boolean" && (isRecord(v["states"]) && Object.values(v["states"]).every((e) => typeof e === "string")) && (Array.isArray(v["emittedEvents"]) && v["emittedEvents"].every((e) => checkEmittedEvent(e))) && (v["data"] === void 0 || isRecord(v["data"]) && Object.values(v["data"]).every((e) => Array.isArray(e) && e.every((e2) => accepts((x, q) => entityRow(x, q), e2)))) && (v["dataRefs"] === void 0 || isRecord(v["dataRefs"]) && Object.values(v["dataRefs"]).every((e) => checkRowSetRef(e))) && (v["frames"] === void 0 || checkFrameDelta(v["frames"])) && (v["clientEffectsByTrait"] === void 0 || Array.isArray(v["clientEffectsByTrait"]) && v["clientEffectsByTrait"].every((e) => checkClientEffectByTrait(e))) && (v["effectResults"] === void 0 || Array.isArray(v["effectResults"]) && v["effectResults"].every((e) => checkServerEffectResult(e))) && (v["guardFailed"] === void 0 || typeof v["guardFailed"] === "string") && (v["rejections"] === void 0 || Array.isArray(v["rejections"]) && v["rejections"].every((e) => checkTransitionRejection(e))) && (v["cascadeTruncated"] === void 0 || Array.isArray(v["cascadeTruncated"]) && v["cascadeTruncated"].every((e) => typeof e === "string")) && (v["transitions"] === void 0 || Array.isArray(v["transitions"]) && v["transitions"].every((e) => checkTransitionHop(e))) && (v["error"] === void 0 || typeof v["error"] === "string");
224
+ }
225
+ function checkFfiGrant(v) {
226
+ return isRecord(v) && typeof v["library"] === "string" && typeof v["symbol"] === "string" && typeof v["signature"] === "string";
227
+ }
228
+ function checkFiredTick(v) {
229
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["tick"] === "string";
230
+ }
231
+ function checkFoldProgressWire(v) {
232
+ return isRecord(v) && v["status"] === "applied" && checkAppliedWire(v["fold"]) || isRecord(v) && v["status"] === "queued" && typeof v["ticket"] === "number";
233
+ }
234
+ function checkFoldedNextWire(v) {
235
+ return isRecord(v) && v["outcome"] === "applied" && typeof v["ticket"] === "number" && checkAppliedWire(v["fold"]) || isRecord(v) && v["outcome"] === "failed" && typeof v["ticket"] === "number" && typeof v["error"] === "string";
236
+ }
237
+ function checkFrameDelta(v) {
238
+ return isRecord(v) && (v["session"] === void 0 || typeof v["session"] === "string") && typeof v["from"] === "number" && typeof v["to"] === "number" && (Array.isArray(v["ops"]) && v["ops"].every((e) => checkFrameOp(e))) && (v["identity"] === void 0 || checkFrameIdentity(v["identity"])) && (v["theme"] === void 0 || checkFrameTheme(v["theme"]));
239
+ }
240
+ function checkFrameDispatch(v) {
241
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["orbital"] === "string" && (v["flight"] === void 0 || (typeof v["flight"] === "number" || v["flight"] === null)) && checkSeedWire(v["seed"]) && checkEventResponse(v["response"]) && (Array.isArray(v["serverLegs"]) && v["serverLegs"].every((e) => checkRoutedLeg(e))) && checkDispatchMode(v["mode"]) && (checkTraitSnapshot(v["snapshot"]) || v["snapshot"] === null) && (Array.isArray(v["alreadyDelivered"]) && v["alreadyDelivered"].every((e) => Array.isArray(e) && e.length === 2 && typeof e[0] === "string" && typeof e[1] === "string")) && (Array.isArray(v["awaiting"]) && v["awaiting"].every((e) => checkAwaitingTrait(e))) && (checkStatefulLegWire(v["statefulLeg"]) || v["statefulLeg"] === null) && (Array.isArray(v["foldSeeded"]) && v["foldSeeded"].every((e) => typeof e === "string"));
242
+ }
243
+ function checkFrameIdentity(v) {
244
+ return isRecord(v) && (v["user"] === void 0 || accepts((x, q) => any(x, q), v["user"]));
245
+ }
246
+ function checkFrameOp(v) {
247
+ return Array.isArray(v) && v.length === 3 && v[0] === "put" && typeof v[1] === "string" && accepts((x, q) => entityRow(x, q), v[2]) || Array.isArray(v) && v.length === 2 && v[0] === "set" && (isRecord(v[1]) && Object.values(v[1]).every((e) => accepts((x, q) => entityRow(x, q), e))) || Array.isArray(v) && v.length === 2 && v[0] === "del" && typeof v[1] === "string" || Array.isArray(v) && v.length === 1 && v[0] === "clear";
248
+ }
249
+ function checkFrameTheme(v) {
250
+ return isRecord(v) && (v["key"] === void 0 || typeof v["key"] === "string");
251
+ }
252
+ function checkFrameWire(v) {
253
+ return isRecord(v) && (isRecord(v["fired"]) && Object.values(v["fired"]).every((e) => Array.isArray(e) && e.every((e2) => checkFiredTick(e2)))) && checkEventResponse(v["response"]) && (Array.isArray(v["dispatches"]) && v["dispatches"].every((e) => checkFrameDispatch(e))) && (Array.isArray(v["browserLegs"]) && v["browserLegs"].every((e) => checkRoutedLeg(e))) && typeof v["droppedServerEffects"] === "number" && (Array.isArray(v["errors"]) && v["errors"].every((e) => typeof e === "string"));
254
+ }
255
+ function checkFramesResync(v) {
256
+ return isRecord(v) && typeof v["session"] === "string" && typeof v["since"] === "number";
257
+ }
258
+ function checkFsGrant(v) {
259
+ return isRecord(v) && typeof v["glob"] === "string" && (Array.isArray(v["modes"]) && v["modes"].every((e) => checkFsMode(e)));
260
+ }
261
+ function checkFsMode(v) {
262
+ return v === "read" || v === "write" || v === "create" || v === "remove" || v === "meta";
263
+ }
264
+ function checkGrantAnchor(v) {
265
+ return v === "exe" || v === "exe-dir" || v === "cwd" || isRecord(v) && typeof v["env"] === "string";
266
+ }
267
+ function checkGuardVerdict(v) {
268
+ return v === "pass" || v === "fail" || v === "none";
269
+ }
270
+ function checkHopEffect(v) {
271
+ return isRecord(v) && typeof v["type"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) && checkHopEffectStatus(v["status"]) && (v["error"] === void 0 || typeof v["error"] === "string");
272
+ }
273
+ function checkHopEffectStatus(v) {
274
+ return v === "executed" || v === "failed" || v === "skipped";
275
+ }
276
+ function checkHopObservation(v) {
277
+ return isRecord(v) && accepts((x, q) => any(x, q), v["payload"]) && accepts((x, q) => any(x, q), v["entityBefore"]) && accepts((x, q) => any(x, q), v["entityAfter"]);
278
+ }
279
+ function checkHostAskCompletion(v) {
280
+ return isRecord(v) && typeof v["trait"] === "string" && (v["entityId"] === void 0 || typeof v["entityId"] === "string") && (v["key"] === void 0 || typeof v["key"] === "string") && (v["success"] === void 0 || typeof v["success"] === "string") && (v["failure"] === void 0 || typeof v["failure"] === "string") && (v["onMessage"] === void 0 || typeof v["onMessage"] === "string");
281
+ }
282
+ function checkInstanceRef(v) {
283
+ return isRecord(v) && typeof v["instance"] === "string" && typeof v["orbital"] === "string" && (v["trait"] === void 0 || typeof v["trait"] === "string");
284
+ }
285
+ function checkIoAnswerWire(v) {
286
+ return isRecord(v) && v["kind"] === "row" && (isRecord(v["result"]) && (accepts((x, q) => entityRow(x, q), v["result"]["ok"]) || v["result"]["ok"] === null) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "rows" && (isRecord(v["result"]) && (Array.isArray(v["result"]["ok"]) && v["result"]["ok"].every((e) => accepts((x, q) => entityRow(x, q), e))) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "page" && (isRecord(v["result"]) && checkRowPage(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "idPage" && (isRecord(v["result"]) && checkRowIdPage(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "queryUnsupported" && typeof v["reason"] === "string" || isRecord(v) && v["kind"] === "wrote" && (isRecord(v["result"]) && (Array.isArray(v["result"]["ok"]) && v["result"]["ok"].every((e) => checkRowWriteOutcome(e))) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "writeUnsupported" && typeof v["reason"] === "string" || isRecord(v) && v["kind"] === "committed" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "boolean" || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "deleted" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "service" && (isRecord(v["result"]) && accepts((x, q) => any(x, q), v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "serviceCancelled" || isRecord(v) && v["kind"] === "serviceDeferred" || isRecord(v) && v["kind"] === "cancelled" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "substrate" && (isRecord(v["result"]) && accepts((x, q) => any(x, q), v["result"]["ok"]) || isRecord(v["result"]) && checkSubstrateFailureWire(v["result"]["error"])) || isRecord(v) && v["kind"] === "pageFacts" && (isRecord(v["result"]) && checkPageFactsWire(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "prompt" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "string" || isRecord(v["result"]) && checkModelFailureWire(v["result"]["error"])) || isRecord(v) && v["kind"] === "embed" && (isRecord(v["result"]) && (Array.isArray(v["result"]["ok"]) && v["result"]["ok"].every((e) => Array.isArray(e) && e.every((e2) => typeof e2 === "number"))) || isRecord(v["result"]) && checkModelFailureWire(v["result"]["error"])) || isRecord(v) && v["kind"] === "tab" && (isRecord(v["result"]) && accepts((x, q) => any(x, q), v["result"]["ok"]) || isRecord(v["result"]) && checkTabFailure(v["result"]["error"])) || isRecord(v) && v["kind"] === "secret" && (isRecord(v["result"]) && (typeof v["result"]["ok"] === "string" || v["result"]["ok"] === null) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "secretSet" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "secretRotate" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "random" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "string" || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "clock" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "number" || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "sealed" && (isRecord(v["result"]) && accepts((x, q) => any(x, q), v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "os" && (isRecord(v["result"]) && accepts((x, q) => any(x, q), v["result"]["ok"]) || isRecord(v["result"]) && checkOsError(v["result"]["error"])) || isRecord(v) && v["kind"] === "credentialStatus" && (isRecord(v["result"]) && checkCredentialStanding(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialForget" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialConnect" && (isRecord(v["result"]) && checkCredentialStanding(v["result"]["ok"]) || isRecord(v["result"]) && checkConnectFailure(v["result"]["error"])) || isRecord(v) && v["kind"] === "credentialStoreList" && (isRecord(v["result"]) && (checkStoreListing(v["result"]["ok"]) || v["result"]["ok"] === null) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialEnvTails" && (isRecord(v["result"]) && checkEnvTails(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialStoreRead" && (isRecord(v["result"]) && (typeof v["result"]["ok"] === "string" || v["result"]["ok"] === null) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialStoreWrite" && (isRecord(v["result"]) && v["result"]["ok"] === null || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialStoreRemove" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "boolean" || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialStoreRotate" && (isRecord(v["result"]) && checkRotateCounts(v["result"]["ok"]) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialModeRead" && (isRecord(v["result"]) && (typeof v["result"]["ok"] === "string" || v["result"]["ok"] === null) || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "credentialModeWrite" && (isRecord(v["result"]) && typeof v["result"]["ok"] === "string" || isRecord(v["result"]) && typeof v["result"]["error"] === "string") || isRecord(v) && v["kind"] === "deliver" && (isRecord(v["result"]) && checkAccepted(v["result"]["ok"]) || isRecord(v["result"]) && checkDeliverRefusal(v["result"]["error"]));
287
+ }
288
+ function checkIoReplyWire(v) {
289
+ return isRecord(v) && typeof v["id"] === "number" && checkIoAnswerWire(v["answer"]);
290
+ }
291
+ function checkIoRequestWire(v) {
292
+ return isRecord(v) && v["kind"] === "readRow" && typeof v["entityType"] === "string" && typeof v["id"] === "string" || isRecord(v) && v["kind"] === "listRows" && typeof v["entityType"] === "string" || isRecord(v) && v["kind"] === "queryRows" && typeof v["entityType"] === "string" && checkRowQuery(v["query"]) && checkRowProjection(v["project"]) || isRecord(v) && v["kind"] === "writeRows" && checkRowWriteBatch(v["batch"]) || isRecord(v) && v["kind"] === "commitRows" && (Array.isArray(v["rows"]) && v["rows"].every((e) => checkRowCommit(e))) || isRecord(v) && v["kind"] === "createRow" && typeof v["entityType"] === "string" && accepts((x, q) => any(x, q), v["data"]) || isRecord(v) && v["kind"] === "writeRow" && typeof v["entityType"] === "string" && typeof v["id"] === "string" && accepts((x, q) => any(x, q), v["data"]) || isRecord(v) && v["kind"] === "deleteRow" && typeof v["entityType"] === "string" && typeof v["id"] === "string" || isRecord(v) && v["kind"] === "callService" && typeof v["service"] === "string" && typeof v["method"] === "string" && accepts((x, q) => any(x, q), v["args"]) && (v["key"] === void 0 || typeof v["key"] === "string") && (v["caller"] === void 0 || checkCallerWire(v["caller"])) && (v["site"] === void 0 || checkCallSiteWire(v["site"])) || isRecord(v) && v["kind"] === "cancelCall" && typeof v["key"] === "string" || isRecord(v) && v["kind"] === "substrate" && typeof v["op"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) && (v["key"] === void 0 || typeof v["key"] === "string") && (v["site"] === void 0 || checkCallSiteWire(v["site"])) || isRecord(v) && v["kind"] === "pageFacts" && (Array.isArray(v["fields"]) && v["fields"].every((e) => checkPageFactFieldWire(e))) || isRecord(v) && v["kind"] === "prompt" && typeof v["text"] === "string" && typeof v["schema"] === "string" && (v["key"] === void 0 || typeof v["key"] === "string") || isRecord(v) && v["kind"] === "embed" && (Array.isArray(v["texts"]) && v["texts"].every((e) => typeof e === "string")) && (v["key"] === void 0 || typeof v["key"] === "string") || isRecord(v) && v["kind"] === "tab" && checkTabAsk(v["ask"]) && (v["key"] === void 0 || typeof v["key"] === "string") || isRecord(v) && v["kind"] === "secret" && typeof v["name"] === "string" && (v["principal"] === void 0 || typeof v["principal"] === "string") || isRecord(v) && v["kind"] === "secretSet" && typeof v["name"] === "string" && typeof v["value"] === "string" && typeof v["ttlMs"] === "number" && (v["principal"] === void 0 || typeof v["principal"] === "string") || isRecord(v) && v["kind"] === "secretRotate" && typeof v["name"] === "string" && typeof v["value"] === "string" && (v["principal"] === void 0 || typeof v["principal"] === "string") || isRecord(v) && v["kind"] === "deliver" && checkEnvelope(v["envelope"]) && (v["key"] === void 0 || typeof v["key"] === "string") && checkCallSiteWire(v["site"]) || isRecord(v) && v["kind"] === "guest" && typeof v["guest"] === "string" && (Array.isArray(v["targets"]) && v["targets"].every((e) => typeof e === "string")) && typeof v["event"] === "string" && accepts((x, q) => any(x, q), v["payload"]) && checkOsGrants(v["grants"]) && (v["key"] === void 0 || typeof v["key"] === "string") && (v["site"] === void 0 || checkCallSiteWire(v["site"])) || isRecord(v) && v["kind"] === "random" && typeof v["bytes"] === "number" || isRecord(v) && v["kind"] === "clock" || isRecord(v) && v["kind"] === "sealed" && typeof v["op"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) || isRecord(v) && v["kind"] === "os" && checkOsOp(v["op"]) && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) && (v["key"] === void 0 || typeof v["key"] === "string") && (v["site"] === void 0 || checkCallSiteWire(v["site"])) && (v["principal"] === void 0 || typeof v["principal"] === "string") && (v["orbital"] === void 0 || typeof v["orbital"] === "string") || isRecord(v) && v["kind"] === "credentialStatus" && typeof v["name"] === "string" && (v["principal"] === void 0 || typeof v["principal"] === "string") || isRecord(v) && v["kind"] === "credentialForget" && typeof v["name"] === "string" && (v["principal"] === void 0 || typeof v["principal"] === "string") || isRecord(v) && v["kind"] === "credentialConnect" && checkCredentialGrantWire(v["grant"]) || isRecord(v) && v["kind"] === "credentialStoreList" || isRecord(v) && v["kind"] === "credentialEnvTails" && (Array.isArray(v["names"]) && v["names"].every((e) => typeof e === "string")) || isRecord(v) && v["kind"] === "credentialStoreRead" && typeof v["name"] === "string" || isRecord(v) && v["kind"] === "credentialStoreWrite" && typeof v["service"] === "string" && typeof v["name"] === "string" && typeof v["value"] === "string" || isRecord(v) && v["kind"] === "credentialStoreRemove" && typeof v["name"] === "string" || isRecord(v) && v["kind"] === "credentialStoreRotate" || isRecord(v) && v["kind"] === "credentialModeRead" || isRecord(v) && v["kind"] === "credentialModeWrite" && typeof v["mode"] === "string";
293
+ }
294
+ function checkJsonTokenSpec(v) {
295
+ return isRecord(v) && typeof v["clientIdField"] === "string" && typeof v["clientSecretField"] === "string" && typeof v["accessField"] === "string" && (v["refreshField"] === void 0 || (typeof v["refreshField"] === "string" || v["refreshField"] === null)) && (v["expiresInField"] === void 0 || (typeof v["expiresInField"] === "string" || v["expiresInField"] === null)) && (v["refreshEndpoint"] === void 0 || (typeof v["refreshEndpoint"] === "string" || v["refreshEndpoint"] === null)) && (v["refreshBodyField"] === void 0 || (typeof v["refreshBodyField"] === "string" || v["refreshBodyField"] === null));
296
+ }
297
+ function checkKernelGrant(v) {
298
+ return isRecord(v) && typeof v["target"] === "string" && (Array.isArray(v["kinds"]) && v["kinds"].every((e) => checkKernelKind(e)));
299
+ }
300
+ function checkKernelKind(v) {
301
+ return v === "call" || v === "reorder" || v === "read" || v === "spawn";
302
+ }
303
+ function checkKvMode(v) {
304
+ return v === "read" || v === "write";
305
+ }
306
+ function checkLeft(v) {
307
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["orbital"] === "string" && checkEventRequest(v["leg"]);
308
+ }
309
+ function checkLegResidence(v) {
310
+ return v === "browser" || v === "server";
311
+ }
312
+ function checkLifecycleEvent(v) {
313
+ return v === "INIT" || v === "LOAD" || v === "$MOUNT";
314
+ }
315
+ function checkMemGrant(v) {
316
+ return isRecord(v) && typeof v["target"] === "string" && (Array.isArray(v["kinds"]) && v["kinds"].every((e) => checkMemKind(e)));
317
+ }
318
+ function checkMemKind(v) {
319
+ return v === "create" || v === "free" || v === "atomic";
320
+ }
321
+ function checkModelFailureKindWire(v) {
322
+ return v === "unconfigured" || v === "unavailable" || v === "failed";
323
+ }
324
+ function checkModelFailureWire(v) {
325
+ return isRecord(v) && checkModelFailureKindWire(v["kind"]) && typeof v["message"] === "string";
326
+ }
327
+ function checkMountFailure(v) {
328
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["event"] === "string" && typeof v["message"] === "string";
329
+ }
330
+ function checkMountLegWire(v) {
331
+ return isRecord(v) && typeof v["orbital"] === "string" && (Array.isArray(v["seeds"]) && v["seeds"].every((e) => checkSeedWire(e))) && checkEventRequest(v["leg"]) && (Array.isArray(v["alreadyDelivered"]) && v["alreadyDelivered"].every((e) => Array.isArray(e) && e.length === 2 && typeof e[0] === "string" && typeof e[1] === "string")) && (Array.isArray(v["awaiting"]) && v["awaiting"].every((e) => checkAwaitingTrait(e))) && (Array.isArray(v["foldSeeded"]) && v["foldSeeded"].every((e) => typeof e === "string"));
332
+ }
333
+ function checkMountSeed(v) {
334
+ return isRecord(v) && typeof v["trait"] === "string" && checkLifecycleEvent(v["event"]);
335
+ }
336
+ function checkMountWire(v) {
337
+ return isRecord(v) && (Array.isArray(v["seeds"]) && v["seeds"].every((e) => checkDispatchWire(e))) && (Array.isArray(v["legs"]) && v["legs"].every((e) => checkMountLegWire(e))) && (Array.isArray(v["statefulLegs"]) && v["statefulLegs"].every((e) => checkMountLegWire(e))) && (checkMountFailure(v["failed"]) || v["failed"] === null);
338
+ }
339
+ function checkNavigateOptions(v) {
340
+ return isRecord(v) && (v["crumb"] === void 0 || typeof v["crumb"] === "string");
341
+ }
342
+ function checkNetGrant(v) {
343
+ return isRecord(v) && typeof v["target"] === "string" && (Array.isArray(v["kinds"]) && v["kinds"].every((e) => checkNetKind(e)));
344
+ }
345
+ function checkNetKind(v) {
346
+ return v === "tcp" || v === "udp" || v === "listen";
347
+ }
348
+ function checkNetPart(v) {
349
+ return isRecord(v) && typeof v["literal"] === "string" || isRecord(v) && checkGrantAnchor(v["anchor"]);
350
+ }
351
+ function checkNextWire(v) {
352
+ return isRecord(v) && v["outcome"] === "started" && typeof v["ticket"] === "number" && checkServerProgressWire(v["progress"]) || isRecord(v) && v["outcome"] === "failed" && typeof v["ticket"] === "number" && typeof v["error"] === "string";
353
+ }
354
+ function checkOsError(v) {
355
+ return isRecord(v) && checkOsErrorKind(v["kind"]) && typeof v["message"] === "string";
356
+ }
357
+ function checkOsErrorKind(v) {
358
+ return v === "denied" || v === "not-found" || v === "exists" || v === "invalid" || v === "io" || v === "timeout" || v === "unsupported" || v === "closed" || v === "tls" || v === "borrowed";
359
+ }
360
+ function checkOsGrantFinding(v) {
361
+ return isRecord(v) && checkOsGrantFindingCode(v["code"]) && (v["orbital"] === void 0 || typeof v["orbital"] === "string") && (v["call"] === void 0 || typeof v["call"] === "string") && (v["entry"] === void 0 || typeof v["entry"] === "string") && typeof v["site"] === "string" && (v["grant"] === void 0 || typeof v["grant"] === "string") && (v["app"] === void 0 || typeof v["app"] === "boolean") && (v["argument"] === void 0 || typeof v["argument"] === "number") && (v["via"] === void 0 || checkOsGrantVia(v["via"]));
362
+ }
363
+ function checkOsGrantFindingCode(v) {
364
+ return v === "missing" || v === "unused" || v === "entry-invalid" || v === "target-not-static";
365
+ }
366
+ function checkOsGrantVia(v) {
367
+ return v === "config" || v === "config-unresolvable" || v === "computed-path";
368
+ }
369
+ function checkOsGrants(v) {
370
+ return isRecord(v) && (v["fs"] === void 0 || Array.isArray(v["fs"]) && v["fs"].every((e) => checkFsGrant(e))) && (v["exec"] === void 0 || Array.isArray(v["exec"]) && v["exec"].every((e) => typeof e === "string")) && (v["net"] === void 0 || Array.isArray(v["net"]) && v["net"].every((e) => checkNetGrant(e))) && (v["env"] === void 0 || Array.isArray(v["env"]) && v["env"].every((e) => typeof e === "string")) && (v["stdio"] === void 0 || Array.isArray(v["stdio"]) && v["stdio"].every((e) => checkStdioKind(e))) && (v["sys"] === void 0 || Array.isArray(v["sys"]) && v["sys"].every((e) => checkSysKind(e))) && (v["desktop"] === void 0 || Array.isArray(v["desktop"]) && v["desktop"].every((e) => checkDesktopKind(e))) && (v["dev"] === void 0 || Array.isArray(v["dev"]) && v["dev"].every((e) => checkDevGrant(e))) && (v["mem"] === void 0 || Array.isArray(v["mem"]) && v["mem"].every((e) => checkMemGrant(e))) && (v["kernel"] === void 0 || Array.isArray(v["kernel"]) && v["kernel"].every((e) => checkKernelGrant(e))) && (v["ffi"] === void 0 || Array.isArray(v["ffi"]) && v["ffi"].every((e) => checkFfiGrant(e))) && (v["credentials"] === void 0 || Array.isArray(v["credentials"]) && v["credentials"].every((e) => checkCredentialKind(e))) && (v["kv"] === void 0 || isRecord(v["kv"]) && Object.values(v["kv"]).every((e) => Array.isArray(e) && e.every((e2) => checkKvMode(e2)))) && (v["anchored"] === void 0 || checkAnchoredGrants(v["anchored"]));
371
+ }
372
+ function checkOsGrantsReport(v) {
373
+ return isRecord(v) && (Array.isArray(v["findings"]) && v["findings"].every((e) => checkOsGrantFinding(e)));
374
+ }
375
+ function checkOsOp(v) {
376
+ return v === "os/read-file" || v === "os/write-file" || v === "os/append-file" || v === "os/open" || v === "os/close" || v === "os/read" || v === "os/write" || v === "os/seek" || v === "os/truncate" || v === "os/fsync" || v === "os/copy" || v === "os/rename" || v === "os/remove" || v === "os/link" || v === "os/symlink" || v === "os/readlink" || v === "os/watch-files" || v === "os/mkdir" || v === "os/rmdir" || v === "os/list-dir" || v === "os/glob" || v === "os/mktemp" || v === "os/realpath" || v === "os/cwd" || v === "os/chdir" || v === "os/stat" || v === "os/lstat" || v === "os/access" || v === "os/exists" || v === "os/chmod" || v === "os/chown" || v === "os/utimes" || v === "os/spawn" || v === "os/wait" || v === "os/kill" || v === "os/pid" || v === "os/ppid" || v === "os/current-exe" || v === "os/watch-process" || v === "os/watch-signal" || v === "os/getenv" || v === "os/setenv" || v === "os/unsetenv" || v === "os/environ" || v === "os/watch-env" || v === "os/stdin-read" || v === "os/stdout-write" || v === "os/stderr-write" || v === "os/isatty" || v === "os/tty-size" || v === "os/tcp-connect" || v === "os/tcp-listen" || v === "os/tls-upgrade" || v === "os/send" || v === "os/recv" || v === "os/udp-bind" || v === "os/sendto" || v === "os/recvfrom" || v === "os/dns-resolve" || v === "os/shutdown" || v === "os/watch-port" || v === "os/fetch" || v === "os/clock-monotonic" || v === "os/uid" || v === "os/gid" || v === "os/username" || v === "os/group-of" || v === "os/watch-cron" || v === "os/cpu-usage" || v === "os/memory-info" || v === "os/uptime" || v === "os/load-avg" || v === "os/hostname" || v === "os/uname" || v === "os/disk-usage" || v === "os/mounts" || v === "os/disk-io" || v === "os/network-interfaces" || v === "os/network-stats" || v === "os/network-connected" || v === "os/default-gateway" || v === "os/battery-status" || v === "os/ac-power" || v === "os/thermal-zones" || v === "os/notify" || v === "os/speak" || v === "os/brightness-get" || v === "os/brightness-set" || v === "os/volume-get" || v === "os/volume-set" || v === "os/volume-mute" || v === "os/suspend" || v === "os/hibernate" || v === "os/mmio-read" || v === "os/mmio-write" || v === "os/irq-wait" || v === "os/irq-ack" || v === "kv/get" || v === "kv/put" || v === "kv/delete" || v === "kv/scan" || v === "kv/batch" || v === "mem/arena-new" || v === "mem/arena-drop" || v === "mem/alloc" || v === "mem/free" || v === "mem/borrow" || v === "mem/release" || v === "mem/write" || v === "mem/freeze" || v === "mem/atomic-load" || v === "mem/atomic-store" || v === "mem/atomic-add" || v === "mem/atomic-cas" || v === "kernel/queue-front" || v === "kernel/queue-back" || v === "ffi/call";
377
+ }
378
+ function checkPageFactFieldWire(v) {
379
+ return v === "hostname" || v === "referrer" || v === "screenWidth" || v === "href";
380
+ }
381
+ function checkPageFactsWire(v) {
382
+ return isRecord(v) && typeof v["available"] === "boolean" && typeof v["hostname"] === "string" && typeof v["referrer"] === "string" && (typeof v["screenWidth"] === "number" || v["screenWidth"] === null) && typeof v["href"] === "string";
383
+ }
384
+ function checkPendingAsk(v) {
385
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["operator"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) && typeof v["key"] === "string";
386
+ }
387
+ function checkPendingRequestWire(v) {
388
+ return isRecord(v) && typeof v["id"] === "number" && checkIoRequestWire(v["request"]);
389
+ }
390
+ function checkPlayedEffect(v) {
391
+ return isRecord(v) && typeof v["type"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => accepts((x, q) => any(x, q), e))) && checkPlayedEffectStatus(v["status"]) && (v["error"] === void 0 || typeof v["error"] === "string") && typeof v["routed"] === "boolean";
392
+ }
393
+ function checkPlayedEffectStatus(v) {
394
+ return v === "executed" || v === "failed" || v === "skipped";
395
+ }
396
+ function checkPlayedEmit(v) {
397
+ return isRecord(v) && typeof v["type"] === "string" && (v["payload"] === void 0 || accepts((x, q) => rec(x, q), v["payload"])) && typeof v["timestamp"] === "number";
398
+ }
399
+ function checkPlayedEnsures(v) {
400
+ return isRecord(v) && accepts((x, q) => any(x, q), v["proposition"]) && checkEnsuresVerdict(v["verdict"]) && (v["reason"] === void 0 || typeof v["reason"] === "string") && (v["counterexample"] === void 0 || checkPropositionBindings(v["counterexample"]));
401
+ }
402
+ function checkPlayedGuard(v) {
403
+ return isRecord(v) && typeof v["arm"] === "number" && accepts((x, q) => any(x, q), v["guard"]) && typeof v["passed"] === "boolean" && (Array.isArray(v["trace"]) && v["trace"].every((e) => checkEvalStepWire(e))) && (v["error"] === void 0 || typeof v["error"] === "string");
404
+ }
405
+ function checkPlayedOutcome(v) {
406
+ return isRecord(v) && typeof v["orbital"] === "string" && typeof v["trait"] === "string" && typeof v["event"] === "string" && typeof v["from"] === "string" && typeof v["to"] === "string" && (v["arm"] === void 0 || typeof v["arm"] === "number") && typeof v["fired"] === "boolean" && (Array.isArray(v["effects"]) && v["effects"].every((e) => checkPlayedEffect(e))) && (Array.isArray(v["emitted"]) && v["emitted"].every((e) => checkPlayedEmit(e)));
407
+ }
408
+ function checkPlayedResult(v) {
409
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["event"] === "string" && typeof v["transitionFired"] === "boolean" && checkGuardVerdict(v["guard"]) && (v["firedArm"] === void 0 || typeof v["firedArm"] === "number") && checkPlayedState(v["state"]) && (Array.isArray(v["effects"]) && v["effects"].every((e) => checkPlayedEffect(e))) && (Array.isArray(v["emitted"]) && v["emitted"].every((e) => checkPlayedEmit(e))) && (Array.isArray(v["guards"]) && v["guards"].every((e) => checkPlayedGuard(e))) && (Array.isArray(v["ensures"]) && v["ensures"].every((e) => checkPlayedEnsures(e))) && (v["rendered"] === void 0 || Array.isArray(v["rendered"]) && v["rendered"].every((e) => checkRenderedSlot(e))) && (v["failure"] === void 0 || typeof v["failure"] === "string") && (accepts((x, q) => rec(x, q), v["entityAfter"]) || v["entityAfter"] === null) && (Array.isArray(v["pendingAsks"]) && v["pendingAsks"].every((e) => checkPendingAsk(e))) && (Array.isArray(v["outcomes"]) && v["outcomes"].every((e) => checkPlayedOutcome(e)));
410
+ }
411
+ function checkPlayedState(v) {
412
+ return isRecord(v) && (typeof v["before"] === "string" || v["before"] === null) && (typeof v["after"] === "string" || v["after"] === null);
413
+ }
414
+ function checkPlayedStep(v) {
415
+ return isRecord(v) && typeof v["orbital"] === "string" && typeof v["trait"] === "string" && typeof v["from"] === "string" && typeof v["event"] === "string" && accepts((x, q) => rec(x, q), v["payload"]) && checkPlayedResult(v["result"]) && (v["entity"] === void 0 || isRecord(v["entity"]) && Object.values(v["entity"]).every((e) => accepts((x, q) => any(x, q), e))) && (v["config"] === void 0 || isRecord(v["config"]) && Object.values(v["config"]).every((e) => accepts((x, q) => any(x, q), e))) && (v["now"] === void 0 || typeof v["now"] === "number") && (v["settleMs"] === void 0 || typeof v["settleMs"] === "number") && (v["viewer"] === void 0 || (isRecord(v["viewer"]) && Object.values(v["viewer"]).every((e) => accepts((x, q) => any(x, q), e)) || v["viewer"] === null)) && (v["credentials"] === void 0 || isRecord(v["credentials"]) && Object.values(v["credentials"]).every((e) => typeof e === "string"));
416
+ }
417
+ function checkPropositionBindings(v) {
418
+ return isRecord(v) && accepts((x, q) => any(x, q), v["entity"]) && accepts((x, q) => any(x, q), v["fromEntity"]) && accepts((x, q) => any(x, q), v["payload"]);
419
+ }
420
+ function checkProveFinding(v) {
421
+ return isRecord(v) && checkProveVerdict(v["verdict"]) && typeof v["reason"] === "string" && (v["counterexample"] === void 0 || accepts((x, q) => any(x, q), v["counterexample"])) && typeof v["site"] === "string" && checkProvedProposition(v["proposition"]);
422
+ }
423
+ function checkProveReport(v) {
424
+ return isRecord(v) && (Array.isArray(v["findings"]) && v["findings"].every((e) => checkProveFinding(e)));
425
+ }
426
+ function checkProveVerdict(v) {
427
+ return v === "violated" || v === "unproved";
428
+ }
429
+ function checkProvedProposition(v) {
430
+ return isRecord(v) && v["kind"] === "row" && typeof v["entity"] === "string" && accepts((x, q) => any(x, q), v["expr"]) || isRecord(v) && v["kind"] === "state" && typeof v["trait"] === "string" && typeof v["state"] === "string" && accepts((x, q) => any(x, q), v["expr"]) || isRecord(v) && v["kind"] === "transition" && typeof v["trait"] === "string" && typeof v["from"] === "string" && typeof v["event"] === "string" && typeof v["to"] === "string" && accepts((x, q) => any(x, q), v["expr"]);
431
+ }
432
+ function checkRenderedNode(v) {
433
+ return isRecord(v) && typeof v["pattern"] === "string" && typeof v["dynamic"] === "boolean" && typeof v["supported"] === "boolean" && typeof v["stub"] === "boolean" && checkEntityBinding(v["binding"]) && (Array.isArray(v["traitRefs"]) && v["traitRefs"].every((e) => checkTraitRef(e)));
434
+ }
435
+ function checkRenderedSlot(v) {
436
+ return isRecord(v) && typeof v["slot"] === "string" && typeof v["sourceTrait"] === "string" && typeof v["ownerEntity"] === "string" && (Array.isArray(v["nodes"]) && v["nodes"].every((e) => checkRenderedNode(e))) && (v["props"] === void 0 || accepts((x, q) => any(x, q), v["props"])) && (v["fault"] === void 0 || checkSlotFault(v["fault"]));
437
+ }
438
+ function checkRepaintReason(v) {
439
+ return v === "rows-changed";
440
+ }
441
+ function checkResolveProgressWire(v) {
442
+ return isRecord(v) && v["status"] === "done" && (Array.isArray(v["rows"]) && v["rows"].every((e) => accepts((x, q) => entityRow(x, q), e))) && typeof v["total"] === "number" || isRecord(v) && v["status"] === "await" && typeof v["flight"] === "number" && (Array.isArray(v["requests"]) && v["requests"].every((e) => checkPendingRequestWire(e)));
443
+ }
444
+ function checkResolvedMotion(v) {
445
+ return accepts((x, q) => rec(x, q), v);
446
+ }
447
+ function checkResolvedTheme(v) {
448
+ return isRecord(v) && typeof v["key"] === "string" && typeof v["base"] === "string" && (v["mode"] === "light" || v["mode"] === "dark") && accepts((x, q) => rec(x, q), v["tokens"]);
449
+ }
450
+ function checkRotateCounts(v) {
451
+ return isRecord(v) && typeof v["rotated"] === "number" && typeof v["alreadyCurrent"] === "number" && typeof v["unreadable"] === "number";
452
+ }
453
+ function checkRoutedLeg(v) {
454
+ return isRecord(v) && typeof v["orbital"] === "string" && checkEventRequest(v["leg"]);
455
+ }
456
+ function checkRowCommit(v) {
457
+ return isRecord(v) && typeof v["entityType"] === "string" && typeof v["id"] === "string" && (accepts((x, q) => entityRow(x, q), v["expected"]) || v["expected"] === null) && checkRowCommitWrite(v["write"]);
458
+ }
459
+ function checkRowCommitWrite(v) {
460
+ return isRecord(v) && v["kind"] === "keep" || isRecord(v) && v["kind"] === "put" && accepts((x, q) => entityRow(x, q), v["row"]) || isRecord(v) && v["kind"] === "delete";
461
+ }
462
+ function checkRowCompareOp(v) {
463
+ return v === "==" || v === "!=" || v === "<" || v === "<=" || v === ">" || v === ">=";
464
+ }
465
+ function checkRowDirection(v) {
466
+ return v === "asc" || v === "desc";
467
+ }
468
+ function checkRowIdPage(v) {
469
+ return isRecord(v) && (Array.isArray(v["ids"]) && v["ids"].every((e) => typeof e === "string")) && typeof v["total"] === "number";
470
+ }
471
+ function checkRowNearest(v) {
472
+ return isRecord(v) && typeof v["field"] === "string" && (Array.isArray(v["vector"]) && v["vector"].every((e) => typeof e === "number")) && typeof v["k"] === "number";
473
+ }
474
+ function checkRowOrder(v) {
475
+ return isRecord(v) && typeof v["field"] === "string" && checkRowDirection(v["direction"]);
476
+ }
477
+ function checkRowPage(v) {
478
+ return isRecord(v) && (Array.isArray(v["rows"]) && v["rows"].every((e) => accepts((x, q) => entityRow(x, q), e))) && typeof v["total"] === "number";
479
+ }
480
+ function checkRowPredicate(v) {
481
+ return isRecord(v) && v["kind"] === "compare" && typeof v["field"] === "string" && checkRowCompareOp(v["op"]) && accepts((x, q) => any(x, q), v["value"]) || isRecord(v) && v["kind"] === "member" && typeof v["field"] === "string" && (Array.isArray(v["values"]) && v["values"].every((e) => accepts((x, q) => any(x, q), e))) || isRecord(v) && v["kind"] === "hasElement" && typeof v["field"] === "string" && accepts((x, q) => any(x, q), v["value"]) || isRecord(v) && v["kind"] === "contains" && typeof v["field"] === "string" && typeof v["text"] === "string" && typeof v["caseSensitive"] === "boolean" || isRecord(v) && v["kind"] === "isNull" && typeof v["field"] === "string" && typeof v["isNull"] === "boolean" || isRecord(v) && v["kind"] === "all" && (Array.isArray(v["of"]) && v["of"].every((e) => checkRowPredicate(e))) || isRecord(v) && v["kind"] === "any" && (Array.isArray(v["of"]) && v["of"].every((e) => checkRowPredicate(e))) || isRecord(v) && v["kind"] === "not" && checkRowPredicate(v["of"]) || isRecord(v) && v["kind"] === "const" && typeof v["value"] === "boolean";
482
+ }
483
+ function checkRowProjection(v) {
484
+ return v === "rows" || v === "ids";
485
+ }
486
+ function checkRowQuery(v) {
487
+ return isRecord(v) && (v["policy"] === void 0 || checkRowPredicate(v["policy"])) && (v["filter"] === void 0 || checkRowPredicate(v["filter"])) && (v["order"] === void 0 || checkRowOrder(v["order"])) && (v["offset"] === void 0 || typeof v["offset"] === "number") && (v["limit"] === void 0 || typeof v["limit"] === "number") && (v["total"] === void 0 || checkRowTotalMode(v["total"])) && (v["nearest"] === void 0 || checkRowNearest(v["nearest"]));
488
+ }
489
+ function checkRowSetRef(v) {
490
+ return isRecord(v) && typeof v["entityType"] === "string" && (Array.isArray(v["ids"]) && v["ids"].every((e) => typeof e === "string")) && typeof v["total"] === "number" && checkRowQuery(v["query"]);
491
+ }
492
+ function checkRowTotalMode(v) {
493
+ return v === "exact" || v === "none";
494
+ }
495
+ function checkRowWriteBatch(v) {
496
+ return isRecord(v) && (Array.isArray(v["ops"]) && v["ops"].every((e) => checkRowWriteOp(e))) && checkRowWriteFailureMode(v["onFailure"]);
497
+ }
498
+ function checkRowWriteFailureMode(v) {
499
+ return v === "atomic" || v === "stop";
500
+ }
501
+ function checkRowWriteOp(v) {
502
+ return isRecord(v) && v["kind"] === "create" && typeof v["entityType"] === "string" && accepts((x, q) => entityRow(x, q), v["data"]) || isRecord(v) && v["kind"] === "upsert" && typeof v["entityType"] === "string" && accepts((x, q) => entityRow(x, q), v["data"]) || isRecord(v) && v["kind"] === "update" && typeof v["entityType"] === "string" && typeof v["id"] === "string" && accepts((x, q) => entityRow(x, q), v["data"]) && (v["guard"] === void 0 || checkRowPredicate(v["guard"])) || isRecord(v) && v["kind"] === "rekey" && typeof v["entityType"] === "string" && typeof v["id"] === "string" && typeof v["newId"] === "string" && (v["guard"] === void 0 || checkRowPredicate(v["guard"])) || isRecord(v) && v["kind"] === "delete" && typeof v["entityType"] === "string" && typeof v["id"] === "string" && (v["guard"] === void 0 || checkRowPredicate(v["guard"]));
503
+ }
504
+ function checkRowWriteOutcome(v) {
505
+ return isRecord(v) && v["kind"] === "created" && accepts((x, q) => entityRow(x, q), v["row"]) || isRecord(v) && v["kind"] === "updated" && accepts((x, q) => entityRow(x, q), v["row"]) && (v["before"] === void 0 || accepts((x, q) => entityRow(x, q), v["before"])) || isRecord(v) && v["kind"] === "deleted" && (v["before"] === void 0 || accepts((x, q) => entityRow(x, q), v["before"])) || isRecord(v) && v["kind"] === "not-found" || isRecord(v) && v["kind"] === "duplicate-id" || isRecord(v) && v["kind"] === "refused" || isRecord(v) && v["kind"] === "failed" && typeof v["message"] === "string" || isRecord(v) && v["kind"] === "rolled-back";
506
+ }
507
+ function checkRunTick(v) {
508
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["tick"] === "string";
509
+ }
510
+ function checkSeedWire(v) {
511
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["event"] === "string";
512
+ }
513
+ function checkServerEffectCode(v) {
514
+ return v === "not-found" || v === "no-row-key" || v === "duplicate-id" || v === "denied" || v === "derived-failed";
515
+ }
516
+ function checkServerEffectKind(v) {
517
+ return v === "set" || v === "persist" || v === "call-service" || v === "fetch" || v === "fetch-stream" || v === "emit" || v === "substrate";
518
+ }
519
+ function checkServerEffectResult(v) {
520
+ return isRecord(v) && checkServerEffectKind(v["effect"]) && (v["action"] === void 0 || typeof v["action"] === "string") && (v["entityType"] === void 0 || typeof v["entityType"] === "string") && (v["name"] === void 0 || accepts((x, q) => namespacedEffectName(x, q), v["name"])) && (v["data"] === void 0 || (accepts((x, q) => entityRow(x, q), v["data"]) || accepts((x, q) => serverBatchSummary(x, q), v["data"]) || accepts((x, q) => any(x, q), v["data"]))) && typeof v["success"] === "boolean" && (v["denied"] === void 0 || v["denied"] === true) && (v["error"] === void 0 || typeof v["error"] === "string") && (v["code"] === void 0 || checkServerEffectCode(v["code"])) && (v["target"] === void 0 || typeof v["target"] === "string") && (v["routed"] === void 0 || typeof v["routed"] === "string");
521
+ }
522
+ function checkServerProgressWire(v) {
523
+ return isRecord(v) && v["status"] === "done" && checkEventResponse(v["response"]) || isRecord(v) && v["status"] === "await" && typeof v["flight"] === "number" && (Array.isArray(v["requests"]) && v["requests"].every((e) => checkPendingRequestWire(e))) || isRecord(v) && v["status"] === "queued" && typeof v["ticket"] === "number";
524
+ }
525
+ function checkSlotFault(v) {
526
+ return isRecord(v) && checkTransitionRejectionCode(v["code"]) && typeof v["error"] === "string";
527
+ }
528
+ function checkSnapshotWire(v) {
529
+ return isRecord(v) && accepts((x, q) => rec(x, q), v["states"]) && (Array.isArray(v["ambiguousTraits"]) && v["ambiguousTraits"].every((e) => checkAmbiguousTrait(e))) && checkResolvedTheme(v["theme"]) && checkCanvasTheme(v["canvasTheme"]) && checkResolvedMotion(v["motion"]);
530
+ }
531
+ function checkStatefulLegWire(v) {
532
+ return isRecord(v) && typeof v["orbital"] === "string" && checkEventRequest(v["leg"]) && (Array.isArray(v["awaiting"]) && v["awaiting"].every((e) => checkAwaitingTrait(e)));
533
+ }
534
+ function checkStdioKind(v) {
535
+ return v === "in" || v === "out" || v === "err";
536
+ }
537
+ function checkStepEmit(v) {
538
+ return isRecord(v) && typeof v["event"] === "string" && (accepts((x, q) => rec(x, q), v["payload"]) || v["payload"] === null);
539
+ }
540
+ function checkStepGuard(v) {
541
+ return isRecord(v) && typeof v["arm"] === "number" && accepts((x, q) => any(x, q), v["guard"]) && typeof v["passed"] === "boolean" && (v["error"] === void 0 || typeof v["error"] === "string");
542
+ }
543
+ function checkStepOutcome(v) {
544
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["executed"] === "boolean" && typeof v["previousState"] === "string" && typeof v["newState"] === "string" && (Array.isArray(v["emits"]) && v["emits"].every((e) => checkStepEmit(e))) && (typeof v["firedArm"] === "number" || v["firedArm"] === null) && (Array.isArray(v["guards"]) && v["guards"].every((e) => checkStepGuard(e))) && (Array.isArray(v["effects"]) && v["effects"].every((e) => checkPlayedEffect(e))) && (typeof v["failure"] === "string" || v["failure"] === null) && typeof v["orbital"] === "string" && typeof v["event"] === "string" && (Array.isArray(v["ensures"]) && v["ensures"].every((e) => checkPlayedEnsures(e)));
545
+ }
546
+ function checkStepRefusal(v) {
547
+ return isRecord(v) && v["success"] === false && typeof v["error"] === "string" && (typeof v["trait"] === "string" || v["trait"] === null) && (Array.isArray(v["outcomes"]) && v["outcomes"].every((e) => checkStepOutcome(e)));
548
+ }
549
+ function checkStepReport(v) {
550
+ return isRecord(v) && v["success"] === true && (Array.isArray(v["steps"]) && v["steps"].every((e) => checkStepResult(e))) && (isRecord(v["dispatchModes"]) && Object.values(v["dispatchModes"]).every((e) => checkDispatchMode(e)));
551
+ }
552
+ function checkStepResult(v) {
553
+ return isRecord(v) && (Array.isArray(v["outcomes"]) && v["outcomes"].every((e) => checkStepOutcome(e))) && (isRecord(v["states"]) && Object.values(v["states"]).every((e) => typeof e === "string")) && (isRecord(v["entities"]) && Object.values(v["entities"]).every((e) => accepts((x, q) => any(x, q), e))) && (accepts((x, q) => rec(x, q), v["entityAfter"]) || v["entityAfter"] === null) && (Array.isArray(v["pendingAsks"]) && v["pendingAsks"].every((e) => checkPendingAsk(e)));
554
+ }
555
+ function checkStoreListing(v) {
556
+ return isRecord(v) && typeof v["enabled"] === "boolean" && (Array.isArray(v["entries"]) && v["entries"].every((e) => checkStoredName(e)));
557
+ }
558
+ function checkStoredName(v) {
559
+ return isRecord(v) && typeof v["service"] === "string" && typeof v["name"] === "string" && (v["last4"] === void 0 || typeof v["last4"] === "string");
560
+ }
561
+ function checkSubstrateFailureWire(v) {
562
+ return isRecord(v) && typeof v["message"] === "string" && (Array.isArray(v["errors"]) && v["errors"].every((e) => accepts((x, q) => any(x, q), e)));
563
+ }
564
+ function checkSysKind(v) {
565
+ return v === "cpu" || v === "memory" || v === "disk" || v === "network" || v === "power-state" || v === "identity" || v === "self-signal";
566
+ }
567
+ function checkTabAction(v) {
568
+ return v === "click" || v === "focus" || v === "type";
569
+ }
570
+ function checkTabApply(v) {
571
+ return isRecord(v) && typeof v["elementId"] === "string" && (Array.isArray(v["styles"]) && v["styles"].every((e) => checkTabStyle(e))) && (v["label"] === void 0 || (typeof v["label"] === "string" || v["label"] === null));
572
+ }
573
+ function checkTabAsk(v) {
574
+ return isRecord(v) && v["kind"] === "list" || isRecord(v) && v["kind"] === "open" && typeof v["url"] === "string" && typeof v["active"] === "boolean" || isRecord(v) && v["kind"] === "close" && typeof v["tab"] === "number" || isRecord(v) && v["kind"] === "navigate" && typeof v["tab"] === "number" && typeof v["url"] === "string" || isRecord(v) && v["kind"] === "command" && typeof v["tab"] === "number" && checkTabCommand(v["command"]) || isRecord(v) && v["kind"] === "awaitReady" && typeof v["tab"] === "number" && typeof v["timeoutMs"] === "number" || isRecord(v) && v["kind"] === "watch" && typeof v["watchId"] === "string" && typeof v["match"] === "string" && typeof v["selector"] === "string" && (Array.isArray(v["fields"]) && v["fields"].every((e) => checkTabField(e))) && checkTabDelivery(v["deliver"]) || isRecord(v) && v["kind"] === "unwatch" && typeof v["watchId"] === "string" || isRecord(v) && v["kind"] === "capture" && typeof v["tab"] === "number" && checkTabImageFormat(v["format"]) && (v["quality"] === void 0 || (typeof v["quality"] === "number" || v["quality"] === null));
575
+ }
576
+ function checkTabCommand(v) {
577
+ return isRecord(v) && v["kind"] === "query" && typeof v["selector"] === "string" && (Array.isArray(v["fields"]) && v["fields"].every((e) => checkTabField(e))) && (v["limit"] === void 0 || (typeof v["limit"] === "number" || v["limit"] === null)) && (v["waitMs"] === void 0 || (typeof v["waitMs"] === "number" || v["waitMs"] === null)) || isRecord(v) && v["kind"] === "watch" && typeof v["watchId"] === "string" && typeof v["selector"] === "string" && (Array.isArray(v["fields"]) && v["fields"].every((e) => checkTabField(e))) || isRecord(v) && v["kind"] === "unwatch" && typeof v["watchId"] === "string" || isRecord(v) && v["kind"] === "apply" && checkTabApply(v) || isRecord(v) && v["kind"] === "applyMany" && (Array.isArray(v["items"]) && v["items"].every((e) => checkTabApply(e))) || isRecord(v) && v["kind"] === "act" && typeof v["elementId"] === "string" && checkTabAction(v["action"]) && (v["text"] === void 0 || (typeof v["text"] === "string" || v["text"] === null));
578
+ }
579
+ function checkTabDelivery(v) {
580
+ return isRecord(v) && typeof v["orbital"] === "string" && typeof v["trait"] === "string" && typeof v["event"] === "string";
581
+ }
582
+ function checkTabFailure(v) {
583
+ return isRecord(v) && checkTabFailureKind(v["kind"]) && typeof v["message"] === "string";
584
+ }
585
+ function checkTabFailureKind(v) {
586
+ return v === "unavailable" || v === "not-ready" || v === "not-found" || v === "invalid" || v === "failed";
587
+ }
588
+ function checkTabField(v) {
589
+ return isRecord(v) && typeof v["name"] === "string" && (v["selector"] === void 0 || (typeof v["selector"] === "string" || v["selector"] === null)) && (v["attr"] === void 0 || (typeof v["attr"] === "string" || v["attr"] === null)) && (v["resolve"] === void 0 || typeof v["resolve"] === "boolean") && (v["template"] === void 0 || (typeof v["template"] === "string" || v["template"] === null)) && (v["required"] === void 0 || typeof v["required"] === "boolean");
590
+ }
591
+ function checkTabImageFormat(v) {
592
+ return v === "png" || v === "jpeg";
593
+ }
594
+ function checkTabStyle(v) {
595
+ return isRecord(v) && typeof v["property"] === "string" && typeof v["value"] === "string";
596
+ }
597
+ function checkTraitFrom(v) {
598
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["from"] === "string" && (v["event"] === void 0 || typeof v["event"] === "string");
599
+ }
600
+ function checkTraitRef(v) {
601
+ return isRecord(v) && typeof v["name"] === "string" && typeof v["resolved"] === "boolean" && typeof v["overlayOnly"] === "boolean";
602
+ }
603
+ function checkTraitSnapshot(v) {
604
+ return isRecord(v) && typeof v["state"] === "string" && accepts((x, q) => any(x, q), v["entity"]);
605
+ }
606
+ function checkTransitionHop(v) {
607
+ return isRecord(v) && typeof v["trait"] === "string" && typeof v["from"] === "string" && typeof v["to"] === "string" && typeof v["event"] === "string" && (v["firedArm"] === void 0 || typeof v["firedArm"] === "number") && (v["guardResult"] === void 0 || typeof v["guardResult"] === "boolean") && (Array.isArray(v["effects"]) && v["effects"].every((e) => checkHopEffect(e))) && (v["observed"] === void 0 || checkHopObservation(v["observed"]));
608
+ }
609
+ function checkTransitionRejection(v) {
610
+ return isRecord(v) && checkTransitionRejectionCode(v["code"]) && (v["trait"] === void 0 || typeof v["trait"] === "string") && (v["from"] === void 0 || typeof v["from"] === "string") && (v["event"] === void 0 || typeof v["event"] === "string") && (v["statesDeclaringEvent"] === void 0 || Array.isArray(v["statesDeclaringEvent"]) && v["statesDeclaringEvent"].every((e) => typeof e === "string")) && (v["transition"] === void 0 || typeof v["transition"] === "string") && (v["guard"] === void 0 || accepts((x, q) => any(x, q), v["guard"])) && (v["error"] === void 0 || typeof v["error"] === "string") && (v["slot"] === void 0 || typeof v["slot"] === "string");
611
+ }
612
+ function checkTransitionRejectionCode(v) {
613
+ return v === "no-matching-transition" || v === "guard-rejected" || v === "no-dispatchable-traits" || v === "not-an-external-input" || v === "inbound-only-event" || v === "effect-failed" || v === "locale-not-declared" || v === "client-circuit-state-refused" || v === "repaint-failed";
614
+ }
615
+ function checkValidationJsonError(v) {
616
+ return isRecord(v) && typeof v["code"] === "string" && typeof v["path"] === "string" && typeof v["message"] === "string" && (v["suggestion"] === void 0 || typeof v["suggestion"] === "string") && (v["fixGuidance"] === void 0 || typeof v["fixGuidance"] === "string") && (v["expectedShape"] === void 0 || typeof v["expectedShape"] === "string") && (v["validValues"] === void 0 || Array.isArray(v["validValues"]) && v["validValues"].every((e) => typeof e === "string")) && (v["line"] === void 0 || typeof v["line"] === "number") && (v["column"] === void 0 || typeof v["column"] === "number") && (v["endLine"] === void 0 || typeof v["endLine"] === "number") && (v["endColumn"] === void 0 || typeof v["endColumn"] === "number") && typeof v["approximate"] === "boolean" && (v["needsInstall"] === void 0 || typeof v["needsInstall"] === "boolean") && (v["entity"] === void 0 || typeof v["entity"] === "string") && (v["field"] === void 0 || typeof v["field"] === "string");
617
+ }
618
+ function checkValidationJsonOutput(v) {
619
+ return isRecord(v) && typeof v["success"] === "boolean" && typeof v["valid"] === "boolean" && (v["errors"] === void 0 || Array.isArray(v["errors"]) && v["errors"].every((e) => checkValidationJsonError(e))) && (v["warnings"] === void 0 || Array.isArray(v["warnings"]) && v["warnings"].every((e) => checkValidationJsonWarning(e))) && (v["stats"] === void 0 || checkValidationStats(v["stats"]));
620
+ }
621
+ function checkValidationJsonWarning(v) {
622
+ return isRecord(v) && typeof v["code"] === "string" && typeof v["path"] === "string" && typeof v["message"] === "string" && (v["suggestion"] === void 0 || typeof v["suggestion"] === "string") && (v["line"] === void 0 || typeof v["line"] === "number") && (v["column"] === void 0 || typeof v["column"] === "number") && (v["endLine"] === void 0 || typeof v["endLine"] === "number") && (v["endColumn"] === void 0 || typeof v["endColumn"] === "number") && typeof v["approximate"] === "boolean" && (v["entity"] === void 0 || typeof v["entity"] === "string") && (v["field"] === void 0 || typeof v["field"] === "string");
623
+ }
624
+ function checkValidationStats(v) {
625
+ return isRecord(v) && typeof v["orbitals"] === "number" && typeof v["entities"] === "number" && typeof v["traits"] === "number" && typeof v["pages"] === "number";
626
+ }
627
+ function buildAccepted(v, p) {
628
+ return nul(v, p);
629
+ }
630
+ function buildAmbiguousTrait(v, p) {
631
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "orbitals": list(r0["orbitals"], p + ".orbitals", (e1, q1) => str(e1, q1)) }));
632
+ }
633
+ function buildAnchoredExec(v, p) {
634
+ return obj(v, p, ["anchor", "path"], (r0) => ({ "anchor": buildGrantAnchor(r0["anchor"], p + ".anchor"), ...r0["path"] === void 0 || r0["path"] === null ? {} : { "path": str(r0["path"], p + ".path") } }));
635
+ }
636
+ function buildAnchoredFsGrant(v, p) {
637
+ return obj(v, p, ["anchor", "glob", "modes"], (r0) => ({ "anchor": buildGrantAnchor(r0["anchor"], p + ".anchor"), "glob": str(r0["glob"], p + ".glob"), "modes": list(r0["modes"], p + ".modes", (e1, q1) => buildFsMode(e1, q1)) }));
638
+ }
639
+ function buildAnchoredGrants(v, p) {
640
+ return obj(v, p, ["fs", "exec", "net"], (r0) => ({ ...r0["fs"] === void 0 || r0["fs"] === null ? {} : { "fs": list(r0["fs"], p + ".fs", (e1, q1) => buildAnchoredFsGrant(e1, q1)) }, ...r0["exec"] === void 0 || r0["exec"] === null ? {} : { "exec": list(r0["exec"], p + ".exec", (e1, q1) => buildAnchoredExec(e1, q1)) }, ...r0["net"] === void 0 || r0["net"] === null ? {} : { "net": list(r0["net"], p + ".net", (e1, q1) => buildAnchoredNetGrant(e1, q1)) } }));
641
+ }
642
+ function buildAnchoredNetGrant(v, p) {
643
+ return obj(v, p, ["host", "port", "kinds"], (r0) => ({ "host": buildNetPart(r0["host"], p + ".host"), "port": buildNetPart(r0["port"], p + ".port"), "kinds": list(r0["kinds"], p + ".kinds", (e1, q1) => buildNetKind(e1, q1)) }));
644
+ }
645
+ function buildAppliedWire(v, p) {
646
+ return obj(v, p, null, (r0) => ({ "applied": list(r0["applied"], p + ".applied", (e1, q1) => tuple(e1, q1, 2, (t2) => [str(t2[0], q1 + "[0]"), str(t2[1], q1 + "[1]")])), "response": buildEventResponse(r0["response"], p + ".response"), "serverLegs": list(r0["serverLegs"], p + ".serverLegs", (e1, q1) => buildRoutedLeg(e1, q1)), ...r0["resync"] === void 0 || r0["resync"] === null ? {} : { "resync": r0["resync"] === null ? null : buildFramesResync(r0["resync"], p + ".resync") } }));
647
+ }
648
+ function buildAssertionSpec(v, p) {
649
+ return obj(v, p, null, (r0) => ({ "signingKey": str(r0["signingKey"], p + ".signingKey"), ...r0["subject"] === void 0 || r0["subject"] === null ? {} : { "subject": r0["subject"] === null ? null : str(r0["subject"], p + ".subject") }, "audience": str(r0["audience"], p + ".audience"), "ttlSeconds": int(r0["ttlSeconds"], p + ".ttlSeconds", 0, 4294967295, "u32") }));
650
+ }
651
+ function buildAwaitingTrait(v, p) {
652
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event"), "from": str(r0["from"], p + ".from") }));
653
+ }
654
+ function buildBusEventSource(v, p) {
655
+ return obj(v, p, null, (r0) => ({ ...r0["orbital"] === void 0 || r0["orbital"] === null ? {} : { "orbital": str(r0["orbital"], p + ".orbital") }, ...r0["orbitalId"] === void 0 || r0["orbitalId"] === null ? {} : { "orbitalId": asOrbitalId(str(r0["orbitalId"], p + ".orbitalId")) }, ...r0["trait"] === void 0 || r0["trait"] === null ? {} : { "trait": str(r0["trait"], p + ".trait") }, ...r0["traitId"] === void 0 || r0["traitId"] === null ? {} : { "traitId": asTraitId(str(r0["traitId"], p + ".traitId")) }, ...r0["eventId"] === void 0 || r0["eventId"] === null ? {} : { "eventId": asEventId(str(r0["eventId"], p + ".eventId")) }, ...r0["transition"] === void 0 || r0["transition"] === null ? {} : { "transition": str(r0["transition"], p + ".transition") }, ...r0["tick"] === void 0 || r0["tick"] === null ? {} : { "tick": str(r0["tick"], p + ".tick") }, ...r0["fromBridge"] === void 0 || r0["fromBridge"] === null ? {} : { "fromBridge": bool(r0["fromBridge"], p + ".fromBridge") }, ...r0["dispatched"] === void 0 || r0["dispatched"] === null ? {} : { "dispatched": bool(r0["dispatched"], p + ".dispatched") }, ...r0["originClientId"] === void 0 || r0["originClientId"] === null ? {} : { "originClientId": str(r0["originClientId"], p + ".originClientId") }, ...r0["pendingKey"] === void 0 || r0["pendingKey"] === null ? {} : { "pendingKey": str(r0["pendingKey"], p + ".pendingKey") }, ...r0["persistSuccess"] === void 0 || r0["persistSuccess"] === null ? {} : { "persistSuccess": bool(r0["persistSuccess"], p + ".persistSuccess") }, ...r0["instanceKey"] === void 0 || r0["instanceKey"] === null ? {} : { "instanceKey": str(r0["instanceKey"], p + ".instanceKey") } }));
656
+ }
657
+ function buildCallRoutesWire(v, p) {
658
+ return obj(v, p, null, (r0) => ({ ...r0["success"] === void 0 || r0["success"] === null ? {} : { "success": str(r0["success"], p + ".success") }, ...r0["failure"] === void 0 || r0["failure"] === null ? {} : { "failure": str(r0["failure"], p + ".failure") }, ...r0["cancelled"] === void 0 || r0["cancelled"] === null ? {} : { "cancelled": str(r0["cancelled"], p + ".cancelled") }, ...r0["onMessage"] === void 0 || r0["onMessage"] === null ? {} : { "onMessage": str(r0["onMessage"], p + ".onMessage") } }));
659
+ }
660
+ function buildCallSiteWire(v, p) {
661
+ return obj(v, p, null, (r0) => ({ ...r0["orbital"] === void 0 || r0["orbital"] === null ? {} : { "orbital": str(r0["orbital"], p + ".orbital") }, "trait": str(r0["trait"], p + ".trait"), "followOn": bool(r0["followOn"], p + ".followOn"), ...r0["entityId"] === void 0 || r0["entityId"] === null ? {} : { "entityId": str(r0["entityId"], p + ".entityId") }, "emit": buildCallRoutesWire(r0["emit"], p + ".emit") }));
662
+ }
663
+ function buildCallerWire(v, p) {
664
+ return obj(v, p, null, (r0) => ({ "principal": str(r0["principal"], p + ".principal"), ...r0["role"] === void 0 || r0["role"] === null ? {} : { "role": str(r0["role"], p + ".role") } }));
665
+ }
666
+ function buildCanvasTheme(v, p) {
667
+ return rec(v, p);
668
+ }
669
+ function buildClientAuth(v, p) {
670
+ return oneOf(v, p, ["body", "basic", "none"]);
671
+ }
672
+ function buildClientEffect(v, p) {
673
+ return Array.isArray(v) && v.length === 3 && v[0] === "render-ui" && typeof v[1] === "string" && (accepts((x, q) => rec(x, q), v[2]) || v[2] === null) ? tuple(v, p, 3, (t0) => [lit(t0[0], p + "[0]", "render-ui"), str(t0[1], p + "[1]"), t0[2] === null ? null : rec(t0[2], p + "[2]")]) : Array.isArray(v) && v.length === 2 && v[0] === "navigate" && typeof v[1] === "string" ? tuple(v, p, 2, (t0) => [lit(t0[0], p + "[0]", "navigate"), str(t0[1], p + "[1]")]) : Array.isArray(v) && v.length === 3 && v[0] === "navigate" && typeof v[1] === "string" && (isRecord(v[2]) && Object.values(v[2]).every((e) => typeof e === "string") || v[2] === null) ? tuple(v, p, 3, (t0) => [lit(t0[0], p + "[0]", "navigate"), str(t0[1], p + "[1]"), t0[2] === null ? null : dict(t0[2], p + "[2]", (e1, q1) => str(e1, q1))]) : Array.isArray(v) && v.length === 4 && v[0] === "navigate" && typeof v[1] === "string" && (isRecord(v[2]) && Object.values(v[2]).every((e) => typeof e === "string") || v[2] === null) && checkNavigateOptions(v[3]) ? tuple(v, p, 4, (t0) => [lit(t0[0], p + "[0]", "navigate"), str(t0[1], p + "[1]"), t0[2] === null ? null : dict(t0[2], p + "[2]", (e1, q1) => str(e1, q1)), buildNavigateOptions(t0[3], p + "[3]")]) : Array.isArray(v) && v.length === 1 && v[0] === "navigate-back" ? tuple(v, p, 1, (t0) => [lit(t0[0], p + "[0]", "navigate-back")]) : Array.isArray(v) && v.length === 3 && v[0] === "host-ask" && typeof v[1] === "string" && (Array.isArray(v[2]) && v[2].every((e) => accepts((x, q) => any(x, q), e))) ? tuple(v, p, 3, (t0) => [lit(t0[0], p + "[0]", "host-ask"), str(t0[1], p + "[1]"), list(t0[2], p + "[2]", (e1, q1) => any(e1, q1))]) : Array.isArray(v) && v.length === 4 && v[0] === "host-ask" && typeof v[1] === "string" && (Array.isArray(v[2]) && v[2].every((e) => accepts((x, q) => any(x, q), e))) && checkHostAskCompletion(v[3]) ? tuple(v, p, 4, (t0) => [lit(t0[0], p + "[0]", "host-ask"), str(t0[1], p + "[1]"), list(t0[2], p + "[2]", (e1, q1) => any(e1, q1)), buildHostAskCompletion(t0[3], p + "[3]")]) : fail(miss(p, "a list of 3 | a list of 2 | a list of 3 | a list of 4 | a list of 1 | a list of 3 | a list of 4"));
674
+ }
675
+ function buildClientEffectByTrait(v, p) {
676
+ return obj(v, p, null, (r0) => ({ "traitName": str(r0["traitName"], p + ".traitName"), "effect": buildClientEffect(r0["effect"], p + ".effect"), ...r0["event"] === void 0 || r0["event"] === null ? {} : { "event": str(r0["event"], p + ".event") }, ...r0["fromState"] === void 0 || r0["fromState"] === null ? {} : { "fromState": str(r0["fromState"], p + ".fromState") }, ...r0["callsitePayload"] === void 0 || r0["callsitePayload"] === null ? {} : { "callsitePayload": rec(r0["callsitePayload"], p + ".callsitePayload") }, ...r0["repaint"] === void 0 || r0["repaint"] === null ? {} : { "repaint": buildRepaintReason(r0["repaint"], p + ".repaint") } }));
677
+ }
678
+ function buildConnectFailure(v, p) {
679
+ return obj(v, p, null, (r0) => ({ "kind": buildConnectFailureKind(r0["kind"], p + ".kind"), "message": str(r0["message"], p + ".message") }));
680
+ }
681
+ function buildConnectFailureKind(v, p) {
682
+ return oneOf(v, p, ["unavailable", "unsigned", "denied", "invalid_grant", "invalid_client", "transport", "malformed", "refused"]);
683
+ }
684
+ function buildCredentialGrantWire(v, p) {
685
+ return obj(v, p, null, (r0) => ({ "name": str(r0["name"], p + ".name"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") }, "tokenEndpoint": str(r0["tokenEndpoint"], p + ".tokenEndpoint"), "grant": str(r0["grant"], p + ".grant"), "code": str(r0["code"], p + ".code"), "redirectUri": str(r0["redirectUri"], p + ".redirectUri"), ...r0["verifier"] === void 0 || r0["verifier"] === null ? {} : { "verifier": str(r0["verifier"], p + ".verifier") }, "clientId": str(r0["clientId"], p + ".clientId"), ...r0["clientSecret"] === void 0 || r0["clientSecret"] === null ? {} : { "clientSecret": str(r0["clientSecret"], p + ".clientSecret") }, "clientAuth": buildClientAuth(r0["clientAuth"], p + ".clientAuth"), "scopes": r0["scopes"] === void 0 ? [] : list(r0["scopes"], p + ".scopes", (e1, q1) => str(e1, q1)), ...r0["refreshCredential"] === void 0 || r0["refreshCredential"] === null ? {} : { "refreshCredential": str(r0["refreshCredential"], p + ".refreshCredential") }, ...r0["assertion"] === void 0 || r0["assertion"] === null ? {} : { "assertion": buildAssertionSpec(r0["assertion"], p + ".assertion") }, ...r0["jsonToken"] === void 0 || r0["jsonToken"] === null ? {} : { "jsonToken": buildJsonTokenSpec(r0["jsonToken"], p + ".jsonToken") } }));
686
+ }
687
+ function buildCredentialKind(v, p) {
688
+ return lit(v, p, "admin");
689
+ }
690
+ function buildCredentialStanding(v, p) {
691
+ return obj(v, p, null, (r0) => ({ "connected": bool(r0["connected"], p + ".connected"), ...r0["label"] === void 0 || r0["label"] === null ? {} : { "label": r0["label"] === null ? null : str(r0["label"], p + ".label") } }));
692
+ }
693
+ function buildDeliverRefusal(v, p) {
694
+ return obj(v, p, null, (r0) => ({ "kind": buildDeliverRefusalKind(r0["kind"], p + ".kind"), "id": str(r0["id"], p + ".id") }));
695
+ }
696
+ function buildDeliverRefusalKind(v, p) {
697
+ return oneOf(v, p, ["mailbox-full", "hop-cap", "unknown-instance", "denied", "down", "payload-invalid", "key-invalid"]);
698
+ }
699
+ function buildDeliveryRecord(v, p) {
700
+ return obj(v, p, null, (r0) => ({ "event": str(r0["event"], p + ".event"), ...r0["payload"] === void 0 || r0["payload"] === null ? {} : { "payload": rec(r0["payload"], p + ".payload") }, "source": r0["source"] === void 0 ? {} : buildBusEventSource(r0["source"], p + ".source") }));
701
+ }
702
+ function buildDesktopKind(v, p) {
703
+ return oneOf(v, p, ["notify", "speak", "brightness", "volume", "power"]);
704
+ }
705
+ function buildDevGrant(v, p) {
706
+ return obj(v, p, ["target", "kinds"], (r0) => ({ "target": str(r0["target"], p + ".target"), "kinds": list(r0["kinds"], p + ".kinds", (e1, q1) => buildDevKind(e1, q1)) }));
707
+ }
708
+ function buildDevKind(v, p) {
709
+ return oneOf(v, p, ["read", "write", "wait", "ack"]);
710
+ }
711
+ function buildDispatchLog(v, p) {
712
+ return obj(v, p, null, (r0) => ({ "prevEvents": list(r0["prevEvents"], p + ".prevEvents", (e1, q1) => buildDeliveryRecord(e1, q1)), "prevStates": list(r0["prevStates"], p + ".prevStates", (e1, q1) => str(e1, q1)) }));
713
+ }
714
+ function buildDispatchMode(v, p) {
715
+ return oneOf(v, p, ["persistedAwaited", "hybridClientOnly", "runtimeOptimistic"]);
716
+ }
717
+ function buildDispatchWire(v, p) {
718
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), ...r0["flight"] === void 0 || r0["flight"] === null ? {} : { "flight": r0["flight"] === null ? null : int(r0["flight"], p + ".flight", 0, Number.MAX_SAFE_INTEGER, "u64") }, "seed": buildSeedWire(r0["seed"], p + ".seed"), "response": buildEventResponse(r0["response"], p + ".response"), "serverLegs": list(r0["serverLegs"], p + ".serverLegs", (e1, q1) => buildRoutedLeg(e1, q1)), "mode": buildDispatchMode(r0["mode"], p + ".mode"), "snapshot": r0["snapshot"] === void 0 ? null : r0["snapshot"] === null ? null : buildTraitSnapshot(r0["snapshot"], p + ".snapshot"), "alreadyDelivered": list(r0["alreadyDelivered"], p + ".alreadyDelivered", (e1, q1) => tuple(e1, q1, 2, (t2) => [str(t2[0], q1 + "[0]"), str(t2[1], q1 + "[1]")])), "awaiting": list(r0["awaiting"], p + ".awaiting", (e1, q1) => buildAwaitingTrait(e1, q1)), "statefulLeg": r0["statefulLeg"] === void 0 ? null : r0["statefulLeg"] === null ? null : buildStatefulLegWire(r0["statefulLeg"], p + ".statefulLeg"), "foldSeeded": list(r0["foldSeeded"], p + ".foldSeeded", (e1, q1) => str(e1, q1)) }));
719
+ }
720
+ function buildEmittedEvent(v, p) {
721
+ return obj(v, p, null, (r0) => ({ "event": str(r0["event"], p + ".event"), ...r0["payload"] === void 0 || r0["payload"] === null ? {} : { "payload": rec(r0["payload"], p + ".payload") }, ...r0["source"] === void 0 || r0["source"] === null ? {} : { "source": buildBusEventSource(r0["source"], p + ".source") } }));
722
+ }
723
+ function buildEnsuresVerdict(v, p) {
724
+ return oneOf(v, p, ["held", "broken", "inconclusive"]);
725
+ }
726
+ function buildEntered(v, p) {
727
+ return obj(v, p, null, (r0) => ({ "seeds": list(r0["seeds"], p + ".seeds", (e1, q1) => buildMountSeed(e1, q1)), "left": list(r0["left"], p + ".left", (e1, q1) => buildLeft(e1, q1)) }));
728
+ }
729
+ function buildEntityBinding(v, p) {
730
+ return obj(v, p, null, (r0) => ({ "kind": buildEntityBindingKind(r0["kind"], p + ".kind"), "entity": str(r0["entity"], p + ".entity"), "rows": int(r0["rows"], p + ".rows", 0, 4294967295, "u32"), "readGated": bool(r0["readGated"], p + ".readGated") }));
731
+ }
732
+ function buildEntityBindingKind(v, p) {
733
+ return oneOf(v, p, ["none", "absent", "malformed", "inline", "named", "payload-unresolved", "context-unresolved"]);
734
+ }
735
+ function buildEnvTail(v, p) {
736
+ return obj(v, p, null, (r0) => ({ "name": str(r0["name"], p + ".name"), ...r0["last4"] === void 0 || r0["last4"] === null ? {} : { "last4": str(r0["last4"], p + ".last4") } }));
737
+ }
738
+ function buildEnvTails(v, p) {
739
+ return rec(v, p)["kind"] === "held" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "held"), "tails": list(r0["tails"], p + ".tails", (e1, q1) => buildEnvTail(e1, q1)) })) : rec(v, p)["kind"] === "unsupported" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "unsupported") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
740
+ }
741
+ function buildEnvelope(v, p) {
742
+ return obj(v, p, null, (r0) => ({ "id": str(r0["id"], p + ".id"), "from": buildInstanceRef(r0["from"], p + ".from"), "to": buildInstanceRef(r0["to"], p + ".to"), "event": str(r0["event"], p + ".event"), "payload": any(r0["payload"], p + ".payload"), "causalId": str(r0["causalId"], p + ".causalId"), "hop": int(r0["hop"], p + ".hop", 0, 4294967295, "u32") }));
743
+ }
744
+ function buildEvalStepKind(v, p) {
745
+ return oneOf(v, p, ["enter", "exit", "iter", "skip"]);
746
+ }
747
+ function buildEvalStepWire(v, p) {
748
+ return obj(v, p, null, (r0) => ({ "kind": buildEvalStepKind(r0["kind"], p + ".kind"), "path": list(r0["path"], p + ".path", (e1, q1) => typeof e1 === "number" ? num(e1, q1) : typeof e1 === "string" ? str(e1, q1) : fail(miss(q1, "a number | a string"))), ...r0["value"] === void 0 || r0["value"] === null ? {} : { "value": any(r0["value"], p + ".value") }, ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") } }));
749
+ }
750
+ function buildEventRequest(v, p) {
751
+ return obj(v, p, null, (r0) => ({ "event": str(r0["event"], p + ".event"), ...r0["eventId"] === void 0 || r0["eventId"] === null ? {} : { "eventId": asEventId(str(r0["eventId"], p + ".eventId")) }, ...r0["payload"] === void 0 || r0["payload"] === null ? {} : { "payload": rec(r0["payload"], p + ".payload") }, ...r0["entityId"] === void 0 || r0["entityId"] === null ? {} : { "entityId": str(r0["entityId"], p + ".entityId") }, ...r0["targetTrait"] === void 0 || r0["targetTrait"] === null ? {} : { "targetTrait": str(r0["targetTrait"], p + ".targetTrait") }, ...r0["clientId"] === void 0 || r0["clientId"] === null ? {} : { "clientId": str(r0["clientId"], p + ".clientId") }, ...r0["locale"] === void 0 || r0["locale"] === null ? {} : { "locale": str(r0["locale"], p + ".locale") }, ...r0["tick"] === void 0 || r0["tick"] === null ? {} : { "tick": str(r0["tick"], p + ".tick") }, ...r0["sourceTrait"] === void 0 || r0["sourceTrait"] === null ? {} : { "sourceTrait": str(r0["sourceTrait"], p + ".sourceTrait") }, ...r0["runTick"] === void 0 || r0["runTick"] === null ? {} : { "runTick": buildRunTick(r0["runTick"], p + ".runTick") }, ...r0["traits"] === void 0 || r0["traits"] === null ? {} : { "traits": list(r0["traits"], p + ".traits", (e1, q1) => buildTraitFrom(e1, q1)) }, ...r0["entityByTrait"] === void 0 || r0["entityByTrait"] === null ? {} : { "entityByTrait": dict(r0["entityByTrait"], p + ".entityByTrait", (e1, q1) => entityRow(e1, q1)) }, ...r0["behavior"] === void 0 || r0["behavior"] === null ? {} : { "behavior": str(r0["behavior"], p + ".behavior") }, ...r0["delivery"] === void 0 || r0["delivery"] === null ? {} : { "delivery": buildDeliveryRecord(r0["delivery"], p + ".delivery") }, ...r0["dispatchLog"] === void 0 || r0["dispatchLog"] === null ? {} : { "dispatchLog": buildDispatchLog(r0["dispatchLog"], p + ".dispatchLog") }, ...r0["mount"] === void 0 || r0["mount"] === null ? {} : { "mount": list(r0["mount"], p + ".mount", (e1, q1) => buildMountSeed(e1, q1)) }, ...r0["route"] === void 0 || r0["route"] === null ? {} : { "route": str(r0["route"], p + ".route") }, ...r0["residence"] === void 0 || r0["residence"] === null ? {} : { "residence": buildLegResidence(r0["residence"], p + ".residence") }, ...r0["framesSince"] === void 0 || r0["framesSince"] === null ? {} : { "framesSince": int(r0["framesSince"], p + ".framesSince", 0, Number.MAX_SAFE_INTEGER, "u64") } }));
752
+ }
753
+ function buildEventResponse(v, p) {
754
+ return obj(v, p, null, (r0) => ({ "success": r0["success"] === void 0 ? false : bool(r0["success"], p + ".success"), "transitioned": r0["transitioned"] === void 0 ? false : bool(r0["transitioned"], p + ".transitioned"), "states": r0["states"] === void 0 ? {} : dict(r0["states"], p + ".states", (e1, q1) => str(e1, q1)), "emittedEvents": r0["emittedEvents"] === void 0 ? [] : list(r0["emittedEvents"], p + ".emittedEvents", (e1, q1) => buildEmittedEvent(e1, q1)), ...r0["data"] === void 0 || r0["data"] === null ? {} : { "data": dict(r0["data"], p + ".data", (e1, q1) => list(e1, q1, (e2, q2) => entityRow(e2, q2))) }, ...r0["dataRefs"] === void 0 || r0["dataRefs"] === null ? {} : { "dataRefs": dict(r0["dataRefs"], p + ".dataRefs", (e1, q1) => buildRowSetRef(e1, q1)) }, ...r0["frames"] === void 0 || r0["frames"] === null ? {} : { "frames": buildFrameDelta(r0["frames"], p + ".frames") }, ...r0["clientEffectsByTrait"] === void 0 || r0["clientEffectsByTrait"] === null ? {} : { "clientEffectsByTrait": list(r0["clientEffectsByTrait"], p + ".clientEffectsByTrait", (e1, q1) => buildClientEffectByTrait(e1, q1)) }, ...r0["effectResults"] === void 0 || r0["effectResults"] === null ? {} : { "effectResults": list(r0["effectResults"], p + ".effectResults", (e1, q1) => buildServerEffectResult(e1, q1)) }, ...r0["guardFailed"] === void 0 || r0["guardFailed"] === null ? {} : { "guardFailed": str(r0["guardFailed"], p + ".guardFailed") }, ...r0["rejections"] === void 0 || r0["rejections"] === null ? {} : { "rejections": list(r0["rejections"], p + ".rejections", (e1, q1) => buildTransitionRejection(e1, q1)) }, ...r0["cascadeTruncated"] === void 0 || r0["cascadeTruncated"] === null ? {} : { "cascadeTruncated": list(r0["cascadeTruncated"], p + ".cascadeTruncated", (e1, q1) => str(e1, q1)) }, ...r0["transitions"] === void 0 || r0["transitions"] === null ? {} : { "transitions": list(r0["transitions"], p + ".transitions", (e1, q1) => buildTransitionHop(e1, q1)) }, ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") } }));
755
+ }
756
+ function buildFfiGrant(v, p) {
757
+ return obj(v, p, ["library", "symbol", "signature"], (r0) => ({ "library": str(r0["library"], p + ".library"), "symbol": str(r0["symbol"], p + ".symbol"), "signature": str(r0["signature"], p + ".signature") }));
758
+ }
759
+ function buildFiredTick(v, p) {
760
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "tick": str(r0["tick"], p + ".tick") }));
761
+ }
762
+ function buildFoldProgressWire(v, p) {
763
+ return rec(v, p)["status"] === "applied" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "applied"), "fold": buildAppliedWire(r0["fold"], p + ".fold") })) : rec(v, p)["status"] === "queued" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "queued"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64") })) : fail(unknownTag(p, "status", rec(v, p)["status"]));
764
+ }
765
+ function buildFoldedNextWire(v, p) {
766
+ return rec(v, p)["outcome"] === "applied" ? obj(v, p, null, (r0) => ({ "outcome": lit(r0["outcome"], p + ".outcome", "applied"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64"), "fold": buildAppliedWire(r0["fold"], p + ".fold") })) : rec(v, p)["outcome"] === "failed" ? obj(v, p, null, (r0) => ({ "outcome": lit(r0["outcome"], p + ".outcome", "failed"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64"), "error": str(r0["error"], p + ".error") })) : fail(unknownTag(p, "outcome", rec(v, p)["outcome"]));
767
+ }
768
+ function buildFrameDelta(v, p) {
769
+ return obj(v, p, null, (r0) => ({ ...r0["session"] === void 0 || r0["session"] === null ? {} : { "session": str(r0["session"], p + ".session") }, "from": int(r0["from"], p + ".from", 0, Number.MAX_SAFE_INTEGER, "u64"), "to": int(r0["to"], p + ".to", 0, Number.MAX_SAFE_INTEGER, "u64"), "ops": list(r0["ops"], p + ".ops", (e1, q1) => buildFrameOp(e1, q1)), ...r0["identity"] === void 0 || r0["identity"] === null ? {} : { "identity": buildFrameIdentity(r0["identity"], p + ".identity") }, ...r0["theme"] === void 0 || r0["theme"] === null ? {} : { "theme": buildFrameTheme(r0["theme"], p + ".theme") } }));
770
+ }
771
+ function buildFrameDispatch(v, p) {
772
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "orbital": str(r0["orbital"], p + ".orbital"), ...r0["flight"] === void 0 || r0["flight"] === null ? {} : { "flight": r0["flight"] === null ? null : num(r0["flight"], p + ".flight") }, "seed": buildSeedWire(r0["seed"], p + ".seed"), "response": buildEventResponse(r0["response"], p + ".response"), "serverLegs": list(r0["serverLegs"], p + ".serverLegs", (e1, q1) => buildRoutedLeg(e1, q1)), "mode": buildDispatchMode(r0["mode"], p + ".mode"), "snapshot": r0["snapshot"] === null ? null : buildTraitSnapshot(r0["snapshot"], p + ".snapshot"), "alreadyDelivered": list(r0["alreadyDelivered"], p + ".alreadyDelivered", (e1, q1) => tuple(e1, q1, 2, (t2) => [str(t2[0], q1 + "[0]"), str(t2[1], q1 + "[1]")])), "awaiting": list(r0["awaiting"], p + ".awaiting", (e1, q1) => buildAwaitingTrait(e1, q1)), "statefulLeg": r0["statefulLeg"] === null ? null : buildStatefulLegWire(r0["statefulLeg"], p + ".statefulLeg"), "foldSeeded": list(r0["foldSeeded"], p + ".foldSeeded", (e1, q1) => str(e1, q1)) }));
773
+ }
774
+ function buildFrameIdentity(v, p) {
775
+ return obj(v, p, null, (r0) => ({ ...r0["user"] === void 0 || r0["user"] === null ? {} : { "user": any(r0["user"], p + ".user") } }));
776
+ }
777
+ function buildFrameOp(v, p) {
778
+ return Array.isArray(v) && v.length === 3 && v[0] === "put" && typeof v[1] === "string" && accepts((x, q) => entityRow(x, q), v[2]) ? tuple(v, p, 3, (t0) => [lit(t0[0], p + "[0]", "put"), str(t0[1], p + "[1]"), entityRow(t0[2], p + "[2]")]) : Array.isArray(v) && v.length === 2 && v[0] === "set" && (isRecord(v[1]) && Object.values(v[1]).every((e) => accepts((x, q) => entityRow(x, q), e))) ? tuple(v, p, 2, (t0) => [lit(t0[0], p + "[0]", "set"), dict(t0[1], p + "[1]", (e1, q1) => entityRow(e1, q1))]) : Array.isArray(v) && v.length === 2 && v[0] === "del" && typeof v[1] === "string" ? tuple(v, p, 2, (t0) => [lit(t0[0], p + "[0]", "del"), str(t0[1], p + "[1]")]) : Array.isArray(v) && v.length === 1 && v[0] === "clear" ? tuple(v, p, 1, (t0) => [lit(t0[0], p + "[0]", "clear")]) : fail(miss(p, "a list of 3 | a list of 2 | a list of 2 | a list of 1"));
779
+ }
780
+ function buildFrameTheme(v, p) {
781
+ return obj(v, p, null, (r0) => ({ ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") } }));
782
+ }
783
+ function buildFrameWire(v, p) {
784
+ return obj(v, p, null, (r0) => ({ "fired": dict(r0["fired"], p + ".fired", (e1, q1) => list(e1, q1, (e2, q2) => buildFiredTick(e2, q2))), "response": buildEventResponse(r0["response"], p + ".response"), "dispatches": list(r0["dispatches"], p + ".dispatches", (e1, q1) => buildFrameDispatch(e1, q1)), "browserLegs": list(r0["browserLegs"], p + ".browserLegs", (e1, q1) => buildRoutedLeg(e1, q1)), "droppedServerEffects": int(r0["droppedServerEffects"], p + ".droppedServerEffects", 0, Number.MAX_SAFE_INTEGER, "usize"), "errors": list(r0["errors"], p + ".errors", (e1, q1) => str(e1, q1)) }));
785
+ }
786
+ function buildFramesResync(v, p) {
787
+ return obj(v, p, null, (r0) => ({ "session": str(r0["session"], p + ".session"), "since": int(r0["since"], p + ".since", 0, Number.MAX_SAFE_INTEGER, "u64") }));
788
+ }
789
+ function buildFsGrant(v, p) {
790
+ return obj(v, p, ["glob", "modes"], (r0) => ({ "glob": str(r0["glob"], p + ".glob"), "modes": list(r0["modes"], p + ".modes", (e1, q1) => buildFsMode(e1, q1)) }));
791
+ }
792
+ function buildFsMode(v, p) {
793
+ return oneOf(v, p, ["read", "write", "create", "remove", "meta"]);
794
+ }
795
+ function buildGrantAnchor(v, p) {
796
+ return v === "exe" ? lit(v, p, "exe") : v === "exe-dir" ? lit(v, p, "exe-dir") : v === "cwd" ? lit(v, p, "cwd") : isRecord(v) && typeof v["env"] === "string" ? obj(v, p, null, (r0) => ({ "env": str(r0["env"], p + ".env") })) : fail(miss(p, '"exe" | "exe-dir" | "cwd" | an object'));
797
+ }
798
+ function buildGuardVerdict(v, p) {
799
+ return oneOf(v, p, ["pass", "fail", "none"]);
800
+ }
801
+ function buildHopEffect(v, p) {
802
+ return obj(v, p, null, (r0) => ({ "type": str(r0["type"], p + ".type"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)), "status": buildHopEffectStatus(r0["status"], p + ".status"), ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") } }));
803
+ }
804
+ function buildHopEffectStatus(v, p) {
805
+ return oneOf(v, p, ["executed", "failed", "skipped"]);
806
+ }
807
+ function buildHopObservation(v, p) {
808
+ return obj(v, p, null, (r0) => ({ "payload": any(r0["payload"], p + ".payload"), "entityBefore": any(r0["entityBefore"], p + ".entityBefore"), "entityAfter": any(r0["entityAfter"], p + ".entityAfter") }));
809
+ }
810
+ function buildHostAskCompletion(v, p) {
811
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), ...r0["entityId"] === void 0 || r0["entityId"] === null ? {} : { "entityId": str(r0["entityId"], p + ".entityId") }, ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, ...r0["success"] === void 0 || r0["success"] === null ? {} : { "success": str(r0["success"], p + ".success") }, ...r0["failure"] === void 0 || r0["failure"] === null ? {} : { "failure": str(r0["failure"], p + ".failure") }, ...r0["onMessage"] === void 0 || r0["onMessage"] === null ? {} : { "onMessage": str(r0["onMessage"], p + ".onMessage") } }));
812
+ }
813
+ function buildInstanceRef(v, p) {
814
+ return obj(v, p, null, (r0) => ({ "instance": str(r0["instance"], p + ".instance"), "orbital": str(r0["orbital"], p + ".orbital"), ...r0["trait"] === void 0 || r0["trait"] === null ? {} : { "trait": str(r0["trait"], p + ".trait") } }));
815
+ }
816
+ function buildIoAnswerWire(v, p) {
817
+ return rec(v, p)["kind"] === "row" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "row"), "result": isRecord(r0["result"]) && (accepts((x, q) => entityRow(x, q), r0["result"]["ok"]) || r0["result"]["ok"] === null) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": r1["ok"] === null ? null : entityRow(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "rows" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "rows"), "result": isRecord(r0["result"]) && (Array.isArray(r0["result"]["ok"]) && r0["result"]["ok"].every((e) => accepts((x, q) => entityRow(x, q), e))) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": list(r1["ok"], p + ".result.ok", (e2, q2) => entityRow(e2, q2)) })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "page" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "page"), "result": isRecord(r0["result"]) && checkRowPage(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildRowPage(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "idPage" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "idPage"), "result": isRecord(r0["result"]) && checkRowIdPage(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildRowIdPage(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "queryUnsupported" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "queryUnsupported"), "reason": str(r0["reason"], p + ".reason") })) : rec(v, p)["kind"] === "wrote" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "wrote"), "result": isRecord(r0["result"]) && (Array.isArray(r0["result"]["ok"]) && r0["result"]["ok"].every((e) => checkRowWriteOutcome(e))) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": list(r1["ok"], p + ".result.ok", (e2, q2) => buildRowWriteOutcome(e2, q2)) })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "writeUnsupported" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "writeUnsupported"), "reason": str(r0["reason"], p + ".reason") })) : rec(v, p)["kind"] === "committed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "committed"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "boolean" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": bool(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "deleted" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "deleted"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "service" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "service"), "result": isRecord(r0["result"]) && accepts((x, q) => any(x, q), r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": any(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "serviceCancelled" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "serviceCancelled") })) : rec(v, p)["kind"] === "serviceDeferred" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "serviceDeferred") })) : rec(v, p)["kind"] === "cancelled" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "cancelled"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "substrate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "substrate"), "result": isRecord(r0["result"]) && accepts((x, q) => any(x, q), r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": any(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkSubstrateFailureWire(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildSubstrateFailureWire(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "pageFacts" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "pageFacts"), "result": isRecord(r0["result"]) && checkPageFactsWire(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildPageFactsWire(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "prompt" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "prompt"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkModelFailureWire(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildModelFailureWire(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "embed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "embed"), "result": isRecord(r0["result"]) && (Array.isArray(r0["result"]["ok"]) && r0["result"]["ok"].every((e) => Array.isArray(e) && e.every((e2) => typeof e2 === "number"))) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": list(r1["ok"], p + ".result.ok", (e2, q2) => list(e2, q2, (e3, q3) => num(e3, q3))) })) : isRecord(r0["result"]) && checkModelFailureWire(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildModelFailureWire(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "tab" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "tab"), "result": isRecord(r0["result"]) && accepts((x, q) => any(x, q), r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": any(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkTabFailure(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildTabFailure(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "secret" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secret"), "result": isRecord(r0["result"]) && (typeof r0["result"]["ok"] === "string" || r0["result"]["ok"] === null) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": r1["ok"] === null ? null : str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "secretSet" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secretSet"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "secretRotate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secretRotate"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "random" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "random"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "clock" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "clock"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "number" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": num(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "sealed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "sealed"), "result": isRecord(r0["result"]) && accepts((x, q) => any(x, q), r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": any(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "os" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "os"), "result": isRecord(r0["result"]) && accepts((x, q) => any(x, q), r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": any(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkOsError(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildOsError(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStatus" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStatus"), "result": isRecord(r0["result"]) && checkCredentialStanding(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildCredentialStanding(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialForget" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialForget"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialConnect" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialConnect"), "result": isRecord(r0["result"]) && checkCredentialStanding(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildCredentialStanding(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkConnectFailure(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildConnectFailure(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStoreList" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreList"), "result": isRecord(r0["result"]) && (checkStoreListing(r0["result"]["ok"]) || r0["result"]["ok"] === null) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": r1["ok"] === null ? null : buildStoreListing(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialEnvTails" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialEnvTails"), "result": isRecord(r0["result"]) && checkEnvTails(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildEnvTails(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStoreRead" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRead"), "result": isRecord(r0["result"]) && (typeof r0["result"]["ok"] === "string" || r0["result"]["ok"] === null) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": r1["ok"] === null ? null : str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStoreWrite" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreWrite"), "result": isRecord(r0["result"]) && r0["result"]["ok"] === null ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": nul(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStoreRemove" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRemove"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "boolean" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": bool(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialStoreRotate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRotate"), "result": isRecord(r0["result"]) && checkRotateCounts(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildRotateCounts(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialModeRead" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialModeRead"), "result": isRecord(r0["result"]) && (typeof r0["result"]["ok"] === "string" || r0["result"]["ok"] === null) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": r1["ok"] === null ? null : str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "credentialModeWrite" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialModeWrite"), "result": isRecord(r0["result"]) && typeof r0["result"]["ok"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": str(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && typeof r0["result"]["error"] === "string" ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": str(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : rec(v, p)["kind"] === "deliver" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "deliver"), "result": isRecord(r0["result"]) && checkAccepted(r0["result"]["ok"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "ok": buildAccepted(r1["ok"], p + ".result.ok") })) : isRecord(r0["result"]) && checkDeliverRefusal(r0["result"]["error"]) ? obj(r0["result"], p + ".result", null, (r1) => ({ "error": buildDeliverRefusal(r1["error"], p + ".result.error") })) : fail(miss(p + ".result", "an object | an object")) })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
818
+ }
819
+ function buildIoReplyWire(v, p) {
820
+ return obj(v, p, null, (r0) => ({ "id": int(r0["id"], p + ".id", 0, Number.MAX_SAFE_INTEGER, "u64"), "answer": buildIoAnswerWire(r0["answer"], p + ".answer") }));
821
+ }
822
+ function buildIoRequestWire(v, p) {
823
+ return rec(v, p)["kind"] === "readRow" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "readRow"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id") })) : rec(v, p)["kind"] === "listRows" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "listRows"), "entityType": str(r0["entityType"], p + ".entityType") })) : rec(v, p)["kind"] === "queryRows" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "queryRows"), "entityType": str(r0["entityType"], p + ".entityType"), "query": buildRowQuery(r0["query"], p + ".query"), "project": buildRowProjection(r0["project"], p + ".project") })) : rec(v, p)["kind"] === "writeRows" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "writeRows"), "batch": buildRowWriteBatch(r0["batch"], p + ".batch") })) : rec(v, p)["kind"] === "commitRows" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "commitRows"), "rows": list(r0["rows"], p + ".rows", (e1, q1) => buildRowCommit(e1, q1)) })) : rec(v, p)["kind"] === "createRow" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "createRow"), "entityType": str(r0["entityType"], p + ".entityType"), "data": any(r0["data"], p + ".data") })) : rec(v, p)["kind"] === "writeRow" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "writeRow"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id"), "data": any(r0["data"], p + ".data") })) : rec(v, p)["kind"] === "deleteRow" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "deleteRow"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id") })) : rec(v, p)["kind"] === "callService" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "callService"), "service": str(r0["service"], p + ".service"), "method": str(r0["method"], p + ".method"), "args": any(r0["args"], p + ".args"), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, ...r0["caller"] === void 0 || r0["caller"] === null ? {} : { "caller": buildCallerWire(r0["caller"], p + ".caller") }, ...r0["site"] === void 0 || r0["site"] === null ? {} : { "site": buildCallSiteWire(r0["site"], p + ".site") } })) : rec(v, p)["kind"] === "cancelCall" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "cancelCall"), "key": str(r0["key"], p + ".key") })) : rec(v, p)["kind"] === "substrate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "substrate"), "op": str(r0["op"], p + ".op"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, ...r0["site"] === void 0 || r0["site"] === null ? {} : { "site": buildCallSiteWire(r0["site"], p + ".site") } })) : rec(v, p)["kind"] === "pageFacts" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "pageFacts"), "fields": list(r0["fields"], p + ".fields", (e1, q1) => buildPageFactFieldWire(e1, q1)) })) : rec(v, p)["kind"] === "prompt" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "prompt"), "text": str(r0["text"], p + ".text"), "schema": str(r0["schema"], p + ".schema"), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") } })) : rec(v, p)["kind"] === "embed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "embed"), "texts": list(r0["texts"], p + ".texts", (e1, q1) => str(e1, q1)), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") } })) : rec(v, p)["kind"] === "tab" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "tab"), "ask": buildTabAsk(r0["ask"], p + ".ask"), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") } })) : rec(v, p)["kind"] === "secret" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secret"), "name": str(r0["name"], p + ".name"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") } })) : rec(v, p)["kind"] === "secretSet" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secretSet"), "name": str(r0["name"], p + ".name"), "value": str(r0["value"], p + ".value"), "ttlMs": int(r0["ttlMs"], p + ".ttlMs", 0, Number.MAX_SAFE_INTEGER, "u64"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") } })) : rec(v, p)["kind"] === "secretRotate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "secretRotate"), "name": str(r0["name"], p + ".name"), "value": str(r0["value"], p + ".value"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") } })) : rec(v, p)["kind"] === "deliver" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "deliver"), "envelope": buildEnvelope(r0["envelope"], p + ".envelope"), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, "site": buildCallSiteWire(r0["site"], p + ".site") })) : rec(v, p)["kind"] === "guest" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "guest"), "guest": str(r0["guest"], p + ".guest"), "targets": list(r0["targets"], p + ".targets", (e1, q1) => str(e1, q1)), "event": str(r0["event"], p + ".event"), "payload": any(r0["payload"], p + ".payload"), "grants": buildOsGrants(r0["grants"], p + ".grants"), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, ...r0["site"] === void 0 || r0["site"] === null ? {} : { "site": buildCallSiteWire(r0["site"], p + ".site") } })) : rec(v, p)["kind"] === "random" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "random"), "bytes": int(r0["bytes"], p + ".bytes", 0, 4294967295, "u32") })) : rec(v, p)["kind"] === "clock" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "clock") })) : rec(v, p)["kind"] === "sealed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "sealed"), "op": str(r0["op"], p + ".op"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)) })) : rec(v, p)["kind"] === "os" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "os"), "op": buildOsOp(r0["op"], p + ".op"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)), ...r0["key"] === void 0 || r0["key"] === null ? {} : { "key": str(r0["key"], p + ".key") }, ...r0["site"] === void 0 || r0["site"] === null ? {} : { "site": buildCallSiteWire(r0["site"], p + ".site") }, ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") }, ...r0["orbital"] === void 0 || r0["orbital"] === null ? {} : { "orbital": str(r0["orbital"], p + ".orbital") } })) : rec(v, p)["kind"] === "credentialStatus" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStatus"), "name": str(r0["name"], p + ".name"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") } })) : rec(v, p)["kind"] === "credentialForget" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialForget"), "name": str(r0["name"], p + ".name"), ...r0["principal"] === void 0 || r0["principal"] === null ? {} : { "principal": str(r0["principal"], p + ".principal") } })) : rec(v, p)["kind"] === "credentialConnect" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialConnect"), "grant": buildCredentialGrantWire(r0["grant"], p + ".grant") })) : rec(v, p)["kind"] === "credentialStoreList" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreList") })) : rec(v, p)["kind"] === "credentialEnvTails" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialEnvTails"), "names": list(r0["names"], p + ".names", (e1, q1) => str(e1, q1)) })) : rec(v, p)["kind"] === "credentialStoreRead" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRead"), "name": str(r0["name"], p + ".name") })) : rec(v, p)["kind"] === "credentialStoreWrite" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreWrite"), "service": str(r0["service"], p + ".service"), "name": str(r0["name"], p + ".name"), "value": str(r0["value"], p + ".value") })) : rec(v, p)["kind"] === "credentialStoreRemove" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRemove"), "name": str(r0["name"], p + ".name") })) : rec(v, p)["kind"] === "credentialStoreRotate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialStoreRotate") })) : rec(v, p)["kind"] === "credentialModeRead" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialModeRead") })) : rec(v, p)["kind"] === "credentialModeWrite" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "credentialModeWrite"), "mode": str(r0["mode"], p + ".mode") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
824
+ }
825
+ function buildJsonTokenSpec(v, p) {
826
+ return obj(v, p, null, (r0) => ({ "clientIdField": str(r0["clientIdField"], p + ".clientIdField"), "clientSecretField": str(r0["clientSecretField"], p + ".clientSecretField"), "accessField": str(r0["accessField"], p + ".accessField"), ...r0["refreshField"] === void 0 || r0["refreshField"] === null ? {} : { "refreshField": r0["refreshField"] === null ? null : str(r0["refreshField"], p + ".refreshField") }, ...r0["expiresInField"] === void 0 || r0["expiresInField"] === null ? {} : { "expiresInField": r0["expiresInField"] === null ? null : str(r0["expiresInField"], p + ".expiresInField") }, ...r0["refreshEndpoint"] === void 0 || r0["refreshEndpoint"] === null ? {} : { "refreshEndpoint": r0["refreshEndpoint"] === null ? null : str(r0["refreshEndpoint"], p + ".refreshEndpoint") }, ...r0["refreshBodyField"] === void 0 || r0["refreshBodyField"] === null ? {} : { "refreshBodyField": r0["refreshBodyField"] === null ? null : str(r0["refreshBodyField"], p + ".refreshBodyField") } }));
827
+ }
828
+ function buildKernelGrant(v, p) {
829
+ return obj(v, p, ["target", "kinds"], (r0) => ({ "target": str(r0["target"], p + ".target"), "kinds": list(r0["kinds"], p + ".kinds", (e1, q1) => buildKernelKind(e1, q1)) }));
830
+ }
831
+ function buildKernelKind(v, p) {
832
+ return oneOf(v, p, ["call", "reorder", "read", "spawn"]);
833
+ }
834
+ function buildKvMode(v, p) {
835
+ return oneOf(v, p, ["read", "write"]);
836
+ }
837
+ function buildLeft(v, p) {
838
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "orbital": str(r0["orbital"], p + ".orbital"), "leg": buildEventRequest(r0["leg"], p + ".leg") }));
839
+ }
840
+ function buildLegResidence(v, p) {
841
+ return oneOf(v, p, ["browser", "server"]);
842
+ }
843
+ function buildLifecycleEvent(v, p) {
844
+ return oneOf(v, p, ["INIT", "LOAD", "$MOUNT"]);
845
+ }
846
+ function buildMemGrant(v, p) {
847
+ return obj(v, p, ["target", "kinds"], (r0) => ({ "target": str(r0["target"], p + ".target"), "kinds": list(r0["kinds"], p + ".kinds", (e1, q1) => buildMemKind(e1, q1)) }));
848
+ }
849
+ function buildMemKind(v, p) {
850
+ return oneOf(v, p, ["create", "free", "atomic"]);
851
+ }
852
+ function buildModelFailureKindWire(v, p) {
853
+ return oneOf(v, p, ["unconfigured", "unavailable", "failed"]);
854
+ }
855
+ function buildModelFailureWire(v, p) {
856
+ return obj(v, p, null, (r0) => ({ "kind": buildModelFailureKindWire(r0["kind"], p + ".kind"), "message": str(r0["message"], p + ".message") }));
857
+ }
858
+ function buildMountFailure(v, p) {
859
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event"), "message": str(r0["message"], p + ".message") }));
860
+ }
861
+ function buildMountLegWire(v, p) {
862
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "seeds": list(r0["seeds"], p + ".seeds", (e1, q1) => buildSeedWire(e1, q1)), "leg": buildEventRequest(r0["leg"], p + ".leg"), "alreadyDelivered": list(r0["alreadyDelivered"], p + ".alreadyDelivered", (e1, q1) => tuple(e1, q1, 2, (t2) => [str(t2[0], q1 + "[0]"), str(t2[1], q1 + "[1]")])), "awaiting": list(r0["awaiting"], p + ".awaiting", (e1, q1) => buildAwaitingTrait(e1, q1)), "foldSeeded": list(r0["foldSeeded"], p + ".foldSeeded", (e1, q1) => str(e1, q1)) }));
863
+ }
864
+ function buildMountSeed(v, p) {
865
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "event": buildLifecycleEvent(r0["event"], p + ".event") }));
866
+ }
867
+ function buildMountWire(v, p) {
868
+ return obj(v, p, null, (r0) => ({ "seeds": list(r0["seeds"], p + ".seeds", (e1, q1) => buildDispatchWire(e1, q1)), "legs": list(r0["legs"], p + ".legs", (e1, q1) => buildMountLegWire(e1, q1)), "statefulLegs": list(r0["statefulLegs"], p + ".statefulLegs", (e1, q1) => buildMountLegWire(e1, q1)), "failed": r0["failed"] === void 0 ? null : r0["failed"] === null ? null : buildMountFailure(r0["failed"], p + ".failed") }));
869
+ }
870
+ function buildNavigateOptions(v, p) {
871
+ return obj(v, p, null, (r0) => ({ ...r0["crumb"] === void 0 || r0["crumb"] === null ? {} : { "crumb": str(r0["crumb"], p + ".crumb") } }));
872
+ }
873
+ function buildNetGrant(v, p) {
874
+ return obj(v, p, ["target", "kinds"], (r0) => ({ "target": str(r0["target"], p + ".target"), "kinds": list(r0["kinds"], p + ".kinds", (e1, q1) => buildNetKind(e1, q1)) }));
875
+ }
876
+ function buildNetKind(v, p) {
877
+ return oneOf(v, p, ["tcp", "udp", "listen"]);
878
+ }
879
+ function buildNetPart(v, p) {
880
+ return isRecord(v) && typeof v["literal"] === "string" ? obj(v, p, null, (r0) => ({ "literal": str(r0["literal"], p + ".literal") })) : isRecord(v) && checkGrantAnchor(v["anchor"]) ? obj(v, p, null, (r0) => ({ "anchor": buildGrantAnchor(r0["anchor"], p + ".anchor") })) : fail(miss(p, "an object | an object"));
881
+ }
882
+ function buildNextWire(v, p) {
883
+ return rec(v, p)["outcome"] === "started" ? obj(v, p, null, (r0) => ({ "outcome": lit(r0["outcome"], p + ".outcome", "started"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64"), "progress": buildServerProgressWire(r0["progress"], p + ".progress") })) : rec(v, p)["outcome"] === "failed" ? obj(v, p, null, (r0) => ({ "outcome": lit(r0["outcome"], p + ".outcome", "failed"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64"), "error": str(r0["error"], p + ".error") })) : fail(unknownTag(p, "outcome", rec(v, p)["outcome"]));
884
+ }
885
+ function buildOsError(v, p) {
886
+ return obj(v, p, null, (r0) => ({ "kind": buildOsErrorKind(r0["kind"], p + ".kind"), "message": str(r0["message"], p + ".message") }));
887
+ }
888
+ function buildOsErrorKind(v, p) {
889
+ return oneOf(v, p, ["denied", "not-found", "exists", "invalid", "io", "timeout", "unsupported", "closed", "tls", "borrowed"]);
890
+ }
891
+ function buildOsGrantFinding(v, p) {
892
+ return obj(v, p, null, (r0) => ({ "code": buildOsGrantFindingCode(r0["code"], p + ".code"), ...r0["orbital"] === void 0 || r0["orbital"] === null ? {} : { "orbital": str(r0["orbital"], p + ".orbital") }, ...r0["call"] === void 0 || r0["call"] === null ? {} : { "call": str(r0["call"], p + ".call") }, ...r0["entry"] === void 0 || r0["entry"] === null ? {} : { "entry": str(r0["entry"], p + ".entry") }, "site": str(r0["site"], p + ".site"), ...r0["grant"] === void 0 || r0["grant"] === null ? {} : { "grant": str(r0["grant"], p + ".grant") }, ...r0["app"] === void 0 || r0["app"] === null ? {} : { "app": bool(r0["app"], p + ".app") }, ...r0["argument"] === void 0 || r0["argument"] === null ? {} : { "argument": int(r0["argument"], p + ".argument", 0, Number.MAX_SAFE_INTEGER, "usize") }, ...r0["via"] === void 0 || r0["via"] === null ? {} : { "via": buildOsGrantVia(r0["via"], p + ".via") } }));
893
+ }
894
+ function buildOsGrantFindingCode(v, p) {
895
+ return oneOf(v, p, ["missing", "unused", "entry-invalid", "target-not-static"]);
896
+ }
897
+ function buildOsGrantVia(v, p) {
898
+ return oneOf(v, p, ["config", "config-unresolvable", "computed-path"]);
899
+ }
900
+ function buildOsGrants(v, p) {
901
+ return obj(v, p, ["fs", "exec", "net", "env", "stdio", "sys", "desktop", "dev", "mem", "kernel", "ffi", "credentials", "kv", "anchored"], (r0) => ({ ...r0["fs"] === void 0 || r0["fs"] === null ? {} : { "fs": list(r0["fs"], p + ".fs", (e1, q1) => buildFsGrant(e1, q1)) }, ...r0["exec"] === void 0 || r0["exec"] === null ? {} : { "exec": list(r0["exec"], p + ".exec", (e1, q1) => str(e1, q1)) }, ...r0["net"] === void 0 || r0["net"] === null ? {} : { "net": list(r0["net"], p + ".net", (e1, q1) => buildNetGrant(e1, q1)) }, ...r0["env"] === void 0 || r0["env"] === null ? {} : { "env": list(r0["env"], p + ".env", (e1, q1) => str(e1, q1)) }, ...r0["stdio"] === void 0 || r0["stdio"] === null ? {} : { "stdio": list(r0["stdio"], p + ".stdio", (e1, q1) => buildStdioKind(e1, q1)) }, ...r0["sys"] === void 0 || r0["sys"] === null ? {} : { "sys": list(r0["sys"], p + ".sys", (e1, q1) => buildSysKind(e1, q1)) }, ...r0["desktop"] === void 0 || r0["desktop"] === null ? {} : { "desktop": list(r0["desktop"], p + ".desktop", (e1, q1) => buildDesktopKind(e1, q1)) }, ...r0["dev"] === void 0 || r0["dev"] === null ? {} : { "dev": list(r0["dev"], p + ".dev", (e1, q1) => buildDevGrant(e1, q1)) }, ...r0["mem"] === void 0 || r0["mem"] === null ? {} : { "mem": list(r0["mem"], p + ".mem", (e1, q1) => buildMemGrant(e1, q1)) }, ...r0["kernel"] === void 0 || r0["kernel"] === null ? {} : { "kernel": list(r0["kernel"], p + ".kernel", (e1, q1) => buildKernelGrant(e1, q1)) }, ...r0["ffi"] === void 0 || r0["ffi"] === null ? {} : { "ffi": list(r0["ffi"], p + ".ffi", (e1, q1) => buildFfiGrant(e1, q1)) }, ...r0["credentials"] === void 0 || r0["credentials"] === null ? {} : { "credentials": list(r0["credentials"], p + ".credentials", (e1, q1) => buildCredentialKind(e1, q1)) }, ...r0["kv"] === void 0 || r0["kv"] === null ? {} : { "kv": dict(r0["kv"], p + ".kv", (e1, q1) => list(e1, q1, (e2, q2) => buildKvMode(e2, q2))) }, ...r0["anchored"] === void 0 || r0["anchored"] === null ? {} : { "anchored": buildAnchoredGrants(r0["anchored"], p + ".anchored") } }));
902
+ }
903
+ function buildOsGrantsReport(v, p) {
904
+ return obj(v, p, null, (r0) => ({ "findings": list(r0["findings"], p + ".findings", (e1, q1) => buildOsGrantFinding(e1, q1)) }));
905
+ }
906
+ function buildOsOp(v, p) {
907
+ return oneOf(v, p, ["os/read-file", "os/write-file", "os/append-file", "os/open", "os/close", "os/read", "os/write", "os/seek", "os/truncate", "os/fsync", "os/copy", "os/rename", "os/remove", "os/link", "os/symlink", "os/readlink", "os/watch-files", "os/mkdir", "os/rmdir", "os/list-dir", "os/glob", "os/mktemp", "os/realpath", "os/cwd", "os/chdir", "os/stat", "os/lstat", "os/access", "os/exists", "os/chmod", "os/chown", "os/utimes", "os/spawn", "os/wait", "os/kill", "os/pid", "os/ppid", "os/current-exe", "os/watch-process", "os/watch-signal", "os/getenv", "os/setenv", "os/unsetenv", "os/environ", "os/watch-env", "os/stdin-read", "os/stdout-write", "os/stderr-write", "os/isatty", "os/tty-size", "os/tcp-connect", "os/tcp-listen", "os/tls-upgrade", "os/send", "os/recv", "os/udp-bind", "os/sendto", "os/recvfrom", "os/dns-resolve", "os/shutdown", "os/watch-port", "os/fetch", "os/clock-monotonic", "os/uid", "os/gid", "os/username", "os/group-of", "os/watch-cron", "os/cpu-usage", "os/memory-info", "os/uptime", "os/load-avg", "os/hostname", "os/uname", "os/disk-usage", "os/mounts", "os/disk-io", "os/network-interfaces", "os/network-stats", "os/network-connected", "os/default-gateway", "os/battery-status", "os/ac-power", "os/thermal-zones", "os/notify", "os/speak", "os/brightness-get", "os/brightness-set", "os/volume-get", "os/volume-set", "os/volume-mute", "os/suspend", "os/hibernate", "os/mmio-read", "os/mmio-write", "os/irq-wait", "os/irq-ack", "kv/get", "kv/put", "kv/delete", "kv/scan", "kv/batch", "mem/arena-new", "mem/arena-drop", "mem/alloc", "mem/free", "mem/borrow", "mem/release", "mem/write", "mem/freeze", "mem/atomic-load", "mem/atomic-store", "mem/atomic-add", "mem/atomic-cas", "kernel/queue-front", "kernel/queue-back", "ffi/call"]);
908
+ }
909
+ function buildPageFactFieldWire(v, p) {
910
+ return oneOf(v, p, ["hostname", "referrer", "screenWidth", "href"]);
911
+ }
912
+ function buildPageFactsWire(v, p) {
913
+ return obj(v, p, null, (r0) => ({ "available": bool(r0["available"], p + ".available"), "hostname": str(r0["hostname"], p + ".hostname"), "referrer": str(r0["referrer"], p + ".referrer"), "screenWidth": r0["screenWidth"] === void 0 ? null : r0["screenWidth"] === null ? null : num(r0["screenWidth"], p + ".screenWidth"), "href": str(r0["href"], p + ".href") }));
914
+ }
915
+ function buildPendingAsk(v, p) {
916
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "operator": str(r0["operator"], p + ".operator"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)), "key": str(r0["key"], p + ".key") }));
917
+ }
918
+ function buildPendingRequestWire(v, p) {
919
+ return obj(v, p, null, (r0) => ({ "id": int(r0["id"], p + ".id", 0, Number.MAX_SAFE_INTEGER, "u64"), "request": buildIoRequestWire(r0["request"], p + ".request") }));
920
+ }
921
+ function buildPlayedEffect(v, p) {
922
+ return obj(v, p, null, (r0) => ({ "type": str(r0["type"], p + ".type"), "args": list(r0["args"], p + ".args", (e1, q1) => any(e1, q1)), "status": buildPlayedEffectStatus(r0["status"], p + ".status"), ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") }, "routed": bool(r0["routed"], p + ".routed") }));
923
+ }
924
+ function buildPlayedEffectStatus(v, p) {
925
+ return oneOf(v, p, ["executed", "failed", "skipped"]);
926
+ }
927
+ function buildPlayedEmit(v, p) {
928
+ return obj(v, p, null, (r0) => ({ "type": str(r0["type"], p + ".type"), ...r0["payload"] === void 0 || r0["payload"] === null ? {} : { "payload": rec(r0["payload"], p + ".payload") }, "timestamp": int(r0["timestamp"], p + ".timestamp", 0, Number.MAX_SAFE_INTEGER, "u64") }));
929
+ }
930
+ function buildPlayedEnsures(v, p) {
931
+ return obj(v, p, null, (r0) => ({ "proposition": any(r0["proposition"], p + ".proposition"), "verdict": buildEnsuresVerdict(r0["verdict"], p + ".verdict"), ...r0["reason"] === void 0 || r0["reason"] === null ? {} : { "reason": str(r0["reason"], p + ".reason") }, ...r0["counterexample"] === void 0 || r0["counterexample"] === null ? {} : { "counterexample": buildPropositionBindings(r0["counterexample"], p + ".counterexample") } }));
932
+ }
933
+ function buildPlayedGuard(v, p) {
934
+ return obj(v, p, null, (r0) => ({ "arm": int(r0["arm"], p + ".arm", 0, 4294967295, "u32"), "guard": any(r0["guard"], p + ".guard"), "passed": bool(r0["passed"], p + ".passed"), "trace": list(r0["trace"], p + ".trace", (e1, q1) => buildEvalStepWire(e1, q1)), ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") } }));
935
+ }
936
+ function buildPlayedOutcome(v, p) {
937
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event"), "from": str(r0["from"], p + ".from"), "to": str(r0["to"], p + ".to"), ...r0["arm"] === void 0 || r0["arm"] === null ? {} : { "arm": int(r0["arm"], p + ".arm", 0, 4294967295, "u32") }, "fired": bool(r0["fired"], p + ".fired"), "effects": list(r0["effects"], p + ".effects", (e1, q1) => buildPlayedEffect(e1, q1)), "emitted": list(r0["emitted"], p + ".emitted", (e1, q1) => buildPlayedEmit(e1, q1)) }));
938
+ }
939
+ function buildPlayedResult(v, p) {
940
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event"), "transitionFired": bool(r0["transitionFired"], p + ".transitionFired"), "guard": buildGuardVerdict(r0["guard"], p + ".guard"), ...r0["firedArm"] === void 0 || r0["firedArm"] === null ? {} : { "firedArm": int(r0["firedArm"], p + ".firedArm", 0, 4294967295, "u32") }, "state": buildPlayedState(r0["state"], p + ".state"), "effects": list(r0["effects"], p + ".effects", (e1, q1) => buildPlayedEffect(e1, q1)), "emitted": list(r0["emitted"], p + ".emitted", (e1, q1) => buildPlayedEmit(e1, q1)), "guards": list(r0["guards"], p + ".guards", (e1, q1) => buildPlayedGuard(e1, q1)), "ensures": list(r0["ensures"], p + ".ensures", (e1, q1) => buildPlayedEnsures(e1, q1)), ...r0["rendered"] === void 0 || r0["rendered"] === null ? {} : { "rendered": list(r0["rendered"], p + ".rendered", (e1, q1) => buildRenderedSlot(e1, q1)) }, ...r0["failure"] === void 0 || r0["failure"] === null ? {} : { "failure": str(r0["failure"], p + ".failure") }, "entityAfter": r0["entityAfter"] === null ? null : rec(r0["entityAfter"], p + ".entityAfter"), "pendingAsks": list(r0["pendingAsks"], p + ".pendingAsks", (e1, q1) => buildPendingAsk(e1, q1)), "outcomes": list(r0["outcomes"], p + ".outcomes", (e1, q1) => buildPlayedOutcome(e1, q1)) }));
941
+ }
942
+ function buildPlayedState(v, p) {
943
+ return obj(v, p, null, (r0) => ({ "before": r0["before"] === void 0 ? null : r0["before"] === null ? null : str(r0["before"], p + ".before"), "after": r0["after"] === void 0 ? null : r0["after"] === null ? null : str(r0["after"], p + ".after") }));
944
+ }
945
+ function buildPlayedStep(v, p) {
946
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "trait": str(r0["trait"], p + ".trait"), "from": str(r0["from"], p + ".from"), "event": str(r0["event"], p + ".event"), "payload": rec(r0["payload"], p + ".payload"), "result": buildPlayedResult(r0["result"], p + ".result"), ...r0["entity"] === void 0 || r0["entity"] === null ? {} : { "entity": dict(r0["entity"], p + ".entity", (e1, q1) => any(e1, q1)) }, ...r0["config"] === void 0 || r0["config"] === null ? {} : { "config": dict(r0["config"], p + ".config", (e1, q1) => any(e1, q1)) }, ...r0["now"] === void 0 || r0["now"] === null ? {} : { "now": num(r0["now"], p + ".now") }, ...r0["settleMs"] === void 0 || r0["settleMs"] === null ? {} : { "settleMs": num(r0["settleMs"], p + ".settleMs") }, ...r0["viewer"] === void 0 || r0["viewer"] === null ? {} : { "viewer": r0["viewer"] === null ? null : dict(r0["viewer"], p + ".viewer", (e1, q1) => any(e1, q1)) }, ...r0["credentials"] === void 0 || r0["credentials"] === null ? {} : { "credentials": dict(r0["credentials"], p + ".credentials", (e1, q1) => str(e1, q1)) } }));
947
+ }
948
+ function buildPropositionBindings(v, p) {
949
+ return obj(v, p, null, (r0) => ({ "entity": any(r0["entity"], p + ".entity"), "fromEntity": any(r0["fromEntity"], p + ".fromEntity"), "payload": any(r0["payload"], p + ".payload") }));
950
+ }
951
+ function buildProveFinding(v, p) {
952
+ return obj(v, p, null, (r0) => ({ "verdict": buildProveVerdict(r0["verdict"], p + ".verdict"), "reason": str(r0["reason"], p + ".reason"), ...r0["counterexample"] === void 0 || r0["counterexample"] === null ? {} : { "counterexample": any(r0["counterexample"], p + ".counterexample") }, "site": str(r0["site"], p + ".site"), "proposition": buildProvedProposition(r0["proposition"], p + ".proposition") }));
953
+ }
954
+ function buildProveReport(v, p) {
955
+ return obj(v, p, null, (r0) => ({ "findings": list(r0["findings"], p + ".findings", (e1, q1) => buildProveFinding(e1, q1)) }));
956
+ }
957
+ function buildProveVerdict(v, p) {
958
+ return oneOf(v, p, ["violated", "unproved"]);
959
+ }
960
+ function buildProvedProposition(v, p) {
961
+ return rec(v, p)["kind"] === "row" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "row"), "entity": str(r0["entity"], p + ".entity"), "expr": any(r0["expr"], p + ".expr") })) : rec(v, p)["kind"] === "state" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "state"), "trait": str(r0["trait"], p + ".trait"), "state": str(r0["state"], p + ".state"), "expr": any(r0["expr"], p + ".expr") })) : rec(v, p)["kind"] === "transition" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "transition"), "trait": str(r0["trait"], p + ".trait"), "from": str(r0["from"], p + ".from"), "event": str(r0["event"], p + ".event"), "to": str(r0["to"], p + ".to"), "expr": any(r0["expr"], p + ".expr") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
962
+ }
963
+ function buildRenderedNode(v, p) {
964
+ return obj(v, p, null, (r0) => ({ "pattern": str(r0["pattern"], p + ".pattern"), "dynamic": bool(r0["dynamic"], p + ".dynamic"), "supported": bool(r0["supported"], p + ".supported"), "stub": bool(r0["stub"], p + ".stub"), "binding": buildEntityBinding(r0["binding"], p + ".binding"), "traitRefs": list(r0["traitRefs"], p + ".traitRefs", (e1, q1) => buildTraitRef(e1, q1)) }));
965
+ }
966
+ function buildRenderedSlot(v, p) {
967
+ return obj(v, p, null, (r0) => ({ "slot": str(r0["slot"], p + ".slot"), "sourceTrait": str(r0["sourceTrait"], p + ".sourceTrait"), "ownerEntity": str(r0["ownerEntity"], p + ".ownerEntity"), "nodes": list(r0["nodes"], p + ".nodes", (e1, q1) => buildRenderedNode(e1, q1)), ...r0["props"] === void 0 || r0["props"] === null ? {} : { "props": any(r0["props"], p + ".props") }, ...r0["fault"] === void 0 || r0["fault"] === null ? {} : { "fault": buildSlotFault(r0["fault"], p + ".fault") } }));
968
+ }
969
+ function buildRepaintReason(v, p) {
970
+ return lit(v, p, "rows-changed");
971
+ }
972
+ function buildResolveProgressWire(v, p) {
973
+ return rec(v, p)["status"] === "done" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "done"), "rows": list(r0["rows"], p + ".rows", (e1, q1) => entityRow(e1, q1)), "total": int(r0["total"], p + ".total", 0, Number.MAX_SAFE_INTEGER, "usize") })) : rec(v, p)["status"] === "await" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "await"), "flight": int(r0["flight"], p + ".flight", 0, Number.MAX_SAFE_INTEGER, "u64"), "requests": list(r0["requests"], p + ".requests", (e1, q1) => buildPendingRequestWire(e1, q1)) })) : fail(unknownTag(p, "status", rec(v, p)["status"]));
974
+ }
975
+ function buildResolvedMotion(v, p) {
976
+ return rec(v, p);
977
+ }
978
+ function buildResolvedTheme(v, p) {
979
+ return obj(v, p, null, (r0) => ({ "key": str(r0["key"], p + ".key"), "base": str(r0["base"], p + ".base"), "mode": oneOf(r0["mode"], p + ".mode", ["light", "dark"]), "tokens": rec(r0["tokens"], p + ".tokens") }));
980
+ }
981
+ function buildRotateCounts(v, p) {
982
+ return obj(v, p, null, (r0) => ({ "rotated": int(r0["rotated"], p + ".rotated", 0, Number.MAX_SAFE_INTEGER, "u64"), "alreadyCurrent": int(r0["alreadyCurrent"], p + ".alreadyCurrent", 0, Number.MAX_SAFE_INTEGER, "u64"), "unreadable": int(r0["unreadable"], p + ".unreadable", 0, Number.MAX_SAFE_INTEGER, "u64") }));
983
+ }
984
+ function buildRoutedLeg(v, p) {
985
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "leg": buildEventRequest(r0["leg"], p + ".leg") }));
986
+ }
987
+ function buildRowCommit(v, p) {
988
+ return obj(v, p, null, (r0) => ({ "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id"), "expected": r0["expected"] === void 0 ? null : r0["expected"] === null ? null : entityRow(r0["expected"], p + ".expected"), "write": buildRowCommitWrite(r0["write"], p + ".write") }));
989
+ }
990
+ function buildRowCommitWrite(v, p) {
991
+ return rec(v, p)["kind"] === "keep" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "keep") })) : rec(v, p)["kind"] === "put" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "put"), "row": entityRow(r0["row"], p + ".row") })) : rec(v, p)["kind"] === "delete" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "delete") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
992
+ }
993
+ function buildRowCompareOp(v, p) {
994
+ return oneOf(v, p, ["==", "!=", "<", "<=", ">", ">="]);
995
+ }
996
+ function buildRowDirection(v, p) {
997
+ return oneOf(v, p, ["asc", "desc"]);
998
+ }
999
+ function buildRowIdPage(v, p) {
1000
+ return obj(v, p, null, (r0) => ({ "ids": list(r0["ids"], p + ".ids", (e1, q1) => str(e1, q1)), "total": int(r0["total"], p + ".total", 0, Number.MAX_SAFE_INTEGER, "usize") }));
1001
+ }
1002
+ function buildRowNearest(v, p) {
1003
+ return obj(v, p, null, (r0) => ({ "field": str(r0["field"], p + ".field"), "vector": list(r0["vector"], p + ".vector", (e1, q1) => num(e1, q1)), "k": int(r0["k"], p + ".k", 1, Number.MAX_SAFE_INTEGER, "NonZeroUsize") }));
1004
+ }
1005
+ function buildRowOrder(v, p) {
1006
+ return obj(v, p, null, (r0) => ({ "field": str(r0["field"], p + ".field"), "direction": buildRowDirection(r0["direction"], p + ".direction") }));
1007
+ }
1008
+ function buildRowPage(v, p) {
1009
+ return obj(v, p, null, (r0) => ({ "rows": list(r0["rows"], p + ".rows", (e1, q1) => entityRow(e1, q1)), "total": int(r0["total"], p + ".total", 0, Number.MAX_SAFE_INTEGER, "usize") }));
1010
+ }
1011
+ function buildRowPredicate(v, p) {
1012
+ return rec(v, p)["kind"] === "compare" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "compare"), "field": str(r0["field"], p + ".field"), "op": buildRowCompareOp(r0["op"], p + ".op"), "value": any(r0["value"], p + ".value") })) : rec(v, p)["kind"] === "member" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "member"), "field": str(r0["field"], p + ".field"), "values": list(r0["values"], p + ".values", (e1, q1) => any(e1, q1)) })) : rec(v, p)["kind"] === "hasElement" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "hasElement"), "field": str(r0["field"], p + ".field"), "value": any(r0["value"], p + ".value") })) : rec(v, p)["kind"] === "contains" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "contains"), "field": str(r0["field"], p + ".field"), "text": str(r0["text"], p + ".text"), "caseSensitive": bool(r0["caseSensitive"], p + ".caseSensitive") })) : rec(v, p)["kind"] === "isNull" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "isNull"), "field": str(r0["field"], p + ".field"), "isNull": bool(r0["isNull"], p + ".isNull") })) : rec(v, p)["kind"] === "all" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "all"), "of": list(r0["of"], p + ".of", (e1, q1) => buildRowPredicate(e1, q1)) })) : rec(v, p)["kind"] === "any" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "any"), "of": list(r0["of"], p + ".of", (e1, q1) => buildRowPredicate(e1, q1)) })) : rec(v, p)["kind"] === "not" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "not"), "of": buildRowPredicate(r0["of"], p + ".of") })) : rec(v, p)["kind"] === "const" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "const"), "value": bool(r0["value"], p + ".value") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
1013
+ }
1014
+ function buildRowProjection(v, p) {
1015
+ return oneOf(v, p, ["rows", "ids"]);
1016
+ }
1017
+ function buildRowQuery(v, p) {
1018
+ return obj(v, p, null, (r0) => ({ ...r0["policy"] === void 0 || r0["policy"] === null ? {} : { "policy": buildRowPredicate(r0["policy"], p + ".policy") }, ...r0["filter"] === void 0 || r0["filter"] === null ? {} : { "filter": buildRowPredicate(r0["filter"], p + ".filter") }, ...r0["order"] === void 0 || r0["order"] === null ? {} : { "order": buildRowOrder(r0["order"], p + ".order") }, ...r0["offset"] === void 0 || r0["offset"] === null ? {} : { "offset": int(r0["offset"], p + ".offset", 0, Number.MAX_SAFE_INTEGER, "usize") }, ...r0["limit"] === void 0 || r0["limit"] === null ? {} : { "limit": int(r0["limit"], p + ".limit", 0, Number.MAX_SAFE_INTEGER, "usize") }, ...r0["total"] === void 0 || r0["total"] === null ? {} : { "total": buildRowTotalMode(r0["total"], p + ".total") }, ...r0["nearest"] === void 0 || r0["nearest"] === null ? {} : { "nearest": buildRowNearest(r0["nearest"], p + ".nearest") } }));
1019
+ }
1020
+ function buildRowSetRef(v, p) {
1021
+ return obj(v, p, null, (r0) => ({ "entityType": str(r0["entityType"], p + ".entityType"), "ids": list(r0["ids"], p + ".ids", (e1, q1) => str(e1, q1)), "total": int(r0["total"], p + ".total", 0, Number.MAX_SAFE_INTEGER, "usize"), "query": buildRowQuery(r0["query"], p + ".query") }));
1022
+ }
1023
+ function buildRowTotalMode(v, p) {
1024
+ return oneOf(v, p, ["exact", "none"]);
1025
+ }
1026
+ function buildRowWriteBatch(v, p) {
1027
+ return obj(v, p, null, (r0) => ({ "ops": list(r0["ops"], p + ".ops", (e1, q1) => buildRowWriteOp(e1, q1)), "onFailure": buildRowWriteFailureMode(r0["onFailure"], p + ".onFailure") }));
1028
+ }
1029
+ function buildRowWriteFailureMode(v, p) {
1030
+ return oneOf(v, p, ["atomic", "stop"]);
1031
+ }
1032
+ function buildRowWriteOp(v, p) {
1033
+ return rec(v, p)["kind"] === "create" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "create"), "entityType": str(r0["entityType"], p + ".entityType"), "data": entityRow(r0["data"], p + ".data") })) : rec(v, p)["kind"] === "upsert" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "upsert"), "entityType": str(r0["entityType"], p + ".entityType"), "data": entityRow(r0["data"], p + ".data") })) : rec(v, p)["kind"] === "update" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "update"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id"), "data": entityRow(r0["data"], p + ".data"), ...r0["guard"] === void 0 || r0["guard"] === null ? {} : { "guard": buildRowPredicate(r0["guard"], p + ".guard") } })) : rec(v, p)["kind"] === "rekey" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "rekey"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id"), "newId": str(r0["newId"], p + ".newId"), ...r0["guard"] === void 0 || r0["guard"] === null ? {} : { "guard": buildRowPredicate(r0["guard"], p + ".guard") } })) : rec(v, p)["kind"] === "delete" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "delete"), "entityType": str(r0["entityType"], p + ".entityType"), "id": str(r0["id"], p + ".id"), ...r0["guard"] === void 0 || r0["guard"] === null ? {} : { "guard": buildRowPredicate(r0["guard"], p + ".guard") } })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
1034
+ }
1035
+ function buildRowWriteOutcome(v, p) {
1036
+ return rec(v, p)["kind"] === "created" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "created"), "row": entityRow(r0["row"], p + ".row") })) : rec(v, p)["kind"] === "updated" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "updated"), "row": entityRow(r0["row"], p + ".row"), ...r0["before"] === void 0 || r0["before"] === null ? {} : { "before": entityRow(r0["before"], p + ".before") } })) : rec(v, p)["kind"] === "deleted" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "deleted"), ...r0["before"] === void 0 || r0["before"] === null ? {} : { "before": entityRow(r0["before"], p + ".before") } })) : rec(v, p)["kind"] === "not-found" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "not-found") })) : rec(v, p)["kind"] === "duplicate-id" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "duplicate-id") })) : rec(v, p)["kind"] === "refused" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "refused") })) : rec(v, p)["kind"] === "failed" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "failed"), "message": str(r0["message"], p + ".message") })) : rec(v, p)["kind"] === "rolled-back" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "rolled-back") })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
1037
+ }
1038
+ function buildRunTick(v, p) {
1039
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "tick": str(r0["tick"], p + ".tick") }));
1040
+ }
1041
+ function buildSeedWire(v, p) {
1042
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event") }));
1043
+ }
1044
+ function buildServerEffectCode(v, p) {
1045
+ return oneOf(v, p, ["not-found", "no-row-key", "duplicate-id", "denied", "derived-failed"]);
1046
+ }
1047
+ function buildServerEffectKind(v, p) {
1048
+ return oneOf(v, p, ["set", "persist", "call-service", "fetch", "fetch-stream", "emit", "substrate"]);
1049
+ }
1050
+ function buildServerEffectResult(v, p) {
1051
+ return obj(v, p, null, (r0) => ({ "effect": buildServerEffectKind(r0["effect"], p + ".effect"), ...r0["action"] === void 0 || r0["action"] === null ? {} : { "action": str(r0["action"], p + ".action") }, ...r0["entityType"] === void 0 || r0["entityType"] === null ? {} : { "entityType": str(r0["entityType"], p + ".entityType") }, ...r0["name"] === void 0 || r0["name"] === null ? {} : { "name": namespacedEffectName(r0["name"], p + ".name") }, ...r0["data"] === void 0 || r0["data"] === null ? {} : { "data": accepts((x, q) => entityRow(x, q), r0["data"]) ? entityRow(r0["data"], p + ".data") : accepts((x, q) => serverBatchSummary(x, q), r0["data"]) ? serverBatchSummary(r0["data"], p + ".data") : accepts((x, q) => any(x, q), r0["data"]) ? any(r0["data"], p + ".data") : fail(miss(p + ".data", "EntityRow | ServerBatchSummary | EventPayloadValue")) }, "success": bool(r0["success"], p + ".success"), ...r0["denied"] === void 0 || r0["denied"] === null ? {} : { "denied": lit(r0["denied"], p + ".denied", true) }, ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") }, ...r0["code"] === void 0 || r0["code"] === null ? {} : { "code": buildServerEffectCode(r0["code"], p + ".code") }, ...r0["target"] === void 0 || r0["target"] === null ? {} : { "target": str(r0["target"], p + ".target") }, ...r0["routed"] === void 0 || r0["routed"] === null ? {} : { "routed": str(r0["routed"], p + ".routed") } }));
1052
+ }
1053
+ function buildServerProgressWire(v, p) {
1054
+ return rec(v, p)["status"] === "done" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "done"), "response": buildEventResponse(r0["response"], p + ".response") })) : rec(v, p)["status"] === "await" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "await"), "flight": int(r0["flight"], p + ".flight", 0, Number.MAX_SAFE_INTEGER, "u64"), "requests": list(r0["requests"], p + ".requests", (e1, q1) => buildPendingRequestWire(e1, q1)) })) : rec(v, p)["status"] === "queued" ? obj(v, p, null, (r0) => ({ "status": lit(r0["status"], p + ".status", "queued"), "ticket": int(r0["ticket"], p + ".ticket", 0, Number.MAX_SAFE_INTEGER, "u64") })) : fail(unknownTag(p, "status", rec(v, p)["status"]));
1055
+ }
1056
+ function buildSlotFault(v, p) {
1057
+ return obj(v, p, null, (r0) => ({ "code": buildTransitionRejectionCode(r0["code"], p + ".code"), "error": str(r0["error"], p + ".error") }));
1058
+ }
1059
+ function buildSnapshotWire(v, p) {
1060
+ return obj(v, p, null, (r0) => ({ "states": rec(r0["states"], p + ".states"), "ambiguousTraits": list(r0["ambiguousTraits"], p + ".ambiguousTraits", (e1, q1) => buildAmbiguousTrait(e1, q1)), "theme": buildResolvedTheme(r0["theme"], p + ".theme"), "canvasTheme": buildCanvasTheme(r0["canvasTheme"], p + ".canvasTheme"), "motion": buildResolvedMotion(r0["motion"], p + ".motion") }));
1061
+ }
1062
+ function buildStatefulLegWire(v, p) {
1063
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "leg": buildEventRequest(r0["leg"], p + ".leg"), "awaiting": list(r0["awaiting"], p + ".awaiting", (e1, q1) => buildAwaitingTrait(e1, q1)) }));
1064
+ }
1065
+ function buildStdioKind(v, p) {
1066
+ return oneOf(v, p, ["in", "out", "err"]);
1067
+ }
1068
+ function buildStepEmit(v, p) {
1069
+ return obj(v, p, null, (r0) => ({ "event": str(r0["event"], p + ".event"), "payload": r0["payload"] === null ? null : rec(r0["payload"], p + ".payload") }));
1070
+ }
1071
+ function buildStepGuard(v, p) {
1072
+ return obj(v, p, null, (r0) => ({ "arm": int(r0["arm"], p + ".arm", 0, Number.MAX_SAFE_INTEGER, "usize"), "guard": any(r0["guard"], p + ".guard"), "passed": bool(r0["passed"], p + ".passed"), ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") } }));
1073
+ }
1074
+ function buildStepOutcome(v, p) {
1075
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "executed": bool(r0["executed"], p + ".executed"), "previousState": str(r0["previousState"], p + ".previousState"), "newState": str(r0["newState"], p + ".newState"), "emits": list(r0["emits"], p + ".emits", (e1, q1) => buildStepEmit(e1, q1)), "firedArm": r0["firedArm"] === void 0 ? null : r0["firedArm"] === null ? null : int(r0["firedArm"], p + ".firedArm", 0, Number.MAX_SAFE_INTEGER, "usize"), "guards": list(r0["guards"], p + ".guards", (e1, q1) => buildStepGuard(e1, q1)), "effects": list(r0["effects"], p + ".effects", (e1, q1) => buildPlayedEffect(e1, q1)), "failure": r0["failure"] === void 0 ? null : r0["failure"] === null ? null : str(r0["failure"], p + ".failure"), "orbital": str(r0["orbital"], p + ".orbital"), "event": str(r0["event"], p + ".event"), "ensures": list(r0["ensures"], p + ".ensures", (e1, q1) => buildPlayedEnsures(e1, q1)) }));
1076
+ }
1077
+ function buildStepRefusal(v, p) {
1078
+ return obj(v, p, null, (r0) => ({ "success": lit(r0["success"], p + ".success", false), "error": str(r0["error"], p + ".error"), "trait": r0["trait"] === void 0 ? null : r0["trait"] === null ? null : str(r0["trait"], p + ".trait"), "outcomes": list(r0["outcomes"], p + ".outcomes", (e1, q1) => buildStepOutcome(e1, q1)) }));
1079
+ }
1080
+ function buildStepReport(v, p) {
1081
+ return obj(v, p, null, (r0) => ({ "success": lit(r0["success"], p + ".success", true), "steps": list(r0["steps"], p + ".steps", (e1, q1) => buildStepResult(e1, q1)), "dispatchModes": dict(r0["dispatchModes"], p + ".dispatchModes", (e1, q1) => buildDispatchMode(e1, q1)) }));
1082
+ }
1083
+ function buildStepResult(v, p) {
1084
+ return obj(v, p, null, (r0) => ({ "outcomes": list(r0["outcomes"], p + ".outcomes", (e1, q1) => buildStepOutcome(e1, q1)), "states": dict(r0["states"], p + ".states", (e1, q1) => str(e1, q1)), "entities": dict(r0["entities"], p + ".entities", (e1, q1) => any(e1, q1)), "entityAfter": r0["entityAfter"] === null ? null : rec(r0["entityAfter"], p + ".entityAfter"), "pendingAsks": list(r0["pendingAsks"], p + ".pendingAsks", (e1, q1) => buildPendingAsk(e1, q1)) }));
1085
+ }
1086
+ function buildStoreListing(v, p) {
1087
+ return obj(v, p, null, (r0) => ({ "enabled": bool(r0["enabled"], p + ".enabled"), "entries": list(r0["entries"], p + ".entries", (e1, q1) => buildStoredName(e1, q1)) }));
1088
+ }
1089
+ function buildStoredName(v, p) {
1090
+ return obj(v, p, null, (r0) => ({ "service": str(r0["service"], p + ".service"), "name": str(r0["name"], p + ".name"), ...r0["last4"] === void 0 || r0["last4"] === null ? {} : { "last4": str(r0["last4"], p + ".last4") } }));
1091
+ }
1092
+ function buildSubstrateFailureWire(v, p) {
1093
+ return obj(v, p, null, (r0) => ({ "message": str(r0["message"], p + ".message"), "errors": list(r0["errors"], p + ".errors", (e1, q1) => any(e1, q1)) }));
1094
+ }
1095
+ function buildSysKind(v, p) {
1096
+ return oneOf(v, p, ["cpu", "memory", "disk", "network", "power-state", "identity", "self-signal"]);
1097
+ }
1098
+ function buildTabAction(v, p) {
1099
+ return oneOf(v, p, ["click", "focus", "type"]);
1100
+ }
1101
+ function buildTabApply(v, p) {
1102
+ return obj(v, p, null, (r0) => ({ "elementId": str(r0["elementId"], p + ".elementId"), "styles": list(r0["styles"], p + ".styles", (e1, q1) => buildTabStyle(e1, q1)), ...r0["label"] === void 0 || r0["label"] === null ? {} : { "label": r0["label"] === null ? null : str(r0["label"], p + ".label") } }));
1103
+ }
1104
+ function buildTabAsk(v, p) {
1105
+ return rec(v, p)["kind"] === "list" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "list") })) : rec(v, p)["kind"] === "open" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "open"), "url": str(r0["url"], p + ".url"), "active": bool(r0["active"], p + ".active") })) : rec(v, p)["kind"] === "close" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "close"), "tab": int(r0["tab"], p + ".tab", -Number.MAX_SAFE_INTEGER, Number.MAX_SAFE_INTEGER, "i64") })) : rec(v, p)["kind"] === "navigate" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "navigate"), "tab": int(r0["tab"], p + ".tab", -Number.MAX_SAFE_INTEGER, Number.MAX_SAFE_INTEGER, "i64"), "url": str(r0["url"], p + ".url") })) : rec(v, p)["kind"] === "command" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "command"), "tab": int(r0["tab"], p + ".tab", -Number.MAX_SAFE_INTEGER, Number.MAX_SAFE_INTEGER, "i64"), "command": buildTabCommand(r0["command"], p + ".command") })) : rec(v, p)["kind"] === "awaitReady" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "awaitReady"), "tab": int(r0["tab"], p + ".tab", -Number.MAX_SAFE_INTEGER, Number.MAX_SAFE_INTEGER, "i64"), "timeoutMs": int(r0["timeoutMs"], p + ".timeoutMs", 0, Number.MAX_SAFE_INTEGER, "u64") })) : rec(v, p)["kind"] === "watch" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "watch"), "watchId": str(r0["watchId"], p + ".watchId"), "match": str(r0["match"], p + ".match"), "selector": str(r0["selector"], p + ".selector"), "fields": list(r0["fields"], p + ".fields", (e1, q1) => buildTabField(e1, q1)), "deliver": buildTabDelivery(r0["deliver"], p + ".deliver") })) : rec(v, p)["kind"] === "unwatch" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "unwatch"), "watchId": str(r0["watchId"], p + ".watchId") })) : rec(v, p)["kind"] === "capture" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "capture"), "tab": int(r0["tab"], p + ".tab", -Number.MAX_SAFE_INTEGER, Number.MAX_SAFE_INTEGER, "i64"), "format": buildTabImageFormat(r0["format"], p + ".format"), ...r0["quality"] === void 0 || r0["quality"] === null ? {} : { "quality": r0["quality"] === null ? null : int(r0["quality"], p + ".quality", 0, 255, "u8") } })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
1106
+ }
1107
+ function buildTabCommand(v, p) {
1108
+ return rec(v, p)["kind"] === "query" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "query"), "selector": str(r0["selector"], p + ".selector"), "fields": list(r0["fields"], p + ".fields", (e1, q1) => buildTabField(e1, q1)), ...r0["limit"] === void 0 || r0["limit"] === null ? {} : { "limit": r0["limit"] === null ? null : int(r0["limit"], p + ".limit", 0, 4294967295, "u32") }, ...r0["waitMs"] === void 0 || r0["waitMs"] === null ? {} : { "waitMs": r0["waitMs"] === null ? null : int(r0["waitMs"], p + ".waitMs", 0, Number.MAX_SAFE_INTEGER, "u64") } })) : rec(v, p)["kind"] === "watch" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "watch"), "watchId": str(r0["watchId"], p + ".watchId"), "selector": str(r0["selector"], p + ".selector"), "fields": list(r0["fields"], p + ".fields", (e1, q1) => buildTabField(e1, q1)) })) : rec(v, p)["kind"] === "unwatch" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "unwatch"), "watchId": str(r0["watchId"], p + ".watchId") })) : rec(v, p)["kind"] === "apply" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "apply"), "elementId": str(r0["elementId"], p + ".elementId"), "styles": list(r0["styles"], p + ".styles", (e1, q1) => buildTabStyle(e1, q1)), ...r0["label"] === void 0 || r0["label"] === null ? {} : { "label": r0["label"] === null ? null : str(r0["label"], p + ".label") } })) : rec(v, p)["kind"] === "applyMany" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "applyMany"), "items": list(r0["items"], p + ".items", (e1, q1) => buildTabApply(e1, q1)) })) : rec(v, p)["kind"] === "act" ? obj(v, p, null, (r0) => ({ "kind": lit(r0["kind"], p + ".kind", "act"), "elementId": str(r0["elementId"], p + ".elementId"), "action": buildTabAction(r0["action"], p + ".action"), ...r0["text"] === void 0 || r0["text"] === null ? {} : { "text": r0["text"] === null ? null : str(r0["text"], p + ".text") } })) : fail(unknownTag(p, "kind", rec(v, p)["kind"]));
1109
+ }
1110
+ function buildTabDelivery(v, p) {
1111
+ return obj(v, p, null, (r0) => ({ "orbital": str(r0["orbital"], p + ".orbital"), "trait": str(r0["trait"], p + ".trait"), "event": str(r0["event"], p + ".event") }));
1112
+ }
1113
+ function buildTabFailure(v, p) {
1114
+ return obj(v, p, null, (r0) => ({ "kind": buildTabFailureKind(r0["kind"], p + ".kind"), "message": str(r0["message"], p + ".message") }));
1115
+ }
1116
+ function buildTabFailureKind(v, p) {
1117
+ return oneOf(v, p, ["unavailable", "not-ready", "not-found", "invalid", "failed"]);
1118
+ }
1119
+ function buildTabField(v, p) {
1120
+ return obj(v, p, null, (r0) => ({ "name": str(r0["name"], p + ".name"), ...r0["selector"] === void 0 || r0["selector"] === null ? {} : { "selector": r0["selector"] === null ? null : str(r0["selector"], p + ".selector") }, ...r0["attr"] === void 0 || r0["attr"] === null ? {} : { "attr": r0["attr"] === null ? null : str(r0["attr"], p + ".attr") }, ...r0["resolve"] === void 0 || r0["resolve"] === null ? {} : { "resolve": bool(r0["resolve"], p + ".resolve") }, ...r0["template"] === void 0 || r0["template"] === null ? {} : { "template": r0["template"] === null ? null : str(r0["template"], p + ".template") }, ...r0["required"] === void 0 || r0["required"] === null ? {} : { "required": bool(r0["required"], p + ".required") } }));
1121
+ }
1122
+ function buildTabImageFormat(v, p) {
1123
+ return oneOf(v, p, ["png", "jpeg"]);
1124
+ }
1125
+ function buildTabStyle(v, p) {
1126
+ return obj(v, p, null, (r0) => ({ "property": str(r0["property"], p + ".property"), "value": str(r0["value"], p + ".value") }));
1127
+ }
1128
+ function buildTraitFrom(v, p) {
1129
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "from": str(r0["from"], p + ".from"), ...r0["event"] === void 0 || r0["event"] === null ? {} : { "event": str(r0["event"], p + ".event") } }));
1130
+ }
1131
+ function buildTraitRef(v, p) {
1132
+ return obj(v, p, null, (r0) => ({ "name": str(r0["name"], p + ".name"), "resolved": bool(r0["resolved"], p + ".resolved"), "overlayOnly": bool(r0["overlayOnly"], p + ".overlayOnly") }));
1133
+ }
1134
+ function buildTraitSnapshot(v, p) {
1135
+ return obj(v, p, null, (r0) => ({ "state": str(r0["state"], p + ".state"), "entity": any(r0["entity"], p + ".entity") }));
1136
+ }
1137
+ function buildTransitionHop(v, p) {
1138
+ return obj(v, p, null, (r0) => ({ "trait": str(r0["trait"], p + ".trait"), "from": str(r0["from"], p + ".from"), "to": str(r0["to"], p + ".to"), "event": str(r0["event"], p + ".event"), ...r0["firedArm"] === void 0 || r0["firedArm"] === null ? {} : { "firedArm": int(r0["firedArm"], p + ".firedArm", 0, Number.MAX_SAFE_INTEGER, "usize") }, ...r0["guardResult"] === void 0 || r0["guardResult"] === null ? {} : { "guardResult": bool(r0["guardResult"], p + ".guardResult") }, "effects": list(r0["effects"], p + ".effects", (e1, q1) => buildHopEffect(e1, q1)), ...r0["observed"] === void 0 || r0["observed"] === null ? {} : { "observed": buildHopObservation(r0["observed"], p + ".observed") } }));
1139
+ }
1140
+ function buildTransitionRejection(v, p) {
1141
+ return obj(v, p, null, (r0) => ({ "code": buildTransitionRejectionCode(r0["code"], p + ".code"), ...r0["trait"] === void 0 || r0["trait"] === null ? {} : { "trait": str(r0["trait"], p + ".trait") }, ...r0["from"] === void 0 || r0["from"] === null ? {} : { "from": str(r0["from"], p + ".from") }, ...r0["event"] === void 0 || r0["event"] === null ? {} : { "event": str(r0["event"], p + ".event") }, ...r0["statesDeclaringEvent"] === void 0 || r0["statesDeclaringEvent"] === null ? {} : { "statesDeclaringEvent": list(r0["statesDeclaringEvent"], p + ".statesDeclaringEvent", (e1, q1) => str(e1, q1)) }, ...r0["transition"] === void 0 || r0["transition"] === null ? {} : { "transition": str(r0["transition"], p + ".transition") }, ...r0["guard"] === void 0 || r0["guard"] === null ? {} : { "guard": any(r0["guard"], p + ".guard") }, ...r0["error"] === void 0 || r0["error"] === null ? {} : { "error": str(r0["error"], p + ".error") }, ...r0["slot"] === void 0 || r0["slot"] === null ? {} : { "slot": str(r0["slot"], p + ".slot") } }));
1142
+ }
1143
+ function buildTransitionRejectionCode(v, p) {
1144
+ return oneOf(v, p, ["no-matching-transition", "guard-rejected", "no-dispatchable-traits", "not-an-external-input", "inbound-only-event", "effect-failed", "locale-not-declared", "client-circuit-state-refused", "repaint-failed"]);
1145
+ }
1146
+ function buildValidationJsonError(v, p) {
1147
+ return obj(v, p, null, (r0) => ({ "code": str(r0["code"], p + ".code"), "path": str(r0["path"], p + ".path"), "message": str(r0["message"], p + ".message"), ...r0["suggestion"] === void 0 || r0["suggestion"] === null ? {} : { "suggestion": str(r0["suggestion"], p + ".suggestion") }, ...r0["fixGuidance"] === void 0 || r0["fixGuidance"] === null ? {} : { "fixGuidance": str(r0["fixGuidance"], p + ".fixGuidance") }, ...r0["expectedShape"] === void 0 || r0["expectedShape"] === null ? {} : { "expectedShape": str(r0["expectedShape"], p + ".expectedShape") }, ...r0["validValues"] === void 0 || r0["validValues"] === null ? {} : { "validValues": list(r0["validValues"], p + ".validValues", (e1, q1) => str(e1, q1)) }, ...r0["line"] === void 0 || r0["line"] === null ? {} : { "line": int(r0["line"], p + ".line", 0, 4294967295, "u32") }, ...r0["column"] === void 0 || r0["column"] === null ? {} : { "column": int(r0["column"], p + ".column", 0, 4294967295, "u32") }, ...r0["endLine"] === void 0 || r0["endLine"] === null ? {} : { "endLine": int(r0["endLine"], p + ".endLine", 0, 4294967295, "u32") }, ...r0["endColumn"] === void 0 || r0["endColumn"] === null ? {} : { "endColumn": int(r0["endColumn"], p + ".endColumn", 0, 4294967295, "u32") }, "approximate": r0["approximate"] === void 0 ? false : bool(r0["approximate"], p + ".approximate"), ...r0["needsInstall"] === void 0 || r0["needsInstall"] === null ? {} : { "needsInstall": bool(r0["needsInstall"], p + ".needsInstall") }, ...r0["entity"] === void 0 || r0["entity"] === null ? {} : { "entity": str(r0["entity"], p + ".entity") }, ...r0["field"] === void 0 || r0["field"] === null ? {} : { "field": str(r0["field"], p + ".field") } }));
1148
+ }
1149
+ function buildValidationJsonOutput(v, p) {
1150
+ return obj(v, p, null, (r0) => ({ "success": bool(r0["success"], p + ".success"), "valid": bool(r0["valid"], p + ".valid"), ...r0["errors"] === void 0 || r0["errors"] === null ? {} : { "errors": list(r0["errors"], p + ".errors", (e1, q1) => buildValidationJsonError(e1, q1)) }, ...r0["warnings"] === void 0 || r0["warnings"] === null ? {} : { "warnings": list(r0["warnings"], p + ".warnings", (e1, q1) => buildValidationJsonWarning(e1, q1)) }, ...r0["stats"] === void 0 || r0["stats"] === null ? {} : { "stats": buildValidationStats(r0["stats"], p + ".stats") } }));
1151
+ }
1152
+ function buildValidationJsonWarning(v, p) {
1153
+ return obj(v, p, null, (r0) => ({ "code": str(r0["code"], p + ".code"), "path": str(r0["path"], p + ".path"), "message": str(r0["message"], p + ".message"), ...r0["suggestion"] === void 0 || r0["suggestion"] === null ? {} : { "suggestion": str(r0["suggestion"], p + ".suggestion") }, ...r0["line"] === void 0 || r0["line"] === null ? {} : { "line": int(r0["line"], p + ".line", 0, 4294967295, "u32") }, ...r0["column"] === void 0 || r0["column"] === null ? {} : { "column": int(r0["column"], p + ".column", 0, 4294967295, "u32") }, ...r0["endLine"] === void 0 || r0["endLine"] === null ? {} : { "endLine": int(r0["endLine"], p + ".endLine", 0, 4294967295, "u32") }, ...r0["endColumn"] === void 0 || r0["endColumn"] === null ? {} : { "endColumn": int(r0["endColumn"], p + ".endColumn", 0, 4294967295, "u32") }, "approximate": r0["approximate"] === void 0 ? false : bool(r0["approximate"], p + ".approximate"), ...r0["entity"] === void 0 || r0["entity"] === null ? {} : { "entity": str(r0["entity"], p + ".entity") }, ...r0["field"] === void 0 || r0["field"] === null ? {} : { "field": str(r0["field"], p + ".field") } }));
1154
+ }
1155
+ function buildValidationStats(v, p) {
1156
+ return obj(v, p, null, (r0) => ({ "orbitals": int(r0["orbitals"], p + ".orbitals", 0, Number.MAX_SAFE_INTEGER, "usize"), "entities": int(r0["entities"], p + ".entities", 0, Number.MAX_SAFE_INTEGER, "usize"), "traits": int(r0["traits"], p + ".traits", 0, Number.MAX_SAFE_INTEGER, "usize"), "pages": int(r0["pages"], p + ".pages", 0, Number.MAX_SAFE_INTEGER, "usize") }));
1157
+ }
1158
+ function isAppliedWire(value) {
1159
+ return checkAppliedWire(value);
1160
+ }
1161
+ function decodeAppliedWire(value) {
1162
+ return buildAppliedWire(value, "AppliedWire");
1163
+ }
1164
+ function isDispatchWire(value) {
1165
+ return checkDispatchWire(value);
1166
+ }
1167
+ function decodeDispatchWire(value) {
1168
+ return buildDispatchWire(value, "DispatchWire");
1169
+ }
1170
+ function isEntered(value) {
1171
+ return checkEntered(value);
1172
+ }
1173
+ function decodeEntered(value) {
1174
+ return buildEntered(value, "Entered");
1175
+ }
1176
+ function isEventRequest(value) {
1177
+ return checkEventRequest(value);
1178
+ }
1179
+ function decodeEventRequest(value) {
1180
+ return buildEventRequest(value, "EventRequest");
1181
+ }
1182
+ function isEventResponse(value) {
1183
+ return checkEventResponse(value);
1184
+ }
1185
+ function decodeEventResponse(value) {
1186
+ return buildEventResponse(value, "EventResponse");
1187
+ }
1188
+ function isFiredTick(value) {
1189
+ return checkFiredTick(value);
1190
+ }
1191
+ function decodeFiredTick(value) {
1192
+ return buildFiredTick(value, "FiredTick");
1193
+ }
1194
+ function isFoldProgressWire(value) {
1195
+ return checkFoldProgressWire(value);
1196
+ }
1197
+ function decodeFoldProgressWire(value) {
1198
+ return buildFoldProgressWire(value, "FoldProgressWire");
1199
+ }
1200
+ function isFoldedNextWire(value) {
1201
+ return checkFoldedNextWire(value);
1202
+ }
1203
+ function decodeFoldedNextWire(value) {
1204
+ return buildFoldedNextWire(value, "FoldedNextWire");
1205
+ }
1206
+ function isFrameWire(value) {
1207
+ return checkFrameWire(value);
1208
+ }
1209
+ function decodeFrameWire(value) {
1210
+ return buildFrameWire(value, "FrameWire");
1211
+ }
1212
+ function isIoReplyWire(value) {
1213
+ return checkIoReplyWire(value);
1214
+ }
1215
+ function decodeIoReplyWire(value) {
1216
+ return buildIoReplyWire(value, "IoReplyWire");
1217
+ }
1218
+ function isIoRequestWire(value) {
1219
+ return checkIoRequestWire(value);
1220
+ }
1221
+ function decodeIoRequestWire(value) {
1222
+ return buildIoRequestWire(value, "IoRequestWire");
1223
+ }
1224
+ function isMountWire(value) {
1225
+ return checkMountWire(value);
1226
+ }
1227
+ function decodeMountWire(value) {
1228
+ return buildMountWire(value, "MountWire");
1229
+ }
1230
+ function isNextWire(value) {
1231
+ return checkNextWire(value);
1232
+ }
1233
+ function decodeNextWire(value) {
1234
+ return buildNextWire(value, "NextWire");
1235
+ }
1236
+ function isOsGrantsReport(value) {
1237
+ return checkOsGrantsReport(value);
1238
+ }
1239
+ function decodeOsGrantsReport(value) {
1240
+ return buildOsGrantsReport(value, "OsGrantsReport");
1241
+ }
1242
+ function isPlayedStep(value) {
1243
+ return checkPlayedStep(value);
1244
+ }
1245
+ function decodePlayedStep(value) {
1246
+ return buildPlayedStep(value, "PlayedStep");
1247
+ }
1248
+ function isProveReport(value) {
1249
+ return checkProveReport(value);
1250
+ }
1251
+ function decodeProveReport(value) {
1252
+ return buildProveReport(value, "ProveReport");
1253
+ }
1254
+ function isResolveProgressWire(value) {
1255
+ return checkResolveProgressWire(value);
1256
+ }
1257
+ function decodeResolveProgressWire(value) {
1258
+ return buildResolveProgressWire(value, "ResolveProgressWire");
1259
+ }
1260
+ function isServerProgressWire(value) {
1261
+ return checkServerProgressWire(value);
1262
+ }
1263
+ function decodeServerProgressWire(value) {
1264
+ return buildServerProgressWire(value, "ServerProgressWire");
1265
+ }
1266
+ function isSnapshotWire(value) {
1267
+ return checkSnapshotWire(value);
1268
+ }
1269
+ function decodeSnapshotWire(value) {
1270
+ return buildSnapshotWire(value, "SnapshotWire");
1271
+ }
1272
+ function isStepRefusal(value) {
1273
+ return checkStepRefusal(value);
1274
+ }
1275
+ function decodeStepRefusal(value) {
1276
+ return buildStepRefusal(value, "StepRefusal");
1277
+ }
1278
+ function isStepReport(value) {
1279
+ return checkStepReport(value);
1280
+ }
1281
+ function decodeStepReport(value) {
1282
+ return buildStepReport(value, "StepReport");
1283
+ }
1284
+ function isValidationJsonOutput(value) {
1285
+ return checkValidationJsonOutput(value);
1286
+ }
1287
+ function decodeValidationJsonOutput(value) {
1288
+ return buildValidationJsonOutput(value, "ValidationJsonOutput");
1289
+ }
1290
+
1291
+ export { decodeAppliedWire, decodeDispatchWire, decodeEntered, decodeEventRequest, decodeEventResponse, decodeFiredTick, decodeFoldProgressWire, decodeFoldedNextWire, decodeFrameWire, decodeIoReplyWire, decodeIoRequestWire, decodeMountWire, decodeNextWire, decodeOsGrantsReport, decodePlayedStep, decodeProveReport, decodeResolveProgressWire, decodeServerProgressWire, decodeSnapshotWire, decodeStepRefusal, decodeStepReport, decodeValidationJsonOutput, isAppliedWire, isDispatchWire, isEntered, isEventRequest, isEventResponse, isFiredTick, isFoldProgressWire, isFoldedNextWire, isFrameWire, isIoReplyWire, isIoRequestWire, isMountWire, isNextWire, isOsGrantsReport, isPlayedStep, isProveReport, isResolveProgressWire, isServerProgressWire, isSnapshotWire, isStepRefusal, isStepReport, isValidationJsonOutput };
1292
+ //# sourceMappingURL=chunk-Z7BI7DE7.js.map
1293
+ //# sourceMappingURL=chunk-Z7BI7DE7.js.map