Trim release documentation and repair stale audit guidance

[GoGoKo699]

The pre-release check found a stale audit index, outdated certificate instructions, repeated reproduction/status prose, and one misleading use of “multiplicity-free.”

This patch:

• Removes 439 words (24.6%) from four overlapping reader pages while retaining theorem assumptions, classification attribution, evidence limits, and all existing URLs.
• Points the audit index to the selected review and subsequent calibration erratum; marks the earlier review's implementation findings as dated.
• Uses the current verification command at the end of the worked lesson.
• Corrects the Ising eigenspace wording. All 473 mathematical expressions, 85 displayed equations, thresholds, checker sources, scientific reports, protected notes, archives, and license remain unchanged.
• Declares each reader change with before/after hashes; expands active documentation coverage to 23 pages.

Validation on the complete source tree:

• 20 checker entry points × normal/-O/-OO: 60 passes; exact 63/74/23/3082-check fingerprints match.
• Historical strict byte replay PASS; separate unchanged bounded portability PASS, zero differing float leaves, on local Python 3.12.14 / NumPy 2.3.5.
• 128-file integrity and exact delta from ecd0623 PASS; 181 relative links resolve.
• MathJax 3.2.1 parses all 473 expressions; git diff --check passes.
• GitHub tree 952a1a6543e4cebe06f1ec51cfc29daa539e28ef matches the tested local tree byte-for-byte.

The selected proof and primary-source interfaces were reconstructed again with no new blocking error found. This does not re-prove imported classifications, establish exhaustive novelty, certify the research backlog, or constitute independent human review. Pending research branches are untouched. No release/tag, manuscript, DOI, or outreach is included. Pinned CI outcomes will be inspected separately; local strict replay does not predict floating-point byte identity on GitHub runners.