[stapledons_godot] v0.52.0: auto-generated *_property_N tests fail in sunholo/celestial and sunholo/relativity on main (per-file tests and pkg quality green) #1738

AILANG v0.52.0. In sunholo-data/ailang-packages main (599a77d), ailang test . in packages/celestial reports 3 failures (starIlluminanceAt_property_2, discIlluminance_property_2, ringUnlitIF_property_2) and in packages/relativity 7 (expm1_property_1, sinhc_property_1, accelerate_property_2, doppler_property_2, dopplerApparent_property_2, cmbSeenTemperature_property_2, cmbSeenTemperatureApparent_property_2). Every per-file ailang test is green and ailang pkg quality attests 0 failed, so the whole-directory run and quality disagree. Likely the generated property cases feed inputs outside the functions' documented domain (NaN, inf, out-of-range) and compare with ensures clauses that are not meant for them. Expected: quality and ailang test . agree, and a failing generated case names its input.

Binary info (auto-attached):
ailang version: v0.52.0
binary md5: 2dd082832fbadf861b49a1a432a0130c
binary path: /Users/voightkampff/dev/sunholo-data/stapledons-godot-trappist/runtime/bin/ailang
git commit: bf2436a

Reported by: stapledons_godot via ailang messages