Retrieval engine with cryptographic receipts. Token-budgeted search, fact store, gap rep…