Repository navigation

feat(circuit/frontier): finite-precision tapered recovery (Lemma D.5) and the local deformation - #1889

Merged

SamuelSchlesinger merged 15 commits into

mainfrom

claude/t2-local-recovery

Oct 31, 2026

Merged

feat(circuit/frontier): finite-precision tapered recovery (Lemma D.5) and the local deformation#1889
SamuelSchlesinger merged 15 commits into
mainfrom
claude/t2-local-recovery

Commits on Oct 30, 2026
Commits on Oct 31, 2026
- Merge remote-tracking branch 'origin/claude/t2-cauchy-modes' into claude/t2-local-recovery
  SamuelSchlesinger
  committed
  5597d92
- feat(circuit/frontier): local deformation and finite-precision tapered recovery (Lemma D.5)
  
  SamuelSchlesinger
  and
  claude
  committed
  f6826a6
- test: make the tapered recovery test module public
  
  SamuelSchlesinger
  and
  claude
  committed
  8e24241
- Merge remote-tracking branch 'origin/main' into claude/t2-local-recovery
  SamuelSchlesinger
  committed
  286ff75
- chore: merge main and regenerate Complexity.lean
  
  SamuelSchlesinger
  and
  claude
  committed
  d9722cc
- Merge origin/main into claude/t2-local-recovery
  
  SamuelSchlesinger
  and
  claude
  committed
  58fdabb