feat(evidence): record what SWI68 declares and never publishes

"Not validated yet" and "the vehicle does not publish it" are different
answers, and the difference is what a driver reads. The first says a signal
may start working once somebody captures it. The second says it will not, and
telling a driver the first about a signal that is really the second promises
something that is not coming.

Three diagnostic bundles from SWI68-29958-1300R67 on 2026-09-04 carry 51
samples between them with zero readings for battery power and battery
temperature, and every property probe answered no CarPropertyValue for both.
That is a conclusion, not a pending item.

The consequence is worth stating where the catalogue states it: the CP-030
energy model can never train from battery power on this generation, because
there is no battery power to integrate. An arrival forecast on this car comes
from state of charge per kilometre instead.

A generation is listed only after repeated captures with no reading at all,
never after a single quiet session, and one nobody captured still claims
nothing either way.

Refs: CP-003

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

Author: malys

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

@@ -87,6 +87,34 @@ object CarPropertyEvidence {
 
     /** Exact generations whose battery-temperature unit and semantics CP-003 has proved. */
     private val batteryTemperatureFirmware: Set<FirmwareInfo.Gen> = emptySet()
+
+    /**
+     * True where CP-003 observed the property declared by the VHAL and never published.
+     *
+     * This is a different answer from "not validated yet", and the difference is what a driver
+     * reads. An unvalidated signal may start working once someone captures it; one the vehicle
+     * never publishes will not, and saying "not yet validated" about it promises something that
+     * is not coming.
+     *
+     * A generation is listed only after repeated captures with no reading at all, never after
+     * a single quiet session.
+     */
+    fun isNeverPublished(signal: Signal, firmware: FirmwareInfo.Gen): Boolean =
+        firmware in neverPublishedByFirmware[signal].orEmpty()
+
+    /**
+     * SWI68: three diagnostic bundles from SWI68-29958-1300R67 on 2026-09-04, 51 samples
+     * between them, zero readings for either signal, and `EV_INSTANTANEOUS_CHARGE_RATE` and
+     * `EV_BATTERY_AVG_TEMP` answering `no CarPropertyValue` on every property probe.
+     *
+     * Consequence worth stating plainly: the CP-030 energy model can never train from battery
+     * power on this generation, because there is no battery power to integrate. An arrival
+     * forecast on this car has to come from state of charge per kilometre instead.
+     */
+    private val neverPublishedByFirmware: Map<Signal, Set<FirmwareInfo.Gen>> = mapOf(
+        Signal.BATTERY_POWER_KW to setOf(FirmwareInfo.Gen.SWI68),
+        Signal.BATTERY_TEMPERATURE_CELSIUS to setOf(FirmwareInfo.Gen.SWI68),
+    )
 }
 
 /**

lib/src/test/java/com/evsuite/hardware/CarPropertyEvidenceTest.kt

@@ -124,3 +124,45 @@ class ReadFailureLogTest {
         assertTrue(ReadFailureLog.isNew("0x1160030e", "unavailable"))
     }
 }
+
+class NeverPublishedCatalogueTest {
+
+    @Test fun `SWI68 never publishes battery power or battery temperature`() {
+        CarPropertyEvidence.Signal.entries.forEach { signal ->
+            assertTrue(
+                "$signal is proven absent on SWI68",
+                CarPropertyEvidence.isNeverPublished(signal, FirmwareInfo.Gen.SWI68),
+            )
+        }
+    }
+
+    @Test fun `absent is not the same claim as validated`() {
+        // The catalogue says the vehicle does not publish it, which is precisely why it can
+        // never be validated. Both must be false-for-validated and true-for-absent at once.
+        assertFalse(
+            CarPropertyEvidence.isValidated(
+                CarPropertyEvidence.Signal.BATTERY_POWER_KW,
+                FirmwareInfo.Gen.SWI68,
+            )
+        )
+        assertTrue(
+            CarPropertyEvidence.isNeverPublished(
+                CarPropertyEvidence.Signal.BATTERY_POWER_KW,
+                FirmwareInfo.Gen.SWI68,
+            )
+        )
+    }
+
+    @Test fun `a generation nobody captured claims nothing either way`() {
+        listOf(FirmwareInfo.Gen.SWI69, FirmwareInfo.Gen.SWI131, FirmwareInfo.Gen.SWI133)
+            .forEach { generation ->
+                CarPropertyEvidence.Signal.entries.forEach { signal ->
+                    assertFalse(
+                        "$signal on $generation was never captured",
+                        CarPropertyEvidence.isNeverPublished(signal, generation),
+                    )
+                    assertFalse(CarPropertyEvidence.isValidated(signal, generation))
+                }
+            }
+    }
+}