Show guarantees given up by third-party handshakes and encodings live

Since core: a guarantee a declared encoding doesn't keep is given up core#148, comline build errors when a protocol gives up a guarantee without @unverified: a handshake whose profile doesn't establish schema_agreement/encoding_agreement, or a namespaced format or framing with no profiles/x.vectors.json.
The editor compiles unchanged, and its hover and quick fix show the frozen given-up set. Its live diagnostics only see official encodings, though: ProjectImports uses the default ImportLookup::encodings.
Implement encodings(): freeze the manifests' encoding declarations, read their profiles, and check for the vectors file, as core's Encodings::of does. A wasm or in-memory project falls back to the default view.
Refs Third-party encodings and handshakes give up guarantees silently core#147.

Navigation Menu