Curated Java reference implementations for deterministic algorithms and stateful validation. The project demonstrates API design, edge-case handling, property-based testing, static analysis, and reproducible CI.
| Компонент | Инженерная задача | Что демонстрирует |
|---|---|---|
| Transaction validation | Порядок и состояние операций, каскадная невалидность, баланс и переполнение | Детерминированные переходы состояния, неизменяемый результат, интеграционные и property-based тесты |
| Algorithm utilities | Граничные условия, сложность, поточный и файловый ввод-вывод | Детерминированные API, явные компромиссы по сложности и edge cases |
| Parsing / validation | Некорректный числовой и текстовый ввод | Явные контракты, сохранение причины исключения, unit-тесты и статический анализ |
Это демонстрационный инженерный репозиторий, а не коммерческий продукт. Реализации отобраны так, чтобы на ревью были видны качество кода, тестовая стратегия и воспроизводимый процесс разработки.
- Smoke / unit: базовые контракты публичных API.
- Integration: состояние и порядок транзакций, а также CLI-контракты алгоритмов.
- Property-based (jqwik): инварианты на широких наборах сгенерированных входов.
- Static analysis: Checkstyle, PMD и SpotBugs с нулевым допустимым числом новых нарушений.
- Coverage: JaCoCo останавливает
mvn verify, если покрытие строк, ветвлений или инструкций ниже 70%. - Security: CodeQL, dependency review и OpenSSF Scorecard.
- Reproducibility: Java 17/21 в CI и строгий офлайн-гейт на Windows после заполнения Maven-кэша.
mvn -B verify
mvn -B test -Dgroups='smoke'
mvn -B test -Dgroups='integration'
mvn -B test -Dgroups='property'
mvn -B -DskipTests checkstyle:check pmd:check spotbugs:checkПолный офлайн-прогон на PowerShell:
.\scripts\run-offline-gate.ps1Подробная тестовая матрица и правила кэша описаны в TESTING.md.
src/main/java/transactions— stateful validation и доменная модель транзакций.src/main/java/algorithms— сортировка, графы, динамическое программирование, структуры данных и CLI-алгоритмы.src/main/java/common,interview,leetcode,coderun,other,kyu*— утилиты и реализации с сохранённой provenance-структурой.src/test/java/quality— точки входа для smoke-, integration- и property-наборов..github/workflows— CI, quality gates, CodeQL, dependency review и supply-chain проверки.- ARCHITECTURE.md, TESTING.md, SECURITY.md — архитектура, тестовая стратегия и security policy.
Задачи и API происходят из нескольких источников: Codewars, LeetCode, алгоритмические треки Яндекса, CodeRun, интервью и самостоятельные задачи. Ссылки на исходные условия и совместимые сигнатуры сохранены в коде там, где это важно для проверяемости.
Пакеты kyu* оставлены как внутренняя структура происхождения и совместимости. Они не являются основной таксономией проекта: витрина организована вокруг инженерных задач, контрактов и тестовой стратегии.