SiliconDelta

Silicon delta

This list is the Pi’s job. It is not a hole in v1.0.2.

Delta	What it tests
Preemption	INV-001, CD-12 (no two table locks)
T-int heartbeat	INV-060 width / wrap
IRQ as sink_class	INV-055 single hot path
Persistence across reboot	INV-047 durable record that survives a real power cycle

A lying RTC still must not kill a stream or pardon a durable carrier.

When a binding exists, scars move here.
Rulings do not.