ADR-0005: Drivers speak verbs, never tables

ADR-0005: Connectors and device drivers talk through verbs

Status: accepted

Decision

Connectors and device drivers do not write Vinxi tables directly. They talk to the kernel through typed driver/syscall APIs.

Invariants

• External observations enter as Assert and resource-version registrations.
• External side effects leave as Call through the egress gateway.
• Internal decisions are Acts.
• Driver success is evidence, not final truth; reconciliation can contest it.
• Every driver has workload identity, scoped capabilities, idempotency keys, and checkpoints.