@telorun/editor-protocol 0.1.1 → 0.3.0

package/README.md

@@ -49,6 +49,10 @@ The host sends a standard `initialize`. The engine answers:
   against `requires: telo:` intervals by semver precedence (build metadata
   ignored), and tells engines apart by the whole string.
 - `capabilities.experimental.telo.protocol: 1` — the generation it speaks.
+- `capabilities.experimental.telo.viewModel: true` — the engine serves the
+  [engine-served requests](#engine-served-requests-host--engine) and sends
+  [`telo/viewModelChanged`](#teloviewmodelchanged-engine--host-notification).
+  Absent, a host sends neither request.
 - The standard capabilities it serves: full text sync, completion, hover,
   definition, rename with `prepareRename`, signature help, `semanticTokens/full`
   (the legend is in the capabilities), `codeAction` (quick fixes),
@@ -149,6 +153,143 @@ analysed standalone:
 A range the analyzer refuses as malformed is reported as a diagnostic and does
 not appear here.
 
+## `telo/viewModelChanged` (engine → host notification)
+
+`{ owner, revision }` — sent after each analysis of an owner module (beside
+`telo/requirements`) and when the engine stops analysing an owner. `owner` is
+the owner's canonical URI; `revision` is an integer that increases with every
+send for that owner. A host holding a view model for `owner` at a lower
+revision asks for it again; after an owner is dropped, `telo/viewModel` answers
+`null`.
+
+## Engine-served requests (host → engine)
+
+Sent by a host, served by an engine, and only to an engine advertising
+`viewModel`. Each names an `owner` and is routed to the engine the host chose
+for that owner, like the owner's documents.
+
+| Method | Params | Result |
+| --- | --- | --- |
+| `telo/viewModel` | `{ owner, configuration? }` | the owner's [view model](#the-view-model), or `null` when the engine is not analysing `owner`. |
+| `telo/celCompletion` | `{ owner, resource: { kind, name }, path, tag, text, offset }` | LSP `CompletionItem[]` for a CEL value typed into a structured form field, which is not document text yet; `[]` when the engine is not analysing `owner`. |
+
+`telo/celCompletion` answers what completion inside that value would offer were
+it written in the document: `path` is the field's concrete path within the
+resource (`routes[0].handler.inputs.x`), `tag` the tag it is written under
+without its `!` (`cel`, `interpolate`), `text` the value without its tag and
+`offset` the cursor's offset into `text`. A `textEdit` range is a
+line/character range in `text`.
+
+## The view model
+
+What a structured editor — a module canvas, a schema form, a reference picker —
+reads about one owner module. It is computed from the same analysis the
+engine's diagnostics come from, at the module's own telo version, and is plain
+JSON. JSON Schemas in it are plain JSON objects.
+
+- `owner`, `revision` — as in `telo/viewModelChanged`.
+- `moduleGraph` — the owner module drawn as a graph (below), or `null`. When
+  the module writes `!if` / `!switch` choices it is drawn in one configuration:
+  the request's `configuration` (an assignment `{ "<dimension path>": value }`;
+  a dimension it leaves out, or gives a value outside the dimension's domain,
+  takes its default), else every dimension's default.
+- `configurations?` — present when the module writes a choice:
+  `dimensions` (`{ key, values, default }` per dimension a choice reads — a
+  variable or secret declared `enum` / `const` / boolean, a member a value
+  type's argument binds, a `default: null` input's presence, a need's presence,
+  and for a library its `resources.<input>` presence; `default` is the declared
+  `default:`, a presence dimension's `absent`, else the first value) and
+  `selected`, the complete assignment `moduleGraph` is drawn in.
+- `moduleRootSchema` — the schema of the owner's module document kind
+  (`Telo.Application` / `Telo.Library`), or `null`.
+- `kindSpellings` — every `kind:` spelling in the owner's import closure
+  (template bodies' entries included), every constraint key of
+  `refConstraints` and every spelling in their `userFacing` lists, mapped to
+  the canonical `<module>.<Kind>` it resolves to in the owner's scope; a
+  spelling only a graph node carries (a body entry of another module's
+  template) maps to that node's `canonicalKind`. A spelling that resolves to
+  nothing is absent.
+- `refConstraints` — per reference-slot constraint (each kind an `x-telo-ref`
+  in the closure's kinds names, as written and canonical, and each kind a port
+  or a row's dispatch site in the graphs names): `accepted`, the canonical kinds
+  that satisfy it, sorted; `userFacing`, the alias-form kinds a new resource
+  satisfying it could be declared with. A constraint that resolves to nothing
+  is absent.
+- `contracts` — per canonical kind declaring an invocation contract,
+  `{ inputType?, outputType? }`, resolved along `extends`.
+- `outputRefusals` — one entry per `x-telo-ref` in the closure's kinds that
+  declares an `outputType`: `kind` (the canonical kind declaring it),
+  `pointer` (the JSON Pointer of the `x-telo-ref` node within that kind's
+  `schema`, as the kind's author wrote it — a host finds a slot by where it
+  sits, never by comparing `outputType`s, which the engine reads after
+  migration), and `refusals`, mapping a resource name of the owner module to
+  why it cannot fill that slot by what it returns, one line per definite
+  mismatch. A resource absent from `refusals` can fill it. The verdict
+  `telo check` reports as `REFERENCE_OUTPUT_MISMATCH`.
+- `templates` — per canonical kind with a template body in the closure:
+  `kindId`, `name`, `module?`, `capability?` (inherited along `extends`),
+  `definition` (the definition document as analysed, its `metadata.source` a
+  document URI), `graph`, the body drawn as a module, and `outputRefusals`,
+  shaped as the owner's but judging the body's entries, keyed by entry name —
+  a name in a body is never looked up among the owner's resources.
+- `referenceSites` — every reference written in the owner module's resources
+  and in its module document (`targets:`, `imports:` and the rest): `source`
+  (`{ kind, name }` of the resource writing it, the module document as itself),
+  `path` (the slot's concrete path within it) and `target` (the name held, as
+  written — `Alias.name` across an import).
+- `documents` — the canonical URI of each document the analysis read from an
+  open buffer, mapped to the LSP version it read (the `version` of the
+  `didOpen` / `didChange` that carried that text). A host that has since sent
+  a later version of any of them holds text this model was not computed from:
+  the model is **stale**, and a host acting on its paths (writing at a
+  `referenceSites` path, deciding a resource is unreferenced) waits for the
+  next revision. A document read from the host rather than a buffer is
+  absent.
+
+A **module graph** is `{ root?, nodes, edges, regions, kinds }`:
+
+- a **node** is a resource or the module root: `id`, `kind` (as written),
+  `name`, `capability?`, `canonicalKind?` (when `kind` is not already
+  canonical), `unknownKind?`, `ownership` (`root`, `named`, `inline`, `scoped`,
+  `imported`, `injected`, `enclosing`, `forwarded`), `owner?` / `ownerSite?`
+  (the node and site declaring an owned declaration), `module?`, `external?`,
+  `alias?`, `ports`, `rows`, `rowArrays` (`{ field, kind }` per array the kind
+  can hold rows in), `throws?` (`{ codes, unbounded }`), `root?`, `choice?`,
+  `choices?` and `family?`. A declaration-position `!if` / `!switch` is ONE node
+  identified by its name: `choice` is `{ path: "", tag, alternatives, selected }`
+  (an alternative is `{ key, kind? }` — `then`, `else`, `default` or a case key,
+  `absent` for an `!if` with no `else:`; `selected` the key the drawn
+  configuration takes), and only the node's `kind` follows the configuration,
+  never its `id`. `choices` lists the choices written in the node's fields (the
+  same shape, `path` the written field path). `family` (`{ source, as }`) marks
+  a `!for-each` at a declaration position of a template body: one node under
+  the family's name, with no node per element;
+- a **port** is a reference slot the kind declares, filled or not: `slot` (its
+  field-map path), `refs` (accepted constraints, canonical), `capabilities`,
+  `array`, `class`, `slots` (`{ path, target?, targetNode?, inline? }` per
+  occupancy), `addPath?` and `rowOwned?`;
+- a **row** is an ordered entry of a node: `id`, `kind` (`step`, `entry`,
+  `target`, `repeat`, `inline`, `reference`, `export`), `name?`, `path`, `array`,
+  `index`, `depth`, `parent?`, `target?`, `targetNode?`, `inputs?`, `match?`,
+  `variant?`, `variantLabel?`, `predicate?`, `catches?`, `dispatch?`
+  (`{ path, refs, inline?, alternatives? }`, where the call is written and
+  what may fill it), `declares?`, `unknownKind?`, `repeat?` and `emitted?`. A
+  `repeat` row is a `!for-each` in a list (`{ source, as }`), identified by its
+  source and its ordinal among the list's repeats of that source; `emitted` is
+  the identity text of a step a repeat emitted, which carries it in place of a
+  `name`;
+- an **edge** is a reference site, classed: `id`, `from`, `to?`, `toName`,
+  `class` (`flow`, `holds`, `shape`, `data`), `use` (the slot's declared uses:
+  `schema`, `dependency`, `call`, `detached`, `trigger.inbound`,
+  `trigger.consumer`), `slot`, `path`, `row?`, `inputs?`, `boot?`, `scoped?`,
+  `read?` and `call?`;
+- a **region** is a containment: `id`, `kind` (`inline`, `scope`, `zone`),
+  `owner`, `site`, `members`, and for a zone `attributes?` (attribute → the
+  author's reason) and `boundaries?` (`{ from, toName, escaping }`);
+- a **kind** is a kind declaration in scope: `id` (canonical), `name`,
+  `module?`, `abstract`, `capability?`, `extendsId?`, `extendsName?`,
+  `instances` (node ids), `template`, `own` and `exported?`.
+
 ## `Diagnostic.data`
 
 Every diagnostic the engine publishes may carry:
@@ -156,7 +297,8 @@ Every diagnostic the engine publishes may carry:
 ```ts
 { fix?: { replacement: string; tag?: "ref" | "cel" | "module-path" },
   resource?: { kind: string; name: string },
-  path?: string }
+  path?: string,
+  configurations?: Array<Record<string, unknown>> }
 ```
 
 `fix` is a mechanically applicable repair — the whole corrected value at the
@@ -165,7 +307,18 @@ returns the diagnostic unchanged in a `textDocument/codeAction` request's
 context, and the engine answers with the quick fix that applies it. `resource`
 and `path` locate the offending value inside a manifest (a host may use them to
 place a diagnostic on a form field). `Diagnostic.tags` carries LSP's
-`Deprecated` / `Unnecessary`.
+`Deprecated` / `Unnecessary`. `configurations` is present only on a diagnostic
+that holds in some configurations of the application and not all (a diagnostic
+in every configuration carries none): a list of **partial assignments**, each
+`{ "<dimension path>": <JSON value> }` — an enum, const or boolean as itself,
+a presence dimension as `"present"` / `"absent"`, an absent dimension input as
+`null`. An entry names only the dimensions it narrows, each to one value; a
+dimension it leaves out holds every value, so the diagnostic holds in a
+configuration when **some entry agrees with it on every key the entry names**
+(an entry naming none holds everywhere). A block spanning several values of a
+dimension is one entry per value. The list is empty when the diagnostic holds
+in no configuration (a branch nothing takes). The configuration label lives in
+`message` only.
 
 ## Commands
 
@@ -179,7 +332,11 @@ The engine's code lenses over an `imports:` block name the first two.
 
 ## Generations
 
-`TELO_EDITOR_PROTOCOL` is the generation this package describes (`1`).
+`TELO_EDITOR_PROTOCOL` is the generation this package describes (`2`).
+Generation 2 made `Diagnostic.data.configurations` a list of partial
+assignments; generation 1 listed complete ones, so a host reading entries as
+complete would misread every diagnostic. A complete assignment reads correctly
+as a partial one, so a host of generation 2 also speaks generation 1.
 **Additions within a generation are negotiated by capability**: a new request, a
 new optional field or a new command is advertised by the side that has it and
 used only when advertised, so an older host and a newer engine (or the reverse)

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 /** The protocol generation this package describes. Additions within a
  *  generation are negotiated by capability; an incompatible change bumps it. */
-export declare const TELO_EDITOR_PROTOCOL = 1;
+export declare const TELO_EDITOR_PROTOCOL = 2;
 /** What an engine advertises under `ServerCapabilities.experimental`. */
 export interface TeloExperimentalCapabilities {
     telo: TeloProtocolCapability;
@@ -8,6 +8,9 @@ export interface TeloExperimentalCapabilities {
 export interface TeloProtocolCapability {
     /** The generation the engine speaks. */
     protocol: number;
+    /** The engine serves `telo/viewModel` and `telo/celCompletion` and sends
+     *  `telo/viewModelChanged`. */
+    viewModel?: boolean;
 }
 /** The file a module directory is read as: `telo/read` of a directory answers
  *  with this file inside it. */
@@ -17,8 +20,9 @@ export declare const TELO_MODULE_FILENAME = "telo.yaml";
  *  release build, `X+unreleased` for a build made while that release is still
  *  pending. */
 export declare const TELO_SERVER_NAME = "telo";
-/** Method names of the requests an engine sends and a host serves, and of the
- *  notification an engine sends. */
+/** Method names of every `telo/*` message: the requests an engine sends and a
+ *  host serves, the requests a host sends and an engine serves, and the
+ *  notifications an engine sends. */
 export declare const TeloMethod: {
     readonly read: "telo/read";
     readonly exists: "telo/exists";
@@ -26,6 +30,9 @@ export declare const TeloMethod: {
     readonly hubSearchRefs: "telo/hub/searchRefs";
     readonly hubListVersions: "telo/hub/listVersions";
     readonly requirements: "telo/requirements";
+    readonly viewModel: "telo/viewModel";
+    readonly celCompletion: "telo/celCompletion";
+    readonly viewModelChanged: "telo/viewModelChanged";
 };
 export type TeloMethod = (typeof TeloMethod)[keyof typeof TeloMethod];
 /** `telo/read`: the text at `uri`. `uri` is a document URI (`file:///…`) or an
@@ -122,6 +129,337 @@ export interface RequirementsParams {
      *  itself declares one exactly when an entry's `module` equals `owner`. */
     ranges: RequirementsRange[];
 }
+/** `telo/viewModelChanged`: the owner's view model moved — sent after each
+ *  analysis of the owner, and when the owner stops being analysed (a
+ *  `telo/viewModel` for it then answers `null`). */
+export interface ViewModelChangedParams {
+    /** Canonical `file:` URI of the owner module's document. */
+    owner: string;
+    /** Increases with every analysis of the owner, and when it is dropped. */
+    revision: number;
+}
+/** `telo/viewModel`: the structured-view model of one owner module. */
+export interface ViewModelParams {
+    owner: string;
+    /** The assignment to draw the module graph in, keyed by dimension; a
+     *  dimension left out takes its default. */
+    configuration?: Record<string, unknown>;
+}
+/** `null` when the engine is not analysing `owner`. */
+export type ViewModelResult = ViewModel | null;
+/** `telo/celCompletion`: completion for a CEL value typed into a structured
+ *  form field, which is not document text yet. */
+export interface CelCompletionParams {
+    owner: string;
+    /** The resource the field belongs to. */
+    resource: {
+        kind: string;
+        name: string;
+    };
+    /** Concrete path of the field within the resource (`routes[0].handler.inputs.x`). */
+    path: string;
+    /** The tag the value is written under, without its `!` (`cel`, `interpolate`). */
+    tag: string;
+    /** The field's value without its tag. */
+    text: string;
+    /** Cursor offset into `text`. */
+    offset: number;
+}
+/** LSP `CompletionItem`s; a `textEdit` range is a line/character range in
+ *  `text`. Empty when the engine is not analysing `owner`. */
+export type CelCompletionResult = CompletionItem[];
+/** The members of an LSP `CompletionItem` an engine sets. */
+export interface CompletionItem {
+    label: string;
+    /** LSP `CompletionItemKind`. */
+    kind?: number;
+    detail?: string;
+    documentation?: string;
+    insertText?: string;
+    /** LSP `InsertTextFormat`; 2 is a snippet. */
+    insertTextFormat?: number;
+    textEdit?: {
+        range: TextRange;
+        newText: string;
+    };
+    preselect?: boolean;
+    sortText?: string;
+    filterText?: string;
+    command?: {
+        title: string;
+        command: string;
+    };
+}
+export interface TextRange {
+    start: {
+        line: number;
+        character: number;
+    };
+    end: {
+        line: number;
+        character: number;
+    };
+}
+/** Params and result of every engine-served request, by method. */
+export interface TeloEngineRequests {
+    "telo/viewModel": [ViewModelParams, ViewModelResult];
+    "telo/celCompletion": [CelCompletionParams, CelCompletionResult];
+}
+/** A JSON Schema, as plain JSON. */
+export type JsonSchema = Record<string, unknown>;
+/**
+ * What a structured editor (a module canvas, a schema form, a reference picker)
+ * reads about one owner module, computed by the engine of the module's telo
+ * version over the same analysis its diagnostics come from.
+ */
+export interface ViewModel {
+    owner: string;
+    revision: number;
+    /** The owner module drawn as a graph. */
+    moduleGraph: ModuleGraphData | null;
+    /** The configurations `moduleGraph` can be drawn in. Absent when the module
+     *  writes no `!if` / `!switch` choice. */
+    configurations?: ViewModelConfigurations;
+    /** The schema of the owner's module document kind. */
+    moduleRootSchema: JsonSchema | null;
+    /** Each `kind:` spelling in the closure, and each constraint in
+     *  `refConstraints`, mapped to the canonical kind it resolves to. A spelling
+     *  that resolves to nothing is absent. */
+    kindSpellings: Record<string, string>;
+    /** Per reference-slot constraint: the canonical kinds that satisfy it and the
+     *  spellings a new resource could be created with. A constraint that resolves
+     *  to nothing is absent. */
+    refConstraints: Record<string, RefConstraint>;
+    /** Invocation contracts of every kind declaring one, by canonical kind. */
+    contracts: Record<string, KindContract>;
+    /** Why a resource of the owner module cannot fill a slot, by what it returns:
+     *  one entry per reference slot declaring an `outputType` in the closure's
+     *  kinds. */
+    outputRefusals: OutputRefusals[];
+    /** The body of every templated kind in the closure, by canonical kind. */
+    templates: Record<string, TemplateGraphData>;
+    /** Every reference written in the owner module's resources and its module
+     *  document. */
+    referenceSites: ReferenceSite[];
+    /** Canonical URI → the LSP version of each open document the analysis read.
+     *  A host holding a newer version of one of them holds text this model was
+     *  not computed from. */
+    documents: Record<string, number>;
+}
+/** One axis of the configuration picker: the path it is read at, its domain
+ *  and the value a picker starts at (a presence dimension: `absent`). */
+export interface GraphDimension {
+    key: string;
+    values: unknown[];
+    default: unknown;
+}
+export interface ViewModelConfigurations {
+    dimensions: GraphDimension[];
+    /** The assignment `moduleGraph` is drawn in, every dimension present. */
+    selected: Record<string, unknown>;
+}
+/** One alternative of a choice: `then`, `else`, `default`, a case key, or
+ *  `absent` (an `!if` with no `else:` whose condition is false). At a
+ *  declaration position it carries the kind the branch declares. */
+export interface GraphAlternative {
+    key: string;
+    kind?: string;
+}
+/** A `!if` / `!switch` drawn at a box. At a declaration position (`path` is
+ *  `""`) the box is the choice, identified by its name — only its kind follows
+ *  the selected configuration. */
+export interface GraphChoice {
+    path: string;
+    tag: "if" | "switch";
+    alternatives: GraphAlternative[];
+    selected: string | null;
+}
+/** A `!for-each` drawn as one box (a family) or one row (a repeat in a list),
+ *  never one per element. */
+export interface GraphRepeat {
+    source: string;
+    as: string;
+}
+export interface RefConstraint {
+    accepted: string[];
+    userFacing: string[];
+}
+export interface KindContract {
+    inputType?: JsonSchema;
+    outputType?: JsonSchema;
+}
+export interface OutputRefusals {
+    /** The canonical kind declaring the slot. */
+    kind: string;
+    /** JSON Pointer of the slot's `x-telo-ref` node within that kind's `schema`. */
+    pointer: string;
+    /** Resource name, in the scope the entry is listed in (the owner module, or
+     *  a template's body), → one line per definite mismatch. A resource absent
+     *  here can fill the slot. */
+    refusals: Record<string, string[]>;
+}
+export interface TemplateGraphData {
+    /** Canonical `<module>.<Name>`. */
+    kindId: string;
+    name: string;
+    module?: string;
+    /** The kind's capability, inherited along `extends`. */
+    capability?: string;
+    /** The definition document as analysed; `metadata.source` is a document URI. */
+    definition: Record<string, unknown>;
+    graph: ModuleGraphData;
+    /** Why an entry of the body cannot fill a slot, by what it returns — the
+     *  owner's `outputRefusals`, judged over the body's entries. */
+    outputRefusals: OutputRefusals[];
+}
+export interface ReferenceSite {
+    /** The resource writing the reference; the module document as itself. */
+    source: {
+        kind: string;
+        name: string;
+    };
+    /** Concrete path of the slot within that resource. */
+    path: string;
+    /** The name the reference holds, as written (`Alias.name` across an import). */
+    target: string;
+}
+/** A module drawn as boxes, ordered rows and classed edges — the analyzer's
+ *  module graph as data. */
+export interface ModuleGraphData {
+    root?: GraphNodeData;
+    nodes: GraphNodeData[];
+    edges: GraphEdgeData[];
+    regions: GraphRegionData[];
+    kinds: GraphKindData[];
+}
+/** `root` | `named` | `inline` | `scoped` | `imported` | `injected` |
+ *  `enclosing` | `forwarded`. */
+export type NodeOwnership = string;
+/** `flow` | `holds` | `shape` | `data`. */
+export type EdgeClass = string;
+/** `step` | `entry` | `target` | `repeat` | `inline` | `reference` | `export`. */
+export type RowKind = string;
+export interface GraphNodeData {
+    id: string;
+    kind: string;
+    name: string;
+    capability?: string;
+    canonicalKind?: string;
+    unknownKind?: boolean;
+    ownership: NodeOwnership;
+    owner?: string;
+    ownerSite?: string;
+    module?: string;
+    external?: boolean;
+    alias?: string;
+    ports: GraphPortData[];
+    rows: GraphRowData[];
+    rowArrays: {
+        field: string;
+        kind: RowKind;
+    }[];
+    throws?: {
+        codes: string[];
+        unbounded: boolean;
+    };
+    root?: boolean;
+    choice?: GraphChoice;
+    choices?: GraphChoice[];
+    family?: GraphRepeat;
+}
+export interface GraphPortData {
+    slot: string;
+    refs: string[];
+    capabilities: string[];
+    array: boolean;
+    class: EdgeClass;
+    slots: {
+        path: string;
+        target?: string;
+        targetNode?: string;
+        inline?: boolean;
+    }[];
+    addPath?: string;
+    rowOwned?: boolean;
+}
+export interface GraphRowData {
+    id: string;
+    kind: RowKind;
+    name?: string;
+    path: string;
+    array: string;
+    index: number;
+    depth: number;
+    parent?: string;
+    target?: string;
+    targetNode?: string;
+    inputs?: string;
+    match?: Record<string, unknown>;
+    variant?: string;
+    variantLabel?: string;
+    predicate?: string;
+    catches?: boolean;
+    dispatch?: {
+        path: string;
+        refs: string[];
+        inline?: boolean;
+        alternatives?: {
+            path: string;
+            refs: string[];
+        }[];
+    };
+    declares?: string;
+    unknownKind?: boolean;
+    /** `repeat` rows: the loop the list item is. */
+    repeat?: GraphRepeat;
+    /** A step a template repeat emitted: its identity text, in place of `name`. */
+    emitted?: string;
+}
+export interface GraphEdgeData {
+    id: string;
+    from: string;
+    to?: string;
+    toName: string;
+    class: EdgeClass;
+    /** `schema` | `dependency` | `call` | `detached` | `trigger.inbound` |
+     *  `trigger.consumer`. */
+    use: string[];
+    slot: string;
+    path: string;
+    row?: string;
+    inputs?: string;
+    boot?: boolean;
+    scoped?: boolean;
+    read?: string;
+    call?: string;
+}
+export interface GraphRegionData {
+    id: string;
+    /** `inline` | `scope` | `zone`. */
+    kind: string;
+    owner: string;
+    site: string;
+    members: string[];
+    attributes?: Record<string, string>;
+    boundaries?: {
+        from: string;
+        toName: string;
+        escaping: string[];
+    }[];
+}
+export interface GraphKindData {
+    id: string;
+    name: string;
+    module?: string;
+    abstract: boolean;
+    capability?: string;
+    extendsId?: string;
+    extendsName?: string;
+    instances: string[];
+    template: boolean;
+    own: boolean;
+    exported?: boolean;
+}
 /** The YAML tags a repair may write. A receiver that does not know a tag
  *  offers no fix for it. */
 export type DiagnosticFixTag = "ref" | "cel" | "module-path";
@@ -142,6 +480,13 @@ export interface TeloDiagnosticData {
     };
     /** Dotted path of the offending value within that resource. */
     path?: string;
+    /** Present only on a diagnostic that holds in some configurations of the
+     *  application but not all: partial assignments covering where it holds, each
+     *  `{ "<dimension path>": <JSON value> }` naming only the dimensions it
+     *  narrows (one it leaves out holds every value; the diagnostic holds where
+     *  some entry agrees on every key it names). Empty when it holds in none. The
+     *  label is in `message` only. */
+    configurations?: Array<Record<string, unknown>>;
 }
 /** `workspace/executeCommand` commands an engine serves. The two upgrade
  *  commands take `[{ uri, aliases }]` and apply through `workspace/applyEdit`;

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA;gFACgF;AAChF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,yEAAyE;AACzE,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,sBAAsB,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;gCACgC;AAChC,eAAO,MAAM,oBAAoB,cAAc,CAAC;AAEhD;;;eAGe;AACf,eAAO,MAAM,gBAAgB,SAAS,CAAC;AAEvC;oCACoC;AACpC,eAAO,MAAM,UAAU;;;;;;;CAOb,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAItE;;0CAE0C;AAC1C,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;0CAG0C;AAC1C,MAAM,MAAM,UAAU,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AAE9D;sDACsD;AACtD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AACD,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC;AAEnC,mEAAmE;AACnE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AACD;;kBAEkB;AAClB,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;AAC5E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AACD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,GAAG,IAAI,CAAC;AAE1D;uDACuD;AACvD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,EAAE,CAAC;AAExC;;sEAEsE;AACtE,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;AAEjD,iEAAiE;AACjE,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,aAAa,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5C,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACjE,qBAAqB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC5D,uBAAuB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;CACnE;AAID,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd;oFACgF;IAChF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;+EAC2E;IAC3E,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAID;4BAC4B;AAC5B,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,KAAK,GAAG,aAAa,CAAC;AAE7D;oEACoE;AACpE,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,gBAAgB,CAAC;CACxB;AAED;2EAC2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,aAAa,CAAC;IACpB,gDAAgD;IAChD,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAID;;iCAEiC;AACjC,eAAO,MAAM,WAAW;;;;CAId,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA;gFACgF;AAChF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,yEAAyE;AACzE,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,sBAAsB,CAAC;CAC9B;AAED,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB;mCAC+B;IAC/B,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;gCACgC;AAChC,eAAO,MAAM,oBAAoB,cAAc,CAAC;AAEhD;;;eAGe;AACf,eAAO,MAAM,gBAAgB,SAAS,CAAC;AAEvC;;qCAEqC;AACrC,eAAO,MAAM,UAAU;;;;;;;;;;CAUb,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC;AAItE;;0CAE0C;AAC1C,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;0CAG0C;AAC1C,MAAM,MAAM,UAAU,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AAE9D;sDACsD;AACtD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;CAClB;AACD,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC;AAEnC,mEAAmE;AACnE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;CACb;AACD;;kBAEkB;AAClB,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;AAC5E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AACD,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,GAAG,IAAI,CAAC;AAE1D;uDACuD;AACvD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,EAAE,CAAC;AAExC;;sEAEsE;AACtE,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;CACb;AACD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,MAAM,kBAAkB,GAAG,aAAa,EAAE,CAAC;AAEjD,iEAAiE;AACjE,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,aAAa,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5C,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACjE,qBAAqB,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC5D,uBAAuB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;CACnE;AAID,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,GAAG,CAAC,EAAE,YAAY,CAAC;IACnB,GAAG,CAAC,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd;oFACgF;IAChF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;+EAC2E;IAC3E,MAAM,EAAE,iBAAiB,EAAE,CAAC;CAC7B;AAED;;oDAEoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAID,uEAAuE;AACvE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd;gDAC4C;IAC5C,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AACD,uDAAuD;AACvD,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,IAAI,CAAC;AAE/C;kDACkD;AAClD,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,qFAAqF;IACrF,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,GAAG,EAAE,MAAM,CAAC;IACZ,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;CAChB;AACD;8DAC8D;AAC9D,MAAM,MAAM,mBAAmB,GAAG,cAAc,EAAE,CAAC;AAEnD,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9C;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,GAAG,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IACrD,oBAAoB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;CAClE;AAID,oCAAoC;AACpC,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,eAAe,GAAG,IAAI,CAAC;IACpC;8CAC0C;IAC1C,cAAc,CAAC,EAAE,uBAAuB,CAAC;IACzC,sDAAsD;IACtD,gBAAgB,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC;;8CAE0C;IAC1C,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;gCAE4B;IAC5B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC;;iBAEa;IACb,cAAc,EAAE,cAAc,EAAE,CAAC;IACjC,0EAA0E;IAC1E,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC7C;oBACgB;IAChB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;;6BAEyB;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnC;AAED;yEACyE;AACzE,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,yEAAyE;IACzE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;oEAEoE;AACpE,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;kCAEkC;AAClC,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,IAAI,GAAG,QAAQ,CAAC;IACrB,YAAY,EAAE,gBAAgB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED;6BAC6B;AAC7B,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,OAAO,EAAE,MAAM,CAAC;IAChB;;kCAE8B;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,mCAAmC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,KAAK,EAAE,eAAe,CAAC;IACvB;oEACgE;IAChE,cAAc,EAAE,cAAc,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,yEAAyE;IACzE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;4BAC4B;AAC5B,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED;iCACiC;AACjC,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC;AACnC,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAC/B,kFAAkF;AAClF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,aAAa,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAC9C,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC;IACjD,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC;IACxB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE;QACT,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,YAAY,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,EAAE,CAAA;SAAE,EAAE,CAAC;KACnD,CAAC;IACF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,gDAAgD;IAChD,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,CAAC;IACjB;8BAC0B;IAC1B,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,GAAG,EAAE,OAAO,CAAC;IACb,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAID;4BAC4B;AAC5B,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,KAAK,GAAG,aAAa,CAAC;AAE7D;oEACoE;AACpE,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,gBAAgB,CAAC;CACxB;AAED;2EAC2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,EAAE,aAAa,CAAC;IACpB,gDAAgD;IAChD,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;sCAKkC;IAClC,cAAc,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACjD;AAID;;iCAEiC;AACjC,eAAO,MAAM,WAAW;;;;CAId,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB"}

package/dist/index.js

@@ -4,7 +4,7 @@
 // through `editor-protocol-schema.json` — can speak it. `README.md` is the spec.
 /** The protocol generation this package describes. Additions within a
  *  generation are negotiated by capability; an incompatible change bumps it. */
-export const TELO_EDITOR_PROTOCOL = 1;
+export const TELO_EDITOR_PROTOCOL = 2;
 /** The file a module directory is read as: `telo/read` of a directory answers
  *  with this file inside it. */
 export const TELO_MODULE_FILENAME = "telo.yaml";
@@ -13,8 +13,9 @@ export const TELO_MODULE_FILENAME = "telo.yaml";
  *  release build, `X+unreleased` for a build made while that release is still
  *  pending. */
 export const TELO_SERVER_NAME = "telo";
-/** Method names of the requests an engine sends and a host serves, and of the
- *  notification an engine sends. */
+/** Method names of every `telo/*` message: the requests an engine sends and a
+ *  host serves, the requests a host sends and an engine serves, and the
+ *  notifications an engine sends. */
 export const TeloMethod = {
     read: "telo/read",
     exists: "telo/exists",
@@ -22,6 +23,9 @@ export const TeloMethod = {
     hubSearchRefs: "telo/hub/searchRefs",
     hubListVersions: "telo/hub/listVersions",
     requirements: "telo/requirements",
+    viewModel: "telo/viewModel",
+    celCompletion: "telo/celCompletion",
+    viewModelChanged: "telo/viewModelChanged",
 };
 // --- Commands --------------------------------------------------------------
 /** `workspace/executeCommand` commands an engine serves. The two upgrade