#watchdog
4 件
ros
ROS 2 の監視→デバッグ→再デプロイをエージェントで閉ループにする
監視は決定的コード (token ゼロ)、LLM エージェントはイベント駆動で起きる。人間が rosbag を渡してフィードバックする工程を消す構成と token 消費の抑え方
ros2agentllmdebugmcp
ros
開発中ロボットの実行時検証 — 正しさでなく 4 層で見る
仕様が固まっていないコードの watchdog は「正しさ」を検証できない。普遍的不変条件・宣言済み contract・sim 真値 diff・golden run 回帰の 4 層に分解する
ros2verificationtestingsim
project
robot debug devkit 計画 (部共通)
Claude が sim の監視→デバッグ→再デプロイを自動で回す部共通基盤。watchdog は C++、プローブは ESP32 + zenoh-pico、Python は使い捨て解析のみ
fortefibredevkitzenohclaude
project
デバッグループを実機で回すための置き換え
salamander の sim 用閉ループ (redeploy / watchdog / 判定 / 台帳 / verdict ゲート) のうち、実機で置き換わる部品と残る部品。最小の実装順
salamanderdebug-loopreal-robot