the repository, the Lean library, and the forward tree renamed

Three names, settled together because they collide with each other.

The repository is alignment-workspace and the Lean library is **Workspace**, so that the two agree: namespaces are Workspace.Normativity.* and Workspace.Deference.*, the library root is lean/Workspace.lean, and the Lake package is workspace. This closes the naming stub the scaffolding round opened, and closes it at the cheapest moment — before any real development lands in the library.

The leverage forward tree is **projects/normativity/forward/**, with FORWARD.md as its self-description. It could not keep its previous directory name once the repository took that word: a path whose last component matches the repository's own name is the near-collision this rename existed to remove. The new name says what the tree's own document already said it was — disposable, non-authoritative, consolidated or discarded. The name itself is still awaiting the maintainer; see the stub above.

GitHub's redirect from the previous repository path is infrastructure and stays, so existing clones, links and the origin remote keep working. Nothing in the repository's living files records the previous names; the dispatches under prompts/ are history and keep the names that were true when they were written, as does git history.