Generation of relations among multiple harmonic values by polylogarithmic expansions

Consider convergent sums of multiple harmonic values that are both $p$-adically and weight-adically convergent. Generation conjecture for multiple harmonic-value relations. Every relation expressing the vanishing of such a sum is a consequence of equations on multiple polylogarithms on $\mathcal{M}_{0,n}$ for $n\geq4$, after taking power-series expansions, together with the $p$-adic symmetry equation for prime weighted multiple harmonic sums. This conjecture asserts that these polylogarithmic and symmetry relations generate all relations in the stated class.