letopis 1.4.2 → 3.0.0

package/dist/internal.d.ts

@@ -9,6 +9,13 @@ export interface DbInternals {
     readonly allTenants: boolean;
     /** Фасад явной транзакции db.begin(). */
     readonly explicit: boolean;
+    /**
+     * Транзакция на администраторском пуле connect({ admin }) с сессией фасада (план 2.0, 7.9 №3): ею пишет syncModels.
+     * Только у корня подключения с опцией admin.
+     */
+    readonly adminTx?: <T>(fn: (tx: import('./tx.js').Tx) => Promise<T>) => Promise<T>;
+    /** Логгер фасада (lib/src/log.ts): им пишут syncModels и инструменты MCP. */
+    readonly log?: import('./log.js').Log;
 }
 /**
  * Пределы подключения, которых нет в опциях: реестров классов db.as() — не больше asRegistries арендаторов (план 2.0,

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

@@ -3,6 +3,14 @@ import { type Issue } from './errors.js';
 import { Registry } from './registry.js';
 type Sql = postgres.Sql<Record<string, unknown>>;
 type Raw = Record<string, unknown>;
+/** Ссылка на цель вне загрузки: строка, роль и допустимые классы конца. */
+type ExtRef = {
+    line: number;
+    role: string;
+    allowed: string[];
+};
+/** Цели вне загрузки: id → первая ссылка с каждым набором допустимых классов (сверяется каждый набор). */
+type ExtRefs = Map<string, ExtRef[]>;
 export interface LoadOptions {
     /** Повтор id в загрузке: отменить загрузку (по умолчанию), оставить первую или последнюю строку. */
     duplicates?: 'error' | 'first' | 'last';
@@ -17,15 +25,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 +41,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;
@@ -96,14 +118,8 @@ export interface InitialTuning {
 interface Pending {
     reg: Registry;
     tenant: string;
-    external: Map<string, {
-        line: number;
-        role: string;
-        allowed: string[];
-    }>;
+    external: ExtRefs;
     owners: Map<string, number>;
-    /** verify: true — id записанных строк. */
-    verify: string[] | null;
 }
 /** Состояние сессии первой заливки. */
 export interface InitialState {
@@ -115,13 +131,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 +144,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; триггеры, ограничения и индексы