Код пишет ИИ. Отвечают инженеры.

Мы занимаемся промышленной разработкой ПО, где реализацию выполняют AI-агенты, а ответственность за результат остаётся на людях. Из этой работы выросли три стандарта и один инструмент. Они независимы: каждый решает свою задачу и применим без остальных.

Supervised Engineering & Normative AI Regulation. Открытый стандарт человеко-машинной разработки: правила, quality gates, метрики и контрольные списки верификации. Отвечает на вопрос «при каких условиях работу можно считать сделанной».

Requirements Engineering and Normative Adaptive Regulation. Самостоятельный стандарт управления требованиями, спецификациями и контрольными примерами в проектах, где реализацию ведут агенты. Пять уровней зрелости — от стихийного до оптимизирующего.

SENAR и RENAR — равноправные дополнения друг друга, примерно как ISO 29148 дополняет ISO/IEC 12207: общий словарь, общие ценности, независимые документы, которые хорошо работают вместе. Ни один из них не является частью другого.

Архитектура кибер-предприятия эпохи ИИ. Отдельная методология: она не про отдельный проект, а про организацию, внутри которой такие проекты идут потоком.

Эталонная реализация SENAR — дисциплинарный слой поверх AI-кодинг-агентов. Превращает слова агента в проверяемое: подписанные ed25519-квитанции доказывают, что гейты действительно отработали, и привязаны к коммиту; fail-closed хуки останавливают правку, а не PR.

Python 3.11+, только stdlib, ноль зависимостей в ядре. Apache 2.0.

Стандарт можно применять без TAUSIK — руками, чек-листами, чужими инструментами. TAUSIK нужен там, где соблюдение хочется не обещать, а доказывать.

Что инструмент удержит целеустремлённого агента. Подписанная квитанция — это tamper-evidence против внешних правок, а не attestation против того, кто держит ключ. Разница названа в документации, а не спрятана в примечании: рельс, преувеличивающий свои гарантии, — это тот же необнаруженный отказ, только в описании.

Мы подходим не всем, и это нормально.