Issues

• Ядро не решает линейную арифметику (omega): шесть задач замера с Lean

  digitable-lol/flang#467 · Filter by author the-homeless-god opened on Oct 21, 2026

• Плагин Vim/Neovim: при корне по .git языковой сервер получает root_dir = <проект>/.git, а не каталог проекта

  digitable-lol/flang#465 · Filter by author MyWWWChat opened on Oct 19, 2026

• Neovim: плагин v0.7.29 не берёт сервер из flang 0.7.29 без g:flang_dvoichnyy_lsp, а editor.html ведёт в несуществующий editors/vim и клонирует в ~/.local/share/flang, занятый install.sh

  digitable-lol/flang#464 · Filter by author MyWWWChat opened on Oct 19, 2026

• flang emit даёт файлам транслитные имена

  digitable-lol/flang#462 · Filter by author the-homeless-god opened on Oct 19, 2026

• Функтор без образа объекта проходит check кодом 2 без диагностики

  digitable-lol/flang#461 · Filter by author the-homeless-god opened on Oct 19, 2026

• flang run --args не принимает список

  digitable-lol/flang#460 · Filter by author the-homeless-god opened on Oct 19, 2026

• HTTPS: ответ с Transfer-Encoding: chunked не разбирается

  digitable-lol/flang#459 · Filter by author the-homeless-god opened on Oct 19, 2026

• Печать в C/C++ не собирается с -Werror: unused parameter 'result' у функции, которая никогда не возвращает

  digitable-lol/flang#458 · Filter by author the-homeless-god opened on Oct 19, 2026

• «-0 равен 0» ложно: (-12) остаток от 6 даёт -0, ветка «равен 0» не срабатывает, мера Евклида отказывает FLANG_MEASURE

  digitable-lol/flang#457 · Filter by author the-homeless-god opened on Oct 19, 2026

• Нарушенный закон изоморфизма проходит кодом 2 без своей диагностики

  digitable-lol/flang#451 · Filter by author the-homeless-god opened on Oct 18, 2026

• MCP-служба называет себя версией 0.6.0 при двоичном 0.7.29

  digitable-lol/flang#450 · Filter by author the-homeless-god opened on Oct 18, 2026

• Функция без строки «возвращает» проходит flang check с кодом 0

  digitable-lol/flang#449 · Filter by author the-homeless-god opened on Oct 18, 2026

• flang new из установки install.sh: «не найден образец fspec/», fspec/snapshot.flang не копируется

  digitable-lol/flang#448 · Filter by author the-homeless-god opened on Oct 18, 2026

• Ввоз «только» не тянет вспомогательные функции: использует «Lists» только «Сумма» — FLANG_UNKNOWN_NAME «Шаг суммы»

  digitable-lol/flang#447 · Filter by author the-homeless-god opened on Oct 18, 2026

• Нет перевода «число» → «неотрицательное»: сужения по проверке нет, частное неотрицательного — «число»; обход по битам в 900 раз медленнее

  digitable-lol/flang#418 · Filter by author MyWWWChat opened on Oct 16, 2026
  1

• Постусловие о поле результата не доказывается при вложенном разборе по двум параметрам (один уровень — доказывается)

  fix-in-progress
  digitable-lol/flang#413 · Filter by author MyWWWChat opened on Oct 16, 2026
  1

• Проекция поля из записи, построенной в теле, не сводится, если другое поле — свободное имя: постусловие с разбором по полю недоказуемо

  digitable-lol/flang#412 · Filter by author MyWWWChat opened on Oct 16, 2026

• Рекурсивная функция с разбором не раскрывается на конструкторе своего варианта (нерекурсивная — раскрывается): закон стрелки из объекта натуральных чисел недоказуем

  fix-in-progress
  digitable-lol/flang#411 · Filter by author MyWWWChat opened on Oct 16, 2026
  1

• Индукция по «неотрицательное» не доказывает «длина результата равна сколько»: на дне не подставлен 0, на спуске не сведено (n − 1) + 1 = n

  digitable-lol/flang#410 · Filter by author MyWWWChat opened on Oct 16, 2026

• «Сетка» для недоказанного постусловия — это только примеры: ложная граница, которую пример не задевает, проходит с «нарушено 0» и кодом 0

  fix-in-progress
  digitable-lol/flang#409 · Filter by author MyWWWChat opened on Oct 16, 2026
  2

• Шаг индукции не сводится через рекурсивную функцию с вложенным разбором по двум доводам (структурное равенство: «следующий ≠ прежнему»)

  fix-in-progress
  digitable-lol/flang#408 · Filter by author MyWWWChat opened on Oct 15, 2026
  2

• Теорема: равенства, выписанные шагами «затем … по свойству», не переписывают цель — квадрат функтора не доказывается при всех доказанных звеньях

  digitable-lol/flang#407 · Filter by author MyWWWChat opened on Oct 15, 2026

• Индукция по типу с вариантами не доказывает постусловие, если часть вариантов собрана в «случай любое»

  fix-in-progress
  digitable-lol/flang#405 · Filter by author MyWWWChat opened on Oct 15, 2026
  1

• Стрелка через терминальный объект не доказывается на входе-записи: доказанное «результат равен константе» вызываемой функции не подставляется

  digitable-lol/flang#403 · Filter by author MyWWWChat opened on Oct 15, 2026
  2

• Ядро не разворачивает функцию с разбором на «приписать Х к Л» встроенного списка, хотя на своём варианте разворачивает

  fix-in-progress
  digitable-lol/flang#402 · Filter by author MyWWWChat opened on Oct 15, 2026
  1