Eight internal design documents are tracked in the repo root:
АЛГЕБРА_v0.md, ГРАММАТИКА_v0.md, КОНТРАКТ.md, ПОРОГ_θ_v0.md, ПРИМЕР_ФАРМАКОЛОГИЯ.md, ПРИМЕРЫ_v0.md, РЕДУКЦИЯ_v0.md, ТИПЫ_v0.md
These are v0 design specs in Russian. A public language repo probably should not carry them as-is. Two options:
- Remove — internal working documents; git history preserves them.
- Translate — if some are meant to be public documentation.
КОНТРАКТ.md documents verifiable validator guarantees and is a natural public doc (CONTRACT.md); ПРИМЕР_ФАРМАКОЛОГИЯ.md is the worked pharmacology example.
Known dangling references:
- README.md:74 points at
ПРИМЕР_ФАРМАКОЛОГИЯ.md — must be fixed in the README translation regardless.
- test/E1_pharma.lisp and test/I1_support.lisp reference the same document in comments.
- КОНТРАКТ.md text references an internal report path (
reports/R2_...) that does not exist in the repo — needs sanitization if translated.
Owner call needed: which of the eight stay (translated) and which go. Everything else in the cleanup does not depend on this decision.
Eight internal design documents are tracked in the repo root:
АЛГЕБРА_v0.md,ГРАММАТИКА_v0.md,КОНТРАКТ.md,ПОРОГ_θ_v0.md,ПРИМЕР_ФАРМАКОЛОГИЯ.md,ПРИМЕРЫ_v0.md,РЕДУКЦИЯ_v0.md,ТИПЫ_v0.mdThese are v0 design specs in Russian. A public language repo probably should not carry them as-is. Two options:
КОНТРАКТ.mddocuments verifiable validator guarantees and is a natural public doc (CONTRACT.md);ПРИМЕР_ФАРМАКОЛОГИЯ.mdis the worked pharmacology example.Known dangling references:
ПРИМЕР_ФАРМАКОЛОГИЯ.md— must be fixed in the README translation regardless.reports/R2_...) that does not exist in the repo — needs sanitization if translated.Owner call needed: which of the eight stay (translated) and which go. Everything else in the cleanup does not depend on this decision.