Show HN: Fly.exe – コンピュータにアップロードされたEONシステムのような仮想ショウジョウバエ

MaleCNS Virtual Fly リリースされた雄のCNSコネクトームの全トレースされたユニバース — 165,122個のニューロンとそれらの間の25,563,197個のエッジ — を、物理的なハエの体内で、閉ループで、単一のGPU上で実行するDrosophila脳シミュレーターです。そのユニバースは、MaleCNS論文が注釈を付けた166,700個の体のうち165,122個です。ランタイムグラフは、注釈ステータス「Traced」によって誘導されるサブグラフであり、この決定はADR-2026-002に記録されています。「Traced+Assign+Anchor」に広げると、2,443個の体（1.48%）と60,281個のエッジ（0.24%）が追加されます。これは、イメージングされたハエの復元されたコピー、完全な生物学的エミュレーション、またはデジタルツインではありません。それが何であるか、そしてこのページ上のすべての数字の背後にある証拠は、「何が主張され、何が主張されないか」に記載されています。 12匹のハエ、12個のコネクトーム、1つのシーン 1つのMuJoCoシーンで12個の完全なNeuroMechFlyボディが、ランダムに30 mmディスク上に散らばり、ランダムな方向を向いています。各ハエは、独立した膜、適応、スパイクカウンター、ノイズ状態を持つ1つの共有接続割り当て上で、15ミリ秒のカップリング間隔ごとに、その全グラフの独自のコピーを実行します。フードの球体と柱は、実際の接触ペアを持つジオムであり、ボディは1つのソルバーステップを共有するため、オブジェクトはルールではなく物理によってハエを停止させます。ハエ同士は衝突しません — FlyGymは各ハエのジオムにcontype 0を与え、この世界はハエ同士の接触ペアを書き込まないため、2つのボディは互いにすり抜けます。それらを結合するのは視覚です。各ハエは、他のハエのエンコーダーに、指定された半径の球体として入ります。その視覚は解析的であり、光学的なものではありません。エンコーダーには、各オブジェクトの正確な位置と半径が渡され、それらから方位角と角度サイズが計算されます。ループ内にはカメラピクセル、レイキャスティング、オクルージョン、色、テクスチャは一切ありません。それらを操るのは、自身のネットワークから読み出される2つの下降人口レートだけです。開始はタイマーによって行われ、ビデオはそのことを示しています。各ハエは構築上1.5秒間静止し、その後150ミリ秒間ドライブを閾値以上に保つ必要があるため、12匹すべてが1.665秒に歩行を開始します。タイマーが時期を決定します。刺激が決定するのは、以下の制御が立っている状態から決して離れないことです。 GIF 1つの接続割り当て上の12個の独立したニューラル状態。明るさはスパイクカウントで、指定された減衰があります。0.30倍速。 三脚歩行の6本の脚、各脚の付着切り替え、MuJoCoによって解決されるすべての接触。その制御と正確に一致 — 同じシード、同じボディ、エンコーダーはベースラインに保持されています。完全な1:38ビデオ（1920x1080、19 MB）をご覧ください。 測定されたもの（同一シードの刺激なし制御と比較して）: 刺激なしのハエがオブジェクトの表面から1mm以内に到達した数: 12 / 12 ニューロンがハエあたりカップリング間隔あたりにスパイクした数: 9,337 直線変位: 5.0〜25.6 mm フードオブジェクトの近くに到達した数: 12 / 12、中央値+11.48 mm 12匹中11匹がフードの球体に、12匹目が柱に到達しました。それらはオブジェクトによって停止させられ、停止を決定したのではありません。デコーダーには、歩行状態からの遷移がないため、ブロックされたハエは前進するようにコマンドされ続けます。「1mm以内」は、オブジェクトの半径を引いた2次元の胸部中心距離であり、MuJoCoの接触テレメトリではありません。最後の行は注意が必要な行であり、ビデオが画面上でそれを伝えています。静止しているボディは自身の軸に沿って前進し、フードがエンコーダーのマッピングされた視覚フィールド内に収まるように方向が制限されているため、制御は同じ方向に傾いています。フードへの距離の接近は識別子ではありません。オブジェクトに到達することが識別子です — 12/12対0/12。 これは1つのシードと1つのアリーナです — 2つのアリーナが失敗した後に測定して構築された3番目のアリーナで、フードがエンコーダーのマッピングされたフィールド内に収まるように開始方向が制限されています。マルチシードマトリックスはなく、受け入れ契約スコアもありません。2つのプロパティがアサートではなくチェックされます。なぜなら、スワームは凍結されたDEMO-01ネットワークを再利用し、そのフライごとのアクチュエーションを再実装しているからです。1つのフライがSwarmWorldとDemo01VisualBodyを介して、同一のコマンドシーケンスの下で実行され、133個のqposコンポーネントすべてで0.0に一致します。マルチオブジェクトエンコーダーは、1〜400 Hzのレートで1.1e-13 Hzまで凍結されたシングルキューエンコーダーを再現します。どちらもtests/test_swarm3d.pyにあります。オペレーターハンドオフ: docs/showcase/SWARM3D.md。決定記録: ADR-2026-023。これには、最初に構築、測定、破棄された2つのアリーナも記録されており、それぞれが、以前のどの実験でもテストされていなかった凍結された視覚ルートのプロパティを明らかにしました。 仕組み MaleCNS v1.0 (CC-BY) 165,122ニューロン、25,563,197エッジ、チェックサムロック付き | 各ニューロンの送信者サイン。未解決のサインは推測されず、ゼロにされます | ハッシュ配列のスパースグラフビルド、ロードごとに検証 | GeNN / CUDA 1つの接続割り当て、N個の独立したニューロン状態 | ^ レチノトピック | | 2つの下降人口レート ラミナ | | エンコーダー | v MuJoCo + NeuroMechFly 133 qpos / 132 DOF、42個のアクティブ化、接触解決済み 完全なフレームチェーンは、ボディをニューラルエンジンより1インターバル遅らせる因果キューを含め、docs/architecture.mdにあります。ループは意図的に狭く、すべての狭窄が宣言されています。光は光受容体の下流の1つのシナプスに入ります。なぜなら、66,533個すべての光受容体出力エッジが、凍結された未解決サインポリシーによってゼロにされるからです。歩行は公開されているパターンジェネレーターであり、シミュレートされた腹側神経索ではありません。読み出しは2つの数値です。ボディとコネクトームが行いうる他のすべては、このデモンストレーションでは不活性であり、不活性なものの在庫は脚注ではなく、アーティファクトの一部です。 主張されるもの、されないもの プロジェクトは、独自のV0–V8ラダー上のティアV0構造に位置します。スワームデモンストレーションは、いかなるティアも授与されません。実行サマリーとレンダリングマニフェストの両方にvalidation_tier_awarded: nullおよびevidence_grade: falseが含まれています。なぜなら、事前登録された生物学的仮説も、スワームのための受け入れ契約も存在しないからです。それは機械を実証し、生物学を検証しません。 特に主張されておらず、ビデオフレームに表示されている（隠されていない）もの: ソーシャル行動なし。ハエが集まるのは、近くのハエが視覚フィールド内の大きなオブジェクトであり、ネットワークが大きなオブジェクトに近づくからです。採餌なし。フードは半径を持つ色付きの球体です。エンコーダーには色チャネルがなく、フードと柱を区別できません。それらを分けるのは角度サイズです。この実行では、摂取、口吻伸長、味覚チャネルはありません。歩行はエンジニアリングされたものです。シミュレートされた腹側神経索のどの部分も脚の動きに寄与しません。ハエは個々のものではありません。1つの標本の12個のパラメータ化されたコピーであり、開始位置、そこから見えるもの、および独立したノイズストリームが異なります。ハエ同士の接触や光学的な視覚はありません（上記参照）。ボディは互いにすり抜け、エンコーダーはピクセルではなく正確な座標を読み取ります。これがスワームの結果となる制御はまだ存在しません。フライ不可視アーム、スワーム固有の読み出しアブレーション、コントローラーのみのアーム、アクティビティマッチシャッフル、マルチシードマトリックス、または均等角度サイズフード対柱選好テストはありません。公開された実行は、刺激なしに対して正確であり、それ以上のものではありません。レンダリングは、これらのファイルを生成したマシン上でのソフトウェアラスタライゼーションであり、マニフェストがそれを記録しています。これらのステートメントを生成する規律は、シミュレーションと同様に、プロジェクトのポイントです。各パラメータは、provenanceクラス（M測定済み、P人口事前、F適合済み、Eエンジニアリングスキャフォールド、I回復不能）と、configs/assumptions.jsonの仮説IDを持ちます。エビデンスグレードの実行は、ダーティなワークツリーから開始することを拒否し、基準はスコアリング前に登録されます。失敗した結果は保持されます — 現在の状態についてはdocs/STATUS.mdを参照してください。これには、トラックAの0/30グルーミング変位失敗と、撤回されたエビデンスラウンドが含まれます。 クイックスタート 軽量リファレンスエンジンは、FlyGym、CUDA、またはMalの前に実行されます。