WP3: vehicle form, observation guard, asap bays, done events, queue with move-by

[Neal006]

WP3 of prompt.md (solutions.md §3, §10, §11). Plan and deviations: .docs/implementation-plan.md (A5, deviations 6 and 8).

What changed

• Vehicle form. POST /sessions takes optional vehicle {model, battery_kwh, max_kw}, soc_now, target_soc (default 1.0). kwh_needed = (target − now) × battery when given; the brain plans with min(bay, car). need_confidence on the session: declared (form or typed kWh) → history (this bay's median) → site (the day's median). The old hard-coded 8.0 default is gone.
• Observation guard. A car drawing < 80 % of its limit for 5 consecutive minutes (and not yet tapering) gets max_kw = metered × 1.05 for the rest of the session and a cap_observed event. The sim carries car_kw (what the car can physically draw) separately from max_kw (what the planner believes) so this is testable.
• connectors_asap in site.json (c41, c42 — clear of both replayed datasets and the smoke bays): those bays are always ASAP in car().
• Done + queue. Sim.tick emits done and stamps idle_since; ConnectorMeter.idle_min. Sim.waiting holds arrivals with no free bay and plugs them first-come-first-served as bays free (plug_in events carry waited_min). A5: a done car idle ≥ 10 min is unplugged when someone is waiting — the sim's stand-in for "done, please move"; real-world signal is OCPP StatusNotification.
• Move-by. On every re-solve with a queue, the plugged cars with the most slack get deadline = now + e_rem / p_max (+ one slot), one tightened car per waiting car, never an urgent car or one with < 1 h slack; event move_by. /demo/oversubscribe now queues instead of dropping and reports waiting.
• Additive contract fields (SessionOut, ConnectorMeter, MeterMsg.waiting, StatusOut.waiting/connectors_asap, event names); contract files regenerated.

Tests (fail on old code) — 69 pass

• 3.3 kW PHEV on a 7 kW bay: planned at ≤ 3.3 kW, 8 kWh from the SoC form, full by its deadline.
• Need from history/site when nothing is typed.
• Guard trips on a simulated slow car (form says 7, car draws 3.3) → max_kw 3.47, event, plan follows.
• ASAP bay at full power with 8 h of slack.
• Queue: 36 replayed + 60 late cars → waiting > 0, slackest cars tightened to now + e_rem/p_max, waiting cars get bays within 4 h, done events fire.
• smoke.py: van on c41 at full power; PHEV form → 8 kWh declared, capped at 3.3. SMOKE OK.
• prove.py unchanged: CO₂ −64.6 %, bill −2.9 %, peak −1.0 %, 0 fallbacks (564 solves now — done events re-solve).

🤖 Generated with Claude Code

https://claude.ai/code/session_017thvbGo7rTVnG2f46cLMzU

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.