letopis 1.4.1 → 2.0.0

package/sql/40-class.sql

@@ -10,14 +10,9 @@
 --             нескольким полям (anyOf, oneOf) потомок заменяет целиком, как поле
 --   ends      { <роль>: { class: <класс> | [<класс>…], many, required, min, max, onDelete, meta } }
 --   key       [<поле или роль>…] — из них вычисляется id (§2.3); [] — класс без ключа
---   history   true | false | политика хранения (§2.11)
+--   history   true | false — вести ли журнал версий
 --   ownerDefault 'tenant' | 'actor';  cache { ttl };  meta {…} до 64 КБ
---   derivedBy имя проектора (план 1.1, §2.4): строки класса пишет только он; наследуется, потомок не меняет
---   aggregate { <поле>: { sum: <поле источника> | count: true, of: <класс-источник>, via: <роль>, where?: JSON Schema } }
---             агрегаты в базе (план 1.1, §2.4): поле держит триггер по живым строкам источника; наследуется,
---             потомок заменяет целиком
---   resolved  развёрнутое описание с учётом предков — пишет триггер, присланное значение перезаписывается; у
---             источника агрегатов в нём ещё метка aggregatedBy — какие цели считают его строки (88-derived.sql)
+--   resolved  развёрнутое описание с учётом предков — пишет триггер, присланное значение перезаписывается
 -- Скомпилированная проверка данных класса лежит в колонке validator строки Class.
 
 create or replace function @SCHEMA@.class_metaschema() returns jsonb
@@ -62,35 +57,10 @@ return $json${
       }
     },
     "key": {"type": "array", "items": {"type": "string"}, "uniqueItems": true},
-    "history": {"anyOf": [{"type": "boolean"}, {
-      "type": "object",
-      "additionalProperties": false,
-      "required": ["all"],
-      "properties": {
-        "all": {"type": "string"}, "daily": {"type": "string"}, "weekly": {"type": "string"},
-        "monthly": {"type": "string"}, "yearly": {"type": "string"}, "tz": {"type": "string"}
-      }
-    }]},
+    "history": {"type": "boolean"},
     "ownerDefault": {"type": "string", "enum": ["tenant", "actor"]},
     "cache": {"type": "object"},
     "meta": {"type": "object"},
-    "derivedBy": {"type": "string", "pattern": "^[a-z0-9][a-z0-9_.:-]{0,63}$"},
-    "aggregate": {
-      "type": "object",
-      "propertyNames": {"type": "string", "pattern": "^[^$]"},
-      "additionalProperties": {
-        "type": "object",
-        "required": ["of", "via"],
-        "additionalProperties": false,
-        "properties": {
-          "sum": {"type": "string", "pattern": "^[^$]"},
-          "count": {"type": "boolean", "enum": [true]},
-          "of": {"type": "string", "pattern": "^[A-Za-zА-Яа-яЁё_][A-Za-zА-Яа-яЁё0-9_]{0,62}$"},
-          "via": {"type": "string", "pattern": "^[A-Za-zА-Яа-яЁё_][A-Za-zА-Яа-яЁё0-9_]{0,62}$"},
-          "where": {"type": "object"}
-        }
-      }
-    },
     "resolved": {"type": "object"}
   }
 }$json$::jsonb;
@@ -103,11 +73,12 @@ begin
   select c.rules, c.validator, c.vars into rules, validator, vars from @SCHEMA@.compile_validator(@SCHEMA@.class_metaschema()) c;
 end $$;
 
--- Строка класса по имени: собственная строка арендатора или системная. Поиск — по индексу
+-- Строка класса по имени: собственная строка арендатора, иначе системная. Поиск — по индексу
 -- entity_class_name, без вычисления v5 (два SHA-1 стоили 30 мкс на поиск, а запись ищет описание
--- несколько раз). Пара «арендатор, имя» однозначна: id строки Class — v5 от имени. Имя
--- пользовательского класса не совпадает с именем системного (проверка при определении), поэтому
--- порядок нужен только для ясности. Нет строки — null.
+-- несколько раз). Пара «арендатор, имя» однозначна: id строки Class — v5 от имени. Порядок важен:
+-- арендатор не заведёт класс с именем уже существующего класса System (class_admit,
+-- system_name_taken), но класс System может появиться позже одноимённого класса арендатора — тогда
+-- строк две, и действует собственная (атака №54 в engine-attacks). Нет строки — null.
 create or replace function @SCHEMA@.class_row(p_name text, p_tenant uuid) returns @SCHEMA@.entity
 language sql stable
 set search_path = pg_catalog, @SCHEMA@, pg_temp
@@ -136,8 +107,6 @@ declare
   hist jsonb;
   od text;
   cache jsonb;
-  der text;
-  agg jsonb;
   comp jsonb := '{}';
   i int;
   v jsonb;
@@ -146,10 +115,10 @@ begin
   while cur->>'parent' is not null loop
     cur := (@SCHEMA@.class_row(cur->>'parent', p_tenant)).data;
     if cur is null then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('предок %s не найден', chain[cardinality(chain)]->>'parent'));
+      perform @SCHEMA@.lt_fail('sql-core.parent_not_found', jsonb_build_object('parent', chain[cardinality(chain)]->>'parent'));
     end if;
     if cur->>'name' = any (names) then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'цикл в наследовании через ' || (cur->>'name'));
+      perform @SCHEMA@.lt_fail('sql-core.inheritance_cycle', jsonb_build_object('cls', cur->>'name'));
     end if;
     names := names || (cur->>'name');
     chain := chain || cur;
@@ -167,16 +136,6 @@ begin
     if v ? 'history' then hist := v->'history'; end if;
     if v ? 'ownerDefault' then od := v->>'ownerDefault'; end if;
     if v ? 'cache' then cache := v->'cache'; end if;
-    -- производный класс (план 1.1, §2.4): проектор задаёт предок, потомок его не меняет
-    if v ? 'derivedBy' then
-      if der is not null and der <> v->>'derivedBy' then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class',
-          format('derivedBy класса %s (%s) не совпадает с предком (%s)', v->>'name', v->>'derivedBy', der));
-      end if;
-      der := v->>'derivedBy';
-    end if;
-    -- агрегаты (план 1.1, §2.4): потомок заменяет описание предка целиком, {} — снимает унаследованное
-    if v ? 'aggregate' then agg := v->'aggregate'; end if;
     for m in select * from jsonb_each(coalesce(v->'meta', '{}')) loop
       if m.value = 'null'::jsonb then meta := meta - m.key; else meta := meta || jsonb_build_object(m.key, m.value); end if;
     end loop;
@@ -192,12 +151,10 @@ begin
     'history', coalesce(hist, 'true'),
     'ownerDefault', coalesce(od, 'tenant'),
     'cache', cache,
-    -- ключи только у производных и у целей агрегатов: у описаний до 1.2 их нет, и сравнение «было — стало» их не задевает
-    'meta', meta) || case when der is not null then jsonb_build_object('derivedBy', der) else '{}'::jsonb end
-                  || case when agg is not null and agg <> '{}'::jsonb then jsonb_build_object('aggregate', agg) else '{}'::jsonb end;
+    'meta', meta);
 end $$;
 
--- Проверка описания класса: метасхема, правила ключа (§2.3), правило unset (§2.10), размер meta.
+-- Проверка описания класса: метасхема, правила ключа (§2.3), правило unset (§2.10), размер meta, журнал системных классов.
 -- Возвращает строку с заполненными resolved и validator.
 create or replace function @SCHEMA@.class_prepare(p_data jsonb, p_tenant uuid, out data jsonb, out validator jsonpath)
 language plpgsql stable
@@ -211,18 +168,15 @@ declare
   fld jsonb;
   e record;
   c record;
-  prev interval;
-  tiers text[];
-  i int;
 begin
   data := p_data - 'resolved';
   select * into ms from @SCHEMA@.class_meta_validator();
   bad := @SCHEMA@.validate_data(ms.rules, ms.validator, ms.vars, data);
   if bad <> '[]'::jsonb then
-    perform @SCHEMA@.lt_raise('LT003', 'invalid_data', 'описание класса не проходит метасхему', jsonb_build_object('issues', bad));
+    perform @SCHEMA@.lt_fail('sql-core.class_metaschema', '{}'::jsonb, jsonb_build_object('issues', bad));
   end if;
   if octet_length(coalesce(data->'meta', '{}')::text) > 65536 then
-    perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'meta класса больше 64 КБ');
+    perform @SCHEMA@.lt_fail('sql-core.meta_too_large');
   end if;
   res := @SCHEMA@.class_resolve(data, p_tenant);
   -- ключ: только обязательные строковые поля и обязательные одиночные концы
@@ -230,74 +184,26 @@ begin
     fld := res->'schema'->'properties'->k;
     if fld is not null then
       if not (res->'schema'->'required' ? k) or coalesce(fld->>'type', '') <> 'string' then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('поле ключа %s должно быть обязательной строкой', k));
+        perform @SCHEMA@.lt_fail('sql-core.key_field_type', jsonb_build_object('field', k));
       end if;
     elsif res->'ends' ? k then
       if coalesce((res->'ends'->k->>'many')::boolean, false) or not coalesce((res->'ends'->k->>'required')::boolean, false) then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('конец ключа %s должен быть обязательным и одиночным', k));
+        perform @SCHEMA@.lt_fail('sql-core.key_end_type', jsonb_build_object('end', k));
       end if;
     else
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('ключ ссылается на неизвестное поле или конец %s', k));
+      perform @SCHEMA@.lt_fail('sql-core.key_unknown_name', jsonb_build_object('name', k));
     end if;
   end loop;
   -- unset — только для необязательного одиночного конца и множественного без min
   for e in select key, value from jsonb_each(res->'ends') loop
     if e.value->>'onDelete' = 'unset' and (coalesce((e.value->>'required')::boolean, false) or coalesce((e.value->>'min')::int, 0) > 0) then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('onDelete unset недопустим для обязательного конца %s', e.key));
+      perform @SCHEMA@.lt_fail('sql-core.unset_required_end', jsonb_build_object('end', e.key));
     end if;
   end loop;
-  -- политика хранения: для системных классов запрещена (§2.11)
-  if coalesce((data->>'system')::boolean, false) and jsonb_typeof(res->'history') <> 'boolean' then
-    perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'системным классам политика хранения не задаётся');
-  end if;
+  -- журнал системных классов — аудит прав и схемы: его не выключают
   if coalesce((data->>'system')::boolean, false) and res->'history' = 'false'::jsonb then
-    perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'history: false для системных классов запрещён');
-  end if;
-  -- политика хранения (§2.11): сроки ярусов по возрастанию, all не меньше суток, 'forever' — только последний
-  if jsonb_typeof(res->'history') = 'object' then
-    prev := interval '0';
-    tiers := array(select u.tn from unnest(array['all', 'daily', 'weekly', 'monthly', 'yearly']) with ordinality u(tn, ord)
-                   where res->'history' ? u.tn order by u.ord);
-    for i in 1 .. cardinality(tiers) loop
-      k := res->'history'->>tiers[i];
-      if k = 'forever' then
-        if i <> cardinality(tiers) then
-          perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('history: forever допустим только у последнего яруса, а стоит у %s', tiers[i]));
-        end if;
-      elsif not pg_input_is_valid(k, 'interval') then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('history: срок яруса %s не разбирается: %s', tiers[i], k));
-      elsif k::interval <= prev then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('history: сроки ярусов должны возрастать (%s)', tiers[i]));
-      else
-        prev := k::interval;
-      end if;
-    end loop;
-    if (res->'history'->>'all') <> 'forever' and (res->'history'->>'all')::interval < interval '1 day' then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'history: ярус all не меньше суток');
-    end if;
-    if res->'history' ? 'tz' and not exists (select 1 from pg_timezone_names where name = res->'history'->>'tz') then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', format('history: неизвестный часовой пояс %s', res->'history'->>'tz'));
-    end if;
-  end if;
-  -- производный класс (план 1.1, §2.4): системным не бывает; его строки проектор удаляет и строит заново,
-  -- поэтому они не мешают удалять строки, на которые ссылаются (onDelete только cascade или unset)
-  if res ? 'derivedBy' then
-    if coalesce((data->>'system')::boolean, false) then
-      perform @SCHEMA@.lt_raise('LT010', 'invalid_class', 'системный класс не бывает производным');
-    end if;
-    for e in select key, value from jsonb_each(res->'ends') loop
-      if coalesce(e.value->>'onDelete', 'restrict') not in ('cascade', 'unset') then
-        perform @SCHEMA@.lt_raise('LT010', 'invalid_class',
-          format('конец %s производного класса — onDelete cascade или unset: производная строка не мешает удалять цель', e.key));
-      end if;
-    end loop;
-  end if;
-  -- агрегаты (план 1.1, §2.4; 88-derived.sql): цель — поля, источники, цикл, условия where; источник — метка
-  -- aggregatedBy и та же сверка против агрегатов, которые считают его строки (источник часто описывают после цели)
-  if res ? 'aggregate' then
-    res := @SCHEMA@.agg_prepare(res, data, p_tenant);
+    perform @SCHEMA@.lt_fail('sql-core.system_history_off');
   end if;
-  res := @SCHEMA@.agg_source(res, p_tenant);
   select * into c from @SCHEMA@.compile_validator(res->'schema');
   data := data || jsonb_build_object('resolved', res || jsonb_build_object('rules', c.rules, 'vars', c.vars));
   validator := c.validator;

package/sql/50-acl.sql

@@ -306,7 +306,7 @@ declare
   c record;
 begin
   if p_op not in ('READ', 'WRITE', 'DELETE') then
-    perform @SCHEMA@.lt_fail('invalid_data', format('операция %s: нужна READ, WRITE или DELETE', p_op));
+    perform @SCHEMA@.lt_fail('sql-access.acl_bad_op', jsonb_build_object('op', p_op));
   end if;
   select * into c from @SCHEMA@.ctx();
   if c.account is null then
@@ -382,14 +382,14 @@ begin
   select e.data into a from @SCHEMA@.entity e
   where e.id = p_account and e.class = 'Account' and e.tenant = '@SYSTEM@'::uuid and coalesce((e.data->>'enabled')::boolean, true);
   if a is null then
-    perform @SCHEMA@.lt_fail('target_not_found', 'аккаунт не найден или отключён');
+    perform @SCHEMA@.lt_fail('sql-access.account_unavailable');
   end if;
   if p_tenant <> p_account then
     select x.data into m from @SCHEMA@.entity x
     where x.id = @SCHEMA@.v5_id(p_tenant, 'member', array[p_account::text, p_tenant::text]) and x.class = 'member' and x.tenant = p_tenant;
     if m is null or not exists (select 1 from @SCHEMA@.entity e where e.id = p_tenant and e.class = 'Account'
                                 and e.tenant = '@SYSTEM@'::uuid and coalesce((e.data->>'enabled')::boolean, true)) then
-      perform @SCHEMA@.lt_fail('tenant_denied', 'нет членства в арендаторе');
+      perform @SCHEMA@.lt_fail('sql-access.no_membership');
     end if;
   end if;
   cats := array(select jsonb_array_elements_text(coalesce(a->'categories', '[]'::jsonb)));
@@ -417,7 +417,7 @@ begin
       where @SCHEMA@.acl_endpoint_ok(r.pattern, p_endpoint)
       order by r.weight desc, r.deny desc, r.alias, r.id
       limit 1) w),
-    jsonb_build_object('allow', false, 'message', 'нет подходящего правила (запрет по умолчанию)'));
+    jsonb_build_object('allow', false, 'message', @SCHEMA@.lt_text('sql-access.default_deny')));
 end $$;
 
 -- db.acl.check(endpoint): решение для актора сессии по правилам System и его арендатора.
@@ -430,7 +430,7 @@ declare
 begin
   select * into c from @SCHEMA@.ctx();
   if c.account is null then
-    perform @SCHEMA@.lt_fail('no_session', 'нет действующей сессии');
+    perform @SCHEMA@.lt_fail('sql-access.no_session');
   end if;
   return @SCHEMA@.acl_api_for(c.tenant, c.categories, c.roles, p_endpoint, false);
 end $$;
@@ -445,10 +445,10 @@ declare
 begin
   select * into c from @SCHEMA@.ctx();
   if c.account is null then
-    perform @SCHEMA@.lt_fail('no_session', 'нет действующей сессии');
+    perform @SCHEMA@.lt_fail('sql-access.no_session');
   end if;
   if not coalesce((@SCHEMA@.acl_api_for(c.tenant, c.categories, c.roles, p_endpoint, true)->>'allow')::boolean, false) then
-    perform @SCHEMA@.lt_fail('acl_denied', format('нет права %s', p_endpoint));
+    perform @SCHEMA@.lt_fail('sql-access.no_right', jsonb_build_object('endpoint', p_endpoint));
   end if;
 end $$;
 
@@ -479,9 +479,7 @@ return (p_tenant = c_tenant and (p_class = 'Class' or @SCHEMA@.acl_row_ok(c_plan
     or (p_class = 'Account' and p_id = c_account)
     or (p_class = 'member' and p_links->>'User' = c_account::text);
 
--- до этапа 5 видимость не зависела от прав
-drop function if exists @SCHEMA@.row_visible(uuid, text, uuid, uuid, uuid);
-
+-- Политики: create policy не знает or replace — повторный накат пересоздаёт их (drop policy if exists и create policy).
 drop policy if exists entity_select on @SCHEMA@.entity;
 create policy entity_select on @SCHEMA@.entity for select to @APP@
   using (
@@ -520,9 +518,6 @@ create policy log_select on @SCHEMA@.log for select to @APP@
     or (class = 'member' and links->>'User' = (select @SCHEMA@.ctx_account())::text)
   );
 
--- ранняя редакция этапа 5: проверка строки по одной карте плана в политиках
-drop function if exists @SCHEMA@.acl_ok(jsonb, text, uuid, uuid, uuid, text[], jsonb, jsonb);
-
 do $$
 declare f text;
 begin