tpt-rust7

Rust

Multi-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.

0 stars0 forks0 watchersApache License 2.0

Languages

Rust100.0%
README

tpt-rust7

crates.io docs.rs crates.io docs.rs crates.io docs.rs crates.io docs.rs crates.io docs.rs

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

CratePrimitiveWhat it solves
tpt-timeDeterministic Virtual TimeDrop-in replacement for tokio::time / std::time. Zero-overhead OS clock in production; injectable VirtualClock in tests.
tpt-mergeCommutative Merge TraitsCore Merge trait (commutative, associative, idempotent) with LWWRegister, ORSet, GCounter CRDTs.
tpt-contextLifetime-Bound TelemetryImplicitly threads tracing/metrics context across async boundaries via scoped thread-locals + lifetime-bound tokens.
tpt-effectsTyped EffectsProc-macro state-machine generator for orthogonal effects via #[effects(state: T, reader: T, error: E)].
tpt-schemaZero-Copy EvolutionSelf-describing tag/length/value wire format with a versioned header; compiler-checked forward/backward compatibility for zero-alloc reads.

License

Licensed under either of

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.