@tryterra/react-native 0.0.0-stage → 2.2.1

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

@@ -0,0 +1,1569 @@
+// 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,
+    /**
+     * Read-only on both platforms: menstruation.flow reads it and neither SDK has a write route
+     * for it.
+     */
+    @SerialName("menstruation")
+    MENSTRUATION,
+    /**
+     * HealthKit's characteristics; Health Connect has no counterpart.
+     *
+     * Available on ios only.
+     */
+    @SerialName("athlete")
+    ATHLETE,
+}
+
+@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,
+}
+
+/**
+ * On both platforms, wire names strip HKQuantityTypeIdentifierDietary from HealthKit
+ * identifiers and lowercase the first letter. Units: kcal for energyConsumed; grams for
+ * protein, carbohydrates, the four fats, sugar and fiber; milligrams for everything else,
+ * never micrograms.
+ */
+@Serializable
+public enum class Nutrient {
+    @SerialName("energyConsumed")
+    ENERGY_CONSUMED,
+    @SerialName("protein")
+    PROTEIN,
+    @SerialName("carbohydrates")
+    CARBOHYDRATES,
+    @SerialName("fatTotal")
+    FAT_TOTAL,
+    @SerialName("fatSaturated")
+    FAT_SATURATED,
+    @SerialName("fatMonounsaturated")
+    FAT_MONOUNSATURATED,
+    @SerialName("fatPolyunsaturated")
+    FAT_POLYUNSATURATED,
+    @SerialName("sugar")
+    SUGAR,
+    @SerialName("fiber")
+    FIBER,
+    @SerialName("cholesterol")
+    CHOLESTEROL,
+    @SerialName("sodium")
+    SODIUM,
+    @SerialName("potassium")
+    POTASSIUM,
+    @SerialName("calcium")
+    CALCIUM,
+    @SerialName("iron")
+    IRON,
+    @SerialName("magnesium")
+    MAGNESIUM,
+    @SerialName("zinc")
+    ZINC,
+    @SerialName("phosphorus")
+    PHOSPHORUS,
+    @SerialName("iodine")
+    IODINE,
+    @SerialName("manganese")
+    MANGANESE,
+    @SerialName("molybdenum")
+    MOLYBDENUM,
+    @SerialName("selenium")
+    SELENIUM,
+    @SerialName("copper")
+    COPPER,
+    @SerialName("chromium")
+    CHROMIUM,
+    @SerialName("chloride")
+    CHLORIDE,
+    @SerialName("caffeine")
+    CAFFEINE,
+    @SerialName("vitaminA")
+    VITAMIN_A,
+    @SerialName("vitaminC")
+    VITAMIN_C,
+    @SerialName("vitaminD")
+    VITAMIN_D,
+    @SerialName("vitaminE")
+    VITAMIN_E,
+    @SerialName("vitaminK")
+    VITAMIN_K,
+    @SerialName("vitaminB6")
+    VITAMIN_B6,
+    @SerialName("vitaminB12")
+    VITAMIN_B12,
+    @SerialName("thiamin")
+    THIAMIN,
+    @SerialName("riboflavin")
+    RIBOFLAVIN,
+    @SerialName("niacin")
+    NIACIN,
+    @SerialName("folate")
+    FOLATE,
+    @SerialName("biotin")
+    BIOTIN,
+    @SerialName("pantothenicAcid")
+    PANTOTHENIC_ACID,
+}
+
+/**
+ * Which meal a quantity was logged against. unknown is the store's explicit answer, not an
+ * absence: HealthKit has no meal type at all, so every iOS quantity is unknown.
+ */
+@Serializable
+public enum class MealType {
+    @SerialName("breakfast")
+    BREAKFAST,
+    @SerialName("lunch")
+    LUNCH,
+    @SerialName("dinner")
+    DINNER,
+    @SerialName("snack")
+    SNACK,
+    @SerialName("unknown")
+    UNKNOWN,
+}
+
+/** How heavy a logged day's flow was. */
+@Serializable
+public enum class MenstruationFlow {
+    @SerialName("unspecified")
+    UNSPECIFIED,
+    @SerialName("light")
+    LIGHT,
+    @SerialName("medium")
+    MEDIUM,
+    @SerialName("heavy")
+    HEAVY,
+    /**
+     * noFlow avoids ambiguity with Optional.none. Health Connect has no constant for it, so
+     * Android never produces it.
+     */
+    @SerialName("none")
+    NO_FLOW,
+}
+
+/** Available on ios only. */
+@Serializable
+public enum class BiologicalSex {
+    @SerialName("female")
+    FEMALE,
+    @SerialName("male")
+    MALE,
+    @SerialName("other")
+    OTHER,
+    /**
+     * The characteristic exists and holds no value, or reading it failed. The store's explicit
+     * unknown.
+     */
+    @SerialName("notSet")
+    NOT_SET,
+}
+
+/**
+ * A move-time user's daily totals are minutes rather than active energy.
+ *
+ * Available on ios only.
+ */
+@Serializable
+public enum class ActivityMoveMode {
+    @SerialName("activeEnergy")
+    ACTIVE_ENERGY,
+    @SerialName("appleMoveTime")
+    APPLE_MOVE_TIME,
+}
+
+/**
+ * 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,
+}
+
+/**
+ * distance* are metres, *EnergyBurned kilocalories, flightsClimbed a count, and
+ * appleExerciseTime minutes.
+ */
+@Serializable
+public enum class DayTotalMetric {
+    @SerialName("distanceWalkingRunning")
+    DISTANCE_WALKING_RUNNING,
+    /** Health Connect does not split distance by activity, so only Apple ever answers it. */
+    @SerialName("distanceCycling")
+    DISTANCE_CYCLING,
+    @SerialName("distanceSwimming")
+    DISTANCE_SWIMMING,
+    @SerialName("distanceWheelchair")
+    DISTANCE_WHEELCHAIR,
+    @SerialName("activeEnergyBurned")
+    ACTIVE_ENERGY_BURNED,
+    @SerialName("basalEnergyBurned")
+    BASAL_ENERGY_BURNED,
+    @SerialName("flightsClimbed")
+    FLIGHTS_CLIMBED,
+    /**
+     * The exercise ring, in minutes. Health Connect has no such figure: summing session durations
+     * is a different number.
+     *
+     * Available on ios only.
+     */
+    @SerialName("appleExerciseTime")
+    APPLE_EXERCISE_TIME,
+}
+
+/** activeEnergy and basalEnergy are kilocalories, distance metres, floorsClimbed a count. */
+@Serializable
+public enum class IntradayMetric {
+    @SerialName("activeEnergy")
+    ACTIVE_ENERGY,
+    /**
+     * Health Connect has no basal energy record; its basal metabolic rate is a body measurement
+     * and is not this.
+     *
+     * Available on ios only.
+     */
+    @SerialName("basalEnergy")
+    BASAL_ENERGY,
+    @SerialName("distance")
+    DISTANCE,
+    @SerialName("floorsClimbed")
+    FLOORS_CLIMBED,
+}
+
+/** speed is metres per second, power watts, cadence pedal revolutions per minute. */
+@Serializable
+public enum class WorkoutIntensityMetric {
+    @SerialName("speed")
+    SPEED,
+    @SerialName("power")
+    POWER,
+    @SerialName("cadence")
+    CADENCE,
+}
+
+/**
+ * The body composition figure a measurement carries. weight and leanBodyMass are kilograms,
+ * height centimetres, bodyFatPercentage a fraction in 0..1, bmi dimensionless.
+ */
+@Serializable
+public enum class BodyMetric {
+    @SerialName("weight")
+    WEIGHT,
+    @SerialName("height")
+    HEIGHT,
+    @SerialName("bodyFatPercentage")
+    BODY_FAT_PERCENTAGE,
+    @SerialName("leanBodyMass")
+    LEAN_BODY_MASS,
+    /**
+     * Health Connect has no BMI record.
+     *
+     * Available on ios only.
+     */
+    @SerialName("bmi")
+    BMI,
+}
+
+/** The unit the writing app chose. Never converted on the device. */
+@Serializable
+public enum class BloodGlucoseUnit {
+    @SerialName("mg/dL")
+    MILLIGRAMS_PER_DECILITRE,
+    @SerialName("mmol/L")
+    MILLIMOLES_PER_LITRE,
+}
+
+/** unknown is the store saying nothing about the meal, distinct from absent. */
+@Serializable
+public enum class GlucoseMealTime {
+    @SerialName("preprandial")
+    PREPRANDIAL,
+    @SerialName("postprandial")
+    POSTPRANDIAL,
+    @SerialName("unknown")
+    UNKNOWN,
+}
+
+/** interstitial is a continuous monitor. */
+@Serializable
+public enum class GlucoseSpecimen {
+    @SerialName("capillary")
+    CAPILLARY,
+    @SerialName("interstitial")
+    INTERSTITIAL,
+    @SerialName("plasma")
+    PLASMA,
+    @SerialName("serum")
+    SERUM,
+    @SerialName("tears")
+    TEARS,
+    @SerialName("wholeBlood")
+    WHOLE_BLOOD,
+    @SerialName("unknown")
+    UNKNOWN,
+}
+
+/**
+ * body and basal are absolute; wrist and skin are deltas from a baseline and routinely
+ * negative.
+ */
+@Serializable
+public enum class BodyTemperatureMetric {
+    @SerialName("body")
+    BODY,
+    @SerialName("basal")
+    BASAL,
+    /**
+     * HealthKit's sleeping wrist temperature. Health Connect has no such record.
+     *
+     * Available on ios only.
+     */
+    @SerialName("wrist")
+    WRIST,
+    @SerialName("skin")
+    SKIN,
+}
+
+/** HealthKit records SDNN only and Health Connect RMSSD only; they are never one series. */
+@Serializable
+public enum class HeartRateVariabilityMetric {
+    @SerialName("sdnn")
+    SDNN,
+    @SerialName("rmssd")
+    RMSSD,
+}
+
+@Serializable
+public enum class VO2MaxTestType {
+    @SerialName("maxExercise")
+    MAX_EXERCISE,
+    @SerialName("predictedSubMaxExercise")
+    PREDICTED_SUB_MAX_EXERCISE,
+    @SerialName("predictedNonExercise")
+    PREDICTED_NON_EXERCISE,
+}
+
+@Serializable
+public enum class MenstrualEventKind {
+    @SerialName("intermenstrualBleeding")
+    INTERMENSTRUAL_BLEEDING,
+    @SerialName("ovulationTest")
+    OVULATION_TEST,
+    @SerialName("cervicalMucus")
+    CERVICAL_MUCUS,
+}
+
+/**
+ * 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
+}
+
+/**
+ * What a BodyReading measured, with the unit fixed by the variant. Blood glucose alone keeps
+ * the writer's unit.
+ */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("type")
+public sealed interface BodyReadingKind {
+    @Serializable
+    @SerialName("measurement")
+    public data class Measurement(public val metric: BodyMetric, public val value: Double) : BodyReadingKind
+    /** Millimetres of mercury, both halves of one reading. */
+    @Serializable
+    @SerialName("bloodPressure")
+    public data class BloodPressure(public val systolic: Double, public val diastolic: Double) : BodyReadingKind
+    @Serializable
+    @SerialName("bloodGlucose")
+    public data class BloodGlucose(public val value: Double, public val unit: BloodGlucoseUnit, public val mealTime: GlucoseMealTime? = null, public val specimen: GlucoseSpecimen? = null) : BodyReadingKind
+    /** A fraction in 0..1, never a number out of a hundred. */
+    @Serializable
+    @SerialName("oxygenSaturation")
+    public data class OxygenSaturation(public val fraction: Double) : BodyReadingKind
+    @Serializable
+    @SerialName("temperature")
+    public data class Temperature(public val metric: BodyTemperatureMetric, public val celsius: Double) : BodyReadingKind
+    @Serializable
+    @SerialName("heartRateVariability")
+    public data class HeartRateVariability(public val metric: HeartRateVariabilityMetric, public val milliseconds: Double) : BodyReadingKind
+    @Serializable
+    @SerialName("respiratoryRate")
+    public data class RespiratoryRate(public val breathsPerMinute: Double) : BodyReadingKind
+    /** Millilitres of oxygen per kilogram per minute. */
+    @Serializable
+    @SerialName("vo2Max")
+    public data class Vo2Max(public val millilitresPerKilogramMinute: Double, public val testType: VO2MaxTestType? = null) : BodyReadingKind
+}
+
+/**
+ * Apple's store is part of the OS, so it is there or the device cannot have it; Health Connect
+ * is an app a person can lack.
+ */
+@Serializable
+@OptIn(ExperimentalSerializationApi::class)
+@JsonClassDiscriminator("kind")
+public sealed interface StoreAvailability {
+    @Serializable
+    @SerialName("available")
+    public data object Available : StoreAvailability
+    /**
+     * No HealthKit on this device: an iPad before iPadOS 17, or a Mac.
+     *
+     * Available on ios only.
+     */
+    @Serializable
+    @SerialName("unsupportedDevice")
+    public data object UnsupportedDevice : StoreAvailability
+    /**
+     * No Health Connect on Android 13 or below, or no Samsung Health. A Play Store link fixes the
+     * first.
+     *
+     * Available on android only.
+     */
+    @Serializable
+    @SerialName("providerAppMissing")
+    public data object ProviderAppMissing : StoreAvailability
+    /** Available on android only. */
+    @Serializable
+    @SerialName("providerAppTooOld")
+    public data class ProviderAppTooOld(public val installed: String) : StoreAvailability
+    /**
+     * The source's add-on artifact is not in the app.
+     *
+     * Available on android only.
+     */
+    @Serializable
+    @SerialName("moduleMissing")
+    public data object ModuleMissing : StoreAvailability
+    /**
+     * The store's partner policy covers none of the record types. Which ones is in the native
+     * report.
+     *
+     * Available on android only.
+     */
+    @Serializable
+    @SerialName("partnerPolicyMissing")
+    public data object PartnerPolicyMissing : StoreAvailability
+    /**
+     * The provider app lacks a feature the store needs. Which one is in the native report.
+     *
+     * Available on android only.
+     */
+    @Serializable
+    @SerialName("featureUnavailable")
+    public data object FeatureUnavailable : StoreAvailability
+}
+
+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,
+    /**
+     * ExerciseSessionRecord.title on Android; HKMetadataKeyWorkoutBrandName on Apple, which has no
+     * title field.
+     */
+    public val title: String? = null,
+)
+
+/** Quantities of one meal share foodCorrelationId. */
+@Serializable
+public data class DietaryQuantity(
+    public val id: String,
+    public val nutrient: Nutrient,
+    public val value: Double,
+    public val start: String,
+    public val end: String,
+    public val mealType: MealType,
+    public val name: String? = null,
+    /**
+     * HealthKit's food correlation, absent for a loose quantity. Always set on Android, where it
+     * is the NutritionRecord's id - the id nutrition.delete takes for a meal this app logged.
+     */
+    public val foodCorrelationId: String? = null,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** start and end are the local midnights of that day in timeZone. */
+@Serializable
+public data class MenstruationFlowDay(
+    public val id: String,
+    public val start: String,
+    public val end: String,
+    public val flow: MenstruationFlow,
+    public val cycleStart: Boolean,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** Available on ios only. */
+@Serializable
+public data class AthleteProfile(
+    public val biologicalSex: BiologicalSex? = null,
+    /** A calendar day, as HealthKit stores it, never an instant. */
+    public val dateOfBirth: String? = null,
+    public val wheelchairUse: Boolean? = null,
+    public val activityMoveMode: ActivityMoveMode? = 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>,
+)
+
+@Serializable
+public data class DietaryQuantityList(
+    public val samples: List<DietaryQuantity>,
+)
+
+@Serializable
+public data class MenstruationFlowDayList(
+    public val samples: List<MenstruationFlowDay>,
+)
+
+/** A cycle event logged at an instant. */
+@Serializable
+public data class MenstrualEvent(
+    public val id: String,
+    public val kind: MenstrualEventKind,
+    public val time: String,
+    /**
+     * ovulationTest: negative, positive, high, indeterminate or luteinizingHormoneSurge.
+     * cervicalMucus: dry, sticky, creamy, watery, eggWhite or unusual. Absent for
+     * intermenstrualBleeding, which is a flag.
+     */
+    public val value: String? = null,
+    /**
+     * The store's own record type, passed through: OvulationTestRecord on Android,
+     * HKCategoryTypeIdentifierOvulationTestResult on Apple.
+     */
+    public val storeIdentifier: String,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+@Serializable
+public data class MenstrualEventList(
+    public val samples: List<MenstrualEvent>,
+)
+
+/** Available on ios only. */
+@Serializable
+public data class AthleteProfileResult(
+    public val profile: AthleteProfile? = null,
+)
+
+/** 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>,
+)
+
+/**
+ * The store's own total for one local day, from its statistics engine. start and end are that
+ * day's midnights.
+ */
+@Serializable
+public data class DayTotal(
+    public val metric: DayTotalMetric,
+    public val start: String,
+    public val end: String,
+    public val value: Double,
+    public val unit: String,
+    public val timeZone: String? = null,
+)
+
+/**
+ * One record a day total is made of, as the store holds it. A record crossing midnight is
+ * whole.
+ */
+@Serializable
+public data class IntradaySample(
+    public val id: String,
+    public val metric: IntradayMetric,
+    public val start: String,
+    public val end: String,
+    public val value: Double,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** The store's own resting heart rate for a day, never derived from heart rate readings. */
+@Serializable
+public data class RestingHeartRateSample(
+    public val id: String,
+    public val start: String,
+    public val end: String,
+    public val beatsPerMinute: Double,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** A point reading has start equal to end; skin and wrist temperature span a stretch. */
+@Serializable
+public data class BodyReading(
+    public val id: String,
+    public val kind: BodyReadingKind,
+    public val start: String,
+    public val end: String,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+@Serializable
+public data class RoutePoint(
+    public val time: String,
+    public val latitude: Double,
+    public val longitude: Double,
+)
+
+/**
+ * The GPS track a workout left, thinned to one point a second and at most 5,000 points. start
+ * and end are the first and last point.
+ */
+@Serializable
+public data class WorkoutRoute(
+    public val id: String,
+    public val workoutId: String,
+    public val start: String,
+    public val end: String,
+    public val points: List<RoutePoint>,
+    public val source: SampleSource,
+    public val timeZone: String? = null,
+)
+
+/** One speed, power or cadence reading. Android's are instants, so start equals end there. */
+@Serializable
+public data class WorkoutIntensitySample(
+    public val id: String,
+    public val metric: WorkoutIntensityMetric,
+    /**
+     * Set on Apple, where HealthKit stores a reading inside its workout. Health Connect stores
+     * them free-standing, so Android leaves it absent rather than guessing by time.
+     */
+    public val workoutId: String? = null,
+    public val start: String,
+    public val end: String,
+    public val value: Double,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+/** One drink, in millilitres. */
+@Serializable
+public data class HydrationSample(
+    public val id: String,
+    public val start: String,
+    public val end: String,
+    public val millilitres: Double,
+    public val source: SampleSource,
+    public val userEntered: Boolean,
+    public val timeZone: String? = null,
+)
+
+@Serializable
+public data class DayTotalList(
+    public val totals: List<DayTotal>,
+)
+
+@Serializable
+public data class IntradaySampleList(
+    public val samples: List<IntradaySample>,
+)
+
+@Serializable
+public data class RestingHeartRateList(
+    public val samples: List<RestingHeartRateSample>,
+)
+
+@Serializable
+public data class BodyReadingList(
+    public val samples: List<BodyReading>,
+)
+
+@Serializable
+public data class WorkoutRouteList(
+    public val routes: List<WorkoutRoute>,
+)
+
+@Serializable
+public data class WorkoutIntensityList(
+    public val samples: List<WorkoutIntensitySample>,
+)
+
+@Serializable
+public data class HydrationList(
+    public val samples: List<HydrationSample>,
+)
+
+@Serializable
+public data class AvailabilityResult(
+    public val availability: StoreAvailability,
+)
+
+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)
+        }
+    }
+}
+