tpt-rust7
RustMulti-crate Rust workspace of zero-cost, dependency-free primitives: deterministic virtual time, CRDT merge traits, lifetime-bound telemetry contexts, typed effects, and zero-copy schema evolution.
Languages
tpt-rust7
The Pragmatic Workspace: Time, Merge, Context, Effects, Schema.
tpt-rust7 is a multi-crate workspace from TPT Solutions
designed for immediate, frictionless adoption (cargo add). It addresses the most common daily
frustrations in Rust development — flaky async tests, distributed state synchronization, telemetry
boilerplate, complex state machines, and serialization overhead — without requiring developers to
learn formal verification.
Each crate is completely independent: they share no internal dependencies, so you can adopt
tpt-time without pulling in the telemetry or effect machinery. They rely on standard Rust traits
and minimal proc-macros to keep compile times low.
Crates
| Crate | Primitive | What it solves |
|---|---|---|
tpt-time | Deterministic Virtual Time | Drop-in replacement for tokio::time / std::time. Zero-overhead OS clock in production; injectable VirtualClock in tests. |
tpt-merge | Commutative Merge Traits | Core Merge trait (commutative, associative, idempotent) with LWWRegister, ORSet, GCounter CRDTs. |
tpt-context | Lifetime-Bound Telemetry | Implicitly threads tracing/metrics context across async boundaries via scoped thread-locals + lifetime-bound tokens. |
tpt-effects | Typed Effects | Proc-macro state-machine generator for orthogonal effects via #[effects(state: T, reader: T, error: E)]. |
tpt-schema | Zero-Copy Evolution | Self-describing tag/length/value wire format with a versioned header; compiler-checked forward/backward compatibility for zero-alloc reads. |
License
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE)
- MIT license (LICENSE-MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.