Documentation

LeanPool.BKARForestFormula.BKAR.OrderedAssembly

Ordered assembly layer (facade) #

Re-exports the assembly of the ordered recursion into the final formula: the all-branches expansion and its telescoping, regrouping by support and order, the fiber analysis of the boundary tree sum, canonical forests realizing each support, sectorwise canonicalization, and the fold into one cube contribution per forest index.