# Время, истина и происхождение

*Основания · урок 4 из 5 · ~10 мин*

## Что вы узнаете

Почему стандарт делает историю несущей конструкцией: Смысловая лента, происхождение, отпечатки и что вам даёт возможность "восстановить любое прошлое состояние знания".

## Знание без истории - это слухи

Большинство систем хранит только текущее состояние. Спросите их "почему это значение именно такое?", "кто это утверждал?", "во что мы верили в прошлом квартале?" - и они разведут руками. Для одного приложения это переживаемо. Для федеративного знания это смертельно: вы потребляете чужие утверждения, а без истории вы не можете их ни проверить, ни оспорить, ни им доверять.

Ответ Vercy структурный, а не процедурный: **само изменение является сущностью.**

## Смысловая лента

Каждая мутация смысловой реальности - это **Событие**: объект создан, значение утверждено, отображение изменено, контракт подписан, версия модели выпущена. События только дописываются; ничто не правится на месте. Последовательность событий - это **Смысловая лента**, и она даёт каждой Вселенной три сверхспособности:

1. **Путешествие во времени**: восстановить точное состояние знания на любой момент прошлого - какие объекты существовали, какие версии каких правил действовали.
2. **Атрибуция**: каждое утверждение прослеживается до того, кто его сделал, когда и на каком основании.
3. **Честный пересмотр**: исправить прошлое означает *дописать* событие-исправление, а не переписать историю. И ошибка, и её исправление остаются видимыми навсегда.

## Два следствия, обнаруженных на практике

Гражданский разбор случая (государство, смоделированное как Измерение) показал, что Лента незаменима в двух местах, которых её проектировщики не предвидели:

- **Суды.** Справедливая правовая система судит прошлые деяния по нормам, *действовавшим на тот момент*. Это невозможно, если версии норм невосстановимы: Смысловая лента, применённая к праву.
- **Измерение, устойчивое к игре с показателями.** Когда вы измеряете ценность, люди начинают оптимизировать метрику. Защита - ретроспективная переоценка: пересчёт прошлых событий по мере того, как проявляются последствия. Переоценка *меняет свидетельства, но никогда историю*: снова только дописывание.

Когда вашей модели нужно либо "что правила говорили тогда?", либо "переоценить прошлое, не фальсифицируя его", вам нужна Лента. Большинству серьёзных моделей нужно и то и другое.

## Происхождение и граф с запросами

Происхождение обобщает ленту на цепочки выводов: эта запись *сведена из* того источника, *собрана* тем конвейером, *подтверждена* тем владельцем. Стандарт делает граф выводов доступным для запросов, поэтому "покажи всё, что ниже по течению от этого отозванного источника" - это запрос, а не археология.

## Отпечатки: идентичность для смысла

Как понять, что две копии модели *означают одно и то же*? Байты различаются (форматирование, порядок, сериализация), смысл может и не различаться. **Смысловой отпечаток** - это воспроизводимый хеш по *нормализованной смысловой структуре* модели: один смысл - один отпечаток, независимо от сериализации. Именно так пакеты проверяют себя сами, реестры устраняют дубли, а расхождение между мастером и копией обнаруживается механически. Одна из рабочих моделей использует ровно этот приём, чтобы держать свой публичный сайт честным: ежедневная задача сравнивает отпечаток живой проекции с моделью и при расхождении зовёт человека.

## Главное

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

## Копнуть глубже

- [Событие и Смысловая лента](/spec/#04-core-concepts/Event.md)
- [Прослеживаемость](/spec/#02-architecture/Traceability.md) · [Граф происхождения](/spec/#02-architecture/Provenance-Graph.md)
- [Версионирование и Смысловой отпечаток](/spec/#02-architecture/Versioning.md)

Дальше: [Семейство стандартов](05-family.md)