@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.
- package/dist/behavior-package.d.ts +49 -11
- package/dist/behavior-package.js +1 -1
- package/dist/{orbital-CkFdDS9f.d.ts → builders-BdgbY7Th.d.ts} +5828 -6917
- package/dist/builders.d.ts +6 -6
- package/dist/builders.js +7 -6
- package/dist/{bus-CcbB__oo.d.ts → bus-C0hFDNFR.d.ts} +262 -354
- package/dist/chunk-347APWFM.js +286 -0
- package/dist/chunk-347APWFM.js.map +1 -0
- package/dist/chunk-5WQ3U7NJ.js +2363 -0
- package/dist/chunk-5WQ3U7NJ.js.map +1 -0
- package/dist/chunk-5YTPYMPZ.js +99 -0
- package/dist/chunk-5YTPYMPZ.js.map +1 -0
- package/dist/chunk-66Q5VX2F.js +3810 -0
- package/dist/chunk-66Q5VX2F.js.map +1 -0
- package/dist/chunk-7GHJU5WI.js +39 -0
- package/dist/chunk-7GHJU5WI.js.map +1 -0
- package/dist/chunk-B4MNHGBP.js +8 -0
- package/dist/chunk-B4MNHGBP.js.map +1 -0
- package/dist/chunk-E4T2MQAV.js +24 -0
- package/dist/chunk-E4T2MQAV.js.map +1 -0
- package/dist/chunk-ENOCKYGA.js +412 -0
- package/dist/chunk-ENOCKYGA.js.map +1 -0
- package/dist/chunk-FGT5OS2Y.js +918 -0
- package/dist/chunk-FGT5OS2Y.js.map +1 -0
- package/dist/chunk-GF7KCLNR.js +3284 -0
- package/dist/chunk-GF7KCLNR.js.map +1 -0
- package/dist/chunk-PNGFWLHD.js +1567 -0
- package/dist/chunk-PNGFWLHD.js.map +1 -0
- package/dist/{chunk-X4SC7FGF.js → chunk-RGACZEYC.js} +99 -96
- package/dist/chunk-RGACZEYC.js.map +1 -0
- package/dist/{chunk-RYPVOI6H.js → chunk-SNZYN7UA.js} +2541 -433
- package/dist/{chunk-RYPVOI6H.js.map → chunk-SNZYN7UA.js.map} +1 -1
- package/dist/{chunk-KDMV222Q.js → chunk-TDNQT3M3.js} +304 -373
- package/dist/chunk-TDNQT3M3.js.map +1 -0
- package/dist/chunk-VG7BRFUD.js +152 -0
- package/dist/chunk-VG7BRFUD.js.map +1 -0
- package/dist/chunk-Z7BI7DE7.js +1293 -0
- package/dist/chunk-Z7BI7DE7.js.map +1 -0
- package/dist/{domain-Dz3jP-UM.d.ts → domain-Cpmja5ak.d.ts} +55 -55
- package/dist/{effect-CiEVLsZz.d.ts → effect-DZaXwSAz.d.ts} +283 -453
- package/dist/{effect-result-Bebwu9yT.d.ts → effect-result-1HpXgeBc.d.ts} +656 -851
- package/dist/{expression-D0Fs0riG.d.ts → expression-DirYKz-f.d.ts} +5 -13
- package/dist/factory/index.d.ts +7 -144
- package/dist/factory/index.js +8 -8
- package/dist/factory-runtime/index.d.ts +7 -6
- package/dist/factory-runtime/index.js +527 -8
- package/dist/factory-runtime/index.js.map +1 -1
- package/dist/fixtures.d.ts +9 -11
- package/dist/fixtures.js +12 -8
- package/dist/fixtures.js.map +1 -1
- package/dist/i18n/index.d.ts +15 -19
- package/dist/i18n/index.js +2 -1
- package/dist/{index-BC-Jycqj.d.ts → index-D7SxwNdv.d.ts} +34 -734
- package/dist/index.d.ts +92 -247
- package/dist/index.js +322 -986
- package/dist/index.js.map +1 -1
- package/dist/kernel-wire.d.ts +3 -3
- package/dist/kernel-wire.js +3 -79
- package/dist/kernel-wire.js.map +1 -1
- package/dist/language/constructs.json +22 -2
- package/dist/language/program-types.json +203 -22
- package/dist/language/protocols.json +46 -0
- package/dist/language/ui-vocabulary.json +1697 -0
- package/dist/language/validation-codes.json +1222 -1212
- package/dist/language/vocabulary.json +44 -8
- package/dist/language-data.d.ts +7 -4
- package/dist/language-data.js +20 -14
- package/dist/language-data.js.map +1 -1
- package/dist/patterns/component-mapping.json +11 -1
- package/dist/patterns/definitions.d.ts +2 -2
- package/dist/patterns/definitions.js +1 -1
- package/dist/patterns/event-contracts.json +1 -15
- package/dist/patterns/game-font-families.json +13 -0
- package/dist/patterns/index.d.ts +24 -120
- package/dist/patterns/index.js +3 -3
- package/dist/patterns/pattern-tile-geometry.json +1065 -0
- package/dist/patterns/patterns-registry.json +2539 -431
- package/dist/patterns/registry.json +2539 -431
- package/dist/trait-sRjIivFq.d.ts +3519 -0
- package/dist/types/index.d.ts +9 -10
- package/dist/types/index.js +11 -5
- package/dist/{types-DGwrltUF.d.ts → types-C6_yPMpn.d.ts} +3 -3
- package/fixtures/events-wire/client-effects-by-trait/response.json +0 -18
- package/fixtures/events-wire/client-effects-provenance/response.json +0 -18
- package/fixtures/events-wire/effect-results-every-kind/response.json +2 -27
- package/fixtures/events-wire/navigate-1/response.json +8 -5
- package/fixtures/events-wire/navigate-2/response.json +11 -8
- package/fixtures/events-wire/navigate-3/response.json +14 -11
- package/fixtures/events-wire/navigate-back/response.json +7 -4
- package/fixtures/events-wire/render-ui-3/response.json +12 -9
- package/fixtures/events-wire/render-ui-clear/response.json +0 -7
- package/fixtures/events-wire/sse-stream/response.json +0 -20
- package/fixtures/events-wire/sse-stream/stream.json +0 -20
- package/fixtures/events-wire/stateless-traits/response.json +14 -5
- package/fixtures/kernel-wire/golden/basic-entity.json +1687 -0
- package/fixtures/kernel-wire/golden/entity-rerender.json +743 -0
- package/fixtures/kernel-wire/golden/rollback.json +793 -0
- package/fixtures/kernel-wire/golden/tick-counter.json +1538 -0
- package/fixtures/kernel-wire/golden/two-orbital-chore.json +847 -0
- package/fixtures/kernel-wire/golden/two-orbital-task.json +457 -0
- package/fixtures/kernel-wire/played-step.json +136 -0
- package/fixtures/kernel-wire/scripts/basic-entity.json +28 -0
- package/fixtures/kernel-wire/scripts/entity-rerender.json +13 -0
- package/fixtures/kernel-wire/scripts/rollback.json +53 -0
- package/fixtures/kernel-wire/scripts/tick-counter.json +26 -0
- package/fixtures/kernel-wire/scripts/two-orbital-chore.json +9 -0
- package/fixtures/kernel-wire/scripts/two-orbital-task.json +9 -0
- package/package.json +28 -19
- package/dist/builders-DmZE5By0.d.ts +0 -2663
- package/dist/chunk-45I2O4SJ.js +0 -4646
- package/dist/chunk-45I2O4SJ.js.map +0 -1
- package/dist/chunk-6LR43Z5E.js +0 -3061
- package/dist/chunk-6LR43Z5E.js.map +0 -1
- package/dist/chunk-GIUA3NUJ.js +0 -809
- package/dist/chunk-GIUA3NUJ.js.map +0 -1
- package/dist/chunk-GTY53NS5.js +0 -1908
- package/dist/chunk-GTY53NS5.js.map +0 -1
- package/dist/chunk-JOHDVS6J.js +0 -1614
- package/dist/chunk-JOHDVS6J.js.map +0 -1
- package/dist/chunk-KDMV222Q.js.map +0 -1
- package/dist/chunk-QRHJUS3D.js +0 -23
- package/dist/chunk-QRHJUS3D.js.map +0 -1
- package/dist/chunk-QUOTJULD.js +0 -4009
- package/dist/chunk-QUOTJULD.js.map +0 -1
- package/dist/chunk-V5VNGRVU.js +0 -66
- package/dist/chunk-V5VNGRVU.js.map +0 -1
- package/dist/chunk-X4SC7FGF.js.map +0 -1
- package/dist/entityAccess-BPSz1i2n.d.ts +0 -80
- package/dist/mock/index.d.ts +0 -153
- package/dist/mock/index.js +0 -190
- package/dist/mock/index.js.map +0 -1
- package/dist/schema-T5RT5s6H.d.ts +0 -282
- package/dist/state-machine/index.d.ts +0 -359
- package/dist/state-machine/index.js +0 -3
- 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
|