the project line is normativity

The project directory is projects/normativity/ and its Lean namespace is Workspace.Normativity. The word “leverage” names the technical measure or operative-force quantity inside mathematical content; it is not the project name. Completed round records, prompts, and consolidated internal text retain the names true when written.

Source: the maintainer-dispatched wikification and normativity round.