path: root/tests/i/signed-zero-division/notes.md

# signed-zero-division

Human review: pending. Expected output was independently traced by AI, not captured from cpsc.

Basis and trace: Project division-by-zero contract includes negative floating zero. The division throws before the BOOLEAN result can be printed.