Type Alias SafeView<T>

SafeView: T extends (...args: infer A) => infer R
    ? (...args: A) => SafeReturn<R> & {
        readonly [K in keyof T]: SafeView<T[K]>
    }
    : T extends AsyncIterable<unknown>
        ? T
        : T extends object ? { readonly [K in keyof T]: SafeView<T[K]> } : T

A scope tree whose single-answer operations resolve with OperationResult and never reject. Paginated operations keep their AsyncIterable, which rejects as the plain view's does.