WellLawTests: the belt fixture lists its outermost asteroid in the middle (10, 87, 43)

An extent read from the first or the last asteroid now fails the belt test (finding s3.belt-fixture-first-read). Builds.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-17 00:26:47 +02:00
commit ca050c9b05

View file

@ -319,7 +319,7 @@ public sealed class WellLawTests : IDisposable
w.Body(sun, 5000f);
var planet = w.Orbit(sun, 3000f);
w.Body(planet, 172f);
var belt = w.Belt(w.Orbit(planet, 43f, .4f), 87f, 10f, 43f); // the outermost asteroid is not the last listed
var belt = w.Belt(w.Orbit(planet, 43f, .4f), 10f, 87f, 43f); // the outermost asteroid is in the middle: neither the first nor the last listed
var zone = w.Build();
Assert.Equal(1.5f * 87f, zone.Wells.Support(planet), 3);