Docs map

Every document in this repository that is not a page of this book, with one line on what it is. Design notes record how a feature was decided and may describe an earlier state; the book pages are the current description.

Design notes

Conformance grammar: the versioned step-matching contract (docs/design/conformance-grammar.md)
Cross-graph concept alignment (docs/design/cross-graph-alignment.md)
Datalinks: a spatial explorer for Quipu graphs (docs/design/datalinks-3d.md)
A Unified Entailment Regime — Plan (docs/design/entailment-regime.md)
Entity Resolution (docs/design/entity-resolution.md)
Episode-Scoped Logical Retraction (docs/design/episode-retraction.md)
Design: RemoteProvider — reaching remote Quipu instances (docs/design/federation-remote-provider.md)
Flagship Reasoning Use Cases — Plan (docs/design/flagship-use-cases.md)
Design: Fork-at-any-event — persistent named forks (docs/design/fork-at-any-event.md)
Golden-path blessing: from a verified trajectory to a governed path (docs/design/golden-paths-blessing.md)
Design: Graph kinds and deep freeze — a data-kind axis on the label lattice, and cold storage that stays composable (docs/design/graph-kinds-and-deep-freeze.md)
Design: Graph Labels — freshness, trust and policy as a lattice over named graphs (docs/design/graph-labels.md)
Design: Group Isolation / Multi-Tenant Partitioning (docs/design/group-isolation.md)
Design: In-Memory Read Model — query in memory, write to SQLite (docs/design/in-memory-read-model.md)
Design: Knowledge Packs — a graph, its shapes, its queries, and its retrieval policy as one artifact (docs/design/knowledge-packs.md)
Design: Multi-DB Composition — term spaces, ATTACH, and the blob sidecar (docs/design/multi-db-composition.md)
Design: Named Graphs (Quads) — the graph × valid-time × tx-time model (docs/design/named-graphs.md)
PageRank & Personalized PageRank — Specification (docs/design/pagerank.md)
Design: The defaults comparison and the Governed Store principles (docs/design/paper-principles.md)
Design: Quipu paper plan — a governed bitemporal knowledge graph store (docs/design/paper.md)
Persistence review evidence (docs/design/persistence-evidence/README.md)
Separate-process persistent-engine memory measurement (docs/design/persistence-evidence/separate-process-1m-20260914/README.md)
Separate-process memory comparison — quipu (SQLite) vs Oxigraph (RocksDB), run 4 (docs/design/persistence-evidence/separate-process-1m-20260914/run4/README.md)
WatDiv 1M diagnostic checkpoint — 2026-09-14 (docs/design/persistence-evidence/watdiv-1m-20260914/README.md)
Persistence without whole-graph residency (docs/design/persistence-layer.md)
Policy by example: from an observed edit to a governed rule (docs/design/policy-by-example.md)
Performant edit hooks for policy (docs/design/policy-edit-hooks.md)
Quipu UI: Knowledge Graph Visualization & Exploration (docs/design/quipu-ui.md)
Quipu Reasoner — Incremental Datalog on the Bitemporal Fact Log (docs/design/reasoner.md)
Reasoning Engine Fixes — Plan (docs/design/reasoning-engine-fixes.md)
Semantic, entity-grounded edit policies (docs/design/semantic-grounded-edit-policies.md)
Semantic Reasoning Support — Gap Inventory (docs/design/semantic-reasoning-gaps.md)
Design: Shape Versioning — a bitemporal registry for shapes and ontologies (docs/design/shape-versioning.md)
Design: The Signing Plane — governing the trust root like everything else (docs/design/signing-plane.md)
Design: Spanner-class capabilities over any structured data (docs/design/spanner-capabilities.md)
Standard share artifacts (docs/design/standard-share-artifact.md)
Design: statement identity, edge properties, and bounded paths (docs/design/statement-identity.md)
Test Fixtures: Seed Data for UI Development and Demos (docs/design/test-fixtures.md)
Quipu: AI-Native Knowledge Graph — Vision (docs/design/vision.md)
Design: WebAssembly Support — running Quipu without a server (docs/design/wasm-support.md)

Papers

The paper source (docs/paper/README.md)
The merge paper source (docs/paper-merge/README.md)
arXiv submission card (docs/paper-merge/SUBMISSION.md)

Release and operations

Releasing (docs/RELEASING.md)
Private-key checks (docs/private-key-checks.md)