slbit 3.0.0

Zero-dependency Meaning Observatory packets for verifiable memory, AI traces, and proof UX.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

# slbit

`slbit` is a zero-dependency Rust crate for luminous semantic packets: portable,
deterministic explanation artifacts that sit beside proofs, zkML outputs,
agent traces, Rootprint graphs, attestations, and audit logs.

It does not replace proof systems. It answers the question proof systems leave
open: what happened, why did it matter, and how should a human or another
system inspect it?

## Trust Boundary

`slbit` packets are observation and meaning data. They MUST NOT be used as
proof validity, proof soundness, proof identity, Rootprint lineage, replay
fingerprint, or cryptographic equivalence inputs.

Changing an `slbit` packet changes the `slbit` packet digest. It must not
change the identity of the external proof, `.pha` artifact, Rootprint graph,
zk proof, attestation, model output, or agent action it describes.

## What 3.0.0 Adds

- `slbit/viz-packet/v3`;
- Meaning Observatory packets for verified memory;
- explicit Memory Capsule, branch, and replay bindings;
- typed semantic DAG nodes with authority badges;
- local deterministic `ask` engine;
- structured support IDs for answers;
- non-authoritative LLM context export;
- digest rejection for semantic mutation;
- cycle rejection for semantic DAGs.

## What 0.2.0 Added

- `slbit/viz-packet/v2`
- stable packet IDs;
- producer metadata;
- external anchors such as Power House Rootprint, zk proofs, OpenTelemetry
  traces, SLSA provenance, model cards, and human approvals;
- directed acyclic semantic graphs;
- audience-aware summaries;
- deterministic privacy redaction records;
- external signature references;
- deterministic packet, transcript, and semantic graph digests;
- fluent Rust builder API;
- Markdown audit export;
- v1 verification compatibility.

The crate still has no normal, build, or development dependencies.

## Example

```rust
use slbit::LuminousPacket;

let packet = LuminousPacket::builder("drone-camera-frame-7842", 4096)
    .producer("drone-perception-demo", "2.0.0")
    .layer("perception-conv3")
    .icon("camera")
    .rgb(0, 200, 255)
    .round(0, &[0xde, 0xad, 0xbe, 0xef], "sensor-processing", "Raw frame converted into features")
    .round(1, &[0x42], "attention-head-7", "Stop-sign feature strongly activated")
    .labeled_node("frame-7842", "input", "Camera frame 7842")
    .labeled_node("conv3", "model-layer", "perception-conv3")
    .labeled_node("attention-head-7", "attention", "attention-head-7")
    .labeled_node("stop-sign-detected", "decision", "stop-sign-detected")
    .edge("frame-7842", "conv3", "processed-by")
    .edge("conv3", "attention-head-7", "activated")
    .edge("attention-head-7", "stop-sign-detected", "supports")
    .anchor_rootprint(
        "drone-perception-7842",
        "rootprint-branch-7842",
        "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
        "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
    )
    .summary_for("operator", "The drone detected a stop sign and triggered the stop policy.")
    .build()?;

packet.verify()?;
println!("{}", packet.to_markdown("operator"));
# Ok::<(), slbit::SlbitError>(())
```

Meaning Observatory v3:

```rust
use slbit::{BoundCore, MeaningNode, MeaningPacket};

let core = BoundCore::new(
    "phm_earth-001",
    "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
    "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
);

let packet = MeaningPacket::builder("claim_earth_001", "EARTH-001", "proof-memory", core)
    .node(MeaningNode::new(
        "node_core_001",
        "artifact",
        "Verified core artifact",
        "Power House core verification completed before semantic rendering.",
    ).authority("core"))
    .build()?;

packet.verify()?;
let answer = packet.ask("what is core truth?");
assert!(answer.not_proven_by_this_answer);
# Ok::<(), slbit::SlbitError>(())
```

## v1 Compatibility

The v1 API remains available:

- `LuminousClaim`
- `BitInteractiveTranscript`
- `SimpleLuminousSumcheck`
- `VizPacket`

`slbit` 3.0.0 emits corrected deterministic v1 JSON and still accepts legacy
v0.1.0 packet digests during verification.

## Documentation

- [`docs/packet_spec.md`](docs/packet_spec.md): v1 compatibility spec.
- [`docs/packet_v2.md`](docs/packet_v2.md): v2 packet standard draft.
- [`docs/packet_v3.md`](docs/packet_v3.md): v3 Meaning Observatory packet draft.

## v2 Reference Examples

- `drone_perception_v2`
- `zkml_classification_v2`
- `financial_audit_v2`
- `agent_trace_v2`
- `multi_agent_governance_v2`
- `medical_ai_decision_v2`
- `smart_contract_proof_v2`
- `ci_formal_verification_v2`
- `supply_chain_provenance_v2`
- `human_approval_annotation_v2`

## License

AGPL-3.0-only.