Repository navigation

Chapter 3 reads the noise it ships, and two equations stop being verified by skipped tests - #131

Merged

qmohsu merged 5 commits into

mainfrom

claude/ch3-index-and-loose-ends

Aug 31, 2026

Merged

Chapter 3 reads the noise it ships, and two equations stop being verified by skipped tests#131
qmohsu merged 5 commits into
mainfrom
claude/ch3-index-and-loose-ends

Commits on Aug 31, 2026
- fix: Chapter 3's EKF reads the noise its dataset records, and four claims that were not measured
  
  qmohsu
  and
  claude
  committed
  f6a57f3
- fix: two equations verified only by skipped tests, and eight more index claims that were not true
  
  qmohsu
  and
  claude
  committed
  432f0d8
- style: builtin generics in the ch3 EKF example, and the lint baseline follows
  
  qmohsu
  and
  claude
  committed
  0305188
- docs: Chapter 3's README shows the --data figure it now has
  
  qmohsu
  and
  claude
  committed
  8172719
- fix: get_innovation ignored the innovation_func its filter was built with
  
  qmohsu
  and
  claude
  committed
  7b5b18c