An empty ontology says what the documents still need, and no longer claims to cover them

[WaylandYang]

Why

Found in an end-to-end run on dev, on a fresh base with six documents and no ontology.

• The ontology canvas said "No classes yet. Extraction adds them as documents arrive." That has not been true since extraction writes open statements (0044). Nothing arrives; a person or the agent has to add classes.
• The Unmatched view said "No unmatched types — the ontology covers your corpus." while 22 kind words had no class. The sentence read ontology_misses (0003), which the open-graph extraction does not write to.

So the first thing a new base told its owner about the ontology was wrong twice, and nothing pointed at the step that turns statements into typed facts.

What changes

• GET /kbs/{id}/questions/report gains uncovered: { kind_words, phrases }: kind words with no class and phrase shapes bound to no property (none or undecided). These are the two inputs the ontology agent reads (0061 decision 2).
• The view says those numbers and what to do about them: "The documents use 2 kinds of thing the ontology has no place for. Ask the agent to propose classes and properties for them; nothing is added until you accept it." With nothing waiting it says so. It says nothing until the numbers have loaded, and they refresh after an adoption or a rejection.
• The empty canvas says what classes are for and has a button, "See what the documents need", that opens that view.
• The view's title and hint no longer speak of "unmatched from extraction". English and Chinese both.

No change to what the agent does or when it runs.

How it was checked

• New store test an_empty_ontology_does_not_cover_the_corpus: nothing read yet, kind words with no class, bound against none and undecided, and another base's rows not counted.
• In a browser on a real server: the empty canvas text and button, the button opening the view, and the sentence with the base's own count.
• cargo clippy -p utopia-server -p utopia-store --all-targets -- -D warnings, cargo fmt --all --check, pnpm typecheck, pnpm test (228), pnpm build.

Before review

• Every commit is signed off
• fmt, clippy and the affected tests pass; pnpm build and pnpm test pass
• SQL under crates/utopia-store/ was tested with UTOPIA_DATABASE_URL set
• UI strings are in both en.ts and zh.ts

🤖 Generated with Claude Code