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

CultMath tests: a trace case for the cap reached right after a release

Browse source 
Stryker found the post-pass cap record unobserved: the only capped case ended on the step site.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-11 00:07:36 +02:00
commit 04c5f870d7
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
packages/cultmath/tests/CultMath.Tests/BoundedLeastSquaresBaseTraces.cs
View file

@ -20,6 +20,12 @@ internal static class BlsBaseTraces
Kkt -1 2E-06 0 0
end Converged 1 3f800000 00000000 00000000
""",
["tie-pair-cap-0"] = """
Candidate 0 1 6.661338147750939E-16 1E-06
Release 0 Infinity 0 0
Cap -1 0 0 0
end IterationLimit 0 00000000 00000000
""",
["tie-pair-at-hi"] = """
Candidate 0 3 1.9984014443252818E-15 1E-06
Release 0 Infinity 0 0

2
packages/cultmath/tests/CultMath.Tests/BoundedLeastSquaresTrace.cs
View file

@ -54,6 +54,8 @@ internal static class BlsTrace
// Equal violations: which column is released first is the tie-break (min |x0 + x1 - 1| on [0,1]^2, then three copies).
yield return Make("tie-pair", 1, 2, new[] { 1f, 1f }, new[] { 1f }, new float[2], Fill(1f, 2));
yield return Make("tie-triple", 2, 3, Fill(1f, 6), new[] { 1f, 1f }, new float[3], Fill(1f, 3));
// The cap reached right after a release, before any further step: the other place the cap ends a solve.
yield return Make("tie-pair-cap-0", 1, 2, new[] { 1f, 1f }, new[] { 1f }, new float[2], Fill(1f, 2), max: 0);
yield return Make("tie-pair-at-hi", 1, 2, new[] { 1f, 1f }, new[] { -1f }, new float[2], Fill(1f, 2), Fill(1f, 2));
// A step that lands exactly on a bound is a full step, not a blocked one.