docs(paper-R3.1): fix cross-refs (Eq.3, Table 1), truncated table columns, EuclideanSpace Fin d, leray_divergence_free underscore; microtype for overflow prevention

feat(model-R3): peer-reviewed R3 — dual-scale Eq.3, 64x64 benchmark, Leray 2D projection, honest Lean audit, CERT-HF-MODEL-R3

feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0

initial commit