Expand description
Human-readable semantic transcripts and visualization metadata.
slbit is deliberately independent of proof systems. It observes and
annotates proof execution without changing proof identity or validity.
Structs§
- BitInteractive
Transcript - An ordered transcript with semantic annotations.
- Luminous
Claim - A semantic claim that can be visualized independently of proof validity.
- Luminous
Metadata - Compact metadata suitable for logs, indexes, and selectors.
- Simple
Luminous Sumcheck - A minimal luminous sum-check observation.
- Transcript
Round - One annotated transcript round.
- VizHints
- Optional presentation hints for a luminous claim.
- VizPacket
- Canonical semantic packet consumed by visualization layers.
- VizRound
- Public transcript round included in a visualization packet.
Enums§
- Slbit
Error - Errors returned by semantic packet validation.
Constants§
- LUMINOUS_
METADATA_ SCHEMA_ V1 - Schema identifier for luminous metadata.
- VIZ_
PACKET_ SCHEMA_ V1 - Schema identifier for visualization packets.