diff --git a/README.md b/README.md
index 35b441f..a68202e 100644
--- a/README.md
+++ b/README.md
@@ -81,8 +81,8 @@ Maps C++ symbols (qualified names or `file.cpp:line` references) to the
 papers they implement.  The workflow:
 
 1. Tag C++ source with `@cite <bibkey>` in Doxygen comments.
-2. Run `codex provenance sync --lib-path <path>` to scan and resolve tags.
-3. Run `codex provenance export-bib <out.bib>` to generate a `.bib` file
+2. Run `codex provenance scan --lib-path <path>` to scan and resolve tags.
+3. Run `codex provenance bib <out.bib>` to generate a `.bib` file
    containing **only the cited subset** of your collection.
 
 The exported `.bib` is a derived view of the master catalogue — regenerate
@@ -97,8 +97,8 @@ codex ingest <id>               # ingest one paper by arXiv ID or DOI
 codex ingest-file <ids.txt>     # bulk ingest from a file of IDs
 codex search "<query>" [--hybrid]
 codex discover leads
-codex provenance sync --lib-path <path>
-codex provenance export-bib <out.bib>
+codex provenance scan --lib-path <path>
+codex provenance bib <out.bib>
 codex ask "<question>"          # optional LLM Q&A via Ollama
 ```