Function persistProbeHealthResult

packages/core/sdk/src/executor.ts:5135–5146

(
      ref: ConnectionRef,
      result: HealthCheckResult,
    )

     *  landing even between the read and the UPDATE wins and the probe
     *  verdict is a silent no-op. Best-effort, like every verdict write. */
    const persistProbeHealthResult = (
      ref: ConnectionRef,
      result: HealthCheckResult,
    ): Effect.Effect<void> =>
      findConnectionRow(ref).pipe(
        Effect.flatMap((fresh) =>
          fresh === null || oauthReauthRequiredFromProviderState(fresh.provider_state) !== null
            ? Effect.void
            : persistHealthResult(ref, fresh, result),
        ),
        Effect.ignore,
      );

    const connectionCheckHealth = (
      ref: ConnectionRef,