Under the hood
Useful3 Signal3
Settings sources now carry explicit precedence ranks and whether they belong to you or the repo.
What's wrong with this entry?
Anonymous. No account, no email.
What
The list of places settings can come from now records, for each one, whether it belongs to the operator or to the repository and where it sits in precedence: policy settings rank 0, flag settings 1, user settings 2, with project and local settings marked as repo-owned. This replaces a flat name lookup.
Details
- New maps translate between the short names
user,projectandlocaland the internal settings keys.
Evidence
{ kind: "operator", rank: 0 }
Strings lifted out of the shipped bundle, so the claim above can be checked against them.