# 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`](https://docs.rs/lean-rs-worker-parent) and
[`lean-rs-worker-child`](https://docs.rs/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.
