Resolve Inconsistency Between LaTeX Spec and Executable Model

[diorlab]

There is a mismatch between the LaTeX ledger specification and the Haskell executable model, specifically in the reward calculation for the Sophie era. Identify where the divergence occurs, align both definitions, and update related documentation.