feat(PhyslibAlpha): Fisher-Rao metric and Cramer-Rao bound for algebraic framework - #1657

Closed

naype888-cloud wants to merge 6 commits into

leanprover-community:masterfrom

naype888-cloud:feat-physlibalpha-fisher-rao

Commits on Sep 16, 2026

feat(PhyslibAlpha): Fisher-Rao metric and Cramer-Rao bound for algebraic states
naype888-cloud
committed
d3778f7
style: wrap docstring line to satisfy 100-char linter rule
naype888-cloud
committed
5f21d98
fix(PhyslibAlpha): add module header to FisherRao.lean for module system compliance
naype888-cloud
committed
7db19c7

Commits on Sep 19, 2026

fix(PhyslibAlpha): expose FisherRao declarations with a public section

naype888-cloud
and
claude
committed
e5cbf00
fix(PhyslibAlpha): document the fields of OpenSimplex

naype888-cloud
and
claude
committed
08dca00
refactor(PhyslibAlpha): move expect and variance under OpenSimplex

naype888-cloud
and
claude
committed
913db45