@cratis/screenplay-language 4.251.0 → 4.252.0

package/dist/bundles/declarations.js

@@ -0,0 +1,2 @@
+import"./_virtual/_virtual/_rolldown/runtime.js";import{fenceMap as e}from"./document-context.js";const t=RegExp(`^(\\s*(?:public\\s+)?(?:`+(/* @__PURE__ */ `screen\\s+template.dialog\\s+template.slice\\s+\\w+.ui\\s+profile.sample\\s+data.toolbar.concept.type.policy.purpose.persona.module.layout.theme.feature.event.system.eventsource.operation.command.query.projection.reaction.reducer.readmodel.trigger.screen.dialog.form.constraint.specification.behavior.exposure.instance`.split(`.`)).join(`|`)+`)\\s+)([A-Za-z_][\\w.]*)`);function declarationHeaders(n){let r=e([...n]),i=[];return n.forEach((e,n)=>{if(r[n]||/^\s*\/\//.test(e))return;let a=t.exec(e);if(a===null)return;let o=a[1].trim().replace(/^public\s+/,``).replace(/\s+/g,` `);i.push({keyword:o,name:a[2],line:n,column:a[1].length})}),i}export{declarationHeaders};
+//# sourceMappingURL=declarations.js.map

package/dist/bundles/declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.js","names":["header","fences","fenceMap","lines","headers","line","text","match","keyword"],"sources":["../../declarations.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { fenceMap } from './document-context';\n\n/** Where a named construct is declared. */\nexport interface DeclarationHeader {\n    /** The construct keyword, such as `concept`, `screen template` or `slice StateChange`. */\n    readonly keyword: string;\n\n    /** The name the construct declares. */\n    readonly name: string;\n\n    /** The zero-based line of the header. */\n    readonly line: number;\n\n    /** The zero-based column the name starts at. */\n    readonly column: number;\n}\n\n// Every construct that is declared by a header line naming it: `concept TalkId : Uuid`, `screen template ReviewDesk`,\n// `slice StateChange SubmitTalk`. References to a name (`navigate to TalkList`, `template ReviewDesk`, `authorize\n// IsSpeaker`) are not headers, so a reference never reads as a second declaration.\nconst header = new RegExp(\n    '^(\\\\s*(?:public\\\\s+)?(?:' + [\n        'screen\\\\s+template', 'dialog\\\\s+template', 'slice\\\\s+\\\\w+', 'ui\\\\s+profile', 'sample\\\\s+data', 'toolbar',\n        'concept', 'type', 'policy', 'purpose', 'persona', 'module', 'layout', 'theme', 'feature', 'event', 'system', 'eventsource',\n        'operation', 'command', 'query', 'projection', 'reaction', 'reducer', 'readmodel', 'trigger', 'screen', 'dialog', 'form',\n        'constraint', 'specification', 'behavior', 'exposure', 'instance',\n    ].join('|') + ')\\\\s+)([A-Za-z_][\\\\w.]*)');\n\n/**\n * Finds the headers that declare constructs in a document.\n *\n * @param lines The document's lines.\n * @returns The headers, in document order.\n */\nexport function declarationHeaders(lines: readonly string[]): DeclarationHeader[] {\n    const fences = fenceMap([...lines]);\n    const headers: DeclarationHeader[] = [];\n    lines.forEach((text, line) => {\n        if (fences[line] || /^\\s*\\/\\//.test(text)) return;\n        const match = header.exec(text);\n        if (match === null) return;\n        const keyword = match[1].trim().replace(/^public\\s+/, '').replace(/\\s+/g, ' ');\n        headers.push({ keyword, name: match[2], line, column: match[1].length });\n    });\n\n    return headers;\n}\n"],"mappings":"kGAuBA,MAAMA,EAAa,OACf,4BAA6B,0VAK7B,EAAC,CAAC,KAAK,GAAG,EAAI,0BAA0B,EAQ5C,SAAgB,mBAAmB,EAA+C,CAC9E,IAAMC,EAASC,EAAS,CAAC,GAAGC,CAAK,CAAC,EAC5BC,EAA+B,CAAC,EAStC,OARAD,EAAM,SAAS,EAAM,IAAS,CAC1B,GAAIF,EAAOI,IAAS,WAAW,KAAKC,CAAI,EAAG,OAC3C,IAAMC,EAAQP,EAAO,KAAKM,CAAI,EAC9B,GAAIC,IAAU,KAAM,OACpB,IAAMC,EAAUD,EAAM,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,aAAc,EAAE,CAAC,CAAC,QAAQ,OAAQ,GAAG,EAC7EH,EAAQ,KAAK,CAAE,UAAS,KAAMG,EAAM,GAAI,OAAM,OAAQA,EAAM,EAAE,CAAC,MAAO,CAAC,CAC3E,CAAC,EAEMH,CACX"}

package/dist/bundles/index.js

@@ -1,2 +1,2 @@
-import"./_virtual/_virtual/_rolldown/runtime.js";import{blockHeaderPattern as e,causedByProperties as t,clauseKeywords as n,codeBlockTags as r,conceptAttributes as i,constructKeywords as a,contextRoots as o,languageConfiguration as s,languageExtensionPoint as c,languageId as l,primitiveTypes as u,sliceTypes as d}from"./language.js";import{createTokensProvider as f}from"./tokens.js";import{typeReferenceSymbol as p,typeReferenceText as m}from"./TypeReferenceSymbol.js";import{enclosingChain as ee,fenceMap as te,firstWord as ne,indentOf as re,withoutComment as ie}from"./document-context.js";import{eventContextPaths as ae}from"./event-context-catalog.js";import{eventContextMemberAt as oe,eventContextMembers as se,eventContextMembersAfter as ce,namesEventContextMember as le}from"./event-context.js";import{contextVariableEntries as ue,contextVariableItems as de,producesItems as fe,specificationStepItems as pe}from"./completion-items.js";import{responseAnalysis as me,responseAvailability as he}from"./response-analysis.js";import{fileReferenceKeyword as h,fileReferenceOn as g,fileReferences as _,isAbsoluteFileReferencePath as v}from"./file-references.js";import{builtInTriggerNames as y,knownEventNames as b,knownTriggerNames as x,knownTypeNames as S,mergeSymbols as C,scanDocument as w,symbolsForBuffer as T}from"./symbols.js";import{responseCompletions as E}from"./response-completions.js";import{exampleCompletions as D,exampleHover as O}from"./example-authoring.js";import{analyzeOperations as k,operationAvailability as A,operationCompletions as j,operationDetails as M,operationHover as N,operationReferenceAt as P,phaseState as F}from"./operation-authoring.js";import{analyzeEventSources as I,eventSourceAvailability as L,eventSourceCompletions as R,eventSourceDetails as ge,eventSourceHover as _e,eventSourceIdentifier as z,eventSourceReferenceAt as B}from"./event-source-authoring.js";import{structureCompletion as ve}from"./structure-completions.js";import{getSubLanguage as V,getSubLanguages as H,onSubLanguagesChanged as ye,registerSubLanguage as U}from"./sub-language-registry.js";import{completionEntriesFor as be,planCompletions as xe}from"./completion-planner.js";import{createCompletionProvider as Se}from"./completions.js";import{createInlineCompletionProvider as Ce}from"./inline-completions.js";import{responseTokenTypes as W,responseTokens as G}from"./response-tokens.js";import{reactionReferenceAt as K}from"./reaction-authoring.js";import{attributeDocs as we,contextVariableDocs as Te,keywordDocs as Ee,specificationKeywordDocs as De}from"./keyword-docs.js";import{hoverContent as Oe}from"./hover-content.js";import{createHoverProvider as ke}from"./hover.js";import{destinationHints as Ae,productionDestinations as je}from"./production-destinations.js";import{createInlayHintsProvider as Me}from"./inlay-hints.js";import{createCodeActionProvider as q}from"./code-actions.js";import{diagnosticCodes as J}from"./diagnostic-codes.js";import{fileImportOn as Ne,fileImports as Pe,importablePaths as Fe,isFileImportLine as Ie}from"./file-imports.js";import{validateLines as Le}from"./validation.js";import{attachDiagnostics as Re}from"./diagnostics.js";import{pdl as Y}from"./sub-languages/pdl.js";import{cdl as X}from"./sub-languages/cdl.js";import{screenplayDark as ze,screenplayDarkThemeName as Z}from"./themes/screenplay-dark.js";import{screenplayLight as Be,screenplayLightThemeName as Q}from"./themes/screenplay-light.js";const $=/* @__PURE__ */ new Set;function applyTokensProvider(e){e.languages.setMonarchTokensProvider(l,f(H()))}ye(()=>$.forEach(applyTokensProvider));function ensureBuiltInSubLanguages(){V(`projection`)||U(`projection`,Y),V(`capture`)||U(`capture`,X)}function register(e,t={}){$.has(e)||(ensureBuiltInSubLanguages(),$.add(e),e.languages.register(c),e.languages.setLanguageConfiguration(l,s),applyTokensProvider(e),e.languages.registerCompletionItemProvider(l,Se(e,t)),e.languages.registerInlineCompletionsProvider(l,Ce(t)),e.languages.registerHoverProvider(l,ke(t)),e.languages.registerDefinitionProvider(l,{provideDefinition(n,r){let i=n.getWordAtPosition(r);if(!i)return[];let a=t.application?.(n),o=B(n.getLinesContent(),r.lineNumber-1,i.startColumn,i.endColumn,a),s=K(n.getLinesContent(),r.lineNumber-1,i.startColumn,i.endColumn,a),c=s?s.target:o?.target;if(!c)return[];let l=a?.authoringPath??`current.play`,u=c.location.path===l?n.getValue():a?.authoringDocuments?.find(e=>e.path===c.location.path)?.source,d=s?s.target?.location:u&&z(c.location,c.name,u);if(!d)return[];let f=c.location.path&&n.uri.path.endsWith(`/${l}`)?n.uri.with({path:n.uri.path.slice(0,-l.length)+c.location.path}):void 0,p=f?e.editor.getModels().filter(e=>e.uri.toString()===f.toString()):[],m=c.location.path===l?n:p.length===1?p[0]:void 0;return m?[{uri:m.uri,range:new e.Range(d.line,d.column,d.line,d.column+c.name.length)}]:[]}}),e.languages.registerDocumentSemanticTokensProvider(l,{getLegend:()=>({tokenTypes:[...W],tokenModifiers:[]}),provideDocumentSemanticTokens(e){let n=[],r=0,i=0;for(let a of G(e.getLinesContent(),t.application?.(e)))n.push(a.line-r,a.line===r?a.column-i:a.column,a.length,a.type,0),r=a.line,i=a.column;return{data:new Uint32Array(n)}},releaseDocumentSemanticTokens(){}}),e.languages.registerInlayHintsProvider(l,Me(t)),e.languages.registerCodeActionProvider(l,q()),e.editor.defineTheme(Z,ze),e.editor.defineTheme(Q,Be),Re(e,t))}export{I as analyzeEventSources,k as analyzeOperations,we as attributeDocs,e as blockHeaderPattern,y as builtInTriggerNames,t as causedByProperties,X as cdl,n as clauseKeywords,r as codeBlockTags,be as completionEntriesFor,i as conceptAttributes,a as constructKeywords,o as contextRoots,Te as contextVariableDocs,ue as contextVariableEntries,de as contextVariableItems,q as createCodeActionProvider,Ae as destinationHints,J as diagnosticCodes,ee as enclosingChain,ensureBuiltInSubLanguages,oe as eventContextMemberAt,se as eventContextMembers,ce as eventContextMembersAfter,ae as eventContextPaths,L as eventSourceAvailability,R as eventSourceCompletions,ge as eventSourceDetails,_e as eventSourceHover,z as eventSourceIdentifier,B as eventSourceReferenceAt,D as exampleCompletions,O as exampleHover,te as fenceMap,Ne as fileImportOn,Pe as fileImports,h as fileReferenceKeyword,g as fileReferenceOn,_ as fileReferences,ne as firstWord,V as getSubLanguage,H as getSubLanguages,Oe as hoverContent,Fe as importablePaths,re as indentOf,v as isAbsoluteFileReferencePath,Ie as isFileImportLine,Ee as keywordDocs,b as knownEventNames,x as knownTriggerNames,S as knownTypeNames,l as languageId,C as mergeSymbols,le as namesEventContextMember,A as operationAvailability,j as operationCompletions,M as operationDetails,N as operationHover,P as operationReferenceAt,Y as pdl,F as phaseState,xe as planCompletions,u as primitiveTypes,fe as producesItems,je as productionDestinations,K as reactionReferenceAt,register,U as registerSubLanguage,me as responseAnalysis,he as responseAvailability,E as responseCompletions,W as responseTokenTypes,G as responseTokens,w as scanDocument,Z as screenplayDarkThemeName,Q as screenplayLightThemeName,d as sliceTypes,De as specificationKeywordDocs,pe as specificationStepItems,ve as structureCompletion,T as symbolsForBuffer,p as typeReferenceSymbol,m as typeReferenceText,Le as validateLines,ie as withoutComment};
+import"./_virtual/_virtual/_rolldown/runtime.js";import{blockHeaderPattern as e,causedByProperties as t,clauseKeywords as n,codeBlockTags as r,conceptAttributes as i,constructKeywords as a,contextRoots as o,languageConfiguration as s,languageExtensionPoint as c,languageId as l,primitiveTypes as u,sliceTypes as d}from"./language.js";import{createTokensProvider as f}from"./tokens.js";import{typeReferenceSymbol as p,typeReferenceText as m}from"./TypeReferenceSymbol.js";import{enclosingChain as ee,fenceMap as te,firstWord as ne,indentOf as re,withoutComment as ie}from"./document-context.js";import{eventContextPaths as ae}from"./event-context-catalog.js";import{eventContextMemberAt as oe,eventContextMembers as se,eventContextMembersAfter as ce,namesEventContextMember as le}from"./event-context.js";import{contextVariableEntries as ue,contextVariableItems as de,producesItems as fe,specificationStepItems as pe}from"./completion-items.js";import{responseAnalysis as me,responseAvailability as he}from"./response-analysis.js";import{fileReferenceKeyword as h,fileReferenceOn as g,fileReferences as _,isAbsoluteFileReferencePath as v}from"./file-references.js";import{builtInTriggerNames as y,knownEventNames as b,knownTriggerNames as x,knownTypeNames as S,mergeSymbols as C,scanDocument as w,symbolsForBuffer as T}from"./symbols.js";import{responseCompletions as E}from"./response-completions.js";import{exampleCompletions as D,exampleHover as O}from"./example-authoring.js";import{analyzeOperations as k,operationAvailability as A,operationCompletions as j,operationDetails as M,operationHover as N,operationReferenceAt as P,phaseState as F}from"./operation-authoring.js";import{analyzeEventSources as I,eventSourceAvailability as L,eventSourceCompletions as R,eventSourceDetails as ge,eventSourceHover as _e,eventSourceIdentifier as z,eventSourceReferenceAt as B}from"./event-source-authoring.js";import{structureCompletion as ve}from"./structure-completions.js";import{getSubLanguage as V,getSubLanguages as H,onSubLanguagesChanged as ye,registerSubLanguage as U}from"./sub-language-registry.js";import{completionEntriesFor as be,planCompletions as xe}from"./completion-planner.js";import{createCompletionProvider as Se}from"./completions.js";import{createInlineCompletionProvider as Ce}from"./inline-completions.js";import{responseTokenTypes as W,responseTokens as G}from"./response-tokens.js";import{reactionReferenceAt as K}from"./reaction-authoring.js";import{attributeDocs as we,contextVariableDocs as Te,keywordDocs as Ee,specificationKeywordDocs as De}from"./keyword-docs.js";import{hoverContent as Oe}from"./hover-content.js";import{createHoverProvider as ke}from"./hover.js";import{destinationHints as Ae,productionDestinations as je}from"./production-destinations.js";import{createInlayHintsProvider as Me}from"./inlay-hints.js";import{createCodeActionProvider as q}from"./code-actions.js";import{diagnosticCodes as Ne}from"./diagnostic-codes.js";import{fileImportOn as Pe,fileImports as Fe,importablePaths as Ie,isFileImportLine as J}from"./file-imports.js";import{validateLines as Le}from"./validation.js";import{attachDiagnostics as Re}from"./diagnostics.js";import{pdl as Y}from"./sub-languages/pdl.js";import{cdl as X}from"./sub-languages/cdl.js";import{screenplayDark as ze,screenplayDarkThemeName as Z}from"./themes/screenplay-dark.js";import{screenplayLight as Be,screenplayLightThemeName as Q}from"./themes/screenplay-light.js";import{declarationHeaders as Ve}from"./declarations.js";const $=/* @__PURE__ */ new Set;function applyTokensProvider(e){e.languages.setMonarchTokensProvider(l,f(H()))}ye(()=>$.forEach(applyTokensProvider));function ensureBuiltInSubLanguages(){V(`projection`)||U(`projection`,Y),V(`capture`)||U(`capture`,X)}function register(e,t={}){$.has(e)||(ensureBuiltInSubLanguages(),$.add(e),e.languages.register(c),e.languages.setLanguageConfiguration(l,s),applyTokensProvider(e),e.languages.registerCompletionItemProvider(l,Se(e,t)),e.languages.registerInlineCompletionsProvider(l,Ce(t)),e.languages.registerHoverProvider(l,ke(t)),e.languages.registerDefinitionProvider(l,{provideDefinition(n,r){let i=n.getWordAtPosition(r);if(!i)return[];let a=t.application?.(n),o=B(n.getLinesContent(),r.lineNumber-1,i.startColumn,i.endColumn,a),s=K(n.getLinesContent(),r.lineNumber-1,i.startColumn,i.endColumn,a),c=s?s.target:o?.target;if(!c)return[];let l=a?.authoringPath??`current.play`,u=c.location.path===l?n.getValue():a?.authoringDocuments?.find(e=>e.path===c.location.path)?.source,d=s?s.target?.location:u&&z(c.location,c.name,u);if(!d)return[];let f=c.location.path&&n.uri.path.endsWith(`/${l}`)?n.uri.with({path:n.uri.path.slice(0,-l.length)+c.location.path}):void 0,p=f?e.editor.getModels().filter(e=>e.uri.toString()===f.toString()):[],m=c.location.path===l?n:p.length===1?p[0]:void 0;return m?[{uri:m.uri,range:new e.Range(d.line,d.column,d.line,d.column+c.name.length)}]:[]}}),e.languages.registerDocumentSemanticTokensProvider(l,{getLegend:()=>({tokenTypes:[...W],tokenModifiers:[]}),provideDocumentSemanticTokens(e){let n=[],r=0,i=0;for(let a of G(e.getLinesContent(),t.application?.(e)))n.push(a.line-r,a.line===r?a.column-i:a.column,a.length,a.type,0),r=a.line,i=a.column;return{data:new Uint32Array(n)}},releaseDocumentSemanticTokens(){}}),e.languages.registerInlayHintsProvider(l,Me(t)),e.languages.registerCodeActionProvider(l,q()),e.editor.defineTheme(Z,ze),e.editor.defineTheme(Q,Be),Re(e,t))}export{I as analyzeEventSources,k as analyzeOperations,we as attributeDocs,e as blockHeaderPattern,y as builtInTriggerNames,t as causedByProperties,X as cdl,n as clauseKeywords,r as codeBlockTags,be as completionEntriesFor,i as conceptAttributes,a as constructKeywords,o as contextRoots,Te as contextVariableDocs,ue as contextVariableEntries,de as contextVariableItems,q as createCodeActionProvider,Ve as declarationHeaders,Ae as destinationHints,Ne as diagnosticCodes,ee as enclosingChain,ensureBuiltInSubLanguages,oe as eventContextMemberAt,se as eventContextMembers,ce as eventContextMembersAfter,ae as eventContextPaths,L as eventSourceAvailability,R as eventSourceCompletions,ge as eventSourceDetails,_e as eventSourceHover,z as eventSourceIdentifier,B as eventSourceReferenceAt,D as exampleCompletions,O as exampleHover,te as fenceMap,Pe as fileImportOn,Fe as fileImports,h as fileReferenceKeyword,g as fileReferenceOn,_ as fileReferences,ne as firstWord,V as getSubLanguage,H as getSubLanguages,Oe as hoverContent,Ie as importablePaths,re as indentOf,v as isAbsoluteFileReferencePath,J as isFileImportLine,Ee as keywordDocs,b as knownEventNames,x as knownTriggerNames,S as knownTypeNames,l as languageId,C as mergeSymbols,le as namesEventContextMember,A as operationAvailability,j as operationCompletions,M as operationDetails,N as operationHover,P as operationReferenceAt,Y as pdl,F as phaseState,xe as planCompletions,u as primitiveTypes,fe as producesItems,je as productionDestinations,K as reactionReferenceAt,register,U as registerSubLanguage,me as responseAnalysis,he as responseAvailability,E as responseCompletions,W as responseTokenTypes,G as responseTokens,w as scanDocument,Z as screenplayDarkThemeName,Q as screenplayLightThemeName,d as sliceTypes,De as specificationKeywordDocs,pe as specificationStepItems,ve as structureCompletion,T as symbolsForBuffer,p as typeReferenceSymbol,m as typeReferenceText,Le as validateLines,ie as withoutComment};
 //# sourceMappingURL=index.js.map

package/dist/bundles/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","names":["registeredInstances","monaco","languageId","createTokensProvider","getSubLanguages","onSubLanguagesChanged","getSubLanguage","registerSubLanguage","pdl","cdl","languageExtensionPoint","languageConfiguration","createCompletionProvider","options","createInlineCompletionProvider","createHoverProvider","word","model","position","symbols","reference","eventSourceReferenceAt","reaction","reactionReferenceAt","target","current","source","document","location","eventSourceIdentifier","targetUri","targetModels","candidate","targetModel","responseTokenTypes","data","previousLine","previousColumn","token","responseTokens","createInlayHintsProvider","createCodeActionProvider","screenplayDarkThemeName","screenplayDark","screenplayLightThemeName","screenplayLight","attachDiagnostics","analyzeEventSources","analyzeOperations","attributeDocs","blockHeaderPattern","builtInTriggerNames","causedByProperties","clauseKeywords","codeBlockTags","completionEntriesFor","conceptAttributes","constructKeywords","contextRoots","contextVariableDocs","contextVariableEntries","contextVariableItems","destinationHints","diagnosticCodes","enclosingChain","eventContextMemberAt","eventContextMembers","eventContextMembersAfter","eventContextPaths","eventSourceAvailability","eventSourceCompletions","eventSourceDetails","eventSourceHover","exampleCompletions","exampleHover","fenceMap","fileImportOn","fileImports","fileReferenceKeyword","fileReferenceOn","fileReferences","firstWord","hoverContent","importablePaths","indentOf","isAbsoluteFileReferencePath","isFileImportLine","keywordDocs","knownEventNames","knownTriggerNames","knownTypeNames","mergeSymbols","namesEventContextMember","operationAvailability","operationCompletions","operationDetails","operationHover","operationReferenceAt","phaseState","planCompletions","primitiveTypes","producesItems","productionDestinations","responseAnalysis","responseAvailability","responseCompletions","scanDocument","sliceTypes","specificationKeywordDocs","specificationStepItems","structureCompletion","symbolsForBuffer","typeReferenceSymbol","typeReferenceText","validateLines","withoutComment"],"sources":["../../index.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport {\n    Monaco,\n    languageConfiguration,\n    languageExtensionPoint,\n    languageId,\n} from './language';\nimport { createTokensProvider } from './tokens';\nimport { CompletionOptions, createCompletionProvider } from './completions';\nimport { createInlineCompletionProvider } from './inline-completions';\nimport { responseTokens, responseTokenTypes } from './response-tokens';\nimport { reactionReferenceAt } from './reaction-authoring';\nimport { createHoverProvider } from './hover';\nimport { createInlayHintsProvider } from './inlay-hints';\nimport { eventSourceIdentifier, eventSourceReferenceAt } from './event-source-authoring';\nimport { createCodeActionProvider } from './code-actions';\nimport { attachDiagnostics } from './diagnostics';\nimport {\n    getSubLanguage,\n    getSubLanguages,\n    onSubLanguagesChanged,\n    registerSubLanguage,\n} from './sub-language-registry';\nimport { pdl } from './sub-languages/pdl';\nimport { cdl } from './sub-languages/cdl';\nimport { screenplayDark, screenplayDarkThemeName } from './themes/screenplay-dark';\nimport { screenplayLight, screenplayLightThemeName } from './themes/screenplay-light';\n\nconst registeredInstances = new Set<Monaco>();\n\nfunction applyTokensProvider(monaco: Monaco): void {\n    monaco.languages.setMonarchTokensProvider(languageId, createTokensProvider(getSubLanguages()));\n}\n\n// Sub-languages registered after register() recompose the tokenizer on the fly.\nonSubLanguagesChanged(() => registeredInstances.forEach(applyTokensProvider));\n\n// Registers the built-in PDL and CDL sub-languages. Hosts that do not go through\n// register() — such as the VSCode extension — call this before using the registry.\nexport function ensureBuiltInSubLanguages(): void {\n    if (!getSubLanguage('projection')) registerSubLanguage('projection', pdl);\n    if (!getSubLanguage('capture')) registerSubLanguage('capture', cdl);\n}\n\n// What a host can tell the language service beyond the models it holds.\nexport type LanguageServiceOptions = CompletionOptions;\n\nexport function register(monaco: Monaco, options: LanguageServiceOptions = {}): void {\n    if (registeredInstances.has(monaco)) return;\n\n    ensureBuiltInSubLanguages();\n\n    registeredInstances.add(monaco);\n\n    monaco.languages.register(languageExtensionPoint);\n    monaco.languages.setLanguageConfiguration(languageId, languageConfiguration);\n    applyTokensProvider(monaco);\n    monaco.languages.registerCompletionItemProvider(languageId, createCompletionProvider(monaco, options));\n    monaco.languages.registerInlineCompletionsProvider(languageId, createInlineCompletionProvider(options));\n    monaco.languages.registerHoverProvider(languageId, createHoverProvider(options));\n    monaco.languages.registerDefinitionProvider(languageId, {\n        provideDefinition(model, position) {\n            const word = model.getWordAtPosition(position);\n            if (!word) return [];\n            const symbols = options.application?.(model);\n            const reference = eventSourceReferenceAt(model.getLinesContent(), position.lineNumber - 1, word.startColumn, word.endColumn, symbols);\n            const reaction = reactionReferenceAt(model.getLinesContent(), position.lineNumber - 1, word.startColumn, word.endColumn, symbols);\n            const target = reaction ? reaction.target : reference?.target;\n            if (!target) return [];\n            const current = symbols?.authoringPath ?? 'current.play';\n            const source = target.location.path === current ? model.getValue() : symbols?.authoringDocuments?.find(document => document.path === target.location.path)?.source;\n            const location = reaction ? reaction.target?.location : source && eventSourceIdentifier(target.location, target.name, source);\n            if (!location) return [];\n            // Foreign navigation requires an actual host model, not a guessed path or merged line.\n            const targetUri = target.location.path && model.uri.path.endsWith(`/${current}`)\n                ? model.uri.with({ path: model.uri.path.slice(0, -current.length) + target.location.path }) : undefined;\n            const targetModels = targetUri ? monaco.editor.getModels().filter(candidate => candidate.uri.toString() === targetUri.toString()) : [];\n            const targetModel = target.location.path === current ? model : targetModels.length === 1 ? targetModels[0] : undefined;\n            return targetModel ? [{ uri: targetModel.uri, range: new monaco.Range(location.line, location.column, location.line, location.column + target.name.length) }] : [];\n        }\n    });\n    monaco.languages.registerDocumentSemanticTokensProvider(languageId, {\n        getLegend: () => ({ tokenTypes: [...responseTokenTypes], tokenModifiers: [] }),\n        provideDocumentSemanticTokens(model) {\n            const data: number[] = [];\n            let previousLine = 0;\n            let previousColumn = 0;\n            for (const token of responseTokens(model.getLinesContent(), options.application?.(model))) {\n                data.push(token.line - previousLine, token.line === previousLine ? token.column - previousColumn : token.column, token.length, token.type, 0);\n                previousLine = token.line;\n                previousColumn = token.column;\n            }\n            return { data: new Uint32Array(data) };\n        },\n        releaseDocumentSemanticTokens() {},\n    });\n    monaco.languages.registerInlayHintsProvider(languageId, createInlayHintsProvider(options));\n    monaco.languages.registerCodeActionProvider(languageId, createCodeActionProvider());\n    monaco.editor.defineTheme(screenplayDarkThemeName, screenplayDark);\n    monaco.editor.defineTheme(screenplayLightThemeName, screenplayLight);\n    attachDiagnostics(monaco, options);\n}\n\nexport { reactionReferenceAt } from './reaction-authoring';\n\nexport {\n    causedByProperties,\n    clauseKeywords,\n    codeBlockTags,\n    conceptAttributes,\n    constructKeywords,\n    contextRoots,\n    languageId,\n    primitiveTypes,\n    sliceTypes,\n} from './language';\nexport type { Monaco } from './language';\nexport { getSubLanguage, getSubLanguages, registerSubLanguage } from './sub-language-registry';\nexport type {\n    MonarchTokenRules,\n    SubLanguage,\n    SubLanguageCompletion,\n    SubLanguageDefinition,\n} from './sub-language-registry';\nexport { pdl } from './sub-languages/pdl';\nexport { cdl } from './sub-languages/cdl';\nexport { screenplayDarkThemeName } from './themes/screenplay-dark';\nexport { screenplayLightThemeName } from './themes/screenplay-light';\nexport { enclosingChain, fenceMap, firstWord, indentOf, withoutComment } from './document-context';\nexport { exampleCompletions, exampleHover } from './example-authoring';\nexport {\n    fileReferenceKeyword,\n    fileReferenceOn,\n    fileReferences,\n    isAbsoluteFileReferencePath,\n} from './file-references';\nexport type { FileReference } from './file-references';\nexport { fileImportOn, fileImports, importablePaths, isFileImportLine } from './file-imports';\nexport type { FileImport } from './file-imports';\nexport type { CompletionOptions } from './completions';\nexport { builtInTriggerNames, knownEventNames, knownTriggerNames, knownTypeNames, mergeSymbols, scanDocument, symbolsForBuffer } from './symbols';\nexport type {\n    CommandSymbol,\n    ConceptSymbol,\n    DocumentSymbols,\n    EventSymbol,\n    ImportSymbol,\n    NamedSymbol,\n    PolicySymbol,\n    PropertySymbol,\n    ReadSymbol,\n    QuerySymbol,\n    TypeSymbol,\n} from './symbols';\nexport { attributeDocs, contextVariableDocs, keywordDocs, specificationKeywordDocs } from './keyword-docs';\nexport { eventContextMemberAt, eventContextMembers, eventContextMembersAfter, eventContextPaths, namesEventContextMember } from './event-context';\nexport type { EventContextMember, EventContextPath } from './event-context';\nexport { contextVariableEntries, contextVariableItems, producesItems, specificationStepItems } from './completion-items';\nexport type { CompletionEntry } from './completion-items';\nexport { completionEntriesFor, planCompletions } from './completion-planner';\nexport type { CompletionPlan } from './completion-planner';\nexport { responseTokens, responseTokenTypes } from './response-tokens';\nexport { responseCompletions } from './response-completions';\nexport { structureCompletion } from './structure-completions';\nexport { blockHeaderPattern } from './language';\nexport type { StructureCompletion } from './structure-completions';\nexport { analyzeEventSources, eventSourceAvailability, eventSourceCompletions, eventSourceDetails, eventSourceHover, eventSourceIdentifier, eventSourceReferenceAt } from './event-source-authoring';\nexport type { EventSourceAnalysis } from './EventSourceAnalysis';\nexport type { AuthoredEventSource } from './AuthoredEventSource';\nexport type { AuthoredStream } from './AuthoredStream';\nexport type { AuthoredCommandRoute } from './AuthoredCommandRoute';\nexport type { AuthoredSpecificationEvent } from './AuthoredSpecificationEvent';\nexport { analyzeOperations, operationCompletions, operationDetails, operationAvailability, operationHover, operationReferenceAt, phaseState } from './operation-authoring';\nexport type { OperationAnalysis, OperationDeclaration, OperationInput, OperationPhase, OperationReference, SystemDeclaration } from './OperationAnalysis';\nexport { responseAvailability, responseAnalysis } from './response-analysis';\nexport { hoverContent } from './hover-content';\nexport { validateLines } from './validation';\nexport { destinationHints, productionDestinations } from './production-destinations';\nexport type { DestinationHint } from './DestinationHint';\nexport type { ProductionSymbol } from './ProductionSymbol';\nexport type { ValidationContext, ValidationIssue, ValidationSeverity } from './validation';\nexport { createCodeActionProvider } from './code-actions';\nexport { typeReferenceSymbol, typeReferenceText } from './TypeReferenceSymbol';\nexport type { TypeReferenceSymbol } from './TypeReferenceSymbol';\nexport { diagnosticCodes } from './diagnostic-codes';\nexport type { DiagnosticCode } from './diagnostic-codes';\n"],"mappings":"83GA8BA,MAAMA,kBAAsB,IAAI,IAEhC,SAAS,oBAAoB,EAAsB,CAC/CC,EAAO,UAAU,yBAAyBC,EAAYC,EAAqBC,EAAgB,CAAC,CAAC,CACjG,CAGAC,OAA4BL,EAAoB,QAAQ,mBAAmB,CAAC,EAI5E,SAAgB,2BAAkC,CACzCM,EAAe,YAAY,GAAGC,EAAoB,aAAcC,CAAG,EACnEF,EAAe,SAAS,GAAGC,EAAoB,UAAWE,CAAG,CACtE,CAKA,SAAgB,SAAS,EAAgB,EAAkC,CAAC,EAAS,CAC7ET,EAAoB,IAAIC,CAAM,IAElC,0BAA0B,EAE1BD,EAAoB,IAAIC,CAAM,EAE9BA,EAAO,UAAU,SAASS,CAAsB,EAChDT,EAAO,UAAU,yBAAyBC,EAAYS,CAAqB,EAC3E,oBAAoBV,CAAM,EAC1BA,EAAO,UAAU,+BAA+BC,EAAYU,GAAyBX,EAAQY,CAAO,CAAC,EACrGZ,EAAO,UAAU,kCAAkCC,EAAYY,GAA+BD,CAAO,CAAC,EACtGZ,EAAO,UAAU,sBAAsBC,EAAYa,GAAoBF,CAAO,CAAC,EAC/EZ,EAAO,UAAU,2BAA2BC,EAAY,CACpD,kBAAkB,EAAO,EAAU,CAC/B,IAAMc,EAAOC,EAAM,kBAAkBC,CAAQ,EAC7C,GAAI,CAACF,EAAM,MAAO,CAAC,EACnB,IAAMG,EAAUN,EAAQ,cAAcI,CAAK,EACrCG,EAAYC,EAAuBJ,EAAM,gBAAgB,EAAGC,EAAS,WAAa,EAAGF,EAAK,YAAaA,EAAK,UAAWG,CAAO,EAC9HG,EAAWC,EAAoBN,EAAM,gBAAgB,EAAGC,EAAS,WAAa,EAAGF,EAAK,YAAaA,EAAK,UAAWG,CAAO,EAC1HK,EAASF,EAAWA,EAAS,OAASF,GAAW,OACvD,GAAI,CAACI,EAAQ,MAAO,CAAC,EACrB,IAAMC,EAAUN,GAAS,eAAiB,eACpCO,EAASF,EAAO,SAAS,OAASC,EAAUR,EAAM,SAAS,EAAIE,GAAS,oBAAoB,KAAK,GAAYQ,EAAS,OAASH,EAAO,SAAS,IAAI,CAAC,EAAE,OACtJI,EAAWN,EAAWA,EAAS,QAAQ,SAAWI,GAAUG,EAAsBL,EAAO,SAAUA,EAAO,KAAME,CAAM,EAC5H,GAAI,CAACE,EAAU,MAAO,CAAC,EAEvB,IAAME,EAAYN,EAAO,SAAS,MAAQP,EAAM,IAAI,KAAK,SAAS,IAAIQ,GAAS,EACzER,EAAM,IAAI,KAAK,CAAE,KAAMA,EAAM,IAAI,KAAK,MAAM,EAAG,CAACQ,EAAQ,MAAM,EAAID,EAAO,SAAS,IAAK,CAAC,EAAI,IAAA,GAC5FO,EAAeD,EAAY7B,EAAO,OAAO,UAAU,CAAC,CAAC,OAAO,GAAa+B,EAAU,IAAI,SAAS,IAAMF,EAAU,SAAS,CAAC,EAAI,CAAC,EAC/HG,EAAcT,EAAO,SAAS,OAASC,EAAUR,EAAQc,EAAa,SAAW,EAAIA,EAAa,GAAK,IAAA,GAC7G,OAAOE,EAAc,CAAC,CAAE,IAAKA,EAAY,IAAK,MAAO,IAAIhC,EAAO,MAAM2B,EAAS,KAAMA,EAAS,OAAQA,EAAS,KAAMA,EAAS,OAASJ,EAAO,KAAK,MAAM,CAAE,CAAC,EAAI,CAAC,CACrK,CACJ,CAAC,EACDvB,EAAO,UAAU,uCAAuCC,EAAY,CAChE,eAAkB,CAAE,WAAY,CAAC,GAAGgC,CAAkB,EAAG,eAAgB,CAAC,CAAE,GAC5E,8BAA8B,EAAO,CACjC,IAAMC,EAAiB,CAAC,EACpBC,EAAe,EACfC,EAAiB,EACrB,IAAK,IAAMC,KAASC,EAAetB,EAAM,gBAAgB,EAAGJ,EAAQ,cAAcI,CAAK,CAAC,EACpFkB,EAAK,KAAKG,EAAM,KAAOF,EAAcE,EAAM,OAASF,EAAeE,EAAM,OAASD,EAAiBC,EAAM,OAAQA,EAAM,OAAQA,EAAM,KAAM,CAAC,EAC5I,EAAeA,EAAM,KACrB,EAAiBA,EAAM,OAE3B,MAAO,CAAE,KAAM,IAAI,YAAYH,CAAI,CAAE,CACzC,EACA,+BAAgC,CAAC,CACrC,CAAC,EACDlC,EAAO,UAAU,2BAA2BC,EAAYsC,GAAyB3B,CAAO,CAAC,EACzFZ,EAAO,UAAU,2BAA2BC,EAAYuC,EAAyB,CAAC,EAClFxC,EAAO,OAAO,YAAYyC,EAAyBC,EAAc,EACjE1C,EAAO,OAAO,YAAY2C,EAA0BC,EAAe,EACnEC,GAAkB7C,EAAQY,CAAO,EACrC"}
+{"version":3,"file":"index.js","names":["registeredInstances","monaco","languageId","createTokensProvider","getSubLanguages","onSubLanguagesChanged","getSubLanguage","registerSubLanguage","pdl","cdl","languageExtensionPoint","languageConfiguration","createCompletionProvider","options","createInlineCompletionProvider","createHoverProvider","word","model","position","symbols","reference","eventSourceReferenceAt","reaction","reactionReferenceAt","target","current","source","document","location","eventSourceIdentifier","targetUri","targetModels","candidate","targetModel","responseTokenTypes","data","previousLine","previousColumn","token","responseTokens","createInlayHintsProvider","createCodeActionProvider","screenplayDarkThemeName","screenplayDark","screenplayLightThemeName","screenplayLight","attachDiagnostics","analyzeEventSources","analyzeOperations","attributeDocs","blockHeaderPattern","builtInTriggerNames","causedByProperties","clauseKeywords","codeBlockTags","completionEntriesFor","conceptAttributes","constructKeywords","contextRoots","contextVariableDocs","contextVariableEntries","contextVariableItems","declarationHeaders","destinationHints","diagnosticCodes","enclosingChain","eventContextMemberAt","eventContextMembers","eventContextMembersAfter","eventContextPaths","eventSourceAvailability","eventSourceCompletions","eventSourceDetails","eventSourceHover","exampleCompletions","exampleHover","fenceMap","fileImportOn","fileImports","fileReferenceKeyword","fileReferenceOn","fileReferences","firstWord","hoverContent","importablePaths","indentOf","isAbsoluteFileReferencePath","isFileImportLine","keywordDocs","knownEventNames","knownTriggerNames","knownTypeNames","mergeSymbols","namesEventContextMember","operationAvailability","operationCompletions","operationDetails","operationHover","operationReferenceAt","phaseState","planCompletions","primitiveTypes","producesItems","productionDestinations","responseAnalysis","responseAvailability","responseCompletions","scanDocument","sliceTypes","specificationKeywordDocs","specificationStepItems","structureCompletion","symbolsForBuffer","typeReferenceSymbol","typeReferenceText","validateLines","withoutComment"],"sources":["../../index.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport {\n    Monaco,\n    languageConfiguration,\n    languageExtensionPoint,\n    languageId,\n} from './language';\nimport { createTokensProvider } from './tokens';\nimport { CompletionOptions, createCompletionProvider } from './completions';\nimport { createInlineCompletionProvider } from './inline-completions';\nimport { responseTokens, responseTokenTypes } from './response-tokens';\nimport { reactionReferenceAt } from './reaction-authoring';\nimport { createHoverProvider } from './hover';\nimport { createInlayHintsProvider } from './inlay-hints';\nimport { eventSourceIdentifier, eventSourceReferenceAt } from './event-source-authoring';\nimport { createCodeActionProvider } from './code-actions';\nimport { attachDiagnostics } from './diagnostics';\nimport {\n    getSubLanguage,\n    getSubLanguages,\n    onSubLanguagesChanged,\n    registerSubLanguage,\n} from './sub-language-registry';\nimport { pdl } from './sub-languages/pdl';\nimport { cdl } from './sub-languages/cdl';\nimport { screenplayDark, screenplayDarkThemeName } from './themes/screenplay-dark';\nimport { screenplayLight, screenplayLightThemeName } from './themes/screenplay-light';\n\nconst registeredInstances = new Set<Monaco>();\n\nfunction applyTokensProvider(monaco: Monaco): void {\n    monaco.languages.setMonarchTokensProvider(languageId, createTokensProvider(getSubLanguages()));\n}\n\n// Sub-languages registered after register() recompose the tokenizer on the fly.\nonSubLanguagesChanged(() => registeredInstances.forEach(applyTokensProvider));\n\n// Registers the built-in PDL and CDL sub-languages. Hosts that do not go through\n// register() — such as the VSCode extension — call this before using the registry.\nexport function ensureBuiltInSubLanguages(): void {\n    if (!getSubLanguage('projection')) registerSubLanguage('projection', pdl);\n    if (!getSubLanguage('capture')) registerSubLanguage('capture', cdl);\n}\n\n// What a host can tell the language service beyond the models it holds.\nexport type LanguageServiceOptions = CompletionOptions;\n\nexport function register(monaco: Monaco, options: LanguageServiceOptions = {}): void {\n    if (registeredInstances.has(monaco)) return;\n\n    ensureBuiltInSubLanguages();\n\n    registeredInstances.add(monaco);\n\n    monaco.languages.register(languageExtensionPoint);\n    monaco.languages.setLanguageConfiguration(languageId, languageConfiguration);\n    applyTokensProvider(monaco);\n    monaco.languages.registerCompletionItemProvider(languageId, createCompletionProvider(monaco, options));\n    monaco.languages.registerInlineCompletionsProvider(languageId, createInlineCompletionProvider(options));\n    monaco.languages.registerHoverProvider(languageId, createHoverProvider(options));\n    monaco.languages.registerDefinitionProvider(languageId, {\n        provideDefinition(model, position) {\n            const word = model.getWordAtPosition(position);\n            if (!word) return [];\n            const symbols = options.application?.(model);\n            const reference = eventSourceReferenceAt(model.getLinesContent(), position.lineNumber - 1, word.startColumn, word.endColumn, symbols);\n            const reaction = reactionReferenceAt(model.getLinesContent(), position.lineNumber - 1, word.startColumn, word.endColumn, symbols);\n            const target = reaction ? reaction.target : reference?.target;\n            if (!target) return [];\n            const current = symbols?.authoringPath ?? 'current.play';\n            const source = target.location.path === current ? model.getValue() : symbols?.authoringDocuments?.find(document => document.path === target.location.path)?.source;\n            const location = reaction ? reaction.target?.location : source && eventSourceIdentifier(target.location, target.name, source);\n            if (!location) return [];\n            // Foreign navigation requires an actual host model, not a guessed path or merged line.\n            const targetUri = target.location.path && model.uri.path.endsWith(`/${current}`)\n                ? model.uri.with({ path: model.uri.path.slice(0, -current.length) + target.location.path }) : undefined;\n            const targetModels = targetUri ? monaco.editor.getModels().filter(candidate => candidate.uri.toString() === targetUri.toString()) : [];\n            const targetModel = target.location.path === current ? model : targetModels.length === 1 ? targetModels[0] : undefined;\n            return targetModel ? [{ uri: targetModel.uri, range: new monaco.Range(location.line, location.column, location.line, location.column + target.name.length) }] : [];\n        }\n    });\n    monaco.languages.registerDocumentSemanticTokensProvider(languageId, {\n        getLegend: () => ({ tokenTypes: [...responseTokenTypes], tokenModifiers: [] }),\n        provideDocumentSemanticTokens(model) {\n            const data: number[] = [];\n            let previousLine = 0;\n            let previousColumn = 0;\n            for (const token of responseTokens(model.getLinesContent(), options.application?.(model))) {\n                data.push(token.line - previousLine, token.line === previousLine ? token.column - previousColumn : token.column, token.length, token.type, 0);\n                previousLine = token.line;\n                previousColumn = token.column;\n            }\n            return { data: new Uint32Array(data) };\n        },\n        releaseDocumentSemanticTokens() {},\n    });\n    monaco.languages.registerInlayHintsProvider(languageId, createInlayHintsProvider(options));\n    monaco.languages.registerCodeActionProvider(languageId, createCodeActionProvider());\n    monaco.editor.defineTheme(screenplayDarkThemeName, screenplayDark);\n    monaco.editor.defineTheme(screenplayLightThemeName, screenplayLight);\n    attachDiagnostics(monaco, options);\n}\n\nexport { reactionReferenceAt } from './reaction-authoring';\n\nexport {\n    causedByProperties,\n    clauseKeywords,\n    codeBlockTags,\n    conceptAttributes,\n    constructKeywords,\n    contextRoots,\n    languageId,\n    primitiveTypes,\n    sliceTypes,\n} from './language';\nexport type { Monaco } from './language';\nexport { getSubLanguage, getSubLanguages, registerSubLanguage } from './sub-language-registry';\nexport type {\n    MonarchTokenRules,\n    SubLanguage,\n    SubLanguageCompletion,\n    SubLanguageDefinition,\n} from './sub-language-registry';\nexport { pdl } from './sub-languages/pdl';\nexport { cdl } from './sub-languages/cdl';\nexport { screenplayDarkThemeName } from './themes/screenplay-dark';\nexport { screenplayLightThemeName } from './themes/screenplay-light';\nexport { enclosingChain, fenceMap, firstWord, indentOf, withoutComment } from './document-context';\nexport { exampleCompletions, exampleHover } from './example-authoring';\nexport {\n    fileReferenceKeyword,\n    fileReferenceOn,\n    fileReferences,\n    isAbsoluteFileReferencePath,\n} from './file-references';\nexport type { FileReference } from './file-references';\nexport { fileImportOn, fileImports, importablePaths, isFileImportLine } from './file-imports';\nexport type { FileImport } from './file-imports';\nexport type { CompletionOptions } from './completions';\nexport { declarationHeaders, type DeclarationHeader } from './declarations';\nexport { builtInTriggerNames, knownEventNames, knownTriggerNames, knownTypeNames, mergeSymbols, scanDocument, symbolsForBuffer } from './symbols';\nexport type {\n    CommandSymbol,\n    ConceptSymbol,\n    DocumentSymbols,\n    EventSymbol,\n    ImportSymbol,\n    NamedSymbol,\n    PolicySymbol,\n    PropertySymbol,\n    ReadSymbol,\n    QuerySymbol,\n    TypeSymbol,\n} from './symbols';\nexport { attributeDocs, contextVariableDocs, keywordDocs, specificationKeywordDocs } from './keyword-docs';\nexport { eventContextMemberAt, eventContextMembers, eventContextMembersAfter, eventContextPaths, namesEventContextMember } from './event-context';\nexport type { EventContextMember, EventContextPath } from './event-context';\nexport { contextVariableEntries, contextVariableItems, producesItems, specificationStepItems } from './completion-items';\nexport type { CompletionEntry } from './completion-items';\nexport { completionEntriesFor, planCompletions } from './completion-planner';\nexport type { CompletionPlan } from './completion-planner';\nexport { responseTokens, responseTokenTypes } from './response-tokens';\nexport { responseCompletions } from './response-completions';\nexport { structureCompletion } from './structure-completions';\nexport { blockHeaderPattern } from './language';\nexport type { StructureCompletion } from './structure-completions';\nexport { analyzeEventSources, eventSourceAvailability, eventSourceCompletions, eventSourceDetails, eventSourceHover, eventSourceIdentifier, eventSourceReferenceAt } from './event-source-authoring';\nexport type { EventSourceAnalysis } from './EventSourceAnalysis';\nexport type { AuthoredEventSource } from './AuthoredEventSource';\nexport type { AuthoredStream } from './AuthoredStream';\nexport type { AuthoredCommandRoute } from './AuthoredCommandRoute';\nexport type { AuthoredSpecificationEvent } from './AuthoredSpecificationEvent';\nexport { analyzeOperations, operationCompletions, operationDetails, operationAvailability, operationHover, operationReferenceAt, phaseState } from './operation-authoring';\nexport type { OperationAnalysis, OperationDeclaration, OperationInput, OperationPhase, OperationReference, SystemDeclaration } from './OperationAnalysis';\nexport { responseAvailability, responseAnalysis } from './response-analysis';\nexport { hoverContent } from './hover-content';\nexport { validateLines } from './validation';\nexport { destinationHints, productionDestinations } from './production-destinations';\nexport type { DestinationHint } from './DestinationHint';\nexport type { ProductionSymbol } from './ProductionSymbol';\nexport type { ValidationContext, ValidationIssue, ValidationSeverity } from './validation';\nexport { createCodeActionProvider } from './code-actions';\nexport { typeReferenceSymbol, typeReferenceText } from './TypeReferenceSymbol';\nexport type { TypeReferenceSymbol } from './TypeReferenceSymbol';\nexport { diagnosticCodes } from './diagnostic-codes';\nexport type { DiagnosticCode } from './diagnostic-codes';\n"],"mappings":"s7GA8BA,MAAMA,kBAAsB,IAAI,IAEhC,SAAS,oBAAoB,EAAsB,CAC/CC,EAAO,UAAU,yBAAyBC,EAAYC,EAAqBC,EAAgB,CAAC,CAAC,CACjG,CAGAC,OAA4BL,EAAoB,QAAQ,mBAAmB,CAAC,EAI5E,SAAgB,2BAAkC,CACzCM,EAAe,YAAY,GAAGC,EAAoB,aAAcC,CAAG,EACnEF,EAAe,SAAS,GAAGC,EAAoB,UAAWE,CAAG,CACtE,CAKA,SAAgB,SAAS,EAAgB,EAAkC,CAAC,EAAS,CAC7ET,EAAoB,IAAIC,CAAM,IAElC,0BAA0B,EAE1BD,EAAoB,IAAIC,CAAM,EAE9BA,EAAO,UAAU,SAASS,CAAsB,EAChDT,EAAO,UAAU,yBAAyBC,EAAYS,CAAqB,EAC3E,oBAAoBV,CAAM,EAC1BA,EAAO,UAAU,+BAA+BC,EAAYU,GAAyBX,EAAQY,CAAO,CAAC,EACrGZ,EAAO,UAAU,kCAAkCC,EAAYY,GAA+BD,CAAO,CAAC,EACtGZ,EAAO,UAAU,sBAAsBC,EAAYa,GAAoBF,CAAO,CAAC,EAC/EZ,EAAO,UAAU,2BAA2BC,EAAY,CACpD,kBAAkB,EAAO,EAAU,CAC/B,IAAMc,EAAOC,EAAM,kBAAkBC,CAAQ,EAC7C,GAAI,CAACF,EAAM,MAAO,CAAC,EACnB,IAAMG,EAAUN,EAAQ,cAAcI,CAAK,EACrCG,EAAYC,EAAuBJ,EAAM,gBAAgB,EAAGC,EAAS,WAAa,EAAGF,EAAK,YAAaA,EAAK,UAAWG,CAAO,EAC9HG,EAAWC,EAAoBN,EAAM,gBAAgB,EAAGC,EAAS,WAAa,EAAGF,EAAK,YAAaA,EAAK,UAAWG,CAAO,EAC1HK,EAASF,EAAWA,EAAS,OAASF,GAAW,OACvD,GAAI,CAACI,EAAQ,MAAO,CAAC,EACrB,IAAMC,EAAUN,GAAS,eAAiB,eACpCO,EAASF,EAAO,SAAS,OAASC,EAAUR,EAAM,SAAS,EAAIE,GAAS,oBAAoB,KAAK,GAAYQ,EAAS,OAASH,EAAO,SAAS,IAAI,CAAC,EAAE,OACtJI,EAAWN,EAAWA,EAAS,QAAQ,SAAWI,GAAUG,EAAsBL,EAAO,SAAUA,EAAO,KAAME,CAAM,EAC5H,GAAI,CAACE,EAAU,MAAO,CAAC,EAEvB,IAAME,EAAYN,EAAO,SAAS,MAAQP,EAAM,IAAI,KAAK,SAAS,IAAIQ,GAAS,EACzER,EAAM,IAAI,KAAK,CAAE,KAAMA,EAAM,IAAI,KAAK,MAAM,EAAG,CAACQ,EAAQ,MAAM,EAAID,EAAO,SAAS,IAAK,CAAC,EAAI,IAAA,GAC5FO,EAAeD,EAAY7B,EAAO,OAAO,UAAU,CAAC,CAAC,OAAO,GAAa+B,EAAU,IAAI,SAAS,IAAMF,EAAU,SAAS,CAAC,EAAI,CAAC,EAC/HG,EAAcT,EAAO,SAAS,OAASC,EAAUR,EAAQc,EAAa,SAAW,EAAIA,EAAa,GAAK,IAAA,GAC7G,OAAOE,EAAc,CAAC,CAAE,IAAKA,EAAY,IAAK,MAAO,IAAIhC,EAAO,MAAM2B,EAAS,KAAMA,EAAS,OAAQA,EAAS,KAAMA,EAAS,OAASJ,EAAO,KAAK,MAAM,CAAE,CAAC,EAAI,CAAC,CACrK,CACJ,CAAC,EACDvB,EAAO,UAAU,uCAAuCC,EAAY,CAChE,eAAkB,CAAE,WAAY,CAAC,GAAGgC,CAAkB,EAAG,eAAgB,CAAC,CAAE,GAC5E,8BAA8B,EAAO,CACjC,IAAMC,EAAiB,CAAC,EACpBC,EAAe,EACfC,EAAiB,EACrB,IAAK,IAAMC,KAASC,EAAetB,EAAM,gBAAgB,EAAGJ,EAAQ,cAAcI,CAAK,CAAC,EACpFkB,EAAK,KAAKG,EAAM,KAAOF,EAAcE,EAAM,OAASF,EAAeE,EAAM,OAASD,EAAiBC,EAAM,OAAQA,EAAM,OAAQA,EAAM,KAAM,CAAC,EAC5I,EAAeA,EAAM,KACrB,EAAiBA,EAAM,OAE3B,MAAO,CAAE,KAAM,IAAI,YAAYH,CAAI,CAAE,CACzC,EACA,+BAAgC,CAAC,CACrC,CAAC,EACDlC,EAAO,UAAU,2BAA2BC,EAAYsC,GAAyB3B,CAAO,CAAC,EACzFZ,EAAO,UAAU,2BAA2BC,EAAYuC,EAAyB,CAAC,EAClFxC,EAAO,OAAO,YAAYyC,EAAyBC,EAAc,EACjE1C,EAAO,OAAO,YAAY2C,EAA0BC,EAAe,EACnEC,GAAkB7C,EAAQY,CAAO,EACrC"}

package/dist/bundles/validation.js

@@ -1,3 +1,3 @@
-import"./_virtual/_virtual/_rolldown/runtime.js";import{causedByProperties as e,contextRoots as t,identityProperties as n,primitiveTypes as r,sliceTypes as i}from"./language.js";import{DiagnosticCodes as a}from"./compiler/Diagnostics/DiagnosticCodes.js";import{legacyOptionalTypeLength as o}from"./compiler/Authoring/QuickFixes.js";import"./compiler/index.js";import{enclosingChain as s,fenceMap as c,indentOf as l}from"./document-context.js";import{eventAnalysisSource as u}from"./event-analysis-source.js";import{resolveEventContextPath as d}from"./event-context.js";import{responseAnalysis as f}from"./response-analysis.js";import{knownEventNames as p,knownTypeNames as m,mergeSymbols as h,propertyTypeReference as g,scanDocument as _,symbolsForBuffer as v}from"./symbols.js";import{diagnosticCodes as y}from"./diagnostic-codes.js";import{validateInlineEvents as b}from"./inline-event-validation.js";import{fileImportOn as x,isFileImportLine as S}from"./file-imports.js";function issue(e,t,n,r,i,a){return{severity:e,message:i,line:t,startColumn:n,endColumn:n+r,code:a}}function tokenIssue(e,t,n,r,i,a){return issue(e,t,n.indexOf(r)+1,r.length,i,a)}function validateDeclarations(e,t,n){let i=[],a=/* @__PURE__ */ new Set([...m(t,r),...m(n,[])]),checkProperties=(e,t)=>{for(let n of e.filter(e=>!a.has(g(e).name))){let e=g(n).name;i.push(issue(`warning`,n.line,n.sourceType.startColumn,n.sourceType.text.length,e===`optional`?`Unknown type 'optional' on '${n.name}' of ${t} — did you forget the type before 'optional'?`:`Unknown type '${e}' on '${n.name}' of ${t} — declare it with 'concept ${e} : <Primitive>' or 'type ${e}'.`,y.unknownType))}};for(let e of t.types)checkProperties(e.properties,`type '${e.name}'`);for(let e of t.events)checkProperties(e.properties,`event '${e.name}'`);for(let e of t.queries)checkProperties(e.parameters,`query '${e.name}'`);for(let n of t.commands){checkProperties(n.properties,`command '${n.name}'`);let t=n.properties.filter(e=>e.isIdentifier);for(let r of t.slice(1))i.push(tokenIssue(`error`,r.line,e[r.line],`identifier`,`Command '${n.name}' already marks '${t[0].name}' as identifier — only one property can be the identifier.`,y.duplicateCommandIdentifier))}let o=/* @__PURE__ */ new Map;for(let n of[...t.concepts,...t.types])o.get(n.name)===void 0?o.set(n.name,n.line):i.push(tokenIssue(`error`,n.line,e[n.line],n.name,`Duplicate declaration of '${n.name}' — concept and type names must be unique.`,y.duplicateDeclaration));return i}function validateLines(s,u={}){let d=c(s),m=_(s),g=u.application??h(),x=v(s,{...g,authoringPath:u.path??g.authoringPath,authoringPlacement:u.placement??g.authoringPlacement}),S=f(s,x.authoringDocuments??x.authoringSources?.filter(e=>e!==s.join(`
-`)),x.authoringPlacement,x.authoringPath,x.authoringPlacementResolved),C=new Set(S.eventSources.routes.map(e=>e.location.line-1)),w={...m,commands:m.commands.map(e=>({...e,properties:e.properties.filter(e=>!C.has(e.line)),produces:e.produces?.filter(e=>!S.operationProductionLines?.has(e.line)),productionHeaders:e.productionHeaders?.filter(e=>!S.operationProductionLines?.has(e))}))},T=/* @__PURE__ */ new Set([...p(w),...p(g)]),E=new Set([...w.policies,...g.policies].map(e=>e.name)),D=validateDeclarations(s,w,g);D.push(...validateProductionDestinations(s,w));let O=/* @__PURE__ */ new Set([a.UnknownGenerationStrategy,a.InvalidGenerationArgument,a.InvalidGenerationModifier,a.DuplicateGenerationModifier,a.DuplicateGeneration,a.InvalidGenerationPrimitive,a.InvalidGenerationPrefix,a.InvalidGenerationAlphabet,a.InvalidTypeIdPrefix,a.GenerationSizeOutsideRange,a.ReservedSequenceGeneration,a.LowGenerationEntropy,a.LowGeneratedIdentifierEntropy,a.RefutedGeneratedConceptRule,a.UnprovenGeneratedConceptRule,a.GenerationSupportBudgetExceeded,a.EmptyGenerationSupport]),k=/* @__PURE__ */ new Set([a.MixedEnumerationNumbering,a.DuplicateEnumerationNumber,a.EnumerationNumberOutsideInt32,a.MalformedEnumerationNumber,a.UnpinnedStoredEnumeration]),A=/* @__PURE__ */ new Set([a.LegacyOptionalSuffix,a.InvalidOptionalModifierOrder,a.OptionalReadsNotSupported]),j=/* @__PURE__ */ new Set([a.UnexpectedTokenInPolicyCondition,a.ExpectedPolicyCondition,a.UnclosedPolicyConditionGroup,a.ExpectedRoleName,a.ExpectedClaimName,a.ExpectedClaimMatches,a.ExpectedClaimMatchTarget,a.AnonymousPolicyCombined,a.NegatedAnonymousPolicy]),M=/* @__PURE__ */ new Set([a.UnknownEvent,a.UnknownReadModelProperty,a.PiiNotSupportedOnIdentifier]),N=/* @__PURE__ */ new Set([a.EventFromLaterSlice,a.TimelineCycleGroup]),P=/* @__PURE__ */ new Set([a.UndeclaredDependency,a.UnusedDependencyDeclaration,a.InvalidDependencyTarget,a.RepeatedDependencyDeclaration,a.MutualDependencyDeclarations,a.AmbiguousReference]),F=/* @__PURE__ */ new Set([a.InvalidSpecificationInvocation,a.InvalidActionSubjectClause,a.InferredActionSubject,a.ChangedActionSubject,a.AmbiguousActionInputBinding,a.UnsupportedActionSubjectContext,a.InvalidTimeZoneDeclaration,a.InvalidCommandCalendar,a.InvalidSpecificationTimeZone,a.InvalidCommandReadsDeclaration,a.UnknownMatchPattern,a.InvalidMatchPattern,a.PatternOutsidePortableMatchDialect,a.AmbiguousMatchPattern,a.DeprecatedStudioTextRulePattern,a.MismatchedSpecificationQueryResult,a.DirectionlessTranslationReactsToOwnCapture,a.CaptureEventsFromSeveralOrigins,a.CaptureEventsKeyNotRequired,a.CaptureEventsRecordFixture,a.CaptureEventSourceKeyOutsideEvents,a.EventIdPinNotCarriedToRenderers,a.ResponseNameUsedOnFailure,a.InvalidEventDeclaration,a.InvalidImportDeclaration,a.InvalidSliceDeclaration,a.InvalidDescription,a.DuplicateDescription,a.EmptyDescription,a.DuplicateEventSubject,a.InvalidSubjectType,a.ProtectedSubjectType,a.InvalidSubjectOwner,a.ReadModelSubjectNotSupported,a.InvalidSubjectModifierOrder,a.UnsupportedInteractionAlternatives,a.MixedInteractionAlternatives,a.InteractionAlternativeWithoutActions,a.InlineInteractionAlternative,a.LegacyInteractionWhere,a.InvalidSpecificationParameter,a.InvalidSpecificationCase,a.DuplicateSpecificationParameter,a.DuplicateSpecificationCase,a.IncompleteSpecificationTable,a.InvalidSpecificationCaseAssignment,a.InvalidSpecificationCaseValue,a.InvalidSpecificationCaseReference,a.OptionalSpecificationParameterTarget,a.SpecificationCaseNameCollision,a.IncompatibleSpecificationParameterType,a.UnusedSpecificationParameter,a.SingularSpecificationTableExpansion,a.InvalidSpecificationCallerPersona,a.UnsynthesizablePersonaCaller,a.PersonaWithoutGate,a.GateWithoutPersona,a.AmbiguousPersonaCaller,a.InvalidDocumentation,a.ConflictingDocumentationAcrossFiles,a.InvalidAbsentReadModelStep,a.UnknownConstraintProperty,a.OmittedProductionDestination,a.InvalidSpecificationExample,a.DuplicateSpecificationAssignment,a.InvalidReactionBatchesDeclaration,a.DescribedCommandNotImplemented,a.DescribedCommandWithoutProductions,a.DescribedCommandCardinalityNotAdmitted,a.CommandHandlerRequiresAttachment,a.PendingIntentWithOtherHandler,a.DuplicateEventInProjectionScope,a.ReservedStoredName,a.ContextSourcedPerformedQueryArgument]),I=/* @__PURE__ */ new Set([a.InvalidPurposeDeclaration,a.InvalidPurposeVocabulary,a.DuplicatePurposeField,a.DuplicatePurposeDeclaration,a.UnknownPurpose,a.PurposeInterestMismatch,a.PersonalDataWithoutPurpose,a.SpecialDataWithoutCondition,a.CriminalDataWithoutAuthorization,a.PurposeWithoutBasis,a.UnusedPurpose,a.UnknownConceptDirective,a.AttributeReasonWithoutAttribute,a.DuplicateAttributeReason,a.LegacyComplianceMarker,a.DuplicateComplianceMarker,a.UnknownComplianceMarker,a.InvalidSecretScope,a.DuplicateSecretScope,a.SecretScopeIgnoredForPii,a.InvalidPersonalDataQualifier,a.DuplicateSpecialCategory]),L=/* @__PURE__ */ new Set;for(let e of u.compilerDiagnostics??S.diagnostics){let t=e.code===a.UnknownType&&(S.identityDetails??[]).some(t=>t.line===e.location.line-1),n=e.code===a.RepeatedSingularDeclarationAcrossFiles&&e.message.includes(`identity block`);if(!(e.code===a.DuplicateDeclaration&&e.message.startsWith(`Duplicate declaration of policy `))&&!t&&!n&&!O.has(e.code)&&!k.has(e.code)&&!I.has(e.code)&&!A.has(e.code)&&!j.has(e.code)&&!M.has(e.code)&&!N.has(e.code)&&!P.has(e.code)&&!F.has(e.code)&&e.code!==a.ReducerIdentityMismatch&&e.code!==a.InvalidSpecificationExampleBody&&e.code!==a.UnknownRuleImplementationDirective&&e.code!==a.InvalidValidationRule&&e.code!==a.RepeatedDeclarationAcrossFiles&&!/^PLAY049[0-9]$|^PLAY050[0-7]$|^PLAY054[7-9]$|^PLAY055[01]$|^PLAY048[2-9]$|^PLAY004[56]$|^PLAY053[0-9]$|^PLAY054[0-6]$|^PLAY034[1-8]$|^PLAY0557$|^PLAY060[7-9]$|^PLAY061[0-9]$|^PLAY0620$|^PLAY062[1-9]$|^PLAY063[0-9]$|^PLAY064[0-9]$|^PLAY065[0-2]$|^PLAY065[4-6]$|^PLAY066[0-6]$|^PLAY072[0-2]$/.test(e.code))continue;let r=e.location.line-1;if(e.code===a.OmittedProductionDestination&&D.some(t=>t.code===e.code&&t.line===r))continue;if(e.code===a.UnknownEvent){if(L.has(r))continue;L.add(r)}let i=o(s[r],e)||s[r].length-e.location.column+1;D.push(issue(e.severity,r,e.location.column,i,e.message,e.code))}let checkEvent=(e,t,n)=>{!T.has(n)&&!L.has(e)&&D.push(tokenIssue(`warning`,e,t,n,`Unknown event type '${n}' — declare it in a slice or import it.`,y.unknownEvent))},R=-1;for(let a=0;a<s.length;a++){let o=s[a],c=o.trim();if(d[a]||c.length===0)continue;let u=o.match(/^[ ]*(\t+)/);if(u&&D.push(issue(`warning`,a,u[0].length-u[1].length+1,u[1].length,`Screenplay is indentation-based — use spaces, not tabs.`,y.tabIndentation)),R>=0){if(l(o)>R&&/^(?:or\s+)?[A-Z]\w*(?:\s+or\s+[A-Z]\w*)*$/.test(c)){for(let e of c.split(/\s+/).filter(e=>e!==`or`))E.has(e)||D.push(tokenIssue(`warning`,a,o,e,`Unknown policy '${e}' — declare it with 'policy ${e}'.`,y.unknownPolicy));continue}R=-1}let f=validateImport(s,d,a);f&&D.push(f);let p=c.match(/^slice\s+(\w+)/);p&&!i.includes(p[1])&&D.push(tokenIssue(`error`,a,o,p[1],`Unknown slice type '${p[1]}' — expected ${i.join(`, `)}.`,y.unknownSliceType));let m=c.match(/^concept\s+\w+\s*:\s*(\w+)/);m&&m[1]!==`Enum`&&!r.includes(m[1])&&D.push(tokenIssue(`error`,a,o,m[1],`Unknown primitive type '${m[1]}' — expected ${r.join(`, `)} or Enum.`,y.unknownPrimitiveType));let h=c.match(/^authorize\s+(.*)$/);if(h){R=l(o);for(let e of h[1].split(/\s+/).filter(e=>e!==`or`&&e.length>0))E.has(e)||D.push(tokenIssue(`warning`,a,o,e,`Unknown policy '${e}' — declare it with 'policy ${e}'.`,y.unknownPolicy))}let g=c.match(/^on\s+([A-Z]\w*)\s*$/);g&&checkEvent(a,o,g[1]);let _=c.match(/^produces\s+([A-Z]\w*)\s*$/);if(_&&!S.operationProductionLines?.has(a)&&checkEvent(a,o,_[1]),/^produces\s+when\b/.test(c)&&!S.operationProductionLines?.has(a))for(let e=a+1;e<s.length;e++){let t=s[e];if(!(d[e]||t.trim().length===0)){if(l(t)>l(o)){let n=t.trim().match(/^([A-Z]\w*)\s*$/);n&&checkEvent(e,t,n[1])}break}}let v=c.match(/^unique\s+event\s+([A-Z]\w*)/);v&&checkEvent(a,o,v[1]);let b=c.match(/^unique\s+[a-z_]\w*\s+on\s+([A-Z]\w*)/);b&&checkEvent(a,o,b[1]);for(let e of o.match(/\$identity\.[\w.]+/g)??[]){let t=e.substring(10).split(`.`)[0],r=[...n,...(S.identityDetails??[]).map(e=>e.name)];r.includes(t)||D.push(tokenIssue(`warning`,a,o,e,`Unknown $identity property '${t}' — expected ${r.join(`, `)}.`,y.unknownContextIdentityProperty))}for(let r of o.match(/\$context\.[\w.]+/g)??[]){let i=r.substring(9).split(`.`);t.includes(i[0])?i[0]===`causedBy`&&i.length>1&&!e.includes(i[1])?D.push(tokenIssue(`warning`,a,o,r,`Unknown $context.causedBy property '${i[1]}' — expected ${e.join(`, `)}.`,y.unknownContextCausedByProperty)):i[0]===`identity`&&i.length>1&&!n.includes(i[1])&&D.push(tokenIssue(`warning`,a,o,r,`Unknown $context.identity property '${i[1]}' — expected ${n.join(`, `)}.`,y.unknownContextIdentityProperty)):D.push(tokenIssue(`warning`,a,o,r,`Unknown $context path '${i.join(`.`)}' — expected one of ${t.join(`, `)}.`,y.unknownContextPath))}}D.push(...validateEventContextPaths(s,d)),D.push(...b(s,w,g,S.operationProductionLines));let z=s.map((e,t)=>({line:e,index:t})).filter(({line:e})=>/^\s*```(?:[a-z]+)?\s*$/.test(e));if(z.length%2==1){let e=z[z.length-1];D.push(issue(`error`,e.index,1,e.line.length+1,"Unclosed inline code block — expected a closing ``` line.",y.unclosedCodeBlock))}return D}function validateProductionDestinations(e,t){let n=[];e=u(e);for(let r of t.commands){let t=r.properties.filter(e=>e.isIdentifier&&!g(e).isOptional&&!g(e).isCollection);if(t.length===1)for(let i of r.produces??[]){if(i.inline||i.conditional||i.target!==void 0)continue;let r=i.line;n.push(issue(`information`,r,l(e[r])+1,e[r].trim().length,`Plain 'produces ${i.name}' omits its destination — use 'for ${t[0].name}' to explicitly select the command's identifier.`,y.omittedProductionDestination))}}return n}function validateImport(e,t,n){let r=e[n],i=r.trim().replace(/\s*\/\/.*$/,``);if(!/^import\b/.test(i)||x(r,n))return;let a=l(r);if(a>0&&[`module`,`feature`].includes(s(e,t,n,a)[0])||S(r))return issue(`error`,n,a+1,i.length,`Invalid import '${i}' — inside a module or feature, import names files: 'import "<path or glob>"'.`,y.invalidFileImport)}const C=/^(?:(?:increment|decrement|count|clear|add|subtract|set)\s+)?@?([$\w.]+)(?=\s|=|$)/;function validateEventContextPaths(e,t){let n=[],names=e=>e.map(e=>e.name).join(`, `);for(let r=0;r<e.length;r++){let i=e[r];if(t[r])continue;for(let e of i.matchAll(/(\.)?\$eventContext((?:\.(?:\w+(?:\(\))?)?)*)/g)){let t=e[0].substring(e[1]?.length??0),i=e[2];if(i.length===0){e[1]&&n.push(issue(`error`,r,(e.index??0)+2,t.length,`'$eventContext' names no member - expected one of ${names(d(``).expected)}.`,y.missingEventContextPath));continue}let a=i.substring(1),o=d(a),s=(e.index??0)+(e[1]?.length??0)+1;switch(o.status){case`missing`:n.push(issue(`error`,r,s,t.length,`'$eventContext.${a}' names no member - expected one of ${names(o.expected)}.`,y.missingEventContextPath));break;case`unknownMember`:n.push(issue(`warning`,r,s,t.length,`Unknown event context member '${o.segment}' in '$eventContext.${a}' - expected one of ${names(o.expected)}.`,y.unknownEventContextMember));break;case`unknownSubPath`:{let e=o.expected.length===0?`no members to address`:`members ${names(o.expected)}`;n.push(issue(`warning`,r,s,t.length,`Unknown event context path '$eventContext.${a}' - '${o.member?.name}' (${o.member?.type}) has ${e}.`,y.unknownEventContextPath));break}case`belowCollection`:n.push(issue(`error`,r,s,t.length,`'$eventContext.${a}' cannot resolve - '${o.member?.name}' is a collection (${o.member?.type}) and cannot be addressed below.`,y.eventContextPathBelowCollection))}}let a=i.trim().match(C)?.[1],o=a?.match(/\.\$(\w+)/)?.[1];a&&o&&o!==`eventContext`&&n.push(tokenIssue(`warning`,r,i,a,`Dynamic dictionary key '$${o}' in '${a}' is never resolved - only '$eventContext.<path>' is, so the literal text '$${o}' becomes the key.`,y.unresolvedDynamicKeySource))}return n}export{validateEventContextPaths,validateLines};
+import"./_virtual/_virtual/_rolldown/runtime.js";import{causedByProperties as e,contextRoots as t,identityProperties as n,primitiveTypes as r,sliceTypes as i}from"./language.js";import{DiagnosticCodes as a}from"./compiler/Diagnostics/DiagnosticCodes.js";import{legacyOptionalTypeLength as o}from"./compiler/Authoring/QuickFixes.js";import"./compiler/index.js";import{enclosingChain as s,fenceMap as c,indentOf as l}from"./document-context.js";import{eventAnalysisSource as u}from"./event-analysis-source.js";import{resolveEventContextPath as d}from"./event-context.js";import{responseAnalysis as f}from"./response-analysis.js";import{knownEventNames as p,knownTypeNames as m,mergeSymbols as h,propertyTypeReference as g,scanDocument as _,symbolsForBuffer as v}from"./symbols.js";import{diagnosticCodes as y}from"./diagnostic-codes.js";import{validateInlineEvents as b}from"./inline-event-validation.js";import{fileImportOn as x,isFileImportLine as S}from"./file-imports.js";function issue(e,t,n,r,i,a){return{severity:e,message:i,line:t,startColumn:n,endColumn:n+r,code:a}}function tokenIssue(e,t,n,r,i,a){return issue(e,t,n.indexOf(r)+1,r.length,i,a)}function validateDeclarations(e,t,n){let i=[],a=/* @__PURE__ */ new Set([...m(t,r),...m(n,[])]),checkProperties=(e,t)=>{for(let n of e.filter(e=>!a.has(g(e).name))){let e=g(n).name;i.push(issue(`warning`,n.line,n.sourceType.startColumn,n.sourceType.text.length,e===`optional`?`Unknown type 'optional' on '${n.name}' of ${t} — did you forget the type before 'optional'?`:`Unknown type '${e}' on '${n.name}' of ${t} — declare it with 'concept ${e} : <Primitive>' or 'type ${e}'.`,y.unknownType))}};for(let e of t.types)checkProperties(e.properties,`type '${e.name}'`);for(let e of t.events)checkProperties(e.properties,`event '${e.name}'`);for(let e of t.queries)checkProperties(e.parameters,`query '${e.name}'`);for(let n of t.commands){checkProperties(n.properties,`command '${n.name}'`);let t=n.properties.filter(e=>e.isIdentifier);for(let r of t.slice(1))i.push(tokenIssue(`error`,r.line,e[r.line],`identifier`,`Command '${n.name}' already marks '${t[0].name}' as identifier — only one property can be the identifier.`,y.duplicateCommandIdentifier))}let o=/* @__PURE__ */ new Map;for(let n of[...t.concepts,...t.types])o.get(n.name)===void 0?o.set(n.name,n.line):i.push(tokenIssue(`error`,n.line,e[n.line],n.name,`Duplicate declaration of '${n.name}' — concept and type names must be unique.`,y.duplicateDeclaration));return i}const C=/* @__PURE__ */ new Set([`and`,`or`,`not`]),w=/^(?:(?:and|or|not)\s+|\()*[A-Z]\w*\)*(?:\s+(?:(?:and|or|not)\s+|\()*[A-Z]\w*\)*)*$/;function policyNames(e){return(e.match(/[A-Za-z_]\w*/g)??[]).filter(e=>!C.has(e))}function validateLines(s,u={}){let d=c(s),m=_(s),g=u.application??h(),x=v(s,{...g,authoringPath:u.path??g.authoringPath,authoringPlacement:u.placement??g.authoringPlacement}),S=f(s,x.authoringDocuments??x.authoringSources?.filter(e=>e!==s.join(`
+`)),x.authoringPlacement,x.authoringPath,x.authoringPlacementResolved),C=new Set(S.eventSources.routes.map(e=>e.location.line-1)),T={...m,commands:m.commands.map(e=>({...e,properties:e.properties.filter(e=>!C.has(e.line)),produces:e.produces?.filter(e=>!S.operationProductionLines?.has(e.line)),productionHeaders:e.productionHeaders?.filter(e=>!S.operationProductionLines?.has(e))}))},E=/* @__PURE__ */ new Set([...p(T),...p(g)]),D=new Set([...T.policies,...g.policies].map(e=>e.name)),O=validateDeclarations(s,T,g);O.push(...validateProductionDestinations(s,T));let k=/* @__PURE__ */ new Set([a.UnknownGenerationStrategy,a.InvalidGenerationArgument,a.InvalidGenerationModifier,a.DuplicateGenerationModifier,a.DuplicateGeneration,a.InvalidGenerationPrimitive,a.InvalidGenerationPrefix,a.InvalidGenerationAlphabet,a.InvalidTypeIdPrefix,a.GenerationSizeOutsideRange,a.ReservedSequenceGeneration,a.LowGenerationEntropy,a.LowGeneratedIdentifierEntropy,a.RefutedGeneratedConceptRule,a.UnprovenGeneratedConceptRule,a.GenerationSupportBudgetExceeded,a.EmptyGenerationSupport]),A=/* @__PURE__ */ new Set([a.MixedEnumerationNumbering,a.DuplicateEnumerationNumber,a.EnumerationNumberOutsideInt32,a.MalformedEnumerationNumber,a.UnpinnedStoredEnumeration]),j=/* @__PURE__ */ new Set([a.LegacyOptionalSuffix,a.InvalidOptionalModifierOrder,a.OptionalReadsNotSupported]),M=/* @__PURE__ */ new Set([a.UnexpectedTokenInPolicyCondition,a.ExpectedPolicyCondition,a.UnclosedPolicyConditionGroup,a.ExpectedRoleName,a.ExpectedClaimName,a.ExpectedClaimMatches,a.ExpectedClaimMatchTarget,a.AnonymousPolicyCombined,a.NegatedAnonymousPolicy]),N=/* @__PURE__ */ new Set([a.UnknownEvent,a.UnknownReadModelProperty,a.PiiNotSupportedOnIdentifier]),P=/* @__PURE__ */ new Set([a.EventFromLaterSlice,a.TimelineCycleGroup]),F=/* @__PURE__ */ new Set([a.UndeclaredDependency,a.UnusedDependencyDeclaration,a.InvalidDependencyTarget,a.RepeatedDependencyDeclaration,a.MutualDependencyDeclarations,a.AmbiguousReference]),I=/* @__PURE__ */ new Set([a.InvalidSpecificationInvocation,a.InvalidActionSubjectClause,a.InferredActionSubject,a.ChangedActionSubject,a.AmbiguousActionInputBinding,a.UnsupportedActionSubjectContext,a.InvalidTimeZoneDeclaration,a.InvalidCommandCalendar,a.InvalidSpecificationTimeZone,a.InvalidCommandReadsDeclaration,a.UnknownMatchPattern,a.InvalidMatchPattern,a.PatternOutsidePortableMatchDialect,a.AmbiguousMatchPattern,a.DeprecatedStudioTextRulePattern,a.MismatchedSpecificationQueryResult,a.DirectionlessTranslationReactsToOwnCapture,a.CaptureEventsFromSeveralOrigins,a.CaptureEventsKeyNotRequired,a.CaptureEventsRecordFixture,a.CaptureEventSourceKeyOutsideEvents,a.EventIdPinNotCarriedToRenderers,a.ResponseNameUsedOnFailure,a.InvalidEventDeclaration,a.InvalidImportDeclaration,a.InvalidSliceDeclaration,a.InvalidDescription,a.DuplicateDescription,a.EmptyDescription,a.DuplicateEventSubject,a.InvalidSubjectType,a.ProtectedSubjectType,a.InvalidSubjectOwner,a.ReadModelSubjectNotSupported,a.InvalidSubjectModifierOrder,a.UnsupportedInteractionAlternatives,a.MixedInteractionAlternatives,a.InteractionAlternativeWithoutActions,a.InlineInteractionAlternative,a.LegacyInteractionWhere,a.InvalidSpecificationParameter,a.InvalidSpecificationCase,a.DuplicateSpecificationParameter,a.DuplicateSpecificationCase,a.IncompleteSpecificationTable,a.InvalidSpecificationCaseAssignment,a.InvalidSpecificationCaseValue,a.InvalidSpecificationCaseReference,a.OptionalSpecificationParameterTarget,a.SpecificationCaseNameCollision,a.IncompatibleSpecificationParameterType,a.UnusedSpecificationParameter,a.SingularSpecificationTableExpansion,a.InvalidSpecificationCallerPersona,a.UnsynthesizablePersonaCaller,a.PersonaWithoutGate,a.GateWithoutPersona,a.AmbiguousPersonaCaller,a.InvalidDocumentation,a.ConflictingDocumentationAcrossFiles,a.InvalidAbsentReadModelStep,a.UnknownConstraintProperty,a.OmittedProductionDestination,a.InvalidSpecificationExample,a.DuplicateSpecificationAssignment,a.InvalidReactionBatchesDeclaration,a.DescribedCommandNotImplemented,a.DescribedCommandWithoutProductions,a.DescribedCommandCardinalityNotAdmitted,a.CommandHandlerRequiresAttachment,a.PendingIntentWithOtherHandler,a.DuplicateEventInProjectionScope,a.ReservedStoredName,a.ContextSourcedPerformedQueryArgument]),L=/* @__PURE__ */ new Set([a.InvalidPurposeDeclaration,a.InvalidPurposeVocabulary,a.DuplicatePurposeField,a.DuplicatePurposeDeclaration,a.UnknownPurpose,a.PurposeInterestMismatch,a.PersonalDataWithoutPurpose,a.SpecialDataWithoutCondition,a.CriminalDataWithoutAuthorization,a.PurposeWithoutBasis,a.UnusedPurpose,a.UnknownConceptDirective,a.AttributeReasonWithoutAttribute,a.DuplicateAttributeReason,a.LegacyComplianceMarker,a.DuplicateComplianceMarker,a.UnknownComplianceMarker,a.InvalidSecretScope,a.DuplicateSecretScope,a.SecretScopeIgnoredForPii,a.InvalidPersonalDataQualifier,a.DuplicateSpecialCategory]),R=/* @__PURE__ */ new Set;for(let e of u.compilerDiagnostics??S.diagnostics){let t=e.code===a.UnknownType&&(S.identityDetails??[]).some(t=>t.line===e.location.line-1),n=e.code===a.RepeatedSingularDeclarationAcrossFiles&&e.message.includes(`identity block`);if(!(e.code===a.DuplicateDeclaration&&e.message.startsWith(`Duplicate declaration of policy `))&&!t&&!n&&!k.has(e.code)&&!A.has(e.code)&&!L.has(e.code)&&!j.has(e.code)&&!M.has(e.code)&&!N.has(e.code)&&!P.has(e.code)&&!F.has(e.code)&&!I.has(e.code)&&e.code!==a.ReducerIdentityMismatch&&e.code!==a.InvalidSpecificationExampleBody&&e.code!==a.UnknownRuleImplementationDirective&&e.code!==a.InvalidValidationRule&&e.code!==a.RepeatedDeclarationAcrossFiles&&!/^PLAY049[0-9]$|^PLAY050[0-7]$|^PLAY054[7-9]$|^PLAY055[01]$|^PLAY048[2-9]$|^PLAY004[56]$|^PLAY053[0-9]$|^PLAY054[0-6]$|^PLAY034[1-8]$|^PLAY0557$|^PLAY060[7-9]$|^PLAY061[0-9]$|^PLAY0620$|^PLAY062[1-9]$|^PLAY063[0-9]$|^PLAY064[0-9]$|^PLAY065[0-2]$|^PLAY065[4-6]$|^PLAY066[0-6]$|^PLAY072[0-2]$/.test(e.code))continue;let r=e.location.line-1;if(e.code===a.OmittedProductionDestination&&O.some(t=>t.code===e.code&&t.line===r))continue;if(e.code===a.UnknownEvent){if(R.has(r))continue;R.add(r)}let i=o(s[r],e)||s[r].length-e.location.column+1;O.push(issue(e.severity,r,e.location.column,i,e.message,e.code))}let checkEvent=(e,t,n)=>{!E.has(n)&&!R.has(e)&&O.push(tokenIssue(`warning`,e,t,n,`Unknown event type '${n}' — declare it in a slice or import it.`,y.unknownEvent))},z=-1;for(let a=0;a<s.length;a++){let o=s[a],c=o.trim();if(d[a]||c.length===0)continue;let u=o.match(/^[ ]*(\t+)/);if(u&&O.push(issue(`warning`,a,u[0].length-u[1].length+1,u[1].length,`Screenplay is indentation-based — use spaces, not tabs.`,y.tabIndentation)),z>=0){if(l(o)>z&&w.test(c)){for(let e of policyNames(c))D.has(e)||O.push(tokenIssue(`warning`,a,o,e,`Unknown policy '${e}' — declare it with 'policy ${e}'.`,y.unknownPolicy));continue}z=-1}let f=validateImport(s,d,a);f&&O.push(f);let p=c.match(/^slice\s+(\w+)/);p&&!i.includes(p[1])&&O.push(tokenIssue(`error`,a,o,p[1],`Unknown slice type '${p[1]}' — expected ${i.join(`, `)}.`,y.unknownSliceType));let m=c.match(/^concept\s+\w+\s*:\s*(\w+)/);m&&m[1]!==`Enum`&&!r.includes(m[1])&&O.push(tokenIssue(`error`,a,o,m[1],`Unknown primitive type '${m[1]}' — expected ${r.join(`, `)} or Enum.`,y.unknownPrimitiveType));let h=c.match(/^authorize\s+(.*)$/);if(h){z=l(o);for(let e of policyNames(h[1]))D.has(e)||O.push(tokenIssue(`warning`,a,o,e,`Unknown policy '${e}' — declare it with 'policy ${e}'.`,y.unknownPolicy))}let g=c.match(/^on\s+([A-Z]\w*)\s*$/);g&&checkEvent(a,o,g[1]);let _=c.match(/^produces\s+([A-Z]\w*)\s*$/);if(_&&!S.operationProductionLines?.has(a)&&checkEvent(a,o,_[1]),/^produces\s+when\b/.test(c)&&!S.operationProductionLines?.has(a))for(let e=a+1;e<s.length;e++){let t=s[e];if(!(d[e]||t.trim().length===0)){if(l(t)>l(o)){let n=t.trim().match(/^([A-Z]\w*)\s*$/);n&&checkEvent(e,t,n[1])}break}}let v=c.match(/^unique\s+event\s+([A-Z]\w*)/);v&&checkEvent(a,o,v[1]);let b=c.match(/^unique\s+[a-z_]\w*\s+on\s+([A-Z]\w*)/);b&&checkEvent(a,o,b[1]);for(let e of o.match(/\$identity\.[\w.]+/g)??[]){let t=e.substring(10).split(`.`)[0],r=[...n,...(S.identityDetails??[]).map(e=>e.name)];r.includes(t)||O.push(tokenIssue(`warning`,a,o,e,`Unknown $identity property '${t}' — expected ${r.join(`, `)}.`,y.unknownContextIdentityProperty))}for(let r of o.match(/\$context\.[\w.]+/g)??[]){let i=r.substring(9).split(`.`);t.includes(i[0])?i[0]===`causedBy`&&i.length>1&&!e.includes(i[1])?O.push(tokenIssue(`warning`,a,o,r,`Unknown $context.causedBy property '${i[1]}' — expected ${e.join(`, `)}.`,y.unknownContextCausedByProperty)):i[0]===`identity`&&i.length>1&&!n.includes(i[1])&&O.push(tokenIssue(`warning`,a,o,r,`Unknown $context.identity property '${i[1]}' — expected ${n.join(`, `)}.`,y.unknownContextIdentityProperty)):O.push(tokenIssue(`warning`,a,o,r,`Unknown $context path '${i.join(`.`)}' — expected one of ${t.join(`, `)}.`,y.unknownContextPath))}}O.push(...validateEventContextPaths(s,d)),O.push(...b(s,T,g,S.operationProductionLines));let B=s.map((e,t)=>({line:e,index:t})).filter(({line:e})=>/^\s*```(?:[a-z]+)?\s*$/.test(e));if(B.length%2==1){let e=B[B.length-1];O.push(issue(`error`,e.index,1,e.line.length+1,"Unclosed inline code block — expected a closing ``` line.",y.unclosedCodeBlock))}return O}function validateProductionDestinations(e,t){let n=[];e=u(e);for(let r of t.commands){let t=r.properties.filter(e=>e.isIdentifier&&!g(e).isOptional&&!g(e).isCollection);if(t.length===1)for(let i of r.produces??[]){if(i.inline||i.conditional||i.target!==void 0)continue;let r=i.line;n.push(issue(`information`,r,l(e[r])+1,e[r].trim().length,`Plain 'produces ${i.name}' omits its destination — use 'for ${t[0].name}' to explicitly select the command's identifier.`,y.omittedProductionDestination))}}return n}function validateImport(e,t,n){let r=e[n],i=r.trim().replace(/\s*\/\/.*$/,``);if(!/^import\b/.test(i)||x(r,n))return;let a=l(r);if(a>0&&[`module`,`feature`].includes(s(e,t,n,a)[0])||S(r))return issue(`error`,n,a+1,i.length,`Invalid import '${i}' — inside a module or feature, import names files: 'import "<path or glob>"'.`,y.invalidFileImport)}const T=/^(?:(?:increment|decrement|count|clear|add|subtract|set)\s+)?@?([$\w.]+)(?=\s|=|$)/;function validateEventContextPaths(e,t){let n=[],names=e=>e.map(e=>e.name).join(`, `);for(let r=0;r<e.length;r++){let i=e[r];if(t[r])continue;for(let e of i.matchAll(/(\.)?\$eventContext((?:\.(?:\w+(?:\(\))?)?)*)/g)){let t=e[0].substring(e[1]?.length??0),i=e[2];if(i.length===0){e[1]&&n.push(issue(`error`,r,(e.index??0)+2,t.length,`'$eventContext' names no member - expected one of ${names(d(``).expected)}.`,y.missingEventContextPath));continue}let a=i.substring(1),o=d(a),s=(e.index??0)+(e[1]?.length??0)+1;switch(o.status){case`missing`:n.push(issue(`error`,r,s,t.length,`'$eventContext.${a}' names no member - expected one of ${names(o.expected)}.`,y.missingEventContextPath));break;case`unknownMember`:n.push(issue(`warning`,r,s,t.length,`Unknown event context member '${o.segment}' in '$eventContext.${a}' - expected one of ${names(o.expected)}.`,y.unknownEventContextMember));break;case`unknownSubPath`:{let e=o.expected.length===0?`no members to address`:`members ${names(o.expected)}`;n.push(issue(`warning`,r,s,t.length,`Unknown event context path '$eventContext.${a}' - '${o.member?.name}' (${o.member?.type}) has ${e}.`,y.unknownEventContextPath));break}case`belowCollection`:n.push(issue(`error`,r,s,t.length,`'$eventContext.${a}' cannot resolve - '${o.member?.name}' is a collection (${o.member?.type}) and cannot be addressed below.`,y.eventContextPathBelowCollection))}}let a=i.trim().match(T)?.[1],o=a?.match(/\.\$(\w+)/)?.[1];a&&o&&o!==`eventContext`&&n.push(tokenIssue(`warning`,r,i,a,`Dynamic dictionary key '$${o}' in '${a}' is never resolved - only '$eventContext.<path>' is, so the literal text '$${o}' becomes the key.`,y.unresolvedDynamicKeySource))}return n}export{validateEventContextPaths,validateLines};
 //# sourceMappingURL=validation.js.map

package/dist/bundles/validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation.js","names":["startColumn","length","severity","line","text","token","message","code","issues","types","knownTypeNames","symbols","primitiveTypes","application","property","properties","propertyTypeReference","candidate","bare","owner","diagnosticCodes","type","event","query","command","identifiers","extra","lines","declared","declaration","fences","fenceMap","scanned","scanDocument","context","mergeSymbols","input","symbolsForBuffer","analysis","responseAnalysis","source","routeLines","route","production","events","knownEventNames","policies","policy","generationCodes","DiagnosticCodes","enumerationCodes","optionalCodes","policyCodes","consistencyCodes","timelineCodes","dependencyCodes","authoringCodes","complianceCodes","compilerUnknownEventLines","diagnostic","identityType","detail","identityDuplicate","existing","legacyOptionalTypeLength","name","authorizeIndent","index","trimmed","leading","indentOf","fileImportIssue","slice","sliceTypes","concept","authorize","reactsOn","produces","next","uniqueEvent","uniqueProperty","path","member","knownIdentity","identityProperties","segments","contextRoots","causedByProperties","validateInlineEvents","fenceLines","last","eventAnalysisSource","fileImportOn","indent","enclosingChain","isFileImportLine","mappingTarget","members","match","written","resolveEventContextPath","resolution","column","has","target"],"sources":["../../validation.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DiagnosticCodes, legacyOptionalTypeLength } from '@cratis/screenplay-compiler';\nimport { AnalysisDiagnostic, responseAnalysis } from './response-analysis';\nimport { validateInlineEvents } from './inline-event-validation';\nimport { causedByProperties, contextRoots, identityProperties, primitiveTypes, sliceTypes } from './language';\nimport { DiagnosticCode, diagnosticCodes } from './diagnostic-codes';\nimport { enclosingChain, fenceMap, indentOf } from './document-context';\nimport { eventAnalysisSource } from './event-analysis-source';\nimport { resolveEventContextPath } from './event-context';\nimport {\n    DocumentSymbols,\n    PropertySymbol,\n    propertyTypeReference,\n    knownEventNames,\n    knownTypeNames,\n    mergeSymbols,\n    scanDocument,\n    symbolsForBuffer,\n} from './symbols';\nimport { fileImportOn, isFileImportLine } from './file-imports';\n\nexport type ValidationSeverity = 'error' | 'warning' | 'information';\n\nexport interface ValidationIssue {\n    line: number;\n    startColumn: number;\n    endColumn: number;\n    message: string;\n    severity: ValidationSeverity;\n\n    // The compiler code for this condition, absent on the structural checks the editor makes and the\n    // compiler does not. See ./diagnostic-codes.ts.\n    code?: DiagnosticCode;\n}\n\n// What a document is validated against beyond itself.\nexport interface ValidationContext {\n    // What the rest of the application declares - the other .play files of a folder, or the files an import\n    // brings in - so a name declared in another file is not reported unknown. Merge the scanned symbols of\n    // those files with mergeSymbols. The document's own declarations are always known.\n    application?: DocumentSymbols;\n    placement?: readonly string[];\n    path?: string;\n    compilerDiagnostics?: readonly AnalysisDiagnostic[];\n}\n\nfunction issue(\n    severity: ValidationSeverity,\n    line: number,\n    startColumn: number,\n    length: number,\n    message: string,\n    code: DiagnosticCode,\n): ValidationIssue {\n    return { severity, message, line, startColumn, endColumn: startColumn + length, code };\n}\n\nfunction tokenIssue(\n    severity: ValidationSeverity,\n    line: number,\n    text: string,\n    token: string,\n    message: string,\n    code: DiagnosticCode,\n): ValidationIssue {\n    const column = text.indexOf(token) + 1;\n    return issue(severity, line, column, token.length, message, code);\n}\n\n// Reports every property whose type reference names nothing the document declares, and\n// every command that marks more than one property as its identifier.\nfunction validateDeclarations(lines: string[], symbols: DocumentSymbols, application: DocumentSymbols): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    const types = new Set([...knownTypeNames(symbols, primitiveTypes), ...knownTypeNames(application, [])]);\n\n    const checkProperties = (properties: PropertySymbol[], owner: string) => {\n        for (const property of properties.filter(\n            (candidate) => !types.has(propertyTypeReference(candidate).name),\n        )) {\n            const bare = propertyTypeReference(property).name;\n            issues.push(\n                issue(\n                    'warning',\n                    property.line,\n                    property.sourceType!.startColumn,\n                    property.sourceType!.text.length,\n                    bare === 'optional'\n                        ? `Unknown type 'optional' on '${property.name}' of ${owner} — did you forget the type before 'optional'?`\n                        : `Unknown type '${bare}' on '${property.name}' of ${owner} — declare it with 'concept ${bare} : <Primitive>' or 'type ${bare}'.`,\n                    diagnosticCodes.unknownType,\n                ),\n            );\n        }\n    };\n\n    for (const type of symbols.types) checkProperties(type.properties, `type '${type.name}'`);\n    for (const event of symbols.events) checkProperties(event.properties, `event '${event.name}'`);\n    for (const query of symbols.queries) checkProperties(query.parameters, `query '${query.name}'`);\n    for (const command of symbols.commands) {\n        checkProperties(command.properties, `command '${command.name}'`);\n        const identifiers = command.properties.filter((property) => property.isIdentifier);\n        for (const extra of identifiers.slice(1)) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    extra.line,\n                    lines[extra.line],\n                    'identifier',\n                    `Command '${command.name}' already marks '${identifiers[0].name}' as identifier — only one property can be the identifier.`,\n                    diagnosticCodes.duplicateCommandIdentifier,\n                ),\n            );\n        }\n    }\n\n    const declared = new Map<string, number>();\n    for (const declaration of [...symbols.concepts, ...symbols.types]) {\n        const first = declared.get(declaration.name);\n        if (first === undefined) {\n            declared.set(declaration.name, declaration.line);\n            continue;\n        }\n        issues.push(\n            tokenIssue(\n                'error',\n                declaration.line,\n                lines[declaration.line],\n                declaration.name,\n                `Duplicate declaration of '${declaration.name}' — concept and type names must be unique.`,\n                diagnosticCodes.duplicateDeclaration,\n            ),\n        );\n    }\n\n    return issues;\n}\n\n// Validates a Screenplay document without any editor dependency — both the Monaco\n// service and the VSCode extension adapt these issues to their marker/diagnostic APIs.\n//\n// The checks read the document line by line, never as a whole document's top level, so a file an import\n// places in a module or feature - holding slices or features at its top level - validates as it is written.\n// Where it is placed, and whether its imports resolve, is the compiler's to say.\nexport function validateLines(lines: string[], context: ValidationContext = {}): ValidationIssue[] {\n    const fences = fenceMap(lines);\n    const scanned = scanDocument(lines);\n    const application = context.application ?? mergeSymbols();\n    const input = symbolsForBuffer(lines, { ...application, authoringPath: context.path ?? application.authoringPath, authoringPlacement: context.placement ?? application.authoringPlacement });\n    const analysis = responseAnalysis(lines, input.authoringDocuments ?? input.authoringSources?.filter(source => source !== lines.join('\\n')), input.authoringPlacement, input.authoringPath, input.authoringPlacementResolved);\n    const routeLines = new Set(analysis.eventSources.routes.map(route => route.location.line - 1));\n    const symbols = { ...scanned, commands: scanned.commands.map(command => ({ ...command,\n        properties: command.properties.filter(property => !routeLines.has(property.line)),\n        produces: command.produces?.filter(production => !analysis.operationProductionLines?.has(production.line)),\n        productionHeaders: command.productionHeaders?.filter(line => !analysis.operationProductionLines?.has(line)),\n    })) };\n    const events = new Set([...knownEventNames(symbols), ...knownEventNames(application)]);\n    const policies = new Set([...symbols.policies, ...application.policies].map((policy) => policy.name));\n    const issues: ValidationIssue[] = validateDeclarations(lines, symbols, application);\n    issues.push(...validateProductionDestinations(lines, symbols));\n    // One parser pass covers committed types, including query results and trigger data, without\n    // speculative property scans mistaking tags, paths, strings or code for optionality.\n    const generationCodes = new Set<string>([DiagnosticCodes.UnknownGenerationStrategy, DiagnosticCodes.InvalidGenerationArgument, DiagnosticCodes.InvalidGenerationModifier, DiagnosticCodes.DuplicateGenerationModifier, DiagnosticCodes.DuplicateGeneration, DiagnosticCodes.InvalidGenerationPrimitive, DiagnosticCodes.InvalidGenerationPrefix, DiagnosticCodes.InvalidGenerationAlphabet, DiagnosticCodes.InvalidTypeIdPrefix, DiagnosticCodes.GenerationSizeOutsideRange, DiagnosticCodes.ReservedSequenceGeneration, DiagnosticCodes.LowGenerationEntropy, DiagnosticCodes.LowGeneratedIdentifierEntropy, DiagnosticCodes.RefutedGeneratedConceptRule, DiagnosticCodes.UnprovenGeneratedConceptRule, DiagnosticCodes.GenerationSupportBudgetExceeded, DiagnosticCodes.EmptyGenerationSupport]);\n    const enumerationCodes = new Set<string>([DiagnosticCodes.MixedEnumerationNumbering, DiagnosticCodes.DuplicateEnumerationNumber, DiagnosticCodes.EnumerationNumberOutsideInt32, DiagnosticCodes.MalformedEnumerationNumber, DiagnosticCodes.UnpinnedStoredEnumeration]);\n    const optionalCodes = new Set<string>([DiagnosticCodes.LegacyOptionalSuffix, DiagnosticCodes.InvalidOptionalModifierOrder, DiagnosticCodes.OptionalReadsNotSupported]);\n    const policyCodes = new Set<string>([DiagnosticCodes.UnexpectedTokenInPolicyCondition, DiagnosticCodes.ExpectedPolicyCondition, DiagnosticCodes.UnclosedPolicyConditionGroup, DiagnosticCodes.ExpectedRoleName, DiagnosticCodes.ExpectedClaimName, DiagnosticCodes.ExpectedClaimMatches, DiagnosticCodes.ExpectedClaimMatchTarget, DiagnosticCodes.AnonymousPolicyCombined, DiagnosticCodes.NegatedAnonymousPolicy]);\n    const consistencyCodes = new Set<string>([DiagnosticCodes.UnknownEvent, DiagnosticCodes.UnknownReadModelProperty, DiagnosticCodes.PiiNotSupportedOnIdentifier]);\n    const timelineCodes = new Set<string>([DiagnosticCodes.EventFromLaterSlice, DiagnosticCodes.TimelineCycleGroup]);\n    const dependencyCodes = new Set<string>([DiagnosticCodes.UndeclaredDependency, DiagnosticCodes.UnusedDependencyDeclaration, DiagnosticCodes.InvalidDependencyTarget, DiagnosticCodes.RepeatedDependencyDeclaration, DiagnosticCodes.MutualDependencyDeclarations, DiagnosticCodes.AmbiguousReference]);\n    // These parser diagnostics must reach the marker adapter. C#-only completeness and reference\n    // checks are not synthesized here, but are preserved when a caller supplies compiler diagnostics.\n    const authoringCodes = new Set<string>([DiagnosticCodes.InvalidSpecificationInvocation, DiagnosticCodes.InvalidActionSubjectClause, DiagnosticCodes.InferredActionSubject, DiagnosticCodes.ChangedActionSubject, DiagnosticCodes.AmbiguousActionInputBinding, DiagnosticCodes.UnsupportedActionSubjectContext, DiagnosticCodes.InvalidTimeZoneDeclaration, DiagnosticCodes.InvalidCommandCalendar, DiagnosticCodes.InvalidSpecificationTimeZone, DiagnosticCodes.InvalidCommandReadsDeclaration, DiagnosticCodes.UnknownMatchPattern, DiagnosticCodes.InvalidMatchPattern, DiagnosticCodes.PatternOutsidePortableMatchDialect, DiagnosticCodes.AmbiguousMatchPattern, DiagnosticCodes.DeprecatedStudioTextRulePattern, DiagnosticCodes.MismatchedSpecificationQueryResult, DiagnosticCodes.DirectionlessTranslationReactsToOwnCapture, DiagnosticCodes.CaptureEventsFromSeveralOrigins, DiagnosticCodes.CaptureEventsKeyNotRequired, DiagnosticCodes.CaptureEventsRecordFixture, DiagnosticCodes.CaptureEventSourceKeyOutsideEvents, DiagnosticCodes.EventIdPinNotCarriedToRenderers, DiagnosticCodes.ResponseNameUsedOnFailure, DiagnosticCodes.InvalidEventDeclaration, DiagnosticCodes.InvalidImportDeclaration, DiagnosticCodes.InvalidSliceDeclaration, DiagnosticCodes.InvalidDescription, DiagnosticCodes.DuplicateDescription, DiagnosticCodes.EmptyDescription, DiagnosticCodes.DuplicateEventSubject, DiagnosticCodes.InvalidSubjectType, DiagnosticCodes.ProtectedSubjectType, DiagnosticCodes.InvalidSubjectOwner, DiagnosticCodes.ReadModelSubjectNotSupported, DiagnosticCodes.InvalidSubjectModifierOrder, DiagnosticCodes.UnsupportedInteractionAlternatives, DiagnosticCodes.MixedInteractionAlternatives, DiagnosticCodes.InteractionAlternativeWithoutActions, DiagnosticCodes.InlineInteractionAlternative, DiagnosticCodes.LegacyInteractionWhere, DiagnosticCodes.InvalidSpecificationParameter, DiagnosticCodes.InvalidSpecificationCase, DiagnosticCodes.DuplicateSpecificationParameter, DiagnosticCodes.DuplicateSpecificationCase, DiagnosticCodes.IncompleteSpecificationTable, DiagnosticCodes.InvalidSpecificationCaseAssignment, DiagnosticCodes.InvalidSpecificationCaseValue, DiagnosticCodes.InvalidSpecificationCaseReference, DiagnosticCodes.OptionalSpecificationParameterTarget, DiagnosticCodes.SpecificationCaseNameCollision, DiagnosticCodes.IncompatibleSpecificationParameterType, DiagnosticCodes.UnusedSpecificationParameter, DiagnosticCodes.SingularSpecificationTableExpansion, DiagnosticCodes.InvalidSpecificationCallerPersona, DiagnosticCodes.UnsynthesizablePersonaCaller, DiagnosticCodes.PersonaWithoutGate, DiagnosticCodes.GateWithoutPersona, DiagnosticCodes.AmbiguousPersonaCaller, DiagnosticCodes.InvalidDocumentation, DiagnosticCodes.ConflictingDocumentationAcrossFiles, DiagnosticCodes.InvalidAbsentReadModelStep, DiagnosticCodes.UnknownConstraintProperty, DiagnosticCodes.OmittedProductionDestination, DiagnosticCodes.InvalidSpecificationExample, DiagnosticCodes.DuplicateSpecificationAssignment, DiagnosticCodes.InvalidReactionBatchesDeclaration, DiagnosticCodes.DescribedCommandNotImplemented, DiagnosticCodes.DescribedCommandWithoutProductions, DiagnosticCodes.DescribedCommandCardinalityNotAdmitted, DiagnosticCodes.CommandHandlerRequiresAttachment, DiagnosticCodes.PendingIntentWithOtherHandler, DiagnosticCodes.DuplicateEventInProjectionScope, DiagnosticCodes.ReservedStoredName, DiagnosticCodes.ContextSourcedPerformedQueryArgument]);\n    const complianceCodes = new Set<string>([DiagnosticCodes.InvalidPurposeDeclaration, DiagnosticCodes.InvalidPurposeVocabulary, DiagnosticCodes.DuplicatePurposeField, DiagnosticCodes.DuplicatePurposeDeclaration, DiagnosticCodes.UnknownPurpose, DiagnosticCodes.PurposeInterestMismatch, DiagnosticCodes.PersonalDataWithoutPurpose, DiagnosticCodes.SpecialDataWithoutCondition, DiagnosticCodes.CriminalDataWithoutAuthorization, DiagnosticCodes.PurposeWithoutBasis, DiagnosticCodes.UnusedPurpose, DiagnosticCodes.UnknownConceptDirective, DiagnosticCodes.AttributeReasonWithoutAttribute, DiagnosticCodes.DuplicateAttributeReason, DiagnosticCodes.LegacyComplianceMarker, DiagnosticCodes.DuplicateComplianceMarker, DiagnosticCodes.UnknownComplianceMarker, DiagnosticCodes.InvalidSecretScope, DiagnosticCodes.DuplicateSecretScope, DiagnosticCodes.SecretScopeIgnoredForPii, DiagnosticCodes.InvalidPersonalDataQualifier, DiagnosticCodes.DuplicateSpecialCategory]);\n    const compilerUnknownEventLines = new Set<number>();\n    for (const diagnostic of context.compilerDiagnostics ?? analysis.diagnostics) {\n        const identityType = diagnostic.code === DiagnosticCodes.UnknownType && (analysis.identityDetails ?? []).some(detail => detail.line === diagnostic.location.line - 1);\n        const identityDuplicate = diagnostic.code === DiagnosticCodes.RepeatedSingularDeclarationAcrossFiles && diagnostic.message.includes('identity block');\n        const policyDuplicate = diagnostic.code === DiagnosticCodes.DuplicateDeclaration && diagnostic.message.startsWith('Duplicate declaration of policy ');\n        if (!policyDuplicate && !identityType && !identityDuplicate && !generationCodes.has(diagnostic.code) && !enumerationCodes.has(diagnostic.code) && !complianceCodes.has(diagnostic.code) && !optionalCodes.has(diagnostic.code) && !policyCodes.has(diagnostic.code) && !consistencyCodes.has(diagnostic.code) && !timelineCodes.has(diagnostic.code) && !dependencyCodes.has(diagnostic.code) && !authoringCodes.has(diagnostic.code) && diagnostic.code !== DiagnosticCodes.ReducerIdentityMismatch && diagnostic.code !== DiagnosticCodes.InvalidSpecificationExampleBody && diagnostic.code !== DiagnosticCodes.UnknownRuleImplementationDirective && diagnostic.code !== DiagnosticCodes.InvalidValidationRule && diagnostic.code !== DiagnosticCodes.RepeatedDeclarationAcrossFiles && !/^PLAY049[0-9]$|^PLAY050[0-7]$|^PLAY054[7-9]$|^PLAY055[01]$|^PLAY048[2-9]$|^PLAY004[56]$|^PLAY053[0-9]$|^PLAY054[0-6]$|^PLAY034[1-8]$|^PLAY0557$|^PLAY060[7-9]$|^PLAY061[0-9]$|^PLAY0620$|^PLAY062[1-9]$|^PLAY063[0-9]$|^PLAY064[0-9]$|^PLAY065[0-2]$|^PLAY065[4-6]$|^PLAY066[0-6]$|^PLAY072[0-2]$/.test(diagnostic.code)) continue;\n        const line = diagnostic.location.line - 1;\n        if (diagnostic.code === DiagnosticCodes.OmittedProductionDestination && issues.some(existing => existing.code === diagnostic.code && existing.line === line)) continue;\n        if (diagnostic.code === DiagnosticCodes.UnknownEvent) {\n            if (compilerUnknownEventLines.has(line)) continue;\n            compilerUnknownEventLines.add(line);\n        }\n        const length = legacyOptionalTypeLength(lines[line], diagnostic) || lines[line].length - diagnostic.location.column + 1;\n        issues.push(issue(diagnostic.severity, line, diagnostic.location.column, length, diagnostic.message, diagnostic.code as DiagnosticCode));\n    }\n\n    const checkEvent = (line: number, text: string, name: string) => {\n        if (!events.has(name) && !compilerUnknownEventLines.has(line)) {\n            issues.push(\n                tokenIssue(\n                    'warning',\n                    line,\n                    text,\n                    name,\n                    `Unknown event type '${name}' — declare it in a slice or import it.`,\n                    diagnosticCodes.unknownEvent,\n                ),\n            );\n        }\n    };\n\n    let authorizeIndent = -1;\n\n    for (let index = 0; index < lines.length; index++) {\n        const line = lines[index];\n        const trimmed = line.trim();\n\n        if (fences[index] || trimmed.length === 0) continue;\n\n        const leading = line.match(/^[ ]*(\\t+)/);\n        if (leading) {\n            issues.push(\n                issue(\n                    'warning',\n                    index,\n                    leading[0].length - leading[1].length + 1,\n                    leading[1].length,\n                    'Screenplay is indentation-based — use spaces, not tabs.',\n                    diagnosticCodes.tabIndentation,\n                ),\n            );\n        }\n\n        // Policy references continue on indented lines below an authorize clause.\n        if (authorizeIndent >= 0) {\n            if (\n                indentOf(line) > authorizeIndent &&\n                /^(?:or\\s+)?[A-Z]\\w*(?:\\s+or\\s+[A-Z]\\w*)*$/.test(trimmed)\n            ) {\n                for (const name of trimmed.split(/\\s+/).filter((token) => token !== 'or')) {\n                    if (!policies.has(name)) {\n                        issues.push(\n                            tokenIssue(\n                                'warning',\n                                index,\n                                line,\n                                name,\n                                `Unknown policy '${name}' — declare it with 'policy ${name}'.`,\n                                diagnosticCodes.unknownPolicy,\n                            ),\n                        );\n                    }\n                }\n                continue;\n            }\n            authorizeIndent = -1;\n        }\n\n        const fileImportIssue = validateImport(lines, fences, index);\n        if (fileImportIssue) issues.push(fileImportIssue);\n\n        const slice = trimmed.match(/^slice\\s+(\\w+)/);\n        if (slice && !sliceTypes.includes(slice[1])) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    index,\n                    line,\n                    slice[1],\n                    `Unknown slice type '${slice[1]}' — expected ${sliceTypes.join(', ')}.`,\n                    diagnosticCodes.unknownSliceType,\n                ),\n            );\n        }\n\n        const concept = trimmed.match(/^concept\\s+\\w+\\s*:\\s*(\\w+)/);\n        if (concept && concept[1] !== 'Enum' && !primitiveTypes.includes(concept[1])) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    index,\n                    line,\n                    concept[1],\n                    `Unknown primitive type '${concept[1]}' — expected ${primitiveTypes.join(', ')} or Enum.`,\n                    diagnosticCodes.unknownPrimitiveType,\n                ),\n            );\n        }\n\n        const authorize = trimmed.match(/^authorize\\s+(.*)$/);\n        if (authorize) {\n            authorizeIndent = indentOf(line);\n            for (const name of authorize[1].split(/\\s+/).filter((token) => token !== 'or' && token.length > 0)) {\n                if (!policies.has(name)) {\n                    issues.push(\n                        tokenIssue(\n                            'warning',\n                            index,\n                            line,\n                            name,\n                            `Unknown policy '${name}' — declare it with 'policy ${name}'.`,\n                            diagnosticCodes.unknownPolicy,\n                        ),\n                    );\n                }\n            }\n        }\n\n        const reactsOn = trimmed.match(/^on\\s+([A-Z]\\w*)\\s*$/);\n        if (reactsOn) checkEvent(index, line, reactsOn[1]);\n\n        const produces = trimmed.match(/^produces\\s+([A-Z]\\w*)\\s*$/);\n        if (produces && !analysis.operationProductionLines?.has(index)) checkEvent(index, line, produces[1]);\n\n        if (/^produces\\s+when\\b/.test(trimmed) && !analysis.operationProductionLines?.has(index)) {\n            for (let next = index + 1; next < lines.length; next++) {\n                const candidate = lines[next];\n                if (fences[next] || candidate.trim().length === 0) continue;\n                if (indentOf(candidate) > indentOf(line)) {\n                    const name = candidate.trim().match(/^([A-Z]\\w*)\\s*$/);\n                    if (name) checkEvent(next, candidate, name[1]);\n                }\n                break;\n            }\n        }\n\n        const uniqueEvent = trimmed.match(/^unique\\s+event\\s+([A-Z]\\w*)/);\n        if (uniqueEvent) checkEvent(index, line, uniqueEvent[1]);\n\n        const uniqueProperty = trimmed.match(/^unique\\s+[a-z_]\\w*\\s+on\\s+([A-Z]\\w*)/);\n        if (uniqueProperty) checkEvent(index, line, uniqueProperty[1]);\n\n        // Every $identity. path must name a member of the caller; anything after 'claims.' is a claim name.\n        // A bare $identity is left to the compilers, which see it only where an expression is expected.\n        for (const path of line.match(/\\$identity\\.[\\w.]+/g) ?? []) {\n            const member = path.substring('$identity.'.length).split('.')[0];\n            const knownIdentity = [...identityProperties, ...(analysis.identityDetails ?? []).map(detail => detail.name)];\n            if (!knownIdentity.includes(member)) {\n                issues.push(tokenIssue('warning', index, line, path,\n                    `Unknown $identity property '${member}' — expected ${knownIdentity.join(', ')}.`,\n                    diagnosticCodes.unknownContextIdentityProperty));\n            }\n        }\n\n        // Every $context. path must name something CommandContext or QueryContext carries.\n        for (const path of line.match(/\\$context\\.[\\w.]+/g) ?? []) {\n            const segments = path.substring('$context.'.length).split('.');\n            if (!contextRoots.includes(segments[0])) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context path '${segments.join('.')}' — expected one of ${contextRoots.join(', ')}.`,\n                        diagnosticCodes.unknownContextPath,\n                    ),\n                );\n            } else if (\n                segments[0] === 'causedBy' &&\n                segments.length > 1 &&\n                !causedByProperties.includes(segments[1])\n            ) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context.causedBy property '${segments[1]}' — expected ${causedByProperties.join(', ')}.`,\n                        diagnosticCodes.unknownContextCausedByProperty,\n                    ),\n                );\n            } else if (\n                segments[0] === 'identity' &&\n                segments.length > 1 &&\n                !identityProperties.includes(segments[1])\n            ) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context.identity property '${segments[1]}' — expected ${identityProperties.join(', ')}.`,\n                        diagnosticCodes.unknownContextIdentityProperty,\n                    ),\n                );\n            }\n        }\n    }\n\n    issues.push(...validateEventContextPaths(lines, fences));\n    issues.push(...validateInlineEvents(lines, symbols, application, analysis.operationProductionLines));\n\n    const fenceLines = lines\n        .map((line, index) => ({ line, index }))\n        .filter(({ line }) => /^\\s*```(?:[a-z]+)?\\s*$/.test(line));\n    if (fenceLines.length % 2 === 1) {\n        const last = fenceLines[fenceLines.length - 1];\n        issues.push(\n            issue(\n                'error',\n                last.index,\n                1,\n                last.line.length + 1,\n                'Unclosed inline code block — expected a closing ``` line.',\n                diagnosticCodes.unclosedCodeBlock,\n            ),\n        );\n    }\n\n    return issues;\n}\n\n// This is advice, not a semantic default: accepting the typed workspace repair changes routing.\nfunction validateProductionDestinations(lines: string[], symbols: DocumentSymbols): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    lines = eventAnalysisSource(lines);\n    for (const command of symbols.commands) {\n        const identifiers = command.properties.filter(property => property.isIdentifier && !propertyTypeReference(property).isOptional && !propertyTypeReference(property).isCollection);\n        if (identifiers.length !== 1) continue;\n        for (const production of command.produces ?? []) {\n            if (production.inline || production.conditional || production.target !== undefined) continue;\n            const line = production.line;\n            issues.push(issue('information', line, indentOf(lines[line]) + 1, lines[line].trim().length,\n                `Plain 'produces ${production.name}' omits its destination — use 'for ${identifiers[0].name}' to explicitly select the command's identifier.`,\n                diagnosticCodes.omittedProductionDestination));\n        }\n    }\n    return issues;\n}\n\n// Inside a module or feature an import names files, and a quoted import anywhere has the compiler's shape.\nfunction validateImport(lines: string[], fences: boolean[], index: number): ValidationIssue | undefined {\n    const line = lines[index];\n    const trimmed = line.trim().replace(/\\s*\\/\\/.*$/, '');\n    if (!/^import\\b/.test(trimmed) || fileImportOn(line, index)) return undefined;\n    const indent = indentOf(line);\n    const inBody = indent > 0 && ['module', 'feature'].includes(enclosingChain(lines, fences, index, indent)[0]);\n    if (!inBody && !isFileImportLine(line)) return undefined;\n    return issue(\n        'error',\n        index,\n        indent + 1,\n        trimmed.length,\n        `Invalid import '${trimmed}' — inside a module or feature, import names files: 'import \"<path or glob>\"'.`,\n        diagnosticCodes.invalidFileImport,\n    );\n}\n\n// A mapping target: the first word of a mapping line, after the keyword that opens it if there is one.\nconst mappingTarget = /^(?:(?:increment|decrement|count|clear|add|subtract|set)\\s+)?@?([$\\w.]+)(?=\\s|=|$)/;\n\n// Every $eventContext.<path> - in an expression or as the dynamic key of a mapping target - checked against the\n// event-context catalog the way the compiler checks it (Parsing/EventContextPathValidator.cs).\nexport function validateEventContextPaths(lines: string[], fences: boolean[]): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    const names = (members: readonly { name: string }[]) => members.map((member) => member.name).join(', ');\n\n    for (let index = 0; index < lines.length; index++) {\n        const line = lines[index];\n        if (fences[index]) continue;\n\n        for (const match of line.matchAll(/(\\.)?\\$eventContext((?:\\.(?:\\w+(?:\\(\\))?)?)*)/g)) {\n            const token = match[0].substring(match[1]?.length ?? 0);\n            const written = match[2];\n            if (written.length === 0) {\n                // A bare $eventContext names nothing only as a dynamic key; in an expression the compiler rejects it as invalid.\n                if (match[1]) {\n                    issues.push(issue('error', index, (match.index ?? 0) + 2, token.length, `'$eventContext' names no member - expected one of ${names(resolveEventContextPath('').expected)}.`, diagnosticCodes.missingEventContextPath));\n                }\n                continue;\n            }\n\n            const path = written.substring(1);\n            const resolution = resolveEventContextPath(path);\n            const column = (match.index ?? 0) + (match[1]?.length ?? 0) + 1;\n            switch (resolution.status) {\n                case 'missing':\n                    issues.push(issue('error', index, column, token.length, `'$eventContext.${path}' names no member - expected one of ${names(resolution.expected)}.`, diagnosticCodes.missingEventContextPath));\n                    break;\n                case 'unknownMember':\n                    issues.push(issue('warning', index, column, token.length, `Unknown event context member '${resolution.segment}' in '$eventContext.${path}' - expected one of ${names(resolution.expected)}.`, diagnosticCodes.unknownEventContextMember));\n                    break;\n                case 'unknownSubPath': {\n                    const has = resolution.expected.length === 0 ? 'no members to address' : `members ${names(resolution.expected)}`;\n                    issues.push(issue('warning', index, column, token.length, `Unknown event context path '$eventContext.${path}' - '${resolution.member?.name}' (${resolution.member?.type}) has ${has}.`, diagnosticCodes.unknownEventContextPath));\n                    break;\n                }\n                case 'belowCollection':\n                    issues.push(issue('error', index, column, token.length, `'$eventContext.${path}' cannot resolve - '${resolution.member?.name}' is a collection (${resolution.member?.type}) and cannot be addressed below.`, diagnosticCodes.eventContextPathBelowCollection));\n                    break;\n            }\n        }\n\n        // Only $eventContext resolves in a dynamic key; any other $ source is kept as the literal key text.\n        const target = line.trim().match(mappingTarget)?.[1];\n        const source = target?.match(/\\.\\$(\\w+)/)?.[1];\n        if (target && source && source !== 'eventContext') {\n            issues.push(tokenIssue('warning', index, line, target, `Dynamic dictionary key '$${source}' in '${target}' is never resolved - only '$eventContext.<path>' is, so the literal text '$${source}' becomes the key.`, diagnosticCodes.unresolvedDynamicKeySource));\n        }\n    }\n\n    return issues;\n}\n"],"mappings":"88BAgDA,SAAS,MACL,EACA,EACA,EACA,EACA,EACA,EACe,CACf,MAAO,CAAE,WAAU,UAAS,OAAM,cAAa,UAAWA,EAAcC,EAAQ,MAAK,CACzF,CAEA,SAAS,WACL,EACA,EACA,EACA,EACA,EACA,EACe,CAEf,OAAO,MAAMC,EAAUC,EADRC,EAAK,QAAQC,CAAK,EAAI,EACAA,EAAM,OAAQC,EAASC,CAAI,CACpE,CAIA,SAAS,qBAAqB,EAAiB,EAA0B,EAAiD,CACtH,IAAMC,EAA4B,CAAC,EAC7BC,kBAAQ,IAAI,IAAI,CAAC,GAAGC,EAAeC,EAASC,CAAc,EAAG,GAAGF,EAAeG,EAAa,CAAC,CAAC,CAAC,CAAC,EAEhG,iBAAmB,EAA8B,IAAkB,CACrE,IAAK,IAAMC,KAAYC,EAAW,OAC7B,GAAc,CAACN,EAAM,IAAIO,EAAsBC,CAAS,CAAC,CAAC,IAAI,CACnE,EAAG,CACC,IAAMC,EAAOF,EAAsBF,CAAQ,CAAC,CAAC,KAC7CN,EAAO,KACH,MACI,UACAM,EAAS,KACTA,EAAS,WAAY,YACrBA,EAAS,WAAY,KAAK,OAC1BI,IAAS,WACH,+BAA+BJ,EAAS,KAAK,OAAOK,EAAM,+CAC1D,iBAAiBD,EAAK,QAAQJ,EAAS,KAAK,OAAOK,EAAM,8BAA8BD,EAAK,2BAA2BA,EAAK,IAClIE,EAAgB,WACpB,CACJ,CACJ,CACJ,EAEA,IAAK,IAAMC,KAAQV,EAAQ,MAAO,gBAAgBU,EAAK,WAAY,SAASA,EAAK,KAAK,EAAE,EACxF,IAAK,IAAMC,KAASX,EAAQ,OAAQ,gBAAgBW,EAAM,WAAY,UAAUA,EAAM,KAAK,EAAE,EAC7F,IAAK,IAAMC,KAASZ,EAAQ,QAAS,gBAAgBY,EAAM,WAAY,UAAUA,EAAM,KAAK,EAAE,EAC9F,IAAK,IAAMC,KAAWb,EAAQ,SAAU,CACpC,gBAAgBa,EAAQ,WAAY,YAAYA,EAAQ,KAAK,EAAE,EAC/D,IAAMC,EAAcD,EAAQ,WAAW,OAAQ,GAAaV,EAAS,YAAY,EACjF,IAAK,IAAMY,KAASD,EAAY,MAAM,CAAC,EACnCjB,EAAO,KACH,WACI,QACAkB,EAAM,KACNC,EAAMD,EAAM,MACZ,aACA,YAAYF,EAAQ,KAAK,mBAAmBC,EAAY,EAAE,CAAC,KAAK,4DAChEL,EAAgB,0BACpB,CACJ,CAER,CAEA,IAAMQ,kBAAW,IAAI,IACrB,IAAK,IAAMC,IAAe,CAAC,GAAGlB,EAAQ,SAAU,GAAGA,EAAQ,KAAK,EAC9CiB,EAAS,IAAIC,EAAY,IAC/B,IAAM,IAAA,GACVD,EAAS,IAAIC,EAAY,KAAMA,EAAY,IAAI,EAGnDrB,EAAO,KACH,WACI,QACAqB,EAAY,KACZF,EAAME,EAAY,MAClBA,EAAY,KACZ,6BAA6BA,EAAY,KAAK,4CAC9CT,EAAgB,oBACpB,CACJ,EAGJ,OAAOZ,CACX,CAQA,SAAgB,cAAc,EAAiB,EAA6B,CAAC,EAAsB,CAC/F,IAAMsB,EAASC,EAASJ,CAAK,EACvBK,EAAUC,EAAaN,CAAK,EAC5Bd,EAAcqB,EAAQ,aAAeC,EAAa,EAClDC,EAAQC,EAAiBV,EAAO,CAAE,GAAGd,EAAa,cAAeqB,EAAQ,MAAQrB,EAAY,cAAe,mBAAoBqB,EAAQ,WAAarB,EAAY,kBAAmB,CAAC,EACrLyB,EAAWC,EAAiBZ,EAAOS,EAAM,oBAAsBA,EAAM,kBAAkB,OAAO,GAAUI,IAAWb,EAAM,KAAK;CAAI,CAAC,EAAGS,EAAM,mBAAoBA,EAAM,cAAeA,EAAM,0BAA0B,EACrNK,EAAa,IAAI,IAAIH,EAAS,aAAa,OAAO,IAAI,GAASI,EAAM,SAAS,KAAO,CAAC,CAAC,EACvF/B,EAAU,CAAE,GAAGqB,EAAS,SAAUA,EAAQ,SAAS,IAAI,IAAY,CAAE,GAAGR,EAC1E,WAAYA,EAAQ,WAAW,OAAO,GAAY,CAACiB,EAAW,IAAI3B,EAAS,IAAI,CAAC,EAChF,SAAUU,EAAQ,UAAU,OAAO,GAAc,CAACc,EAAS,0BAA0B,IAAIK,EAAW,IAAI,CAAC,EACzG,kBAAmBnB,EAAQ,mBAAmB,OAAO,GAAQ,CAACc,EAAS,0BAA0B,IAAInC,CAAI,CAAC,CAC9G,EAAE,CAAE,EACEyC,kBAAS,IAAI,IAAI,CAAC,GAAGC,EAAgBlC,CAAO,EAAG,GAAGkC,EAAgBhC,CAAW,CAAC,CAAC,EAC/EiC,EAAW,IAAI,IAAI,CAAC,GAAGnC,EAAQ,SAAU,GAAGE,EAAY,QAAQ,CAAC,CAAC,IAAK,GAAWkC,EAAO,IAAI,CAAC,EAC9FvC,EAA4B,qBAAqBmB,EAAOhB,EAASE,CAAW,EAClFL,EAAO,KAAK,GAAG,+BAA+BmB,EAAOhB,CAAO,CAAC,EAG7D,IAAMqC,kBAAkB,IAAI,IAAY,CAACC,EAAgB,0BAA2BA,EAAgB,0BAA2BA,EAAgB,0BAA2BA,EAAgB,4BAA6BA,EAAgB,oBAAqBA,EAAgB,2BAA4BA,EAAgB,wBAAyBA,EAAgB,0BAA2BA,EAAgB,oBAAqBA,EAAgB,2BAA4BA,EAAgB,2BAA4BA,EAAgB,qBAAsBA,EAAgB,8BAA+BA,EAAgB,4BAA6BA,EAAgB,6BAA8BA,EAAgB,gCAAiCA,EAAgB,sBAAsB,CAAC,EAC3vBC,kBAAmB,IAAI,IAAY,CAACD,EAAgB,0BAA2BA,EAAgB,2BAA4BA,EAAgB,8BAA+BA,EAAgB,2BAA4BA,EAAgB,yBAAyB,CAAC,EAChQE,kBAAgB,IAAI,IAAY,CAACF,EAAgB,qBAAsBA,EAAgB,6BAA8BA,EAAgB,yBAAyB,CAAC,EAC/JG,kBAAc,IAAI,IAAY,CAACH,EAAgB,iCAAkCA,EAAgB,wBAAyBA,EAAgB,6BAA8BA,EAAgB,iBAAkBA,EAAgB,kBAAmBA,EAAgB,qBAAsBA,EAAgB,yBAA0BA,EAAgB,wBAAyBA,EAAgB,sBAAsB,CAAC,EAC7YI,kBAAmB,IAAI,IAAY,CAACJ,EAAgB,aAAcA,EAAgB,yBAA0BA,EAAgB,2BAA2B,CAAC,EACxJK,kBAAgB,IAAI,IAAY,CAACL,EAAgB,oBAAqBA,EAAgB,kBAAkB,CAAC,EACzGM,kBAAkB,IAAI,IAAY,CAACN,EAAgB,qBAAsBA,EAAgB,4BAA6BA,EAAgB,wBAAyBA,EAAgB,8BAA+BA,EAAgB,6BAA8BA,EAAgB,kBAAkB,CAAC,EAG/RO,kBAAiB,IAAI,IAAY,CAACP,EAAgB,+BAAgCA,EAAgB,2BAA4BA,EAAgB,sBAAuBA,EAAgB,qBAAsBA,EAAgB,4BAA6BA,EAAgB,gCAAiCA,EAAgB,2BAA4BA,EAAgB,uBAAwBA,EAAgB,6BAA8BA,EAAgB,+BAAgCA,EAAgB,oBAAqBA,EAAgB,oBAAqBA,EAAgB,mCAAoCA,EAAgB,sBAAuBA,EAAgB,gCAAiCA,EAAgB,mCAAoCA,EAAgB,2CAA4CA,EAAgB,gCAAiCA,EAAgB,4BAA6BA,EAAgB,2BAA4BA,EAAgB,mCAAoCA,EAAgB,gCAAiCA,EAAgB,0BAA2BA,EAAgB,wBAAyBA,EAAgB,yBAA0BA,EAAgB,wBAAyBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,iBAAkBA,EAAgB,sBAAuBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,oBAAqBA,EAAgB,6BAA8BA,EAAgB,4BAA6BA,EAAgB,mCAAoCA,EAAgB,6BAA8BA,EAAgB,qCAAsCA,EAAgB,6BAA8BA,EAAgB,uBAAwBA,EAAgB,8BAA+BA,EAAgB,yBAA0BA,EAAgB,gCAAiCA,EAAgB,2BAA4BA,EAAgB,6BAA8BA,EAAgB,mCAAoCA,EAAgB,8BAA+BA,EAAgB,kCAAmCA,EAAgB,qCAAsCA,EAAgB,+BAAgCA,EAAgB,uCAAwCA,EAAgB,6BAA8BA,EAAgB,oCAAqCA,EAAgB,kCAAmCA,EAAgB,6BAA8BA,EAAgB,mBAAoBA,EAAgB,mBAAoBA,EAAgB,uBAAwBA,EAAgB,qBAAsBA,EAAgB,oCAAqCA,EAAgB,2BAA4BA,EAAgB,0BAA2BA,EAAgB,6BAA8BA,EAAgB,4BAA6BA,EAAgB,iCAAkCA,EAAgB,kCAAmCA,EAAgB,+BAAgCA,EAAgB,mCAAoCA,EAAgB,uCAAwCA,EAAgB,iCAAkCA,EAAgB,8BAA+BA,EAAgB,gCAAiCA,EAAgB,mBAAoBA,EAAgB,oCAAoC,CAAC,EACv0GQ,kBAAkB,IAAI,IAAY,CAACR,EAAgB,0BAA2BA,EAAgB,yBAA0BA,EAAgB,sBAAuBA,EAAgB,4BAA6BA,EAAgB,eAAgBA,EAAgB,wBAAyBA,EAAgB,2BAA4BA,EAAgB,4BAA6BA,EAAgB,iCAAkCA,EAAgB,oBAAqBA,EAAgB,cAAeA,EAAgB,wBAAyBA,EAAgB,gCAAiCA,EAAgB,yBAA0BA,EAAgB,uBAAwBA,EAAgB,0BAA2BA,EAAgB,wBAAyBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,yBAA0BA,EAAgB,6BAA8BA,EAAgB,wBAAwB,CAAC,EAC/6BS,kBAA4B,IAAI,IACtC,IAAK,IAAMC,KAAczB,EAAQ,qBAAuBI,EAAS,YAAa,CAC1E,IAAMsB,EAAeD,EAAW,OAASV,EAAgB,cAAgBX,EAAS,iBAAmB,CAAC,EAAA,CAAG,KAAK,GAAUuB,EAAO,OAASF,EAAW,SAAS,KAAO,CAAC,EAC9JG,EAAoBH,EAAW,OAASV,EAAgB,wCAA0CU,EAAW,QAAQ,SAAS,gBAAgB,EAEpJ,GAAI,EADoBA,EAAW,OAASV,EAAgB,sBAAwBU,EAAW,QAAQ,WAAW,kCAAkC,IAC5H,CAACC,GAAgB,CAACE,GAAqB,CAACd,EAAgB,IAAIW,EAAW,IAAI,GAAK,CAACT,EAAiB,IAAIS,EAAW,IAAI,GAAK,CAACF,EAAgB,IAAIE,EAAW,IAAI,GAAK,CAACR,EAAc,IAAIQ,EAAW,IAAI,GAAK,CAACP,EAAY,IAAIO,EAAW,IAAI,GAAK,CAACN,EAAiB,IAAIM,EAAW,IAAI,GAAK,CAACL,EAAc,IAAIK,EAAW,IAAI,GAAK,CAACJ,EAAgB,IAAII,EAAW,IAAI,GAAK,CAACH,EAAe,IAAIG,EAAW,IAAI,GAAKA,EAAW,OAASV,EAAgB,yBAA2BU,EAAW,OAASV,EAAgB,iCAAmCU,EAAW,OAASV,EAAgB,oCAAsCU,EAAW,OAASV,EAAgB,uBAAyBU,EAAW,OAASV,EAAgB,gCAAkC,CAAC,oSAAoS,KAAKU,EAAW,IAAI,EAAG,SACxjC,IAAMxD,EAAOwD,EAAW,SAAS,KAAO,EACxC,GAAIA,EAAW,OAASV,EAAgB,8BAAgCzC,EAAO,KAAK,GAAYuD,EAAS,OAASJ,EAAW,MAAQI,EAAS,OAAS5D,CAAI,EAAG,SAC9J,GAAIwD,EAAW,OAASV,EAAgB,aAAc,CAClD,GAAIS,EAA0B,IAAIvD,CAAI,EAAG,SACzCuD,EAA0B,IAAIvD,CAAI,CACtC,CACA,IAAMF,EAAS+D,EAAyBrC,EAAMxB,GAAOwD,CAAU,GAAKhC,EAAMxB,EAAK,CAAC,OAASwD,EAAW,SAAS,OAAS,EACtHnD,EAAO,KAAK,MAAMmD,EAAW,SAAUxD,EAAMwD,EAAW,SAAS,OAAQ1D,EAAQ0D,EAAW,QAASA,EAAW,IAAsB,CAAC,CAC3I,CAEA,IAAM,YAAc,EAAc,EAAc,IAAiB,CACzD,CAACf,EAAO,IAAIqB,CAAI,GAAK,CAACP,EAA0B,IAAIvD,CAAI,GACxDK,EAAO,KACH,WACI,UACAL,EACAC,EACA6D,EACA,uBAAuBA,EAAK,yCAC5B7C,EAAgB,YACpB,CACJ,CAER,EAEI8C,EAAkB,GAEtB,IAAK,IAAIC,EAAQ,EAAGA,EAAQxC,EAAM,OAAQ,IAAS,CAC/C,IAAMxB,EAAOwB,EAAMwC,GACbC,EAAUjE,EAAK,KAAK,EAE1B,GAAI2B,EAAOqC,IAAUC,EAAQ,SAAW,EAAG,SAE3C,IAAMC,EAAUlE,EAAK,MAAM,YAAY,EAevC,GAdIkE,GACA7D,EAAO,KACH,MACI,UACA2D,EACAE,EAAQ,EAAE,CAAC,OAASA,EAAQ,EAAE,CAAC,OAAS,EACxCA,EAAQ,EAAE,CAAC,OACX,0DACAjD,EAAgB,cACpB,CACJ,EAIA8C,GAAmB,EAAG,CACtB,GACII,EAASnE,CAAI,EAAI+D,GACjB,4CAA4C,KAAKE,CAAO,EAC1D,CACE,IAAK,IAAMH,KAAQG,EAAQ,MAAM,KAAK,CAAC,CAAC,OAAQ,GAAU/D,IAAU,IAAI,EAC/DyC,EAAS,IAAImB,CAAI,GAClBzD,EAAO,KACH,WACI,UACA2D,EACAhE,EACA8D,EACA,mBAAmBA,EAAK,8BAA8BA,EAAK,IAC3D7C,EAAgB,aACpB,CACJ,EAGR,QACJ,CACA,EAAkB,EACtB,CAEA,IAAMmD,EAAkB,eAAe5C,EAAOG,EAAQqC,CAAK,EACvDI,GAAiB/D,EAAO,KAAK+D,CAAe,EAEhD,IAAMC,EAAQJ,EAAQ,MAAM,gBAAgB,EACxCI,GAAS,CAACC,EAAW,SAASD,EAAM,EAAE,GACtChE,EAAO,KACH,WACI,QACA2D,EACAhE,EACAqE,EAAM,GACN,uBAAuBA,EAAM,GAAG,eAAeC,EAAW,KAAK,IAAI,EAAE,GACrErD,EAAgB,gBACpB,CACJ,EAGJ,IAAMsD,EAAUN,EAAQ,MAAM,4BAA4B,EACtDM,GAAWA,EAAQ,KAAO,QAAU,CAAC9D,EAAe,SAAS8D,EAAQ,EAAE,GACvElE,EAAO,KACH,WACI,QACA2D,EACAhE,EACAuE,EAAQ,GACR,2BAA2BA,EAAQ,GAAG,eAAe9D,EAAe,KAAK,IAAI,EAAE,WAC/EQ,EAAgB,oBACpB,CACJ,EAGJ,IAAMuD,EAAYP,EAAQ,MAAM,oBAAoB,EACpD,GAAIO,EAAW,CACX,EAAkBL,EAASnE,CAAI,EAC/B,IAAK,IAAM8D,KAAQU,EAAU,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,OAAQ,GAAUtE,IAAU,MAAQA,EAAM,OAAS,CAAC,EACxFyC,EAAS,IAAImB,CAAI,GAClBzD,EAAO,KACH,WACI,UACA2D,EACAhE,EACA8D,EACA,mBAAmBA,EAAK,8BAA8BA,EAAK,IAC3D7C,EAAgB,aACpB,CACJ,CAGZ,CAEA,IAAMwD,EAAWR,EAAQ,MAAM,sBAAsB,EACjDQ,GAAU,WAAWT,EAAOhE,EAAMyE,EAAS,EAAE,EAEjD,IAAMC,EAAWT,EAAQ,MAAM,4BAA4B,EAG3D,GAFIS,GAAY,CAACvC,EAAS,0BAA0B,IAAI6B,CAAK,GAAG,WAAWA,EAAOhE,EAAM0E,EAAS,EAAE,EAE/F,qBAAqB,KAAKT,CAAO,GAAK,CAAC9B,EAAS,0BAA0B,IAAI6B,CAAK,EACnF,IAAK,IAAIW,EAAOX,EAAQ,EAAGW,EAAOnD,EAAM,OAAQ,IAAQ,CACpD,IAAMV,EAAYU,EAAMmD,GACxB,GAAI,IAAOA,IAAS7D,EAAU,KAAK,CAAC,CAAC,SAAW,GAChD,IAAIqD,EAASrD,CAAS,EAAIqD,EAASnE,CAAI,EAAG,CACtC,IAAM8D,EAAOhD,EAAU,KAAK,CAAC,CAAC,MAAM,iBAAiB,EACjDgD,GAAM,WAAWa,EAAM7D,EAAWgD,EAAK,EAAE,CACjD,CACA,KADA,CAEJ,CAGJ,IAAMc,EAAcX,EAAQ,MAAM,8BAA8B,EAC5DW,GAAa,WAAWZ,EAAOhE,EAAM4E,EAAY,EAAE,EAEvD,IAAMC,EAAiBZ,EAAQ,MAAM,uCAAuC,EACxEY,GAAgB,WAAWb,EAAOhE,EAAM6E,EAAe,EAAE,EAI7D,IAAK,IAAMC,KAAQ9E,EAAK,MAAM,qBAAqB,GAAK,CAAC,EAAG,CACxD,IAAM+E,EAASD,EAAK,UAAU,EAAmB,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GACxDE,EAAgB,CAAC,GAAGC,EAAoB,IAAI9C,EAAS,iBAAmB,CAAC,EAAA,CAAG,IAAI,GAAUuB,EAAO,IAAI,CAAC,EACvGsB,EAAc,SAASD,CAAM,GAC9B1E,EAAO,KAAK,WAAW,UAAW2D,EAAOhE,EAAM8E,EAC3C,+BAA+BC,EAAO,eAAeC,EAAc,KAAK,IAAI,EAAE,GAC9E/D,EAAgB,8BAA8B,CAAC,CAE3D,CAGA,IAAK,IAAM6D,KAAQ9E,EAAK,MAAM,oBAAoB,GAAK,CAAC,EAAG,CACvD,IAAMkF,EAAWJ,EAAK,UAAU,CAAkB,CAAC,CAAC,MAAM,GAAG,EACxDK,EAAa,SAASD,EAAS,EAAE,EAYlCA,EAAS,KAAO,YAChBA,EAAS,OAAS,GAClB,CAACE,EAAmB,SAASF,EAAS,EAAE,EAExC7E,EAAO,KACH,WACI,UACA2D,EACAhE,EACA8E,EACA,uCAAuCI,EAAS,GAAG,eAAeE,EAAmB,KAAK,IAAI,EAAE,GAChGnE,EAAgB,8BACpB,CACJ,EAEAiE,EAAS,KAAO,YAChBA,EAAS,OAAS,GAClB,CAACD,EAAmB,SAASC,EAAS,EAAE,GAExC7E,EAAO,KACH,WACI,UACA2D,EACAhE,EACA8E,EACA,uCAAuCI,EAAS,GAAG,eAAeD,EAAmB,KAAK,IAAI,EAAE,GAChGhE,EAAgB,8BACpB,CACJ,EAvCAZ,EAAO,KACH,WACI,UACA2D,EACAhE,EACA8E,EACA,0BAA0BI,EAAS,KAAK,GAAG,EAAE,sBAAsBC,EAAa,KAAK,IAAI,EAAE,GAC3FlE,EAAgB,kBACpB,CACJ,CAgCR,CACJ,CAEAZ,EAAO,KAAK,GAAG,0BAA0BmB,EAAOG,CAAM,CAAC,EACvDtB,EAAO,KAAK,GAAGgF,EAAqB7D,EAAOhB,EAASE,EAAayB,EAAS,wBAAwB,CAAC,EAEnG,IAAMmD,EAAa9D,EACd,KAAK,EAAM,KAAW,CAAE,OAAM,OAAM,EAAE,CAAC,CACvC,QAAQ,CAAE,UAAW,yBAAyB,KAAKxB,CAAI,CAAC,EAC7D,GAAIsF,EAAW,OAAS,GAAM,EAAG,CAC7B,IAAMC,EAAOD,EAAWA,EAAW,OAAS,GAC5CjF,EAAO,KACH,MACI,QACAkF,EAAK,MACL,EACAA,EAAK,KAAK,OAAS,EACnB,4DACAtE,EAAgB,iBACpB,CACJ,CACJ,CAEA,OAAOZ,CACX,CAGA,SAAS,+BAA+B,EAAiB,EAA6C,CAClG,IAAMA,EAA4B,CAAC,EACnC,EAAQmF,EAAoBhE,CAAK,EACjC,IAAK,IAAMH,KAAWb,EAAQ,SAAU,CACpC,IAAMc,EAAcD,EAAQ,WAAW,OAAO,GAAYV,EAAS,cAAgB,CAACE,EAAsBF,CAAQ,CAAC,CAAC,YAAc,CAACE,EAAsBF,CAAQ,CAAC,CAAC,YAAY,EAC/K,GAAIW,EAAY,SAAW,EAC3B,IAAK,IAAMkB,KAAcnB,EAAQ,UAAY,CAAC,EAAG,CAC7C,GAAImB,EAAW,QAAUA,EAAW,aAAeA,EAAW,SAAW,IAAA,GAAW,SACpF,IAAMxC,EAAOwC,EAAW,KACxBnC,EAAO,KAAK,MAAM,cAAeL,EAAMmE,EAAS3C,EAAMxB,EAAK,EAAI,EAAGwB,EAAMxB,EAAK,CAAC,KAAK,CAAC,CAAC,OACjF,mBAAmBwC,EAAW,KAAK,qCAAqClB,EAAY,EAAE,CAAC,KAAK,kDAC5FL,EAAgB,4BAA4B,CAAC,CACrD,CACJ,CACA,OAAOZ,CACX,CAGA,SAAS,eAAe,EAAiB,EAAmB,EAA4C,CACpG,IAAML,EAAOwB,EAAMwC,GACbC,EAAUjE,EAAK,KAAK,CAAC,CAAC,QAAQ,aAAc,EAAE,EACpD,GAAI,CAAC,YAAY,KAAKiE,CAAO,GAAKwB,EAAazF,EAAMgE,CAAK,EAAG,OAC7D,IAAM0B,EAASvB,EAASnE,CAAI,EAE5B,GADe0F,EAAS,GAAK,CAAC,SAAU,SAAS,CAAC,CAAC,SAASC,EAAenE,EAAOG,EAAQqC,EAAO0B,CAAM,CAAC,CAAC,EAAE,GAC3FE,EAAiB5F,CAAI,EACrC,OAAO,MACH,QACAgE,EACA0B,EAAS,EACTzB,EAAQ,OACR,mBAAmBA,EAAQ,gFAC3BhD,EAAgB,iBACpB,CACJ,CAGA,MAAM4E,EAAgB,qFAItB,SAAgB,0BAA0B,EAAiB,EAAsC,CAC7F,IAAMxF,EAA4B,CAAC,EAC7B,MAAS,GAAyCyF,EAAQ,IAAK,GAAWf,EAAO,IAAI,CAAC,CAAC,KAAK,IAAI,EAEtG,IAAK,IAAIf,EAAQ,EAAGA,EAAQxC,EAAM,OAAQ,IAAS,CAC/C,IAAMxB,EAAOwB,EAAMwC,GACnB,GAAIrC,EAAOqC,GAAQ,SAEnB,IAAK,IAAM+B,KAAS/F,EAAK,SAAS,gDAAgD,EAAG,CACjF,IAAME,EAAQ6F,EAAM,EAAE,CAAC,UAAUA,EAAM,EAAE,EAAE,QAAU,CAAC,EAChDC,EAAUD,EAAM,GACtB,GAAIC,EAAQ,SAAW,EAAG,CAElBD,EAAM,IACN1F,EAAO,KAAK,MAAM,QAAS2D,GAAQ+B,EAAM,OAAS,GAAK,EAAG7F,EAAM,OAAQ,qDAAqD,MAAM+F,EAAwB,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAIhF,EAAgB,uBAAuB,CAAC,EAEzN,QACJ,CAEA,IAAM6D,EAAOkB,EAAQ,UAAU,CAAC,EAC1BE,EAAaD,EAAwBnB,CAAI,EACzCqB,GAAUJ,EAAM,OAAS,IAAMA,EAAM,EAAE,EAAE,QAAU,GAAK,EAC9D,OAAQG,EAAW,OAAnB,CACI,IAAK,UACD7F,EAAO,KAAK,MAAM,QAAS2D,EAAOmC,EAAQjG,EAAM,OAAQ,kBAAkB4E,EAAK,sCAAsC,MAAMoB,EAAW,QAAQ,EAAE,GAAIjF,EAAgB,uBAAuB,CAAC,EAC5L,MACJ,IAAK,gBACDZ,EAAO,KAAK,MAAM,UAAW2D,EAAOmC,EAAQjG,EAAM,OAAQ,iCAAiCgG,EAAW,QAAQ,sBAAsBpB,EAAK,sBAAsB,MAAMoB,EAAW,QAAQ,EAAE,GAAIjF,EAAgB,yBAAyB,CAAC,EACxO,MACJ,IAAK,iBAAkB,CACnB,IAAMmF,EAAMF,EAAW,SAAS,SAAW,EAAI,wBAA0B,WAAW,MAAMA,EAAW,QAAQ,IAC7G7F,EAAO,KAAK,MAAM,UAAW2D,EAAOmC,EAAQjG,EAAM,OAAQ,6CAA6C4E,EAAK,OAAOoB,EAAW,QAAQ,KAAK,KAAKA,EAAW,QAAQ,KAAK,QAAQE,EAAI,GAAInF,EAAgB,uBAAuB,CAAC,EAChO,KACJ,CACA,IAAK,kBACDZ,EAAO,KAAK,MAAM,QAAS2D,EAAOmC,EAAQjG,EAAM,OAAQ,kBAAkB4E,EAAK,sBAAsBoB,EAAW,QAAQ,KAAK,qBAAqBA,EAAW,QAAQ,KAAK,kCAAmCjF,EAAgB,+BAA+B,CAAC,CAErQ,CACJ,CAGA,IAAMoF,EAASrG,EAAK,KAAK,CAAC,CAAC,MAAM6F,CAAa,CAAC,GAAG,GAC5CxD,EAASgE,GAAQ,MAAM,WAAW,CAAC,GAAG,GACxCA,GAAUhE,GAAUA,IAAW,gBAC/BhC,EAAO,KAAK,WAAW,UAAW2D,EAAOhE,EAAMqG,EAAQ,4BAA4BhE,EAAO,QAAQgE,EAAO,8EAA8EhE,EAAO,oBAAqBpB,EAAgB,0BAA0B,CAAC,CAEtQ,CAEA,OAAOZ,CACX"}
+{"version":3,"file":"validation.js","names":["startColumn","length","severity","line","text","token","message","code","issues","types","knownTypeNames","symbols","primitiveTypes","application","property","properties","propertyTypeReference","candidate","bare","owner","diagnosticCodes","type","event","query","command","identifiers","extra","lines","declared","declaration","policyOperators","policyContinuation","expression","fences","fenceMap","scanned","scanDocument","context","mergeSymbols","input","symbolsForBuffer","analysis","responseAnalysis","source","routeLines","route","production","events","knownEventNames","policies","policy","generationCodes","DiagnosticCodes","enumerationCodes","optionalCodes","policyCodes","consistencyCodes","timelineCodes","dependencyCodes","authoringCodes","complianceCodes","compilerUnknownEventLines","diagnostic","identityType","detail","identityDuplicate","existing","legacyOptionalTypeLength","name","authorizeIndent","index","trimmed","leading","indentOf","fileImportIssue","slice","sliceTypes","concept","authorize","reactsOn","produces","next","uniqueEvent","uniqueProperty","path","member","knownIdentity","identityProperties","segments","contextRoots","causedByProperties","validateInlineEvents","fenceLines","last","eventAnalysisSource","fileImportOn","indent","enclosingChain","isFileImportLine","mappingTarget","members","match","written","resolveEventContextPath","resolution","column","has","target"],"sources":["../../validation.ts"],"sourcesContent":["// Copyright (c) Cratis. All rights reserved.\n// Licensed under the MIT license. See LICENSE file in the project root for full license information.\n\nimport { DiagnosticCodes, legacyOptionalTypeLength } from '@cratis/screenplay-compiler';\nimport { AnalysisDiagnostic, responseAnalysis } from './response-analysis';\nimport { validateInlineEvents } from './inline-event-validation';\nimport { causedByProperties, contextRoots, identityProperties, primitiveTypes, sliceTypes } from './language';\nimport { DiagnosticCode, diagnosticCodes } from './diagnostic-codes';\nimport { enclosingChain, fenceMap, indentOf } from './document-context';\nimport { eventAnalysisSource } from './event-analysis-source';\nimport { resolveEventContextPath } from './event-context';\nimport {\n    DocumentSymbols,\n    PropertySymbol,\n    propertyTypeReference,\n    knownEventNames,\n    knownTypeNames,\n    mergeSymbols,\n    scanDocument,\n    symbolsForBuffer,\n} from './symbols';\nimport { fileImportOn, isFileImportLine } from './file-imports';\n\nexport type ValidationSeverity = 'error' | 'warning' | 'information';\n\nexport interface ValidationIssue {\n    line: number;\n    startColumn: number;\n    endColumn: number;\n    message: string;\n    severity: ValidationSeverity;\n\n    // The compiler code for this condition, absent on the structural checks the editor makes and the\n    // compiler does not. See ./diagnostic-codes.ts.\n    code?: DiagnosticCode;\n}\n\n// What a document is validated against beyond itself.\nexport interface ValidationContext {\n    // What the rest of the application declares - the other .play files of a folder, or the files an import\n    // brings in - so a name declared in another file is not reported unknown. Merge the scanned symbols of\n    // those files with mergeSymbols. The document's own declarations are always known.\n    application?: DocumentSymbols;\n    placement?: readonly string[];\n    path?: string;\n    compilerDiagnostics?: readonly AnalysisDiagnostic[];\n}\n\nfunction issue(\n    severity: ValidationSeverity,\n    line: number,\n    startColumn: number,\n    length: number,\n    message: string,\n    code: DiagnosticCode,\n): ValidationIssue {\n    return { severity, message, line, startColumn, endColumn: startColumn + length, code };\n}\n\nfunction tokenIssue(\n    severity: ValidationSeverity,\n    line: number,\n    text: string,\n    token: string,\n    message: string,\n    code: DiagnosticCode,\n): ValidationIssue {\n    const column = text.indexOf(token) + 1;\n    return issue(severity, line, column, token.length, message, code);\n}\n\n// Reports every property whose type reference names nothing the document declares, and\n// every command that marks more than one property as its identifier.\nfunction validateDeclarations(lines: string[], symbols: DocumentSymbols, application: DocumentSymbols): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    const types = new Set([...knownTypeNames(symbols, primitiveTypes), ...knownTypeNames(application, [])]);\n\n    const checkProperties = (properties: PropertySymbol[], owner: string) => {\n        for (const property of properties.filter(\n            (candidate) => !types.has(propertyTypeReference(candidate).name),\n        )) {\n            const bare = propertyTypeReference(property).name;\n            issues.push(\n                issue(\n                    'warning',\n                    property.line,\n                    property.sourceType!.startColumn,\n                    property.sourceType!.text.length,\n                    bare === 'optional'\n                        ? `Unknown type 'optional' on '${property.name}' of ${owner} — did you forget the type before 'optional'?`\n                        : `Unknown type '${bare}' on '${property.name}' of ${owner} — declare it with 'concept ${bare} : <Primitive>' or 'type ${bare}'.`,\n                    diagnosticCodes.unknownType,\n                ),\n            );\n        }\n    };\n\n    for (const type of symbols.types) checkProperties(type.properties, `type '${type.name}'`);\n    for (const event of symbols.events) checkProperties(event.properties, `event '${event.name}'`);\n    for (const query of symbols.queries) checkProperties(query.parameters, `query '${query.name}'`);\n    for (const command of symbols.commands) {\n        checkProperties(command.properties, `command '${command.name}'`);\n        const identifiers = command.properties.filter((property) => property.isIdentifier);\n        for (const extra of identifiers.slice(1)) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    extra.line,\n                    lines[extra.line],\n                    'identifier',\n                    `Command '${command.name}' already marks '${identifiers[0].name}' as identifier — only one property can be the identifier.`,\n                    diagnosticCodes.duplicateCommandIdentifier,\n                ),\n            );\n        }\n    }\n\n    const declared = new Map<string, number>();\n    for (const declaration of [...symbols.concepts, ...symbols.types]) {\n        const first = declared.get(declaration.name);\n        if (first === undefined) {\n            declared.set(declaration.name, declaration.line);\n            continue;\n        }\n        issues.push(\n            tokenIssue(\n                'error',\n                declaration.line,\n                lines[declaration.line],\n                declaration.name,\n                `Duplicate declaration of '${declaration.name}' — concept and type names must be unique.`,\n                diagnosticCodes.duplicateDeclaration,\n            ),\n        );\n    }\n\n    return issues;\n}\n\n// Validates a Screenplay document without any editor dependency — both the Monaco\n// service and the VSCode extension adapt these issues to their marker/diagnostic APIs.\n//\n// The checks read the document line by line, never as a whole document's top level, so a file an import\n// places in a module or feature - holding slices or features at its top level - validates as it is written.\n// Where it is placed, and whether its imports resolve, is the compiler's to say.\n// A policy expression joins policy names with `and` and `or`, groups them with parentheses, and may put `not` before a\n// name. Only the names are policies: the operators and the parentheses are not.\nconst policyOperators = new Set(['and', 'or', 'not']);\n\n// A line that continues an `authorize` expression: names, operators and parentheses, and nothing else.\nconst policyContinuation = /^(?:(?:and|or|not)\\s+|\\()*[A-Z]\\w*\\)*(?:\\s+(?:(?:and|or|not)\\s+|\\()*[A-Z]\\w*\\)*)*$/;\n\nfunction policyNames(expression: string): string[] {\n    return (expression.match(/[A-Za-z_]\\w*/g) ?? []).filter((token) => !policyOperators.has(token));\n}\n\nexport function validateLines(lines: string[], context: ValidationContext = {}): ValidationIssue[] {\n    const fences = fenceMap(lines);\n    const scanned = scanDocument(lines);\n    const application = context.application ?? mergeSymbols();\n    const input = symbolsForBuffer(lines, { ...application, authoringPath: context.path ?? application.authoringPath, authoringPlacement: context.placement ?? application.authoringPlacement });\n    const analysis = responseAnalysis(lines, input.authoringDocuments ?? input.authoringSources?.filter(source => source !== lines.join('\\n')), input.authoringPlacement, input.authoringPath, input.authoringPlacementResolved);\n    const routeLines = new Set(analysis.eventSources.routes.map(route => route.location.line - 1));\n    const symbols = { ...scanned, commands: scanned.commands.map(command => ({ ...command,\n        properties: command.properties.filter(property => !routeLines.has(property.line)),\n        produces: command.produces?.filter(production => !analysis.operationProductionLines?.has(production.line)),\n        productionHeaders: command.productionHeaders?.filter(line => !analysis.operationProductionLines?.has(line)),\n    })) };\n    const events = new Set([...knownEventNames(symbols), ...knownEventNames(application)]);\n    const policies = new Set([...symbols.policies, ...application.policies].map((policy) => policy.name));\n    const issues: ValidationIssue[] = validateDeclarations(lines, symbols, application);\n    issues.push(...validateProductionDestinations(lines, symbols));\n    // One parser pass covers committed types, including query results and trigger data, without\n    // speculative property scans mistaking tags, paths, strings or code for optionality.\n    const generationCodes = new Set<string>([DiagnosticCodes.UnknownGenerationStrategy, DiagnosticCodes.InvalidGenerationArgument, DiagnosticCodes.InvalidGenerationModifier, DiagnosticCodes.DuplicateGenerationModifier, DiagnosticCodes.DuplicateGeneration, DiagnosticCodes.InvalidGenerationPrimitive, DiagnosticCodes.InvalidGenerationPrefix, DiagnosticCodes.InvalidGenerationAlphabet, DiagnosticCodes.InvalidTypeIdPrefix, DiagnosticCodes.GenerationSizeOutsideRange, DiagnosticCodes.ReservedSequenceGeneration, DiagnosticCodes.LowGenerationEntropy, DiagnosticCodes.LowGeneratedIdentifierEntropy, DiagnosticCodes.RefutedGeneratedConceptRule, DiagnosticCodes.UnprovenGeneratedConceptRule, DiagnosticCodes.GenerationSupportBudgetExceeded, DiagnosticCodes.EmptyGenerationSupport]);\n    const enumerationCodes = new Set<string>([DiagnosticCodes.MixedEnumerationNumbering, DiagnosticCodes.DuplicateEnumerationNumber, DiagnosticCodes.EnumerationNumberOutsideInt32, DiagnosticCodes.MalformedEnumerationNumber, DiagnosticCodes.UnpinnedStoredEnumeration]);\n    const optionalCodes = new Set<string>([DiagnosticCodes.LegacyOptionalSuffix, DiagnosticCodes.InvalidOptionalModifierOrder, DiagnosticCodes.OptionalReadsNotSupported]);\n    const policyCodes = new Set<string>([DiagnosticCodes.UnexpectedTokenInPolicyCondition, DiagnosticCodes.ExpectedPolicyCondition, DiagnosticCodes.UnclosedPolicyConditionGroup, DiagnosticCodes.ExpectedRoleName, DiagnosticCodes.ExpectedClaimName, DiagnosticCodes.ExpectedClaimMatches, DiagnosticCodes.ExpectedClaimMatchTarget, DiagnosticCodes.AnonymousPolicyCombined, DiagnosticCodes.NegatedAnonymousPolicy]);\n    const consistencyCodes = new Set<string>([DiagnosticCodes.UnknownEvent, DiagnosticCodes.UnknownReadModelProperty, DiagnosticCodes.PiiNotSupportedOnIdentifier]);\n    const timelineCodes = new Set<string>([DiagnosticCodes.EventFromLaterSlice, DiagnosticCodes.TimelineCycleGroup]);\n    const dependencyCodes = new Set<string>([DiagnosticCodes.UndeclaredDependency, DiagnosticCodes.UnusedDependencyDeclaration, DiagnosticCodes.InvalidDependencyTarget, DiagnosticCodes.RepeatedDependencyDeclaration, DiagnosticCodes.MutualDependencyDeclarations, DiagnosticCodes.AmbiguousReference]);\n    // These parser diagnostics must reach the marker adapter. C#-only completeness and reference\n    // checks are not synthesized here, but are preserved when a caller supplies compiler diagnostics.\n    const authoringCodes = new Set<string>([DiagnosticCodes.InvalidSpecificationInvocation, DiagnosticCodes.InvalidActionSubjectClause, DiagnosticCodes.InferredActionSubject, DiagnosticCodes.ChangedActionSubject, DiagnosticCodes.AmbiguousActionInputBinding, DiagnosticCodes.UnsupportedActionSubjectContext, DiagnosticCodes.InvalidTimeZoneDeclaration, DiagnosticCodes.InvalidCommandCalendar, DiagnosticCodes.InvalidSpecificationTimeZone, DiagnosticCodes.InvalidCommandReadsDeclaration, DiagnosticCodes.UnknownMatchPattern, DiagnosticCodes.InvalidMatchPattern, DiagnosticCodes.PatternOutsidePortableMatchDialect, DiagnosticCodes.AmbiguousMatchPattern, DiagnosticCodes.DeprecatedStudioTextRulePattern, DiagnosticCodes.MismatchedSpecificationQueryResult, DiagnosticCodes.DirectionlessTranslationReactsToOwnCapture, DiagnosticCodes.CaptureEventsFromSeveralOrigins, DiagnosticCodes.CaptureEventsKeyNotRequired, DiagnosticCodes.CaptureEventsRecordFixture, DiagnosticCodes.CaptureEventSourceKeyOutsideEvents, DiagnosticCodes.EventIdPinNotCarriedToRenderers, DiagnosticCodes.ResponseNameUsedOnFailure, DiagnosticCodes.InvalidEventDeclaration, DiagnosticCodes.InvalidImportDeclaration, DiagnosticCodes.InvalidSliceDeclaration, DiagnosticCodes.InvalidDescription, DiagnosticCodes.DuplicateDescription, DiagnosticCodes.EmptyDescription, DiagnosticCodes.DuplicateEventSubject, DiagnosticCodes.InvalidSubjectType, DiagnosticCodes.ProtectedSubjectType, DiagnosticCodes.InvalidSubjectOwner, DiagnosticCodes.ReadModelSubjectNotSupported, DiagnosticCodes.InvalidSubjectModifierOrder, DiagnosticCodes.UnsupportedInteractionAlternatives, DiagnosticCodes.MixedInteractionAlternatives, DiagnosticCodes.InteractionAlternativeWithoutActions, DiagnosticCodes.InlineInteractionAlternative, DiagnosticCodes.LegacyInteractionWhere, DiagnosticCodes.InvalidSpecificationParameter, DiagnosticCodes.InvalidSpecificationCase, DiagnosticCodes.DuplicateSpecificationParameter, DiagnosticCodes.DuplicateSpecificationCase, DiagnosticCodes.IncompleteSpecificationTable, DiagnosticCodes.InvalidSpecificationCaseAssignment, DiagnosticCodes.InvalidSpecificationCaseValue, DiagnosticCodes.InvalidSpecificationCaseReference, DiagnosticCodes.OptionalSpecificationParameterTarget, DiagnosticCodes.SpecificationCaseNameCollision, DiagnosticCodes.IncompatibleSpecificationParameterType, DiagnosticCodes.UnusedSpecificationParameter, DiagnosticCodes.SingularSpecificationTableExpansion, DiagnosticCodes.InvalidSpecificationCallerPersona, DiagnosticCodes.UnsynthesizablePersonaCaller, DiagnosticCodes.PersonaWithoutGate, DiagnosticCodes.GateWithoutPersona, DiagnosticCodes.AmbiguousPersonaCaller, DiagnosticCodes.InvalidDocumentation, DiagnosticCodes.ConflictingDocumentationAcrossFiles, DiagnosticCodes.InvalidAbsentReadModelStep, DiagnosticCodes.UnknownConstraintProperty, DiagnosticCodes.OmittedProductionDestination, DiagnosticCodes.InvalidSpecificationExample, DiagnosticCodes.DuplicateSpecificationAssignment, DiagnosticCodes.InvalidReactionBatchesDeclaration, DiagnosticCodes.DescribedCommandNotImplemented, DiagnosticCodes.DescribedCommandWithoutProductions, DiagnosticCodes.DescribedCommandCardinalityNotAdmitted, DiagnosticCodes.CommandHandlerRequiresAttachment, DiagnosticCodes.PendingIntentWithOtherHandler, DiagnosticCodes.DuplicateEventInProjectionScope, DiagnosticCodes.ReservedStoredName, DiagnosticCodes.ContextSourcedPerformedQueryArgument]);\n    const complianceCodes = new Set<string>([DiagnosticCodes.InvalidPurposeDeclaration, DiagnosticCodes.InvalidPurposeVocabulary, DiagnosticCodes.DuplicatePurposeField, DiagnosticCodes.DuplicatePurposeDeclaration, DiagnosticCodes.UnknownPurpose, DiagnosticCodes.PurposeInterestMismatch, DiagnosticCodes.PersonalDataWithoutPurpose, DiagnosticCodes.SpecialDataWithoutCondition, DiagnosticCodes.CriminalDataWithoutAuthorization, DiagnosticCodes.PurposeWithoutBasis, DiagnosticCodes.UnusedPurpose, DiagnosticCodes.UnknownConceptDirective, DiagnosticCodes.AttributeReasonWithoutAttribute, DiagnosticCodes.DuplicateAttributeReason, DiagnosticCodes.LegacyComplianceMarker, DiagnosticCodes.DuplicateComplianceMarker, DiagnosticCodes.UnknownComplianceMarker, DiagnosticCodes.InvalidSecretScope, DiagnosticCodes.DuplicateSecretScope, DiagnosticCodes.SecretScopeIgnoredForPii, DiagnosticCodes.InvalidPersonalDataQualifier, DiagnosticCodes.DuplicateSpecialCategory]);\n    const compilerUnknownEventLines = new Set<number>();\n    for (const diagnostic of context.compilerDiagnostics ?? analysis.diagnostics) {\n        const identityType = diagnostic.code === DiagnosticCodes.UnknownType && (analysis.identityDetails ?? []).some(detail => detail.line === diagnostic.location.line - 1);\n        const identityDuplicate = diagnostic.code === DiagnosticCodes.RepeatedSingularDeclarationAcrossFiles && diagnostic.message.includes('identity block');\n        const policyDuplicate = diagnostic.code === DiagnosticCodes.DuplicateDeclaration && diagnostic.message.startsWith('Duplicate declaration of policy ');\n        if (!policyDuplicate && !identityType && !identityDuplicate && !generationCodes.has(diagnostic.code) && !enumerationCodes.has(diagnostic.code) && !complianceCodes.has(diagnostic.code) && !optionalCodes.has(diagnostic.code) && !policyCodes.has(diagnostic.code) && !consistencyCodes.has(diagnostic.code) && !timelineCodes.has(diagnostic.code) && !dependencyCodes.has(diagnostic.code) && !authoringCodes.has(diagnostic.code) && diagnostic.code !== DiagnosticCodes.ReducerIdentityMismatch && diagnostic.code !== DiagnosticCodes.InvalidSpecificationExampleBody && diagnostic.code !== DiagnosticCodes.UnknownRuleImplementationDirective && diagnostic.code !== DiagnosticCodes.InvalidValidationRule && diagnostic.code !== DiagnosticCodes.RepeatedDeclarationAcrossFiles && !/^PLAY049[0-9]$|^PLAY050[0-7]$|^PLAY054[7-9]$|^PLAY055[01]$|^PLAY048[2-9]$|^PLAY004[56]$|^PLAY053[0-9]$|^PLAY054[0-6]$|^PLAY034[1-8]$|^PLAY0557$|^PLAY060[7-9]$|^PLAY061[0-9]$|^PLAY0620$|^PLAY062[1-9]$|^PLAY063[0-9]$|^PLAY064[0-9]$|^PLAY065[0-2]$|^PLAY065[4-6]$|^PLAY066[0-6]$|^PLAY072[0-2]$/.test(diagnostic.code)) continue;\n        const line = diagnostic.location.line - 1;\n        if (diagnostic.code === DiagnosticCodes.OmittedProductionDestination && issues.some(existing => existing.code === diagnostic.code && existing.line === line)) continue;\n        if (diagnostic.code === DiagnosticCodes.UnknownEvent) {\n            if (compilerUnknownEventLines.has(line)) continue;\n            compilerUnknownEventLines.add(line);\n        }\n        const length = legacyOptionalTypeLength(lines[line], diagnostic) || lines[line].length - diagnostic.location.column + 1;\n        issues.push(issue(diagnostic.severity, line, diagnostic.location.column, length, diagnostic.message, diagnostic.code as DiagnosticCode));\n    }\n\n    const checkEvent = (line: number, text: string, name: string) => {\n        if (!events.has(name) && !compilerUnknownEventLines.has(line)) {\n            issues.push(\n                tokenIssue(\n                    'warning',\n                    line,\n                    text,\n                    name,\n                    `Unknown event type '${name}' — declare it in a slice or import it.`,\n                    diagnosticCodes.unknownEvent,\n                ),\n            );\n        }\n    };\n\n    let authorizeIndent = -1;\n\n    for (let index = 0; index < lines.length; index++) {\n        const line = lines[index];\n        const trimmed = line.trim();\n\n        if (fences[index] || trimmed.length === 0) continue;\n\n        const leading = line.match(/^[ ]*(\\t+)/);\n        if (leading) {\n            issues.push(\n                issue(\n                    'warning',\n                    index,\n                    leading[0].length - leading[1].length + 1,\n                    leading[1].length,\n                    'Screenplay is indentation-based — use spaces, not tabs.',\n                    diagnosticCodes.tabIndentation,\n                ),\n            );\n        }\n\n        // Policy references continue on indented lines below an authorize clause.\n        if (authorizeIndent >= 0) {\n            if (\n                indentOf(line) > authorizeIndent &&\n                policyContinuation.test(trimmed)\n            ) {\n                for (const name of policyNames(trimmed)) {\n                    if (!policies.has(name)) {\n                        issues.push(\n                            tokenIssue(\n                                'warning',\n                                index,\n                                line,\n                                name,\n                                `Unknown policy '${name}' — declare it with 'policy ${name}'.`,\n                                diagnosticCodes.unknownPolicy,\n                            ),\n                        );\n                    }\n                }\n                continue;\n            }\n            authorizeIndent = -1;\n        }\n\n        const fileImportIssue = validateImport(lines, fences, index);\n        if (fileImportIssue) issues.push(fileImportIssue);\n\n        const slice = trimmed.match(/^slice\\s+(\\w+)/);\n        if (slice && !sliceTypes.includes(slice[1])) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    index,\n                    line,\n                    slice[1],\n                    `Unknown slice type '${slice[1]}' — expected ${sliceTypes.join(', ')}.`,\n                    diagnosticCodes.unknownSliceType,\n                ),\n            );\n        }\n\n        const concept = trimmed.match(/^concept\\s+\\w+\\s*:\\s*(\\w+)/);\n        if (concept && concept[1] !== 'Enum' && !primitiveTypes.includes(concept[1])) {\n            issues.push(\n                tokenIssue(\n                    'error',\n                    index,\n                    line,\n                    concept[1],\n                    `Unknown primitive type '${concept[1]}' — expected ${primitiveTypes.join(', ')} or Enum.`,\n                    diagnosticCodes.unknownPrimitiveType,\n                ),\n            );\n        }\n\n        const authorize = trimmed.match(/^authorize\\s+(.*)$/);\n        if (authorize) {\n            authorizeIndent = indentOf(line);\n            for (const name of policyNames(authorize[1])) {\n                if (!policies.has(name)) {\n                    issues.push(\n                        tokenIssue(\n                            'warning',\n                            index,\n                            line,\n                            name,\n                            `Unknown policy '${name}' — declare it with 'policy ${name}'.`,\n                            diagnosticCodes.unknownPolicy,\n                        ),\n                    );\n                }\n            }\n        }\n\n        const reactsOn = trimmed.match(/^on\\s+([A-Z]\\w*)\\s*$/);\n        if (reactsOn) checkEvent(index, line, reactsOn[1]);\n\n        const produces = trimmed.match(/^produces\\s+([A-Z]\\w*)\\s*$/);\n        if (produces && !analysis.operationProductionLines?.has(index)) checkEvent(index, line, produces[1]);\n\n        if (/^produces\\s+when\\b/.test(trimmed) && !analysis.operationProductionLines?.has(index)) {\n            for (let next = index + 1; next < lines.length; next++) {\n                const candidate = lines[next];\n                if (fences[next] || candidate.trim().length === 0) continue;\n                if (indentOf(candidate) > indentOf(line)) {\n                    const name = candidate.trim().match(/^([A-Z]\\w*)\\s*$/);\n                    if (name) checkEvent(next, candidate, name[1]);\n                }\n                break;\n            }\n        }\n\n        const uniqueEvent = trimmed.match(/^unique\\s+event\\s+([A-Z]\\w*)/);\n        if (uniqueEvent) checkEvent(index, line, uniqueEvent[1]);\n\n        const uniqueProperty = trimmed.match(/^unique\\s+[a-z_]\\w*\\s+on\\s+([A-Z]\\w*)/);\n        if (uniqueProperty) checkEvent(index, line, uniqueProperty[1]);\n\n        // Every $identity. path must name a member of the caller; anything after 'claims.' is a claim name.\n        // A bare $identity is left to the compilers, which see it only where an expression is expected.\n        for (const path of line.match(/\\$identity\\.[\\w.]+/g) ?? []) {\n            const member = path.substring('$identity.'.length).split('.')[0];\n            const knownIdentity = [...identityProperties, ...(analysis.identityDetails ?? []).map(detail => detail.name)];\n            if (!knownIdentity.includes(member)) {\n                issues.push(tokenIssue('warning', index, line, path,\n                    `Unknown $identity property '${member}' — expected ${knownIdentity.join(', ')}.`,\n                    diagnosticCodes.unknownContextIdentityProperty));\n            }\n        }\n\n        // Every $context. path must name something CommandContext or QueryContext carries.\n        for (const path of line.match(/\\$context\\.[\\w.]+/g) ?? []) {\n            const segments = path.substring('$context.'.length).split('.');\n            if (!contextRoots.includes(segments[0])) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context path '${segments.join('.')}' — expected one of ${contextRoots.join(', ')}.`,\n                        diagnosticCodes.unknownContextPath,\n                    ),\n                );\n            } else if (\n                segments[0] === 'causedBy' &&\n                segments.length > 1 &&\n                !causedByProperties.includes(segments[1])\n            ) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context.causedBy property '${segments[1]}' — expected ${causedByProperties.join(', ')}.`,\n                        diagnosticCodes.unknownContextCausedByProperty,\n                    ),\n                );\n            } else if (\n                segments[0] === 'identity' &&\n                segments.length > 1 &&\n                !identityProperties.includes(segments[1])\n            ) {\n                issues.push(\n                    tokenIssue(\n                        'warning',\n                        index,\n                        line,\n                        path,\n                        `Unknown $context.identity property '${segments[1]}' — expected ${identityProperties.join(', ')}.`,\n                        diagnosticCodes.unknownContextIdentityProperty,\n                    ),\n                );\n            }\n        }\n    }\n\n    issues.push(...validateEventContextPaths(lines, fences));\n    issues.push(...validateInlineEvents(lines, symbols, application, analysis.operationProductionLines));\n\n    const fenceLines = lines\n        .map((line, index) => ({ line, index }))\n        .filter(({ line }) => /^\\s*```(?:[a-z]+)?\\s*$/.test(line));\n    if (fenceLines.length % 2 === 1) {\n        const last = fenceLines[fenceLines.length - 1];\n        issues.push(\n            issue(\n                'error',\n                last.index,\n                1,\n                last.line.length + 1,\n                'Unclosed inline code block — expected a closing ``` line.',\n                diagnosticCodes.unclosedCodeBlock,\n            ),\n        );\n    }\n\n    return issues;\n}\n\n// This is advice, not a semantic default: accepting the typed workspace repair changes routing.\nfunction validateProductionDestinations(lines: string[], symbols: DocumentSymbols): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    lines = eventAnalysisSource(lines);\n    for (const command of symbols.commands) {\n        const identifiers = command.properties.filter(property => property.isIdentifier && !propertyTypeReference(property).isOptional && !propertyTypeReference(property).isCollection);\n        if (identifiers.length !== 1) continue;\n        for (const production of command.produces ?? []) {\n            if (production.inline || production.conditional || production.target !== undefined) continue;\n            const line = production.line;\n            issues.push(issue('information', line, indentOf(lines[line]) + 1, lines[line].trim().length,\n                `Plain 'produces ${production.name}' omits its destination — use 'for ${identifiers[0].name}' to explicitly select the command's identifier.`,\n                diagnosticCodes.omittedProductionDestination));\n        }\n    }\n    return issues;\n}\n\n// Inside a module or feature an import names files, and a quoted import anywhere has the compiler's shape.\nfunction validateImport(lines: string[], fences: boolean[], index: number): ValidationIssue | undefined {\n    const line = lines[index];\n    const trimmed = line.trim().replace(/\\s*\\/\\/.*$/, '');\n    if (!/^import\\b/.test(trimmed) || fileImportOn(line, index)) return undefined;\n    const indent = indentOf(line);\n    const inBody = indent > 0 && ['module', 'feature'].includes(enclosingChain(lines, fences, index, indent)[0]);\n    if (!inBody && !isFileImportLine(line)) return undefined;\n    return issue(\n        'error',\n        index,\n        indent + 1,\n        trimmed.length,\n        `Invalid import '${trimmed}' — inside a module or feature, import names files: 'import \"<path or glob>\"'.`,\n        diagnosticCodes.invalidFileImport,\n    );\n}\n\n// A mapping target: the first word of a mapping line, after the keyword that opens it if there is one.\nconst mappingTarget = /^(?:(?:increment|decrement|count|clear|add|subtract|set)\\s+)?@?([$\\w.]+)(?=\\s|=|$)/;\n\n// Every $eventContext.<path> - in an expression or as the dynamic key of a mapping target - checked against the\n// event-context catalog the way the compiler checks it (Parsing/EventContextPathValidator.cs).\nexport function validateEventContextPaths(lines: string[], fences: boolean[]): ValidationIssue[] {\n    const issues: ValidationIssue[] = [];\n    const names = (members: readonly { name: string }[]) => members.map((member) => member.name).join(', ');\n\n    for (let index = 0; index < lines.length; index++) {\n        const line = lines[index];\n        if (fences[index]) continue;\n\n        for (const match of line.matchAll(/(\\.)?\\$eventContext((?:\\.(?:\\w+(?:\\(\\))?)?)*)/g)) {\n            const token = match[0].substring(match[1]?.length ?? 0);\n            const written = match[2];\n            if (written.length === 0) {\n                // A bare $eventContext names nothing only as a dynamic key; in an expression the compiler rejects it as invalid.\n                if (match[1]) {\n                    issues.push(issue('error', index, (match.index ?? 0) + 2, token.length, `'$eventContext' names no member - expected one of ${names(resolveEventContextPath('').expected)}.`, diagnosticCodes.missingEventContextPath));\n                }\n                continue;\n            }\n\n            const path = written.substring(1);\n            const resolution = resolveEventContextPath(path);\n            const column = (match.index ?? 0) + (match[1]?.length ?? 0) + 1;\n            switch (resolution.status) {\n                case 'missing':\n                    issues.push(issue('error', index, column, token.length, `'$eventContext.${path}' names no member - expected one of ${names(resolution.expected)}.`, diagnosticCodes.missingEventContextPath));\n                    break;\n                case 'unknownMember':\n                    issues.push(issue('warning', index, column, token.length, `Unknown event context member '${resolution.segment}' in '$eventContext.${path}' - expected one of ${names(resolution.expected)}.`, diagnosticCodes.unknownEventContextMember));\n                    break;\n                case 'unknownSubPath': {\n                    const has = resolution.expected.length === 0 ? 'no members to address' : `members ${names(resolution.expected)}`;\n                    issues.push(issue('warning', index, column, token.length, `Unknown event context path '$eventContext.${path}' - '${resolution.member?.name}' (${resolution.member?.type}) has ${has}.`, diagnosticCodes.unknownEventContextPath));\n                    break;\n                }\n                case 'belowCollection':\n                    issues.push(issue('error', index, column, token.length, `'$eventContext.${path}' cannot resolve - '${resolution.member?.name}' is a collection (${resolution.member?.type}) and cannot be addressed below.`, diagnosticCodes.eventContextPathBelowCollection));\n                    break;\n            }\n        }\n\n        // Only $eventContext resolves in a dynamic key; any other $ source is kept as the literal key text.\n        const target = line.trim().match(mappingTarget)?.[1];\n        const source = target?.match(/\\.\\$(\\w+)/)?.[1];\n        if (target && source && source !== 'eventContext') {\n            issues.push(tokenIssue('warning', index, line, target, `Dynamic dictionary key '$${source}' in '${target}' is never resolved - only '$eventContext.<path>' is, so the literal text '$${source}' becomes the key.`, diagnosticCodes.unresolvedDynamicKeySource));\n        }\n    }\n\n    return issues;\n}\n"],"mappings":"88BAgDA,SAAS,MACL,EACA,EACA,EACA,EACA,EACA,EACe,CACf,MAAO,CAAE,WAAU,UAAS,OAAM,cAAa,UAAWA,EAAcC,EAAQ,MAAK,CACzF,CAEA,SAAS,WACL,EACA,EACA,EACA,EACA,EACA,EACe,CAEf,OAAO,MAAMC,EAAUC,EADRC,EAAK,QAAQC,CAAK,EAAI,EACAA,EAAM,OAAQC,EAASC,CAAI,CACpE,CAIA,SAAS,qBAAqB,EAAiB,EAA0B,EAAiD,CACtH,IAAMC,EAA4B,CAAC,EAC7BC,kBAAQ,IAAI,IAAI,CAAC,GAAGC,EAAeC,EAASC,CAAc,EAAG,GAAGF,EAAeG,EAAa,CAAC,CAAC,CAAC,CAAC,EAEhG,iBAAmB,EAA8B,IAAkB,CACrE,IAAK,IAAMC,KAAYC,EAAW,OAC7B,GAAc,CAACN,EAAM,IAAIO,EAAsBC,CAAS,CAAC,CAAC,IAAI,CACnE,EAAG,CACC,IAAMC,EAAOF,EAAsBF,CAAQ,CAAC,CAAC,KAC7CN,EAAO,KACH,MACI,UACAM,EAAS,KACTA,EAAS,WAAY,YACrBA,EAAS,WAAY,KAAK,OAC1BI,IAAS,WACH,+BAA+BJ,EAAS,KAAK,OAAOK,EAAM,+CAC1D,iBAAiBD,EAAK,QAAQJ,EAAS,KAAK,OAAOK,EAAM,8BAA8BD,EAAK,2BAA2BA,EAAK,IAClIE,EAAgB,WACpB,CACJ,CACJ,CACJ,EAEA,IAAK,IAAMC,KAAQV,EAAQ,MAAO,gBAAgBU,EAAK,WAAY,SAASA,EAAK,KAAK,EAAE,EACxF,IAAK,IAAMC,KAASX,EAAQ,OAAQ,gBAAgBW,EAAM,WAAY,UAAUA,EAAM,KAAK,EAAE,EAC7F,IAAK,IAAMC,KAASZ,EAAQ,QAAS,gBAAgBY,EAAM,WAAY,UAAUA,EAAM,KAAK,EAAE,EAC9F,IAAK,IAAMC,KAAWb,EAAQ,SAAU,CACpC,gBAAgBa,EAAQ,WAAY,YAAYA,EAAQ,KAAK,EAAE,EAC/D,IAAMC,EAAcD,EAAQ,WAAW,OAAQ,GAAaV,EAAS,YAAY,EACjF,IAAK,IAAMY,KAASD,EAAY,MAAM,CAAC,EACnCjB,EAAO,KACH,WACI,QACAkB,EAAM,KACNC,EAAMD,EAAM,MACZ,aACA,YAAYF,EAAQ,KAAK,mBAAmBC,EAAY,EAAE,CAAC,KAAK,4DAChEL,EAAgB,0BACpB,CACJ,CAER,CAEA,IAAMQ,kBAAW,IAAI,IACrB,IAAK,IAAMC,IAAe,CAAC,GAAGlB,EAAQ,SAAU,GAAGA,EAAQ,KAAK,EAC9CiB,EAAS,IAAIC,EAAY,IAC/B,IAAM,IAAA,GACVD,EAAS,IAAIC,EAAY,KAAMA,EAAY,IAAI,EAGnDrB,EAAO,KACH,WACI,QACAqB,EAAY,KACZF,EAAME,EAAY,MAClBA,EAAY,KACZ,6BAA6BA,EAAY,KAAK,4CAC9CT,EAAgB,oBACpB,CACJ,EAGJ,OAAOZ,CACX,CAUA,MAAMsB,kBAAkB,IAAI,IAAI,CAAC,MAAO,KAAM,KAAK,CAAC,EAG9CC,EAAqB,qFAE3B,SAAS,YAAY,EAA8B,CAC/C,OAAQC,EAAW,MAAM,eAAe,GAAK,CAAC,EAAA,CAAG,OAAQ,GAAU,CAACF,EAAgB,IAAIzB,CAAK,CAAC,CAClG,CAEA,SAAgB,cAAc,EAAiB,EAA6B,CAAC,EAAsB,CAC/F,IAAM4B,EAASC,EAASP,CAAK,EACvBQ,EAAUC,EAAaT,CAAK,EAC5Bd,EAAcwB,EAAQ,aAAeC,EAAa,EAClDC,EAAQC,EAAiBb,EAAO,CAAE,GAAGd,EAAa,cAAewB,EAAQ,MAAQxB,EAAY,cAAe,mBAAoBwB,EAAQ,WAAaxB,EAAY,kBAAmB,CAAC,EACrL4B,EAAWC,EAAiBf,EAAOY,EAAM,oBAAsBA,EAAM,kBAAkB,OAAO,GAAUI,IAAWhB,EAAM,KAAK;CAAI,CAAC,EAAGY,EAAM,mBAAoBA,EAAM,cAAeA,EAAM,0BAA0B,EACrNK,EAAa,IAAI,IAAIH,EAAS,aAAa,OAAO,IAAI,GAASI,EAAM,SAAS,KAAO,CAAC,CAAC,EACvFlC,EAAU,CAAE,GAAGwB,EAAS,SAAUA,EAAQ,SAAS,IAAI,IAAY,CAAE,GAAGX,EAC1E,WAAYA,EAAQ,WAAW,OAAO,GAAY,CAACoB,EAAW,IAAI9B,EAAS,IAAI,CAAC,EAChF,SAAUU,EAAQ,UAAU,OAAO,GAAc,CAACiB,EAAS,0BAA0B,IAAIK,EAAW,IAAI,CAAC,EACzG,kBAAmBtB,EAAQ,mBAAmB,OAAO,GAAQ,CAACiB,EAAS,0BAA0B,IAAItC,CAAI,CAAC,CAC9G,EAAE,CAAE,EACE4C,kBAAS,IAAI,IAAI,CAAC,GAAGC,EAAgBrC,CAAO,EAAG,GAAGqC,EAAgBnC,CAAW,CAAC,CAAC,EAC/EoC,EAAW,IAAI,IAAI,CAAC,GAAGtC,EAAQ,SAAU,GAAGE,EAAY,QAAQ,CAAC,CAAC,IAAK,GAAWqC,EAAO,IAAI,CAAC,EAC9F1C,EAA4B,qBAAqBmB,EAAOhB,EAASE,CAAW,EAClFL,EAAO,KAAK,GAAG,+BAA+BmB,EAAOhB,CAAO,CAAC,EAG7D,IAAMwC,kBAAkB,IAAI,IAAY,CAACC,EAAgB,0BAA2BA,EAAgB,0BAA2BA,EAAgB,0BAA2BA,EAAgB,4BAA6BA,EAAgB,oBAAqBA,EAAgB,2BAA4BA,EAAgB,wBAAyBA,EAAgB,0BAA2BA,EAAgB,oBAAqBA,EAAgB,2BAA4BA,EAAgB,2BAA4BA,EAAgB,qBAAsBA,EAAgB,8BAA+BA,EAAgB,4BAA6BA,EAAgB,6BAA8BA,EAAgB,gCAAiCA,EAAgB,sBAAsB,CAAC,EAC3vBC,kBAAmB,IAAI,IAAY,CAACD,EAAgB,0BAA2BA,EAAgB,2BAA4BA,EAAgB,8BAA+BA,EAAgB,2BAA4BA,EAAgB,yBAAyB,CAAC,EAChQE,kBAAgB,IAAI,IAAY,CAACF,EAAgB,qBAAsBA,EAAgB,6BAA8BA,EAAgB,yBAAyB,CAAC,EAC/JG,kBAAc,IAAI,IAAY,CAACH,EAAgB,iCAAkCA,EAAgB,wBAAyBA,EAAgB,6BAA8BA,EAAgB,iBAAkBA,EAAgB,kBAAmBA,EAAgB,qBAAsBA,EAAgB,yBAA0BA,EAAgB,wBAAyBA,EAAgB,sBAAsB,CAAC,EAC7YI,kBAAmB,IAAI,IAAY,CAACJ,EAAgB,aAAcA,EAAgB,yBAA0BA,EAAgB,2BAA2B,CAAC,EACxJK,kBAAgB,IAAI,IAAY,CAACL,EAAgB,oBAAqBA,EAAgB,kBAAkB,CAAC,EACzGM,kBAAkB,IAAI,IAAY,CAACN,EAAgB,qBAAsBA,EAAgB,4BAA6BA,EAAgB,wBAAyBA,EAAgB,8BAA+BA,EAAgB,6BAA8BA,EAAgB,kBAAkB,CAAC,EAG/RO,kBAAiB,IAAI,IAAY,CAACP,EAAgB,+BAAgCA,EAAgB,2BAA4BA,EAAgB,sBAAuBA,EAAgB,qBAAsBA,EAAgB,4BAA6BA,EAAgB,gCAAiCA,EAAgB,2BAA4BA,EAAgB,uBAAwBA,EAAgB,6BAA8BA,EAAgB,+BAAgCA,EAAgB,oBAAqBA,EAAgB,oBAAqBA,EAAgB,mCAAoCA,EAAgB,sBAAuBA,EAAgB,gCAAiCA,EAAgB,mCAAoCA,EAAgB,2CAA4CA,EAAgB,gCAAiCA,EAAgB,4BAA6BA,EAAgB,2BAA4BA,EAAgB,mCAAoCA,EAAgB,gCAAiCA,EAAgB,0BAA2BA,EAAgB,wBAAyBA,EAAgB,yBAA0BA,EAAgB,wBAAyBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,iBAAkBA,EAAgB,sBAAuBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,oBAAqBA,EAAgB,6BAA8BA,EAAgB,4BAA6BA,EAAgB,mCAAoCA,EAAgB,6BAA8BA,EAAgB,qCAAsCA,EAAgB,6BAA8BA,EAAgB,uBAAwBA,EAAgB,8BAA+BA,EAAgB,yBAA0BA,EAAgB,gCAAiCA,EAAgB,2BAA4BA,EAAgB,6BAA8BA,EAAgB,mCAAoCA,EAAgB,8BAA+BA,EAAgB,kCAAmCA,EAAgB,qCAAsCA,EAAgB,+BAAgCA,EAAgB,uCAAwCA,EAAgB,6BAA8BA,EAAgB,oCAAqCA,EAAgB,kCAAmCA,EAAgB,6BAA8BA,EAAgB,mBAAoBA,EAAgB,mBAAoBA,EAAgB,uBAAwBA,EAAgB,qBAAsBA,EAAgB,oCAAqCA,EAAgB,2BAA4BA,EAAgB,0BAA2BA,EAAgB,6BAA8BA,EAAgB,4BAA6BA,EAAgB,iCAAkCA,EAAgB,kCAAmCA,EAAgB,+BAAgCA,EAAgB,mCAAoCA,EAAgB,uCAAwCA,EAAgB,iCAAkCA,EAAgB,8BAA+BA,EAAgB,gCAAiCA,EAAgB,mBAAoBA,EAAgB,oCAAoC,CAAC,EACv0GQ,kBAAkB,IAAI,IAAY,CAACR,EAAgB,0BAA2BA,EAAgB,yBAA0BA,EAAgB,sBAAuBA,EAAgB,4BAA6BA,EAAgB,eAAgBA,EAAgB,wBAAyBA,EAAgB,2BAA4BA,EAAgB,4BAA6BA,EAAgB,iCAAkCA,EAAgB,oBAAqBA,EAAgB,cAAeA,EAAgB,wBAAyBA,EAAgB,gCAAiCA,EAAgB,yBAA0BA,EAAgB,uBAAwBA,EAAgB,0BAA2BA,EAAgB,wBAAyBA,EAAgB,mBAAoBA,EAAgB,qBAAsBA,EAAgB,yBAA0BA,EAAgB,6BAA8BA,EAAgB,wBAAwB,CAAC,EAC/6BS,kBAA4B,IAAI,IACtC,IAAK,IAAMC,KAAczB,EAAQ,qBAAuBI,EAAS,YAAa,CAC1E,IAAMsB,EAAeD,EAAW,OAASV,EAAgB,cAAgBX,EAAS,iBAAmB,CAAC,EAAA,CAAG,KAAK,GAAUuB,EAAO,OAASF,EAAW,SAAS,KAAO,CAAC,EAC9JG,EAAoBH,EAAW,OAASV,EAAgB,wCAA0CU,EAAW,QAAQ,SAAS,gBAAgB,EAEpJ,GAAI,EADoBA,EAAW,OAASV,EAAgB,sBAAwBU,EAAW,QAAQ,WAAW,kCAAkC,IAC5H,CAACC,GAAgB,CAACE,GAAqB,CAACd,EAAgB,IAAIW,EAAW,IAAI,GAAK,CAACT,EAAiB,IAAIS,EAAW,IAAI,GAAK,CAACF,EAAgB,IAAIE,EAAW,IAAI,GAAK,CAACR,EAAc,IAAIQ,EAAW,IAAI,GAAK,CAACP,EAAY,IAAIO,EAAW,IAAI,GAAK,CAACN,EAAiB,IAAIM,EAAW,IAAI,GAAK,CAACL,EAAc,IAAIK,EAAW,IAAI,GAAK,CAACJ,EAAgB,IAAII,EAAW,IAAI,GAAK,CAACH,EAAe,IAAIG,EAAW,IAAI,GAAKA,EAAW,OAASV,EAAgB,yBAA2BU,EAAW,OAASV,EAAgB,iCAAmCU,EAAW,OAASV,EAAgB,oCAAsCU,EAAW,OAASV,EAAgB,uBAAyBU,EAAW,OAASV,EAAgB,gCAAkC,CAAC,oSAAoS,KAAKU,EAAW,IAAI,EAAG,SACxjC,IAAM3D,EAAO2D,EAAW,SAAS,KAAO,EACxC,GAAIA,EAAW,OAASV,EAAgB,8BAAgC5C,EAAO,KAAK,GAAY0D,EAAS,OAASJ,EAAW,MAAQI,EAAS,OAAS/D,CAAI,EAAG,SAC9J,GAAI2D,EAAW,OAASV,EAAgB,aAAc,CAClD,GAAIS,EAA0B,IAAI1D,CAAI,EAAG,SACzC0D,EAA0B,IAAI1D,CAAI,CACtC,CACA,IAAMF,EAASkE,EAAyBxC,EAAMxB,GAAO2D,CAAU,GAAKnC,EAAMxB,EAAK,CAAC,OAAS2D,EAAW,SAAS,OAAS,EACtHtD,EAAO,KAAK,MAAMsD,EAAW,SAAU3D,EAAM2D,EAAW,SAAS,OAAQ7D,EAAQ6D,EAAW,QAASA,EAAW,IAAsB,CAAC,CAC3I,CAEA,IAAM,YAAc,EAAc,EAAc,IAAiB,CACzD,CAACf,EAAO,IAAIqB,CAAI,GAAK,CAACP,EAA0B,IAAI1D,CAAI,GACxDK,EAAO,KACH,WACI,UACAL,EACAC,EACAgE,EACA,uBAAuBA,EAAK,yCAC5BhD,EAAgB,YACpB,CACJ,CAER,EAEIiD,EAAkB,GAEtB,IAAK,IAAIC,EAAQ,EAAGA,EAAQ3C,EAAM,OAAQ,IAAS,CAC/C,IAAMxB,EAAOwB,EAAM2C,GACbC,EAAUpE,EAAK,KAAK,EAE1B,GAAI8B,EAAOqC,IAAUC,EAAQ,SAAW,EAAG,SAE3C,IAAMC,EAAUrE,EAAK,MAAM,YAAY,EAevC,GAdIqE,GACAhE,EAAO,KACH,MACI,UACA8D,EACAE,EAAQ,EAAE,CAAC,OAASA,EAAQ,EAAE,CAAC,OAAS,EACxCA,EAAQ,EAAE,CAAC,OACX,0DACApD,EAAgB,cACpB,CACJ,EAIAiD,GAAmB,EAAG,CACtB,GACII,EAAStE,CAAI,EAAIkE,GACjBtC,EAAmB,KAAKwC,CAAO,EACjC,CACE,IAAK,IAAMH,KAAQ,YAAYG,CAAO,EAC7BtB,EAAS,IAAImB,CAAI,GAClB5D,EAAO,KACH,WACI,UACA8D,EACAnE,EACAiE,EACA,mBAAmBA,EAAK,8BAA8BA,EAAK,IAC3DhD,EAAgB,aACpB,CACJ,EAGR,QACJ,CACA,EAAkB,EACtB,CAEA,IAAMsD,EAAkB,eAAe/C,EAAOM,EAAQqC,CAAK,EACvDI,GAAiBlE,EAAO,KAAKkE,CAAe,EAEhD,IAAMC,EAAQJ,EAAQ,MAAM,gBAAgB,EACxCI,GAAS,CAACC,EAAW,SAASD,EAAM,EAAE,GACtCnE,EAAO,KACH,WACI,QACA8D,EACAnE,EACAwE,EAAM,GACN,uBAAuBA,EAAM,GAAG,eAAeC,EAAW,KAAK,IAAI,EAAE,GACrExD,EAAgB,gBACpB,CACJ,EAGJ,IAAMyD,EAAUN,EAAQ,MAAM,4BAA4B,EACtDM,GAAWA,EAAQ,KAAO,QAAU,CAACjE,EAAe,SAASiE,EAAQ,EAAE,GACvErE,EAAO,KACH,WACI,QACA8D,EACAnE,EACA0E,EAAQ,GACR,2BAA2BA,EAAQ,GAAG,eAAejE,EAAe,KAAK,IAAI,EAAE,WAC/EQ,EAAgB,oBACpB,CACJ,EAGJ,IAAM0D,EAAYP,EAAQ,MAAM,oBAAoB,EACpD,GAAIO,EAAW,CACX,EAAkBL,EAAStE,CAAI,EAC/B,IAAK,IAAMiE,KAAQ,YAAYU,EAAU,EAAE,EAClC7B,EAAS,IAAImB,CAAI,GAClB5D,EAAO,KACH,WACI,UACA8D,EACAnE,EACAiE,EACA,mBAAmBA,EAAK,8BAA8BA,EAAK,IAC3DhD,EAAgB,aACpB,CACJ,CAGZ,CAEA,IAAM2D,EAAWR,EAAQ,MAAM,sBAAsB,EACjDQ,GAAU,WAAWT,EAAOnE,EAAM4E,EAAS,EAAE,EAEjD,IAAMC,EAAWT,EAAQ,MAAM,4BAA4B,EAG3D,GAFIS,GAAY,CAACvC,EAAS,0BAA0B,IAAI6B,CAAK,GAAG,WAAWA,EAAOnE,EAAM6E,EAAS,EAAE,EAE/F,qBAAqB,KAAKT,CAAO,GAAK,CAAC9B,EAAS,0BAA0B,IAAI6B,CAAK,EACnF,IAAK,IAAIW,EAAOX,EAAQ,EAAGW,EAAOtD,EAAM,OAAQ,IAAQ,CACpD,IAAMV,EAAYU,EAAMsD,GACxB,GAAI,IAAOA,IAAShE,EAAU,KAAK,CAAC,CAAC,SAAW,GAChD,IAAIwD,EAASxD,CAAS,EAAIwD,EAAStE,CAAI,EAAG,CACtC,IAAMiE,EAAOnD,EAAU,KAAK,CAAC,CAAC,MAAM,iBAAiB,EACjDmD,GAAM,WAAWa,EAAMhE,EAAWmD,EAAK,EAAE,CACjD,CACA,KADA,CAEJ,CAGJ,IAAMc,EAAcX,EAAQ,MAAM,8BAA8B,EAC5DW,GAAa,WAAWZ,EAAOnE,EAAM+E,EAAY,EAAE,EAEvD,IAAMC,EAAiBZ,EAAQ,MAAM,uCAAuC,EACxEY,GAAgB,WAAWb,EAAOnE,EAAMgF,EAAe,EAAE,EAI7D,IAAK,IAAMC,KAAQjF,EAAK,MAAM,qBAAqB,GAAK,CAAC,EAAG,CACxD,IAAMkF,EAASD,EAAK,UAAU,EAAmB,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GACxDE,EAAgB,CAAC,GAAGC,EAAoB,IAAI9C,EAAS,iBAAmB,CAAC,EAAA,CAAG,IAAI,GAAUuB,EAAO,IAAI,CAAC,EACvGsB,EAAc,SAASD,CAAM,GAC9B7E,EAAO,KAAK,WAAW,UAAW8D,EAAOnE,EAAMiF,EAC3C,+BAA+BC,EAAO,eAAeC,EAAc,KAAK,IAAI,EAAE,GAC9ElE,EAAgB,8BAA8B,CAAC,CAE3D,CAGA,IAAK,IAAMgE,KAAQjF,EAAK,MAAM,oBAAoB,GAAK,CAAC,EAAG,CACvD,IAAMqF,EAAWJ,EAAK,UAAU,CAAkB,CAAC,CAAC,MAAM,GAAG,EACxDK,EAAa,SAASD,EAAS,EAAE,EAYlCA,EAAS,KAAO,YAChBA,EAAS,OAAS,GAClB,CAACE,EAAmB,SAASF,EAAS,EAAE,EAExChF,EAAO,KACH,WACI,UACA8D,EACAnE,EACAiF,EACA,uCAAuCI,EAAS,GAAG,eAAeE,EAAmB,KAAK,IAAI,EAAE,GAChGtE,EAAgB,8BACpB,CACJ,EAEAoE,EAAS,KAAO,YAChBA,EAAS,OAAS,GAClB,CAACD,EAAmB,SAASC,EAAS,EAAE,GAExChF,EAAO,KACH,WACI,UACA8D,EACAnE,EACAiF,EACA,uCAAuCI,EAAS,GAAG,eAAeD,EAAmB,KAAK,IAAI,EAAE,GAChGnE,EAAgB,8BACpB,CACJ,EAvCAZ,EAAO,KACH,WACI,UACA8D,EACAnE,EACAiF,EACA,0BAA0BI,EAAS,KAAK,GAAG,EAAE,sBAAsBC,EAAa,KAAK,IAAI,EAAE,GAC3FrE,EAAgB,kBACpB,CACJ,CAgCR,CACJ,CAEAZ,EAAO,KAAK,GAAG,0BAA0BmB,EAAOM,CAAM,CAAC,EACvDzB,EAAO,KAAK,GAAGmF,EAAqBhE,EAAOhB,EAASE,EAAa4B,EAAS,wBAAwB,CAAC,EAEnG,IAAMmD,EAAajE,EACd,KAAK,EAAM,KAAW,CAAE,OAAM,OAAM,EAAE,CAAC,CACvC,QAAQ,CAAE,UAAW,yBAAyB,KAAKxB,CAAI,CAAC,EAC7D,GAAIyF,EAAW,OAAS,GAAM,EAAG,CAC7B,IAAMC,EAAOD,EAAWA,EAAW,OAAS,GAC5CpF,EAAO,KACH,MACI,QACAqF,EAAK,MACL,EACAA,EAAK,KAAK,OAAS,EACnB,4DACAzE,EAAgB,iBACpB,CACJ,CACJ,CAEA,OAAOZ,CACX,CAGA,SAAS,+BAA+B,EAAiB,EAA6C,CAClG,IAAMA,EAA4B,CAAC,EACnC,EAAQsF,EAAoBnE,CAAK,EACjC,IAAK,IAAMH,KAAWb,EAAQ,SAAU,CACpC,IAAMc,EAAcD,EAAQ,WAAW,OAAO,GAAYV,EAAS,cAAgB,CAACE,EAAsBF,CAAQ,CAAC,CAAC,YAAc,CAACE,EAAsBF,CAAQ,CAAC,CAAC,YAAY,EAC/K,GAAIW,EAAY,SAAW,EAC3B,IAAK,IAAMqB,KAActB,EAAQ,UAAY,CAAC,EAAG,CAC7C,GAAIsB,EAAW,QAAUA,EAAW,aAAeA,EAAW,SAAW,IAAA,GAAW,SACpF,IAAM3C,EAAO2C,EAAW,KACxBtC,EAAO,KAAK,MAAM,cAAeL,EAAMsE,EAAS9C,EAAMxB,EAAK,EAAI,EAAGwB,EAAMxB,EAAK,CAAC,KAAK,CAAC,CAAC,OACjF,mBAAmB2C,EAAW,KAAK,qCAAqCrB,EAAY,EAAE,CAAC,KAAK,kDAC5FL,EAAgB,4BAA4B,CAAC,CACrD,CACJ,CACA,OAAOZ,CACX,CAGA,SAAS,eAAe,EAAiB,EAAmB,EAA4C,CACpG,IAAML,EAAOwB,EAAM2C,GACbC,EAAUpE,EAAK,KAAK,CAAC,CAAC,QAAQ,aAAc,EAAE,EACpD,GAAI,CAAC,YAAY,KAAKoE,CAAO,GAAKwB,EAAa5F,EAAMmE,CAAK,EAAG,OAC7D,IAAM0B,EAASvB,EAAStE,CAAI,EAE5B,GADe6F,EAAS,GAAK,CAAC,SAAU,SAAS,CAAC,CAAC,SAASC,EAAetE,EAAOM,EAAQqC,EAAO0B,CAAM,CAAC,CAAC,EAAE,GAC3FE,EAAiB/F,CAAI,EACrC,OAAO,MACH,QACAmE,EACA0B,EAAS,EACTzB,EAAQ,OACR,mBAAmBA,EAAQ,gFAC3BnD,EAAgB,iBACpB,CACJ,CAGA,MAAM+E,EAAgB,qFAItB,SAAgB,0BAA0B,EAAiB,EAAsC,CAC7F,IAAM3F,EAA4B,CAAC,EAC7B,MAAS,GAAyC4F,EAAQ,IAAK,GAAWf,EAAO,IAAI,CAAC,CAAC,KAAK,IAAI,EAEtG,IAAK,IAAIf,EAAQ,EAAGA,EAAQ3C,EAAM,OAAQ,IAAS,CAC/C,IAAMxB,EAAOwB,EAAM2C,GACnB,GAAIrC,EAAOqC,GAAQ,SAEnB,IAAK,IAAM+B,KAASlG,EAAK,SAAS,gDAAgD,EAAG,CACjF,IAAME,EAAQgG,EAAM,EAAE,CAAC,UAAUA,EAAM,EAAE,EAAE,QAAU,CAAC,EAChDC,EAAUD,EAAM,GACtB,GAAIC,EAAQ,SAAW,EAAG,CAElBD,EAAM,IACN7F,EAAO,KAAK,MAAM,QAAS8D,GAAQ+B,EAAM,OAAS,GAAK,EAAGhG,EAAM,OAAQ,qDAAqD,MAAMkG,EAAwB,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAInF,EAAgB,uBAAuB,CAAC,EAEzN,QACJ,CAEA,IAAMgE,EAAOkB,EAAQ,UAAU,CAAC,EAC1BE,EAAaD,EAAwBnB,CAAI,EACzCqB,GAAUJ,EAAM,OAAS,IAAMA,EAAM,EAAE,EAAE,QAAU,GAAK,EAC9D,OAAQG,EAAW,OAAnB,CACI,IAAK,UACDhG,EAAO,KAAK,MAAM,QAAS8D,EAAOmC,EAAQpG,EAAM,OAAQ,kBAAkB+E,EAAK,sCAAsC,MAAMoB,EAAW,QAAQ,EAAE,GAAIpF,EAAgB,uBAAuB,CAAC,EAC5L,MACJ,IAAK,gBACDZ,EAAO,KAAK,MAAM,UAAW8D,EAAOmC,EAAQpG,EAAM,OAAQ,iCAAiCmG,EAAW,QAAQ,sBAAsBpB,EAAK,sBAAsB,MAAMoB,EAAW,QAAQ,EAAE,GAAIpF,EAAgB,yBAAyB,CAAC,EACxO,MACJ,IAAK,iBAAkB,CACnB,IAAMsF,EAAMF,EAAW,SAAS,SAAW,EAAI,wBAA0B,WAAW,MAAMA,EAAW,QAAQ,IAC7GhG,EAAO,KAAK,MAAM,UAAW8D,EAAOmC,EAAQpG,EAAM,OAAQ,6CAA6C+E,EAAK,OAAOoB,EAAW,QAAQ,KAAK,KAAKA,EAAW,QAAQ,KAAK,QAAQE,EAAI,GAAItF,EAAgB,uBAAuB,CAAC,EAChO,KACJ,CACA,IAAK,kBACDZ,EAAO,KAAK,MAAM,QAAS8D,EAAOmC,EAAQpG,EAAM,OAAQ,kBAAkB+E,EAAK,sBAAsBoB,EAAW,QAAQ,KAAK,qBAAqBA,EAAW,QAAQ,KAAK,kCAAmCpF,EAAgB,+BAA+B,CAAC,CAErQ,CACJ,CAGA,IAAMuF,EAASxG,EAAK,KAAK,CAAC,CAAC,MAAMgG,CAAa,CAAC,GAAG,GAC5CxD,EAASgE,GAAQ,MAAM,WAAW,CAAC,GAAG,GACxCA,GAAUhE,GAAUA,IAAW,gBAC/BnC,EAAO,KAAK,WAAW,UAAW8D,EAAOnE,EAAMwG,EAAQ,4BAA4BhE,EAAO,QAAQgE,EAAO,8EAA8EhE,EAAO,oBAAqBvB,EAAgB,0BAA0B,CAAC,CAEtQ,CAEA,OAAOZ,CACX"}

package/dist/declarations.d.ts

@@ -0,0 +1,19 @@
+/** Where a named construct is declared. */
+export interface DeclarationHeader {
+    /** The construct keyword, such as `concept`, `screen template` or `slice StateChange`. */
+    readonly keyword: string;
+    /** The name the construct declares. */
+    readonly name: string;
+    /** The zero-based line of the header. */
+    readonly line: number;
+    /** The zero-based column the name starts at. */
+    readonly column: number;
+}
+/**
+ * Finds the headers that declare constructs in a document.
+ *
+ * @param lines The document's lines.
+ * @returns The headers, in document order.
+ */
+export declare function declarationHeaders(lines: readonly string[]): DeclarationHeader[];
+//# sourceMappingURL=declarations.d.ts.map

package/dist/declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.d.ts","sourceRoot":"","sources":["../declarations.ts"],"names":[],"mappings":"AAKA,2CAA2C;AAC3C,MAAM,WAAW,iBAAiB;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,gDAAgD;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAaD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,iBAAiB,EAAE,CAYhF"}

package/dist/index.d.ts

@@ -19,6 +19,7 @@ export type { FileReference } from './file-references';
 export { fileImportOn, fileImports, importablePaths, isFileImportLine } from './file-imports';
 export type { FileImport } from './file-imports';
 export type { CompletionOptions } from './completions';
+export { declarationHeaders, type DeclarationHeader } from './declarations';
 export { builtInTriggerNames, knownEventNames, knownTriggerNames, knownTypeNames, mergeSymbols, scanDocument, symbolsForBuffer } from './symbols';
 export type { CommandSymbol, ConceptSymbol, DocumentSymbols, EventSymbol, ImportSymbol, NamedSymbol, PolicySymbol, PropertySymbol, ReadSymbol, QuerySymbol, TypeSymbol, } from './symbols';
 export { attributeDocs, contextVariableDocs, keywordDocs, specificationKeywordDocs } from './keyword-docs';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAGA,OAAO,EACH,MAAM,EAIT,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,iBAAiB,EAA4B,MAAM,eAAe,CAAC;AA+B5E,wBAAgB,yBAAyB,IAAI,IAAI,CAGhD;AAGD,MAAM,MAAM,sBAAsB,GAAG,iBAAiB,CAAC;AAEvD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,sBAA2B,GAAG,IAAI,CAsDnF;AAED,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EACH,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,UAAU,EACV,cAAc,EACd,UAAU,GACb,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EACR,iBAAiB,EACjB,WAAW,EACX,qBAAqB,EACrB,qBAAqB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACnG,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EACH,oBAAoB,EACpB,eAAe,EACf,cAAc,EACd,2BAA2B,GAC9B,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,iBAAiB,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClJ,YAAY,EACR,aAAa,EACb,aAAa,EACb,eAAe,EACf,WAAW,EACX,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC3G,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAClJ,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AACzH,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC7E,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACrM,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,YAAY,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAC3K,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC1J,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACrF,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/E,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAGA,OAAO,EACH,MAAM,EAIT,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,iBAAiB,EAA4B,MAAM,eAAe,CAAC;AA+B5E,wBAAgB,yBAAyB,IAAI,IAAI,CAGhD;AAGD,MAAM,MAAM,sBAAsB,GAAG,iBAAiB,CAAC;AAEvD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,sBAA2B,GAAG,IAAI,CAsDnF;AAED,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EACH,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,UAAU,EACV,cAAc,EACd,UAAU,GACb,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EACR,iBAAiB,EACjB,WAAW,EACX,qBAAqB,EACrB,qBAAqB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACnG,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EACH,oBAAoB,EACpB,eAAe,EACf,cAAc,EACd,2BAA2B,GAC9B,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,iBAAiB,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClJ,YAAY,EACR,aAAa,EACb,aAAa,EACb,eAAe,EACf,WAAW,EACX,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC3G,OAAO,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAClJ,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AACzH,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC7E,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAChD,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACrM,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,YAAY,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,YAAY,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAC3K,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC1J,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACrF,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC3F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/E,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,YAAY,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../validation.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAoB,MAAM,qBAAqB,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAmB,MAAM,oBAAoB,CAAC;AAIrE,OAAO,EACH,eAAe,EAQlB,MAAM,WAAW,CAAC;AAGnB,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,aAAa,CAAC;AAErE,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,kBAAkB,CAAC;IAI7B,IAAI,CAAC,EAAE,cAAc,CAAC;CACzB;AAGD,MAAM,WAAW,iBAAiB;IAI9B,WAAW,CAAC,EAAE,eAAe,CAAC;IAC9B,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mBAAmB,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACvD;AAmGD,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,iBAAsB,GAAG,eAAe,EAAE,CAsQjG;AA2CD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,eAAe,EAAE,CAiD/F"}
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../validation.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAoB,MAAM,qBAAqB,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAmB,MAAM,oBAAoB,CAAC;AAIrE,OAAO,EACH,eAAe,EAQlB,MAAM,WAAW,CAAC;AAGnB,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,aAAa,CAAC;AAErE,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,kBAAkB,CAAC;IAI7B,IAAI,CAAC,EAAE,cAAc,CAAC;CACzB;AAGD,MAAM,WAAW,iBAAiB;IAI9B,WAAW,CAAC,EAAE,eAAe,CAAC;IAC9B,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mBAAmB,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACvD;AA8GD,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,GAAE,iBAAsB,GAAG,eAAe,EAAE,CAsQjG;AA2CD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,eAAe,EAAE,CAiD/F"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@cratis/screenplay-language",
-    "version": "4.251.0",
+    "version": "4.252.0",
     "description": "Monaco language service for the Cratis Screenplay DSL — syntax highlighting, IntelliSense, hover and diagnostics for .play files",
     "keywords": [
         "cratis",