rxp

rxp provides the fundamental building blocks for constructing a Reliable Execution platform. It defines the APIs and types necessary to implement several core reliability guarantees: - Name Uniqueness: Ensures human-readable names are unique within a specific scope and provides a safe, audited mechanism for renaming objects. - Definition Evolution: Manages versioning of type definitions to prevent breaking changes and ensure objects remain compatible with the definition version they were created with. - State Mutation: Provides guards for concurrent writers to ensure safe mutations of an object's desired state. - Reliable Execution: Wraps arbitrary code in a safety envelope that tracks checkpoints and events, allowing execution to resume elsewhere following runtime failures (e.g., network partitions or OOM errors). - Safe Archival: Implements an archival system instead of deletion, preserving the full history of changes for future restoration. - Auditability: Tracks every generation of an object and maintains event histories for code execution and status changes.