@tryterra/react-native 0.0.0-stage → 2.1.0

package/android/src/bridgeCore/kotlin/co/tryterra/sdk/bridge/generated/BridgeTypes.kt

@@ -0,0 +1,897 @@
+// Generated from surface/terra-surface.json by surface/gen. Do not edit by hand.
+// Regenerate with: node surface/gen/src/cli.ts generate
+
+package co.tryterra.sdk.bridge.generated
+
+import kotlinx.serialization.ExperimentalSerializationApi
+import kotlinx.serialization.SerializationException
+import kotlinx.serialization.KSerializer
+import kotlinx.serialization.SerialName
+import kotlinx.serialization.Serializable
+import kotlinx.serialization.builtins.ListSerializer
+import kotlinx.serialization.descriptors.SerialDescriptor
+import kotlinx.serialization.encoding.Decoder
+import kotlinx.serialization.encoding.Encoder
+import kotlinx.serialization.json.JsonClassDiscriminator
+import kotlinx.serialization.json.JsonObject
+import kotlinx.serialization.json.JsonPrimitive
+import kotlinx.serialization.json.booleanOrNull
+import kotlinx.serialization.json.doubleOrNull
+import kotlinx.serialization.json.longOrNull
+import java.time.Instant
+import java.time.ZoneOffset
+import java.time.format.DateTimeFormatter
+
+/**
+ * The one spelling of an instant on the wire: UTC, and always exactly three fractional digits.
+ *
+ * `Instant.toString()` is not it: it omits the fractional part when it is zero and prints nine
+ * digits when it is not, so the same moment would produce different bytes here and in Swift.
+ * The DTOs carry instants as String, so this is the only place the format is decided, and the
+ * hand-written ops implementation must go through it rather than formatting its own.
+ */
+public object BridgeInstant {
+    private val formatter: DateTimeFormatter =
+        DateTimeFormatter.ofPattern("yyyy-MM-dd'T'HH:mm:ss.SSS'Z'").withZone(ZoneOffset.UTC)
+
+    public fun format(instant: Instant): String = formatter.format(instant)
+
+    /** Tolerant on the way in: a peer that omitted the fractional part is still understood. */
+    public fun parse(text: String): Instant = Instant.parse(text)
+}
+
+/** A health store the SDK can link. One connection per source per device. */
+@Serializable
+public enum class Source {
+    @SerialName("health")
+    HEALTH,
+    /**
+     * Samsung Health, through the terra-android-samsung add-on. Connect, disconnect, permissions
+     * and diagnostics take it; reads, writes and change streams are Health Connect's.
+     *
+     * Available on android only.
+     */
+    @SerialName("samsungHealth")
+    SAMSUNG_HEALTH,
+}
+
+/** The unit permissions are asked for and changes are reported against. */
+@Serializable
+public enum class DataCategory {
+    @SerialName("activity")
+    ACTIVITY,
+    @SerialName("body")
+    BODY,
+    @SerialName("daily")
+    DAILY,
+    @SerialName("sleep")
+    SLEEP,
+    @SerialName("nutrition")
+    NUTRITION,
+}
+
+@Serializable
+public enum class PermissionStatus {
+    @SerialName("granted")
+    GRANTED,
+    @SerialName("denied")
+    DENIED,
+    @SerialName("notDetermined")
+    NOT_DETERMINED,
+    /**
+     * A read grant HealthKit will not report. Not an error: it is the documented answer for reads
+     * on iOS.
+     */
+    @SerialName("notDisclosed")
+    NOT_DISCLOSED,
+    @SerialName("unsupported")
+    UNSUPPORTED,
+    /**
+     * Android answers unsupported where Apple would answer unavailable.
+     *
+     * Available on ios only.
+     */
+    @SerialName("unavailable")
+    UNAVAILABLE,
+}
+
+@Serializable
+public enum class MotionContext {
+    @SerialName("unknown")
+    UNKNOWN,
+    @SerialName("sedentary")
+    SEDENTARY,
+    @SerialName("active")
+    ACTIVE,
+}
+
+/**
+ * Why background delivery is restricted. Android discloses which; Apple reports the state
+ * without a reason.
+ *
+ * Available on android only.
+ */
+@Serializable
+public enum class BackgroundRestrictionReason {
+    @SerialName("oemRestricted")
+    OEM_RESTRICTED,
+    @SerialName("backgroundReadDenied")
+    BACKGROUND_READ_DENIED,
+    @SerialName("healthConnectFeatureUnavailable")
+    HEALTH_CONNECT_FEATURE_UNAVAILABLE,
+    @SerialName("storeFeatureUnavailable")
+    STORE_FEATURE_UNAVAILABLE,
+    @SerialName("ticksNotRunning")
+    TICKS_NOT_RUNNING,
+}
+
+@Serializable
+public enum class DiagnosticsReason {
+    @SerialName("uploadFailed")
+    UPLOAD_FAILED,
+    @SerialName("backfillAbandoned")
+    BACKFILL_ABANDONED,
+    @SerialName("backgroundObservationUnavailable")
+    BACKGROUND_OBSERVATION_UNAVAILABLE,
+    @SerialName("backgroundRestricted")
+    BACKGROUND_RESTRICTED,
+    @SerialName("backgroundRefreshUnscheduled")
+    BACKGROUND_REFRESH_UNSCHEDULED,
+    @SerialName("quiet")
+    QUIET,
+    @SerialName("requested")
+    REQUESTED,
+}
+
+@Serializable
+public enum class DeviceKeyRevokeOutcome {
+    @SerialName("revoked")
+    REVOKED,
+    @SerialName("alreadyRevoked")
+    ALREADY_REVOKED,
+    @SerialName("routeAbsent")
+    ROUTE_ABSENT,
+}
+
+/**
+ * The redacted error name an event carries. Deliberately not TerraErrorCode: an event names
+ * the failure without the detail bag, because a support report leaves the device.
+ */
+@Serializable
+public enum class FailureCode {
+    @SerialName("healthDataUnavailable")
+    HEALTH_DATA_UNAVAILABLE,
+    @SerialName("notConnected")
+    NOT_CONNECTED,
+    @SerialName("tokenUnavailable")
+    TOKEN_UNAVAILABLE,
+    @SerialName("tokenRejected")
+    TOKEN_REJECTED,
+    @SerialName("tokenProviderFailed")
+    TOKEN_PROVIDER_FAILED,
+    @SerialName("offline")
+    OFFLINE,
+    @SerialName("timedOut")
+    TIMED_OUT,
+    @SerialName("serverError")
+    SERVER_ERROR,
+    @SerialName("transport")
+    TRANSPORT,
+    @SerialName("malformedResponse")
+    MALFORMED_RESPONSE,
+    @SerialName("userLimitReached")
+    USER_LIMIT_REACHED,
+    @SerialName("upgradeRequired")
+    UPGRADE_REQUIRED,
+    @SerialName("platform")
+    PLATFORM,
+    @SerialName("deviceKeyUnavailable")
+    DEVICE_KEY_UNAVAILABLE,
+    @SerialName("signatureRejected")
+    SIGNATURE_REJECTED,
+    @SerialName("linkRevoked")
+    LINK_REVOKED,
+    @SerialName("linkConflict")
+    LINK_CONFLICT,
+    @SerialName("clockSkewed")
+    CLOCK_SKEWED,
+    @SerialName("devIDMismatch")
+    DEV_IDMISMATCH,
+    @SerialName("syncAlreadyRunning")
+    SYNC_ALREADY_RUNNING,
+    @SerialName("linkAlreadyRunning")
+    LINK_ALREADY_RUNNING,
+    @SerialName("storeLocked")
+    STORE_LOCKED,
+    @SerialName("storeUnreadable")
+    STORE_UNREADABLE,
+    @SerialName("deadlineExceeded")
+    DEADLINE_EXCEEDED,
+    @SerialName("permissionDenied")
+    PERMISSION_DENIED,
+    @SerialName("authorizationNotDetermined")
+    AUTHORIZATION_NOT_DETERMINED,
+    @SerialName("sampleNotFound")
+    SAMPLE_NOT_FOUND,
+    @SerialName("rollbackIncomplete")
+    ROLLBACK_INCOMPLETE,
+    @SerialName("distanceNotAttributable")
+    DISTANCE_NOT_ATTRIBUTABLE,
+    @SerialName("bloodPressureIncomplete")
+    BLOOD_PRESSURE_INCOMPLETE,
+    @SerialName("authorizationUnavailableInExtension")
+    AUTHORIZATION_UNAVAILABLE_IN_EXTENSION,
+    @SerialName("routeAwaitingConverter")
+    ROUTE_AWAITING_CONVERTER,
+    /** Available on android only. */
+    @SerialName("readQuotaExceeded")
+    READ_QUOTA_EXCEEDED,
+    /**
+     * Apple's FailureCode carries it; Android's does not, because there is no Android
+     * planned-workout model.
+     *
+     * Available on ios only.
+     */
+    @SerialName("plannedWorkoutUnnamed")
+    PLANNED_WORKOUT_UNNAMED,
+}
+
+/**
+ * Whether Terra's plans can be put on the person's Apple Watch. unsupported before iOS 17 or
+ * where WorkoutKit cannot schedule.
+ *
+ * Available on ios only.
+ */
+@Serializable
+public enum class WorkoutSchedulingStatus {
+    @SerialName("unsupported")
+    UNSUPPORTED,
+    @SerialName("notDetermined")
+    NOT_DETERMINED,
+    @SerialName("denied")
+    DENIED,
+    @SerialName("authorized")
+    AUTHORIZED,
+}
+
+/**
+ * The person a connect is for. A stored link is restored only for the person it was made for;
+ * anybody else gets a fresh link. Never sent to Terra as identity.
+ */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface EndUser {
+    /** The app's id for this person: the same value its backend puts in the token. */
+    @Serializable
+    @SerialName("reference")
+    public data class Reference(public val id: String) : EndUser
+    /** No reference: one link per install. */
+    @Serializable
+    @SerialName("anonymous")
+    public data object Anonymous : EndUser
+}
+
+/** A half-open window [start, end). Resolved against the device's calendar natively. */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface TimeRange {
+    @Serializable
+    @SerialName("lastHours")
+    public data class LastHours(public val hours: Int) : TimeRange
+    @Serializable
+    @SerialName("lastDays")
+    public data class LastDays(public val days: Int) : TimeRange
+    @Serializable
+    @SerialName("today")
+    public data object Today : TimeRange
+    @Serializable
+    @SerialName("between")
+    public data class Between(public val start: String, public val end: String) : TimeRange
+}
+
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface SleepStage {
+    @Serializable
+    @SerialName("inBed")
+    public data object InBed : SleepStage
+    @Serializable
+    @SerialName("awake")
+    public data object Awake : SleepStage
+    @Serializable
+    @SerialName("asleep")
+    public data object Asleep : SleepStage
+    @Serializable
+    @SerialName("light")
+    public data object Light : SleepStage
+    @Serializable
+    @SerialName("deep")
+    public data object Deep : SleepStage
+    @Serializable
+    @SerialName("rem")
+    public data object Rem : SleepStage
+    /**
+     * A stage the store reported that neither SDK maps. The raw value is carried so an app can log
+     * it.
+     */
+    @Serializable
+    @SerialName("unknown")
+    public data class Unknown(public val raw: String) : SleepStage
+}
+
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface WorkoutActivity {
+    @Serializable
+    @SerialName("running")
+    public data object Running : WorkoutActivity
+    @Serializable
+    @SerialName("walking")
+    public data object Walking : WorkoutActivity
+    @Serializable
+    @SerialName("cycling")
+    public data object Cycling : WorkoutActivity
+    @Serializable
+    @SerialName("swimming")
+    public data object Swimming : WorkoutActivity
+    @Serializable
+    @SerialName("strengthTraining")
+    public data object StrengthTraining : WorkoutActivity
+    @Serializable
+    @SerialName("other")
+    public data class Other(public val label: String) : WorkoutActivity
+}
+
+/**
+ * What the SDK believes about delivery right now. Wire spelling matches DiagnosticsWire.state
+ * and Apple's DiagnosticsState Encodable.
+ */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("state")
+public sealed interface DiagnosticsState {
+    @Serializable
+    @SerialName("healthy")
+    public data object Healthy : DiagnosticsState
+    @Serializable
+    @SerialName("quiet")
+    public data class Quiet(public val since: String) : DiagnosticsState
+    @Serializable
+    @SerialName("backgroundRestricted")
+    public data class BackgroundRestricted(public val reason: BackgroundRestrictionReason? = null) : DiagnosticsState
+    @Serializable
+    @SerialName("backgroundRefreshUnscheduled")
+    public data object BackgroundRefreshUnscheduled : DiagnosticsState
+    @Serializable
+    @SerialName("pendingRetry")
+    public data object PendingRetry : DiagnosticsState
+    @Serializable
+    @SerialName("linkRevoked")
+    public data object LinkRevoked : DiagnosticsState
+    /**
+     * Apple reports the mismatch as a state. Android raises dev_id_mismatch and has no state for
+     * it.
+     *
+     * Available on ios only.
+     */
+    @Serializable
+    @SerialName("devIDMismatch")
+    public data object DevIDMismatch : DiagnosticsState
+}
+
+/**
+ * What a subscription delivers. A stream can fail or finish, and without saying so the
+ * framework layer has to invent a convention for both - two of those, one per wrapper, is a
+ * contract nobody wrote down.
+ */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface StreamMessage {
+    @Serializable
+    @SerialName("data")
+    public data class Data(public val element: JsonObject) : StreamMessage
+    /** The stream failed. The subscription is over; the id will deliver nothing more. */
+    @Serializable
+    @SerialName("error")
+    public data class Error(public val error: TerraErrorPayload) : StreamMessage
+    /** The stream ended on its own. The host should drop the subscription rather than unsubscribe. */
+    @Serializable
+    @SerialName("complete")
+    public data object Complete : StreamMessage
+}
+
+public object DataCategorySetSerializer : KSerializer<List<DataCategory>> {
+    private val list = ListSerializer(DataCategory.serializer())
+    override val descriptor: SerialDescriptor = list.descriptor
+
+    override fun serialize(encoder: Encoder, value: List<DataCategory>): Unit = list.serialize(encoder, canonical(value))
+
+    override fun deserialize(decoder: Decoder): List<DataCategory> = canonical(list.deserialize(decoder))
+
+    private fun canonical(value: List<DataCategory>): List<DataCategory> =
+        value.distinct().sortedBy { DataCategory.serializer().descriptor.getElementName(it.ordinal) }
+}
+
+/** Who recorded a sample. The only stable handle an app has for filtering by app or device. */
+@Serializable
+public data class SampleSource(
+    public val name: String,
+    public val bundleId: String,
+    public val productType: String? = null,
+    public val deviceType: String? = null,
+)
+
+/**
+ * A link record. A value, not a handle: Apple's Connection carries sync and disconnect
+ * methods, and an object with behaviour cannot cross the bridge, so those are ops on the
+ * client.
+ */
+@Serializable
+public data class Connection(
+    public val source: Source,
+    public val userId: String,
+    /**
+     * Android's StoredConnection carries the store-side id. Apple's Connection does not.
+     *
+     * Available on android only.
+     */
+    public val providerUserId: String? = null,
+)
+
+@Serializable
+public data class HeartRateSample(
+    public val id: String,
+    public val time: String,
+    public val beatsPerMinute: Double,
+    public val source: SampleSource,
+    public val motionContext: MotionContext? = null,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/**
+ * A step total over an interval. Apple derives the id from the source and start; Android
+ * carries a RecordId when it has one, so the id is optional on the wire.
+ */
+@Serializable
+public data class StepCount(
+    public val id: String? = null,
+    public val start: String,
+    public val end: String,
+    public val steps: Int,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+@Serializable
+public data class SleepSegment(
+    public val id: String,
+    public val start: String,
+    public val end: String,
+    public val stage: SleepStage,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/**
+ * indoor is optional because Health Connect does not always record it; Apple always has an
+ * answer.
+ */
+@Serializable
+public data class Workout(
+    public val id: String,
+    public val start: String,
+    public val end: String,
+    public val activity: WorkoutActivity,
+    public val activityTypeCode: Int,
+    public val indoor: Boolean? = null,
+    public val activeEnergyKilocalories: Double? = null,
+    public val distanceMeters: Double? = null,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** A day whose data changed. Carries no health value by construction. */
+@Serializable
+public data class HealthChange(
+    public val category: DataCategory,
+    public val day: String,
+)
+
+@Serializable
+public data class WorkoutScope(
+    public val activity: WorkoutActivity,
+    public val energy: Boolean,
+    public val distance: Boolean,
+)
+
+/**
+ * Lists rather than sets: JSON has no set, so the category lists are marked `set` and every
+ * generated codec de-duplicates and sorts them, so two orderings compare equal.
+ */
+@Serializable
+public data class HealthAccess(
+    @Serializable(with = DataCategorySetSerializer::class) public val read: List<DataCategory>,
+    @Serializable(with = DataCategorySetSerializer::class) public val write: List<DataCategory>,
+    public val workouts: List<WorkoutScope>,
+)
+
+@Serializable
+public data class HeartRateEntry(
+    public val time: String,
+    public val beatsPerMinute: Double,
+    public val recordId: String? = null,
+)
+
+@Serializable
+public data class StepEntry(
+    public val start: String,
+    public val end: String,
+    public val steps: Int,
+    public val recordId: String? = null,
+)
+
+@Serializable
+public data class SleepEntry(
+    public val start: String,
+    public val end: String,
+    public val stage: SleepStage,
+    public val recordId: String? = null,
+)
+
+@Serializable
+public data class WorkoutEntry(
+    public val start: String,
+    public val end: String,
+    public val activity: WorkoutActivity,
+    public val totalEnergyKilocalories: Double? = null,
+    public val totalDistanceMeters: Double? = null,
+    public val recordId: String? = null,
+)
+
+@Serializable
+public data class BodyEntry(
+    public val time: String,
+    public val bodyMassKilograms: Double? = null,
+    public val bodyFatPercent: Double? = null,
+    public val bodyMassIndex: Double? = null,
+    public val heightMeters: Double? = null,
+    public val leanBodyMassKilograms: Double? = null,
+    public val bodyTemperatureCelsius: Double? = null,
+    public val oxygenSaturationPercent: Double? = null,
+    public val bloodGlucoseMilligramsPerDeciliter: Double? = null,
+    public val bloodPressureSystolicMillimetersOfMercury: Double? = null,
+    public val bloodPressureDiastolicMillimetersOfMercury: Double? = null,
+    public val recordId: String? = null,
+)
+
+/**
+ * Every field optional and every unit in the name, matching NutritionEntry.Nutrients on both
+ * platforms field for field.
+ */
+@Serializable
+public data class Nutrients(
+    public val energyKilocalories: Double? = null,
+    public val proteinGrams: Double? = null,
+    public val carbohydratesGrams: Double? = null,
+    public val fiberGrams: Double? = null,
+    public val sugarGrams: Double? = null,
+    public val fatTotalGrams: Double? = null,
+    public val fatSaturatedGrams: Double? = null,
+    public val fatMonounsaturatedGrams: Double? = null,
+    public val fatPolyunsaturatedGrams: Double? = null,
+    public val cholesterolMilligrams: Double? = null,
+    public val sodiumMilligrams: Double? = null,
+    public val potassiumMilligrams: Double? = null,
+    public val calciumMilligrams: Double? = null,
+    public val ironMilligrams: Double? = null,
+    public val magnesiumMilligrams: Double? = null,
+    public val zincMilligrams: Double? = null,
+    public val waterLiters: Double? = null,
+    public val caffeineMilligrams: Double? = null,
+    public val vitaminAMicrograms: Double? = null,
+    public val vitaminCMilligrams: Double? = null,
+    public val vitaminDMicrograms: Double? = null,
+    public val vitaminEMilligrams: Double? = null,
+    public val vitaminKMicrograms: Double? = null,
+    public val vitaminB6Milligrams: Double? = null,
+    public val vitaminB12Micrograms: Double? = null,
+    public val folateMicrograms: Double? = null,
+    public val thiaminMilligrams: Double? = null,
+    public val riboflavinMilligrams: Double? = null,
+    public val niacinMilligrams: Double? = null,
+    public val biotinMicrograms: Double? = null,
+    public val pantothenicAcidMilligrams: Double? = null,
+    public val phosphorusMilligrams: Double? = null,
+    public val iodineMicrograms: Double? = null,
+    public val chromiumMicrograms: Double? = null,
+    public val copperMilligrams: Double? = null,
+    public val manganeseMilligrams: Double? = null,
+    public val molybdenumMicrograms: Double? = null,
+    public val seleniumMicrograms: Double? = null,
+    public val chlorideMilligrams: Double? = null,
+)
+
+@Serializable
+public data class NutritionEntry(
+    public val start: String,
+    public val end: String,
+    public val name: String? = null,
+    public val nutrients: Nutrients,
+    public val recordId: String? = null,
+)
+
+/**
+ * An error carried as a value rather than thrown, inside a sync result. The same shape the
+ * bridge rejects a promise with.
+ */
+@Serializable
+public data class TerraErrorPayload(
+    public val code: String,
+    public val retryable: Boolean,
+    public val message: String,
+    public val source: Source? = null,
+    public val details: JsonObject? = null,
+)
+
+/** Available on ios only. */
+@Serializable
+public data class PlannedWorkout(
+    public val id: String? = null,
+    public val plannedOn: String? = null,
+    public val activity: WorkoutActivity? = null,
+    public val title: String? = null,
+    public val completedAt: String? = null,
+)
+
+/**
+ * The flat object both SDKs already emit: `at`, `event`, and whatever keys that kind carries.
+ * Carried through unchanged rather than reshaped, because reshaping it would be a hand-written
+ * second contract on each platform that no vector could pin - and the encoding it would be
+ * translating is one DiagnosticsWire and Apple's Encodable already agree on, and that
+ * EventPrivacyTest already guards against carrying a health value.
+ */
+public typealias TerraEvent = JsonObject
+
+/**
+ * The redacted report, carried as the wire object DiagnosticsWire.report and Apple's
+ * SupportReport.json already produce.
+ */
+@Serializable
+public data class SupportReport(
+    public val sdkVersion: String,
+    public val generatedAt: String,
+    public val state: DiagnosticsState,
+    public val lastDelivery: String? = null,
+    public val isConnected: Boolean,
+    public val requestedCategories: List<String>,
+    public val requestedWrites: List<String>,
+    public val requestedWorkouts: List<String>,
+    public val recentEvents: List<TerraEvent>,
+)
+
+/**
+ * What the JS side needs to know about the native client it is attaching to. bootstrapped
+ * false is a host setup bug, and the wrapper says so with the exact line to add.
+ */
+@Serializable
+public data class BootstrapState(
+    public val bootstrapped: Boolean,
+    public val devId: String? = null,
+    public val platform: String,
+    public val sdkVersion: String,
+    public val backgroundRegistered: Boolean,
+)
+
+/**
+ * The broker asking JS for a link token. Answered by token.resolve or token.reject with the
+ * same requestId.
+ */
+@Serializable
+public data class TokenRequest(
+    public val requestId: String,
+)
+
+/** No request fields, or no response value. */
+@Serializable
+public class Empty
+
+@Serializable
+public data class SourceRequest(
+    public val source: Source? = null,
+)
+
+@Serializable
+public data class RangeRequest(
+    public val range: TimeRange,
+)
+
+@Serializable
+public data class CategoryRequest(
+    public val category: DataCategory,
+    public val source: Source? = null,
+)
+
+@Serializable
+public data class RecordIdRequest(
+    public val id: String,
+)
+
+@Serializable
+public data class ConnectRequest(
+    public val source: Source? = null,
+    public val endUser: EndUser,
+    /**
+     * A grant already in hand, from a QR code or a deep link. Absent means the token provider is
+     * asked.
+     */
+    public val token: String? = null,
+)
+
+@Serializable
+public data class PermissionRequest(
+    @Serializable(with = DataCategorySetSerializer::class) public val read: List<DataCategory>,
+    @Serializable(with = DataCategorySetSerializer::class) public val write: List<DataCategory>,
+    public val workouts: List<WorkoutScope>,
+    public val source: Source? = null,
+)
+
+/**
+ * What the sheet granted. Android answers with the access this call obtained; HealthKit will
+ * not report read grants, so Apple answers nothing at all.
+ */
+@Serializable
+public data class PermissionGrant(
+    /** Available on android only. */
+    public val granted: HealthAccess? = null,
+)
+
+@Serializable
+public data class TokenResolveRequest(
+    public val requestId: String,
+    public val token: String,
+)
+
+@Serializable
+public data class TokenRejectRequest(
+    public val requestId: String,
+    public val message: String,
+)
+
+@Serializable
+public data class TokenProviderRequest(
+    public val present: Boolean,
+    public val timeoutMs: Int,
+)
+
+/** Available on ios only. */
+@Serializable
+public data class MarkCompleteRequest(
+    public val id: String? = null,
+    public val at: String? = null,
+)
+
+@Serializable
+public data class BoolResult(
+    public val value: Boolean,
+)
+
+@Serializable
+public data class StatusResult(
+    public val status: PermissionStatus,
+)
+
+/** Available on android only. */
+@Serializable
+public data class StatusesResult(
+    public val statuses: Map<DataCategory, PermissionStatus>,
+)
+
+@Serializable
+public data class RecordIdList(
+    public val ids: List<String>,
+)
+
+@Serializable
+public data class ConnectionList(
+    public val connections: List<Connection>,
+)
+
+@Serializable
+public data class HeartRateList(
+    public val samples: List<HeartRateSample>,
+)
+
+@Serializable
+public data class StepCountList(
+    public val samples: List<StepCount>,
+)
+
+@Serializable
+public data class SleepSegmentList(
+    public val samples: List<SleepSegment>,
+)
+
+@Serializable
+public data class WorkoutList(
+    public val samples: List<Workout>,
+)
+
+/** Available on ios only. */
+@Serializable
+public data class PlannedWorkoutList(
+    public val workouts: List<PlannedWorkout>? = null,
+)
+
+/**
+ * Once authorized, every sync run keeps the Watch schedule in step with Terra.
+ *
+ * Available on ios only.
+ */
+@Serializable
+public data class WorkoutScheduling(
+    public val status: WorkoutSchedulingStatus? = null,
+)
+
+@Serializable
+public data class LastDeliveryResult(
+    public val at: String? = null,
+)
+
+@Serializable
+public data class HeartRateEntryList(
+    public val entries: List<HeartRateEntry>,
+)
+
+@Serializable
+public data class BodyEntryList(
+    public val entries: List<BodyEntry>,
+)
+
+@Serializable
+public data class StepEntryList(
+    public val entries: List<StepEntry>,
+)
+
+@Serializable
+public data class SleepEntryList(
+    public val entries: List<SleepEntry>,
+)
+
+@Serializable
+public data class WorkoutEntryList(
+    public val entries: List<WorkoutEntry>,
+)
+
+@Serializable
+public data class NutritionEntryList(
+    public val entries: List<NutritionEntry>,
+)
+
+public object TerraEventEnvelope {
+    public fun validate(value: TerraEvent) {
+        if ((value["at"] as? JsonPrimitive)?.isString != true) {
+            throw SerializationException("TerraEvent.at is not a string")
+        }
+        if ((value["event"] as? JsonPrimitive)?.isString != true) {
+            throw SerializationException("TerraEvent.event is not a string")
+        }
+    }
+}
+
+public object SupportReportEnvelope {
+    public fun validate(value: SupportReport) {
+        for (level0 in value.recentEvents) {
+            TerraEventEnvelope.validate(level0)
+        }
+    }
+}
+