feat/supervisor-actor-model #1

Merged

yorunikakeru merged 20 commits from feat/supervisor-actor-model into main 2026-06-24 14:44:45 +02:00

Conversation 0 Commits 20 Files changed 15 +1800

yorunikakeru commented 2026-06-24 14:27:05 +02:00

Owner

Copy link

No description provided.

yorunikakeru added 15 commits 2026-06-24 14:27:05 +02:00

chore: scaffold supervisor crate with tooling and git deps 28fcfd285e

feat: add SupervisorError test and finalize error type 7df9f0859f

feat: add RestartTracker with intensity limit 83753a6de2

feat: add bridge task — Toad watch to Planner mpsc ... e6e04d544a

Implements encode_state (ToadState → proto bytes) and bridge_task
(watch::Receiver → mpsc::Sender<PlannerMsg>) with three passing tests.
Also fixes items_after_test_module lint from Task 3 in supervisor.rs.

feat: add Supervisor with rest_for_one restart logic ... 1aa52ffe06

Implements SupervisorConfig, Supervisor::new, and Supervisor::run with
Erlang-style rest_for_one supervision: Toad death restarts all three actors,
Bridge/Planner death restarts only Bridge+Planner with a fresh mpsc channel.

fix: restore doc comment on pub mod error in lib.rs ac5f76378b

test: integration test — Watcher state reaches Planner via real FFI ee833252a2

choire: add gitignore\ 7fafa30ebd

choire: add CLAUDE.md fea529cd6a

choire: updated AGENTS.md 986264d1ff

refactor(test): replace hardcoded IR JSON with planner_actor::empty_ir_bytes() ... e33d8b3c1a

Version and schema now owned by Types.emptyIRDocument in the IR crate,
exposed via hs_empty_ir FFI. No more hardcoded version:9 or field list.

choire: update deps 5500fabadd

build: switch from fenix to pkgs.rustPlatform; fix prost conflict ... 84b7b7d06a

rust-lld (LLVM 22, default since Rust 1.96) misparses ELF VER_NDX_LOCAL
entries in GHC-produced libplanner-ffi.so. nixpkgs ships Rust 1.95 which
still uses ld.bfd — no linker issue.

Also removes direct prost dep from Supervisor; bridge.rs now uses
planner_actor::system_state_bytes() to avoid prost version conflict.
Adds frogos-toad as flake input so its narHash feeds importCargoLock
outputHashes automatically on nix flake update.

fix(nix): add clippy + PLANNER_PROTO_DIR for nix flake check ... 3d9ae7e2be

Add pkgs.clippy to nativeBuildInputs so cargo clippy is available in
the Nix sandbox. Set PLANNER_PROTO_DIR to the flake-input source of
the planner repo so build.rs resolves proto/ without needing the repo
root (which is absent from the vendor dir subtree).

choire: update gitignore a5f3abb9d0

yorunikakeru added 1 commit 2026-06-24 14:32:49 +02:00

fix: address review feedback ... 09736631e3

- Add warn! on each actor restart arm for operational visibility
- Surface supervisor errors in integration test via tokio::select!
- Narrow tokio features from "full" to rt-multi-thread/sync/time/macros
- Remove unused rustToolchain binding from flake.nix
- Fix double space in flake.nix cargo test command
- Simplify ToadState::default() in bridge test
- Remove file-level narrating comment from supervisor.rs
- Document IFD risk on plannerFfiLibDir; keep hardcoded GHC path

yorunikakeru added 1 commit 2026-06-24 14:35:12 +02:00

fix: ssh->http 19e937894b

yorunikakeru added 1 commit 2026-06-24 14:36:53 +02:00

fix(nix): replace allowBuiltinFetchGit with outputHashes from flake inputs ... 2c65a3323e

allowBuiltinFetchGit calls builtins.fetchGit with SSH URLs from Cargo.lock
during evaluation, triggering the SSH host key prompt even when inputs are
already fetched via HTTPS. outputHashes derived from locked flake inputs
avoids all eval-time network access.

yorunikakeru added 1 commit 2026-06-24 14:37:49 +02:00

style: formatted 0d18214e09

yorunikakeru added 1 commit 2026-06-24 14:42:16 +02:00

choire: cargo ssh -> http 1e66dc17c9

yorunikakeru merged commit 2a6ee76bab into main 2026-06-24 14:44:45 +02:00

yorunikakeru referenced this pull request from a commit 2026-06-24 14:44:45 +02:00

Merge pull request 'feat/supervisor-actor-model' (#1) from feat/supervisor-actor-model into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

FrogOS/Supervisor!1

No description provided.