slbit
slbit is a zero-dependency Rust crate for human-readable semantic layers
around computational proofs.
It provides:
- luminous claims;
- annotated interactive transcript rounds;
- deterministic semantic digests;
- visualization hints;
- canonical visualization packets.
slbit does not verify Power House proofs and does not modify proof identity.
It can be used independently or transported beside a Power House .pha and
Rootprint graph.
use ;
let claim = new.with_viz_hints;
let mut transcript = new;
transcript.record_round_with_note;
let luminous = SimpleLuminousSumcheck ;
let packet = luminous.to_viz_packet?;
println!;
# Ok::
Independence
The crate has no normal, build, or development dependencies. Its internal SHA-256 implementation binds semantic packet content for deterministic transport; that digest is not a substitute for a cryptographic proof system.
The normative packet format is documented in
docs/packet_spec.md.
License
AGPL-3.0-only.