# Executive summary

This package directly verifies all six registered PolyILR claims. It constructs the exact weighted-Helmert basis on six tree families, checks 24 Aitchison isometries, reconstructs every child clade, executes polytomies without binarization, and validates the logit quotient in 12 settings.

The biological claim is no longer a source-only audit. The pinned public HMP16SData archive is executed at the paper's exact 4,743-sample by 402-taxon scale. Five 500-tree random-forest folds reach mean accuracy 0.966267, top-10 stability 0.531136, and exact tree-importance conservation; shuffled labels collapse balanced accuracy to 0.200231.