Session cancelled — clean partial, 0 runs, no compute committed
This session opened to run the powered, rendered-evidence re-run of the continuity-prior CSI-density refutation with big crowds and the literature-grounded jamming fix the operator requested mid-session. It is cancelled (not failed) because a live-server infra constraint blocked launch before any run; the science work is intact and durable.
Durable work landed this session (outside the session record):
- Diagnosed the crowd-jamming root cause:
engine.py's loop removes an agent only on goal-arrival — no stuck handling — so a JuPedSim CollisionFreeSpeedModel deadlock in a narrow passage freezes a permanent static high-density blob into the density field (corrupting exactly the high-density regime this PINN needs). - Grounded the fix in vault literature (read in full):
xu2019_05d4(Anticipation Velocity Model / generalized CVM — ellipse + new direction sub-model kills the backward-movement/shaking deadlock and fits the congested fundamental diagram),helbing2000_a943(faster-is-slower — don't over-drive v0),moussad2011_fa42(beyond capacity flow stops; agents abandon blocked routes). - Implemented a parity-safe, config-gated fix: selectable
model: cfsm|avm(default cfsm → CI parity holds; dense crowds set avm) inlocomotion.py, a give-up-and-leave watchdog (stuck_timeout_s) inengine.py, wired throughfloor_walk.py, vendored into the walk-notebook image scripts, and added toWalkScenario(reused by exp-csi-crowd). 30 behaviour/engine/agenda unit tests pass; default path bit-exact. - Also extended
continuity_density_pinn.pyfrom 2-arm to the decisive 5-arm reduction (smoothing baseline + 3 FD closures + closure-invariance + advection index + per-seed scalars).
Blocker: the live MCP server caches the Pydantic ParamsSchema at import, so the new WalkScenario fields are rejected until it reloads. Resolution: restart the MCP server (or run in CI, which starts fresh); the big-crowd AVM corpus then runs cleanly. Reopen a fresh session then. All four criteria unresolved — a first-class partial.