Skip to content

Add logical runtime resumption - #27

Merged
SandroMaglione merged 1 commit into
mainfrom
codex/logical-runtime-resumption
Aug 7, 2026
Merged

Add logical runtime resumption#27
SandroMaglione merged 1 commit into
mainfrom
codex/logical-runtime-resumption

Conversation

@SandroMaglione

@SandroMaglione SandroMaglione commented Aug 7, 2026

Copy link
Copy Markdown
Member

Summary

  • Add Machine.resume(machine, snapshot) as the canonical typed boundary for starting a fresh managed runtime from a decoded logical snapshot.
  • Defensively validate and normalize restored configurations, completion outputs, and history metadata without calling initial or replaying historical actions, emissions, completion, or eventless work.
  • Restart active-state invokes with Machine.InitialEvent, full-duration timers, and fresh invoked child machines while preserving ordinary runtime commit and lifecycle behavior.
  • Add AtomMachine.resume and AtomMachine.bind(runtime).resume with the same lazy per-registry ownership and disposal semantics as make.
  • Add deterministic runtime/compiler/property coverage and nested-history integration after rebasing onto Fix first-use nested history fallbacks #26; document the logical resumption and non-durable-runtime contract.

Changeset

  • Added or updated for a library or package-metadata change
  • Not required because this PR does not change src/ or package.json

Validation

  • pnpm check
  • pnpm perf:types
  • Relevant example checks not required because no example package changed
  • Reviewed the automated type-performance report

Local pnpm check passed 352 runtime tests, 140 compiler tests / 599 assertions, strict consumer validation, and package verification. The local type-performance run completed successfully with no import-only instantiation increase.

@SandroMaglione
SandroMaglione merged commit f8fa4e3 into main Aug 7, 2026
8 checks passed
@SandroMaglione
SandroMaglione deleted the codex/logical-runtime-resumption branch August 7, 2026 10:00
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