tests: cover the ex-2 loader, order book trading and desktop stateHEAD2.0master

Add tests for the behaviour introduced in the last few commits, so
later changes to matching, settlement or the UI state can't quietly
break it.

On the service side, Ex2LoaderTest loads the ex-2 fixtures and checks
that every invalid file is rejected for its own reason, including
events with no market maker or two of them, and v1 files. The order
book tests cover buys and sells that match or rest in the ladder,
self-trade prevention, cash and shares reserved by resting orders,
price bounds, risk rejections, and resolution cancelling resting
orders and paying the holders. A simulation checks that LMSR
settlement conserves money.

LedgerMapperTest used to pin the unmapped seq and at fields to their
defaults. Now that the mapper fills them from the entry id and time,
assert the real values and add a case for a null time.

On the desktop side, AppStateTest drives the real ServiceEngine through
loading, event creation, LMSR and order book trading, and checks that
the observable state updates. Smaller tests check chart timestamps,
money and probability formatting, and that every animation settles on
its final frame, which is what the UI shows when animations are off.

1 files changed, 70 insertions, 0 deletions

diff --git a/ui-desktop/src/test/java/market/guess/ui/desktop/AnimTest.java b/ui-desktop/src/test/java/market/guess/ui/desktop/AnimTest.java
new file mode 100644
index 0000000..1a39ba1
--- /dev/null
+++ b/ui-desktop/src/test/java/market/guess/ui/desktop/AnimTest.java
@@ -0,0 +1,70 @@
+package market.guess.ui.desktop;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+
+import market.guess.ui.desktop.components.graphic.GraphicHelper;
+import market.guess.ui.desktop.components.graphic.MarketChartGraphic;
+import market.guess.ui.desktop.components.graphic.Motion;
+import market.guess.ui.desktop.components.graphic.SparklineGraphic;
+import org.junit.jupiter.api.Test;
+
+/**
+ * The handoff requires "animations off" to show the frozen final frame, fully legible and never
+ * blank. Since every graphic renders as a function of progress, that contract is exactly: at
+ * progress 1, every driver lands on its designed end value.
+ */
+class AnimTest {
+  private static final double[] BAR1 = {0, .35, .30, 1, .60, .6, 1, .35};
+
+  @Test
+  void keyframesHoldTheirEndValue() {
+    assertEquals(.35, GraphicHelper.at(0, BAR1), 1e-9);
+    assertEquals(1.0, GraphicHelper.at(.30, BAR1), 1e-9);
+    assertEquals(.35, GraphicHelper.at(1, BAR1), 1e-9);
+    assertEquals(.675, GraphicHelper.at(.15, BAR1), 1e-9); // interpolates linearly between stops
+    assertEquals(.35, Motion.at(0, BAR1), 1e-9);
+  }
+
+  @Test
+  void ridersEndOnTheLastPointOfTheirPath() {
+    assertEquals(
+        MarketChartGraphic.YES_CURVE[6],
+        MarketChartGraphic.rideCurve(MarketChartGraphic.YES_CURVE, 1)[0],
+        1e-6);
+    assertEquals(
+        MarketChartGraphic.YES_CURVE[7],
+        MarketChartGraphic.rideCurve(MarketChartGraphic.YES_CURVE, 1)[1],
+        1e-6);
+
+    int last = SparklineGraphic.SPARK.length;
+    assertEquals(
+        SparklineGraphic.SPARK[last - 2],
+        SparklineGraphic.ridePolyline(SparklineGraphic.SPARK, 1)[0],
+        1e-6);
+    assertEquals(
+        SparklineGraphic.SPARK[last - 1],
+        SparklineGraphic.ridePolyline(SparklineGraphic.SPARK, 1)[1],
+        1e-6);
+  }
+
+  @Test
+  void ridersStartOnTheFirstPointOfTheirPath() {
+    assertEquals(
+        MarketChartGraphic.YES_CURVE[0],
+        MarketChartGraphic.rideCurve(MarketChartGraphic.YES_CURVE, 0)[0],
+        1e-6);
+    assertEquals(
+        MarketChartGraphic.YES_CURVE[1],
+        MarketChartGraphic.rideCurve(MarketChartGraphic.YES_CURVE, 0)[1],
+        1e-6);
+
+    assertEquals(
+        SparklineGraphic.SPARK[0],
+        SparklineGraphic.ridePolyline(SparklineGraphic.SPARK, 0)[0],
+        1e-6);
+    assertEquals(
+        SparklineGraphic.SPARK[1],
+        SparklineGraphic.ridePolyline(SparklineGraphic.SPARK, 0)[1],
+        1e-6);
+  }
+}