pub fn harvest_adams_facts(max_s: usize, max_t: usize) -> Vec<AdamsFact>Expand description
The self-igniting fact engine: from a single minimal resolution it auto-collects everything the
symmetry breaking nets — the chart dimensions, the ring products (multiplying named classes by the
indecomposables to a fixpoint, so ring relations surface automatically when two product-paths collide
on one generator), the Sq⁰ doubling across the chart, and the exact 2-local stable stems from the
h₀-towers. Returns the deduplicated, sorted catalog. Bounded by (max_s, max_t); the doubling reaches
through filtration 2 (cup-homotopies Δ₀..Δ₂).