the deference line carries its own name

The line is deference, everywhere current: directory, Lean namespaces including Workspace.Deference.Kernel, registries, path gate, problem pointers, prose. Completed round records keep the names that were true when written, as does git history — those are records, not living documents. Frozen trees were untouched and already carried the right name.