/**
 * A read-only partial record that cannot be empty: the union, over every
 * key of `T`, of "this key required, the rest optional". `{}` is
 * unrepresentable whether or not `T` declares the key optional (the
 * required arm strips `?`, so the carried key is present with its value),
 * a key `T` does not carry fails typecheck on a literal, and each present
 * key keeps its own value type — `T[K]` may differ per key, which is what a
 * plain `Partial<T>` with a non-emptiness check cannot express. The shape a
 * cure map is declared on: the posture registries' `PolicyCure`, and a
 * consumer mirroring the cure map declares its own on this helper rather
 * than re-spelling the union.
 */
export type NonEmptyPartial<T> = {
    [Key in keyof T]-?: {
        readonly [K in Key]-?: T[K];
    } & {
        readonly [K in Exclude<keyof T, Key>]?: T[K];
    };
}[keyof T];