Repository navigation

Recurrence spaces, phase B: certificate replay, exceptional indices, row-tactic adapter (#1978) - #1998

Merged

PerAlexandersson merged 4 commits into

mainfrom

formalize/recurrence-spaces-b

Oct 25, 2026

Merged

Recurrence spaces, phase B: certificate replay, exceptional indices, row-tactic adapter (#1978)#1998
PerAlexandersson merged 4 commits into
mainfrom
formalize/recurrence-spaces-b

Commits on Oct 22, 2026
- Recurrence spaces, phase B: certificate replay and row-tactic adapter
  
  PerAlexandersson
  and
  claude
  committed
  f39c37e
Commits on Oct 25, 2026
- Merge origin/main into formalize/recurrence-spaces-b
  
  PerAlexandersson
  and
  claude
  committed
  ce849d5
- Merge origin/main into formalize/recurrence-spaces-b
  
  PerAlexandersson
  and
  claude
  committed
  f5ad76c
- Name the rr_replay_factor macro for runLinter
  
  PerAlexandersson
  and
  claude
  committed
  ffee623