From e3dbb640f76fc0c97b08d27a7fc52f96d4a28010 Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Tue, 22 Sep 2026 10:27:57 +0200 Subject: [PATCH] Correct the f32 3e20 example: the Rust Hands was right Co-Authored-By: Claude Opus 5 --- docs/cultnet-selection-cut.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/cultnet-selection-cut.md b/docs/cultnet-selection-cut.md index 2c356034..1fa1ca81 100644 --- a/docs/cultnet-selection-cut.md +++ b/docs/cultnet-selection-cut.md @@ -297,7 +297,10 @@ merge.** The notes are in the session scratchpad at `soul-ss4-notes.md`. - **Float rendering at ties.** 394 `f32` and 48 `f64` values out of 200k render differently, because .NET rounds half to even and Rust does not. A shortest form is a stand-in for the value in any case: an `f32` of 3e20 - is stored as 300000002010536247296. + is stored as 300000006012263202816, bits `0x61821ab1`. (Corrected + 2026-09-22. Soul's report and this map first gave 300000002010536247296. + The Rust Hands and an independent Python `Decimal` check both give + ...6012263202816.) - **`schemas`.** C# matches through the alias matcher and Rust matches exact ids. `["leaf_a"]` gives 8 rows against 0. - **Tiebreak.** C# compares UTF-16 code units and Rust compares UTF-8