fix: re-record projections after a rewrite (#876, #887) - #892

Merged

jdatcmd merged 11 commits into

commandprompt:mainfrom

OffgridwithJD:audit/projection-rewrite-rerecord

Sep 9, 2026

Commits on Sep 9, 2026

fix: re-record projections after a rewrite (#876, #887)

OffgridwithJD
and
claude
committed
dce2dd0
fix: repair projections for every relation a statement rewrote, not every one it names

OffgridwithJD
and
claude
committed
4cd9d6f
test: reach the stale declaration by a route #888 does not close

OffgridwithJD
and
claude
committed
0776395
fix: the rewritten-relid list must survive a nested utility statement

authored and
OffgridwithJD
committed
0a4b37c
fix: decide the repair under a weak lock, and contain what it can raise

OffgridwithJD
and
claude
committed
e2ba964
test: make the rebuild_projections arm able to fail

OffgridwithJD
and
claude
committed
df45c35
fix: dispatch on the node type, drop the dead walk, and fix the hints

OffgridwithJD
and
claude
committed
b811e29
test: cover REFRESH, the already-present guard, and fix two vacuous arms

OffgridwithJD
and
claude
committed
6c7e1ec
docs: correct the projection limitation and the recovery it names

OffgridwithJD
and
claude
committed
64f569c
docs: split three sentences over the plain-language limit

OffgridwithJD
and
claude
committed
b12267a
docs: state the recorded-relid invariant that actually holds

OffgridwithJD
and
claude
committed
02b1ed4