# real-observations

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

Basis: CIE pp. 7, 15-16, 23-24; project REAL is double.

Trace: Division produces 2.5, not integer 2. All fractions here are exactly representable in binary. Doubling 2.5 is 5. Signed zeros compare equal. No REAL text is output.