@almadar/core 10.129.0 → 11.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (135) hide show
  1. package/dist/behavior-package.d.ts +49 -11
  2. package/dist/behavior-package.js +1 -1
  3. package/dist/{orbital-CkFdDS9f.d.ts → builders-BdgbY7Th.d.ts} +5828 -6917
  4. package/dist/builders.d.ts +6 -6
  5. package/dist/builders.js +7 -6
  6. package/dist/{bus-CcbB__oo.d.ts → bus-C0hFDNFR.d.ts} +262 -354
  7. package/dist/chunk-347APWFM.js +286 -0
  8. package/dist/chunk-347APWFM.js.map +1 -0
  9. package/dist/chunk-5WQ3U7NJ.js +2363 -0
  10. package/dist/chunk-5WQ3U7NJ.js.map +1 -0
  11. package/dist/chunk-5YTPYMPZ.js +99 -0
  12. package/dist/chunk-5YTPYMPZ.js.map +1 -0
  13. package/dist/chunk-66Q5VX2F.js +3810 -0
  14. package/dist/chunk-66Q5VX2F.js.map +1 -0
  15. package/dist/chunk-7GHJU5WI.js +39 -0
  16. package/dist/chunk-7GHJU5WI.js.map +1 -0
  17. package/dist/chunk-B4MNHGBP.js +8 -0
  18. package/dist/chunk-B4MNHGBP.js.map +1 -0
  19. package/dist/chunk-E4T2MQAV.js +24 -0
  20. package/dist/chunk-E4T2MQAV.js.map +1 -0
  21. package/dist/chunk-ENOCKYGA.js +412 -0
  22. package/dist/chunk-ENOCKYGA.js.map +1 -0
  23. package/dist/chunk-FGT5OS2Y.js +918 -0
  24. package/dist/chunk-FGT5OS2Y.js.map +1 -0
  25. package/dist/chunk-GF7KCLNR.js +3284 -0
  26. package/dist/chunk-GF7KCLNR.js.map +1 -0
  27. package/dist/chunk-PNGFWLHD.js +1567 -0
  28. package/dist/chunk-PNGFWLHD.js.map +1 -0
  29. package/dist/{chunk-X4SC7FGF.js → chunk-RGACZEYC.js} +99 -96
  30. package/dist/chunk-RGACZEYC.js.map +1 -0
  31. package/dist/{chunk-RYPVOI6H.js → chunk-SNZYN7UA.js} +2541 -433
  32. package/dist/{chunk-RYPVOI6H.js.map → chunk-SNZYN7UA.js.map} +1 -1
  33. package/dist/{chunk-KDMV222Q.js → chunk-TDNQT3M3.js} +304 -373
  34. package/dist/chunk-TDNQT3M3.js.map +1 -0
  35. package/dist/chunk-VG7BRFUD.js +152 -0
  36. package/dist/chunk-VG7BRFUD.js.map +1 -0
  37. package/dist/chunk-Z7BI7DE7.js +1293 -0
  38. package/dist/chunk-Z7BI7DE7.js.map +1 -0
  39. package/dist/{domain-Dz3jP-UM.d.ts → domain-Cpmja5ak.d.ts} +55 -55
  40. package/dist/{effect-CiEVLsZz.d.ts → effect-DZaXwSAz.d.ts} +283 -453
  41. package/dist/{effect-result-Bebwu9yT.d.ts → effect-result-1HpXgeBc.d.ts} +656 -851
  42. package/dist/{expression-D0Fs0riG.d.ts → expression-DirYKz-f.d.ts} +5 -13
  43. package/dist/factory/index.d.ts +7 -144
  44. package/dist/factory/index.js +8 -8
  45. package/dist/factory-runtime/index.d.ts +7 -6
  46. package/dist/factory-runtime/index.js +527 -8
  47. package/dist/factory-runtime/index.js.map +1 -1
  48. package/dist/fixtures.d.ts +9 -11
  49. package/dist/fixtures.js +12 -8
  50. package/dist/fixtures.js.map +1 -1
  51. package/dist/i18n/index.d.ts +15 -19
  52. package/dist/i18n/index.js +2 -1
  53. package/dist/{index-BC-Jycqj.d.ts → index-D7SxwNdv.d.ts} +34 -734
  54. package/dist/index.d.ts +92 -247
  55. package/dist/index.js +322 -986
  56. package/dist/index.js.map +1 -1
  57. package/dist/kernel-wire.d.ts +3 -3
  58. package/dist/kernel-wire.js +3 -79
  59. package/dist/kernel-wire.js.map +1 -1
  60. package/dist/language/constructs.json +22 -2
  61. package/dist/language/program-types.json +203 -22
  62. package/dist/language/protocols.json +46 -0
  63. package/dist/language/ui-vocabulary.json +1697 -0
  64. package/dist/language/validation-codes.json +1222 -1212
  65. package/dist/language/vocabulary.json +44 -8
  66. package/dist/language-data.d.ts +7 -4
  67. package/dist/language-data.js +20 -14
  68. package/dist/language-data.js.map +1 -1
  69. package/dist/patterns/component-mapping.json +11 -1
  70. package/dist/patterns/definitions.d.ts +2 -2
  71. package/dist/patterns/definitions.js +1 -1
  72. package/dist/patterns/event-contracts.json +1 -15
  73. package/dist/patterns/game-font-families.json +13 -0
  74. package/dist/patterns/index.d.ts +24 -120
  75. package/dist/patterns/index.js +3 -3
  76. package/dist/patterns/pattern-tile-geometry.json +1065 -0
  77. package/dist/patterns/patterns-registry.json +2539 -431
  78. package/dist/patterns/registry.json +2539 -431
  79. package/dist/trait-sRjIivFq.d.ts +3519 -0
  80. package/dist/types/index.d.ts +9 -10
  81. package/dist/types/index.js +11 -5
  82. package/dist/{types-DGwrltUF.d.ts → types-C6_yPMpn.d.ts} +3 -3
  83. package/fixtures/events-wire/client-effects-by-trait/response.json +0 -18
  84. package/fixtures/events-wire/client-effects-provenance/response.json +0 -18
  85. package/fixtures/events-wire/effect-results-every-kind/response.json +2 -27
  86. package/fixtures/events-wire/navigate-1/response.json +8 -5
  87. package/fixtures/events-wire/navigate-2/response.json +11 -8
  88. package/fixtures/events-wire/navigate-3/response.json +14 -11
  89. package/fixtures/events-wire/navigate-back/response.json +7 -4
  90. package/fixtures/events-wire/render-ui-3/response.json +12 -9
  91. package/fixtures/events-wire/render-ui-clear/response.json +0 -7
  92. package/fixtures/events-wire/sse-stream/response.json +0 -20
  93. package/fixtures/events-wire/sse-stream/stream.json +0 -20
  94. package/fixtures/events-wire/stateless-traits/response.json +14 -5
  95. package/fixtures/kernel-wire/golden/basic-entity.json +1687 -0
  96. package/fixtures/kernel-wire/golden/entity-rerender.json +743 -0
  97. package/fixtures/kernel-wire/golden/rollback.json +793 -0
  98. package/fixtures/kernel-wire/golden/tick-counter.json +1538 -0
  99. package/fixtures/kernel-wire/golden/two-orbital-chore.json +847 -0
  100. package/fixtures/kernel-wire/golden/two-orbital-task.json +457 -0
  101. package/fixtures/kernel-wire/played-step.json +136 -0
  102. package/fixtures/kernel-wire/scripts/basic-entity.json +28 -0
  103. package/fixtures/kernel-wire/scripts/entity-rerender.json +13 -0
  104. package/fixtures/kernel-wire/scripts/rollback.json +53 -0
  105. package/fixtures/kernel-wire/scripts/tick-counter.json +26 -0
  106. package/fixtures/kernel-wire/scripts/two-orbital-chore.json +9 -0
  107. package/fixtures/kernel-wire/scripts/two-orbital-task.json +9 -0
  108. package/package.json +28 -19
  109. package/dist/builders-DmZE5By0.d.ts +0 -2663
  110. package/dist/chunk-45I2O4SJ.js +0 -4646
  111. package/dist/chunk-45I2O4SJ.js.map +0 -1
  112. package/dist/chunk-6LR43Z5E.js +0 -3061
  113. package/dist/chunk-6LR43Z5E.js.map +0 -1
  114. package/dist/chunk-GIUA3NUJ.js +0 -809
  115. package/dist/chunk-GIUA3NUJ.js.map +0 -1
  116. package/dist/chunk-GTY53NS5.js +0 -1908
  117. package/dist/chunk-GTY53NS5.js.map +0 -1
  118. package/dist/chunk-JOHDVS6J.js +0 -1614
  119. package/dist/chunk-JOHDVS6J.js.map +0 -1
  120. package/dist/chunk-KDMV222Q.js.map +0 -1
  121. package/dist/chunk-QRHJUS3D.js +0 -23
  122. package/dist/chunk-QRHJUS3D.js.map +0 -1
  123. package/dist/chunk-QUOTJULD.js +0 -4009
  124. package/dist/chunk-QUOTJULD.js.map +0 -1
  125. package/dist/chunk-V5VNGRVU.js +0 -66
  126. package/dist/chunk-V5VNGRVU.js.map +0 -1
  127. package/dist/chunk-X4SC7FGF.js.map +0 -1
  128. package/dist/entityAccess-BPSz1i2n.d.ts +0 -80
  129. package/dist/mock/index.d.ts +0 -153
  130. package/dist/mock/index.js +0 -190
  131. package/dist/mock/index.js.map +0 -1
  132. package/dist/schema-T5RT5s6H.d.ts +0 -282
  133. package/dist/state-machine/index.d.ts +0 -359
  134. package/dist/state-machine/index.js +0 -3
  135. package/dist/state-machine/index.js.map +0 -1
@@ -1,4 +1,4 @@
1
- import './effect-CiEVLsZz.js';
2
- import './expression-D0Fs0riG.js';
3
- export { B as Accepted, D as AffordanceQuery, F as AffordanceStep, I as AmbiguousTrait, J as AppliedWire, K as ArmConflict, L as AwaitingTrait, N as BeaconOutcomeWire, O as BindRowFrom, Q as BusEventSource, W as CallRoutesWire, X as CallSiteWire, Y as CallerWire, Z as CanvasTheme, C as Claim, _ as ClientEffect, $ as ClientEffectByTrait, a0 as ConfigVariant, a1 as ContractEvents, a2 as ContractStep, a3 as CredentialStanding, a4 as Credit, a5 as CreditStep, a6 as CrudChain, a7 as CrudKind, a8 as DataMutation, a9 as DeliverRefusal, aa as DeliverRefusalKind, ab as DeliveryRecord, ac as DispatchLog, ad as DispatchMode, ae as DispatchWire, af as EffectStatusWire, ag as EffectTraceWire, ah as EmitRowBinding, ai as EmitStep, aj as EmittedEffectWire, ak as EmittedEvent, al as EnsuresVerdict, am as EntityBinding, an as EntityBindingKind, ao as EntityWriteWire, ap as Envelope, aq as EstablishFallback, E as EvalContextWire, b as EvalOutcomeWire, ar as EvalStepKind, as as EvalStepWire, c as EvalTracedWire, at as EventRequest, au as EventResponse, av as Expectation, aw as FiredHop, ax as FiredTick, ay as FrameDispatch, az as FrameStatus, aA as FrameWire, aB as GapReason, aC as GuardCapabilities, aD as GuardCase, G as GuardOutcomeWire, f as GuardVerdict, aE as HopEffect, aF as HopEffectStatus, H as HopObservation, aG as HttpBody, aH as HttpFailureWire, aI as HttpRequestWire, aJ as HttpResponseWire, aK as InboundRelation, aL as InitCredit, aM as InstanceRef, aN as IoAnswerWire, aO as IoReplyWire, aP as IoRequestWire, aQ as LegResidence, aR as LifecycleEvent, g as MachineRow, aS as ModelFailureKindWire, aT as ModelFailureWire, aU as MountFailure, aV as MountLegWire, aW as MountSeed, aX as MountWire, aY as MutationKind, M as MutationOpWire, d as MutationVerdictWire, aZ as NavigateOptions, a_ as OAuthAsk, a$ as OAuthConnectionRow, b0 as OAuthPendingGrant, b1 as OAuthPendingTake, b2 as OAuthProvider, b3 as OAuthReply, b4 as OAuthTokenGrant, b5 as Observation, b6 as ObservedEffect, b7 as ObservedOutcome, b8 as OperatorValueKinds, b9 as OsError, ba as OsErrorKind, bb as OsOp, bc as OwnerRequirement, bd as PageFactFieldWire, be as PageFactsWire, bf as PayloadCase, P as PayloadSlot, bg as PendingRequestWire, bh as PersistBinding, bi as PlanFailure, bj as PlanOptions, bk as PlanOutcome, h as PlayedEffect, i as PlayedEffectStatus, j as PlayedEmit, bl as PlayedEnsures, k as PlayedGuard, l as PlayedResult, m as PlayedState, n as PlayedStep, bm as PreambleEvent, bn as Precondition, bo as Proof, bp as PropositionBindings, bq as PropositionObservation, br as PropositionVerdict, bs as QueryCapabilities, bt as RenderedNode, bu as RenderedSlot, R as RepaintReason, bv as ReplayQuery, bw as ReplyRoute, bx as ResolveProgressWire, by as ResolvedMotion, bz as ResolvedTheme, bA as RoleWire, bB as RotateCounts, bC as RoutedLeg, e as RowBindingWire, bD as RowCombinator, bE as RowCommit, bF as RowCommitWrite, bG as RowCompareOp, bH as RowDirection, bI as RowEstablish, bJ as RowIdPage, bK as RowLeafKind, bL as RowNearest, bM as RowOperator, bN as RowOrder, bO as RowOrderableFields, bP as RowPage, bQ as RowPredicate, bR as RowProjection, bS as RowQuery, bT as RowSetRef, bU as RowShapeField, bV as RowTotalMode, bW as RowValueKind, bX as RowWriteBatch, bY as RowWriteFailureMode, bZ as RowWriteOp, b_ as RowWriteOutcome, b$ as RunTick, c0 as SeedWire, c1 as ServerEffectCode, c2 as ServerEffectKind, c3 as ServerEffectResult, c4 as ServerProgressWire, c5 as Settled, c6 as SnapshotWire, c7 as StatefulLegWire, c8 as StepWire, c9 as StoreListing, ca as StoredName, cb as StreamFramingWire, cc as SubstrateFailureWire, cd as TabAction, ce as TabApply, y as TabAsk, cf as TabCommand, cg as TabDelivery, ch as TabFailure, z as TabFailureKind, ci as TabField, cj as TabImageFormat, ck as TabStyle, cl as TickStep, T as TraceEffectsWire, cm as TraitConfigVariants, cn as TraitFrom, co as TraitRef, cp as TraitSnapshot, cq as TransientFinding, cr as TransientOutcome, cs as TransientProbe, ct as TransientQuery, cu as TransitionHop, cv as TransitionRejection, cw as TransitionRejectionCode, cx as UnprovenReason, cy as Variant, cz as VerdictReason, cA as VerdictWire, V as Viewer, cB as ViewerRequirement, cC as WriteCapabilities, cD as isEventResponse } from './effect-result-Bebwu9yT.js';
1
+ export { Z as Accepted, _ as AmbiguousTrait, $ as AnchoredExec, a0 as AnchoredFsGrant, A as AnchoredGrants, a1 as AnchoredNetGrant, a2 as AppliedWire, a3 as AssertionSpec, f as AwaitingTrait, a4 as BusEventSource, a5 as CallRoutesWire, a6 as CallSiteWire, a7 as CallerWire, a8 as CanvasTheme, C as Claim, a9 as ClientAuth, aa as ClientEffect, g as ClientEffectByTrait, ab as ConnectFailure, ac as ConnectFailureKind, ad as CredentialGrantWire, ae as CredentialKind, af as CredentialStanding, ag as DeliverRefusal, ah as DeliverRefusalKind, ai as DeliveryRecord, D as DesktopKind, h as DevGrant, i as DevKind, aj as DispatchLog, ak as DispatchMode, al as DispatchWire, am as EffectStatusWire, an as EffectTraceWire, ao as EmittedEffectWire, ap as EmittedEvent, aq as EnsuresVerdict, ar as Entered, as as EntityBinding, at as EntityBindingKind, au as EntityRow, av as EntityWriteWire, aw as EnvTail, ax as EnvTails, ay as Envelope, b as EvalContextWire, c as EvalOutcomeWire, az as EvalStepKind, aA as EvalStepWire, d as EvalTracedWire, aB as EventPayload, aC as EventPayloadValue, E as EventRequest, a as EventResponse, aD as FfiGrant, aE as FieldValue, aF as FiredTick, aG as FoldProgressWire, aH as FoldedNextWire, aI as FrameDelta, aJ as FrameDispatch, aK as FrameIdentity, aL as FrameOp, aM as FrameTheme, aN as FrameWire, aO as FramesResync, F as FsGrant, j as FsMode, k as GrantAnchor, aP as GuardCapabilities, G as GuardOutcomeWire, l as GuardVerdict, m as HopEffect, n as HopEffectStatus, W as HopObservation, H as HostAskCompletion, aQ as IndexRealization, aR as InstanceRef, aS as IoAnswerWire, aT as IoReplyWire, aU as IoRequestWire, aV as JsonTokenSpec, aW as KernelGrant, aX as KernelKind, K as KvMode, aY as Left, aZ as LegResidence, a_ as LifecycleEvent, o as MachineRow, a$ as MemGrant, b0 as MemKind, b1 as ModelFailureKindWire, b2 as ModelFailureWire, b3 as MountFailure, b4 as MountLegWire, b5 as MountSeed, b6 as MountWire, M as MutationOpWire, e as MutationVerdictWire, b7 as NavigateOptions, N as NetGrant, p as NetKind, q as NetPart, b8 as NextWire, b9 as OperatorValueKinds, ba as OsError, bb as OsErrorKind, bc as OsGrantFinding, bd as OsGrantFindingCode, be as OsGrantVia, O as OsGrants, bf as OsGrantsReport, bg as OsOp, bh as PageCircuit, bi as PageFactFieldWire, bj as PageFactsWire, P as PayloadSlot, bk as PendingAsk, bl as PendingRequestWire, r as PlayedEffect, s as PlayedEffectStatus, t as PlayedEmit, bm as PlayedEnsures, u as PlayedGuard, bn as PlayedOutcome, v as PlayedResult, w as PlayedState, x as PlayedStep, bo as ProgramSurface, bp as PropositionBindings, bq as PropositionObservation, br as PropositionVerdict, bs as ProveFinding, bt as ProveReport, bu as ProveVerdict, bv as ProvedProposition, bw as QueryCapabilities, bx as RenderedNode, by as RenderedSlot, bz as RepaintReason, bA as ResolveProgressWire, bB as ResolvedMotion, bC as ResolvedTheme, bD as RotateCounts, bE as RoutedLeg, R as RowBindingWire, bF as RowCombinator, bG as RowCommit, bH as RowCommitWrite, bI as RowCompareOp, bJ as RowDirection, bK as RowIdPage, bL as RowLeafKind, bM as RowNearest, bN as RowOperator, bO as RowOrder, bP as RowOrderableFields, bQ as RowPage, bR as RowPredicate, bS as RowProjection, bT as RowQuery, bU as RowSetRef, bV as RowTotalMode, bW as RowValueKind, bX as RowWriteBatch, bY as RowWriteFailureMode, bZ as RowWriteOp, b_ as RowWriteOutcome, b$ as RunTick, c0 as SeedWire, c1 as ServerEffectCode, c2 as ServerEffectKind, c3 as ServerEffectResult, c4 as ServerProgressWire, c5 as Settled, c6 as SlotFault, c7 as SnapshotWire, c8 as StatefulLegWire, I as StdioKind, c9 as StepEmit, ca as StepGuard, cb as StepOutcome, cc as StepRefusal, cd as StepReport, ce as StepResult, cf as StoreListing, cg as StoredName, ch as SubstrateFailureWire, ci as SurfaceEmit, cj as SurfaceListen, ck as SurfaceListenSource, cl as SurfaceTick, cm as SurfaceTransition, J as SysKind, cn as TabAction, co as TabApply, X as TabAsk, cp as TabCommand, cq as TabDelivery, cr as TabFailure, Y as TabFailureKind, cs as TabField, ct as TabImageFormat, cu as TabStyle, T as TraceEffectsWire, cv as TraitFrom, cw as TraitRef, cx as TraitSnapshot, cy as TraitSurface, L as TransitionHop, Q as TransitionRejection, U as TransitionRejectionCode, cz as ValidationJsonError, cA as ValidationJsonOutput, cB as ValidationJsonWarning, cC as ValidationStats, V as Viewer, cD as WriteCapabilities, cE as decodeAppliedWire, cF as decodeDispatchWire, cG as decodeEntered, cH as decodeEventRequest, cI as decodeEventResponse, cJ as decodeFiredTick, cK as decodeFoldProgressWire, cL as decodeFoldedNextWire, cM as decodeFrameWire, cN as decodeIoReplyWire, cO as decodeIoRequestWire, cP as decodeMountWire, cQ as decodeNextWire, cR as decodeOsGrantsReport, cS as decodePlayedStep, cT as decodeProveReport, cU as decodeResolveProgressWire, cV as decodeServerProgressWire, cW as decodeSnapshotWire, cX as decodeStepRefusal, cY as decodeStepReport, cZ as decodeValidationJsonOutput, c_ as isAppliedWire, c$ as isDispatchWire, d0 as isEntered, d1 as isEventRequest, d2 as isEventResponse, d3 as isFiredTick, d4 as isFoldProgressWire, d5 as isFoldedNextWire, d6 as isFrameWire, d7 as isIoReplyWire, d8 as isIoRequestWire, d9 as isMountWire, da as isNextWire, db as isOsGrantsReport, dc as isPlayedStep, dd as isProveReport, de as isResolveProgressWire, df as isServerProgressWire, dg as isSnapshotWire, dh as isStepRefusal, di as isStepReport, dj as isValidationJsonOutput } from './effect-result-1HpXgeBc.js';
2
+ import './effect-DZaXwSAz.js';
3
+ import './expression-DirYKz-f.js';
4
4
  import 'zod';
@@ -1,81 +1,5 @@
1
- // src/generated/kernel-wire.ts
2
- var isRecord = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
3
- function checkBusEventSource(v) {
4
- return isRecord(v) && (v["orbital"] === void 0 || typeof v["orbital"] === "string") && (v["orbitalId"] === void 0 || v["orbitalId"] !== void 0) && (v["trait"] === void 0 || typeof v["trait"] === "string") && (v["traitId"] === void 0 || v["traitId"] !== void 0) && (v["eventId"] === void 0 || v["eventId"] !== void 0) && (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");
5
- }
6
- function checkClientEffect(v) {
7
- return Array.isArray(v) && v.length === 3 && v[0] === "render-ui" && typeof v[1] === "string" && (v[2] !== void 0 || 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";
8
- }
9
- function checkClientEffectByTrait(v) {
10
- 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 || v["callsitePayload"] !== void 0) && (v["repaint"] === void 0 || checkRepaintReason(v["repaint"]));
11
- }
12
- function checkEmittedEvent(v) {
13
- return isRecord(v) && typeof v["event"] === "string" && (v["payload"] === void 0 || v["payload"] !== void 0) && (v["source"] === void 0 || checkBusEventSource(v["source"]));
14
- }
15
- function checkEventResponse(v) {
16
- 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) => e2 !== void 0))) && (v["dataRefs"] === void 0 || isRecord(v["dataRefs"]) && Object.values(v["dataRefs"]).every((e) => checkRowSetRef(e))) && (v["entityByTrait"] === void 0 || isRecord(v["entityByTrait"]) && Object.values(v["entityByTrait"]).every((e) => e !== void 0)) && (v["clientEffects"] === void 0 || Array.isArray(v["clientEffects"]) && v["clientEffects"].every((e) => checkClientEffect(e))) && (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");
17
- }
18
- function checkHopEffect(v) {
19
- return isRecord(v) && typeof v["type"] === "string" && (Array.isArray(v["args"]) && v["args"].every((e) => e !== void 0)) && checkHopEffectStatus(v["status"]) && (v["error"] === void 0 || typeof v["error"] === "string");
20
- }
21
- function checkHopEffectStatus(v) {
22
- return v === "executed" || v === "failed" || v === "skipped";
23
- }
24
- function checkHopObservation(v) {
25
- return isRecord(v) && v["payload"] !== void 0 && v["entityBefore"] !== void 0 && v["entityAfter"] !== void 0;
26
- }
27
- function checkNavigateOptions(v) {
28
- return isRecord(v) && (v["crumb"] === void 0 || typeof v["crumb"] === "string");
29
- }
30
- function checkRepaintReason(v) {
31
- return v === "rows-changed";
32
- }
33
- function checkRowCompareOp(v) {
34
- return v === "==" || v === "!=" || v === "<" || v === "<=" || v === ">" || v === ">=";
35
- }
36
- function checkRowDirection(v) {
37
- return v === "asc" || v === "desc";
38
- }
39
- function checkRowNearest(v) {
40
- return isRecord(v) && typeof v["field"] === "string" && (Array.isArray(v["vector"]) && v["vector"].every((e) => typeof e === "number")) && typeof v["k"] === "number";
41
- }
42
- function checkRowOrder(v) {
43
- return isRecord(v) && typeof v["field"] === "string" && checkRowDirection(v["direction"]);
44
- }
45
- function checkRowPredicate(v) {
46
- return isRecord(v) && v["kind"] === "compare" && typeof v["field"] === "string" && checkRowCompareOp(v["op"]) && v["value"] !== void 0 || isRecord(v) && v["kind"] === "member" && typeof v["field"] === "string" && (Array.isArray(v["values"]) && v["values"].every((e) => e !== void 0)) || isRecord(v) && v["kind"] === "hasElement" && typeof v["field"] === "string" && v["value"] !== void 0 || 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";
47
- }
48
- function checkRowQuery(v) {
49
- 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"]));
50
- }
51
- function checkRowSetRef(v) {
52
- 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"]);
53
- }
54
- function checkRowTotalMode(v) {
55
- return v === "exact" || v === "none";
56
- }
57
- function checkServerEffectCode(v) {
58
- return v === "not-found" || v === "no-row-key" || v === "duplicate-id" || v === "denied";
59
- }
60
- function checkServerEffectKind(v) {
61
- return v === "set" || v === "persist" || v === "call-service" || v === "http" || v === "fetch" || v === "fetch-stream" || v === "ref" || v === "deref" || v === "swap" || v === "atomic" || v === "emit" || v === "substrate";
62
- }
63
- function checkServerEffectResult(v) {
64
- 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 || v["name"] !== void 0) && (v["data"] === void 0 || (v["data"] !== void 0 || v["data"] !== void 0 || v["data"] !== void 0)) && 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");
65
- }
66
- function checkTransitionHop(v) {
67
- 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"]));
68
- }
69
- function checkTransitionRejection(v) {
70
- 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 || v["guard"] !== void 0) && (v["error"] === void 0 || typeof v["error"] === "string");
71
- }
72
- function checkTransitionRejectionCode(v) {
73
- return v === "no-matching-transition" || v === "guard-rejected" || v === "no-dispatchable-traits" || v === "not-an-external-input" || v === "inbound-only-event" || v === "effect-failed";
74
- }
75
- function isEventResponse(value) {
76
- return checkEventResponse(value);
77
- }
78
-
79
- export { isEventResponse };
1
+ 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 } from './chunk-Z7BI7DE7.js';
2
+ import './chunk-VG7BRFUD.js';
3
+ import './chunk-B4MNHGBP.js';
80
4
  //# sourceMappingURL=kernel-wire.js.map
81
5
  //# sourceMappingURL=kernel-wire.js.map
@@ -1 +1 @@
1
- {"version":3,"sources":["../src/generated/kernel-wire.ts"],"names":["e"],"mappings":";AA+4BA,IAAM,QAAA,GAAW,CAAC,CAAA,KAA8C,OAAO,CAAA,KAAM,QAAA,IAAY,CAAA,KAAM,IAAA,IAAQ,CAAC,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA;AAEvH,SAAS,oBAAoB,CAAA,EAAmC;AAC9D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,KAAM,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,SAAS,CAAA,KAAM,cAAc,CAAA,CAAE,WAAW,CAAA,KAAM,MAAA,IAAa,CAAA,CAAE,WAAW,MAAM,MAAA,CAAA,KAAe,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,OAAO,EAAE,OAAO,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,SAAS,CAAA,KAAM,UAAa,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,CAAA,KAAe,CAAA,CAAE,SAAS,MAAM,MAAA,IAAa,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,CAAA,KAAe,CAAA,CAAE,YAAY,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,YAAY,CAAA,KAAM,cAAc,CAAA,CAAE,MAAM,MAAM,MAAA,IAAa,OAAO,EAAE,MAAM,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,YAAY,CAAA,KAAM,UAAa,OAAO,CAAA,CAAE,YAAY,CAAA,KAAM,SAAA,CAAA,KAAe,CAAA,CAAE,YAAY,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,YAAY,CAAA,KAAM,eAAe,CAAA,CAAE,gBAAgB,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,gBAAgB,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,YAAY,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,YAAY,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,gBAAgB,MAAM,MAAA,IAAa,OAAO,CAAA,CAAE,gBAAgB,CAAA,KAAM,SAAA,CAAA;AAC11B;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAS,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,MAAA,KAAW,CAAA,IAAK,CAAA,CAAE,CAAC,CAAA,KAAM,WAAA,IAAe,OAAO,CAAA,CAAE,CAAC,CAAA,KAAM,QAAA,KAAa,CAAA,CAAE,CAAC,CAAA,KAAM,MAAA,IAAa,CAAA,CAAE,CAAC,CAAA,KAAM,IAAA,CAAA,IAAW,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,EAAE,MAAA,KAAW,CAAA,IAAK,CAAA,CAAE,CAAC,CAAA,KAAM,UAAA,IAAc,OAAO,CAAA,CAAE,CAAC,CAAA,KAAM,QAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,WAAW,CAAA,IAAK,CAAA,CAAE,CAAC,CAAA,KAAM,UAAA,IAAc,OAAO,CAAA,CAAE,CAAC,CAAA,KAAM,QAAA,KAAc,QAAA,CAAS,CAAA,CAAE,CAAC,CAAC,CAAA,IAAK,MAAA,CAAO,OAAO,CAAA,CAAE,CAAC,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,IAAM,CAAA,CAAE,CAAC,CAAA,KAAM,IAAA,CAAA,IAAW,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,MAAA,KAAW,CAAA,IAAK,CAAA,CAAE,CAAC,CAAA,KAAM,UAAA,IAAc,OAAO,CAAA,CAAE,CAAC,CAAA,KAAM,QAAA,KAAc,QAAA,CAAS,EAAE,CAAC,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAA,CAAE,CAAC,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,IAAM,EAAE,CAAC,CAAA,KAAM,IAAA,CAAA,IAAS,oBAAA,CAAqB,CAAA,CAAE,CAAC,CAAC,CAAA,IAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,MAAA,KAAW,CAAA,IAAK,CAAA,CAAE,CAAC,CAAA,KAAM,eAAA;AAClrB;AAEA,SAAS,yBAAyB,CAAA,EAAmC;AACnE,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,EAAE,WAAW,CAAA,KAAM,YAAY,iBAAA,CAAkB,CAAA,CAAE,QAAQ,CAAC,CAAA,KAAM,EAAE,OAAO,CAAA,KAAM,UAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,WAAW,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,WAAW,MAAM,QAAA,CAAA,KAAc,CAAA,CAAE,iBAAiB,CAAA,KAAM,MAAA,IAAa,EAAE,iBAAiB,CAAA,KAAM,YAAe,CAAA,CAAE,SAAS,MAAM,MAAA,IAAa,kBAAA,CAAmB,CAAA,CAAE,SAAS,CAAC,CAAA,CAAA;AACrX;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,EAAE,OAAO,CAAA,KAAM,QAAA,KAAa,CAAA,CAAE,SAAS,CAAA,KAAM,UAAa,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,CAAA,KAAe,CAAA,CAAE,QAAQ,MAAM,MAAA,IAAa,mBAAA,CAAoB,CAAA,CAAE,QAAQ,CAAC,CAAA,CAAA;AACtL;AAEA,SAAS,mBAAmB,CAAA,EAAmC;AAC7D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,CAAA,CAAE,SAAS,CAAA,KAAM,SAAA,IAAa,OAAO,CAAA,CAAE,cAAc,CAAA,KAAM,SAAA,KAAc,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAA,CAAE,QAAQ,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,CAAA,KAAO,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,eAAe,CAAC,CAAA,IAAK,CAAA,CAAE,eAAe,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,iBAAA,CAAkB,CAAC,CAAC,CAAA,CAAA,KAAO,CAAA,CAAE,MAAM,CAAA,KAAM,MAAA,IAAc,QAAA,CAAS,CAAA,CAAE,MAAM,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAA,CAAE,MAAM,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,KAAA,CAAM,CAACA,EAAAA,KAAMA,EAAAA,KAAM,MAAS,CAAE,CAAA,CAAA,KAAQ,CAAA,CAAE,UAAU,CAAA,KAAM,MAAA,IAAc,QAAA,CAAS,CAAA,CAAE,UAAU,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAA,CAAE,UAAU,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,cAAA,CAAe,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,eAAe,CAAA,KAAM,MAAA,IAAc,QAAA,CAAS,CAAA,CAAE,eAAe,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAA,CAAE,eAAe,CAAC,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,CAAA,KAAM,MAAS,CAAA,CAAA,KAAQ,CAAA,CAAE,eAAe,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,QAAQ,CAAA,CAAE,eAAe,CAAC,CAAA,IAAK,CAAA,CAAE,eAAe,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,iBAAA,CAAkB,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,sBAAsB,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,sBAAsB,CAAC,CAAA,IAAK,CAAA,CAAE,sBAAsB,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,wBAAA,CAAyB,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,eAAe,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,eAAe,CAAC,CAAA,IAAK,CAAA,CAAE,eAAe,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,uBAAA,CAAwB,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,aAAa,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,aAAa,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,YAAY,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,YAAY,CAAC,CAAA,IAAK,CAAA,CAAE,YAAY,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,wBAAA,CAAyB,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,kBAAkB,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,kBAAkB,CAAC,CAAA,IAAK,CAAA,CAAE,kBAAkB,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,CAAA,KAAQ,CAAA,CAAE,aAAa,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,aAAa,CAAC,CAAA,IAAK,CAAA,CAAE,aAAa,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,kBAAA,CAAmB,CAAC,CAAC,CAAA,CAAA,KAAQ,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA;AAC5oD;AAEA,SAAS,eAAe,CAAA,EAAmC;AACzD,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,EAAE,MAAM,CAAA,KAAM,QAAA,KAAa,KAAA,CAAM,QAAQ,CAAA,CAAE,MAAM,CAAC,CAAA,IAAK,EAAE,MAAM,CAAA,CAAE,KAAA,CAAM,CAAC,MAAM,CAAA,KAAM,MAAS,CAAA,CAAA,IAAM,oBAAA,CAAqB,EAAE,QAAQ,CAAC,CAAA,KAAM,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA;AAC3N;AAEA,SAAS,qBAAqB,CAAA,EAAmC;AAC/D,EAAA,OAAQ,CAAA,KAAM,UAAA,IAAc,CAAA,KAAM,QAAA,IAAY,CAAA,KAAM,SAAA;AACtD;AAEA,SAAS,oBAAoB,CAAA,EAAmC;AAC9D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,IAAa,CAAA,CAAE,cAAc,CAAA,KAAM,MAAA,IAAa,CAAA,CAAE,aAAa,CAAA,KAAM,MAAA;AAC/G;AAEA,SAAS,qBAAqB,CAAA,EAAmC;AAC/D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,KAAM,CAAA,CAAE,OAAO,MAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA;AAC5E;AAEA,SAAS,mBAAmB,CAAA,EAAmC;AAC7D,EAAA,OAAO,CAAA,KAAM,cAAA;AACf;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAQ,CAAA,KAAM,IAAA,IAAQ,CAAA,KAAM,IAAA,IAAQ,CAAA,KAAM,OAAO,CAAA,KAAM,IAAA,IAAQ,CAAA,KAAM,GAAA,IAAO,CAAA,KAAM,IAAA;AACpF;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAQ,CAAA,KAAM,SAAS,CAAA,KAAM,MAAA;AAC/B;AAEA,SAAS,gBAAgB,CAAA,EAAmC;AAC1D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,KAAa,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,QAAQ,CAAC,CAAA,IAAK,CAAA,CAAE,QAAQ,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,CAAA,IAAM,OAAO,CAAA,CAAE,GAAG,CAAA,KAAM,QAAA;AAChK;AAEA,SAAS,cAAc,CAAA,EAAmC;AACxD,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,iBAAA,CAAkB,CAAA,CAAE,WAAW,CAAC,CAAA;AAC3F;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAS,SAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,MAAM,SAAA,IAAa,OAAO,CAAA,CAAE,OAAO,MAAM,QAAA,IAAY,iBAAA,CAAkB,EAAE,IAAI,CAAC,KAAK,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAe,SAAS,CAAC,CAAA,IAAK,EAAE,MAAM,CAAA,KAAM,YAAY,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,aAAa,KAAA,CAAM,OAAA,CAAQ,EAAE,QAAQ,CAAC,KAAK,CAAA,CAAE,QAAQ,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,CAAA,KAAM,MAAS,CAAA,CAAA,IAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,CAAA,KAAM,gBAAgB,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,EAAE,OAAO,CAAA,KAAM,MAAA,IAAe,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,CAAA,KAAM,UAAA,IAAc,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,OAAO,CAAA,CAAE,MAAM,MAAM,QAAA,IAAY,OAAO,EAAE,eAAe,CAAA,KAAM,SAAA,IAAe,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,CAAA,KAAM,QAAA,IAAY,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,OAAO,CAAA,CAAE,QAAQ,MAAM,SAAA,IAAe,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,CAAA,KAAM,UAAU,KAAA,CAAM,OAAA,CAAQ,EAAE,IAAI,CAAC,KAAK,CAAA,CAAE,IAAI,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,iBAAA,CAAkB,CAAC,CAAC,CAAA,CAAA,IAAQ,SAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,MAAM,KAAA,KAAU,KAAA,CAAM,QAAQ,CAAA,CAAE,IAAI,CAAC,CAAA,IAAK,CAAA,CAAE,IAAI,CAAA,CAAE,MAAM,CAAC,CAAA,KAAM,kBAAkB,CAAC,CAAC,MAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,CAAA,CAAE,MAAM,CAAA,KAAM,KAAA,IAAS,kBAAkB,CAAA,CAAE,IAAI,CAAC,CAAA,IAAO,QAAA,CAAS,CAAC,CAAA,IAAK,EAAE,MAAM,CAAA,KAAM,WAAW,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,SAAA;AAC9gC;AAEA,SAAS,cAAc,CAAA,EAAmC;AACxD,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,KAAM,CAAA,CAAE,QAAQ,CAAA,KAAM,MAAA,IAAa,iBAAA,CAAkB,CAAA,CAAE,QAAQ,CAAC,CAAA,CAAA,KAAO,EAAE,QAAQ,CAAA,KAAM,MAAA,IAAa,iBAAA,CAAkB,CAAA,CAAE,QAAQ,CAAC,CAAA,CAAA,KAAO,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,aAAA,CAAc,CAAA,CAAE,OAAO,CAAC,OAAO,CAAA,CAAE,QAAQ,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,QAAQ,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,MAAM,QAAA,CAAA,KAAc,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,iBAAA,CAAkB,CAAA,CAAE,OAAO,CAAC,CAAA,CAAA,KAAO,CAAA,CAAE,SAAS,CAAA,KAAM,MAAA,IAAa,eAAA,CAAgB,CAAA,CAAE,SAAS,CAAC,CAAA,CAAA;AACld;AAEA,SAAS,eAAe,CAAA,EAAmC;AACzD,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,EAAE,YAAY,CAAA,KAAM,QAAA,KAAa,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,KAAK,CAAC,KAAK,CAAA,CAAE,KAAK,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,CAAA,CAAA,IAAM,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,aAAA,CAAc,CAAA,CAAE,OAAO,CAAC,CAAA;AACvM;AAEA,SAAS,kBAAkB,CAAA,EAAmC;AAC5D,EAAA,OAAQ,CAAA,KAAM,WAAW,CAAA,KAAM,MAAA;AACjC;AAEA,SAAS,sBAAsB,CAAA,EAAmC;AAChE,EAAA,OAAQ,MAAM,WAAA,IAAe,CAAA,KAAM,YAAA,IAAgB,CAAA,KAAM,kBAAkB,CAAA,KAAM,QAAA;AACnF;AAEA,SAAS,sBAAsB,CAAA,EAAmC;AAChE,EAAA,OAAQ,CAAA,KAAM,SAAS,CAAA,KAAM,SAAA,IAAa,MAAM,cAAA,IAAkB,CAAA,KAAM,MAAA,IAAU,CAAA,KAAM,OAAA,IAAW,CAAA,KAAM,kBAAkB,CAAA,KAAM,KAAA,IAAS,MAAM,OAAA,IAAW,CAAA,KAAM,UAAU,CAAA,KAAM,QAAA,IAAY,CAAA,KAAM,MAAA,IAAU,CAAA,KAAM,WAAA;AACrN;AAEA,SAAS,wBAAwB,CAAA,EAAmC;AAClE,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,qBAAA,CAAsB,EAAE,QAAQ,CAAC,MAAM,CAAA,CAAE,QAAQ,MAAM,MAAA,IAAa,OAAO,EAAE,QAAQ,CAAA,KAAM,cAAc,CAAA,CAAE,YAAY,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,YAAY,CAAA,KAAM,QAAA,CAAA,KAAc,EAAE,MAAM,CAAA,KAAM,UAAa,CAAA,CAAE,MAAM,MAAM,MAAA,CAAA,KAAe,CAAA,CAAE,MAAM,CAAA,KAAM,MAAA,KAAc,EAAE,MAAM,CAAA,KAAM,UAAa,CAAA,CAAE,MAAM,CAAA,KAAM,MAAA,IAAa,CAAA,CAAE,MAAM,MAAM,MAAA,CAAA,CAAA,IAAe,OAAO,EAAE,SAAS,CAAA,KAAM,cAAc,CAAA,CAAE,QAAQ,MAAM,MAAA,IAAa,CAAA,CAAE,QAAQ,CAAA,KAAM,IAAA,CAAA,KAAU,EAAE,OAAO,CAAA,KAAM,UAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,MAAM,CAAA,KAAM,MAAA,IAAa,sBAAsB,CAAA,CAAE,MAAM,CAAC,CAAA,CAAA,KAAO,CAAA,CAAE,QAAQ,CAAA,KAAM,MAAA,IAAa,OAAO,EAAE,QAAQ,CAAA,KAAM,cAAc,CAAA,CAAE,QAAQ,MAAM,MAAA,IAAa,OAAO,CAAA,CAAE,QAAQ,CAAA,KAAM,QAAA,CAAA;AACvsB;AAEA,SAAS,mBAAmB,CAAA,EAAmC;AAC7D,EAAA,OAAQ,QAAA,CAAS,CAAC,CAAA,IAAK,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,IAAY,OAAO,CAAA,CAAE,MAAM,CAAA,KAAM,YAAY,OAAO,CAAA,CAAE,IAAI,CAAA,KAAM,QAAA,IAAY,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,KAAa,CAAA,CAAE,UAAU,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,UAAU,CAAA,KAAM,QAAA,CAAA,KAAc,CAAA,CAAE,aAAa,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,aAAa,CAAA,KAAM,SAAA,CAAA,KAAe,KAAA,CAAM,OAAA,CAAQ,CAAA,CAAE,SAAS,CAAC,KAAK,CAAA,CAAE,SAAS,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,cAAA,CAAe,CAAC,CAAC,CAAA,CAAA,KAAO,CAAA,CAAE,UAAU,CAAA,KAAM,MAAA,IAAa,mBAAA,CAAoB,CAAA,CAAE,UAAU,CAAC,CAAA,CAAA;AAClc;AAEA,SAAS,yBAAyB,CAAA,EAAmC;AACnE,EAAA,OAAQ,SAAS,CAAC,CAAA,IAAK,4BAAA,CAA6B,CAAA,CAAE,MAAM,CAAC,CAAA,KAAM,CAAA,CAAE,OAAO,MAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,MAAM,QAAA,CAAA,KAAc,CAAA,CAAE,MAAM,CAAA,KAAM,UAAa,OAAO,CAAA,CAAE,MAAM,CAAA,KAAM,cAAc,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,IAAa,OAAO,CAAA,CAAE,OAAO,MAAM,QAAA,CAAA,KAAc,CAAA,CAAE,sBAAsB,CAAA,KAAM,MAAA,IAAc,KAAA,CAAM,OAAA,CAAQ,EAAE,sBAAsB,CAAC,CAAA,IAAK,CAAA,CAAE,sBAAsB,CAAA,CAAE,KAAA,CAAM,CAAC,CAAA,KAAM,OAAO,CAAA,KAAM,QAAQ,OAAQ,CAAA,CAAE,YAAY,MAAM,MAAA,IAAa,OAAO,CAAA,CAAE,YAAY,MAAM,QAAA,CAAA,KAAc,CAAA,CAAE,OAAO,CAAA,KAAM,UAAa,CAAA,CAAE,OAAO,CAAA,KAAM,MAAA,CAAA,KAAe,EAAE,OAAO,CAAA,KAAM,UAAa,OAAO,CAAA,CAAE,OAAO,CAAA,KAAM,QAAA,CAAA;AACrlB;AAEA,SAAS,6BAA6B,CAAA,EAAmC;AACvE,EAAA,OAAQ,CAAA,KAAM,wBAAA,IAA4B,CAAA,KAAM,gBAAA,IAAoB,CAAA,KAAM,4BAA4B,CAAA,KAAM,uBAAA,IAA2B,CAAA,KAAM,oBAAA,IAAwB,CAAA,KAAM,eAAA;AAC7K;AAGO,SAAS,gBAAgB,KAAA,EAAsD;AACpF,EAAA,OAAO,mBAAmB,KAAK,CAAA;AACjC","file":"kernel-wire.js","sourcesContent":["// GENERATED by `cargo test -p orbital-core-runtime --lib kernel_wire_ts` (KERNEL_WIRE_TS_WRITE=1) from\n// orbital-core `embed::wire`. Do not edit: change the Rust wire types and regenerate.\n\nimport type {\n EntityRow,\n EventId,\n FieldValue,\n EventPayload,\n EventPayloadValue,\n JsonObject,\n JsonValue,\n NamespacedEffectName,\n OrbitalId,\n PatternConfig,\n RawUserClaims,\n ServerBatchSummary,\n TraitId,\n} from '../types/index.js';\n\nexport type Accepted = null;\n\nexport type AffordanceQuery = { trait: string, from: string, event: string, };\n\nexport type AffordanceStep = { trait: string, from: string, event: string, \n/**\n * The declared target; `from` when the trait declares no such transition (a dead affordance).\n */\nto: string, declared: boolean, navigates: boolean, instanceId: string, seedRowId?: string, role?: RoleWire, preamble?: Array<PreambleEvent>, precondition?: Precondition, coverageKey: string, };\n\nexport type AmbiguousTrait = { trait: string, orbitals: Array<string>, };\n\nexport type AppliedWire = { applied: Array<[string, string]>, response: EventResponse, \n/**\n * The legs the fold's own arms owe the host (a refetch after a browser-stored write), to post and fold in turn.\n */\nserverLegs: Array<RoutedLeg>, };\n\nexport type ArmConflict = { \"kind\": \"earlier-arm-first\", arm: number, to: string, } | { \"kind\": \"guard-unmet\" } | { \"kind\": \"own-guard-passes\" } | { \"kind\": \"guard-unevaluable\", arm: number, message: string, };\n\nexport type AwaitingTrait = { trait: string, event: string, from: string }\n\nexport type BeaconOutcomeWire = { \"via\": \"queue\" } | { \"via\": \"fetch\", status: number, } | { \"via\": \"unavailable\", message: string, };\n\nexport type BindRowFrom = { entity: string, payloadField: string, };\n\nexport type BusEventSource = { orbital?: string, orbitalId?: OrbitalId, trait?: string, traitId?: TraitId, eventId?: EventId, transition?: string, tick?: string, fromBridge?: boolean, dispatched?: boolean, originClientId?: string, \n/**\n * Per-activation key a UI control stamps on the event it emits; never set by the kernel.\n */\npendingKey?: string, \n/**\n * Set on a `persist` effect's `emit.success` envelope: the emit a live-push host fans out to the\n * other connected clients. On the wire, not an `@event.source` binding.\n */\npersistSuccess?: boolean, };\n\nexport type CallRoutesWire = { success?: string, failure?: string, cancelled?: string, onMessage?: string, };\n\nexport type CallSiteWire = { orbital?: string, trait: string, followOn: boolean, \n/**\n * The frame the call was made on; absent for the singleton (an id-less dispatch).\n */\nentityId?: string, emit: CallRoutesWire, };\n\nexport type CallerWire = { principal: string, role?: string, };\n\nexport type CanvasTheme = JsonObject\n\nexport type Claim = { name: string, \n/**\n * The claim as JSON, exactly as the token carried it (a date as its ISO text).\n */\nvalue: JsonValue, };\n\nexport type ClientEffect = [\"render-ui\", string, PatternConfig | null] | [\"navigate\", string] | [\"navigate\", string, { [key in string]: string } | null] | [\"navigate\", string, { [key in string]: string } | null, NavigateOptions] | [\"navigate-back\"]\n\nexport type ClientEffectByTrait = { traitName: string, effect: ClientEffect, \n/**\n * Event key of the transition that produced the effect (a listens delivery's triggered event).\n */\nevent?: string, \n/**\n * State that transition fired from.\n */\nfromState?: string, \n/**\n * The payload an embedded `@callsitePayload` child was composed with (sticky).\n */\ncallsitePayload?: EventPayload, \n/**\n * Set when the paint is a repaint with no transition behind it that a renderer must act on beyond the\n * content: the rows a row-set reference in it points at changed (EXEC-RENDER-3).\n */\nrepaint?: RepaintReason, };\n\nexport type ConfigVariant = { \n/**\n * `knob = value`.\n */\nlabel: string, field: string, \n/**\n * The baseline defaults with `field` changed.\n */\nconfig: JsonObject, };\n\nexport type ContractEvents = { \n/**\n * False when no language data is installed: the table cannot be read, so nothing is planned.\n */\navailable: boolean, steps: Array<ContractStep>, };\n\nexport type ContractStep = { trait: string, from: string, event: string, pattern: string, coverageKey: string, };\n\nexport type CredentialStanding = { connected: boolean, label?: string | null, };\n\nexport type Credit = { index: number, stateBefore: string, stateAfter: string, };\n\nexport type CreditStep = { trait: string, from: string, event: string, arm?: number, reply?: ReplyRoute, fired: Array<FiredHop>, };\n\nexport type CrudChain = { kind: CrudKind, entity: string, persistor: string, sourceTrait: string, openFrom: string, openEvent: string, openTo: string, submitEvent: string, successEvent: string, rowDelta: number, \n/**\n * The event the rendered button carries when the open event reaches the overlay through a listener.\n */\nopenAffordanceEvent: string, \n/**\n * The open transition renders into a portal slot or a self-overlay pattern.\n */\nopensOverlay: boolean, requiresRowContext: boolean, payloadRowShape: Array<RowShapeField>, \n/**\n * The payload the submit event carries, built from its declared schema.\n */\nsubmitPayload: JsonValue, \n/**\n * A minimal row of the linked entity: the values a form's fields are filled with.\n */\nentityRow: JsonValue, \n/**\n * The same row with every non-id value changed, so an edit has something to change.\n */\neditEntityRow: JsonValue, \n/**\n * Entity fields restricted to declared values: a changed value would leave the vocabulary, so a row-content\n * assertion skips them.\n */\nenumFields: Array<string>, viewer?: ViewerRequirement, precondition?: Precondition, \n/**\n * Delete only: self-relation fields (restrict rule) a deletable row must not be referenced through.\n */\navoidReferencedVia: Array<string>, \n/**\n * Delete only: fields of OTHER entities (restrict rule) that reference this entity.\n */\navoidReferencedByOtherEntities: Array<InboundRelation>, \n/**\n * Delete only: when the entity can run out of unreferenced rows, the create to dispatch first.\n */\ndeleteEstablishFallback?: EstablishFallback, coverageKey: string, };\n\nexport type CrudKind = \"create\" | \"edit\" | \"delete\";\n\nexport type DataMutation = { trait: string, from: string, event: string, to: string, payload: JsonValue, entity: string, kind: MutationKind, rowDelta: number, successEvent?: string, viewer?: ViewerRequirement, \n/**\n * Update or delete whose own persist argument names the target row: the host binds a real row there.\n */\nbindRow?: PersistBinding, avoidReferencedVia: Array<string>, avoidReferencedByOtherEntities: Array<InboundRelation>, rowEstablish?: RowEstablish, precondition?: Precondition, coverageKey: string, };\n\nexport type DeliverRefusal = { kind: DeliverRefusalKind, id: string, };\n\nexport type DeliverRefusalKind = \"mailbox-full\" | \"hop-cap\" | \"unknown-instance\" | \"denied\" | \"down\";\n\nexport type DeliveryRecord = { event: string, payload?: EventPayload, source: BusEventSource, };\n\nexport type DispatchLog = { prevEvents: Array<DeliveryRecord>, prevStates: Array<string>, };\n\nexport type DispatchMode = \"persistedAwaited\" | \"hybridClientOnly\" | \"runtimeOptimistic\"\n\nexport type DispatchWire = { orbital: string, seed: SeedWire, response: EventResponse, serverLegs: Array<RoutedLeg>, mode: DispatchMode, snapshot: TraitSnapshot | null, alreadyDelivered: Array<[string, string]>, awaiting: Array<AwaitingTrait>, \n/**\n * The plain leg a stateful host is posted when the dispatch delegated no effect.\n */\nstatefulLeg: StatefulLegWire | null, \n/**\n * The traits whose pre-dispatch frame is the base a posted answer is folded against (`foldBase`).\n */\nfoldSeeded: Array<string>, };\n\nexport type EffectStatusWire = \"executed\" | \"failed\" | \"skipped\";\n\nexport type EffectTraceWire = { type: string, args: Array<JsonValue>, status: EffectStatusWire, error?: string, evalTrace?: Array<EvalStepWire>, };\n\nexport type EmitRowBinding = { entity: string, payloadField: string, wholeRow: boolean, \n/**\n * A delete's restrict relations: the host binds a row nothing references.\n */\navoidReferencedVia: Array<string>, avoidReferencedByOtherEntities: Array<InboundRelation>, };\n\nexport type EmitStep = { trait: string, from: string, event: string, payload: JsonValue, navigates: boolean, coverageKey: string, \n/**\n * A listener persists an update or delete keyed by this emit's payload: the host binds a real row there.\n */\nbindRow?: EmitRowBinding, };\n\nexport type EmittedEffectWire = { event: string, payload?: JsonValue, };\n\nexport type EmittedEvent = { event: string, payload?: EventPayload, source?: BusEventSource, };\n\nexport type EnsuresVerdict = \"held\" | \"broken\" | \"inconclusive\";\n\nexport type EntityBinding = { kind: EntityBindingKind, \n/**\n * The entity type (`named`), the owner entity of the rendering trait (`inline`), the binding (`payload-unresolved`,\n * `context-unresolved`); otherwise empty.\n */\nentity: string, \n/**\n * The inline rows, or the loaded rows of a `named` entity; otherwise 0.\n */\nrows: number, \n/**\n * `entity` declares a real `@read`, so an empty list may be what the viewer is meant to see (`inline`, `named`).\n */\nreadGated: boolean, };\n\nexport type EntityBindingKind = \"none\" | \"absent\" | \"malformed\" | \"inline\" | \"named\" | \"payload-unresolved\" | \"context-unresolved\";\n\nexport type EntityWriteWire = { field: string, value: JsonValue, };\n\nexport type Envelope = { id: string, from: InstanceRef, to: InstanceRef, event: string, payload: JsonValue, causalId: string, hop: number, };\n\nexport type EstablishFallback = { event: string, payload: JsonValue, trait: string, viewer?: ViewerRequirement, };\n\nexport type EvalContextWire = { entity?: JsonValue, payload?: JsonValue, config?: JsonValue, user?: JsonValue, callsitePayload?: JsonValue, currentTheme?: JsonValue, pages?: JsonValue, state?: string, \n/**\n * The dispatch's `now` stamp (ms epoch); absent = the wall clock.\n */\nnow?: number, locale?: string, \n/**\n * The active locale's merged catalog (qualified key to message) for `i18n/t`.\n */\nmessages?: { [key in string]: string }, \n/**\n * Local bindings (`@name`), as a `let` would bind them.\n */\nlocals?: JsonObject, \n/**\n * Entity rows by type, for `count` queries over a store.\n */\nentityStores?: { [key in string]: Array<JsonValue> }, };\n\nexport type EvalOutcomeWire = { \"kind\": \"value\", value: JsonValue, } | { \"kind\": \"error\", message: string, };\n\nexport type EvalStepKind = \"enter\" | \"exit\" | \"iter\" | \"skip\";\n\nexport type EvalStepWire = { kind: EvalStepKind, path: Array<number | string>, value?: JsonValue, error?: string, };\n\nexport type EvalTracedWire = { outcome: EvalOutcomeWire, trace: Array<EvalStepWire>, };\n\nexport type EventRequest = { event: string, eventId?: EventId, payload?: EventPayload, entityId?: string, targetTrait?: string, user?: RawUserClaims, clientId?: string, \n/**\n * The viewer's locale (one of the program's declared `locales`); `None` → the first declared.\n */\nlocale?: string, tick?: string, sourceTrait?: string, \n/**\n * Run one firing of this trait's tick at the data authority (`@almadar/core`\n * `OrbitalEventRequest.runTick`): a browser-run tick's data effects on browser-stored\n * entities travel here, since a tick has no event to replay under.\n */\nrunTick?: RunTick, traits?: Array<TraitFrom>, entityByTrait?: { [key in string]: EntityRow }, behavior?: string, \n/**\n * `@event` for the target when this request continues a client-begun dispatch; `None` = direct.\n */\ndelivery?: DeliveryRecord, \n/**\n * The target trait's log so far in that dispatch; `None` = empty.\n */\ndispatchLog?: DispatchLog, \n/**\n * A mount batch: each listed trait runs its own lifecycle event, in order,\n * with the shared `payload` (`bus.ts` `OrbitalEventRequest.mount`).\n */\nmount?: Array<MountSeed>, \n/**\n * Where this leg runs, set by the kernel on every leg it builds (EXEC-DIST-6).\n */\nresidence?: LegResidence, };\n\nexport type EventResponse = { success: boolean, transitioned: boolean, \n/**\n * Whole-orbital state snapshot, keyed by trait name.\n */\nstates: { [key in string]: string }, \n/**\n * Always present (`[]` when none) — never optional-chained by a consumer.\n */\nemittedEvents: Array<EmittedEvent>, data?: { [key in string]: Array<EntityRow> }, \n/**\n * Fetched pages delivered by reference (`deliver: ids`), keyed by entity name.\n */\ndataRefs?: { [key in string]: RowSetRef }, entityByTrait?: { [key in string]: EntityRow }, clientEffects?: Array<ClientEffect>, clientEffectsByTrait?: Array<ClientEffectByTrait>, effectResults?: Array<ServerEffectResult>, \n/**\n * `\"<Trait>.<event>\"` when the SEED trait's guard rejected the dispatch.\n */\nguardFailed?: string, rejections?: Array<TransitionRejection>, \n/**\n * Traits dropped from the cascade when the cross-trait worklist hit its cap; their states,\n * effects and rows in this response are incomplete. Absent when the whole worklist ran.\n */\ncascadeTruncated?: Array<string>, \n/**\n * Every executed hop of the dispatch, in order (the server role's trace); absent when none ran.\n */\ntransitions?: Array<TransitionHop>, error?: string, };\n\nexport type Expectation = { trait: string, from: string, event: string, toStates: Array<string>, guarded: boolean, arm?: number, solved: boolean, reply?: ReplyRoute, payloadCase: PayloadCase, guardCase?: GuardCase, guardSteerable?: boolean, acceptStates: Array<string>, \n/**\n * The step's precondition is not shown to hold; a failure is then inconclusive.\n */\npreconditionGap?: UnprovenReason, };\n\nexport type FiredHop = { trait: string, from: string, event: string, to: string, \n/**\n * Position of the arm among the state's `from --event-->` arms.\n */\narm?: number, };\n\nexport type FiredTick = { trait: string, tick: string, };\n\nexport type FrameDispatch = { trait: string, orbital: string, seed: SeedWire, response: EventResponse, serverLegs: Array<RoutedLeg>, mode: DispatchMode, snapshot: TraitSnapshot | null, alreadyDelivered: Array<[string, string]>, awaiting: Array<AwaitingTrait>, \n/**\n * The plain leg a stateful host is posted when the dispatch delegated no effect.\n */\nstatefulLeg: StatefulLegWire | null, \n/**\n * The traits whose pre-dispatch frame is the base a posted answer is folded against (`foldBase`).\n */\nfoldSeeded: Array<string>, };\n\nexport type FrameStatus = \"pass\" | \"fail\" | \"inconclusive\" | \"gap\";\n\nexport type FrameWire = { fired: Array<FiredTick>, response: EventResponse, dispatches: Array<FrameDispatch>, \n/**\n * The `runTick` legs of fired ticks that write browser-stored data, for the host that owns the store.\n */\nbrowserLegs: Array<RoutedLeg>, droppedServerEffects: number, errors: Array<string>, };\n\nexport type GapReason = \"not-reachable-without-network\" | \"delivered-only-by-remount\";\n\nexport type GuardCapabilities = { leaves: Array<RowLeafKind>, combinators: Array<RowCombinator>, compareOps: Array<RowCompareOp>, };\n\nexport type GuardCase = \"pass\" | \"fail\";\n\nexport type GuardOutcomeWire = { \"kind\": \"value\", value: boolean, } | { \"kind\": \"error\", message: string, };\n\nexport type GuardVerdict = \"pass\" | \"fail\" | \"none\";\n\nexport type HopEffect = { type: string, args: Array<JsonValue>, status: HopEffectStatus, error?: string, };\n\nexport type HopEffectStatus = \"executed\" | \"failed\" | \"skipped\";\n\nexport type HopObservation = { payload: JsonValue, entityBefore: JsonValue, entityAfter: JsonValue, };\n\nexport type HttpBody = { \"kind\": \"empty\" } | { \"kind\": \"text\", text: string, } | { \"kind\": \"base64\", data: string, };\n\nexport type HttpFailureWire = { \"kind\": \"timedOut\" } | { \"kind\": \"failed\", message: string, } | { \"kind\": \"refused\", message: string, };\n\nexport type HttpRequestWire = { method: string, url: string, headers: Array<[string, string]>, body: HttpBody, timeoutMs?: number, };\n\nexport type HttpResponseWire = { status: number, headers: Array<[string, string]>, body: HttpBody, };\n\nexport type InboundRelation = { entity: string, field: string, };\n\nexport type InitCredit = { trait: string, state: string, coverageKey: string, };\n\nexport type InstanceRef = { instance: string, orbital: string, trait?: string, };\n\nexport type IoAnswerWire = { \"kind\": \"row\", result: Settled<EntityRow | null, string>, } | { \"kind\": \"rows\", result: Settled<Array<EntityRow>, string>, } | { \"kind\": \"page\", result: Settled<RowPage, string>, } | { \"kind\": \"idPage\", result: Settled<RowIdPage, string>, } | { \"kind\": \"queryUnsupported\", reason: string, } | { \"kind\": \"wrote\", result: Settled<Array<RowWriteOutcome>, string>, } | { \"kind\": \"writeUnsupported\", reason: string, } | { \"kind\": \"committed\", result: Settled<boolean, string>, } | { \"kind\": \"deleted\", result: Settled<null, string>, } | { \"kind\": \"service\", result: Settled<JsonValue, string>, } | { \"kind\": \"serviceCancelled\" } | { \"kind\": \"serviceDeferred\" } | { \"kind\": \"cancelled\", result: Settled<null, string>, } | { \"kind\": \"substrate\", result: Settled<JsonValue, SubstrateFailureWire>, } | { \"kind\": \"http\", result: Settled<HttpResponseWire, HttpFailureWire>, } | { \"kind\": \"httpBeacon\", result: Settled<BeaconOutcomeWire, HttpFailureWire>, } | { \"kind\": \"pageFacts\", result: Settled<PageFactsWire, string>, } | { \"kind\": \"prompt\", result: Settled<string, ModelFailureWire>, } | { \"kind\": \"embed\", result: Settled<Array<Array<number>>, ModelFailureWire>, } | { \"kind\": \"tab\", result: Settled<JsonValue, TabFailure>, } | { \"kind\": \"secret\", result: Settled<string | null, string>, } | { \"kind\": \"secretSet\", result: Settled<null, string>, } | { \"kind\": \"secretRotate\", result: Settled<null, string>, } | { \"kind\": \"random\", result: Settled<string, string>, } | { \"kind\": \"clock\", result: Settled<number, string>, } | { \"kind\": \"os\", result: Settled<JsonValue, OsError>, } | { \"kind\": \"credentialStatus\", result: Settled<CredentialStanding, string>, } | { \"kind\": \"credentialForget\", result: Settled<null, string>, } | { \"kind\": \"credentialStoreList\", result: Settled<StoreListing | null, string>, } | { \"kind\": \"credentialStoreRead\", result: Settled<string | null, string>, } | { \"kind\": \"credentialStoreWrite\", result: Settled<null, string>, } | { \"kind\": \"credentialStoreRemove\", result: Settled<boolean, string>, } | { \"kind\": \"credentialStoreRotate\", result: Settled<RotateCounts, string>, } | { \"kind\": \"credentialModeRead\", result: Settled<string | null, string>, } | { \"kind\": \"credentialModeWrite\", result: Settled<string, string>, } | { \"kind\": \"oauth\", result: Settled<OAuthReply, string>, } | { \"kind\": \"deliver\", result: Settled<Accepted, DeliverRefusal>, };\n\nexport type IoReplyWire = { id: number, answer: IoAnswerWire, };\n\nexport type IoRequestWire = { \"kind\": \"readRow\", entityType: string, id: string, } | { \"kind\": \"listRows\", entityType: string, } | { \"kind\": \"queryRows\", entityType: string, query: RowQuery, project: RowProjection, } | { \"kind\": \"writeRows\", batch: RowWriteBatch, } | { \"kind\": \"commitRows\", rows: Array<RowCommit>, } | { \"kind\": \"createRow\", entityType: string, data: JsonValue, } | { \"kind\": \"writeRow\", entityType: string, id: string, data: JsonValue, } | { \"kind\": \"deleteRow\", entityType: string, id: string, } | { \"kind\": \"callService\", service: string, method: string, args: JsonValue, key?: string, caller?: CallerWire, site?: CallSiteWire, } | { \"kind\": \"cancelCall\", key: string, } | { \"kind\": \"substrate\", op: string, args: Array<JsonValue>, key?: string, site?: CallSiteWire, } | { \"kind\": \"http\", request: HttpRequestWire, key?: string, delayMs?: number, site?: CallSiteWire, } | { \"kind\": \"httpStream\", request: HttpRequestWire, key?: string, framing: StreamFramingWire, site?: CallSiteWire, } | { \"kind\": \"httpBeacon\", request: HttpRequestWire, key?: string, site?: CallSiteWire, } | { \"kind\": \"pageFacts\", fields: Array<PageFactFieldWire>, } | { \"kind\": \"prompt\", text: string, schema: string, key?: string, } | { \"kind\": \"embed\", texts: Array<string>, key?: string, } | { \"kind\": \"tab\", ask: TabAsk, key?: string, } | { \"kind\": \"secret\", name: string, principal?: string, } | { \"kind\": \"secretSet\", name: string, value: string, ttlMs: number, principal?: string, } | { \"kind\": \"secretRotate\", name: string, value: string, principal?: string, } | { \"kind\": \"oauth\", ask: OAuthAsk, principal?: string, } | { \"kind\": \"deliver\", envelope: Envelope, key?: string, site: CallSiteWire, } | { \"kind\": \"random\", bytes: number, } | { \"kind\": \"clock\" } | { \"kind\": \"os\", op: OsOp, args: Array<JsonValue>, key?: string, site?: CallSiteWire, } | { \"kind\": \"credentialStatus\", name: string, principal?: string, } | { \"kind\": \"credentialForget\", name: string, principal?: string, } | { \"kind\": \"credentialStoreList\" } | { \"kind\": \"credentialStoreRead\", name: string, } | { \"kind\": \"credentialStoreWrite\", service: string, name: string, value: string, } | { \"kind\": \"credentialStoreRemove\", name: string, } | { \"kind\": \"credentialStoreRotate\" } | { \"kind\": \"credentialModeRead\" } | { \"kind\": \"credentialModeWrite\", mode: string, };\n\nexport type LegResidence = \"browser\" | \"server\";\n\nexport type LifecycleEvent = \"INIT\" | \"LOAD\" | \"$MOUNT\";\n\nexport type MachineRow = { orbital: string, trait: string, from: string, event: string, to: string, \n/**\n * The transition carries a guard of its own.\n */\nguarded: boolean, payload: Array<PayloadSlot>, };\n\nexport type ModelFailureKindWire = \"unconfigured\" | \"unavailable\" | \"failed\";\n\nexport type ModelFailureWire = { kind: ModelFailureKindWire, message: string, };\n\nexport type MountFailure = { trait: string, event: string, message: string, };\n\nexport type MountLegWire = { orbital: string, seeds: Array<SeedWire>, leg: EventRequest, \n/**\n * The union of the seeds' already-realized `(trait, event)` pairs.\n */\nalreadyDelivered: Array<[string, string]>, awaiting: Array<AwaitingTrait>, \n/**\n * The seeds whose pre-dispatch frame is the fold base (`foldBase`).\n */\nfoldSeeded: Array<string>, };\n\nexport type MountSeed = { trait: string, event: LifecycleEvent, };\n\nexport type MountWire = { seeds: Array<DispatchWire>, \n/**\n * For a host that carries the circuit state (stateless): a leg per orbital whose seeds delegated effects.\n */\nlegs: Array<MountLegWire>, \n/**\n * For a host that holds it (stateful): the legs of every server-backed seed, delegated effect or not.\n */\nstatefulLegs: Array<MountLegWire>, \n/**\n * The seed that failed to dispatch; the batch stopped there and carries no legs.\n */\nfailed: MountFailure | null, };\n\nexport type MutationKind = \"create\" | \"update\" | \"delete\";\n\nexport type MutationOpWire = \"create\" | \"update\" | \"delete\";\n\nexport type MutationVerdictWire = { allowed: boolean, message?: string, };\n\nexport type NavigateOptions = { crumb?: string, };\n\nexport type OAuthAsk = { ask: \"pendingPut\", state: string, grant: OAuthPendingGrant, ttlMs: number } | { ask: \"pendingTake\", state: string } | { ask: \"connectionAvailable\" } | { ask: \"connectionSave\", provider: OAuthProvider, grant: OAuthTokenGrant } | { ask: \"connectionStatus\", provider: OAuthProvider } | { ask: \"connectionRemove\", provider: OAuthProvider } | { ask: \"subjectRemember\", accessToken: string, subject: string } | { ask: \"subjectLookup\", accessToken: string } | { ask: \"subjectForget\", accessToken: string } | { ask: \"metadataGet\", issuer: string } | { ask: \"metadataPut\", issuer: string, metadata: { [key in string]: JsonValue } } | { ask: \"clock\" } | { ask: \"mockTokenPut\", accessToken: string, refreshToken: string, expiresAtMs: number, provider: OAuthProvider } | { ask: \"mockTokenRefresh\", refreshToken: string, newAccessToken: string, expiresAtMs: number } | { ask: \"mockTokenRevoke\", token: string } | { ask: \"mockTokenCheck\", accessToken: string } | { ask: \"consent\", authUrl: string, state: string, redirectUri: string }\n\nexport type OAuthConnectionRow = { provider: OAuthProvider, connected: boolean, account: string, avatarUrl: string, scope: Array<string>, connectedAt: string }\n\nexport type OAuthPendingGrant = { provider: string, redirectUri: string, verifier: string, subject: string | null, scopes: Array<string> }\n\nexport type OAuthPendingTake = { found: \"missing\" } | { found: \"expired\" } | { found: \"grant\", grant: OAuthPendingGrant }\n\nexport type OAuthProvider = \"google\" | \"github\" | \"auth0\"\n\nexport type OAuthReply = { reply: \"done\" } | { reply: \"flag\", value: boolean } | { reply: \"taken\", taken: OAuthPendingTake } | { reply: \"row\", row: OAuthConnectionRow } | { reply: \"subject\", subject: string | null } | { reply: \"metadata\", metadata: { [key in string]: JsonValue } | null } | { reply: \"millis\", value: number } | { reply: \"mockToken\", state: \"missing\" | \"expired\" | \"valid\", provider: OAuthProvider | null } | { reply: \"code\", code: string | null }\n\nexport type OAuthTokenGrant = { accessToken: string, refreshToken: string | null, expiresIn: number, tokenType: string, scope: Array<string> | null, subject: string | null }\n\nexport type Observation = { stateBefore: string, stateAfter: string, \n/**\n * The arm the kernel selected among the `from --event-->` arms.\n */\nfiredArm?: number, effects: Array<ObservedEffect>, };\n\nexport type ObservedEffect = { outcome: ObservedOutcome, \n/**\n * The declared `emit.failure` event the program routed this failure to.\n */\nrouted?: string, };\n\nexport type ObservedOutcome = \"executed\" | \"noop\" | \"delegated\" | \"failed\";\n\nexport type OperatorValueKinds = { operator: RowOperator, valueKinds: Array<RowValueKind>, };\n\nexport type OsError = { kind: OsErrorKind, message: string, };\n\nexport type OsErrorKind = \"denied\" | \"not-found\" | \"exists\" | \"invalid\" | \"io\" | \"timeout\" | \"unsupported\" | \"closed\";\n\nexport type OsOp = \"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/send\" | \"os/recv\" | \"os/udp-bind\" | \"os/sendto\" | \"os/recvfrom\" | \"os/dns-resolve\" | \"os/shutdown\" | \"os/watch-port\" | \"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\";\n\nexport type OwnerRequirement = { sourceEntity: string, sourceField: string, useDefaultId?: boolean, payloadOwnerField?: string, };\n\nexport type PageFactFieldWire = \"hostname\" | \"referrer\" | \"screenWidth\";\n\nexport type PageFactsWire = { available: boolean, hostname: string, referrer: string, screenWidth: number | null, };\n\nexport type PayloadCase = \"success\" | \"malformed\" | \"guard-fail\";\n\nexport type PayloadSlot = { name: string, type: string, required: boolean, \n/**\n * The closed value set, when the field declares one.\n */\nvalues?: Array<string>, \n/**\n * The declared entity the value is a row of.\n */\nentity?: string, };\n\nexport type PendingRequestWire = { id: number, request: IoRequestWire, };\n\nexport type PersistBinding = { payloadField: string, wholeRow: boolean, };\n\nexport type PlanFailure = { \"kind\": \"invalid-program\", message: string, } | { \"kind\": \"invalid-input\", message: string, } | { \"kind\": \"unknown-trait\", name: string, available: string, };\n\nexport type PlanOptions = { \n/**\n * Restrict the plan to these traits (either name spelling a trait carries after resolve).\n */\ntraits?: Array<string>, \n/**\n * The bound viewer's id; shapes the seed row id and ownership-stamped payloads.\n */\nviewerId?: string, \n/**\n * Events the caller already covers; the contract plan skips them.\n */\ncoveredEvents?: Array<string>, };\n\nexport type PlanOutcome = { \"outcome\": \"planned\", steps: Array<StepWire>, configVariants: Array<TraitConfigVariants>, initCredits: Array<InitCredit>, emitSweep: Array<EmitStep>, contractEvents: ContractEvents, crudChains: Array<CrudChain>, tickSteps: Array<TickStep>, dataMutations: Array<DataMutation>, } | { \"outcome\": \"refused\", failure: PlanFailure, };\n\nexport type PlayedEffect = { type: string, args: Array<JsonValue>, status: PlayedEffectStatus, error?: string, \n/**\n * The effect failed and the program routed that failure to its declared `emit.failure` event.\n */\nrouted: boolean, };\n\nexport type PlayedEffectStatus = \"executed\" | \"failed\" | \"skipped\";\n\nexport type PlayedEmit = { type: string, payload?: EventPayload, timestamp: number, };\n\nexport type PlayedEnsures = { proposition: JsonValue, verdict: EnsuresVerdict, reason?: string, counterexample?: PropositionBindings, };\n\nexport type PlayedGuard = { \n/**\n * The arm's position among the `from --event-->` arms, in declaration order.\n */\narm: number, guard: JsonValue, passed: boolean, trace: Array<EvalStepWire>, error?: string, };\n\nexport type PlayedResult = { trait: string, event: string, \n/**\n * A failed guard is never a transition, even for a self-loop.\n */\ntransitionFired: boolean, guard: GuardVerdict, \n/**\n * The position of the arm that fired; absent when none did.\n */\nfiredArm?: number, state: PlayedState, effects: Array<PlayedEffect>, emitted: Array<PlayedEmit>, guards: Array<PlayedGuard>, \n/**\n * The fired arm's `@ensures`; when no arm fired, those of every `from --event-->` arm, each inconclusive.\n */\nensures: Array<PlayedEnsures>, \n/**\n * The slots the played trait filled, walked by the kernel's render probe; present when `options.render` asked.\n */\nrendered?: Array<RenderedSlot>, };\n\nexport type PlayedState = { before: string | null, after: string | null, };\n\nexport type PlayedStep = { orbital: string, trait: string, from: string, event: string, payload: EventPayload, result: PlayedResult, };\n\nexport type PreambleEvent = { event: string, payload: JsonValue, \n/**\n * The state the machine stands in when this hop is fired, and where the declared transition leads.\n */\nfrom: string, to: string, \n/**\n * States the machine may settle in beyond `to`, because an effect-emitted event advances it on its own.\n */\nacceptStates?: Array<string>, \n/**\n * Firing the hop can change the route.\n */\nnavigates: boolean, };\n\nexport type Precondition = { \"kind\": \"established\", trait: string, event: string, payload: JsonValue, establishAtState: string, bindRowFrom?: BindRowFrom, role?: RoleWire, \n/**\n * Further unestablished guard fields this preamble does not cover.\n */\nunplannedFields: Array<string>, proof: Proof, } | { \"kind\": \"same-trait-setter\", fields: Array<string>, proof: Proof, } | { \"kind\": \"unreachable\", fields: Array<string>, };\n\nexport type Proof = { \"kind\": \"proven\" } | { \"kind\": \"unproven\", reason: UnprovenReason, };\n\nexport type PropositionBindings = { entity: JsonValue, fromEntity: JsonValue, payload: JsonValue, };\n\nexport type PropositionObservation = { executed: boolean, \n/**\n * An effect failed: the transition stopped part way (EXEC-STEP-7), so its contract is not owed.\n */\nfailed: boolean, entityBefore: JsonValue, entityAfter: JsonValue, payload?: JsonValue, \n/**\n * Set by a driver whose `entityAfter` is not the full layered read (it could not run some effect that writes\n * the row): the judgement is inconclusive, with this reason.\n */\nunobserved?: string, };\n\nexport type PropositionVerdict = { \"verdict\": \"held\" } | { \"verdict\": \"broken\", proposition: JsonValue, } | { \"verdict\": \"inconclusive\", reason: string, };\n\nexport type QueryCapabilities = { leaves: Array<RowLeafKind>, combinators: Array<RowCombinator>, compareOps: Array<RowCompareOp>, operatorValueKinds?: Array<OperatorValueKinds>, orderableFields: RowOrderableFields, window: boolean, exactTotal: boolean, idsOnly?: boolean, \n/**\n * `nearest` is pushed down: the store ranks by cosine similarity itself (EXEC-FETCH-2).\n */\nnearest?: boolean, };\n\nexport type RenderedNode = { \n/**\n * The node's `type`; empty for a node without one.\n */\npattern: string, \n/**\n * `type` is a binding (`@config.viewPattern`) resolved at run time.\n */\ndynamic: boolean, \n/**\n * The renderer draws it: a real renderer, a draw host painting its children, or a node without a `type`.\n */\nsupported: boolean, \n/**\n * The renderer declares a stub for it.\n */\nstub: boolean, binding: EntityBinding, \n/**\n * The `@trait.X` string children of this node.\n */\ntraitRefs: Array<TraitRef>, };\n\nexport type RenderedSlot = { slot: string, \n/**\n * The trait whose `render-ui` wrote the slot.\n */\nsourceTrait: string, \n/**\n * The `linkedEntity` of `source_trait`; empty when it declares none.\n */\nownerEntity: string, \n/**\n * The rendered tree in pre-order, each `@trait` embed's content visited once where it is embedded.\n */\nnodes: Array<RenderedNode>, };\n\nexport type RepaintReason = \"rows-changed\";\n\nexport type ReplayQuery = { trait: string, state: string, };\n\nexport type ReplyRoute = \"other\" | \"failure\";\n\nexport type ResolveProgressWire = { \"status\": \"done\", rows: Array<EntityRow>, total: number, } | { \"status\": \"await\", flight: number, requests: Array<PendingRequestWire>, };\n\nexport type ResolvedMotion = JsonObject\n\nexport type ResolvedTheme = { key: string, base: string, mode: \"light\" | \"dark\", tokens: JsonObject }\n\nexport type RoleWire = { field: string, value: string, };\n\nexport type RotateCounts = { rotated: number, alreadyCurrent: number, unreadable: number, };\n\nexport type RoutedLeg = { orbital: string, leg: EventRequest, };\n\nexport type RowBindingWire = { \"kind\": \"value\", value: string | number | boolean | null, } | { \"kind\": \"list\", values: Array<string | number | boolean | null>, } | { \"kind\": \"unspecialised\", detail: string, } | { \"kind\": \"inexpressible\", detail: string, };\n\nexport type RowCombinator = \"all\" | \"any\" | \"not\";\n\nexport type RowCommit = { entityType: string, id: string, expected: EntityRow | null, write: RowCommitWrite, };\n\nexport type RowCommitWrite = { \"kind\": \"keep\" } | { \"kind\": \"put\", row: EntityRow, } | { \"kind\": \"delete\" };\n\nexport type RowCompareOp = \"==\" | \"!=\" | \"<\" | \"<=\" | \">\" | \">=\";\n\nexport type RowDirection = \"asc\" | \"desc\";\n\nexport type RowEstablish = { \"kind\": \"established\", event: string, payload: JsonValue, viewer?: ViewerRequirement, bindRowFrom?: BindRowFrom, \n/**\n * Dispatched before the replay path rather than inline with the step.\n */\nbeforeReplay: boolean, } | { \"kind\": \"unreachable\", trait: string, entity: string, atState: string, };\n\nexport type RowIdPage = { ids: Array<string>, total: number, };\n\nexport type RowLeafKind = \"compare\" | \"member\" | \"hasElement\" | \"contains\" | \"isNull\";\n\nexport type RowNearest = { field: string, vector: Array<number>, k: number, };\n\nexport type RowOperator = \"==\" | \"!=\" | \"<\" | \"<=\" | \">\" | \">=\" | \"member\" | \"hasElement\" | \"contains\";\n\nexport type RowOrder = { field: string, direction: RowDirection, };\n\nexport type RowOrderableFields = { \"kind\": \"every-field\" } | { \"kind\": \"listed\", fields: Array<string>, };\n\nexport type RowPage = { rows: Array<EntityRow>, total: number, };\n\nexport type RowPredicate = { kind: \"compare\", field: string, op: RowCompareOp, value: FieldValue } | { kind: \"member\", field: string, values: Array<FieldValue> } | { kind: \"hasElement\", field: string, value: FieldValue } | { kind: \"contains\", field: string, text: string, caseSensitive: boolean } | { kind: \"isNull\", field: string, isNull: boolean } | { kind: \"all\", of: Array<RowPredicate> } | { kind: \"any\", of: Array<RowPredicate> } | { kind: \"not\", of: RowPredicate } | { kind: \"const\", value: boolean }\n\nexport type RowProjection = \"rows\" | \"ids\";\n\nexport type RowQuery = { policy?: RowPredicate, filter?: RowPredicate, order?: RowOrder, offset?: number, limit?: number, total?: RowTotalMode, \n/**\n * The nearest `k` rows by cosine similarity among those `policy` and `filter` admit (EXEC-FETCH-2). Excludes\n * `order`, `offset` and `limit`.\n */\nnearest?: RowNearest, };\n\nexport type RowSetRef = { entityType: string, ids: Array<string>, total: number, query: RowQuery, };\n\nexport type RowShapeField = { name: string, wholeRow: boolean, };\n\nexport type RowTotalMode = \"exact\" | \"none\";\n\nexport type RowValueKind = \"string\" | \"number\" | \"boolean\" | \"date\" | \"null\";\n\nexport type RowWriteBatch = { ops: Array<RowWriteOp>, onFailure: RowWriteFailureMode, };\n\nexport type RowWriteFailureMode = \"atomic\" | \"stop\";\n\nexport type RowWriteOp = { \"kind\": \"create\", entityType: string, data: EntityRow, } | { \"kind\": \"upsert\", entityType: string, data: EntityRow, } | { \"kind\": \"update\", entityType: string, id: string, data: EntityRow, guard?: RowPredicate, } | { \"kind\": \"rekey\", entityType: string, id: string, newId: string, guard?: RowPredicate, } | { \"kind\": \"delete\", entityType: string, id: string, guard?: RowPredicate, };\n\nexport type RowWriteOutcome = { \"kind\": \"created\", row: EntityRow, } | { \"kind\": \"updated\", row: EntityRow, before?: EntityRow, } | { \"kind\": \"deleted\", before?: EntityRow, } | { \"kind\": \"not-found\" } | { \"kind\": \"duplicate-id\" } | { \"kind\": \"refused\" } | { \"kind\": \"failed\", message: string, } | { \"kind\": \"rolled-back\" };\n\nexport type RunTick = { trait: string, tick: string, };\n\nexport type SeedWire = { trait: string, event: string, };\n\nexport type ServerEffectCode = \"not-found\" | \"no-row-key\" | \"duplicate-id\" | \"denied\";\n\nexport type ServerEffectKind = \"set\" | \"persist\" | \"call-service\" | \"http\" | \"fetch\" | \"fetch-stream\" | \"ref\" | \"deref\" | \"swap\" | \"atomic\" | \"emit\" | \"substrate\";\n\nexport type ServerEffectResult = { effect: ServerEffectKind, action?: string, entityType?: string, \n/**\n * The namespaced operator (`memory/store`) — only on `ServerEffectKind::Substrate`.\n */\nname?: NamespacedEffectName, data?: EntityRow | ServerBatchSummary | EventPayloadValue, success: boolean, \n/**\n * `true` when a persist failed because an access policy rejected it — never\n * serialized as `false` (the wire type is the TS literal `true`, not `bool`).\n */\ndenied?: true, error?: string, \n/**\n * Coded failure reason for a persist that resolved no target row, or created on a taken id.\n */\ncode?: ServerEffectCode, \n/**\n * What an `http` effect reached, `\"<METHOD> <origin><path>\"`; only on `ServerEffectKind::Http`.\n */\ntarget?: string, \n/**\n * The declared `emit.failure` event a failed effect was routed to (the kernel fired it, so the failure is handled); absent when it declares none.\n */\nrouted?: string, };\n\nexport type ServerProgressWire = { \"status\": \"done\", response: EventResponse, } | { \"status\": \"await\", flight: number, requests: Array<PendingRequestWire>, };\n\nexport type Settled<T, E> = { \"ok\": T } | { \"error\": E };\n\nexport type SnapshotWire = { states: JsonObject, ambiguousTraits: Array<AmbiguousTrait>, theme: ResolvedTheme, canvasTheme: CanvasTheme, motion: ResolvedMotion, };\n\nexport type StatefulLegWire = { orbital: string, leg: EventRequest, awaiting: Array<AwaitingTrait>, };\n\nexport type StepWire = { trait: string, linkedEntity?: string, \n/**\n * The instance the step fires on: the seed row id of the linked entity, or the verifier's fixed id.\n */\ninstanceId: string, \n/**\n * The id of the row to seed before the step; absent when the step's own create makes that row.\n */\nseedRowId?: string, \n/**\n * The role a role-only persist policy needs the viewer to carry for this step.\n */\nrole?: RoleWire, from: string, event: string, to: string, toStates: Array<string>, variant: Variant, payload: JsonValue, guarded: boolean, arm?: number, solved: boolean, reply?: ReplyRoute, \n/**\n * The events (with payloads) that place a fresh machine in `from`; absent when `from` is unreachable.\n * Each is a repositioning step: it moves the machine, it is not under test.\n */\npreamble?: Array<PreambleEvent>, payloadCase: PayloadCase, guardCase?: GuardCase, \n/**\n * The payload can steer the arm's guard; absent on an unguarded step.\n */\nguardSteerable?: boolean, \n/**\n * On a `guard-fail` step: the targets of the sibling arms that may fire in its place.\n */\nguardSiblingTargets: Array<string>, \n/**\n * Why the planned payload does not exercise this arm; the step is then unsolved.\n */\narmConflict?: ArmConflict, \n/**\n * What must be dispatched first for a guard reading `@entity` fields this trait does not set.\n */\nprecondition?: Precondition, \n/**\n * States beyond `toStates` the machine may settle in, because an effect-emitted event advances it on its own.\n */\nacceptStates: Array<string>, \n/**\n * Firing the event can change the route, so the trait may unmount.\n */\nnavigates: boolean, \n/**\n * `trait:from+event->to` plus `[payloadCase]` (`[guardCase]` without one); the boot INIT carries no suffix.\n */\ncoverageKey: string, };\n\nexport type StoreListing = { enabled: boolean, entries: Array<StoredName>, };\n\nexport type StoredName = { service: string, name: string, };\n\nexport type StreamFramingWire = \"sse\" | \"jsonLines\";\n\nexport type SubstrateFailureWire = { message: string, errors: Array<JsonValue>, };\n\nexport type TabAction = \"click\" | \"focus\" | \"type\";\n\nexport type TabApply = { elementId: string, styles: Array<TabStyle>, label?: string | null, };\n\nexport type TabAsk = { \"kind\": \"list\" } | { \"kind\": \"open\", url: string, active: boolean, } | { \"kind\": \"close\", tab: number, } | { \"kind\": \"navigate\", tab: number, url: string, } | { \"kind\": \"command\", tab: number, command: TabCommand, } | { \"kind\": \"awaitReady\", tab: number, timeoutMs: number, } | { \"kind\": \"watch\", watchId: string, match: string, selector: string, fields: Array<TabField>, deliver: TabDelivery, } | { \"kind\": \"unwatch\", watchId: string, } | { \"kind\": \"capture\", tab: number, format: TabImageFormat, quality?: number | null, };\n\nexport type TabCommand = { \"kind\": \"query\", selector: string, fields: Array<TabField>, limit?: number | null, waitMs?: number | null, } | { \"kind\": \"watch\", watchId: string, selector: string, fields: Array<TabField>, } | { \"kind\": \"unwatch\", watchId: string, } | { \"kind\": \"apply\" } & TabApply | { \"kind\": \"applyMany\", items: Array<TabApply>, } | { \"kind\": \"act\", elementId: string, action: TabAction, text?: string | null, };\n\nexport type TabDelivery = { orbital: string, trait: string, event: string, };\n\nexport type TabFailure = { kind: TabFailureKind, message: string, };\n\nexport type TabFailureKind = \"unavailable\" | \"not-ready\" | \"not-found\" | \"invalid\" | \"failed\";\n\nexport type TabField = { name: string, selector?: string | null, attr?: string | null, resolve?: boolean, template?: string | null, required?: boolean, };\n\nexport type TabImageFormat = \"png\" | \"jpeg\";\n\nexport type TabStyle = { property: string, value: string, };\n\nexport type TickStep = { trait: string, from: string, \n/**\n * The tick's name, fired as the step's event.\n */\nevent: string, waitMs: number, \n/**\n * A tick's effects may move the trait anywhere in its declared topology: any declared state is a landing.\n */\nacceptStates: Array<string>, coverageKey: string, };\n\nexport type TraceEffectsWire = { effects: Array<EffectTraceWire>, emitted: Array<EmittedEffectWire>, writes: Array<EntityWriteWire>, entity: JsonValue, };\n\nexport type TraitConfigVariants = { trait: string, baseline: JsonObject, variants: Array<ConfigVariant>, noDeclaredValues: Array<string>, };\n\nexport type TraitFrom = { trait: string, from: string, event?: string, };\n\nexport type TraitRef = { name: string, \n/**\n * `X` has rendered content in some orbital after a seeded INIT.\n */\nresolved: boolean, \n/**\n * `X` renders only once an overlay-open transition fires.\n */\noverlayOnly: boolean, };\n\nexport type TraitSnapshot = { state: string, entity: JsonValue }\n\nexport type TransientFinding = { \"kind\": \"no-entering-persist\", event: string, } | { \"kind\": \"no-denying-viewer\", entity: string, operation: string, };\n\nexport type TransientOutcome = { \"outcome\": \"not-transient\" } | { \"outcome\": \"probe\", step: TransientProbe, } | { \"outcome\": \"finding\", finding: TransientFinding, };\n\nexport type TransientProbe = { trait: string, from: string, event: string, to: string, payload: JsonValue, acceptStates: Array<string>, role: RoleWire, \n/**\n * The nominal failure arm the cascade is expected to prove.\n */\nverifiesPortalFor: TransientQuery, instanceId: string, seedRowId?: string, preamble?: Array<PreambleEvent>, coverageKey: string, };\n\nexport type TransientQuery = { trait: string, from: string, event: string, to: string, };\n\nexport type TransitionHop = { trait: string, from: string, to: string, event: string, \n/**\n * The arm that fired, by its position among the state's arms for the event (declaration order).\n */\nfiredArm?: number, \n/**\n * `true` when the fired arm's guard held; absent for an unguarded arm.\n */\nguardResult?: boolean, effects: Array<HopEffect>, \n/**\n * What a verifier judges the hop's `@ensures` on; present only when the kernel records each step's entity\n * after its effects (`set_record_entity_after`, EXEC-STEP-10).\n */\nobserved?: HopObservation, };\n\nexport type TransitionRejection = { code: TransitionRejectionCode, trait?: string, from?: string, event?: string, statesDeclaringEvent?: Array<string>, transition?: string, guard?: unknown, \n/**\n * `effect-failed`: the failure's message.\n */\nerror?: string, };\n\nexport type TransitionRejectionCode = \"no-matching-transition\" | \"guard-rejected\" | \"no-dispatchable-traits\" | \"not-an-external-input\" | \"inbound-only-event\" | \"effect-failed\";\n\nexport type UnprovenReason = \"setter-value-unresolved\" | \"setter-not-on-replay-path\" | \"multiple-preconditions-unplanned\" | \"unreachable\";\n\nexport type Variant = \"auto-init\" | \"success\";\n\nexport type VerdictReason = { \"kind\": \"reached\" } | { \"kind\": \"held-under-guard\" } | { \"kind\": \"not-driven\" } | { \"kind\": \"preamble-missed\", actual: string, } | { \"kind\": \"arm-unsolved\" } | { \"kind\": \"guard-rejected\" } | { \"kind\": \"guard-accepted\" } | { \"kind\": \"guard-unsteerable\" } | { \"kind\": \"payload-validator-not-run\" } | { \"kind\": \"arm-not-fired\", fired: number | null, } | { \"kind\": \"wrong-state\", actual: string, } | { \"kind\": \"effect-failed\" } | { \"kind\": \"mutation-landed\" } | { \"kind\": \"mutation-refused\", outcome: string, error: string | null, } | { \"kind\": \"success-not-emitted\", expected: string, emitted: Array<string>, } | { \"kind\": \"row-delta-mismatch\", expected: number, actual: number | null, } | { \"kind\": \"precondition-unproven\", reason: UnprovenReason, } | { \"kind\": \"produced-by-effect\", failed: string, };\n\nexport type VerdictWire = { status: FrameStatus, gap?: GapReason, reason: VerdictReason, };\n\nexport type Viewer = { \n/**\n * Stable subject identifier: the ownership key.\n */\nid: string, \n/**\n * A token may carry no email or name, or carry it as null (owner ruling 2026-10-24).\n */\nemail?: string | null, name?: string | null, \n/**\n * Compared against a policy's allowed roles.\n */\nrole?: string, permissions?: Array<string>, claims: Array<Claim>, };\n\nexport type ViewerRequirement = { role?: RoleWire, owner?: OwnerRequirement, };\n\nexport type WriteCapabilities = { guards: GuardCapabilities, conditional: boolean, returnsRow: boolean, stopRuns: boolean, atomicBatch: boolean, rekey?: boolean, \n/**\n * The host commits rows the kernel decided, compare-and-commit in one transaction (EXEC-STORE-5); it then\n * holds no write semantics and the kernel runs every write form itself.\n */\ncommitRows?: boolean, };\n\nconst isRecord = (v: JsonValue | undefined): v is JsonObject => typeof v === 'object' && v !== null && !Array.isArray(v);\n\nfunction checkBusEventSource(v: JsonValue | undefined): boolean {\n return (isRecord(v) && (v[\"orbital\"] === undefined || typeof v[\"orbital\"] === 'string') && (v[\"orbitalId\"] === undefined || v[\"orbitalId\"] !== undefined) && (v[\"trait\"] === undefined || typeof v[\"trait\"] === 'string') && (v[\"traitId\"] === undefined || v[\"traitId\"] !== undefined) && (v[\"eventId\"] === undefined || v[\"eventId\"] !== undefined) && (v[\"transition\"] === undefined || typeof v[\"transition\"] === 'string') && (v[\"tick\"] === undefined || typeof v[\"tick\"] === 'string') && (v[\"fromBridge\"] === undefined || typeof v[\"fromBridge\"] === 'boolean') && (v[\"dispatched\"] === undefined || typeof v[\"dispatched\"] === 'boolean') && (v[\"originClientId\"] === undefined || typeof v[\"originClientId\"] === 'string') && (v[\"pendingKey\"] === undefined || typeof v[\"pendingKey\"] === 'string') && (v[\"persistSuccess\"] === undefined || typeof v[\"persistSuccess\"] === 'boolean'));\n}\n\nfunction checkClientEffect(v: JsonValue | undefined): boolean {\n return ((Array.isArray(v) && v.length === 3 && v[0] === \"render-ui\" && typeof v[1] === 'string' && (v[2] !== undefined || 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\"));\n}\n\nfunction checkClientEffectByTrait(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"traitName\"] === 'string' && checkClientEffect(v[\"effect\"]) && (v[\"event\"] === undefined || typeof v[\"event\"] === 'string') && (v[\"fromState\"] === undefined || typeof v[\"fromState\"] === 'string') && (v[\"callsitePayload\"] === undefined || v[\"callsitePayload\"] !== undefined) && (v[\"repaint\"] === undefined || checkRepaintReason(v[\"repaint\"])));\n}\n\nfunction checkEmittedEvent(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"event\"] === 'string' && (v[\"payload\"] === undefined || v[\"payload\"] !== undefined) && (v[\"source\"] === undefined || checkBusEventSource(v[\"source\"])));\n}\n\nfunction checkEventResponse(v: JsonValue | undefined): boolean {\n 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\"] === undefined || (isRecord(v[\"data\"]) && Object.values(v[\"data\"]).every((e) => (Array.isArray(e) && e.every((e) => e !== undefined))))) && (v[\"dataRefs\"] === undefined || (isRecord(v[\"dataRefs\"]) && Object.values(v[\"dataRefs\"]).every((e) => checkRowSetRef(e)))) && (v[\"entityByTrait\"] === undefined || (isRecord(v[\"entityByTrait\"]) && Object.values(v[\"entityByTrait\"]).every((e) => e !== undefined))) && (v[\"clientEffects\"] === undefined || (Array.isArray(v[\"clientEffects\"]) && v[\"clientEffects\"].every((e) => checkClientEffect(e)))) && (v[\"clientEffectsByTrait\"] === undefined || (Array.isArray(v[\"clientEffectsByTrait\"]) && v[\"clientEffectsByTrait\"].every((e) => checkClientEffectByTrait(e)))) && (v[\"effectResults\"] === undefined || (Array.isArray(v[\"effectResults\"]) && v[\"effectResults\"].every((e) => checkServerEffectResult(e)))) && (v[\"guardFailed\"] === undefined || typeof v[\"guardFailed\"] === 'string') && (v[\"rejections\"] === undefined || (Array.isArray(v[\"rejections\"]) && v[\"rejections\"].every((e) => checkTransitionRejection(e)))) && (v[\"cascadeTruncated\"] === undefined || (Array.isArray(v[\"cascadeTruncated\"]) && v[\"cascadeTruncated\"].every((e) => typeof e === 'string'))) && (v[\"transitions\"] === undefined || (Array.isArray(v[\"transitions\"]) && v[\"transitions\"].every((e) => checkTransitionHop(e)))) && (v[\"error\"] === undefined || typeof v[\"error\"] === 'string'));\n}\n\nfunction checkHopEffect(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"type\"] === 'string' && (Array.isArray(v[\"args\"]) && v[\"args\"].every((e) => e !== undefined)) && checkHopEffectStatus(v[\"status\"]) && (v[\"error\"] === undefined || typeof v[\"error\"] === 'string'));\n}\n\nfunction checkHopEffectStatus(v: JsonValue | undefined): boolean {\n return (v === \"executed\" || v === \"failed\" || v === \"skipped\");\n}\n\nfunction checkHopObservation(v: JsonValue | undefined): boolean {\n return (isRecord(v) && v[\"payload\"] !== undefined && v[\"entityBefore\"] !== undefined && v[\"entityAfter\"] !== undefined);\n}\n\nfunction checkNavigateOptions(v: JsonValue | undefined): boolean {\n return (isRecord(v) && (v[\"crumb\"] === undefined || typeof v[\"crumb\"] === 'string'));\n}\n\nfunction checkRepaintReason(v: JsonValue | undefined): boolean {\n return v === \"rows-changed\";\n}\n\nfunction checkRowCompareOp(v: JsonValue | undefined): boolean {\n return (v === \"==\" || v === \"!=\" || v === \"<\" || v === \"<=\" || v === \">\" || v === \">=\");\n}\n\nfunction checkRowDirection(v: JsonValue | undefined): boolean {\n return (v === \"asc\" || v === \"desc\");\n}\n\nfunction checkRowNearest(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"field\"] === 'string' && (Array.isArray(v[\"vector\"]) && v[\"vector\"].every((e) => typeof e === 'number')) && typeof v[\"k\"] === 'number');\n}\n\nfunction checkRowOrder(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"field\"] === 'string' && checkRowDirection(v[\"direction\"]));\n}\n\nfunction checkRowPredicate(v: JsonValue | undefined): boolean {\n return ((isRecord(v) && v[\"kind\"] === \"compare\" && typeof v[\"field\"] === 'string' && checkRowCompareOp(v[\"op\"]) && v[\"value\"] !== undefined) || (isRecord(v) && v[\"kind\"] === \"member\" && typeof v[\"field\"] === 'string' && (Array.isArray(v[\"values\"]) && v[\"values\"].every((e) => e !== undefined))) || (isRecord(v) && v[\"kind\"] === \"hasElement\" && typeof v[\"field\"] === 'string' && v[\"value\"] !== undefined) || (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'));\n}\n\nfunction checkRowQuery(v: JsonValue | undefined): boolean {\n return (isRecord(v) && (v[\"policy\"] === undefined || checkRowPredicate(v[\"policy\"])) && (v[\"filter\"] === undefined || checkRowPredicate(v[\"filter\"])) && (v[\"order\"] === undefined || checkRowOrder(v[\"order\"])) && (v[\"offset\"] === undefined || typeof v[\"offset\"] === 'number') && (v[\"limit\"] === undefined || typeof v[\"limit\"] === 'number') && (v[\"total\"] === undefined || checkRowTotalMode(v[\"total\"])) && (v[\"nearest\"] === undefined || checkRowNearest(v[\"nearest\"])));\n}\n\nfunction checkRowSetRef(v: JsonValue | undefined): boolean {\n 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\"]));\n}\n\nfunction checkRowTotalMode(v: JsonValue | undefined): boolean {\n return (v === \"exact\" || v === \"none\");\n}\n\nfunction checkServerEffectCode(v: JsonValue | undefined): boolean {\n return (v === \"not-found\" || v === \"no-row-key\" || v === \"duplicate-id\" || v === \"denied\");\n}\n\nfunction checkServerEffectKind(v: JsonValue | undefined): boolean {\n return (v === \"set\" || v === \"persist\" || v === \"call-service\" || v === \"http\" || v === \"fetch\" || v === \"fetch-stream\" || v === \"ref\" || v === \"deref\" || v === \"swap\" || v === \"atomic\" || v === \"emit\" || v === \"substrate\");\n}\n\nfunction checkServerEffectResult(v: JsonValue | undefined): boolean {\n return (isRecord(v) && checkServerEffectKind(v[\"effect\"]) && (v[\"action\"] === undefined || typeof v[\"action\"] === 'string') && (v[\"entityType\"] === undefined || typeof v[\"entityType\"] === 'string') && (v[\"name\"] === undefined || v[\"name\"] !== undefined) && (v[\"data\"] === undefined || (v[\"data\"] !== undefined || v[\"data\"] !== undefined || v[\"data\"] !== undefined)) && typeof v[\"success\"] === 'boolean' && (v[\"denied\"] === undefined || v[\"denied\"] === true) && (v[\"error\"] === undefined || typeof v[\"error\"] === 'string') && (v[\"code\"] === undefined || checkServerEffectCode(v[\"code\"])) && (v[\"target\"] === undefined || typeof v[\"target\"] === 'string') && (v[\"routed\"] === undefined || typeof v[\"routed\"] === 'string'));\n}\n\nfunction checkTransitionHop(v: JsonValue | undefined): boolean {\n return (isRecord(v) && typeof v[\"trait\"] === 'string' && typeof v[\"from\"] === 'string' && typeof v[\"to\"] === 'string' && typeof v[\"event\"] === 'string' && (v[\"firedArm\"] === undefined || typeof v[\"firedArm\"] === 'number') && (v[\"guardResult\"] === undefined || typeof v[\"guardResult\"] === 'boolean') && (Array.isArray(v[\"effects\"]) && v[\"effects\"].every((e) => checkHopEffect(e))) && (v[\"observed\"] === undefined || checkHopObservation(v[\"observed\"])));\n}\n\nfunction checkTransitionRejection(v: JsonValue | undefined): boolean {\n return (isRecord(v) && checkTransitionRejectionCode(v[\"code\"]) && (v[\"trait\"] === undefined || typeof v[\"trait\"] === 'string') && (v[\"from\"] === undefined || typeof v[\"from\"] === 'string') && (v[\"event\"] === undefined || typeof v[\"event\"] === 'string') && (v[\"statesDeclaringEvent\"] === undefined || (Array.isArray(v[\"statesDeclaringEvent\"]) && v[\"statesDeclaringEvent\"].every((e) => typeof e === 'string'))) && (v[\"transition\"] === undefined || typeof v[\"transition\"] === 'string') && (v[\"guard\"] === undefined || v[\"guard\"] !== undefined) && (v[\"error\"] === undefined || typeof v[\"error\"] === 'string'));\n}\n\nfunction checkTransitionRejectionCode(v: JsonValue | undefined): boolean {\n return (v === \"no-matching-transition\" || v === \"guard-rejected\" || v === \"no-dispatchable-traits\" || v === \"not-an-external-input\" || v === \"inbound-only-event\" || v === \"effect-failed\");\n}\n\n/** The check of a kernel response at the host boundary: every field of `EventResponse` and of the wire types nested in it. */\nexport function isEventResponse(value: JsonValue): value is JsonValue & EventResponse {\n return checkEventResponse(value);\n}\n"]}
1
+ {"version":3,"sources":[],"names":[],"mappings":"","file":"kernel-wire.js"}
@@ -782,8 +782,8 @@
782
782
  },
783
783
  {
784
784
  "name": "Entity",
785
- "type": "String, Option<Vec<EntityField>>, Option<Persistence>, bool, bool, ExpectedAccess, Vec<SExpression>",
786
- "doc": "`expects entity Name [persistent, shared] [{ fields, @read … }]` — shape omitted = opaque reference."
785
+ "type": "String, Option<Vec<EntityField>>, Option<Persistence>, bool, bool, bool, ExpectedAccess, Vec<SExpression>",
786
+ "doc": "`expects entity Name [persistent, shared, self] [{ fields, @read … }]` — shape omitted = opaque reference."
787
787
  },
788
788
  {
789
789
  "name": "Event",
@@ -902,6 +902,11 @@
902
902
  "type": "Vec<SExpression>",
903
903
  "doc": "`@invariant <expr>` lines: propositions every stored row satisfies, proved by `orb validate`."
904
904
  },
905
+ {
906
+ "name": "indexes",
907
+ "type": "Vec<orbital_core_base::schema::EntityIndex>",
908
+ "doc": "`@index { fields, orderBy? }` lines: declared access paths, in declaration order."
909
+ },
905
910
  {
906
911
  "name": "fields",
907
912
  "type": "Vec<EntityField>",
@@ -996,6 +1001,11 @@
996
1001
  "type": "Option<SExpression>",
997
1002
  "doc": "`derived` field flag with the derivation expression."
998
1003
  },
1004
+ {
1005
+ "name": "display",
1006
+ "type": "Option<String>",
1007
+ "doc": "Trailing `@display <field>` annotation on a relation field: the target field a related record is shown by."
1008
+ },
999
1009
  {
1000
1010
  "name": "span",
1001
1011
  "type": "Span",
@@ -1675,6 +1685,11 @@
1675
1685
  "type": "Option<SExpression>",
1676
1686
  "doc": ""
1677
1687
  },
1688
+ {
1689
+ "name": "key",
1690
+ "type": "Option<SExpression>",
1691
+ "doc": "`per <expr>`: the row of the listening entity the delivery steps (EXEC-STEP-1a)."
1692
+ },
1678
1693
  {
1679
1694
  "name": "payload_mapping",
1680
1695
  "type": "Vec<(String, SExpression)>",
@@ -1964,6 +1979,11 @@
1964
1979
  "type": "bool",
1965
1980
  "doc": ""
1966
1981
  },
1982
+ {
1983
+ "name": "is_not_found",
1984
+ "type": "bool",
1985
+ "doc": "`notFound` — the page shown for a path no page matches."
1986
+ },
1967
1987
  {
1968
1988
  "name": "span",
1969
1989
  "type": "Span",