[Kinflou]

Two draft proposals under Proposals → A shared vocabulary:

• The catalog: one catalog of the names several programs agree on: encodings and handshakes, guarantees, facts with their value domains, conformance features, annotations, settings keys, diagnostic codes, and fuzz, bench and report targets. Sets are queries over it, and core, the runtimes, the generators, the language server, the Observatory, CI and the docs all read it. It covers the entry model, which kinds are worth covering, relations (establishes, keeps, gives up), where the catalog lives (its own repo, core or docs), and how each consumer reads it.
• Granular @unverified: keeps @unverified = "reason", and adds an optional keyed form. It names each guarantee with its own reason, at the scope that guarantee has, for example bounded_size on a single argument. Core still computes the set and checks the keyed form against it. This revisits only the part of the guarantee-marker decision that it leaves open.

The overview page (index.md) lists the names duplicated today, the rules that hold whatever the details (wire names never change, third parties are first-class, nothing new at run time), and a staged rollout.

mkdocs build --strict passes.

Tracked in ComlineProject/core#219: where the catalog lives is core#220, core consuming it is core#221, granular @unverified is core#222, plus runtime#112, observatory#19 and language-server#102.