浮點投影、完成與跨域橋接：從有限機器表示到數值資訊物件的雙向語義

浮點數是有限機器表示對物件的投影 f=π_F(𝔑)。跨域橋接（取自作者先前「完成投影」論文的元組，外加 Addr 與 Cert）攜帶纖維、損失、例外與證書；只要保持探針，部分橋接就夠用，不必轉換整個物件。非單射的捨入沒有左逆，目標值相等不蘊含來源相等。例子（1/10 在 binary64 中不精確；√2∈[1.4142,1.4143]；符號探針）正確，但屬玩具規模。