mirror of
https://github.com/stablyai/orca.git
synced 2026-10-04 00:02:21 +00:00
The census had two structural blind spots. Its detector required `FROM relay_cells`, so a bare `UPDATE relay_cells ... WHERE cell_id = ?` was invisible even though it takes the same row write lock with no SELECT in front of it -- which is precisely the mechanism a per-cell locking conversion has to move. And it read only assignment-store.ts, so the admission selector and the migration-cell registrar took fleet-wide inventory locks entirely outside the policy the census exists to enforce. Match `UPDATE` / `INSERT INTO` / `DELETE FROM relay_cells` as well as `FROM relay_cells`, and readdir the whole relay source tree instead of one file. Sites are now recorded as `file:method`, and the declaration matcher also recognises top-level functions, since the selector and the registrar are modules of free functions rather than store methods. Widening surfaces 15 previously unpoliced sites: three bare writes in assignment-store (reconcileReservationAccounting, removeSupersededSameCellControls, adjustCellReservationAtomically), four more in methods it already listed for their SELECT, six in cell-admission-selector, and two in cell-admission-migration-registration. No locking behaviour changes. The census stays a ratchet: a new unlisted site still fails it.