feat(lights): raw exterior-light probe for EVTasker's Diagnostic (CR-046)

probeExteriorLights() reads the six standard light properties whatever
ExteriorLights.PROVEN says, so the on-car evidence comes from EVTasker.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: malys

lib/src/main/java/com/evsuite/hardware/EVHardware.kt

@@ -577,6 +577,15 @@ object EVHardware {
         probeProperty("HVAC_AMBIENT_TEMPERATURE", PROP_HVAC_AMBIENT_TEMP_SWI68, AREA_GLOBAL, Float::class.javaObjectType),
     )
 
+    /**
+     * The six exterior-light properties (CR-046), read raw whatever [ExteriorLights.PROVEN] says:
+     * this is the evidence that fills it. EVTasker's Diagnostic shows and exports it — read once
+     * with a light off and once with it on; a generation is proven when the state follows.
+     */
+    fun probeExteriorLights(): List<PropertyReport> = ExteriorLights.NAMES.map { (id, name) ->
+        probeProperty(name, id, AREA_GLOBAL, Int::class.javaObjectType)
+    }
+
     private fun probeProperty(name: String, propId: Int, areaId: Int, boxed: Class<*>): PropertyReport {
         val cpm = sCarPropertyManager
             ?: return PropertyReport(name, propId, areaId, "CarPropertyManager not connected")

lib/src/main/java/com/evsuite/hardware/ExteriorLights.kt

@@ -6,7 +6,8 @@ package com.evsuite.hardware
  * Kept free of Android so the policy is pinned by JVM tests. The ids are the public
  * `VehicleProperty` ones (types.hal 2.0, available on AAOS 9); nothing here comes from a vendor
  * catalogue. Whether the MG4 VHAL publishes them is a per-generation question: a generation joins
- * [PROVEN] only with a capture showing the state follow the stalk, in the same commit as the
+ * [PROVEN] only with a capture showing the state follow the stalk — EVTasker's Diagnostic
+ * `EXTERIOR_LIGHTS` row ([EVHardware.probeExteriorLights]), exported off and on — in the same commit as the
  * `@SupportedOn` of the light entries and their `writeProven`.
  *
  * Owner decisions (2026-10-08): writes only at 0 km/h like every vehicle write, and a rule may