feat(actor): add Rust FFI planner actor #15

Open

yorunikakeru wants to merge 0 commits from feat/planner-actor-ffi into main

pull from: feat/planner-actor-ffi

merge into: FrogOS:main

FrogOS:main

FrogOS:feat/core-types-system-state-plan

Conversation 0 Commits - Files changed -

yorunikakeru commented 2026-06-19 12:41:02 +02:00

Owner

Copy link

Summary

• Add the planner-actor Rust crate with Tokio actor channels for IR and SystemState updates.
• Add a safe Rust wrapper over the Haskell Planner FFI and decode Protobuf PlanResult via prost.
• Add actor smoke tests plus a real FFI smoke test that initializes the GHC RTS and calls hs_plan.
• Include planner-actor in flake checks so the Rust actor and real Haskell FFI smoke run in Nix.

Closes #7

Verification

• cargo test --manifest-path planner-actor/Cargo.toml
• nix build .#checks.x86_64-linux.planner-actor --print-build-logs
• cargo fmt --manifest-path planner-actor/Cargo.toml --check
• nix fmt

## Summary - Add the planner-actor Rust crate with Tokio actor channels for IR and SystemState updates. - Add a safe Rust wrapper over the Haskell Planner FFI and decode Protobuf PlanResult via prost. - Add actor smoke tests plus a real FFI smoke test that initializes the GHC RTS and calls hs_plan. - Include planner-actor in flake checks so the Rust actor and real Haskell FFI smoke run in Nix. Closes #7 ## Verification - cargo test --manifest-path planner-actor/Cargo.toml - nix build .#checks.x86_64-linux.planner-actor --print-build-logs - cargo fmt --manifest-path planner-actor/Cargo.toml --check - nix fmt

yorunikakeru added 1 commit 2026-06-19 12:41:02 +02:00

feat(actor): add Rust FFI planner actor 2063df2802

yorunikakeru added 1 commit 2026-06-19 12:45:44 +02:00

fix(actor): handle closed planner channels 69030ba7b7

yorunikakeru added 1 commit 2026-06-21 13:46:02 +02:00

refactor: migrate from service to module domain ... 3047b64bd3

Replace IR.Domain.Service with Domain.Module throughout the Planner.
The IR dropped the Service abstraction in favour of Module (with
ModuleRef carrying domain + name, and LifecycleAction replacing
Enable/DisableWithPriority).

- Rename Planner.Domain.Service -> Planner.Domain.Module; rewrite
  conflict resolution around Module.LifecycleAction
- Replace ServiceAction pattern with ModuleAction everywhere
- Remove IR. import prefix: Action, Condition, Domain.*, Types now
  consumed directly as exposed by frogos-ir
- Rename SystemState.activeServices -> activeModules
- Add AppRunning branch to evalCondition (new IR constructor)
- Update tests and fixtures to use ModuleRef instead of service names
- Document cabal clean workaround for stale IR cache in AGENTS.md

yorunikakeru added 14 commits 2026-06-23 12:53:38 +02:00

chore: sync Planner to updated IR with action priority fields ... 09b27fe9f1

RestartModule and SetPowerProfile now carry Int priority. IRDocument
gains irUsers and irNetwork fields. Updated pattern matches and test
fixtures accordingly.

feat: add resource/delta types and DeltaAction to Planner.Types ... 2e43b7cfc5

ResourceId/ResourceState/ResourceGraph model the system as a flat map
of resources. Delta carries typed service/package/user operations.
DeltaAction extends IR actions with package and user variants so
PlanStep can represent all backend operations.

fix: correct decodePlanError, wire proto fields 4-6, add evalCondition tests ... b9aacaf768

- decodePlanError: map version_mismatch to VersionMismatch constructor
  (was incorrectly mapping to ConflictingActions)
- Proto.Planner: add cpu_load (double/field 4), battery_percent (int32/field 5),
  running_apps (repeated string/field 6) to SystemState generated type;
  update parser (getFixed64/wordToDouble for double), builder, defMessage, NFData
- Proto.Planner_Fields: add cpuLoad, batteryPercent, runningApps, vec'runningApps lenses
- Planner.Proto: wire new fields in decodeSystemState and encodeSystemState;
  sentinel: cpuLoad=0.0 -> Nothing, batteryPercent=-1 -> Nothing
- planner.proto: update PlanStep action_json/undo_json comments to DeltaAction

refactor: better condition check d6f6197398

feat: add Planner.Graph with buildCurrentGraph and buildDesiredGraph ... ccd6e04afa

buildCurrentGraph maps SystemState fields to a ResourceGraph.
buildDesiredGraph collects desired states from active profiles and
global IR fields, resolving conflicts by action priority with
Fallback policy support.

fix(core): restore deleted evalCondition pattern arms ... 409bc0d1d1

Commit d6f6197 deleted 4 critical pattern arms from evalCondition:
- ProcessCondition (Process.ProcessRunning ...)
- ProcessCondition (Process.AppRunning ...)
- And c1 c2
- Not c

This caused 9 tests to fail with Non-exhaustive patterns error.

Restore all missing arms while keeping the checkMetric helper.
All 45 tests now pass. stan reports 0 issues.

feat: add Planner.Delta with computeDelta and orderSteps ... 688a0fc3cc

computeDelta compares current ResourceGraph against desired states
to produce typed service/package/user deltas. orderSteps emits
PlanSteps in backend-safe order: users before packages before services.

feat: wire Planner.Core to ResourceGraph pipeline ... 24412aef57

plan now builds current and desired resource graphs, computes a typed
delta, and orders steps by backend (users → packages → services).
Power profile resolution is unchanged.

choire: add .stan.toml 6e55bef666

feat: extend proto SystemState with installed_packages and existing_users ... 9fb99ea028

New tags 7-8 carry package and user data from Toad. decodeSystemState
populates the new SystemState fields. Rust bindings auto-regenerated
from proto by prost_build.

fix(planner-actor): add new SystemState fields to ffi_smoke test 10b1af39d0

test(planner): add transition and property coverage f31b245f04

feat(planner-actor): add system_state_bytes encoding helper ... 99fdede759

Encodes Toad-observed fields (installed_packages, existing_users,
running_processes, active_services, power_profile) into proto
SystemState bytes for PlannerMsg::SystemStateUpdate.

docs: update README 99284d25a6

yorunikakeru added 1 commit 2026-06-23 15:24:28 +02:00

choire: 9 -> x 10f7f06878

All checks were successful

Hide all checks

CI / linux (pull_request) Successful in 2m7s

Details

CI / linux (push) Successful in 19s

Details

This branch is already included in the target branch. There is nothing to merge.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin feat/planner-actor-ffi:feat/planner-actor-ffi

git switch feat/planner-actor-ffi

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff feat/planner-actor-ffi

git switch feat/planner-actor-ffi

git rebase main

git switch main

git merge --ff-only feat/planner-actor-ffi

git switch feat/planner-actor-ffi

git rebase main

git switch main

git merge --no-ff feat/planner-actor-ffi

git switch main

git merge --squash feat/planner-actor-ffi

git switch main

git merge --ff-only feat/planner-actor-ffi

git switch main

git merge feat/planner-actor-ffi

git push origin main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

core

  

ffi

  

haskell

  

rust

No labels

core

ffi

haskell

rust

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/Planner!15

No description provided.