fix: avoid panic in async elaboration for theorems with docstrings in `where`#11896

Merged

kim-em merged 3 commits intomasterfrom

fix-docstring-panic-where-clause

Jan 10, 2026

Commits on Jan 4, 2026

fix: avoid panic in async elaboration for theorems with docstrings in `where`

kim-em
and
claude
committed

Commits on Jan 7, 2026

test: validate docstrings are actually attached

kim-em
and
claude
committed

Commits on Jan 10, 2026

fix: use trimAscii when checking docstrings

kim-em
and
claude
committed