Repository navigation

docs(concepts): memo groups, properties, requirements, per-stage interfaces and rules - #1224

Open

zzylol wants to merge 40 commits into

mainfrom

docs/memo-group-model

Open

docs(concepts): memo groups, properties, requirements, per-stage interfaces and rules#1224
zzylol wants to merge 40 commits into
mainfrom
docs/memo-group-model

Commits on Nov 5, 2026
- docs(concepts): memo groups, properties, requirements and the property decision tree
  
  zzylol
  and
  claude
  committed
  991e67f
- docs(concepts): memo group as expression, input requirements and candidates over existing IR
  
  zzylol
  and
  claude
  committed
  965a556
- docs(concepts): align memo group, candidate, property and requirement definitions with the code and #1200
  
  zzylol
  and
  claude
  committed
  a039b05
- docs(concepts): data structures and interfaces per stage, from the #1207 formulation
  
  zzylol
  and
  claude
  committed
  a2e24d5
- docs(concepts): keep the per-stage interfaces as section 3, drop the earlier modeling section
  
  zzylol
  and
  claude
  committed
  cd81177
- docs(concepts): sections 1-2 in the formulation's terms; section 4 rules per pass and stage
  
  zzylol
  and
  claude
  committed
  238e6bb
- docs(concepts): error propagation function per consumer; validity and pruning caps
  
  zzylol
  and
  claude
  committed
  35934a8
- docs(concepts): ErrorPropagation approved
  
  zzylol
  and
  claude
  committed
  9c5fca3
- docs(concepts): λ is a propagation factor read from the query expression
  
  zzylol
  and
  claude
  committed
  e2235db
- docs(concepts): keep the candidate's origin, listed as not in the formulation
  zzylol
  committed
  21d44da
- docs(concepts): consumer and query/context instead of reader; PhysicalRequirement.consumer_{timing,schedule}
  
  zzylol
  and
  claude
  committed
  6f487bd
- docs(concepts): section 5, printing every logical DAG a memo group represents
  
  zzylol
  and
  claude
  committed
  47fea02
- docs(concepts): section 5 size bound; reaches covers self-reads
  
  zzylol
  and
  claude
  committed
  b890866
- docs(concepts): logical properties and requirement mirror the physical interfaces; satisfies_logical
  
  zzylol
  and
  claude
  committed
  21efef0
- docs(concepts): drop fields other things fix; LogicalProperties {parameters, window_layout}, LogicalRequirement {parameter_floor}, r^phys = f(p^phys_c); at-a-glance tables
  
  zzylol
  and
  claude
  committed
  2004cda
- docs(concepts): parameter_list approved
  
  zzylol
  and
  claude
  committed
  17f34e3
- docs(concepts): context_times -> Context::evaluation_schedule
  
  zzylol
  and
  claude
  committed
  40c3e43
Commits on Nov 6, 2026
- docs(concepts): constraints, not rows (constraint (K), *_constraints functions)
  
  zzylol
  and
  claude
  committed
  cb59c4a
- Update memo-groups-properties-requirements.md
  zzylol
  authored
  cbc2654
- docs(concepts): fix review issues: one Memo type, decision tree restored, grid width from the window layout, per-input validity caps, metric rule, (K) encoding, (J) definitions, (L)/budgets out of …
  
  zzylol
  and
  claude
  committed
  210de2b
- docs(concepts): delete both consumer-count policies; no constraint (J)
  
  zzylol
  and
  claude
  committed
  eccf690
- docs(concepts): (K) encoding approved; worst-case counting affects bounds, not cost
  
  zzylol
  and
  claude
  committed
  afee671
- docs(concepts): running example follows the metric rule (B reads a DDSketch state)
  
  zzylol
  and
  claude
  committed
  816ab36
- docs(concepts): retention need = time horizon of the served queries; latency ignored for now
  
  zzylol
  and
  claude
  committed
  f3687a0
- docs(concepts): CandidateForMemoGroupId.index -> index_in_group
  
  zzylol
  and
  claude
  committed
  3f327a6
- docs(concepts): define schedule σ; a grid window is readable once it ends (no refresh interval)
  
  zzylol
  and
  claude
  committed
  155a462
- docs(concepts): drop the physical schedule σ; p^phys = (τ, ℓ), grids anchored at phase 0
  
  zzylol
  and
  claude
  committed
  0208f45
- docs(concepts): theta listed, floors free; heap 1-2-5 steps; one evaluation context per schedule
  
  zzylol
  and
  claude
  committed
  407a533
- docs(concepts): rename the interfaces as agreed with the reviewer
  
  zzylol
  and
  claude
  committed
  6627513
- docs(concepts): note the empty parameter lists of unsized families (#1228)
  
  zzylol
  and
  claude
  committed
  79ac5fd
- docs(concepts): execution contexts reuse the workload's recurrence; one-off queries supported
  
  zzylol
  and
  claude
  committed
  f9c8aa4
- docs(concepts): Memo methods return Result; CandidateError
  
  zzylol
  and
  claude
  committed
  2d136e6
- docs(concepts): a memo group is its expression; private Memo groups
  
  zzylol
  and
  claude
  committed
  a77c8ad
- docs(concepts): GroupProperties derived from input groups; SummaryDefinition over group ids
  
  zzylol
  and
  claude
  committed
  cca5eee
- docs(concepts): SummaryStateDefinition, OperatorInput and MemoGroupAsInput; coverage only in the memo
  
  zzylol
  and
  claude
  committed
  cf09534
- docs(concepts): unlifted_operators; point to the derivation examples
  
  zzylol
  and
  claude
  committed
  a38adb8
- docs(concepts): unlifted_operators name the groups their subqueries read
  
  zzylol
  and
  claude
  committed
  c23fe4e
- docs(concepts): column lineage replaces table qualifiers, with memo-group examples
  
  zzylol
  and
  claude
  committed
  4fef7a7
- docs(concepts): input_group is optional when Scan predicates lift; define fused groups
  
  zzylol
  and
  claude
  committed
  48e410d
Commits on Nov 7, 2026
- docs(concepts): SourceColumn is one struct shared by lineage and summary coverage
  
  zzylol
  and
  claude
  committed
  d62b58c

Commits

Commits on Nov 5, 2026

Commits on Nov 6, 2026

Commits on Nov 7, 2026