GameCult/CultLib
Watch
9
0
Fork
You've already forked CultLib
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

Say what the cell-mass test proves, and what it does not

Browse source 
Soul: a constant erf passes it. It is one necessary property, not correctness.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-09-22 21:43:52 +02:00
commit cc71f17b7b
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
packages/cultmath/tests/CultMath.Tests/MathTests.cs
View file

@ -494,9 +494,11 @@ public sealed class MathTests
}
}
// The consumer-level property that actually matters: fire control turns adjacent erf
// values into a cell's probability mass, so a backward step in erf would show up as a
// negative mass. Soul checked these geometries clean: 16/64/256/1024/4096 cells over
// One property the consumer needs, not the whole of correctness: fire control turns
// adjacent erf values into a cell's probability mass, so a backward step in erf would
// show up as a negative mass. An erf that returned a constant would pass this and is
// caught by ErfMatchesReferenceValues instead.
// Soul checked these geometries clean: 16/64/256/1024/4096 cells over
// +-4 sigma, plus a tight 1 sigma spread and a very tight 0.25 sigma spread.
[Theory]
[InlineData(16, 4f)]