Ну, вроде все получилось
И вот вам (если я ничего не упустил) готовое определение контрагерентного копучка контрамодулей над инд-нетеровой инд-схемой нильпотентного типа. В смысле, инд-схемой, представимой счетной направленной индуктивной системой нетеровых схем и их замкнутых вложений, индуцирующих изоморфизмы максимальных приведенных подсхем.

Только условие локального кокручения на такие контрамодули непонятно пока, как накладывать. Хорошей теории плоских контрамодулей и контрамодулей кокручения нет у меня в этой общности, только теория очень плоских и контраприспособленных контрамодулей теперь появилась.

Интересно, что к концу мая прошлого года ситуация была обратной: для формальных схем была теория плоских контрамодулей и контрамодулей кокручения, а теории очень плоских и контраприспособленных контрамодулей не было. Нынешний виток этой спирали противоположно направлен по сравнению с предыдущим. Вот за этим я и таскаю с собой все свои контрагерентно-копучковые теории всегда в двух вариантах -- никогда не угадаешь, какой из них лучше сработает в очередной ситуации.

И еще: это разумный объект -- инд-нетерова инд-схема нильпотентного типа? В смысле -- всякая ли вещь, имеющая такой вид локально в топологии Зарисского, является таковой глобально? (Для формальных схем это очевидно, поскольку есть каноническое представление в виде прямого предела замкнутых подсхем, связанных с убывающей фильтрацией степенями нильрадикала.) Есть ли здесь место для естественного обобщения?