feat(executor): prove claimed relation names free before the create runs - #71

Merged

Kiran01bm merged 4 commits into

mainfrom

kiran01bm/ct10-claimed-name-probe

Sep 4, 2026

Commits on Sep 3, 2026

feat(executor): prove claimed index names free before the create runs
Kiran01bm
committed
85e125a
fix(executor): route claimed-name probe failures as operational errors
Kiran01bm
committed
2fc6a04

Commits on Sep 4, 2026

fix(executor): claim column sequence names and bind the probe to the proof
Kiran01bm
committed
c72ac53
Merge branch 'main' into kiran01bm/ct10-claimed-name-probe
Kiran01bm
authored
23a0538