hexa-lang — это self-hosted нативный компилятор. Каждая строка с формулой ссылается на теорему atlas, каждая сборка проходит восемь стадий strict-lint, и ничто непроверенное не покидает инструментарий. Это самый низ стека dancinlab — wilson, echoes, anima и семейство hexa-* потребляют его; ничто не импортируется обратно.
Большинство компиляторов доверяют программисту. hexa-lang — нет: он спрашивает каждую формулу, откуда она. Строка математики, не ссылающаяся на теорему atlas, — это не предупреждение, а провал сборки. Компилятор бутстрапит себя до bit-stable fixpoint, генерирует собственный машинный код без LLVM в цепочке и трактует provenance как инвариант уровня типов, а не как любезность при код-ревью.
↳ Компилятор компилирует сам себя, бит в бит.
aprime_cc достигает bit-stable self-host fixpoint — ap1f, ap2f, ap3f байт в байт идентичны. Компилятор точно воспроизводит собственный вывод, без интерпретатора и без стороннего бэкенда в цепочке.
↳ Восемь стадий strict-lint при каждой сборке.
Целостность atlas, совпадение ссылок, корректность формул, надёжность типов — каждое из них есть барьер. Сборка, пропустившая ссылку, не компилируется; честность обеспечивает инструментарий, а не ревьюер.
↳ Без LLVM, без GHC, без среды выполнения Rust.
Язык сам отвечает за генерацию своего кода. Путь через C — это запасной вариант ради переносимости, но никогда не архитектура; канонический путь — self-hosted нативный.
↳ Весь стек компилируется через него.
Агент wilson, журнал открытий echoes, модель сознания anima и семейство hexa-* — chip, bio, matter, arch — все находятся ниже по течению. hexa-lang — это субстрат, который они разделяют.
Компилятор переходит на полностью hexa-native через семь измеренных стадий. S1 — производительность codegen: DONE, узкое место O(N²) в lower_hir устранено, ускорение 170×. S2 — полный прогон codegen: PASS, 24k строк компилируются от начала до конца за ~94s, ноль ошибок. S3 — self-host fixpoint: В ПРОЦЕССЕ, доказательство byte-stable для gen1 → gen2 → gen3 — ключевые ворота. S4 — вывод hexa_v2: зависит от S3. S5 — нативный build-бэкенд: DONE, селектор HEXA_BACKEND=native через env. S6 — проходы оптимизации: ОЖИДАЕТ. S7 — собственный assembler + linker: ОЖИДАЕТ. Каждая стадия — measured-or-it-did-not-happen; никаких заявлений о self-host до закрытия S3.