Skip to content

PR2: Safe planner run store and state machine - #30

Open
min9lin9 wants to merge 2 commits into
boulder-native-planner/pr1-contract-freezefrom
boulder-native-planner/pr2-safe-store-state
Open

PR2: Safe planner run store and state machine#30
min9lin9 wants to merge 2 commits into
boulder-native-planner/pr1-contract-freezefrom
boulder-native-planner/pr2-safe-store-state

Conversation

@min9lin9

Copy link
Copy Markdown
Owner

Summary

  • .boulder/plans// persistence with path containment, symlink/hardlink rejection, atomic replace, cooperative locking
  • Monotone state transitions with expected-revision guards, idempotent replay, drift detection

Merge gate

  • bun test: 311 pass / 2781 assertions
  • bunx tsc --noEmit

Stacked on PR1.

Burt added 2 commits July 18, 2026 16:18
Adds .boulder/plans/<runId>/ persistence with run/artifact path
containment, symlink and hardlink rejection, atomic replace, cooperative
owner/revision locking, monotone state transitions with expected-revision
guards, idempotent replay, drift detection, and the ambient fs typings
the hardened store relies on.

Merge gate: bun test (311 pass), bunx tsc --noEmit, regenerated package
inventory and readiness pack baseline.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant