A mechanism for ejecting a horseshoe from a partially hyperbolic chain recurrence class

The paper explicitly proves that “having a partially hyperbolic filtrating Markov partition containing a chain recurrence class satisfying condition (ℓ) is a C1-viral property,” see Definition 1.3 and Theorem 1.1, together with the proof sketch using Theorems 1.3, 1.4, 1.5 and Proposition 4.2 (flexibility ⇒ (ℓ)), and the final viralness argument in Section 4.3 . By contrast, the model’s sketch omits the indispensable “flexible periodic point” hypothesis needed for the expulsion step and for rebuilding (ℓ) in the ejected class; it also asserts preservation of a robust heterodimensional cycle inside the ejected class without supplying the paper’s mechanism (Proposition 4.2) that actually creates the cycle post‑expulsion. Hence the model’s argument is incomplete/incorrect on key technical points, even though its high‑level goal matches the paper.