Compress CLAUDE.md to load-bearing core (246 → 77 lines)#26
Merged
Conversation
Most of the previous CLAUDE.md was educational, defensive, or stale: - "Software-engineering principles applied" — Parnas/Ousterhout/Ford citations motivate but don't drive behavior; dropped. - Long "Rejected framings" list — collapsed to one sentence; the principle (depth-audit instead of escalating) stays. - "Phase plan" section — project state belongs in issues / git log, not in a doc I read every conversation. - "Refactor protocol" — short pointer to docs/REFACTOR_PLAYBOOK.md. - "Fitness functions" / "Unused-import hygiene" — kept the rule, dropped the implementation walkthrough (linker README is canonical). - Several "Layer autonomy" paragraphs collapsed to one line on the Mathlib-wrapping policy. What remains: mission, layer architecture + Util two-tier, anchor naming, self-build default, atomic commits, Math/Eng/Mixed tagging, anchor purity, design subtraction, multi-view, signature-reads-as-paper, sorry discipline, identity + role division. All load-bearing for day-to-day collaboration; everything else lives in linked docs.
Apply the redundancy/merge audit: - Drop redundant layer-name list from Mission (already in Architecture). - Drop "Layers must not reference paper-specific concepts. Each is a candidate for spin-out" — first half is implicit from the dependency diagram, second half is philosophy without daily behavioral impact. - Merge "Self-build default" + "Rejected framings" + "Continue, don't retreat" into a single paragraph — same anti-escalation theme. - Merge "Anchor naming" + "Namespace policy" into one paragraph. - Compress "Design is subtraction" four bullets to one sentence. - Compress "Same object, multiple views" / "Signature reads as paper" to one paragraph each. - Drop the standalone "Fitness functions" paragraph in Discipline — the linter-enforcement is already noted under Code quality items; reduce to a one-line footer. - Drop the trailing "Claude Code doesn't escalate scope" sentence from Role division — already covered by "Continue, don't retreat".
The previous diagram showed only 4 of the 9 top-level directories: Algebraic ≺ Tensor ≺ Riemannian ≺ GeometricMeasureTheory Reality (verified via import grep): - Algebraic and Tensor are foundation, as shown. - MetricGeometry is a parallel Layer-1 stack (MetricMeasureSpace, LengthSpace, GeodesicSpace) — not in the old diagram. - Riemannian depends on Algebraic + Tensor. - Comparison (Bishop-Gromov) depends on Riemannian + MetricGeometry. - GeometricMeasureTheory depends on Riemannian. - Bridges (one-directional OpenGA↔Mathlib adapters) and Tests (linter regression) are infrastructure folders not in the old diagram. Replace with a corrected diagram and a one-line note on infrastructure folders.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
CLAUDE.md was 246 lines; most of it was educational, defensive, or stale state that didn't drive day-to-day behavior. Cut to 77 lines of load-bearing content + pointers to where the details live.
What was dropped
docs/REFACTOR_PLAYBOOK.md.OpenGALib/Util/Linter/README.md.What remains (all load-bearing)
Mission · layer architecture + Util two-tier · anchor naming · self-build default · continue-don't-retreat · atomic commits · Math/Eng/Mixed tagging · anchor purity · design subtraction · multi-view · signature-reads-as-paper · sorry discipline · identity + role division.
Test plan