Document coders, FK verification, and PK sequence reset in reference

Reflects v0.15.0 (Coder concept + register API) and v0.16.0
(FK verification gate, batched + per-table sequence reset) in the
canonical in-repo reference.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>