CAS-6: A novel functor formalizing heuristics for the Hodge Conjecture, quantifying cycle gaps in elliptic and K3 products with computational precisio