Walk a citation graph.
Pick a fact. Watch the provenance graph fan out to the underlying source records. Every node clickable, every edge cited.
Bounded BFS over the corpus graph
GraphRAG-style traversal with depth and edge-type bounds. Adjacency lists in RocksDB, posting-list intersection for multi-predicate filters. Every traversal logs the path it took, not just the answer.
Anatomy — operational specs
Signed citation per fact
Every fact returned carries a citation envelope: source URI, retrieval timestamp, sha256 of the source bytes, and an issuer signature. Envelopes are COSE_Sign1 (RFC 9052) so they survive any serialization.
Anatomy — operational specs
W3C PROV-O bundles
A PROV-O graph of entities, activities, and agents, serialized as JSON-LD, signed end-to-end. Consumers can re-walk the derivation chain without re-querying the upstream source.
Anatomy — operational specs
Typed document ingestion
Source documents are normalized to typed JSON-LD against published JSON Schemas. The raw bytes are kept alongside the parse; both share a sha256 anchor. No fact enters the graph without a source artifact in cold storage.
Anatomy — operational specs
Federated freshness via ActivityPub
Sources that publish an ActivityPub Outbox are polled incrementally; the as_of timestamp on every fact moves forward only when a Create/Update activity matches. No silent staleness.
Anatomy — operational specs
InformationOS, in one line
knowledge, made inspectable.
Click anything. The same primitives that compose the rest of the Transaction Science family — receipts, joules, signed transport — show up here too. The family is one system.