The continuum hypothesis for packing shapes without overlapping Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many disjoint copies of $H$ into the plane $\mathbb{R}^2$ without overlapping, whereas for $C$ we may never pack uncountably many copies without overlapping. By "copy," here, I mean "copy up to rotation and translation," or more generally "image under an element of the affine special orthogonal group." The specific choice of transformation group to use isn't important, so long as it is reasonable.
For $S\subseteq\mathbb{R}^n$, let $\mathfrak{p}(S)$ be the supremum of the cardinalities of disjoint packings of copies of $S$ inside $\mathbb{R}^n$. In case the continuum hypothesis holds, either $\mathfrak{p}(S)$ is countable or $\mathfrak{p}(S)=2^{\aleph_0}$; however, in general this need not be true. For example, let $G\subseteq (\mathbb{R}, +)$ be a subgroup of index $\aleph_1$ and let $H$ be a coset of $G$; then the copies of $H$ are precisely the cosets of $G$, so $\mathfrak{p}(H)=\aleph_1$.
My question is: suppose $\neg CH$. Under what assumptions - both on the shape $S$ and the ambient axioms of set theory - can we conclude that $\mathfrak{p}(S)$ is either countable or continuum? For example:

Does ZFC prove that, for $S\subseteq\mathbb{R}^n$ compact, $\mathfrak{p}(S)$ is either countable or continuum?

I suspect the answer is "yes," but I don't see how to prove it.
 A: Since you ask specifically about compact $S$, it is natural also to consider only very nice packings. So let us consider only Borel packings, and in this simplified case, the answer is yes. 
Specifically, we may view a packing as an equivalence relation on the plane, where $x\sim y$ just in case $x$ and $y$ are on the same copy of $S$ (or both are not on any copy of $S$). If this relation is a Borel equivalence relation, then it follows by the Silver dichotomy either that there are only countably many or continuum many  equivalence classes. 
A: Suppose $K \subseteq \mathbb{R}^n$ is compact. Let $G$ be the group of isometries of $\mathbb{R^n}$. The compact-open topology on $G$ is defined by declaring the sets $W_{A. U} = \{f \in G : f[A] \subseteq U\}$ open, for each compact $A \subseteq \mathbb{R}^n$ and open $U \subseteq \mathbb{R}^n$. This is the smallest topology that makes the evaluation function $(g, x) \mapsto g(x)$ continuous. It can be shown that this makes $G$ a locally compact, Polish group. Let $d$ be a witnessing metric (Kechris' Descriptive set theory book gives a formula for this metric on page 60).
Let $S = \{f \in G : f[K] \cap K = \phi\}$. Then $S = W_{K, \mathbb{R}^n \backslash K}$ is open in $G$. 
Claim: If $id \notin \text{cl}(S)$, then every family of pairwise disjoint copies of $K$ is countable. 
Proof: Suppose $X \subseteq G$ is uncountable. Since $G$ is second countable, there exists $g \in X$ such that every neighbourhood of $g$ meets $X$ at uncountably many points. Let $W$ be an open set containing $id$ such that $W \cap \text{cl}(S) = \phi$. Pick $f \in X \cap gW$, $f \neq g$. Then, $(g^{-1}f)[K] \cap K \neq \phi$ hence also $f[K] \cap g[K] \neq \phi$.
Claim: Assume $id \in \text{cl}(S)$. There exists a binary tree $\langle B_{\sigma} : \sigma \in 2^{< \omega} \rangle$ of open sets with compact closure in $G$ such that for all $\sigma$, for $i = 0, 1$, $\text{cl}(B_{\sigma i}) \subseteq B_{\sigma}$ and for every $f_i \in B_{\sigma i}$, $f_0[K] \cap f_1[K] = \phi$. Hence, the family $\{f[K]: (\exists x \in 2^{\omega})(\forall n)(f \in B_{x \upharpoonright n}) \}$ is pairwise disjoint and has size continuum. 
Proof: To construct such a tree, choose some $f \in B_{\sigma}$. Using the assumption that the isometries that map $K$ to a set disjoint with $f[K]$ accumulate near $f$, pick $g \in B_{\sigma}$ such that $f[K] \cap g[K] = \phi$. Let $B_{\sigma i}, i = 0, 1$ be open sets such that $f \in B_{\sigma0}, g \in B_{\sigma1}$, $\text{cl}(B_{\sigma i}) \subseteq B_{\sigma}$ and for every $h_i \in B_{\sigma i}$, $h_0[K] \cap h_1[K] = \phi$. This can be done by separating the compact sets $f[K], g[K]$ by open sets $U_f, U_g \subseteq \mathbb{R}^n$ and considering the disjoint neighbourhoods $W_{K, U_f}, W_{K, U_g}$ of $f, g$ respectively.
A: One simple ZFC-observation about $\mathbb{R}^{2}$, along the lines of the finite cross example, is well-known (see for details e.g. P. Komjath, V. Totik, Problems and Theorems in Classical Set Theory): any disjoint family of $Y$-sets is countable. A set $X$ is a $Y$-set if $X$ is the union of three line segments with a common endpoint. So if $S$ contains a homeomorph of a $Y$-set, the answer is positive in ZFC.
