letopis 1.4.1 → 2.0.0

package/dist/internal.js

@@ -4,6 +4,11 @@
  * фасад db обходит RLS, не полагаясь на то, что сообщает о себе сам вызывающий.
  */
 const facades = new WeakMap();
+/**
+ * Пределы подключения, которых нет в опциях: реестров классов db.as() — не больше asRegistries арендаторов (план 2.0,
+ * 7.4 №8). Тест меняет предел, чтобы проверить вытеснение без тысячи арендаторов.
+ */
+export const limits = { asRegistries: 1000 };
 /** Запомнить фасад (зовёт makeDb для каждого фасада, который отдаёт наружу). */
 export function registerDb(db, info) {
     facades.set(db, info);

package/dist/jsonschema.js

@@ -14,7 +14,7 @@
  *   группы и обратные ссылки отклоняются;
  * - имена полей верхнего уровня, начинающиеся с `$`, отклоняются (ими загрузчик помечает служебные ключи).
  */
-import { LetopisError } from './errors.js';
+import { lerr, lmsg } from './errors.js';
 /** Подмножество, которое понимают база и валидатор. */
 export const SUPPORTED = new Set([
     'type', 'enum', 'const', 'minLength', 'maxLength', 'pattern', 'format', 'minimum', 'maximum',
@@ -48,7 +48,7 @@ export function translatePattern(p, where = 'pattern') {
         if (c === '\\') {
             const n = p[i + 1];
             if (n === undefined)
-                throw bad(where, p, 'обратная косая черта в конце шаблона');
+                throw bad(where, p, 'model.pattern_trailing_backslash');
             i++;
             if (n === 'd')
                 out += inClass ? '0-9' : '[0-9]';
@@ -58,21 +58,21 @@ export function translatePattern(p, where = 'pattern') {
                 out += inClass ? SPACE_CLASS : `[${SPACE_CLASS}]`;
             else if (n === 'D' || n === 'W' || n === 'S') {
                 if (inClass)
-                    throw bad(where, p, `\\${n} внутри набора [ ] не переводится`);
+                    throw bad(where, p, 'model.pattern_escape_in_set', { escape: `\\${n}` });
                 out += n === 'D' ? '[^0-9]' : n === 'W' ? '[^A-Za-z0-9_]' : `[^${SPACE_CLASS}]`;
             }
             else if (n === 'b' || n === 'B')
-                throw bad(where, p, `\\${n} в PostgreSQL значит другое`);
+                throw bad(where, p, 'model.pattern_word_boundary', { escape: `\\${n}` });
             else if (n === 'p' || n === 'P')
-                throw bad(where, p, '\\p{…} не поддерживается');
+                throw bad(where, p, 'model.pattern_unicode_property');
             else if (n === 'k' || /[1-9]/.test(n))
-                throw bad(where, p, 'обратные ссылки не поддерживаются');
+                throw bad(where, p, 'model.pattern_backreference');
             else
                 out += `\\${n}`;
             continue;
         }
         if (!inClass && c === '(' && p.startsWith('(?<', i) && p[i + 3] !== '=' && p[i + 3] !== '!') {
-            throw bad(where, p, 'именованные группы не поддерживаются');
+            throw bad(where, p, 'model.pattern_named_group');
         }
         if (c === '[' && !inClass)
             inClass = true;
@@ -82,30 +82,31 @@ export function translatePattern(p, where = 'pattern') {
     }
     return out;
 }
-function bad(where, p, why) {
-    return new LetopisError('invalid_class', `${where}: шаблон ${p} несовместим с регулярными выражениями PostgreSQL (${why})`);
+/** Шаблон несовместим с PostgreSQL (`invalid_class`): ключ каталога называет причину; where и шаблон — параметры. */
+function bad(where, p, key, params) {
+    return lerr(key, { where, pattern: p, ...params });
 }
 /** Нормализует JSON Schema; бросает LetopisError('invalid_class') с названием поля и ключевого слова. */
 export function normalizeSchema(input, opts = {}) {
-    const where = opts.where ?? 'модель';
+    const where = opts.where ?? lmsg('model.schema_default_where');
     const defs = (input.$defs ?? input.definitions ?? {});
     const resolve = (ref, seen) => {
         const m = /^#\/(?:\$defs|definitions)\/(.+)$/.exec(ref);
         if (!m)
-            throw new LetopisError('invalid_class', `${where}: ссылка ${ref} не поддерживается (только #/$defs/…)`);
+            throw lerr('model.schema_ref_unsupported', { where, ref });
         const name = decodeURIComponent(m[1].replace(/~1/g, '/').replace(/~0/g, '~'));
         if (seen.includes(name))
-            throw new LetopisError('invalid_class', `${where}: рекурсивная модель через ${[...seen, name].join(' → ')}`);
+            throw lerr('model.schema_recursive', { where, cycle: [...seen, name].join(' → ') });
         const target = defs[name];
         if (!target)
-            throw new LetopisError('invalid_class', `${where}: определение ${name} не найдено`);
+            throw lerr('model.schema_def_not_found', { where, name });
         return node(target, [...seen, name], name);
     };
     const node = (s, seen, path) => {
         if (s === true)
             return {};
         if (s === null || typeof s !== 'object' || Array.isArray(s)) {
-            throw new LetopisError('invalid_class', `${where}: описание узла ${path} — не объект`);
+            throw lerr('model.schema_node_not_object', { where, node: path });
         }
         if (typeof s.$ref === 'string') {
             const rest = Object.keys(s).filter((k) => k !== '$ref' && !DROPPED.has(k));
@@ -127,7 +128,7 @@ export function normalizeSchema(input, opts = {}) {
                 out[k] = v;
             }
             else if (VOCABULARY.has(k)) {
-                throw new LetopisError('invalid_class', `${where}: ключевое слово ${k} не поддерживается (узел ${path})`);
+                throw lerr('model.schema_keyword_unsupported', { where, keyword: k, node: path });
             }
             else {
                 meta[k] = v; // пометки .meta() Zod и прочие свободные ключи
@@ -137,7 +138,7 @@ export function normalizeSchema(input, opts = {}) {
             out['x-meta'] = { ...(out['x-meta'] ?? {}), ...meta };
         if (typeof out.format === 'string') {
             if (!FORMATS.has(out.format))
-                throw new LetopisError('invalid_class', `${where}: format ${out.format} не поддерживается (узел ${path})`);
+                throw lerr('model.schema_format_unsupported', { where, format: out.format, node: path });
         }
         if (typeof out.pattern === 'string')
             out.pattern = translatePattern(out.pattern, `${where}: ${path}`);
@@ -160,7 +161,7 @@ export function normalizeSchema(input, opts = {}) {
     if (opts.topLevel && out.properties && typeof out.properties === 'object') {
         for (const k of Object.keys(out.properties)) {
             if (k.startsWith('$'))
-                throw new LetopisError('invalid_class', `${where}: имя поля ${k} начинается с $ — так загрузчик помечает служебные ключи`);
+                throw lerr('model.schema_field_dollar', { where, field: k });
         }
     }
     return out;

package/dist/load.d.ts

@@ -17,15 +17,13 @@ export interface LoadOptions {
      * переносят историю объектов из другой системы.
      */
     withHistory?: boolean;
-    /** В конце перепроверить загруженные строки проверкой базы. */
-    verify?: boolean;
     /** Класс строк без $class (CLI --class). */
     class?: string;
     /** Арендатор строк (по умолчанию — арендатор сессии). */
     tenant?: string;
     /**
      * Исполнитель записи — строка, которую журнал сохранит в поле `agent` загруженных версий рядом с автором (по умолчанию
-     * «letopis load»; импорт — «letopis import»).
+     * «letopis load»).
      */
     agent?: string;
     /**
@@ -35,12 +33,28 @@ export interface LoadOptions {
      */
     as?: string;
     /**
-     * Первая заливка (план 1.1, §2.3): только в пустую схему (кроме строк системных классов — иначе
+     * Первая заливка: только в пустую схему (кроме строк системных классов — иначе
      * not_empty), одной транзакцией; на время загрузки схема закрыта, индексы и триггеры сняты и
      * перестраиваются в конце. Без commitEvery, existing (кроме 'error') и { as }.
      */
     initial?: boolean;
 }
+/**
+ * Все опции load(): неизвестная — invalid_data с похожими (checkOptions; план 2.0, 7.10 №4). Фасад db.load() сверяет их
+ * до пула администратора (index.ts), load() — ещё раз до проверки прав.
+ */
+export declare const LOAD_OPTIONS: {
+    duplicates: true;
+    existing: true;
+    batch: true;
+    commitEvery: true;
+    withHistory: true;
+    class: true;
+    tenant: true;
+    agent: true;
+    as: true;
+    initial: true;
+};
 export interface LoadReport {
     /** Строк во входе. */
     rows: number;
@@ -102,8 +116,6 @@ interface Pending {
         allowed: string[];
     }>;
     owners: Map<string, number>;
-    /** verify: true — id записанных строк. */
-    verify: string[] | null;
 }
 /** Состояние сессии первой заливки. */
 export interface InitialState {
@@ -115,13 +127,9 @@ export interface InitialState {
     touched: Map<string, Set<string>>;
     freeze: boolean;
 }
-/** Первая заливка для нескольких загрузок (импорт): соединение и транзакция сессии. */
+/** Первая заливка для нескольких загрузок: загрузки идут на соединении и в транзакции сессии. */
 export interface InitialSession {
-    /** Соединение сессии (роль владельца): свои операторы импорта — в той же транзакции. */
-    readonly sql: Sql;
     load(input: LoadInput, opts?: LoadOptions): Promise<LoadReport>;
-    /** id уже есть в схеме: строка системного класса или объект, записанный этой сессией. */
-    taken(id: string): boolean;
 }
 /**
  * Загрузить строки (§2.6). Одна транзакция (или порции commitEvery): описания классов под
@@ -132,7 +140,7 @@ export interface InitialSession {
 export declare function load(env: LoadEnv, input: LoadInput, opts?: LoadOptions): Promise<LoadReport>;
 /**
  * Первая заливка (план 1.1, §2.3): загрузки fn — одной транзакцией в пустую схему. Блокировка таблиц до
- * проверки; в схеме только строки системных классов и записи reset (иначе not_empty); они (с seq и tx
+ * проверки; в схеме только строки системных классов (иначе not_empty); они (с seq и tx
  * журнала) и определения ограничений, индексов и триггеров из каталога (с режимом включения tgenabled:
  * pg_get_triggerdef его не передаёт) сохраняются в памяти; внешний ключ secret.account снимается до TRUNCATE и
  * возвращается после первичного ключа entity; TRUNCATE; триггеры, ограничения и индексы