slbit 3.1.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

# SLBIT v3 Meaning Observatory Packet

Status: draft implemented in slbit 3.1.0.

Schema:

```text
slbit/viz-packet/v3
```

SLBIT v3 turns verified proof memory into inspectable meaning. It does not
verify proof-system soundness and does not change Power House `.pha`,
Rootprint, replay, or Memory Capsule identity.

## Core Sections

- `claim`: human-readable claim bound to a Memory Capsule, Rootprint branch, and
  replay fingerprint.
- `transcript`: ordered semantic rounds.
- `semantic_dag`: typed nodes and directed edges.
- `views`: local UI view hints.
- `explanation_constraints`: deterministic limits for local explanation.

## Node Types

Supported node types:

```text
claim evidence round artifact branch merge fork digest warning explanation external_note failure
```

Supported authorities:

```text
core sidecar semantic display generated external
```

UI layers must show authority. A generated or semantic answer is not proof.

## Local Ask Engine

`MeaningPacket::ask()` supports deterministic questions:

```text
what-is-this
what-did-it-prove
what-is-core
what-is-semantic
what-changed
what-depends-on
show-lineage
show-replay
show-failure-boundary
compare-branches
show-shortest-valid-explanation
show-mutation-results
export-llm-context
```

Answers include:

- answer text,
- authority,
- support IDs,
- `not_proven_by_this_answer: true`.

The ask engine is a packet/query engine, not an unconstrained chatbot.

## Inspection Report

`MeaningPacket::inspect()` verifies the packet first, then emits a
deterministic truth-boundary report containing:

- packet and core binding identifiers;
- transcript, node, and edge counts;
- node authority distribution;
- unbound semantic node IDs;
- warning and failure node IDs;
- transcript node coverage;
- `semantic_changes_affect_core: false`;
- generated-text authority status.

The report is for semantic inspection. It does not verify external proof
soundness or make Rootprint, `.pha`, or Memory Capsule claims true.

## Graph Inspection

`MeaningPacket::dependency_chain(node_id)` returns a deterministic upstream
semantic chain ending at `node_id`.

`MeaningPacket::shortest_explanation_path(from, to)` returns the shortest
deterministic directed semantic path between two DAG nodes.

## Digest Rule

`packet_digest` is computed over the deterministic packet JSON with the digest
field excluded. Semantic mutation changes the digest and must be rejected by
`MeaningPacket::verify()`.