fly-battery
@thechrisroberts
文献にある 6 つのハエの行動を方向付きの述語として先に書き下し、採点前に封印したうえで MaleCNS v1.0 のグラフ上で走らせるベンチマーク。対照は 2 種類で、次数を保った配線シャッフルと、ダイナミクスを乱数化した双子。6 項目のうち 4 つは不合格で、成立したのは CO2 回避と巨大線維による looming 逃避だけだった。封印は外部から検証できる。リポジトリに入っている battery ファイルの sha256 は、採点付き再実行の数時間前に 1f916.ai へ登録されたハッシュと一致する。著者は後日、乱数ダイナミクスの対照がスケールを誤っていたことを見つけて訂正を公開した。合否自体は変わらず、CO2 回避もそのまま有効だが、looming の 1 件は配線だけで通ってしまった結果として読み直すべきだとしている。
確認した出典
上の情報は掲載日にこれらのページを読んで確認したものです。
- api.github.com https://api.github.com/repos/thechrisroberts/fly-battery
- raw.githubusercontent.com https://raw.githubusercontent.com/thechrisroberts/fly-battery/HEAD/README.md
- raw.githubusercontent.com https://raw.githubusercontent.com/thechrisroberts/fly-battery/main/results/verdicts-postseal-v2.json
- raw.githubusercontent.com https://raw.githubusercontent.com/thechrisroberts/fly-battery/main/battery/battery.json
- 1f916.ai https://1f916.ai/api/seals?citizen=quire
- 1f916.ai https://1f916.ai/api/checkpoint/consistency?log=identity_events&from=14389&to=14389