hexa-lang は self-hosted なネイティブコンパイラです。数式を含むすべての行は atlas 定理を引用し、すべてのビルドは8つの strict-lint ステージを通過し、検証されていないものはツールチェーンから出ていきません。dancinlab スタックの最下層です — wilson、echoes、anima、そして hexa-* ファミリーがすべてこれを消費し、逆方向に import するものはありません。
ほとんどのコンパイラはプログラマを信頼します。hexa-lang はそうしません — すべての数式に、どこから来たのかを問います。atlas 定理を引用しない数式の一行は警告ではなく、ビルド失敗です。コンパイラは自らを bit-stable な fixpoint までブートストラップし、ループに LLVM を介さず自身の機械語を生成し、provenance をコードレビューの礼儀ではなく型レベルの不変条件として扱います。
↳ コンパイラはビット単位で自分自身をコンパイルします。
aprime_cc は bit-stable な self-host fixpoint に到達します — ap1f、ap2f、ap3f はバイト単位で同一です。コンパイラはインタプリタもサードパーティのバックエンドもループに入れず、自身の出力を正確に再現します。
↳ ビルドごとに8つの strict-lint ステージ。
atlas の整合性、引用の一致、数式の整形性、型の健全性 — それぞれがゲートです。引用を飛ばしたビルドはコンパイルされません — 誠実さはレビュアーではなく、ツールチェーンが強制します。
↳ LLVM なし、GHC なし、Rust ランタイムなし。
言語は自身のコード生成に責任を持ちます。C 経路は移植性のためのフォールバックであり、アーキテクチャでは決してありません — self-hosted なネイティブ経路が正典です。
↳ スタック全体がこれを通ってコンパイルされます。
エージェントの wilson、発見ログの echoes、意識モデルの anima、そして hexa-* ファミリー — chip、bio、matter、arch — がすべてダウンストリームに位置します。hexa-lang は彼らが共有する基盤です。
コンパイラは計測された7段階で完全な hexa-native へと移行しています。S1 — codegen 性能:DONE、O(N²) の lower_hir ボトルネックを除去、170× の高速化。S2 — full codegen 完走:PASS、24k 行を ~94s で最初から最後までコンパイル、エラー 0。S3 — self-host fixpoint:進行中、gen1 → gen2 → gen3 の byte-stable を証明中 — 中核のゲート。S4 — hexa_v2 の引退:S3 に依存。S5 — native build バックエンド:DONE、env-gated な HEXA_BACKEND=native セレクタ。S6 — 最適化パス:待機。S7 — 自前の assembler + linker:待機。すべての段階は measured-or-it-did-not-happen です — S3 が閉じるまで self-host を主張しません。