Repository navigation

feat(CountingSimulation): sum truncated contractions of a computed family of networks (Lemma D.2 loop) - #2081

Merged

SamuelSchlesinger merged 34 commits into

mainfrom

claude/lemma-d2-loop

Nov 1, 2026

Merged

feat(CountingSimulation): sum truncated contractions of a computed family of networks (Lemma D.2 loop)#2081
SamuelSchlesinger merged 34 commits into
mainfrom
claude/lemma-d2-loop

Commits on Oct 31, 2026
Commits on Nov 1, 2026
- Merge origin/main into claude/d1-of-entry
  
  SamuelSchlesinger
  and
  claude
  committed
  e191feb
- fix(Frontier/TensorNetwork): adapt the entry specialization layer to the fixed E2 API
  
  SamuelSchlesinger
  and
  claude
  committed
  9bbc83c
- Merge claude/d1-of-entry (#2067) into claude/lemma-d2-loop
  
  SamuelSchlesinger
  and
  claude
  committed
  2d08cd7
- Merge remote-tracking branch 'origin/main' into claude/lemma-d2-loop
  SamuelSchlesinger
  committed
  07131ff