Skip to content

Audit #4100's cached chirp odometer: O(p) head travel per record uniformly in d (no new κ) - #4325

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4100-chirp-odometer-tariff
Oct 21, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4100-chirp-odometer-tariff

Audit #4100's cached chirp odometer tariff with literal head counts

404e307
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs