Board: restore the dropped "mean" qualifier on #940's 25 %/9 % contribution figures (CodeRabbit Minor on #941) - #942

Merged

AdaWorldAPI merged 2 commits into

mainfrom

claude/jirak-math-theorems-harvest-rfii13

Aug 12, 2026

Commits on Aug 12, 2026

board: fix CodeRabbit Minor on #941 -- restore the dropped "mean" qualifier on the 25%/9% contribution figures
claude
committed
0b6f16a
plan: substrate-comfort-zones-v1 -- where does each substrate formula feel at home (regime x geometry x calibration)
claude
committed
ea5fa7f