вход обычно неявный

скажем, I/O события или там срабатывание таймера

Да, я понимаю. Но когда я слышу "конечный автомат" я представляю себе классическую стейт машину с явным входом.

Ну, юнитовый вход :)

Входные данные передаются при создании таска

Вход есть просто не при каждом вызове полл

Условно двухэтапная конвенция вызовов

Входные данные для КА могут еще не существовать в момент создания КА. TCP стэк не знает какое событие произойдет в следующую секунду. Поэтому такие данные приходится через асинхронный канал передавать в корутину.

Просто я часто слышал что корутины это просто КА, и когда я был с ними незнаком одной из моих первых идей было реализовать КА, что в общем случае выглядит плохо. Поэтому я теперь с осторожностью даю определение корутинам через КА.

Ка в коде и ка в теории автоматов несколько разные вещи.

Корутины как микротреды и корутины как асинхронные таски тоже.

Ка в коде вполне подходит для реализации корутин как асинхронных тасков. Есть видео разбора такой реализации с романом Лисовским на примере котлин

Там прямо показано преображение корутины в ка

В обратную сторону не всегда возможно к сожалению

Но в расте компиляцию в конечный автомат заменили генераторами эдак полгода назад

Генератор же тоже КА.

Я про генераторы не совсем в курсе , видимо да

Генераторы принимают явный вход.

Просто асинк блоки это генераторы, у которых этот вход ResumeTy aka &mut Context<'_>

Но если ты пишешь кастомный генератор, то ты спокойно можешь брать скажем char в качестве resume argument

И наверное, можно передавать кастомные данные под видом контекста

только вот чтоб получить какие-нибудь i/o события, приходится поллить другие футуры, что фактически тоже является входом

Ну вход в прямом смысле  - это именно контекст.