V-Sekai Fire Deck Log — 2026-04-25 (Saturday)

Date: 2026-04-25

Backdated from multiplayer-fabric/CHANGELOG.md [0.2.0] through [0.5.0] — all four releases shipped on the same day.

Added

  • taskweft HRR property tests (67 properties) — all green after fixes
  • Taskweft.Test.DBHelpers — auto-detects multiplayer-fabric-hosting/certs/crdb/ TLS certs; replaces hardcoded sslmode=disable URL in all three prop test files
  • Module-level Postgrex pool in each prop test module (setup_all) — eliminates per-forall-iteration TLS connection overhead that caused 60 s ExUnit timeouts during PropCheck shrinking
  • Zone backend /api/v1 prefix moved into Phoenix router (scope "/api/v1"); Caddy no longer strips the prefix. 6/6 QA tests green on production
  • Playwright tests:
    • wt_browser.spec.ts — browser WebTransport datagram echo PASS 1.4 s
    • godot_web_init.spec.ts — threaded wasm64 engine loads PASS 1.1 s
    • godot_wt_e2e.spec.ts — Godot web export WebTransportPeer end-to-end datagram echo PASS 3.3 s (4 C++ bugs fixed to reach green)
  • operator_camera.gd — 2.5D top-down operator camera with twist/swing [0, 1] per axis (Survey mode: Q/E snap, scroll zoom, WASD pan; Follow mode: Blue Archive smooth entity tracking). Input actions added to project.godot. See 20260425-operator-camera-2-5d.md
  • window.__camera_state exported via JavaScriptBridge.eval() for Playwright inspection without a full Godot web build
  • Playwright operator camera test (operator_camera.spec.ts) — Layer 1 JS simulation 7/7 pass; Layer 2 Godot web export test scaffolded (skipped until export built)
  • WasmEquiv.lean — vm_deterministic proves compile-once libriscv VM correctness across native and Emscripten WASM hosts
  • ADRs: Three.js WebGPU observer (Stage 1), Three.js player (Stage 2), dual-client test, headless test matrix, build cache pipeline, CRIS scoring, jellyfish game, jellyfish pass condition, operator overlay, operator camera
  • headless_log_observer.gd — corrected default port to UDP 7443; added --host, --port, --dump-json, --frames CLI flags. Exit 0 on entities received, exit 1 on timeout
  • fabric_client.gd — send_player_input(cmd, pos, extra) generic CH_PLAYER write path. Default port corrected to 7443
  • observer.tscn — XROrigin3D + XRCamera3D + left/right XRController3D added; port corrected to 7443
  • fabric_player_xr.gd — OpenXR initialisation with silent desktop fallback
  • test_operator_camera.gd — headless quaternion unit tests (4/4 pass): downward look, 90° twist, swing elevation constant, equivalence to old Euler hierarchy
  • headless_go.spec.ts — Playwright Phase 1 GO spec; spawns godot --headless observer and asserts entities.length > 0 from --dump-json output
  • headless_tests.yml — GitHub Actions workflow scaffolding for GO branch protection check (requires full Docker Compose stack to pass)
  • ADRs: Godot native headless observer (20260425-godot-observer.md), Godot native PCVR player (20260425-godot-player.md). Supersede Three.js ADRs
  • Lean proofs (multiplayer-fabric-taskweft/lean/): ZoneProtocol (port assignment, 100-byte packet layout), ZoneObserver (exit semantics, step monotonicity), ZonePlayer (CH_PLAYER cmd distinctness, camera swing invariant across all operator inputs)

Changed

  • Client strategy: Godot wasm32/wasm64 web export dropped. Two clients replace it — Godot native PCVR (VR + entity control) and Three.js WebGPU (browser observer + WebXR). See 20260425-threejs-observer.md
  • observer.tscn — SpectatorRig replaced by OperatorRig with operator_camera.gd; StatusHUD re-parented to new camera path
  • operator_camera.gd — swing-twist orientation now built as a single Quaternion (twist_q * swing_q) on CameraPivot instead of Euler angles split across pivot and arm. SpringArm3D carries no rotation
  • Client strategy updated: Three.js ADRs superseded by Godot native observer and player. Three.js browser client moved to SOMEDAY
  • runner.yml — always() added to docker-images and headless-tests so sibling job failures (android, ios, etc.) do not skip them
  • gitassembly — checkpointed multiplayer-fabric stage to start from remote HEAD; reassembled and pushed via update_godot_v_sekai.exs

Fixed

  • Storage.query_all/3 — Enum.map(nil, ...) crash on DML statements (INSERT/UPDATE/DELETE return rows: nil in Postgrex). Fixed with rows || []
  • Four transaction rollback tests — raise "rollback" inside rescue _ -> :ok committed instead of rolling back. Fixed with Postgrex.rollback(conn, :rollback)
  • references.bib — non-ASCII bytes (en dashes, smart quotes, invalid Win-1252 sequences) replaced with ASCII equivalents
  • _server_path_callback — prefer p_path_app_ctx over p_stream_ctx->path_callback_ctx (proved by Lean fixed_sctx theorem)
  • wt_server_demo.gd — mirror received packet’s transfer_mode before put_packet (default RELIABLE routed echo to streams; datagrams need UNRELIABLE)
  • transport_peer.spec.ts shape mismatch: data.zones → data.shards
  • Zone registration: last_put_at on create, created_at field fix, PubSub rescue in zone controller
  • Caddyfile: added handle /socket/* reverse proxy; socket path was 404
  • gescons alias updated: threads=yes arch=wasm64 to match GHA web build
  • quic_picoquic_backend.cpp:589 — SESSION_H3_SETTINGS reference after the enum value was removed in the WebTransport audit (6feefaf0b9)
  • WebTransport audit fixes: datagram reader exclusive-lock bug (new reader per iteration → single reader reuse); incoming queue mutex for picoquic cross-thread safety; SESSION_H3_SETTINGS dead state removed from SessionState
  • quic_web_glue.js — Lean 4 proofs (WebTransport.lean) for state machine acyclicity, queue discipline, and reader exclusivity invariant
  • operator_camera.gd — delta parameter bug in _apply_swing_twist (was using get_process_delta_time() instead of passed delta)
  • multiplayer-fabric-godot local branches — tracking corrected from origin/master to their own origin/feat/* remotes
  • multiplayer-fabric-base local — reset to origin/multiplayer-fabric-base (local was stale reassembly before scu_build=yes fixes were applied)
  • Stale stashes dropped from multiplayer-fabric-godot (libriscv Win32 files already committed; openvr mode-change noise; empty archived-branch stash)

Security

  • Rotated Cloudflare Turnstile keys (were plaintext in .env)