Skip to content

feat(status): report indexation and last-push info#78

Merged
dacorvo merged 1 commit into
mainfrom
status-index-and-push
Jul 15, 2026
Merged

feat(status): report indexation and last-push info#78
dacorvo merged 1 commit into
mainfrom
status-index-and-push

Conversation

@dacorvo

@dacorvo dacorvo commented Jul 15, 2026

Copy link
Copy Markdown
Collaborator

Derive everything from what the store already carries — no new state: the Lance head version's timestamp is the last push for a remote (every write there is a push commit) and the last index/scrub write locally. Add distinct-session counts and, on remote stores, the unindexed backlog (rows brute-force searched until a push reindexes) via the append path's stats helper. A remote status also shows the local index — the thing that pushes there — with an approximate not-yet-pushed hint, so one command answers both "what's published" and "what's indexed here". Drop the constant table: chunks line; keep chunks: N exactly as the integration tests prefix-parse it.

Derive everything from what the store already carries — no new state:
the Lance head version's timestamp is the last push for a remote (every
write there is a push commit) and the last index/scrub write locally.
Add distinct-session counts and, on remote stores, the unindexed backlog
(rows brute-force searched until a push reindexes) via the append path's
stats helper. A remote status also shows the local index — the thing
that pushes there — with an approximate not-yet-pushed hint, so one
command answers both "what's published" and "what's indexed here".
Drop the constant `table: chunks` line; keep `chunks: N` exactly as
the integration tests prefix-parse it.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@dacorvo
dacorvo force-pushed the status-index-and-push branch from c70e828 to 2e8d9ec Compare July 15, 2026 19:57
@dacorvo
dacorvo merged commit e4786ca into main Jul 15, 2026
8 checks passed
@dacorvo
dacorvo deleted the status-index-and-push branch July 15, 2026 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant