Второй мозг: база знаний, которая работает на квитанциях

1. Что это — и чем это не является

«Второй мозг» — это открытая база знаний, которую ведёт ИИ-агент, с нотариальным слоем корректности на квитанциях TimeLayer. Он следует паттерну LLM Knowledge Base Андрея Карпатого — неизменяемые источники в raw/, страницы от ИИ в wiki/, цикл Ingest / Query / Lint — и добавляет сверху одно: страница получает статус trusted только тогда, когда проверка прошла над её точными словами и сеть подписала квитанцию на результат.

Квитанция связывает воедино тело страницы, источники, на которые она ссылается, и вердикт. Измени любое из них — связка перестаёт сходиться, и статус trusted слетает сам. «Проверено» перестаёт быть надписью, которую кто-то поставил, и становится свойством, которое машина пересчитывает.

2. Какую проблему решает

У ИИ, который ведёт за вас заметки, есть две беды, которые никуда не уходят: он может тихо написать то, чего источник никогда не говорил, и страницу можно отредактировать позже так, что она больше не соответствует источнику, на который ссылается, — а старая отметка «проверено» так и висит. В итоге вы доверяете зелёной галочке, которую никто не может перепроверить.

3. Честная модель: что доказывает квитанция

В этом вся дисциплина инструмента. Мы никогда не говорим вам, что факт истинен. Мы делаем невозможным тихо изменить «проверенную» страницу так, чтобы проверка не слетела, — поэтому зелёный статус, который вы видите сегодня, держится ровно для того текста, что перед вами.

4. Цикл: Ingest, Verify, Audit

• Ingest. Вы кладёте источник в raw/. Инструмент считает его хеш и берёт квитанцию на эту точную версию. Затем агент пишет вики-страницы, и каждое фактическое утверждение несёт указатель на конкретный фрагмент источника и хеш его версии.
• Verify. Инструмент сверяет каждое утверждение с источником — числа и цитаты механически, смысл моделью-судьёй — и на прошедшие берёт у сети квитанцию, привязанную к хешу тело + источники + вердикт. Полный trusted требует обеих гарантий: verifier криптографически привязывает квитанцию к этому хешу (флаг --expect, v2.0.0+) и каждое утверждение проверено судьёй. Нет любой из них — нет verifier'а с привязкой или не настроен судья — страница попадает в честный более слабый тир trusted-mechanical: валидно и консистентно, но не доказано до конца.
• Audit. Любая последующая правка меняет хеш, поэтому audit мгновенно снимает trusted со всего, что больше не сходится со своей квитанцией. Ничто не носит значок «проверено», которого не заслужило для своего текущего текста.

5. Дисциплина привязки

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

Рост замедлился во II квартале. ^[[raw/papers/2026-04-06-report.md#L40-L48|src:report@9f2a…c1]]

Указатель называет файл-источник, диапазон строк фрагмента и полный sha256 версии источника. Именно это позволяет инструменту — и любому после вас — перепроверить утверждение по тем самым байтам, из которых оно взято.

6. Ворота trusted: почему «проверено» вычисляется, а не ставится

В обычном блокноте «проверено» — слово, которое кто-то напечатал. Здесь это вычисляемое свойство: страница trusted тогда и только тогда, когда есть валидная квитанция на текущий хеш её тела, источников и вердикта. Агенту, который ведёт вики, никогда не позволено писать trusted самому — статус присваивает только скрипт проверки и только после выпуска квитанции.

Это тот же fail-closed дух, что и во всём TimeLayer: если страницу нельзя подкрепить валидной квитанцией на её текущие байты, она не имеет права заявлять, что её проверяли. Лучше «не проверено», чем «проверено зря».

7. Судья: смысловые утверждения, fail-closed

Числа и цитаты сверяются механически и работают сразу — модель не нужна. Утверждения о смысле («в отчёте утверждается X») проверяет модель-судья, которую вы подключаете. Без судьи два исхода: чисто смысловое утверждение (нечего сверить механически) помечается непроверенным, а не пропускается; а страница, держащаяся только на механических совпадениях, упирается в trusted-mechanical — число совпало, но его смысл не проверен («спрос упал на 30%» пройдёт против источника, где 30 — про рост). Полный trusted приходит, когда судья подтвердит смысл или вы подтвердите руками.

8. Быстрый старт: купить квитанции, запустить

Квитанции — топливо проверки: каждое заверение тратит одну. Процесс одинаков на Linux, macOS и Windows; нужен только Python 3.8+ и одна библиотека.

Шаг 1 — Купите квитанции и выпустите токен

Заведите аккаунт и купите пакет на timelayer-os.com, затем выпустите api_token в кабинете.

Шаг 2 — Скачайте оффлайн-верификатор

Возьмите бинарник под свою ОС со страницы релизов верификатора. Он проверяет квитанции офлайн, без обращения к нам.

Шаг 3 — Возьмите инструмент и прогоните пример

# клонируем открытый инструмент (Apache-2.0)
git clone https://github.com/TimeLayer-OS/timelayer-second-brain
cd timelayer-second-brain
pip install -r requirements.txt        # это лишь pyyaml; остальное — стандартная библиотека

export TIMELAYER_TOKEN=<ваш токен>
export TL_VERIFIER=/путь/к/timelayer-verifier

python notary.py init my-vault                                   # развернуть волт, без shell
python notary.py ingest-source example/raw/articles/2026-06-29-sample.md
python notary.py verify example/wiki/sample-page.md              # → PASS → trusted
python notary.py audit  example/wiki/sample-page.md              # → trusted держится
# поправьте число в странице, снова audit → trusted снят

Вот и весь цикл: купить квитанции на платформе, скачать инструмент, запустить на своей машине. Исходники открыты — прочитайте, соберите, не зависьте ни от одного бинарника, который не скомпилировали сами.

9. Честная рамка: чего инструмент не делает

• Он не делает вещи истинными. Страница trusted значит «названный проверяющий подтвердил соответствие источнику», а не «это правда о мире». Если источник врёт — ошибка пройдёт.
• Это не recall. Квитанции не хранят содержимого и не делают смысловой поиск. Это провенанс ваших заметок, а не память, к которой вы делаете запрос.
• Судья хорош ровно настолько, насколько хороша модель за ним. Механические проверки (числа, цитаты) точны; смысловые наследуют ограничения судьи. Поэтому по умолчанию — fail-closed.
• Выпуск квитанции требует момента связи. Проверка готовых квитанций полностью офлайн; чтобы получить подпись сети на новую, нужен доступный кворум.