Current state. This file stays thin on purpose: CHANGELOG.md already does LOG's job for this project (dated, current, de-duplicated) — read that for "where are we." This file is just the one-paragraph orientation plus a pointer, so the four-file convention still holds without duplicating content.
parent: [[CLAUDE.md]] · see also: [[JOURNAL.md]] (how changes came about) · [[DECISIONS.md]] (Yan's rulings) · CHANGELOG.md (the actual current-state ledger)
Read CHANGELOG.md top entry first — newest first, that is the current state. As of
2026-07-08: latest entry is P14 (verifiable form over bare assertion), plus a citation-
precision recipe in USER MANUAL.md and an L-form checkbox-syntax bug fix in the spec. All
three were prompted by real misses caught while Yan built Hartshorne-II.5 in
../Relearn algebraic geometry/student-surfaces-thesis/ — see that project's own JOURNAL.md
for the math-specific trail, and this project's JOURNAL.md for the framework-rule trail.
- Read
CHANGELOG.md's latest entry (or ask Claude to). - Re-read
math-framework-spec.mdif the changelog touched format. - Check
JOURNAL.mdhere if you want the why behind a recent change, not just the what.