Vehicle energy evidence
OwnsSoC, usable energy, thermal/consumption context and freshness
Must not inferPrediction never overwrites BMS truth
Keep vehicle energy truth, prediction and charging-network evidence visibly separate.
Bind every plan to the exact vehicle configuration, BMS observation, route, model, calibration and charger qualification used to produce it.
Every layer exposes an authoritative responsibility and an explicit non-authority boundary.
OwnsSoC, usable energy, thermal/consumption context and freshness
Must not inferPrediction never overwrites BMS truth
OwnsVersioned route-energy estimate, reserve and feasibility
Must not inferEstimate is conditional on declared assumptions
OwnsConnector, power, access and source-reported status
Must not inferAvailability is not reservation or successful charge
OwnsComparison, user acceptance and transfer intent
Must not inferUI receipt does not activate navigation, reserve or charge
Each transition names both the action and the identity or version evidence that makes it reproducible.
Resolve exact configuration, battery and current authoritative BMS evidence.
vehicle/config ID · BMS source · observationCalculate energy, arrival SoC and reserve under versioned assumptions.
model · calibration · weather/traffic/elevation basisFilter connector, access, route reachability, freshness and partner availability.
charger source · observed time · exclusion reasonsPresent feasible alternatives without collapsing prediction into truth.
plan/context revision · selected route · policyRecord a scoped request with exact lineage and wait for downstream evidence.
idempotency · target device · activation receiptVehicle configuration, BMS evidence, assumptions and calibration.
Alternatives, predicted energy, arrival/reserve and feasibility reasons.
Connector, access, reachability, status source and freshness.
Plan transfer, acceptance and downstream activation evidence.
Withhold feasibility and arrival SoC rather than substitute a guessed state.
Keep route relevance but label status stale and exclude from current-availability claims.
Do not imply reservation, payment or successful charging; offer alternate planning.
Reject acceptance/transfer and require a refreshed plan.
Each product can be bought and operated independently while sharing identity, context and lifecycle contracts.
Confirm target products, vehicle and cloud boundaries, source systems, contract versions, deployment, validation and lifecycle ownership.