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§
- Authority
Count - Count of semantic DAG nodes by authority.
- BitInteractive
Transcript - An ordered transcript with semantic annotations.
- Bound
Core - Core proof-memory binding referenced by a semantic claim.
- Explanation
Constraints - Explanation constraints for local deterministic answering.
- External
Anchor - Deterministic reference to an external verification, provenance, or audit system.
- Luminous
Claim - A semantic claim that can be visualized independently of proof validity.
- Luminous
Metadata - Compact metadata suitable for logs, indexes, and selectors.
- Luminous
Packet - SLBIT v2 semantic packet.
- Luminous
Packet Builder - Fluent builder for SLBIT v2 packets.
- Luminous
Summary - Audience-aware packet summary.
- Meaning
Answer - Deterministic answer returned by the local ask engine.
- Meaning
Boundary Report - Deterministic inspection report for a v3 Meaning Observatory packet.
- Meaning
Claim - Meaning claim carried by a v3 packet.
- Meaning
Dag - Semantic DAG section.
- Meaning
Edge - Directed semantic DAG edge.
- Meaning
Node - Typed semantic DAG node.
- Meaning
Packet - SLBIT v3 Meaning Observatory packet.
- Meaning
Packet Builder - Builder for SLBIT v3 Meaning Observatory packets.
- Meaning
Round - One v3 transcript round.
- Meaning
Support - Structured support item for local answers.
- Meaning
Transcript - Transcript section.
- Meaning
Views - UI view descriptors.
- Metadata
Field - Deterministic key-value metadata.
- Node
Binding - Binding from a semantic node to a core or external object.
- Packet
Digests - Packet digest section.
- Producer
- Packet producer metadata.
- Redaction
Record - Deterministic privacy redaction record.
- Semantic
Edge - A directed semantic graph edge.
- Semantic
Graph - Directed acyclic semantic graph.
- Semantic
Node - A semantic graph node.
- Signature
Ref - Reference to an external signature or approval.
- 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§
- ANNOTATION_
SIDECAR_ SCHEMA_ V1 - Schema identifier for append-only annotation sidecars.
- LUMINOUS_
METADATA_ SCHEMA_ V1 - Schema identifier for luminous metadata.
- VIZ_
PACKET_ SCHEMA_ V1 - Schema identifier for visualization packets.
- VIZ_
PACKET_ SCHEMA_ V2 - Schema identifier for version 2 luminous visualization packets.
- VIZ_
PACKET_ SCHEMA_ V3 - Schema identifier for version 3 Meaning Observatory packets.