Repository navigation

LTM shape expressiveness: one per-axis access model (epic #488 phase 1) - #784

Merged

bpowers merged 21 commits into

mainfrom

ltm-shape-phase1

Jun 11, 2026

Commits on Jun 11, 2026
- doc: ltm shape-expressiveness phase-1 design (epic #488)
  bpowers
  committed
  41ceba9
- doc: revise ltm shape design per adversarial review
  bpowers
  committed
  e5006af
- doc: scope scalar-result gate admission to scalar owners
  bpowers
  committed
  7a08588
- engine: ltm subset-aware axis reads and rank de-hoist
  bpowers
  committed
  0b14a9e
- engine: document de-hoisted rank wildcard-arg path, add subset pins
  bpowers
  committed
  3a96baf
- engine: per-source AggNode representation for ltm aggs
  bpowers
  committed
  2b135b5
- engine: flag canonical_read_slice contract for t5
  bpowers
  committed
  63a2b0c
- engine: score variable-backed reduces by their read slice
  bpowers
  committed
  0a1f27f
- engine: correct dispatch-widening rationale, pin two flips
  bpowers
  committed
  148a17d
- engine: synthetic aggs for non-aligned whole-rhs reduces
  bpowers
  committed
  b7c559c
- engine: pin mapped-broadcast intersection, exact loop census
  bpowers
  committed
  e872918
- engine: accept projection feeders in multi-source agg hoisting
  bpowers
  committed
  bcb8956
- engine: pin feeder deps positionally, amend feeder-clause docs
  bpowers
  committed
  ad6bdeb
- engine: per-element refshape family for mixed subscripts
  bpowers
  committed
  cbb26d3
- engine: pin aliased-agg, other-dep, and mapped perelement corners
  bpowers
  committed
  ff2d50d
- engine: pin frozen co-aggs to their slots in agg-to-target partials
  bpowers
  committed
  3779f38
- engine: positional-correspondence gate for non-live-dep collapse
  bpowers
  committed
  fa8fa77
- doc: t7 as-landed amendments and changed-last third trigger
  bpowers
  committed
  9c3a35c
- doc: cross-link phase residual issues in shape design
  bpowers
  committed
  3864542
- engine: proptest mixed-subscript and subset-reducer shapes
  bpowers
  committed
  d26dfc3
- engine: cover pinned-first axis order in mixed proptest
  bpowers
  committed
  6f606d1

Navigation Menu

Repository navigation

LTM shape expressiveness: one per-axis access model (epic #488 phase 1) - #784

LTM shape expressiveness: one per-axis access model (epic #488 phase 1)#784
bpowers merged 21 commits into
mainfrom
ltm-shape-phase1

Commits on Jun 11, 2026

doc: ltm shape-expressiveness phase-1 design (epic #488)

doc: revise ltm shape design per adversarial review

doc: scope scalar-result gate admission to scalar owners

engine: ltm subset-aware axis reads and rank de-hoist

engine: document de-hoisted rank wildcard-arg path, add subset pins

engine: per-source AggNode representation for ltm aggs

engine: flag canonical_read_slice contract for t5

engine: score variable-backed reduces by their read slice

engine: correct dispatch-widening rationale, pin two flips

engine: synthetic aggs for non-aligned whole-rhs reduces

engine: pin mapped-broadcast intersection, exact loop census

engine: accept projection feeders in multi-source agg hoisting

engine: pin feeder deps positionally, amend feeder-clause docs

engine: per-element refshape family for mixed subscripts

engine: pin aliased-agg, other-dep, and mapped perelement corners

engine: pin frozen co-aggs to their slots in agg-to-target partials

engine: positional-correspondence gate for non-live-dep collapse

doc: t7 as-landed amendments and changed-last third trigger

doc: cross-link phase residual issues in shape design

engine: proptest mixed-subscript and subset-reducer shapes

engine: cover pinned-first axis order in mixed proptest