A practical way to use Ellzaf source code as education: inspect boundaries, reproduce runs, add tests, and connect decisions back to math.