Repository navigation

engine: handle array reducer polarity in ltm analyzer - #491

Merged

bpowers merged 20 commits into

mainfrom

ltm/480-array-reducer-polarity

May 8, 2026

Commits on May 8, 2026
- doc: design note for variable-level ltm loop enumeration (#482)
  
  bpowers
  authored and
  test
  committed
  4904622
- engine: add per-edge ref-shape map for tiered loop enumeration
  test
  committed
  3a0d7b5
- engine: add tiered loop enumerator with variable-level cycle classifier
  test
  committed
  2248f17
- engine: route ltm exhaustive mode through tiered enumerator
  test
  committed
  c53faea
- engine: gate ltm auto-flip on variable+slow-path scc not full element graph
  test
  committed
  71f8003
- serve: clear inherited GIT_* env in watcher_git test
  test
  committed
  ba07b8f
- doc: capture measurements and update ltm tiered enumeration docs (#482)
  test
  committed
  f6260ff
- doc: update ltm exhaustive-mode flow to mention tiered enumeration
  test
  committed
  5bfdc6c
- engine: dedupe slow-path circuits against fast-path emissions
  test
  committed
  bfeeb30
- engine: deprecate legacy element-only loop circuits + update gate docstring
  test
  committed
  24efec5
- engine: address minor review feedback on ltm tiered enumeration
  test
  committed
  6ed1272
- serve: narrow git env strip to path targeting vars
  test
  committed
  6e48296
- engine: fall back to canonical dim name in tiered loop builder
  test
  committed
  a9637ca
- engine: surface polarity confidence for ltm loop classification
  test
  committed
  51d40c3
- pysimlin: port loop polarity confidence semantics from rust
  test
  committed
  d129320
- mcp: document mostly_reinforcing/mostly_balancing polarity strings
  test
  committed
  3c2b94e
- doc: track ltm polarity confidence work in flight
  test
  committed
  427dbaa
- engine: handle array reducers and subscript in polarity analyzer
  bpowers
  committed
  46dd773
- engine: cover array reducer and variadic mean polarity in unit tests
  bpowers
  committed
  fbdba2d
- engine: assert sum(x[*]) link polarity in cross-dim integration test
  bpowers
  committed
  78a1233

Navigation Menu

Repository navigation

engine: handle array reducer polarity in ltm analyzer - #491

engine: handle array reducer polarity in ltm analyzer#491
bpowers merged 20 commits into
mainfrom
ltm/480-array-reducer-polarity

Commits on May 8, 2026

doc: design note for variable-level ltm loop enumeration (#482)

engine: add per-edge ref-shape map for tiered loop enumeration

engine: add tiered loop enumerator with variable-level cycle classifier

engine: route ltm exhaustive mode through tiered enumerator

engine: gate ltm auto-flip on variable+slow-path scc not full element graph

serve: clear inherited GIT_* env in watcher_git test

doc: capture measurements and update ltm tiered enumeration docs (#482)

doc: update ltm exhaustive-mode flow to mention tiered enumeration

engine: dedupe slow-path circuits against fast-path emissions

engine: deprecate legacy element-only loop circuits + update gate docstring

engine: address minor review feedback on ltm tiered enumeration

serve: narrow git env strip to path targeting vars

engine: fall back to canonical dim name in tiered loop builder

engine: surface polarity confidence for ltm loop classification

pysimlin: port loop polarity confidence semantics from rust

mcp: document mostly_reinforcing/mostly_balancing polarity strings

doc: track ltm polarity confidence work in flight

engine: handle array reducers and subscript in polarity analyzer

engine: cover array reducer and variadic mean polarity in unit tests

engine: assert sum(x[*]) link polarity in cross-dim integration test