[MKC] Implement Mirko, Obsessive Theorist

[PurpleCrowbar]

I tried hard to get the text to generate nicely but I believe the use of the target adjuster was causing rules generation issues, and setting the rules text with setText resulted in excessively verbose instructions when resolving the ability, so I ended up using an info effect to spoof the rules text of the final ability. Other, less heavy-handed approaches all yielded inferior results, so this approach is prioritising UX at the cost of slight code elegance

[PurpleCrowbar]

[[Mirko, Obsessive Theorist]]

[github-actions]

Mirko, Obsessive Theorist - (Gatherer) (Scryfall) (EDHREC)

{1}{U}{B}
Legendary Creature — Vampire Detective
1/3
Flying, vigilance
Whenever you surveil, put a +1/+1 counter on Mirko, Obsessive Theorist.
At the beginning of your end step, you may return target creature card with power less than Mirko's from your graveyard to the battlefield with a finality counter on it. (If it would die, exile it instead.)

[xenohedron]

I don't understand what the issue is with the text but I'll take your word for it that this is the best UX solution.

Thanks for the surveil triggered ability refactor.

[PurpleCrowbar]

I'll show what I mean by the text issue for the last ability.

No info effect and no setText call

Rules text (note that the text is not at all accurate to the real card):

When choosing to take the action while resolving the ability:

No info effect but setText is called

Rules text (note that it is correct):

When choosing to take the action while resolving the ability (note the extremely verbose message):

Using info effect, hiding real ability rules text (implementation in this PR)

Rules text (note that it is correct, as in the case of the second approach):

When choosing to take the action while resolving the ability (note it's succinct, as in the case of the first approach):

The final approach gets the best text / prompts.

[JayDi85]

Don’t use text effect here: its hide original ability and potential text problems with it, and adds new code to support. Its ok to have “strange” text in dialogs. setText is standard code style.

Text effects created for additional information or outside abilities/effects.

[JayDi85]

Look at GracefulRestoration - it uses target filter without adjuster. Why not use same way?

[xenohedron]

Maybe like EarthshakerKhenraPredicate

[PurpleCrowbar]

Using a custom predicate and setText as in the case with Earthshaker Khenra:
Rules text:

Target text:

Confirming resolution:

The resolution confirming is still wordy but presumably consistent with other cards so not important

[PurpleCrowbar]

Verify fail appears to be unrelated to this PR