Детерминированная Проверка
abloq — блог, которым управляет агент, а проверку запирает машина
Поручи блог агенту — и статья появится. Проблема в том, что ей нельзя верить: он фабрикует источники, поднимает lastmod у статьи, которую даже не правил, трогает файлы, которых не просили. Если человеку всё равно придётся всё вычитывать, поручать не было смысла. Ответ abloq — разделение труда: генерация вероятностна, проверка детерминирована. Человек пишет лишь одну спецификацию инсайта (insight.yaml), а написание·перевод·обновление·подкрепление доказательствами агент выполняет квестами, и качество гарантирует детерминированный gate, выведенный из единственного blog.yaml. Запертый PASS необратим — агент одноразов, но прогресс накапливается.
reins — оставь домен от Quest CLI, а ratchet вынеси во фреймворк
how-make-quest научила строить Quest CLI голыми руками. Но стоит взяться за второй CLI — и ты снова пишешь тот же ratchet, те же scan/next/submit, тот же свод. reins вытаскивает этот инвариант во фреймворк — ratchet, скелет команд, свод и export поставляет reins, а ты реализуешь лишь gate своего домена (4 метода gate.Definition). Gate — это каталог правил защиты от cheese, а toulmin defeat graph возвращает агенту прохождение: «почему проиграл и что поменять, чтобы выиграть».