4 problems
Orientifold primitive-cohomology conjecture. The surjection
Orientifold CoHA structure conjecture. The CoHA action map
Orientifold Hodge equality conjecture. The canonical surjection
Orientifold CoHA freeness conjecture. If is supercommutative, then the CoHA action map