letopis 0.13.0 → 0.16.0

package/CHANGELOG.md

@@ -2,6 +2,104 @@
 
 Формат: [Keep a Changelog](https://keepachangelog.com/), версии — semver.
 
+## [0.16.0] — 2026-07-12
+
+### Changed — BREAKING: глаголы записи create/update, слот unset, id считает Schema
+
+- **`set()` разбит на `create()` / `update()`** — мина «`Класс()` → INSERT,
+  `Класс({})` → UPDATE всех» мертва, намерение всегда явное:
+  - **`create(data?)`** — INSERT; известный id (шаг `Класс(id)`, `data.id` или
+    вычисленный v5) уже существует → новая версия (идемпотентный create,
+    REST-PUT семантика). Фильтр-объект перед create — ошибка ПОСТРОЕНИЯ
+    (`create() takes no filter`); create на pivot-шаге — ошибка.
+  - **`update(data?)`** — новая версия КАЖДОГО найденного путём;
+    `Класс()` ≡ `Класс({})` — «все в границах контекста»; не найдено → `[]`,
+    update НИКОГДА не создаёт.
+  - `set()` бросает подсказку `set() split into create()/update() (0.16.0)`.
+- **Слот-снятие переименовано: `.Класс.delete()` → `.Класс.unset()`** — развели
+  «удалить сущность» (`delete()`) и «снять конец связи» (`unset()`); старое имя
+  бросает подсказку. Слот теперь требует глагол записи ПЕРЕД собой:
+  `…create(…).Класс.set(x)` / `…update(…).Класс.unset()`; слот без операции —
+  ошибка `link slot needs a write` (раньше слот молча создавал `set({})`).
+- **Генерация id по Schema** — `attributes.id`:
+  - `"uuid"` / `{type:'uuid'}` → **v4** (random, как раньше — дефолт);
+  - `{type:'uuid', generate: 7}` → **v7** (unix-время в старших битах — вставки
+    ложатся в хвост btree-индекса);
+  - `{type:'uuid', generate: 5, from:[…]}` → **v5, детерминированный**:
+    `uuidv5("pgSchema:partition:класс:значения from")`; `from` — имена
+    ОБЯЗАТЕЛЬНЫХ концов `Schema.links` (класс или полное имя союза
+    `'Service|Complex'`; значение — id конца) и/или скалярных полей `data`.
+    Явный id у v5-класса запрещён (`computes id`). Свойства: **create
+    идемпотентен** (та же комбинация → та же сущность, дубль невозможен даже в
+    гонке — двойная бронь мертва на уровне схемы) и **id известен ДО создания**
+    (формула открыта; namespace letopis `c7a2f9d4-3b61-4e8a-9f05-8d2c1e6b7a90`).
+  - Батч: multi-VALUES-склейка для v5-классов отключена (id нужны концы) —
+    такие планы исполняются поштучно, семантика та же.
+- **Наследование attributes по иерархии Schema**: при загрузке реестра attributes
+  класса собираются по цепочке `ancestor` — потомок ПОВЕРХ предка, переопределение
+  поля = замена правила целиком (не слияние). Правило `id` (генерация) наследуется
+  так же; `links` НЕ наследуются (концы объявляются каждым классом). Валидатор и
+  fieldTypes компилируются из слитых attributes.
+- **Демо-схема booking целиком на generate** — с наследованием: `Entity` и `link`
+  объявляют дефолт `{generate: 7}`, v7-классы (Org/Staff/Folder/Customer/Schedule/
+  Booking/item) наследуют его без собственного правила; v5-классы переопределяют:
+  `busy ← v5(Slot, Staff)`; `skill ← v5(Staff, Service|Complex)`;
+  `shift ← v5(Schedule, Staff)`; `compo ← v5(Complex, Service)`;
+  `Slot ← v5(Schedule, data.start)`; `Service`/`Complex` ← `v5(Org, data.name)`
+  (имя уникально в организации). Полигоны `v1.salondemo`/`v1.article` обновлены
+  на месте (UPDATE Schema; данные нетронуты).
+- Тесты мигрированы (все `set`→`create`/`update`, слот `.delete`→`.unset`,
+  фикс-id v5-классов → вычисляемые); новый **`test/idgen.test.ts`** — генерация
+  id на боевых классах Schema (v4/v7/v5 из поля и концов, гонка без локов,
+  наследование attributes/id-правила, схема-гарды). SALON.md и демо-полигон
+  перегнаны на 0.16.0. Итого **165 тестов**.
+
+## [0.15.0] — 2026-07-12
+
+### Changed — BREAKING: единый закон пути, слоты связей, pivot, entity()
+- **Один закон навигации для чтения И записи**: цепочка всегда подчиняется переходам
+  `Schema.links`; недопустимый переход — ошибка СИНХРОННО при построении (не в терминале).
+  Мультиродительский «контекст-сбор» через невалидные HUB→HUB прыжки удалён.
+- **Слоты связей** вместо `.link()`: конец связки задаётся `.Класс.set(target)` ПОСЛЕ
+  `.set(данные)` — свойство-класс БЕЗ вызова. Владелец создаваемой связки — из валидного
+  пути, прочие концы — слотами. `target` = id | Row | **вложенная цепочка** (исполняется в
+  той же транзакции, обязана дать ровно одну сущность класса конца — «создать И привязать»).
+  `.Класс.delete()` снимает optional-конец; союз-конец `[A|B]` замещается слотом целиком.
+  **`.link()` УДАЛЁН** (бросает подсказку).
+- **pivot**: повтор LINK-класса в пути — возврат к тому же узлу (ветвление к другому концу
+  + дофильтровка AND). `db.Запись(з).позиция().Услуга(у).позиция().Сотрудник(вася)` —
+  «позиции записи з с услугой у у мастера вася» одной цепочкой.
+- **`entity(x)`** (Chain и db): вставить узел-переменную/паттерн (`db.позиция()`) или Row в
+  путь; та же переменная повторно — явный pivot; `db.entity(row).…` — старт с готовой строки.
+- Тесты мигрированы на слоты; **`test/salon.test.ts`** — тест-план «работа салона»
+  (21 акт), покрывающий ВСЕ 145 публичных точек API + матрица покрытия. Итого 153 теста.
+
+## [0.14.0] — 2026-07-12
+
+### Changed — Schema.links v2: концы связей объектами
+- **Конец связи — объект**: `{"class":"Org","cardinality":1}` /
+  `{"classes":["Service","Complex"],"cardinality":1}` (союз ролей) /
+  `{"class":"Staff","optional":true,…}`. `'Entity'`-полиморф в новых схемах не
+  используется — классы концов называются явно. **Колонка `Schema.links` — `jsonb`**
+  (настоящий массив объектов; в новых схемах). Старые схемы с `text[]` читаются тем же
+  кодом по прежним правилам (legacy-строки `'Org'`, `'Entity'`-полиморф).
+- **Валидация строгая на двух уровнях** (либа `write.ts` + БД-триггер
+  `entity_check`): жадный матчинг ключей `Entity.links` по порядку объявления
+  концов; обязательный конец без ключа → `requires end "Service|Complex"`;
+  связь вне концов → `has stray link(s)` (раньше лишние молчали). Голый SQL
+  мимо либы ловится триггером так же.
+- **Демо-домен уточнён**: `позиция = [Запись, {Услуга|Комплекс}, Сотрудник?]` —
+  три конца, владелец строго Запись; состав комплекса — новый LINK-класс
+  **`compo`/«состав» = [Комплекс, Услуга]** (раньше ездил на позиции);
+  `навык = [Сотрудник, {Услуга|Комплекс}]`; `занятость = [Сотрудник, Окно, Запись?]`
+  (третий конец легализован — раньше жил контрабандой); `Запись = [Клиент?]`
+  (ручная бронь без клиента). `cardinality` — зарезервировано, пока не проверяется.
+- Полигон `v1.article` мигрирован НА МЕСТЕ (ALTER links → jsonb + apply поверх):
+  данные Entity нетронуты (1 112 952), схема идентична booking.
+- `lib/scripts/gen-seed.mjs` — сид Schema теперь реально генерится из
+  `schema.booking.v2.json` (комментарий «файл сгенерирован» стал правдой);
+  `schema-sync` сравнивает концы канонически (объект ⇔ JSON-текст в text[]).
+
 ## [0.13.0] — 2026-07-11
 
 ### Added — `up()`: одна точка входа