Repository navigation

docs: ASAP primitive schema and summary coverage (definition + selection) - #573

Merged

zzylol merged 61 commits into

mainfrom

docs/asap-primitive-schema

Oct 12, 2026

Merged

docs: ASAP primitive schema and summary coverage (definition + selection)#573
zzylol merged 61 commits into
mainfrom
docs/asap-primitive-schema

Commits on Oct 3, 2026
- docs: design for ASAP primitive schema and summary semantics
  
  zzylol
  and
  claude
  committed
  273de4d
- docs: restore the hand-written sections before the examples
  
  zzylol
  and
  claude
  committed
  1f93e4d
Commits on Oct 4, 2026
- docs: a top-k readout returns selected rows
  
  zzylol
  and
  claude
  committed
  085cae0
Commits on Oct 6, 2026
- docs: explain why summary coverage is a node field, not part of the schema
  
  zzylol
  and
  claude
  committed
  a0db033
Commits on Oct 7, 2026
- docs: summary coverage records rows and columns
  
  zzylol
  and
  claude
  committed
  7b0a991
- docs: summary coverage as definition + selection, based on Goldstein-Larson view matching
  
  zzylol
  and
  claude
  committed
  63acde8
- docs: the 5.1 example's time index is a Timestamp column
  
  zzylol
  and
  claude
  committed
  fc5e9a9
- docs: absolute time is a timestamp-column interval; match the coverage interface in #646
  
  zzylol
  and
  claude
  committed
  b1bc9c7
- docs: ambiguous column names and literal types in selections
  
  zzylol
  and
  claude
  committed
  832cef8
Commits on Oct 8, 2026
- docs: fill §1 links and operator list, §2 terminology, §3 summary type terms
  
  zzylol
  and
  claude
  committed
  b1d5817
- docs: point links into asap-primitive-schema.md at its current sections
  
  zzylol
  and
  claude
  committed
  47882b7
Commits on Oct 9, 2026
- docs: list the levels of a summary type as a table
  
  zzylol
  and
  claude
  committed
  0ba9b21
- docs: list supported query intents per summary type
  
  zzylol
  and
  claude
  committed
  03cea00
- docs: structure §4 with summary table, rule tables and bullet lists
  
  zzylol
  and
  claude
  committed
  883c6ef
- docs: rename §4.2 heading
  
  zzylol
  and
  claude
  committed
  7cac254
- docs: explain the residual condition of view matching
  
  zzylol
  and
  claude
  committed
  36dc7f2
- docs: define the three parts of a view's WHERE with examples
  
  zzylol
  and
  claude
  committed
  25c9174
- docs: define equivalence classes, ranges and residuals
  
  zzylol
  and
  claude
  committed
  a90b667
- docs: move the Goldstein & Larson mapping after §4.2 as §4.3
  
  zzylol
  and
  claude
  committed
  3cecd67
- docs: say which paper requirement unions of views relax
  
  zzylol
  and
  claude
  committed
  a371b24
- docs: SummaryMerge is implemented on main since #560
  
  zzylol
  and
  claude
  committed
  fbd49cb
- docs: §4.7 leaves the deployment runtime, such as SDS, out of coverage
  
  zzylol
  and
  claude
  committed
  c1eff12
- docs: rewrite §4.1 as a worked G&L example and §4.2–§4.5 in plain terms
  
  zzylol
  and
  claude
  committed
  b7523fc
- docs: worked examples for §4.4 and §4.5; drop the §5.8 recap table
  
  zzylol
  and
  claude
  committed
  3e3c9ec
- docs: draw the §5 examples as diagrams and timelines
  
  zzylol
  and
  claude
  committed
  bfa0111
- docs: reword how coverage is computed in §4.4
  
  zzylol
  and
  claude
  committed
  7b52ded
- docs: explain the selection derivation in §4.4 as goal and steps
  
  zzylol
  and
  claude
  committed
  1fffe64
- docs: move the Goldstein & Larson mapping into a footnote of §4.2
  
  zzylol
  and
  claude
  committed
  8fb7707
- docs: clearer wording for Rule 1
  
  zzylol
  and
  claude
  committed
  063bf67
- docs: draw §5 examples as bottom-up operator trees
  
  zzylol
  and
  claude
  committed
  bcd8216
- docs: draw §4.4 and §5 examples as DAGs with shared nodes
  
  zzylol
  and
  claude
  committed
  88069fb
- docs: rename step 3 in §4.3
  
  zzylol
  and
  claude
  committed
  bb61314
- docs: phrase step 3 outcomes as conditions
  
  zzylol
  and
  claude
  committed
  cc7baf7
- docs: plainer Rule 1 and Rule 2 details with reasons and examples
  
  zzylol
  and
  claude
  committed
  57fe9a2
- docs: §4.3 derives the definition first, then the selection
  
  zzylol
  and
  claude
  committed
  0a2eeb9
- docs: name the code interface in the §4.5 heading
  
  zzylol
  and
  claude
  committed
  5fcb954
- docs: move the coverage code interface to §6.5
  
  zzylol
  and
  claude
  committed
  e42ea97
- docs: §6 intro points to §6.5
  
  zzylol
  and
  claude
  committed
  47e9677
- docs: merge §4.2 and §4.3 (why two parts, then derivation); fold §4.4 into §5.6
  
  zzylol
  and
  claude
  committed
  41cd0b3
- docs: refer to the downstream deployment runtime, not a specific backend
  
  zzylol
  and
  claude
  committed
  44c39a4
- docs: same wording in the §2 layout row
  
  zzylol
  and
  claude
  committed
  03eca99
- docs: leave the SDS definition as a TODO for a separate doc
  
  zzylol
  and
  claude
  committed
  66e1bce
- docs: make §5 easier to read with one question table per operator
  
  zzylol
  and
  claude
  committed
  b94402c
- docs: explain every struct and variant field in §6
  
  zzylol
  and
  claude
  committed
  2956174
- docs: label §5 operator descriptions as operator definitions
  
  zzylol
  and
  claude
  committed
  75f508f
- docs: explain every function in §6
  
  zzylol
  and
  claude
  committed
  b00fb0a
- docs: describe SketchKind.category as the aggregation intents it answers
  
  zzylol
  and
  claude
  committed
  4595032
- docs: explain what §6.3 update input and readouts are for, with examples
  
  zzylol
  and
  claude
  committed
  111bfe9
- docs: rename §6.2 to summary-family parameters
  
  zzylol
  and
  claude
  committed
  3cb0ec5
- docs: show how the §6 code interfaces connect
  
  zzylol
  and
  claude
  committed
  aeaf983
- docs: order §6 subsections from the DAG node inward
  
  zzylol
  and
  claude
  committed
  dc96bd3
- docs: add the cost of deriving coverage (§4.2.3)
  
  zzylol
  and
  claude
  committed
  502ccfb
- docs: fix correctness issues found in review
  
  zzylol
  and
  claude
  committed
  7f56d68
- docs: fix second-review findings
  
  zzylol
  and
  claude
  committed
  63510de
Commits on Oct 10, 2026
- docs: fix §1 grammar; start every example from its PromQL or SQL query
  
  zzylol
  and
  claude
  committed
  afb81c2
- docs: restore the author's wording in §1, §3 and §4 openings
  
  zzylol
  and
  claude
  committed
  a0be633
- docs: show ASAPOp generic over its child reference, as on main
  
  zzylol
  and
  claude
  committed
  2f5bde1
- docs: describe the union and instant-selector rules as #646 implements them
  
  zzylol
  and
  claude
  committed
  9abddff
- docs: touching value ranges join; instant selectors join the later lifting rules
  
  zzylol
  and
  claude
  committed
  f34fc01
- docs: PromQL comparisons by lowering; constants from folded casts
  
  zzylol
  and
  claude
  committed
  96d5bb6
Commits on Oct 11, 2026
- docs: only a Project may rename on the way to the selection
  
  zzylol
  and
  claude
  committed
  82ba101

Commits

Commits on Oct 3, 2026

Commits on Oct 4, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026

Commits on Oct 10, 2026

Commits on Oct 11, 2026