A negative-knowledge ledger for coding agents

Key features

• Not memoryno positive knowledge, no semantic recall.
• getFact(scope, kind, fingerprint) / queryFacts(filter) — current facts with revision and active-lease summaries.
• The store connection and the background invalidation queue are owned by the plugin fiber: disposal drains the queue and closes the store (HMR-safe).
• Not a cacheit stores conclusions, not tool results.
• Not a bug regression trackerit covers any tool call and file read, not just fix attempts.