Repository navigation

feat(Foundations): correction factorization and reward transport for transition matrices - #1676

Merged

SamuelSchlesinger merged 5 commits into

cslib-community:mainfrom

chris-ai1:feat/correction-hierarchy-1444

Oct 30, 2026

Merged

feat(Foundations): correction factorization and reward transport for transition matrices#1676
SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
chris-ai1:feat/correction-hierarchy-1444

Commits on Oct 29, 2026
- feat(Foundations): correction factorization and reward transport for transition matrices
  
  chris-ai1
  and
  claude
  committed
  7085d68
- fix(Foundations): expose IsStrictUpperTriangular so importers can apply it
  
  chris-ai1
  and
  claude
  committed
  832f939
- fix(Foundations): separate row-sum control from nonnegativity; add reward lower bound
  
  chris-ai1
  and
  claude
  committed
  1fbc267
Commits on Oct 30, 2026
- Merge supported main into correction hierarchy
  SamuelSchlesinger
  committed
  6392301
- fix(Foundations): qualify Matrix apply lemmas for the rc2 Mathlib API
  
  authored and
  SamuelSchlesinger
  committed
  4014d0c