Статус: specified — рамка. Ниже честно помечено, что уже реально.
Sovest for AI

AI не имеет права утверждать
больше, чем доказал.

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

AI
claim ≤ evidence
машина не утверждает больше, чем доказала

Conscience layer for AI. / Слой совести для искусственного интеллекта.

Что это решает

Семь провалов, которые режет закон

Один корень боли у AI — галлюцинация без ответственности. Из неё вырастает всё остальное.

Галлюцинации — модель уверенно говорит то, чего не проверяла.
Ложные claims — утверждение звучит как факт, но evidence под ним нет.
Агентские действия без права — агент делает шаг, на который не был уполномочен.
Непроверяемые выводы — заключение, которое нельзя воспроизвести и оспорить.
Ретконы истории — прошлое тихо переписывается под новый ответ.
Потеря источников — вывод есть, а откуда он взялся — уже не найти.
Неясное авторство решения — кто именно решил и на каком основании — размыто.
Продукты слоя

Десять органов одного закона

Все — рамка: спроектированы как форма, ни один не отгружен. Каждый — способ применить claim ≤ evidence в конкретной точке AI-стека.

01 рамка

ProofOSпозвоночник доказуемости

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

02 рамка

Verifyпроверка утверждения

Точка, где отдельный claim сверяется со своим evidence до того, как его примут за факт.

03 рамка

Courtразбор спорного вывода

Место, где противоречащие утверждения разбираются по одному правилу, а не по тому, кто громче.

04 рамка

Evidence Layerхранилище оснований

Слой, где основания вывода сохраняются и остаются находимыми — источник не теряется после ответа.

05 рамка

Honesty Firewallграница честности

Барьер, который не пропускает наружу утверждение, не прошедшее проверку evidence.

06 рамка

Claim/Evidence Splitterразделение факта и основания

Разбирает вывод модели на две части: что именно утверждается и на чём это держится.

07 рамка

Agent Policy Runtimeправо на действие

Среда, в которой действие агента проверяется на право до исполнения, а не после.

08 рамка

AI Release Gateворота выпуска

Ворота, которые пропускают выпуск модели или ответа только при выполненном условии claim ≤ evidence.

09 рамка

Lie Bountyнаграда за пойманную ложь

Механизм, поощряющий находить недоказанные утверждения — ложь становится тем, что ищут, а не прячут.

10 рамка

ProofRoomпространство доказательства

Место, где вывод и его основания можно рассмотреть вместе — открыто, а не на слово.

Связь с реальной стройкой

Рамка засеяна реальным кодом

Реальный субстрат сегодня — PADEx: честная память с подписанными квитанциями, append-only журналом с хеш-цепью и самоаудитом типов. Это локальная бета, протестированная локально, — не публичный SaaS.

Рядом уже существуют governance-органы как код: gate claim ≤ evidence отрабатывает на каждой мутации. Это и есть зачаток ProofOS — ровно настолько, не больше: семя, а не отгруженный продукт.

Отличие от Sovest for People

Один корень, две боли

Тот же закон различения работает и для машины, и для человека — но проблема у них разная.

AI
claim ≤ evidence
галлюцинация без ответственности — машина утверждает то, чего не доказала
Human
self-story ≤ lived truth
самообман с болью — человек рассказывает себе больше, чем прожил