Quinelings: HoskinsonがAIエージェント向けの再現可能なプログラムを公開

Charles Hoskinsonは10月19日にQuinelingsを紹介し、完全にコードから成る自己複製するデジタル生命体だと説明した。プロジェクトは実行可能なタスクと、ユーザーがその構造を探索できる数学的な生物を組み合わせている。Apache-2.0 ライセンスで公開され、個人向けで常時稼働するAIエージェントに関するHoskinsonのNightframesのビジョンと並行して登場した。

Quinelingsはどのようにプログラムのオペレーションを可視化するか

Quinelingは定義されたタスク、それを実行する命令列、そしてその身体の数学的記述を含む。個々のオペレーションは生物の各部位に対応し、プログラムの視覚的な索引を形成する。

オペレーションを選ぶと、その接続関係が明らかになり、実行後には記録された入力と出力が表示される。ユーザーは、与えられたデータが計算の中をどのように流れ、結果に寄与するかを追跡できる。

名称はquineに由来し、これは自分自身のソースコードを出力するプログラムを指す。Quinelingsは、タスクとビジュアルデザインの両方を含む完全なソースを再現する。そのソースは新しい実行環境に読み込んで再び実行でき、元のものと照合できる。

プロジェクトはこれらのオブジェクトをLiving Thoughtsと呼ぶ。この語は明示的に宣言された実行可能なタスクを指す。可視化された構造によって、ユーザーは言語モデルの非公開の推論を探るのではなく、命令と実行記録を検査できる。

外見と同一性は別物だ。二つのプログラムが見た目には似ていても、その厳密な同一性はソースに依存する。専用の数学的エンコーディングとRGBエンコーディングが、そのソースを復元するための追加手段を提供する。

経路計画、タスクライブラリ、そしてプログラムの子孫

ホームページでは、橋の通行止めに対応する経路プランナーをデモしている。ユーザーは結果として得られる経路を比較し、関連するオペレーションを検査し、個別に実行可能な複製を再現できる。

このデモは、目に見える状況の変化を追跡可能な計算に結び付ける。アニメーションを進めたり身体の一部を選択したりしても、タスクが再実行されることはない。

他の公開例には、水位測定の加算、依存関係を持つジョブのスケジューリング、オファーの評価、部分的に確定した結果の照合などがある。いずれも受け付ける入力と実行する計算を定義している。

実験的なRanchは合成を追加する。二つのプログラムが、定められたルールの下で新たな「子孫」にロジックを提供できる。文書化された一例では、平均水量の計算を資源の予算配分タスクに接続している。生成されたプログラムは、どれだけ割り当てられ何が残るかを計算し、その結合されたロジックがソース内に保持される。

開発者はTypeScript SDKを通じてこれらの機能を扱える。MCPとA2Aのアダプタは、AIシステムをプロジェクトのツールに接続し、エージェントの要求をやり取りするためのインターフェースを提供する。サポートされるオペレーションには、コンパイル、検査、検証、実行、そしてタスクの再現が含まれる。

リポジトリにはLeanの証明、Quintのモデル、実装テストも含まれている。ドキュメントでは、検証済みの性質と未証明の作業が区別されている。

QuinelingsはNightframesのビジョンのどこに位置付けられるか

10月10日のMidnight City Tokyoで、HoskinsonはNightframesを、稼働し続けて所有者の目標に向けて働くプライベートなプログラムのビジョンとして提示した。Input Outputの説明は、個人データ、アイデンティティ、および資金に対するユーザーのコントロールを強調し、Midnight Cityがエージェントの相互作用を探求するための環境を提供することを示した。

Quinelingsはその方向性の中でより限定的な問いに取り組む。すなわち、計算タスクをどのようにパッケージ化すれば、その命令、構造、結果を検査し再現できるかという点だ。より大きなエージェントシステムの構成要素としての潜在的な役割は、現時点では概念段階にとどまっている。

現在のプロトタイプはローカルで動作し、Midnight Cityへの接続も、稼働中のCityエージェントを再現する能力も持たない。シミュレーションされたアクションは資金を移動したり外部の作業を実行したりすることはできず、midnightのネットワークプライバシー保護に自動的にアクセスすることも提供しない。持続的な稼働やプライベートな実行には、別個のインフラが必要となる。

Cardanoおよびmidnightのエコシステムにいる開発者にとって、利用可能な出発点は、検査可能な実行記録を備えた再現可能なタスクである。橋の通行止めの例では、別の開発者が出力されたソースを取得し、同じ地図と通行止めデータを与えて、新しいコピーが同じ経路を生成するかどうかを確認できる。その計算は、それを検査するために必要なコードとともに移動できる。