Docs / Knowledge Base Learn
Fact Types
The kinds of statement the ledger holds.
| Fact type | Example |
|---|---|
| Object existence | Table orders exists |
| Object property | orders.ai_overview = "…", orders.source_path = "db/schema.sql" |
| Relationship | OrderService DependsOn OrderRepository |
| Relationship property | edge weight, provenance flags such as deterministic |
| Evidence | db/schema.sql:14-22 supports Table orders |
| Event | an identity confirmation or rejection |
| Claim | an LLM-classified crate role, awaiting review |
| Risk | Concentration risk: Observer — an object with 3+ real DependsOn dependents |
Deterministic and LLM-derived material are distinguishable: LLM output is stored as a labelled property or an unconfirmed claim.