dev → main: extraction that quotes its evidence, graph paths in chat, rules that compute, the ontology as tables

[WaylandYang]

Sixty-three commits on dev since #478 (plus the #479 back-merge). Merge commit, as always for dev → main; DCO is red on this PR because it aggregates earlier commits, and the required checks are backend, web and migrations.

Extraction that checks itself

• A fact quotes the words that name each side, and the machine checks them against the entity the fact is bound to; the A group described by its relation to X is not X #579 word list retires (A fact quotes the words that name each side #583, measured in A fact quotes the words that name each side, and the check is mechanical #582 and on the recall bench: 50/52, level with the build before it).
• A group described by its relation to X is not X (A group described by its relation to X is not X #579); an undeclared name does not become a node (An undeclared name does not become a node #568); one relation, one predicate, with schema.org's supersededBy honoured at import and new relations folded by meaning (One relation, one predicate #569); a predicate is named one way (A predicate is named one way #536).
• A written quantity is a value, not a node, and a quantity is never an entity (A written quantity is a value, not a node #586, A quantity is never an entity #587); a relation says whether it happens or holds (A relation says whether it happens or holds #593); an event holds at the moment it names (An event holds at the moment it names #487); a derivation rewinds with the second clock (A derivation rewinds with the second clock #557).
• A Chinese name does not stop the queue, and a stated figure is written down (A Chinese name does not stop the queue, and a stated figure is written down #523); a new base starts with no ontology pack (A new base starts with no ontology pack #585).

The graph answers

• The chat answers with paths, neighbours and a timeline: paths_between up to three hops on both time axes, namesakes ranked by the question, predicates aligned by meaning (The graph answers with paths, neighbours and a timeline #565); a promise to search is not an answer (A promise to search is not an answer #543).
• A question picks its definitions instead of taking the first thirty (A question picks its definitions instead of taking the first thirty #575); a definition can be written by hand (A definition can be written by hand #563); the schema document is searched, not extracted (The schema document is searched, not extracted #561); the semantic layer gets measured, and exploration learns to align and to say what it cannot tell (The semantic layer gets measured, and exploration learns to align #567, Exploration describes the data and asks what it cannot tell #571); an action is a declared call, written down (An action is a declared call, written down #531).

Rules and governance

• A rule's criterion is a column; a rule may say or, once; not one of is not silently skipped; a rule reads what a rule concluded and computes what it concludes, written down; a rule is an edge on the schema diagram and is written in a dialog (A rule's criterion is a column, not a sentence #490, A rule may say or, once #484, A rule that says not one of is not silently skipped #494, A rule reads what a rule concluded #485, A rule computes what it concludes, written down #493, A rule computes what it concludes #495, A rule is an edge on the schema diagram #483, Rules read as a table, and a rule is written in a dialog #482).
• The adjudicator looks before it asks (The adjudicator looks before it asks #475); an automatic merge is gated by what it can undo (An automatic merge is gated by what it can undo #474); a decision records why (A decision records why #473); record 0028 becomes 0031 (Record 0028 becomes 0031 #489).

Faster where it was measured

• A vector index is built by a job, expression HNSW with the dimension a literal (A vector index is built by a job #566, closing Every vector search reads every chunk in the knowledge base #512 and Type resolution reads the whole entity table once per subject #514); ingest embeds four batches at a time and both ingests share the loop (Ingest embeds four batches at a time, and both ingests share the loop #539); a search does not hold a runtime worker (A search does not hold a runtime worker, and its two channels run side by side #535); a purge judges its blobs in one question (A purge judges its blobs in one question #537); idle workers wake when jobs are queued (Wake idle workers when jobs are queued #521).
• Model probes report reachability and authentication (Model probes report reachability and authentication #541); LLM errors preserve their response bodies, and the client's literals read at the point of use (LLM errors preserve their response bodies #538, The LLM client's literals read at the point of use, and its test servers answer politely #542); an unset variable stays unset on the way into the container (An unset variable stays unset on the way into the container #572); bulk mapping decisions (Add bulk actions for data mappings #552, from Confirming twelve mappings takes twelve clicks #505); RSS hydration summaries scoped to each source (Scope RSS hydration summaries to each source #462); the lakehouse form keeps its one variable and does not blank the page (The one variable that keeps the old form says why #576, Picking an engine before typing does not blank the page #577).

The interface

• The ontology reads as three tables and its tables read like a table; class hierarchy links show; selecting a class goes straight to its highlight, drawn last (The ontology reads as three tables #524, The ontology tables read like a table #540, Show class hierarchy links in ontology panels #544, Selecting a class goes straight to its highlight #534, The highlight is drawn last #584); the schema diagram draws the biggest classes, on one canvas drawn once (The schema diagram draws the biggest classes, and reads lighter #511, One canvas, drawn once #499).
• Classes, properties, attributes and knowledge edit in dialogs while the panel shows (Classes, properties, attributes and knowledge edit in dialogs; the panel shows #480); the docked panel and the table say where you are (The docked panel and the table say where you are #545); a floating panel does not borrow the colour behind it, a glass panel does not flash white (A floating panel does not borrow the colour behind it #525, A glass panel does not flash white on its way in #532); a page renders before its data arrives and does not refetch what the stream keeps fresh (A page renders before its data arrives #529, Returning to a page does not refetch what the stream keeps fresh #533); a conversation reads at reading size (A conversation reads at reading size #551); a fact row leads with the fact (A fact row leads with the fact #506); re-running a document is an icon (Re-running a document is an icon, not three different words #491); KB members read like the deployment's user list (KB members read like the deployment's user list #492); the import history shows what each import did (The import history shows what each import actually did #481).

🤖 Generated with Claude Code

[WaylandYang]

Closing this release PR: dev has moved a long way past the branch point since it was opened (the shadcn interface, the light-theme fixes, the ledger and MCP work). A fresh dev → main PR will be opened when the next release is cut, so that its body describes what is actually in it.