Points in the boundary of a compact set $K\subset\mathbb{R}^2$ reachable by a path in $K^c$

It looks like your path boundary is more commonly known as the set of accessible points. As long as the boundary is a Jordan curve, it is accessible (from either the inside or outside). This follows from the Jordan-Schoenflies theorem, as explained here or here.

For the converse, here is Theorem 1 of the first paper I referenced (it is attributed to Schoenflies): If F is a compact set in $\mathbb{R}^2$ with precisely two regions such that every point of F is accessible from each of those regions, then F is a simple closed curve.


This is more of a long comment than a full answer.

Local connectedness of $\partial K$ is a sufficient condition for the topological boundary of $K$ to coincide with the path boundary of $K$.

Proposition: Suppose $K \subset \Bbb R^2$ is compact and connected. If $\partial K$ is locally connected, then every point on $\partial K$ is on the path boundary of $K$. In particular, the two concepts coincide.

Proof: Assume that $K^c$ is connected (this will result in no loss of generality). Let $\hat{\Bbb C}=\Bbb C \cup \{ \infty\}$ denote the Riemann sphere, and $\Bbb U:=\{z: |z|<1\}$ the unit disk. Define $U:=\hat{\Bbb C} \backslash K$, which is a simply connected subset of $\hat{\Bbb C}$. By Theorem 2.1 of this book, there exists a conformal map $f$ from $\Bbb U \to U$ which extends continuously to a (surjective) map from $\partial \Bbb U \to \partial U=\partial K$. Now take any point $w \in \partial K$. Let $z\in f^{-1}(\{w\})$. Consider the path $\gamma$ defined by $\gamma(t):=f(zt)$. Then $\gamma[0,1) \subset f(\Bbb U) = U$ and $\gamma(1)=f(z)=w$. We can assume without loss of generality that $\gamma[0,1)\not\ni \infty$, and hence $w$ is in the path boundary of $K$. $\Box$

Remark 1: The converse of this proposition is not true, i.e, local connectedness is not a necessary condition for the topological boundary of $K$ to coincide with the path boundary of $K$. For example, if we define $K$ to be the closure of the set of all points $(x,y)$ for which $0 \leq x \leq 1$ and $-2 \leq y \leq \sin(1/x)$, then the boundary and path boundary coincide even though $\partial K$ is not locally connected. However, you'll notice that the points on $\partial K$ of the form $(0,y)$ with $0 \leq y \leq 1$ are only accessible from the "left" and not from the "right." Hence local connectedness still plays a role in terms of accessibility of the points.

Remark 2: The reason why the assumption that $K^c$ was connected resulted in no loss of generality was because all of the connected components of $K^c$ play a symmetric role (as subsets of $\hat{\Bbb C}$), hence it suffices to assume that an arbitrary one contains $\infty$, which is precisely what we did.