Module knowledge 

Knowledge domain types (DESIGN §5.4). Entities, statements, assertions, mentions, beliefs — the projection types derived from the ledger.

Structs

Assertion

“Episode E, via extractor R, claimed S held over I, with confidence c.”

Belief

Current-slice cache of the temporal fold. Fully derived.

Entity

Opaque, permanent identity. Names live in EntityKey, not here (P3).

EntityKey

A (type, normalized name) handle. Aliases are additional keys on one entity.

EntityMerge

Mention

The verbatim text this assertion came from.

Statement

An atemporal proposition. Content-addressed → deduplicated by construction.

Support

Enums

BeliefStatus

KeyOrigin

MentionRole

MergeDecision

Object

Polarity

ResolutionMethod

TypedValue

Functions

claim_repr

Canonical string representation of a claim for AssertionId hashing. Uses f32::to_bits() for deterministic float representation.

object_repr

Canonical string representation of an Object for StatementId hashing (DESIGN §5.6). Prefix-based to avoid JSON float formatting issues.

Type Aliases

AssertionId

EntityId

EntityKeyId

EntityTypeRef

MentionId

PredicateRef

StatementId