vimp-engine 0.33.2 → 0.34.0

package/core/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "vimp-engine-core"
-version = "0.19.0"
+version = "0.20.0"
 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.33.2",
+  "version": "0.34.0",
   "description": "VIMP — движок-приложение (мастер, P2P-транспорт, Worker-хост, мета, MVC-каркас клиента)",
   "license": "MIT",
   "repository": {

package/src/client/main.js

@@ -596,6 +596,8 @@ function applyMapData(data, { notifyHost = true } = {}) {
         // значит и предсказание подъёма. Не доехав до клиентской `MapLevels`,
         // она дала бы другой уклон, чем у хоста, — расхождение молчаливое
         levelHeight: data.levelHeight,
+        // непрозрачные данные игры: движок их не читает и не масштабирует
+        game: data.game,
       }),
     );
   } catch (e) {
@@ -673,6 +675,9 @@ function applyMapData(data, { notifyHost = true } = {}) {
         // прежнее имя оставлено для парта, который его уже читает
         physicsStatic,
         scale,
+        // непрозрачные данные игры (`map.game`) как объявлены в карте: без
+        // масштабирования. `physicsDynamic[i].game` доезжает до `d{i}` сам
+        game: data.game,
       };
 
       staticIndex += 1;

package/src/devtools/VirtualClient.js

@@ -206,6 +206,8 @@ class VirtualClient {
           // разъедется с авторитетным молча
           levels: data.levels,
           ramps: data.ramps,
+          // непрозрачные данные игры — как в main.js
+          game: data.game,
         }),
       );
     } catch (e) {

package/src/devtools/contract/rules/d3-snapshot-interp.js

@@ -3,11 +3,16 @@ import { ERROR, skip, verdict } from '../result.js';
 // Интерполируются только f32 и только в горячих блоках. interp на u8 или
 // в event-блоке не ошибка сборки — он просто не исполняется, и поле
 // дёргается вместо плавного движения.
+//
+// Там же — роль `state` (байт состояния тела карты): u8 сразу за головой
+// строки динамики (позиция 5 у слоёной строки, 3 — у плоской) и до
+// опционального хвоста. Ядро отвергает иное при загрузке карты, то есть
+// уже в запущенном матче (зеркало `BlockSchema::validate_roles`).
 export default {
   id: 'D3',
   name: 'snapshotInterp',
   level: ERROR,
-  title: "interp only on f32 fields of class 'hot' blocks",
+  title: "interp only on f32 fields of class 'hot' blocks; role 'state' is a u8 right after the row head",
 
   check(ctx) {
     const snapshot = ctx.gameConfig?.snapshot;
@@ -19,6 +24,8 @@ export default {
     const violations = [];
 
     for (const [key, block] of Object.entries(snapshot)) {
+      checkStateRole(key, block, violations);
+
       for (const field of block.fields ?? []) {
         if (field.interp === undefined) {
           continue;
@@ -43,3 +50,39 @@ export default {
     return verdict(violations);
   },
 };
+
+// позиции зафиксированы движком (`GameMap::dynamic_map_data_with_state`)
+const STATE_INDEX_FLAT = 3;
+const STATE_INDEX_LAYERED = 5;
+
+function checkStateRole(key, block, violations) {
+  const fields = block.fields ?? [];
+  const layered = fields[3]?.role === 'z' && fields[4]?.role === 'level';
+  const expected = layered ? STATE_INDEX_LAYERED : STATE_INDEX_FLAT;
+
+  fields.forEach((field, index) => {
+    if (field.role !== 'state') {
+      return;
+    }
+
+    const at = `snapshot "${key}".${field.name}`;
+
+    if (index !== expected) {
+      violations.push(
+        `${at}: role 'state' at index ${index}, the engine writes it at ` +
+          `${expected} (right after the ${layered ? 'layered' : 'flat'} row head)`,
+      );
+    }
+
+    if (field.ty !== 'u8') {
+      violations.push(`${at}: role 'state' must be ty "u8", got "${field.ty}"`);
+    }
+
+    if (block.optionalFrom !== undefined && block.optionalFrom <= index) {
+      violations.push(
+        `${at}: role 'state' at index ${index} lies inside the optional tail ` +
+          `(optionalFrom ${block.optionalFrom}) — a resting body would lose it`,
+      );
+    }
+  });
+}

package/src/devtools/contract/rules/e7-map-game-field.js

@@ -0,0 +1,58 @@
+import { ERROR, skip, verdict } from '../result.js';
+
+// Поле карты `game` (и `physicsDynamic[i].game`) — пространство игры:
+// движок его не читает и не масштабирует, но фиксирует форму. Ядро
+// (`MapConfig::validate`) отвергает не-объект при загрузке карты, то есть в
+// уже запущенном матче; здесь то же ловится до сборки.
+export default {
+  id: 'E7',
+  name: 'mapGameField',
+  level: ERROR,
+  title: 'map game field is a plain object',
+
+  check(ctx) {
+    const maps = ctx.gameConfig?.maps;
+
+    if (!maps) {
+      return skip('no gameConfig.maps');
+    }
+
+    const declared = Object.entries(maps).filter(
+      ([, map]) =>
+        map?.game !== undefined ||
+        (map?.physicsDynamic ?? []).some(object => object?.game !== undefined),
+    );
+
+    if (!declared.length) {
+      return skip('no map declares game');
+    }
+
+    const violations = [];
+
+    for (const [name, map] of declared) {
+      if (map.game !== undefined && !isPlainObject(map.game)) {
+        violations.push(`map "${name}": game is not a plain object`);
+      }
+
+      for (const [index, object] of (map.physicsDynamic ?? []).entries()) {
+        if (object?.game !== undefined && !isPlainObject(object.game)) {
+          violations.push(
+            `map "${name}": physicsDynamic ${index} game is not a plain object`,
+          );
+        }
+      }
+    }
+
+    return verdict(violations);
+  },
+};
+
+// `null` ядро принимает как «не объявлено», но в исходнике карты это почти
+// всегда опечатка — правило требует либо объект, либо отсутствие поля
+function isPlainObject(value) {
+  return (
+    value !== null &&
+    typeof value === 'object' &&
+    Object.getPrototypeOf(value) === Object.prototype
+  );
+}

package/src/devtools/contract/rules/index.js

@@ -35,6 +35,7 @@ import e3 from './e3-sound-registry.js';
 import e4 from './e4-map-layers.js';
 import e5 from './e5-map-radar-walls.js';
 import e6 from './e6-sound-spatial.js';
+import e7 from './e7-map-game-field.js';
 
 // Порядок групп — порядок отчёта: A пакет и сборка, B host, C client,
 // D снапшот, E ассеты (plan/create-vimp-game/stage_1.md).
@@ -43,7 +44,7 @@ export const rules = [
   b1, b2, b3, b4, b5, b6, b7, b8, b9, b10,
   c1, c2, c3, c4, c5, c6, c7, c8, c9, c10, c11,
   d1, d2, d3,
-  e1, e2, e3, e4, e5, e6,
+  e1, e2, e3, e4, e5, e6, e7,
 ];
 
 export default rules;

package/src/lib/capabilities.js

@@ -35,6 +35,14 @@ export const ENGINE_CAPABILITIES = createRegistry('engine-capabilities', [
   // уклон рампы в ядре, поле `levelHeight` в контексте статического парта,
   // прогоны рамп уровня (`ramps`) там же, коллайдеры-стражи прогона
   { value: 'map.levelHeight', since: '0.32.0' },
+  // непрозрачное поле карты `game` (и `physicsDynamic[i].game`): до
+  // игрового ядра хоста, `ClientCore.set_map` и партов карты; хук ядра
+  // `GameSim::on_map_loaded`
+  { value: 'map.gameData', since: '0.34.0' },
+  // байт состояния тела карты (роль `state` в строке динамики,
+  // `SimCtx::map_body_state`) и доступ игры к телам карты по индексу
+  // (хэндл, индекс по хэндлу, отключение тела)
+  { value: 'map.bodyState', since: '0.34.0' },
 ]);
 
 // плоский список имён — то, чем правило контракта B2 проверяет `requires`