lean-rs-worker-protocol 0.1.8

Wire protocol and shared value types for the lean-rs worker process boundary.

Coverage
34.46%
112 out of 325 items documented0 out of 54 items with examples
Size
Source code size: 80.16 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 3.32 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 10s Average build duration of successful builds.
all releases: 10s Average build duration of successful builds in releases after 2024-10-23.
Links
jcreinhold/lean-rs
1 0 0
crates.io
Dependencies
Versions
Owners

lean-rs-worker-protocol

Wire-stable shared types and length-delimited frame codec for the lean-rs worker process boundary.

This crate is the single source of truth for the parent/child IPC surface used by lean-rs-worker-parent and lean-rs-worker-child. It does not link libleanshared, so peers that drive the wire format (alternative transports, fuzz harnesses, recorders) can depend on it without pulling the Lean runtime.

Most applications should depend on lean-rs-worker-parent instead, which re-exports the wire types that appear on its public API.

Cargo features

harness — exposes the in-process integration-test harness that spawns a child binary and exercises framed request/response round-trips. Off by default.

License

Dual-licensed under MIT or Apache-2.0 at your option.