feat: Remove period support from formal notation

[konard]

Summary

This PR implements the changes requested in #56 to completely remove the requirement for terminating periods (.) at the end of formulas in the formal notation. Based on feedback, periods are no longer supported as separators - only commas and newlines work.

Changes Made

1. Parser Updates

• Modified parseStatement() in src/core/parser.ts to remove period (.) support entirely
• Only commas (,) and newlines are now accepted as optional statement separators
• Updated parseExpr() helper to not append a period
• Updated the grammar documentation in the parser file to reflect the new syntax

2. Documentation

Updated formal notation documentation to reflect the new syntax:

• docs/mts/formal-notation.md - Updated EBNF grammar to remove period support
• docs/mts/specification-v0.1.md - Updated EBNF grammar to remove period support

3. Tests

• Removed test for "should parse multiple statements with periods"
• Updated all test cases to remove periods from examples
• Updated error recovery tests to reflect the new syntax
• All tests pass (255 passed, 3 skipped)

Test Results

All tests pass successfully:

• ✅ Unit tests for parser, lexer, prover, normalizer, fileIO, stringAnum
• ✅ Integration tests for MTL formulas
• ✅ All linter checks pass (only pre-existing warnings remain)

New Syntax

The formal notation now supports only these separator formats:

// With commas
∞ = ∞ -> ∞,
♂v = ♂v -> v

// With newlines only (no separators)
∞ = ∞ -> ∞
♂v = ♂v -> v

// Mixed (commas and newlines)
∞ = ∞ -> ∞
♂v = ♂v -> v,
r♀ = r -> r♀

Periods are no longer supported as statement separators.

Fixes

Fixes #56

---

🤖 This PR was created automatically by the AI issue solver

[konard]

🤖 AI Work Session Started

Starting automated work session at 2026-02-13T23:02:48.333Z

The PR has been converted to draft mode while work is in progress.

This comment marks the beginning of an AI work session. Please wait for the session to finish, and provide your feedback.

[konard]

🤖 Solution Draft Log

This log file contains the complete execution trace of the AI solution draft process.

💰 Cost estimation:

• Public pricing estimate: $2.623552
• Calculated by Anthropic: $2.552272 USD
• Difference: $-0.071280 (-2.72%)
  📎 Log file uploaded as Gist (630KB)
  🔗 View complete solution draft log

---

Now working session is ended, feel free to review and add any feedback on the solution draft.

[netkeep80]

Нет, ты не понял, точки вообще не нужны!
Либо новая строка либо запятая!

[konard]

🤖 AI Work Session Started

Starting automated work session at 2026-02-13T23:13:20.521Z

The PR has been converted to draft mode while work is in progress.

This comment marks the beginning of an AI work session. Please wait for the session to finish, and provide your feedback.

[konard]

✅ PR готов к ревью

Все изменения выполнены согласно отзыву:

1. ✅ Полностью удалена поддержка точек - теперь только запятые и переносы строк
2. ✅ Обновлен парсер - удалена обработка DOT токена
3. ✅ Обновлена документация - EBNF грамматика в formal-notation.md и specification-v0.1.md
4. ✅ Обновлены все тесты - unit, integration и E2E тесты
5. ✅ CI проходит успешно - все 255 тестов проходят

Периоды (.) больше не поддерживаются как разделители операторов. Используйте только запятые (,) или переносы строк.

[konard]

🤖 Solution Draft Log

This log file contains the complete execution trace of the AI solution draft process.

💰 Cost estimation:

• Public pricing estimate: $3.219162
• Calculated by Anthropic: $2.902165 USD
• Difference: $-0.316996 (-9.85%)
  📎 Log file uploaded as Gist (1020KB)
  🔗 View complete solution draft log

---

Now working session is ended, feel free to review and add any feedback on the solution draft.