vimp-engine 0.24.0 → 0.24.1

package/core/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "vimp-engine-core"
-version = "0.9.1"
+version = "0.9.2"
 edition = "2024"
 description = "VIMP — движковый каркас симуляции (физика, карта, снапшот-фрейминг, интерполяция/предикт/raycast-примитивы, нав-утилиты). Без wasm-bindgen — обёртки для WASM-ABI собирает game-crate."
 license = "MIT"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "vimp-engine",
-  "version": "0.24.0",
+  "version": "0.24.1",
   "description": "VIMP — движок-приложение (мастер, P2P-транспорт, Worker-хост, мета, MVC-каркас клиента)",
   "license": "MIT",
   "repository": {

package/src/devtools/contract/rules/b2-engine-api.js

@@ -17,11 +17,16 @@ import {
 //
 // Возможности из `manifest.requires` проверяются по реестру установленного
 // движка: имени, которого нет, движок дать не может — игра просит будущее.
+// `requires` при этом живёт в трёх местах пакета (манифест + обе половины
+// плагина), и их расхождение — такой же рассинхрон сборки, как расхождение
+// `engineApi`.
 export default {
   id: 'B2',
   name: 'engineApiVersion',
   level: ERROR,
-  title: 'engineApi is consistent and requires name existing capabilities',
+  title:
+    'engineApi is consistent, requires names existing capabilities and ' +
+    'agrees between the manifest and both plugin halves',
 
   check(ctx) {
     // манифест первый: он — то, что о поколении пакета читает движок,
@@ -66,6 +71,8 @@ export default {
     const requires = ctx.manifest?.requires;
 
     if (requires === undefined || requires === null) {
+      violations.push(...halfViolations(ctx, []));
+
       return finish(violations, retired);
     }
 
@@ -103,10 +110,72 @@ export default {
       }
     }
 
+    violations.push(...halfViolations(ctx, requires));
+
     return finish(violations, retired);
   },
 };
 
+// `requires` пишут три места одного пакета: скрипт сборки манифеста и обе
+// половины плагина (последние — ради standalone SDK, у которого манифеста
+// нет). Разъехавшись, они дают игру, которую лобби честно отвергает, а
+// solo-режим принимает и тихо недоигрывает. Половина без поля из сверки
+// исключена: пакет, собранный до появления поля, обязан оставаться
+// валидным (И1/И2)
+function halfViolations(ctx, manifestRequires) {
+  const wanted = new Set(manifestRequires);
+  const violations = [];
+  const halves = [
+    ['HostPlugin', ctx.hostPlugin?.requires],
+    ['ClientPlugin', ctx.clientPlugin?.requires],
+  ].filter(([, value]) => value !== undefined && value !== null);
+
+  for (const [where, value] of halves) {
+    if (!Array.isArray(value) || value.some(name => typeof name !== 'string')) {
+      violations.push(
+        `${where}.requires must be an array of capability names, got ` +
+          `${JSON.stringify(value)} — the standalone SDK reads it`,
+      );
+      continue;
+    }
+
+    const extra = value.filter(name => !wanted.has(name));
+
+    if (extra.length) {
+      violations.push(
+        `${where}.requires names ${extra.join(', ')}, which ` +
+          'manifest.requires does not list — the lobby master reads the ' +
+          'manifest, so the two must agree',
+      );
+    }
+  }
+
+  // «поле объявлено» — это наличие ключа, а не непустой список: половина с
+  // `requires: []` утверждает, что игре ничего не нужно, и расходится с
+  // манифестом, который просит возможность. Половина БЕЗ поля не утверждает
+  // ничего — пакет, собранный до его появления
+  if (halves.length === 0) {
+    return violations;
+  }
+
+  const declared = halves
+    .map(([, value]) => value)
+    .filter(Array.isArray)
+    .flat();
+
+  const missing = [...wanted].filter(name => !declared.includes(name));
+
+  if (missing.length) {
+    violations.push(
+      `manifest.requires names ${missing.join(', ')}, which neither plugin ` +
+        'half declares — the standalone SDK has no manifest and would run ' +
+        'the game on an engine that cannot support it',
+    );
+  }
+
+  return violations;
+}
+
 // то же, что делают B5 и C10: выведенное имя — не отказ, а предупреждение.
 // Отвергать за него значило бы отвергать игру за возраст (И1)
 function finish(violations, retired) {

package/src/devtools/contract/rules/c10-auth-schema.js

@@ -18,8 +18,8 @@ export default {
   name: 'authSchema',
   level: ERROR,
   title:
-    'authSchema: fieldsId, no nickname field, the model field, resolvable ' +
-    'validators',
+    'authSchema: fieldsId, no nickname field, the model field, inline ' +
+    'options, resolvable validators',
 
   check(ctx) {
     if (!ctx.authSchema) {
@@ -71,6 +71,21 @@ export default {
         );
       }
 
+      // `source` резолвится вызывающей стороной через ctx.sources, а
+      // auth-форма строится с ПУСТЫМ ctx (client/components/view/Auth.js) —
+      // значит список вариантов у такого поля пуст всегда: игрок видит
+      // 'no options available' и войти не может, а хост отвергает любое
+      // значение как не-вариант. Это только для authSchema; в roomForm
+      // (правило B5) source штатный — там движок отдаёт каталог карт
+      if (field.options?.source !== undefined) {
+        violations.push(
+          `authSchema param "${field.name}" declares options.source ` +
+            `"${field.options.source}" — the auth form is built without ` +
+            'sources, so the field resolves to an empty list and nobody can ' +
+            'log in; inline the options',
+        );
+      }
+
       const validatorName = field.options?.validator;
 
       // опечатка в имени (как и не-функция под верным именем) = поле не

package/src/host/GameCoreAdapter.js

@@ -1,5 +1,3 @@
-import { ABI_OP_DEBUG_JSON } from '../config/abiOps.js';
-import { readCoreAbi, dispatchCoreOp } from '../lib/coreAbi.js';
 // Адаптер Rust-ядра (GameCore) под интерфейс, который потребляют мета-модули
 // хоста (RoundManager, SocketManager) и host-фасад. За поверхностью Game.js
 // (+ упаковка снапшотов) стоит WASM-ядро; события ядра (take_events) несут
@@ -12,6 +10,9 @@ import { readCoreAbi, dispatchCoreOp } from '../lib/coreAbi.js';
 // (spawn_scripted_actor/remove_scripted_actor), человек — только танк
 // (spawn_actor/remove_actor).
 
+import { ABI_OP_DEBUG_JSON } from '../config/abiOps.js';
+import { readCoreAbi, dispatchCoreOp } from '../lib/coreAbi.js';
+
 export default class GameCoreAdapter {
   /**
    * @param {GameCore} core - экземпляр WASM-ядра.

package/src/lib/coreAbi.js

@@ -63,8 +63,6 @@ export function readCoreAbi(core, label = 'core') {
   };
 }
 
-export default readCoreAbi;
-
 /**
  * Зовёт необязательную возможность ядра опкодом. Единственное место, где
  * движок вызывает `dispatch` — и игровой половины, и клиентской: таблица
@@ -96,13 +94,44 @@ export function dispatchCoreOp(core, abi, op, payload = EMPTY_PAYLOAD) {
     );
   }
 
-  const resolved = abiOps.resolve(op);
+  // Направление резолва здесь ОБРАТНОЕ остальным реестрам, и это не описка.
+  // Имя контрола или сервиса пишет игра, а движок разрешает его вперёд, в
+  // активное. Имя опкода пишет ДВИЖОК, а понимать его должно уже
+  // опубликованное ядро, которое старше движка: разрешив 'debug.json' в
+  // будущее 'debug.dump', движок спросил бы у старого ядра имя, которого в
+  // нём нет, и молча потерял бы возможность на ровно тех ядрах, ради
+  // которых весь план и писался. Поэтому пробуется вся цепочка: активное
+  // имя первым, выведенные — как запасной путь для старого ядра
+  const known = abiOps
+    .chain(op)
+    .map(entry => entry.value)
+    .reverse()
+    .find(name => abi.ops.includes(name));
+
+  if (known === undefined) {
+    return NOT_HANDLED;
+  }
 
-  if (!abi.ops.includes(resolved)) {
+  // ядро с самоописанием, но без самого dispatch (ручное раскрытие макроса,
+  // обрезанная сборка, мок в тестах игры) — не краш движка, а ядро без
+  // опциональных возможностей: тот же исход, что «опкод не понят»
+  if (typeof core.dispatch !== 'function') {
     return NOT_HANDLED;
   }
 
-  const out = core.dispatch(resolved, payload);
+  const out = core.dispatch(known, payload);
+
+  // ответ ядра нормализуется так же, как самоописание: не-Uint8Array
+  // (undefined, строка, null) — это чужая форма, а не полезные байты, и
+  // TypeError на .length ушёл бы в конструктор адаптера или в async-обработчик
+  // PS_CONFIG_DATA невыловленным промисом
+  if (!(out instanceof Uint8Array)) {
+    if (out !== undefined && out !== null) {
+      console.warn(`dispatchCoreOp: "${known}" answered with a non-Uint8Array`);
+    }
+
+    return NOT_HANDLED;
+  }
 
   if (out.length === 0) {
     return NOT_HANDLED;
@@ -114,3 +143,7 @@ export function dispatchCoreOp(core, abi, op, payload = EMPTY_PAYLOAD) {
     bytes: out.length === 1 && out[0] === 0x00 ? null : out,
   };
 }
+
+// дефолтный экспорт — чтение самоописания: с него начинается работа с
+// любым ядром, dispatchCoreOp зовётся уже с его результатом
+export default readCoreAbi;

package/src/lib/gamePlugin.js

@@ -41,6 +41,27 @@ export async function fetchGameManifest(url) {
 // мастера, Node-загрузчик, браузерный клиент, standalone SDK) разная
 // правильная реакция — каталог помечает игру недоступной и продолжает
 // раздавать остальные, остальные три бросают.
+
+/** Объявлено ли `requires` вообще (undefined/null = «ничего сверх базового»). */
+const isDeclared = value => value !== undefined && value !== null;
+
+/**
+ * Склеивает несколько объявлений `requires` в одно. Спредить их напрямую
+ * нельзя: строка разошлась бы посимвольно ('accolades' → 'a','c','c'...) и
+ * проехала бы проверку формы ниже, потому что каждый символ — валидная
+ * строка. Недоверенное значение возвращается КАК ЕСТЬ, чтобы о его форме
+ * говорила одна точка — checkPluginCompatibility, — а не место склейки.
+ * @param {...*} sources - Значения `requires` (половины плагина, опция SDK).
+ * @returns {Array<string>|*} Объединение объявленных списков либо первое
+ *   значение неверной формы.
+ */
+export function mergeRequires(...sources) {
+  const declared = sources.filter(isDeclared);
+  const malformed = declared.find(source => !Array.isArray(source));
+
+  return malformed ?? [...new Set(declared.flat())];
+}
+
 export function checkPluginCompatibility(manifest) {
   const wanted = manifest.requires;
 

package/src/lib/loadGamePackage.js

@@ -106,6 +106,74 @@ function assertPluginMatchesManifest(manifest, plugins) {
       );
     }
   }
+
+  assertRequiresMatchManifest(manifest, plugins);
+}
+
+// `requires` пишут ТРИ независимых места одного пакета игры: скрипт сборки
+// манифеста и обе половины плагина (последние — ради standalone SDK, у
+// которого манифеста нет вовсе). Разъехавшись, они дают игру, которая в
+// лобби честно отвергается, а в solo-режиме тихо недоигрывает — то есть
+// именно тот молчаливый режим, ради отказа от которого возможности и
+// заводились. Проверка — того же класса, что сверка engineApi выше: это
+// рассинхрон сборки ВНУТРИ пакета, а не отказ по возрасту (И4).
+//
+// Половина, вовсе НЕ объявившая поле, из сверки исключена: старый пакет,
+// собранный до его появления, обязан грузиться (И1/И2). Объявленное пустым
+// (`requires: []`) — уже утверждение «игре ничего не нужно», и оно
+// расходится с манифестом наравне с неполным списком.
+function assertRequiresMatchManifest(manifest, plugins) {
+  const wanted = new Set(
+    Array.isArray(manifest.requires) ? manifest.requires : [],
+  );
+
+  for (const [half, plugin] of Object.entries(plugins)) {
+    if (plugin.requires === undefined || plugin.requires === null) {
+      continue;
+    }
+
+    if (!Array.isArray(plugin.requires)) {
+      throw new Error(
+        `game "${manifest.id}": ${half} plugin requires must be an array ` +
+          'of capability names',
+      );
+    }
+
+    const extra = plugin.requires.filter(name => !wanted.has(name));
+
+    if (extra.length) {
+      throw new Error(
+        `game "${manifest.id}": ${half} plugin requires ` +
+          `${extra.join(', ')}, which manifest.requires does not list — ` +
+          'stale dist/ (the manifest is what the lobby master reads)',
+      );
+    }
+  }
+
+  // обратная сторона: манифест просит возможность, о которой половины не
+  // знают. Половина, вовсе не объявившая поле, из сверки исключена — иначе
+  // правка ломала бы каждый уже опубликованный пакет. Объявленное пустым
+  // (`requires: []`) — это утверждение «ничего не нужно», и оно расходится
+  // с манифестом наравне с неполным списком
+  const halves = Object.values(plugins).filter(
+    plugin => plugin.requires !== undefined && plugin.requires !== null,
+  );
+
+  if (halves.length === 0) {
+    return;
+  }
+
+  const declared = halves.flatMap(plugin => plugin.requires);
+
+  const missing = [...wanted].filter(name => !declared.includes(name));
+
+  if (missing.length) {
+    throw new Error(
+      `game "${manifest.id}": manifest.requires names ${missing.join(', ')}, ` +
+        'which neither plugin half declares — stale dist/ (the standalone ' +
+        'SDK reads the halves, there is no manifest in solo mode)',
+    );
+  }
 }
 
 function importDefault(baseDir, entry, assetsBase) {

package/src/lib/validators.js

@@ -1,6 +1,6 @@
 import { anchorPattern } from './formPattern.js';
 import { normalizeOptions } from './formOptions.js';
-import { resolveDescriptor } from './formControls.js';
+import { formControls, resolveDescriptor } from './formControls.js';
 import { toDisplay, isNumericField } from './formUnit.js';
 
 const NAME_REGEXP = new RegExp('^[a-zA-Z]([\\w\\s#]{0,13})[\\w]{1}$');
@@ -56,15 +56,25 @@ const numericError = (options, value) => {
     return `must be <= ${options.max}`;
   }
 
+  // regExp — не дубль диапазона: сгенерированный сборкой паттерн (вроде
+  // "^([1-8])$") ловит то, что диапазон пропускает — дробное и ведущий
+  // ноль. Клиент проверяет числовое поле и тем, и другим (formBuilder.
+  // validateField), и сверяет паттерн с СЫРОЙ строкой поля, то есть со
+  // значением в единице отображения — здесь то же самое
+  if (options.regExp && !matchesPattern(options.regExp, String(shown))) {
+    return 'invalid format';
+  }
+
   return null;
 };
 
-// source-варианты хост не резолвит (их и форма в auth не резолвит: она
-// строится с пустым ctx) — сверяем только объявленный inline-список.
-// String(): и <option>.value, и <input type=radio>.value — DOM-свойства,
-// они всегда строки, так что options: [1, 2] форма отдаёт как '1'/'2'.
-// Списка нет вовсе (или он не массив — дефект схемы) — валидного значения у
-// поля не существует, и форма это говорит прямо ('no options available'):
+// Сверяется только объявленный inline-список. String(): и <option>.value, и
+// <input type=radio>.value — DOM-свойства, они всегда строки, так что
+// options: [1, 2] форма отдаёт как '1'/'2'.
+//
+// Списка нет вовсе — ни массива, ни `source` (последний в auth-схеме не
+// резолвится: форма строится с пустым ctx). Валидного значения у такого поля
+// не существует, и форма это говорит прямо ('no options available'):
 // пропустить здесь что угодно значило бы дать обошедшему форму клиенту
 // больше прав, чем игроку, который войти не может вовсе
 const isDeclaredOption = (list, value) =>
@@ -152,6 +162,17 @@ export const validateAuth = (data, authParams, validators = {}) => {
     const options = resolveDescriptor(declared);
     const value = data[name];
 
+    // Контрол, которого нет в реестре, — дефект схемы (опечатка или игра из
+    // будущего), и билдер выносит ему тот же приговор: поле не строится
+    // (`unknown control`), в сабмит не попадает и до хоста не доезжает.
+    // Значит доехать оно может только от клиента, обошедшего форму, — и
+    // проверить его нечем: ниже не совпадёт ни одна ветка, останется лишь
+    // потолок длины. Отвергаем явно; раньше это ловит правило C10
+    if (options?.control !== undefined && !formControls.has(options.control)) {
+      errors.push({ name, error: 'unknown control' });
+      continue;
+    }
+
     // Числовое поле идёт своей веткой: форма отдаёт его числом, и общий
     // путь ниже (длина, список вариантов, regExp) к нему не применим —
     // проверяется диапазон, ровно как validateField делает на клиенте.
@@ -194,9 +215,16 @@ export const validateAuth = (data, authParams, validators = {}) => {
     // членство в списке вариантов — самое жёсткое ограничение формы: без
     // этой проверки поле-select без игрового валидатора принимает от
     // обошедшего форму клиента любую строку
+    // `source` (спец-источник вариантов движка, например карты) в auth-схеме
+    // не работает вовсе: auth-форма строится с ПУСТЫМ ctx
+    // (client/components/view/Auth.js), поэтому у игрока такое поле
+    // резолвится в пустой список и получает 'no options available' — войти
+    // с ним нельзя. Пропустив его здесь, хост дал бы обошедшему форму
+    // клиенту произвольную строку там, где игрок не может ввести ничего:
+    // инвариант модуля наизнанку. Отвергаем как и любой не-вариант; раньше
+    // это ловит правило C10
     if (
       OPTION_CONTROLS.includes(options?.control) &&
-      !options.source &&
       !isDeclaredOption(options.options, value)
     ) {
       errors.push({ name, error: 'not an option' });

package/src/standalone/index.js

@@ -1,6 +1,7 @@
 import {
   assertGameConfigShape,
   checkPluginCompatibility,
+  mergeRequires,
 } from '../lib/gamePlugin.js';
 import { setBootConfig } from '../client/boot.js';
 import { ensureGameShell } from '../client/views/gameShell.js';
@@ -72,10 +73,12 @@ export async function startStandaloneGame({
   // незачем
   requireCompatible({
     id: hostPlugin.id,
-    requires: requires ?? [
-      ...(hostPlugin.requires ?? []),
-      ...(clientPlugin.requires ?? []),
-    ],
+    // mergeRequires, а не спред: строка вместо массива ('accolades' —
+    // естественная опечатка в поле, которого у игры раньше не было)
+    // разошлась бы посимвольно и дала отказ со списком букв вместо внятного
+    // «должен быть массив», а объект уронил бы SDK «not iterable»
+    requires:
+      requires ?? mergeRequires(hostPlugin.requires, clientPlugin.requires),
   });
 
   // одна view на прогон: умолчания вместо обязательных полей (И2 этапа 2)