The distribution-at-ones conjecture for multiple polylogarithm values

Let $d$ be a positive integer, and let the distribution relations be the relations denoted by among multiple polylogarithm values. Set all variables occurring there equal to $1$.

Distribution-at-ones conjecture. All distribution relations in with $x_j=1$ for every $j$ are consequences of regularized double shuffle relations (RDS) for MPVs of level $d$. This is a computationally suggested completeness statement for a special class of distribution relations; no proof or resolution is supplied in the source.