Repository navigation

docs(export): document the RDF export contract - #836

Closed

ansonnmm wants to merge 4 commits into

deeplethe:devfrom

ansonnmm:upstream-pr-export-contract-docs

Closed

docs(export): document the RDF export contract#836
ansonnmm wants to merge 4 commits into
deeplethe:devfrom
ansonnmm:upstream-pr-export-contract-docs

Commits on Sep 20, 2026
- Provenance never points across a knowledge base
  南慶麟
  committed
  e114f60
- An export reads one snapshot and vouches for every reference it resolves
  南慶麟
  committed
  4d9d26a
- The whole ledger reaches the export
  南慶麟
  committed
  77e4d46
- The export contract documents the whole ledger
  
  南慶麟
  and
  devin-ai-integration[bot]
  committed
  2e2031c