# WAL — Состояние процесса ## Метка времени 2026-04-03T19:30:00Z ## Текущая фаза Базовый калькулятор ГОТОВ. Консольный калькулятор с четырьмя арифметическими операциями, разбором ввода и обработкой ошибок. Rust binary crate с юнит-тестами на граничные случаи (деление на ноль, переполнение, некорректный ввод). История вычислений ГОТОВА. Последние 10 вычислений хранятся в памяти, команда `history` для их вывода. История сохраняется в `~/.calc/history.json` между сессиями через serde_json. ## Завершено - Каркас спецификаций: ГОТОВО (BOOT, SPEC-PROTOCOL, WAL-PROTOCOL) - PROP-CALC-000 (Базовые решения): ПРИНЯТО — Rust, CLI, без внешних математических библиотек - Настройка Cargo-проекта: ГОТОВО (один binary crate `rcalc`) - Базовый REPL-цикл: ГОТОВО (чтение stdin, приглашение `> `, команды `quit`/`exit`) - Парсер выражений: ГОТОВО (инфиксная запись двух чисел: `<число> <оператор> <число>`) - Поддерживает: `+`, `-`, `*`, `/` - Разбирает целые и дробные числа (f64) - Тип ошибки: enum `CalcError` с вариантами `ParseError`, `DivisionByZero`, `Overflow` - Вычислительный движок (`eval.rs`): ГОТОВО - `evaluate(expr: &Expression) -> Result<f64, CalcError>` - Проверка деления (знаменатель == 0 → DivisionByZero) - 14 юнит-тестов: базовые операции, отрицательные числа, дробные, граничные случаи - Форматирование вывода: ГОТОВО — обрезка хвостовых нулей, максимум 10 знаков после запятой - История вычислений: ГОТОВО — Vec<HistoryEntry> в памяти, команда `history`, JSON-персистенция в `~/.calc/history.json`, загрузка при старте ## В работе - FEAT-CALC-002 (Выражения со скобками): В РАБОТЕ — нужна переработка парсера ## Известные проблемы 1. **Нет приоритета операций** — `2 + 3 * 4` вычисляется слева направо как 20, а не 14 2. **Только однострочные выражения** — нет многострочного или цепочечного ввода 3. **Нет отрицательных литералов** — `-5 + 3` падает, обходной путь: `0 - 5 + 3` ### Решённые проблемы (2026-04-02) - **~~Мусор при выводе float~~** — ИСПРАВЛЕНО: `format!("{:.10}")` + trim_end_matches('0') - **~~Файл истории не создавался~~** — ИСПРАВЛЕНО: `std::fs::create_dir_all` перед первой записью ## Ожидающие решения - Приоритет операций: алгоритм сортировочной станции (shunting-yard) vs рекурсивный спуск? Человек склоняется к рекурсивному спуску из-за читаемости, но shunting-yard проще для текущей грамматики из двух чисел. Решение отложено до следующей сессии. ## Следующие шаги 1. Определиться с подходом к парсеру для приоритета операций (см. Ожидающие решения) 2. Реализовать поддержку скобок в выражениях (FEAT-CALC-002) 3. Добавить операторы `%` (остаток от деления) и `^` (возведение в степень) 4. Рассмотреть присваивание переменных (`x = 42`, затем `x + 1`) 5. Добавить команду `clear` для очистки истории ## Контекст сессии Только что завершена история вычислений. Парсер сейчас обрабатывает только `<число> <оператор> <число>` — нужна переработка для FEAT-CALC-002 (скобки и выражения с несколькими операторами). Модуль `eval.rs` чистый и хорошо покрыт тестами, парсер — узкое место. Человек в обсуждении выбрал рекурсивный спуск, но окончательно не подтвердил — уточнить в начале сессии. **Структура проекта:** ``` rcalc/ ├── src/ │ ├── main.rs — REPL-цикл, загрузка/сохранение истории │ ├── parser.rs — токенизатор + построение AST выражений │ ├── eval.rs — evaluate(Expression) → Result<f64> │ ├── history.rs — HistoryEntry, сохранение/загрузка JSON │ └── error.rs — enum CalcError (thiserror) ├── tests/ │ └── integration.rs — сквозные тесты REPL (перехват stdin/stdout) ├── Cargo.toml └── specs/ ├── BOOT.md ├── WAL.md └── proposals/ ├── PROP-CALC-000.md — базовые решения └── FEAT-CALC-002.md — выражения со скобками (ЧЕРНОВИК) ``` Запуск: ``` cargo run # запустить REPL калькулятора cargo test # запустить все тесты (14 юнит + 3 интеграционных) ```