fix(riemannian-geometry): revise do Carmo astrolabe OCR text

[LehengChen]

Summary

Revise the do Carmo Riemannian Geometry Astrolabe content using the newer OCR extraction.

This PR updates existing .astrolabe chapter sources and corresponding atoms. It does not add new do Carmo atoms or change dcref identities.

Scope

• Correct OCR/transcription errors in formulas, symbols, references, and prose.
• Restore missing or over-compressed text from the OCR where needed.
• Apply mathematically forced corrections where the printed/OCR text is inconsistent with the surrounding proof.
• Keep docs-src, atoms, and tracked generated docs synchronized.

Validation

• Reviewed all 264 do Carmo atoms.
• Final human-review queue is empty.
• Headless review passed.
• Subagent PR review passed for chapters 0-4, 5-9, 10-13, and structural consistency.
• git diff --check passes.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
open-ga	Ready	Preview, Comment	Jun 28, 2026 8:36am