pub fn harvest_secondary_facts(max_s: usize, max_t: usize) -> Vec<AdamsFact>Expand description
Auto-collect the primary chart from a resolution by pure symmetry-breaking — no proving, no
chain-level diagonal, so it is cheap and runs to a wide range. Gathers chart dimensions, ring products
and the relations that surface by collision, the un-auto-able (secondary/Massey) generators the product
sweep cannot name, and the exact 2-local stable stems from the hâ‚€-towers. The sorted/deduped catalog.