The system finds the keyboard base without writing to it
the base-absent scenario has not been booted.
Grounded for the attached case: tools/keyboard-base-probe.sh on 2026-10-13 found 0x20, 0x34, 0x38, 0x55 and 0x6B on hardware I2C4 (IO46/IO47) with reads only (docs/evidence/keyboard-base/probe/).
The system SHALL establish which keyboard-base chips answer, at which I2C address and over which bus, by a read-only probe recorded before any driver is bound to them. The probe SHALL NOT write a register of any keyboard-base chip. The system owns this requirement; stage 1 is unchanged.
The base is attached
- WHEN an operator runs the recorded probe command on a board clipped into the keyboard base
- THEN the evidence lists each answering address and the bus used, and no chip register was written
The base is absent
- WHEN the same image boots on a board without the keyboard base
- THEN the system and shell start normally and report no keyboard base, with no repeated bus errors on the console