Strong asymptotic magnitude conjecture for all compact Euclidean subsets

Let $\mathcal{C}$ be the class of all compact subsets of $\mathbb R^m$, for any $m$. Let $|A|$ denote magnitude when it is defined, and let $\mu_i(A)$ be the $i$th intrinsic volume; write $\omega_i$ for the volume of the unit $i$-ball.

Strong magnitude conjecture. There are unique functions $P,q\colon\mathcal{C}\to\mathbb R$ such that:

1. the magnitude is defined for every $A\in\mathcal{C}$ and

$$|A|=P(A)+q(A);$$

2. $P$ satisfies the inclusion-exclusion principle;
3. if $A\in\mathcal{C}$ is polyconvex, then

$$P(A)=\sum_{i\geq0}\frac{1}{i!\,\omega_i}\mu_i(A);$$

4. for every $A\in\mathcal{C}$,

$$q(tA)\to0\qquad\text{as }t\to\infty;$$

5. if $K\in\mathcal{C}$ is convex, then $q(K)=0$.

This stronger form seeks a decomposition of magnitude for every compact Euclidean subset, with the principal term governed by inclusion-exclusion and intrinsic volumes and the error term vanishing under dilation. The source does not state a resolution, so the conjecture remains open.