Skip to content

Migrate durable rewind checkpoints to Runtime HBP - #232

Merged
wesleysimplicio merged 1 commit into
mainfrom
codex/issue-99-checkpoint-hbp
Jul 23, 2026
Merged

Migrate durable rewind checkpoints to Runtime HBP#232
wesleysimplicio merged 1 commit into
mainfrom
codex/issue-99-checkpoint-hbp

Conversation

@wesleysimplicio

Copy link
Copy Markdown
Owner

Summary

  • persist durable RewindCheckpoint blobs as one Runtime-compatible HBP v1 record
  • migrate legacy checkpoint-.json only during bounded startup rehydrate, preserving a .legacy.bak and failing closed on corrupt or mismatched input
  • add focused migration, tamper-shape, cap, truncate, and rehydrate tests; classify the exact JSON boundary as migrated
  • repair the existing test SessionContext factory for the required directory field

Evidence

  • Runtime MCP: cargo check -p xai-grok-workspace: PASS
  • Runtime MCP: cargo fmt --all -- --check: PASS
  • Runtime MCP: cargo test -p xai-grok-workspace checkpoint_store: 13 passed, 0 failed
  • Runtime MCP: cargo test -p simplicio-code-formats --lib: 8 passed, 0 failed
  • Runtime MCP: strict binary boundary scan: findings=0, pending=0, expired=0
  • git diff --check: PASS

Closes #99

@wesleysimplicio
wesleysimplicio merged commit 7ccf693 into main Jul 23, 2026
3 of 11 checks passed
@github-project-automation github-project-automation Bot moved this from Backlog to Done in Simplicio Code Jul 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

[Binary formats] Migrate internal JSON state to HBP, HBI and TOML

1 participant