FrogOS/Planner
1
0
Fork 0
Code Issues 6 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Core types: SystemState and Plan #9

Merged
yorunikakeru merged 2 commits from feat/core-types-system-state-plan into main 2026-06-15 14:20:33 +02:00
Conversation 0 Commits 2 Files changed 11 +278 -29
yorunikakeru commented 2026-06-15 14:06:46 +02:00
Owner
Copy link

Summary

  • add independently versioned SystemState and Plan contracts
  • model ordered plan entries as typed PlanStep values with Undo Action
  • decode only the inbound SystemState contract; encode outbound Plan and errors
  • add round-trip tests for input and golden tests for all wire formats

Verification

  • cabal test (7 tests)
  • nix fmt
  • nix flake check path:. --keep-going --print-build-logs

Closes #4

## Summary - add independently versioned `SystemState` and `Plan` contracts - model ordered plan entries as typed `PlanStep` values with `Undo Action` - decode only the inbound `SystemState` contract; encode outbound `Plan` and errors - add round-trip tests for input and golden tests for all wire formats ## Verification - `cabal test` (7 tests) - `nix fmt` - `nix flake check path:. --keep-going --print-build-logs` Closes #4
feat(types): add versioned system state and plan contracts
All checks were successful
CI / linux (pull_request) Successful in 1m35s
Details
adabc39ad4
refactor(types): decode only inbound contracts
All checks were successful
CI / linux (pull_request) Successful in 1m24s
Details
bb66ce3c01
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
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!9
No description provided.