Rust

What Comline supports in Rust, as its conformance suites prove it. For how to use it, see the Rust guide. The states are explained in the overview.

Code generation

What the comline-rust generator emits for each language feature, and the conformance fixtures that prove it.

Generator rust#1.85.0.

Runtime

What the comline-runtime runtime speaks on the wire, proven against the shared wire corpus: byte-exact examples of the handshake, the envelopes, each framing and each wire format. The claims are in rust.json.

Runtime rust.

Verification

The vectors above only cover cases someone wrote down. The Rust runtime is also checked on inputs nobody wrote, and it is the reference the other runtimes are compared against (see Verification).

Fuzzing and properties

• Seven cargo-fuzz targets: decode_no_panic, packed_canonical, framing_decode, seed_vs_derive and stream_split, and, for the C ABI, ffi_feed and ffi_vs_core.
• Property tests (proptest) over random types and values, run with cargo test.
• CI runs each target for a minute on every pull request, and for ten minutes nightly with the property tests at 100,000 cases. A nightly failure opens an issue. Each finding becomes a found-* vector, so every runtime checks it.

The nightly run publishes its results as rust.fuzz.json on the runtime's reports branch (format: the fuzz README). The latest, fetched when this site was built:

From the run of 2026-10-29 at runtime commit 2033847, with rustc 1.101.0-nightly (92ffebece 2026-10-28) (run, rust.fuzz.json).

Property tests: 8 properties at 100,000 cases each, all pass.

Divergences

The Rust runtime is the reference the others are compared against, so it has no divergence classes of its own: a difference is the other runtime's to explain.

Benchmarks

Instruction counts for the formats, framings, handshake and a connection step, gated on every pull request against its base. Every push to main benches the new head and publishes rust.bench.json on the runtime's reports branch. The latest, fetched when this site was built:

Measured at runtime commit 2033847 with rustc 1.98.0 (88d9e12ae 2026-08-18), in instructions executed (deterministic, so they compare exactly), from rust.bench.json.