/-! # CoreFormalism.FixedPoint (Stub)

Redirect module. The canonical Q16_16 fixed-point type and arithmetic live in
`SilverSight.FixedPoint`. This file exists solely as a re-export so that
`CoreFormalism.FixedPoint` resolves without error; it contains no definitions
of its own.

All consumers should import `SilverSight.FixedPoint` directly.
-/
/- Duplicate removed per AGENTS.md. Use SilverSight.FixedPoint instead. -/
import SilverSight.FixedPoint
