DRAFT: multitime subquery index#4426

Draft

robacourt wants to merge 40 commits into

mainfrom

rob/multitime-subquery-index

Commits on May 27, 2026

Add initial prompt
robacourt
committed
Update subqueryIndex's role
robacourt
committed
Add problem
robacourt
committed
Update problem
robacourt
committed
Add concurrency models an O(1) removal with groups
robacourt
committed
Add RFC
robacourt
committed
Human scan of RFC
robacourt
committed
Updates to RFC
robacourt
committed
Answer question
robacourt
committed
Follow RFC format
robacourt
committed
Remove use of phrase 'filter time'
robacourt
committed
Add examples
robacourt
committed
Add memory figures
robacourt
committed
Remove use of work 'cohort'
robacourt
committed
Remove symbols
robacourt
committed
Add history module
robacourt
committed
Use recurrsion
robacourt
committed
Add MultiTimeView
robacourt
committed
Impliment SubqueryIndex and ProgressMonitor
robacourt
committed
Put MultiTimeView in SubqueryIndex struct
robacourt
committed
Phase 2a: Wire materializer to MultiTimeView + consumer registration

robacourt
and
claude
committed
Phase 2b: Consumer reads dep views from MultiTimeView

robacourt
and
claude
committed
Phase 2c: Periodic MultiTimeView compaction with positive-route GC

robacourt
and
claude
committed
Drop materializer link_values_table ETS cache

robacourt
and
claude
committed
Resolver pattern for move-in queries and DNF transaction conversion

robacourt
and
claude
committed
Rewrite legacy-tagged subquery tests against the new API

robacourt
and
claude
committed
Compact queue
robacourt
committed
Add changeset
robacourt
committed
Update RFC to remove filter's knowledge of consumer time
robacourt
committed
Remove Filter's knowledge of consumer time
robacourt
committed
Use bag-keyed routing rows in SubqueryIndex

robacourt
and
claude
committed
BENCHMARKS: add benchmarks
robacourt
committed
Fix O(n) removal with counters
robacourt
committed
Optimise ProgressMonitor
robacourt
committed
BENCHMARKS: Include counter in memory use
robacourt
committed
Build move-in query inside the task, not the consumer

robacourt
and
claude
committed
MoveQueue.enqueue/4 takes a member? callback instead of a MapSet

robacourt
and
claude
committed
Delete unused view_before_move/view_after_move helpers

robacourt
and
claude
committed
Filter residual sublinks: conservative MTV-based answer

robacourt
and
claude
committed
Add changset
robacourt
committed