Enforce PRIMARY KEY NOT NULL and give every read path one row image - #310

Merged

farhan-syah merged 11 commits into

mainfrom

fix/primary-key-not-null-and-row-identity

Sep 9, 2026

Commits on Sep 9, 2026

fix(sql): refuse a NULL primary key on the update and copy paths
farhan-syah
committed
7f67cfb
fix(document): give every predicate path the same row image
farhan-syah
committed
96212f3
fix(document): inject the row identity on three more read paths
farhan-syah
committed
db255b3
fix(document): carry the row identity into events, gates, and copies
farhan-syah
committed
bcbce55
fix(sql): refuse a computed NULL primary key at apply time
farhan-syah
committed
8d2017b
fix(error): keep a constraint verdict's kind across a node boundary
farhan-syah
committed
3fdc19c
fix(sql): enforce the primary key where identity is minted
farhan-syah
committed
c2d18bc