Crate nibli_protocol 

Shared wire-format types for the nibli proof trace protocol.

Both nibli-engine (native, serializes) and nibli-ui (browser WASM, deserializes) depend on this crate. The proof types (ProofRule/ProofStep/ProofTrace/ LogicalTerm) ARE the canonical nibli-types types, re-exported here; this crate owns only their JSON helpers and the KB-status wire types.

Human-readable RENDERING of these types (proof text, the RenderedNode tree, and fact humanization) lives in nibli-render, not here — this crate is the wire-format authority only.

Structs

KbStatus

LineResult

ProofStep

A single step in a proof trace.

ProofTrace

Complete proof trace: steps array + root index.

Enums

LogicalTerm

A logical term — the typed representation of an FOL argument.

ProofRule

Proof rule applied at a single proof step.

Functions

proof_trace_from_json

Deserialize a proof trace from its wire JSON string.

proof_trace_to_json

Serialize a proof trace to its wire JSON string.