IOG 創設者のチャールズ・ホスキンソン氏が、日本時間 10 月 20 日早朝の X 投稿で、コードだけでできた「デジタルの生き物」Quinelings（クワインリングス）を紹介しました。正体は、計算の手順と体の形を一つのソースにまとめ、自分自身のソースを丸ごと書き出せる小さなプログラム群で、GitHub とブラウザで動くデモサイトがすでに公開されています。
Quinelings リポジトリ（README）（GitHub）
投稿そのものは短い紹介と動画だけで、詳しい説明はホスキンソン氏の GitHub アカウントで公開されたリポジトリの README にあります。README には Midnight City の名前も出てきます。この記事では、公開されたものの中身と、作者自身が README に書いている線引きを順に見ていきます。
見た目は生き物、中身は手順を書いたプログラム
README の見出しは「Living Thoughts（生きた思考）」です。Quineling 1 体は、作者が書いた計算手順（タスク）と、その手順から描かれる数学的な体を持つローカルのプログラムです。体の各部位は手順の一つひとつに割り当てられていて、部位を選ぶと、その手順がどの値を使い、何を出したかを確かめられます。
名前の由来は「クワイン」（自分自身のソースコードを出力するプログラム）です。デモサイトの最初の例では、市場までの道を探す Quineling が経路を計算し、「橋を閉鎖」を押すと別の経路を出し直します。そのうえで自分の手順と体のソースを完全に書き出し、そこから作った新しいコピーが同じ入力で動くことを見せます。
ソースはもう一つの形でも保存されます。体の色や波形（ハーモニック帯域と RGB の記録）にソース全体が復元できる形で埋め込まれていて、そこからプログラムを取り出せます。ただし README は、スクリーンショットや圧縮した動画からは復元できないこと、見た目が似ていても同一かどうかはソースのバイト列で決まることも書いています。
10 体の Quineling と、QDL 1・Agent SDK 1.0.0
README の表には 10 体が並び、それぞれが一つの計算を受け持ちます。
- Wayfinder — 通れない道を避けた最短経路
- Echoweaver — 出どころを考慮した合意と定足数の判定
- Tidemender — 依存関係を見た並列スケジューリング
- Memorybloom — 証拠が支持するか、反証するか、食い違うかの整理
- このほか Lanternkeeper（街灯修理の判断）、Swarmwarden（割り当て）、Raincatcher（センサーの統合と散水予算）、Pulsekeeper（試行 4 回までの結果レビュー）、Threadsorter（絞り込みと優先順位付け）、Seedbank（種と資源の配分）
手順を書くための言語は QDL 1 で、リリース識別子は qdl-v1.0.0 です。手順は有限のデータフローとして書き、繰り返しは 1〜8 回までに限られます。あらかじめ上限を決めた計算しか書けない作りです。
外から使う入口として Agent SDK 1.0.0 も公開されました。AI エージェントがツールや他のエージェントとつながるための手順である MCP と A2A に対応していて、AI エージェントが Quineling を作ったり動かしたりする使い方を想定しています。研究室のページでは 10 種類のレシピを、用意された入力で試せます。形式検証（プログラムの性質を数学的に確かめること）は Quint 0.33.0 による有界な状態探索が中心で、Lean で証明した定理、Quint での探索、実装のテスト、まだ証明していない部分を分けて書いた文書も置かれています。
README が自分で引いている線
見た目が生き物なので、AI エージェントの思考そのものが目に見えるように感じるかもしれません。README はそこをはっきり否定しています。
すべての動作結果はローカルのシミュレーションで、Midnight.city には接続していません。Midnight City で動いているエージェントを再現するものでも、LLM の隠れた推論を見せるものでもない、と明記されています。体の形はソースを解読するための装置ではなく、構造を投影したものだという説明もあります。
Midnight City との関係で今わかっているのは、使われているエージェントの絵が Midnight.city の公開素材から取られ、取得元 URL・時刻・ハッシュが記録されていることです。思考の中身は作者が明示的に書いたタスクで、エージェントが実際に考えたものではありません。サイトのナビゲーションには「Quinelings in Midnight.City」というページがありますが、現時点では「準備中」とだけ書かれています。
なお、Midnight City の日本語版については、こちらの記事で紹介しています。
同じサイトに置かれた Moriarty の実行エンジン
Quinelings のサイトには、もう一つ目を引くページがあります。「Sherlock」と題したページで、Moriarty という言語の中心にある実行エンジンを可視化しています。ローンや支払い計画、スワップを共通の決定的な機械で動かし、各ステップでどの規則が発火したかを記録して、その連鎖を暗号証明で検証できるようにする仕組みです。ページ内には「Quinelings 2.0 Lifeforms」のスライドへのリンクもあります。
Moriarty はホスキンソン氏の別のリポジトリで、説明欄には「Midnight 向けの有界な金融言語」とあり、必須の証明付きトランザクションは開発中とされています。README は実験的なプロジェクトだと明記し、本番向けの SDK でも監査済みのデプロイでもないと書いています。固定のローン例とスワップ例は、テスト環境の Midnight Preview で実行済みです。
10 月 18 日には、ホスキンソン氏が Cardano 向けの新しいプログラミング言語を開発中だと明かしました（10 月 18 日の記事）。この言語と Moriarty が同じものかどうかについて、本人は何も述べていません。ここでは二つを別のものとして扱います。
次に見るもの
Quinelings 自体は、作者が書いた計算を生き物の形で見せ、自分のソースを書き出して増える研究用のデモです。Midnight と実際につながる話は、まだどこにも書かれていません。
確かめられる次の一点は、Quinelings サイトの「Quinelings in Midnight.City」ページです。Midnight City のエージェントの思考がどう Quineling になるのかを説明する予定だと書かれていて、ここが埋まったときに、ローカルのデモと Midnight の接点が初めて具体的に見えてきます。あわせて Moriarty の README では、証明と決済の経路のうち何が開発中から外れたかが更新されていきます。
ことば
- クワイン（quine） — 自分自身のソースコードをそのまま出力するプログラム。Quinelings はこれに体と計算手順を足し、出力したソースから同じものを作り直せることを「増える」として見せています。
- QDL 1 — Quinelings の手順を書く言語の安定版。入力の型と繰り返しの上限をあらかじめ宣言する作りで、動きはすべて公開された宣言から読み取れます。
- MCP / A2A — MCP は AI エージェントが外部のツールを呼び出すための共通手順、A2A はエージェント同士が連携するための手順。Agent SDK 1.0.0 が両方に対応したことで、エージェント側から Quineling を扱えます。
一次ソース / 関連リンク
GitHub
Quinelings デモサイト（charleshoskinson.github.io）
Sherlock（Moriarty の実行エンジン）の解説ページ（charleshoskinson.github.io）
GitHub
