@angriff36/manifest 2.18.0

package/packages/lsp-server/dist/features/document-symbols.js

@@ -0,0 +1,164 @@
+import { DocumentSymbol, SymbolKind, Range } from 'vscode-languageserver';
+import { toLspPosition } from '../position-utils.js';
+/**
+ * Build hierarchical DocumentSymbol[] from a ManifestProgram AST.
+ * Provides the Outline view in IDEs.
+ */
+export function getDocumentSymbols(program) {
+    const symbols = [];
+    // Modules
+    for (const mod of program.modules) {
+        symbols.push(moduleSymbol(mod));
+    }
+    // Top-level entities
+    for (const entity of program.entities) {
+        symbols.push(entitySymbol(entity));
+    }
+    // Enums
+    for (const en of program.enums) {
+        symbols.push(enumSymbol(en));
+    }
+    // Top-level commands
+    for (const cmd of program.commands) {
+        symbols.push(commandSymbol(cmd));
+    }
+    // Policies
+    for (const policy of program.policies) {
+        symbols.push(policySymbol(policy));
+    }
+    // Stores
+    for (const store of program.stores) {
+        symbols.push(storeSymbol(store));
+    }
+    // Events
+    for (const event of program.events) {
+        symbols.push(eventSymbol(event));
+    }
+    // Reactions
+    for (const reaction of program.reactions) {
+        symbols.push(reactionSymbol(reaction));
+    }
+    // Sagas (if present in AST)
+    for (const saga of program.sagas ?? []) {
+        symbols.push(sagaSymbol(saga));
+    }
+    // Roles
+    for (const role of program.roles) {
+        symbols.push(roleSymbol(role));
+    }
+    return symbols;
+}
+function makeRange(pos, name) {
+    if (!pos) {
+        return Range.create(0, 0, 0, 1);
+    }
+    const start = toLspPosition(pos);
+    const end = { line: start.line, character: start.character + (name?.length ?? 1) };
+    return Range.create(start, end);
+}
+function moduleSymbol(mod) {
+    const range = makeRange(mod.position, mod.name);
+    const children = [];
+    for (const entity of mod.entities)
+        children.push(entitySymbol(entity));
+    for (const en of mod.enums)
+        children.push(enumSymbol(en));
+    for (const cmd of mod.commands)
+        children.push(commandSymbol(cmd));
+    for (const policy of mod.policies)
+        children.push(policySymbol(policy));
+    for (const store of mod.stores)
+        children.push(storeSymbol(store));
+    for (const event of mod.events)
+        children.push(eventSymbol(event));
+    for (const reaction of mod.reactions)
+        children.push(reactionSymbol(reaction));
+    for (const saga of mod.sagas ?? [])
+        children.push(sagaSymbol(saga));
+    for (const role of mod.roles)
+        children.push(roleSymbol(role));
+    return DocumentSymbol.create(mod.name, 'module', SymbolKind.Module, range, range, children);
+}
+function entitySymbol(entity) {
+    const range = makeRange(entity.position, entity.name);
+    const children = [];
+    for (const prop of entity.properties) {
+        children.push(propertySymbol(prop));
+    }
+    for (const comp of entity.computedProperties) {
+        children.push(computedPropertySymbol(comp));
+    }
+    for (const rel of entity.relationships) {
+        children.push(relationshipSymbol(rel));
+    }
+    for (const cmd of entity.commands) {
+        children.push(commandSymbol(cmd));
+    }
+    for (const constraint of entity.constraints) {
+        children.push(constraintSymbol(constraint));
+    }
+    for (const policy of entity.policies) {
+        children.push(policySymbol(policy));
+    }
+    return DocumentSymbol.create(entity.name, 'entity', SymbolKind.Class, range, range, children);
+}
+function propertySymbol(prop) {
+    const range = makeRange(prop.position, prop.name);
+    const detail = prop.dataType?.name ?? '';
+    return DocumentSymbol.create(prop.name, detail, SymbolKind.Property, range, range);
+}
+function computedPropertySymbol(comp) {
+    const range = makeRange(comp.position, comp.name);
+    return DocumentSymbol.create(comp.name, 'computed', SymbolKind.Property, range, range);
+}
+function relationshipSymbol(rel) {
+    const range = makeRange(rel.position, rel.name);
+    return DocumentSymbol.create(rel.name, `${rel.kind} → ${rel.target}`, SymbolKind.Field, range, range);
+}
+function commandSymbol(cmd) {
+    const range = makeRange(cmd.position, cmd.name);
+    const paramNames = cmd.parameters.map(p => p.name).join(', ');
+    return DocumentSymbol.create(cmd.name, `(${paramNames})`, SymbolKind.Function, range, range);
+}
+function constraintSymbol(constraint) {
+    const range = makeRange(constraint.position, constraint.name);
+    return DocumentSymbol.create(constraint.name, constraint.severity ?? 'block', SymbolKind.Constant, range, range);
+}
+function policySymbol(policy) {
+    const range = makeRange(policy.position, policy.name);
+    return DocumentSymbol.create(policy.name, policy.action, SymbolKind.Interface, range, range);
+}
+function enumSymbol(en) {
+    const range = makeRange(en.position, en.name);
+    const children = en.values.map(v => {
+        const vRange = makeRange(v.position, v.name);
+        return DocumentSymbol.create(v.name, v.label ?? '', SymbolKind.EnumMember, vRange, vRange);
+    });
+    return DocumentSymbol.create(en.name, 'enum', SymbolKind.Enum, range, range, children);
+}
+function storeSymbol(store) {
+    const range = makeRange(store.position, store.entity);
+    return DocumentSymbol.create(store.entity, store.target, SymbolKind.Module, range, range);
+}
+function eventSymbol(event) {
+    const range = makeRange(event.position, event.name);
+    return DocumentSymbol.create(event.name, `channel: ${event.channel}`, SymbolKind.Event, range, range);
+}
+function reactionSymbol(reaction) {
+    const range = makeRange(reaction.position, reaction.event);
+    return DocumentSymbol.create(`on ${reaction.event}`, `→ ${reaction.targetEntity}.${reaction.targetCommand}`, SymbolKind.Event, range, range);
+}
+function sagaSymbol(saga) {
+    const range = makeRange(saga.position, saga.name);
+    const children = saga.steps.map(step => {
+        const stepRange = makeRange(step.position, step.name);
+        return DocumentSymbol.create(step.name, step.command, SymbolKind.Function, stepRange, stepRange);
+    });
+    return DocumentSymbol.create(saga.name, 'saga', SymbolKind.Class, range, range, children);
+}
+function roleSymbol(role) {
+    const range = makeRange(role.position, role.name);
+    const detail = role.parent ? `extends ${role.parent}` : '';
+    return DocumentSymbol.create(role.name, detail, SymbolKind.Struct, range, range);
+}
+//# sourceMappingURL=document-symbols.js.map

package/packages/lsp-server/dist/features/document-symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-symbols.js","sourceRoot":"","sources":["../../src/features/document-symbols.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE1E,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AASrD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAwB;IACzD,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,UAAU;IACV,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,QAAQ;IACR,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,WAAW;IACX,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,SAAS;IACT,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,SAAS;IACT,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,YAAY;IACZ,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,4BAA4B;IAC5B,KAAK,MAAM,IAAI,IAAK,OAAkC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACnE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;IACR,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAAC,GAAsC,EAAE,IAAa;IACtE,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;IACnF,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,YAAY,CAAC,GAAe;IACnC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAK,GAA8B,CAAC,KAAK,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAE9D,OAAO,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB;IACxC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC;IACzC,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,sBAAsB,CAAC,IAA0B;IACxD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAqB;IAC/C,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACxG,CAAC;AAED,SAAS,aAAa,CAAC,GAAgB;IACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,UAAU,GAAG,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA0B;IAClD,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,IAAI,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACnH,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,UAAU,CAAC,EAAY;IAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,WAAW,CAAC,KAAgB;IACnC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,WAAW,CAAC,KAAsB;IACzC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,KAAK,CAAC,OAAO,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACxG,CAAC;AAED,SAAS,cAAc,CAAC,QAAsB;IAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,cAAc,CAAC,MAAM,CAC1B,MAAM,QAAQ,CAAC,KAAK,EAAE,EACtB,KAAK,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,aAAa,EAAE,EACtD,UAAU,CAAC,KAAK,EAChB,KAAK,EACL,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACrC,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IAChC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,OAAO,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACnF,CAAC"}

package/packages/lsp-server/dist/features/hover.d.ts

@@ -0,0 +1,9 @@
+import { Hover } from 'vscode-languageserver';
+import type { Position as LspPosition } from 'vscode-languageserver';
+import type { Token } from '@angriff36/manifest/types';
+import type { IR } from '@angriff36/manifest/ir';
+/**
+ * Provide hover information at the given position.
+ */
+export declare function getHover(tokens: Token[], ir: IR | null, position: LspPosition): Hover | null;
+//# sourceMappingURL=hover.d.ts.map

package/packages/lsp-server/dist/features/hover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.d.ts","sourceRoot":"","sources":["../../src/features/hover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAc,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,IAAI,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAC;AAKjD;;GAEG;AACH,wBAAgB,QAAQ,CACtB,MAAM,EAAE,KAAK,EAAE,EACf,EAAE,EAAE,EAAE,GAAG,IAAI,EACb,QAAQ,EAAE,WAAW,GACpB,KAAK,GAAG,IAAI,CAkCd"}

package/packages/lsp-server/dist/features/hover.js

@@ -0,0 +1,100 @@
+import { MarkupKind } from 'vscode-languageserver';
+import { KEYWORD_DOCS } from '../symbols/builtin-docs.js';
+import { toManifestPosition, tokenToLspRange } from '../position-utils.js';
+import { findTokenAtPosition } from './completion.js';
+/**
+ * Provide hover information at the given position.
+ */
+export function getHover(tokens, ir, position) {
+    const mPos = toManifestPosition(position);
+    const token = findTokenAtPosition(tokens, mPos);
+    if (!token)
+        return null;
+    // Keywords
+    if (token.type === 'KEYWORD') {
+        const doc = KEYWORD_DOCS[token.value];
+        if (doc) {
+            return {
+                contents: {
+                    kind: MarkupKind.Markdown,
+                    value: `**${token.value}** *(keyword)*\n\n${doc}`,
+                },
+                range: tokenToLspRange(token),
+            };
+        }
+    }
+    // Identifiers — look up in IR
+    if (token.type === 'IDENTIFIER' && ir) {
+        const hover = lookupInIR(token.value, ir);
+        if (hover) {
+            return {
+                contents: {
+                    kind: MarkupKind.Markdown,
+                    value: hover,
+                },
+                range: tokenToLspRange(token),
+            };
+        }
+    }
+    return null;
+}
+function lookupInIR(name, ir) {
+    // Entity
+    const entity = ir.entities.find(e => e.name === name);
+    if (entity) {
+        const props = entity.properties.map(p => `- \`${p.name}\`: ${p.type.name}${p.modifiers?.includes('required') ? ' (required)' : ''}`).join('\n');
+        // entity.commands is string[] (command names); resolve to full IRCommand objects
+        const cmds = entity.commands
+            .map(cmdName => ir.commands.find(c => c.name === cmdName))
+            .filter(Boolean)
+            .map(c => `- \`${c.name}(${c.parameters.map((p) => p.name).join(', ')})\``)
+            .join('\n');
+        let md = `**entity** \`${name}\`\n\n`;
+        if (props)
+            md += `**Properties:**\n${props}\n\n`;
+        if (cmds)
+            md += `**Commands:**\n${cmds}`;
+        return md;
+    }
+    // Enum
+    const en = ir.enums.find(e => e.name === name);
+    if (en) {
+        const vals = en.values.map(v => `- \`${v.name}\`${v.label ? ` — "${v.label}"` : ''}`).join('\n');
+        return `**enum** \`${name}\`\n\n${vals}`;
+    }
+    // Command (top-level)
+    const cmd = ir.commands.find(c => c.name === name);
+    if (cmd) {
+        const params = cmd.parameters.map(p => `\`${p.name}: ${p.type.name}\``).join(', ');
+        return `**command** \`${name}(${params})\``;
+    }
+    // Event
+    const event = ir.events.find(e => e.name === name);
+    if (event) {
+        return `**event** \`${name}\`\n\nChannel: \`${event.channel}\``;
+    }
+    // Store
+    const store = ir.stores.find(s => s.entity === name);
+    if (store) {
+        return `**store** \`${name}\` → ${store.target}`;
+    }
+    // Search inside entities for properties/commands
+    for (const ent of ir.entities) {
+        const prop = ent.properties.find(p => p.name === name);
+        if (prop) {
+            const mods = prop.modifiers?.length ? ` [${prop.modifiers.join(', ')}]` : '';
+            return `**property** \`${ent.name}.${name}\`: ${prop.type.name}${mods}`;
+        }
+        // entity.commands is string[]; look up the full command from top-level ir.commands
+        if (ent.commands.includes(name)) {
+            const fullCmd = ir.commands.find(c => c.name === name);
+            if (fullCmd) {
+                const params = fullCmd.parameters.map((p) => `\`${p.name}: ${p.type.name}\``).join(', ');
+                return `**command** \`${ent.name}.${name}(${params})\``;
+            }
+            return `**command** \`${ent.name}.${name}\``;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=hover.js.map

package/packages/lsp-server/dist/features/hover.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.js","sourceRoot":"","sources":["../../src/features/hover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAI1D,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAEtD;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,MAAe,EACf,EAAa,EACb,QAAqB;IAErB,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,WAAW;IACX,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,GAAG,EAAE,CAAC;YACR,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,UAAU,CAAC,QAAQ;oBACzB,KAAK,EAAE,KAAK,KAAK,CAAC,KAAK,qBAAqB,GAAG,EAAE;iBAClD;gBACD,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;aAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1C,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,QAAQ,EAAE;oBACR,IAAI,EAAE,UAAU,CAAC,QAAQ;oBACzB,KAAK,EAAE,KAAK;iBACb;gBACD,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;aAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,EAAM;IACtC,SAAS;IACT,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChJ,iFAAiF;QACjF,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ;aACzB,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;aACzD,MAAM,CAAC,OAAO,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAE,CAAC,IAAI,IAAI,CAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;aAC9F,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,EAAE,GAAG,gBAAgB,IAAI,QAAQ,CAAC;QACtC,IAAI,KAAK;YAAE,EAAE,IAAI,oBAAoB,KAAK,MAAM,CAAC;QACjD,IAAI,IAAI;YAAE,EAAE,IAAI,kBAAkB,IAAI,EAAE,CAAC;QACzC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;IACP,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC/C,IAAI,EAAE,EAAE,CAAC;QACP,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjG,OAAO,cAAc,IAAI,SAAS,IAAI,EAAE,CAAC;IAC3C,CAAC;IAED,sBAAsB;IACtB,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,OAAO,iBAAiB,IAAI,IAAI,MAAM,KAAK,CAAC;IAC9C,CAAC;IAED,QAAQ;IACR,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,eAAe,IAAI,oBAAoB,KAAK,CAAC,OAAO,IAAI,CAAC;IAClE,CAAC;IAED,QAAQ;IACR,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;IACrD,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,eAAe,IAAI,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;IACnD,CAAC;IAED,iDAAiD;IACjD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,OAAO,kBAAkB,GAAG,CAAC,IAAI,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,mFAAmF;QACnF,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACvD,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAA2C,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnI,OAAO,iBAAiB,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,MAAM,KAAK,CAAC;YAC1D,CAAC;YACD,OAAO,iBAAiB,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/packages/lsp-server/dist/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Start the Manifest LSP server.
+ * Automatically detects transport: --stdio, --node-ipc, or --socket.
+ */
+export declare function start(): void;
+//# sourceMappingURL=index.d.ts.map

package/packages/lsp-server/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAMA;;;GAGG;AACH,wBAAgB,KAAK,SAGpB"}

package/packages/lsp-server/dist/index.js

@@ -0,0 +1,11 @@
+import { createConnection, ProposedFeatures, } from 'vscode-languageserver/node.js';
+import { ManifestLspServer } from './server.js';
+/**
+ * Start the Manifest LSP server.
+ * Automatically detects transport: --stdio, --node-ipc, or --socket.
+ */
+export function start() {
+    const connection = createConnection(ProposedFeatures.all);
+    new ManifestLspServer(connection);
+}
+//# sourceMappingURL=index.js.map

package/packages/lsp-server/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD;;;GAGG;AACH,MAAM,UAAU,KAAK;IACnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1D,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC"}

package/packages/lsp-server/dist/position-utils.d.ts

@@ -0,0 +1,25 @@
+import { Position as LspPosition, Range } from 'vscode-languageserver';
+import type { Position as ManifestPosition } from '@angriff36/manifest/types';
+import type { Token } from '@angriff36/manifest/types';
+/**
+ * Convert a Manifest Position (1-based line, 1-based column) to an LSP Position (0-based).
+ */
+export declare function toLspPosition(pos: ManifestPosition): LspPosition;
+/**
+ * Convert an LSP Position (0-based) to a Manifest Position (1-based line, 1-based column).
+ */
+export declare function toManifestPosition(pos: LspPosition): ManifestPosition;
+/**
+ * Create an LSP Range from a Manifest Position.
+ * If no end is provided, the range spans a single word-length token at that position.
+ */
+export declare function toLspRange(start: ManifestPosition, end?: ManifestPosition, length?: number): Range;
+/**
+ * Create an LSP Range from a Token.
+ *
+ * The Manifest lexer records token.position as the **end** of the token
+ * (one column past the last character). This function computes the correct
+ * start position and returns a range spanning the token value.
+ */
+export declare function tokenToLspRange(token: Token): Range;
+//# sourceMappingURL=position-utils.d.ts.map

package/packages/lsp-server/dist/position-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"position-utils.d.ts","sourceRoot":"","sources":["../src/position-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,WAAW,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,KAAK,EAAE,QAAQ,IAAI,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAEvD;;GAEG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,gBAAgB,GAAG,WAAW,CAEhE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,WAAW,GAAG,gBAAgB,CAErE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,KAAK,CAOlG;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAKnD"}

package/packages/lsp-server/dist/position-utils.js

@@ -0,0 +1,39 @@
+import { Position as LspPosition, Range } from 'vscode-languageserver';
+/**
+ * Convert a Manifest Position (1-based line, 1-based column) to an LSP Position (0-based).
+ */
+export function toLspPosition(pos) {
+    return LspPosition.create(pos.line - 1, pos.column - 1);
+}
+/**
+ * Convert an LSP Position (0-based) to a Manifest Position (1-based line, 1-based column).
+ */
+export function toManifestPosition(pos) {
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+/**
+ * Create an LSP Range from a Manifest Position.
+ * If no end is provided, the range spans a single word-length token at that position.
+ */
+export function toLspRange(start, end, length) {
+    const lspStart = toLspPosition(start);
+    if (end) {
+        return Range.create(lspStart, toLspPosition(end));
+    }
+    // Default: span the length of the token or a single character
+    return Range.create(lspStart, LspPosition.create(lspStart.line, lspStart.character + (length ?? 1)));
+}
+/**
+ * Create an LSP Range from a Token.
+ *
+ * The Manifest lexer records token.position as the **end** of the token
+ * (one column past the last character). This function computes the correct
+ * start position and returns a range spanning the token value.
+ */
+export function tokenToLspRange(token) {
+    const endCol0 = token.position.column - 1; // 0-based end column
+    const startCol0 = endCol0 - token.value.length; // 0-based start column
+    const line0 = token.position.line - 1; // 0-based line
+    return Range.create(line0, startCol0, line0, endCol0);
+}
+//# sourceMappingURL=position-utils.js.map

package/packages/lsp-server/dist/position-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"position-utils.js","sourceRoot":"","sources":["../src/position-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,WAAW,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAIvE;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,GAAqB;IACjD,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAgB;IACjD,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,KAAuB,EAAE,GAAsB,EAAE,MAAe;IACzF,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,GAAG,EAAE,CAAC;QACR,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,8DAA8D;IAC9D,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACvG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,qBAAqB;IAChE,MAAM,SAAS,GAAG,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,uBAAuB;IACvE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,eAAe;IACtD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC"}

package/packages/lsp-server/dist/server.d.ts

@@ -0,0 +1,14 @@
+import { Connection } from 'vscode-languageserver';
+/**
+ * ManifestLspServer wires LSP protocol handlers to the Manifest compiler pipeline.
+ */
+export declare class ManifestLspServer {
+    private connection;
+    private documents;
+    private store;
+    private symbolCache;
+    constructor(connection: Connection);
+    private setupHandlers;
+    private validateDocument;
+}
+//# sourceMappingURL=server.d.ts.map

package/packages/lsp-server/dist/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAUX,MAAM,uBAAuB,CAAC;AAU/B;;GAEG;AACH,qBAAa,iBAAiB;IAKhB,OAAO,CAAC,UAAU;IAJ9B,OAAO,CAAC,SAAS,CAA8B;IAC/C,OAAO,CAAC,KAAK,CAAgB;IAC7B,OAAO,CAAC,WAAW,CAAoC;gBAEnC,UAAU,EAAE,UAAU;IAS1C,OAAO,CAAC,aAAa;YA8DP,gBAAgB;CAc/B"}

package/packages/lsp-server/dist/server.js

@@ -0,0 +1,96 @@
+import { TextDocuments, TextDocumentSyncKind, DidChangeConfigurationNotification, } from 'vscode-languageserver';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import { DocumentStore } from './document-store.js';
+import { buildSymbolIndex } from './symbols/symbol-index.js';
+import { toDiagnostics } from './features/diagnostics.js';
+import { getDocumentSymbols } from './features/document-symbols.js';
+import { getCompletions } from './features/completion.js';
+import { getHover } from './features/hover.js';
+import { getDefinition } from './features/definition.js';
+/**
+ * ManifestLspServer wires LSP protocol handlers to the Manifest compiler pipeline.
+ */
+export class ManifestLspServer {
+    connection;
+    documents;
+    store;
+    symbolCache = new Map();
+    constructor(connection) {
+        this.connection = connection;
+        this.documents = new TextDocuments(TextDocument);
+        this.store = new DocumentStore();
+        this.setupHandlers();
+        this.documents.listen(this.connection);
+        this.connection.listen();
+    }
+    setupHandlers() {
+        this.connection.onInitialize((_params) => {
+            return {
+                capabilities: {
+                    textDocumentSync: TextDocumentSyncKind.Full,
+                    completionProvider: {
+                        triggerCharacters: ['.', ' ', ':'],
+                        resolveProvider: false,
+                    },
+                    hoverProvider: true,
+                    definitionProvider: true,
+                    documentSymbolProvider: true,
+                },
+            };
+        });
+        this.connection.onInitialized(() => {
+            this.connection.client.register(DidChangeConfigurationNotification.type, undefined);
+        });
+        // Recompile on document change
+        this.documents.onDidChangeContent(async (change) => {
+            await this.validateDocument(change.document);
+        });
+        // Clean up on close
+        this.documents.onDidClose((event) => {
+            this.store.delete(event.document.uri);
+            this.symbolCache.delete(event.document.uri);
+            this.connection.sendDiagnostics({ uri: event.document.uri, diagnostics: [] });
+        });
+        // Completion
+        this.connection.onCompletion((params) => {
+            const doc = this.store.get(params.textDocument.uri);
+            if (!doc)
+                return [];
+            return getCompletions(doc.tokens, doc.program, doc.ir, params.position);
+        });
+        // Hover
+        this.connection.onHover((params) => {
+            const doc = this.store.get(params.textDocument.uri);
+            if (!doc)
+                return null;
+            return getHover(doc.tokens, doc.ir, params.position);
+        });
+        // Go-to-definition
+        this.connection.onDefinition((params) => {
+            const doc = this.store.get(params.textDocument.uri);
+            if (!doc)
+                return null;
+            const symbols = this.symbolCache.get(params.textDocument.uri) ?? [];
+            return getDefinition(doc.tokens, symbols, params.textDocument.uri, params.position);
+        });
+        // Document symbols (outline)
+        this.connection.onDocumentSymbol((params) => {
+            const doc = this.store.get(params.textDocument.uri);
+            if (!doc)
+                return [];
+            return getDocumentSymbols(doc.program);
+        });
+    }
+    async validateDocument(textDocument) {
+        const text = textDocument.getText();
+        const uri = textDocument.uri;
+        const version = textDocument.version;
+        const doc = await this.store.update(uri, text, version);
+        // Update symbol cache
+        this.symbolCache.set(uri, buildSymbolIndex(doc.program));
+        // Publish diagnostics
+        const diagnostics = toDiagnostics(doc.parseErrors, doc.irDiagnostics);
+        this.connection.sendDiagnostics({ uri, diagnostics });
+    }
+}
+//# sourceMappingURL=server.js.map

package/packages/lsp-server/dist/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,aAAa,EAGb,oBAAoB,EACpB,kCAAkC,GAKnC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAoB,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAKR;IAJZ,SAAS,CAA8B;IACvC,KAAK,CAAgB;IACrB,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEvD,YAAoB,UAAsB;QAAtB,eAAU,GAAV,UAAU,CAAY;QACxC,IAAI,CAAC,SAAS,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK,GAAG,IAAI,aAAa,EAAE,CAAC;QAEjC,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;IAC3B,CAAC;IAEO,aAAa;QACnB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,OAAyB,EAAoB,EAAE;YAC3E,OAAO;gBACL,YAAY,EAAE;oBACZ,gBAAgB,EAAE,oBAAoB,CAAC,IAAI;oBAC3C,kBAAkB,EAAE;wBAClB,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;wBAClC,eAAe,EAAE,KAAK;qBACvB;oBACD,aAAa,EAAE,IAAI;oBACnB,kBAAkB,EAAE,IAAI;oBACxB,sBAAsB,EAAE,IAAI;iBAC7B;aACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,GAAG,EAAE;YACjC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QAEH,+BAA+B;QAC/B,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YACjD,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,oBAAoB;QACpB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QAEH,aAAa;QACb,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,MAAM,EAAoB,EAAE;YACxD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,GAAG;gBAAE,OAAO,EAAE,CAAC;YACpB,OAAO,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,QAAQ;QACR,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,EAAgB,EAAE;YAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,OAAO,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,mBAAmB;QACnB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,MAAM,EAAmB,EAAE;YACvD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpE,OAAO,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QAEH,6BAA6B;QAC7B,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,MAAM,EAAoB,EAAE;YAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,GAAG;gBAAE,OAAO,EAAE,CAAC;YACpB,OAAO,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAAC,YAA0B;QACvD,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC;QAC7B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC;QAErC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAExD,sBAAsB;QACtB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAEzD,sBAAsB;QACtB,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;QACtE,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;IACxD,CAAC;CACF"}

package/packages/lsp-server/dist/symbols/builtin-docs.d.ts

@@ -0,0 +1,34 @@
+import { CompletionItemKind } from 'vscode-languageserver';
+/**
+ * Keyword → markdown documentation mapping.
+ * Used by hover to show documentation for keywords.
+ */
+export declare const KEYWORD_DOCS: Record<string, string>;
+/**
+ * Completion item buckets for context-aware suggestions.
+ */
+export interface CompletionBucket {
+    label: string;
+    kind: CompletionItemKind;
+    detail?: string;
+    documentation?: string;
+}
+/** Top-level declaration keywords */
+export declare const TOP_LEVEL_COMPLETIONS: CompletionBucket[];
+/** Keywords valid inside an entity body */
+export declare const ENTITY_BODY_COMPLETIONS: CompletionBucket[];
+/** Type keywords */
+export declare const TYPE_COMPLETIONS: CompletionBucket[];
+/** Property modifiers */
+export declare const MODIFIER_COMPLETIONS: CompletionBucket[];
+/** Policy action keywords */
+export declare const POLICY_ACTION_COMPLETIONS: CompletionBucket[];
+/** Constraint severity keywords */
+export declare const SEVERITY_COMPLETIONS: CompletionBucket[];
+/** Referential action keywords */
+export declare const REF_ACTION_COMPLETIONS: CompletionBucket[];
+/** Command body keywords */
+export declare const COMMAND_BODY_COMPLETIONS: CompletionBucket[];
+/** Store target keywords */
+export declare const STORE_TARGET_COMPLETIONS: CompletionBucket[];
+//# sourceMappingURL=builtin-docs.d.ts.map

package/packages/lsp-server/dist/symbols/builtin-docs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-docs.d.ts","sourceRoot":"","sources":["../../src/symbols/builtin-docs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAuG/C,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,qCAAqC;AACrC,eAAO,MAAM,qBAAqB,EAAE,gBAAgB,EAWnD,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,uBAAuB,EAAE,gBAAgB,EAiBrD,CAAC;AAEF,oBAAoB;AACpB,eAAO,MAAM,gBAAgB,EAAE,gBAAgB,EAU9C,CAAC;AAEF,yBAAyB;AACzB,eAAO,MAAM,oBAAoB,EAAE,gBAAgB,EAOlD,CAAC;AAEF,6BAA6B;AAC7B,eAAO,MAAM,yBAAyB,EAAE,gBAAgB,EAOvD,CAAC;AAEF,mCAAmC;AACnC,eAAO,MAAM,oBAAoB,EAAE,gBAAgB,EAIlD,CAAC;AAEF,kCAAkC;AAClC,eAAO,MAAM,sBAAsB,EAAE,gBAAgB,EAMpD,CAAC;AAEF,4BAA4B;AAC5B,eAAO,MAAM,wBAAwB,EAAE,gBAAgB,EAStD,CAAC;AAEF,4BAA4B;AAC5B,eAAO,MAAM,wBAAwB,EAAE,gBAAgB,EAKtD,CAAC"}