本文へ移動

AIUEOS · LISP MACHINE OPERATING SYSTEM

AIUEOS — Lisp machine オペレーティングシステム

Lisp machine は、システム全体を一つの言語の下に置きます。AIUEOS はその考えを Kotoba で実現します。Kotoba は S 式を基盤とし、正規形が IPLD データであるため、すべての定義が CID を持ちます。Clojure と EDN は互換のある表層（cljk、edn）として扱います。デスクトップは Kotoba のプログラムで、kernel の判断は Kotoba object へ移りつつあり、すべての capability は検査され、操作ごとに許可されます。

release os-20261027 は QEMU/OVMF での診断用 release です。実機向けではなく、production 署名の release でもありません。

ダウンロードへ English GitHub の release

ダウンロード

AIUEOS

AIUEOS

共通の OS 基盤。

ISO · 16 MiB ディスクイメージ · 64 MiB

build receipt · 署名

ISO SHA-256 1bb7682839cd52eba32d0e845e02af0f46f076ba96b1047f553f3651bec1e2df

receipt SHA-256 7262257a5b004d15c755c552fa4f3cd158e312e549ca4eb5a06ef84ce885fb30

ITONAMI OS · AWAI DISTRIBUTION

Itonami OS

AIUEOS の Awai Network 向け distribution。

ISO · 16 MiB ディスクイメージ · 64 MiB

build receipt · 署名

ISO SHA-256 1bb7682839cd52eba32d0e845e02af0f46f076ba96b1047f553f3651bec1e2df

receipt SHA-256 b3bf05de5a000d8d9f3a3e7992eac2bf6e4c0d5755e62ec0704575d73f5ba09e

現在、2 つの distribution は同一の image bytes（同じ SHA-256）です。distribution は署名付き build receipt に名前として bind されます。x86_64 / UEFI 用です。

検証する

digest を照合し、build receipt の署名を公開鍵で検証します。

shasum -a 256 -c SHA256SUMS
python3 verify-release-signature.py \
  --receipt aiueos-x86_64-build-receipt.json \
  --signature aiueos-x86_64-build-receipt.sig \
  --public-key release-signing-key.pub

SHA256SUMS · release-catalog.json · 検証スクリプト · 公開鍵

署名鍵は qualification key で、production 鍵は offline です。

なぜ Lisp machine か

一つの言語

Kotoba がシステム言語

小さな正規 S 式 core で、アプリ、デスクトップ、kernel の判断を書きます。cljk や edn の Clojure 互換の表層は、この core へ読み込まれます。

操作ごとの権限

既定では何も許可しない

外部への操作は、表示された内容に対する新しい承認があって初めて行われます。拒否すれば何も送られません。

内容で識別

定義は CID で識別

正規形が IPLD データなので、コード、依存、ポリシーは内容のハッシュで識別され、成果物は digest で照合されます。

AMU · SELFHOST

コンパイラも同じ層に

Kotoba のコンパイラ Amu は native で selfhost します。AIUEOS の build 全体が Kotoba/Amu だけで行われるわけではなく、host 側の build・監査 script は Python のままです。

Itonami OS は、この OS を web3-first の方向（利用者が鍵を持ち、同意が操作ごとの、ブラウザ型の OS）へ進める distribution です。この方向は roadmap で、このリリースにウォレットや DID は含まれません。

この release の範囲

  • boot と install の証拠は QEMU/OVMF のみです。実機 boot、hardware 対応、常時稼働は未認定です。
  • image は hybrid build です。C の kernel が marshal し、Kotoba の object が判断します。C を使わない native desktop は別の診断候補で、この image ではありません。
  • 署名は qualification key によるもので、production 署名ではありません。
  • image の取得は、node 登録、Cell membership、外部 service の利用権を伴いません。
  • Lisp machine としての統合デバッグ、live なシステム変更、heap image の復元、selfhost、実機での成熟は、別の証拠が必要な未達成の項目です。

AIUEOS repository · Awai Network の OS ページ · source: aiueos 845204bb6, kotoba 75dbb8a0f