legend-doctor 0.1.0

package/dist/src/project/source-components/source-components.js

@@ -0,0 +1,187 @@
+import { AnalysisProject, isSupportedAnalysisFile } from "../analysis-project.js";
+import { availableSymbolKinds, exportedSymbol, initialSymbolTrace, resolvedFor, } from "./symbol-resolution.js";
+import { cachedModuleResolutionHost, normalizeFile, resolveModule } from "./module-resolution.js";
+import { contextProviderSitesFor, contextReaderHooksFor } from "./context-readers.js";
+import { isFrameworkEventModuleSpecifier } from "./framework-event-components.js";
+import { moduleRecord } from "./module-record.js";
+import { observableArrayPathsFor } from "./observable-array-paths.js";
+import { observablePathsFor } from "./observable-containers.js";
+export function buildSourceIndex(root, sources) {
+    const supported = new Map([...sources].filter(([fileName]) => isSupportedAnalysisFile(fileName)));
+    return buildSourceIndexFromFiles(root, new AnalysisProject(supported).files);
+}
+export function buildSourceIndexFromFiles(root, files) {
+    const state = createSourceIndexState(root, files);
+    return {
+        componentDeclarationFor: (file, name) => componentDeclarationFor(state, file, name),
+        componentsFor: (file) => new Set(resolvedFor(state, file, "component").keys()),
+        contextProviderSitesFor: (file, contextName) => contextProviderSitesFor(state, file, contextName),
+        contextReaderHooksFor: (file, contextName) => contextReaderHooksFor(state, file, contextName),
+        deferredCallbackHooksFor: (file) => deferredCallbackHooksFor(state, file),
+        deferredCallbackRegistrationsFor: (file) => deferredCallbackRegistrationsFor(state, file),
+        frameworkEventComponentFor: (file, name) => frameworkEventComponentFor(state, file, name),
+        hookDeclarationFor: (file, name) => hookDeclarationFor(state, file, name),
+        legendValueBridgesFor: (file) => legendValueBridgesFor(state, file),
+        observableArrayPathsFor: (file) => observableArrayPathsFor(state, file),
+        observableFactoriesFor: (file) => new Set(resolvedFor(state, file, "observable-factory").keys()),
+        observableKeysFor: (file) => observableKeysFor(state, file),
+        observablePathsFor: (file) => observablePathsFor(state, file),
+        observablesFor: (file) => new Set(resolvedFor(state, file, "observable").keys()),
+        pureProjectionsFor: (file) => new Set(resolvedFor(state, file, "pure-projection").keys()),
+    };
+}
+function createSourceIndexState(root, files) {
+    const records = new Map();
+    const sourceFiles = new Map();
+    for (const file of files) {
+        const normalized = normalizeFile(file.identityPath);
+        records.set(normalized, moduleRecord(file.sourceFile));
+        sourceFiles.set(normalized, file.sourceFile);
+    }
+    return {
+        ...crossModuleBindings(records),
+        availableSymbolKinds: availableSymbolKinds(records),
+        aliasesBySymbol: new Map(),
+        compilerContexts: new Map(),
+        compilerContextsByImporter: new Map(),
+        configFilesByDirectory: new Map(),
+        contextReaders: new Map(),
+        contextReadersBySymbol: new Map(),
+        moduleResolutionHost: cachedModuleResolutionHost(new Set(records.keys())),
+        records,
+        resolvedByKind: new Map(),
+        resolvedHooks: new Map(),
+        resolvedModules: new Map(),
+        root,
+        sourceFiles,
+        stableObservableContainers: new Map(),
+    };
+}
+function crossModuleBindings(records) {
+    const importsByName = new Map();
+    const reexportsByName = new Map();
+    const starExporters = [];
+    for (const [file, record] of records) {
+        indexModuleImports(importsByName, file, record);
+        indexModuleReexports(reexportsByName, file, record);
+        for (const moduleSpecifier of record.starExports) {
+            starExporters.push({ file, moduleSpecifier });
+        }
+    }
+    return { importsByName, reexportsByName, starExporters };
+}
+function indexModuleImports(importsByName, file, record) {
+    for (const [localName, binding] of record.imports) {
+        const indexed = importsByName.get(binding.importedName) ?? [];
+        indexed.push({ ...binding, file, localName });
+        importsByName.set(binding.importedName, indexed);
+    }
+}
+function indexModuleReexports(reexportsByName, file, record) {
+    for (const [exportName, binding] of record.reexports) {
+        const indexed = reexportsByName.get(binding.importedName) ?? [];
+        indexed.push({ ...binding, exportName, file });
+        reexportsByName.set(binding.importedName, indexed);
+    }
+}
+function componentDeclarationFor(state, file, name) {
+    const normalized = normalizeFile(file);
+    if (state.records.get(normalized)?.componentDeclarations.has(name)) {
+        return { file: normalized, localName: name };
+    }
+    return resolvedFor(state, normalized, "component").get(name) ?? null;
+}
+function hookDeclarationFor(state, file, name) {
+    const normalized = normalizeFile(file);
+    if (state.records.get(normalized)?.hookDeclarations.has(name)) {
+        return { file: normalized, localName: name };
+    }
+    const key = `${normalized}\0${name}`;
+    const cached = state.resolvedHooks.get(key);
+    if (cached !== undefined) {
+        return cached;
+    }
+    const resolved = resolveHookImport(state, normalized, name);
+    state.resolvedHooks.set(key, resolved);
+    return resolved;
+}
+function resolveHookImport(state, normalized, name) {
+    const binding = state.records.get(normalized)?.imports.get(name);
+    const target = binding ? resolveModule(state, normalized, binding.moduleSpecifier) : null;
+    return binding && target
+        ? exportedSymbol(state, { exportName: binding.importedName, file: target, kind: "hook" }, initialSymbolTrace())
+        : null;
+}
+function deferredCallbackHooksFor(state, file) {
+    const hooks = new Map();
+    const normalized = normalizeFile(file);
+    const declared = state.records.get(normalized)?.deferredCallbackHooks ?? [];
+    for (const [localName, parameters] of declared) {
+        hooks.set(localName, parameters);
+    }
+    for (const [localName, symbol] of resolvedFor(state, file, "deferred-callback-hook")) {
+        const parameters = state.records.get(symbol.file)?.deferredCallbackHooks.get(symbol.localName);
+        if (parameters) {
+            hooks.set(localName, parameters);
+        }
+    }
+    return hooks;
+}
+function deferredCallbackRegistrationsFor(state, file) {
+    const registrations = new Map();
+    for (const [localName, symbol] of resolvedFor(state, file, "deferred-callback-owner")) {
+        const methods = state.records.get(symbol.file)?.deferredCallbackOwners.get(symbol.localName);
+        if (methods) {
+            registrations.set(localName, methods);
+        }
+    }
+    return registrations;
+}
+function frameworkEventComponentFor(state, file, name) {
+    const rootName = name.split(".", 1)[0] ?? name;
+    const record = state.records.get(normalizeFile(file));
+    if (record?.shadowedImports.has(rootName)) {
+        return false;
+    }
+    if (record?.frameworkEventComponents.has(rootName)) {
+        return true;
+    }
+    const binding = record?.imports.get(rootName);
+    return ((binding !== undefined && isFrameworkEventModuleSpecifier(binding.moduleSpecifier)) ||
+        resolvedFor(state, file, "framework-event-component").has(rootName));
+}
+function legendValueBridgesFor(state, file) {
+    const bridges = new Map();
+    const writers = resolvedFor(state, file, "legend-value-writer");
+    for (const [hookName, hook] of resolvedFor(state, file, "legend-value-hook")) {
+        const observable = state.records.get(hook.file)?.legendValueHooks.get(hook.localName);
+        const matches = observable
+            ? matchingValueWriters(state, writers, { file: hook.file, observable })
+            : new Set();
+        if (matches.size > 0) {
+            bridges.set(hookName, matches);
+        }
+    }
+    return bridges;
+}
+function matchingValueWriters(state, writers, hook) {
+    const matches = new Set();
+    for (const [writerName, writer] of writers) {
+        if (writer.file === hook.file &&
+            state.records.get(writer.file)?.legendValueWriters.get(writer.localName) === hook.observable) {
+            matches.add(writerName);
+        }
+    }
+    return matches;
+}
+function observableKeysFor(state, file) {
+    const keys = new Map();
+    for (const [localName, symbol] of resolvedFor(state, file, "observable")) {
+        const observableKeys = state.records.get(symbol.file)?.observableKeys.get(symbol.localName);
+        if (observableKeys) {
+            keys.set(localName, observableKeys);
+        }
+    }
+    return keys;
+}
+//# sourceMappingURL=source-components.js.map

package/dist/src/project/source-components/source-components.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-components.js","sourceRoot":"","sources":["../../../../src/project/source-components/source-components.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAUlF,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,0BAA0B,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAEtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AA0BhE,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAoC;IACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClG,OAAO,yBAAyB,CAAC,IAAI,EAAE,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAY,EACZ,KAA8B;IAE9B,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,OAAO;QACL,uBAAuB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;QACnF,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9E,uBAAuB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,CAC7C,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC;QACnD,qBAAqB,EAAE,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC;QAC7F,wBAAwB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC;QACzE,gCAAgC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,gCAAgC,CAAC,KAAK,EAAE,IAAI,CAAC;QACzF,0BAA0B,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;QACzF,kBAAkB,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC;QACzE,qBAAqB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC;QACnE,uBAAuB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC;QACvE,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE,CAC/B,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC;QAChE,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC;QAC3D,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC;QAC7D,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;QAChF,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,IAAI,EAAE,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,KAA8B;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACvD,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO;QACL,GAAG,mBAAmB,CAAC,OAAO,CAAC;QAC/B,oBAAoB,EAAE,oBAAoB,CAAC,OAAO,CAAC;QACnD,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;QAC3B,0BAA0B,EAAE,IAAI,GAAG,EAAE;QACrC,sBAAsB,EAAE,IAAI,GAAG,EAAE;QACjC,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,sBAAsB,EAAE,IAAI,GAAG,EAAE;QACjC,oBAAoB,EAAE,0BAA0B,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACzE,OAAO;QACP,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,IAAI;QACJ,WAAW;QACX,0BAA0B,EAAE,IAAI,GAAG,EAAE;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,OAA0C;IACrE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkC,CAAC;IAChE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAoC,CAAC;IACpE,MAAM,aAAa,GAAmB,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,kBAAkB,CAAC,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAChD,oBAAoB,CAAC,eAAe,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACpD,KAAK,MAAM,eAAe,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACjD,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,kBAAkB,CACzB,aAAkD,EAClD,IAAY,EACZ,MAAoB;IAEpB,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9C,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,eAAsD,EACtD,IAAY,EACZ,MAAoB;IAEpB,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAuB,EACvB,IAAY,EACZ,IAAY;IAEZ,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AACvE,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAuB,EACvB,IAAY,EACZ,IAAY;IAEZ,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,UAAU,KAAK,IAAI,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5D,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACvC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAuB,EACvB,UAAkB,EAClB,IAAY;IAEZ,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,OAAO,OAAO,IAAI,MAAM;QACtB,CAAC,CAAC,cAAc,CACZ,KAAK,EACL,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAChE,kBAAkB,EAAE,CACrB;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAuB,EACvB,IAAY;IAEZ,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,qBAAqB,IAAI,EAAE,CAAC;IAC5E,KAAK,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,wBAAwB,CAAC,EAAE,CAAC;QACrF,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/F,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gCAAgC,CACvC,KAAuB,EACvB,IAAY;IAEZ,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoD,CAAC;IAClF,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAyB,CAAC,EAAE,CAAC;QACtF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7F,IAAI,OAAO,EAAE,CAAC;YACZ,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAuB,EAAE,IAAY,EAAE,IAAY;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,MAAM,EAAE,wBAAwB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,CACL,CAAC,OAAO,KAAK,SAAS,IAAI,+BAA+B,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACnF,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,2BAA2B,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAuB,EACvB,IAAY;IAEZ,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAChE,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAC7E,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,UAAU;YACxB,CAAC,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;YACvE,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;QACtB,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAuB,EACvB,OAA4C,EAC5C,IAA0C;IAE1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QAC3C,IACE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YACzB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,UAAU,EAC5F,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAuB,EACvB,IAAY;IAEZ,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+B,CAAC;IACpD,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QACzE,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC5F,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/src/project/source-components/symbol-resolution.d.ts

@@ -0,0 +1,12 @@
+import type { ModuleRecord, ResolvedSymbol, SourceIndexState, SourceSymbolKind, SymbolTarget, SymbolTrace } from "./model.js";
+export declare function initialSymbolTrace(): SymbolTrace;
+export declare function availableSymbolKinds(records: ReadonlyMap<string, ModuleRecord>): ReadonlySet<SourceSymbolKind>;
+export declare function exportedSymbol(state: SourceIndexState, target: SymbolTarget, trace: SymbolTrace): ResolvedSymbol | null;
+export declare function resolvedFor(state: SourceIndexState, file: string, kind: SourceSymbolKind): ReadonlyMap<string, ResolvedSymbol>;
+export declare function localSymbol(state: SourceIndexState, target: {
+    file: string;
+    kind: SourceSymbolKind;
+    name: string;
+}): ResolvedSymbol | null;
+export declare function sameResolvedSymbol(left: ResolvedSymbol | null, right: ResolvedSymbol | null): boolean;
+//# sourceMappingURL=symbol-resolution.d.ts.map

package/dist/src/project/source-components/symbol-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-resolution.d.ts","sourceRoot":"","sources":["../../../../src/project/source-components/symbol-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACZ,MAAM,YAAY,CAAC;AAMpB,wBAAgB,kBAAkB,IAAI,WAAW,CAEhD;AAwBD,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GACzC,WAAW,CAAC,gBAAgB,CAAC,CAgB/B;AAUD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,WAAW,GACjB,cAAc,GAAG,IAAI,CAUvB;AA8FD,wBAAgB,WAAW,CACzB,KAAK,EAAE,gBAAgB,EACvB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,gBAAgB,GACrB,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAcrC;AA2BD,wBAAgB,WAAW,CACzB,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7D,cAAc,GAAG,IAAI,CAmBvB;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,cAAc,GAAG,IAAI,EAC3B,KAAK,EAAE,cAAc,GAAG,IAAI,GAC3B,OAAO,CAOT"}

package/dist/src/project/source-components/symbol-resolution.js

@@ -0,0 +1,158 @@
+import { normalizeFile, resolveModule } from "./module-resolution.js";
+import { isSemanticComponentName } from "./declaration-shapes.js";
+const MAX_EXPORT_RESOLUTION_DEPTH = 8;
+export function initialSymbolTrace() {
+    return { depth: 0, visited: new Set() };
+}
+const DECLARED_SYMBOL_LOOKUPS = {
+    component: (record) => record.componentDeclarations,
+    "context-reader-hook": (record) => record.contextReaderHooks,
+    "deferred-callback-hook": (record) => record.deferredCallbackHooks,
+    "deferred-callback-owner": (record) => record.deferredCallbackOwners,
+    "framework-event-component": (record) => record.frameworkEventComponents,
+    hook: (record) => record.hookDeclarations,
+    "legend-value-hook": (record) => record.legendValueHooks,
+    "legend-value-writer": (record) => record.legendValueWriters,
+    observable: (record) => record.observableDeclarations,
+    "observable-container": (record) => record.observableMemberDeclarations,
+    "observable-factory": (record) => record.observableFactoryDeclarations,
+    "pure-projection": (record) => record.pureProjectionDeclarations,
+    "react-context": (record) => record.reactContexts,
+};
+export function availableSymbolKinds(records) {
+    const available = new Set();
+    // SAFETY: these are the keys of the exhaustive, locally defined SourceSymbolKind registry.
+    const kinds = Object.keys(DECLARED_SYMBOL_LOOKUPS);
+    for (const record of records.values()) {
+        for (const kind of kinds) {
+            if (DECLARED_SYMBOL_LOOKUPS[kind](record).size > 0) {
+                available.add(kind);
+            }
+        }
+    }
+    // An annotated factory can prove an observable even without any direct observable initializer.
+    if (available.has("observable-factory")) {
+        available.add("observable");
+    }
+    return available;
+}
+function recordDeclaresSymbol(record, kind, localName) {
+    return DECLARED_SYMBOL_LOOKUPS[kind](record).has(localName);
+}
+export function exportedSymbol(state, target, trace) {
+    const key = `${target.kind}\0${target.file}\0${target.exportName}`;
+    const record = state.records.get(target.file);
+    if (trace.depth > MAX_EXPORT_RESOLUTION_DEPTH || trace.visited.has(key) || !record) {
+        return null;
+    }
+    const next = { depth: trace.depth + 1, visited: new Set(trace.visited).add(key) };
+    const localName = record.localExports.get(target.exportName);
+    const direct = localName ? localExportedSymbol(state, target, { localName, trace: next }) : null;
+    return direct ?? reexportedSymbol(state, target, next);
+}
+function reexportedSymbol(state, target, trace) {
+    const reexport = state.records.get(target.file)?.reexports.get(target.exportName);
+    if (!reexport) {
+        return starExportedSymbol(state, target, trace);
+    }
+    const resolved = resolveModule(state, target.file, reexport.moduleSpecifier);
+    return resolved
+        ? exportedSymbol(state, { ...target, exportName: reexport.importedName, file: resolved }, trace)
+        : null;
+}
+function localExportedSymbol(state, target, local) {
+    const record = state.records.get(target.file);
+    if (!record) {
+        return null;
+    }
+    if (recordDeclaresSymbol(record, target.kind, local.localName)) {
+        return { file: target.file, localName: local.localName };
+    }
+    const binding = record.imports.get(local.localName);
+    const importedTarget = binding
+        ? resolveModule(state, target.file, binding.moduleSpecifier)
+        : null;
+    const imported = binding && importedTarget
+        ? exportedSymbol(state, { ...target, exportName: binding.importedName, file: importedTarget }, local.trace)
+        : null;
+    return imported ?? observableFactoryAlias(state, target, local);
+}
+function observableFactoryAlias(state, target, local) {
+    const record = state.records.get(target.file);
+    const factoryName = target.kind === "observable" ? record?.observableFactoryCalls.get(local.localName) : undefined;
+    if (!record || factoryName === undefined) {
+        return null;
+    }
+    const proven = record.observableFactoryDeclarations.has(factoryName) ||
+        importedFactoryIsDeclared(state, target.file, { factoryName, trace: local.trace });
+    return proven ? { file: target.file, localName: local.localName } : null;
+}
+function importedFactoryIsDeclared(state, file, factory) {
+    const binding = state.records.get(file)?.imports.get(factory.factoryName);
+    const target = binding ? resolveModule(state, file, binding.moduleSpecifier) : null;
+    return (binding !== undefined &&
+        target !== null &&
+        exportedSymbol(state, { exportName: binding.importedName, file: target, kind: "observable-factory" }, factory.trace) !== null);
+}
+function starExportedSymbol(state, target, trace) {
+    const starExports = state.records.get(target.file)?.starExports ?? [];
+    const matches = starExports.flatMap((specifier) => {
+        const resolved = resolveModule(state, target.file, specifier);
+        const symbol = resolved ? exportedSymbol(state, { ...target, file: resolved }, trace) : null;
+        return symbol ? [symbol] : [];
+    });
+    const unique = new Map(matches.map((match) => [`${match.file}\0${match.localName}`, match]));
+    return unique.size === 1 ? (unique.values().next().value ?? null) : null;
+}
+export function resolvedFor(state, file, kind) {
+    const importer = normalizeFile(file);
+    const cache = state.resolvedByKind.get(kind) ?? new Map();
+    state.resolvedByKind.set(kind, cache);
+    const cached = cache.get(importer);
+    if (cached) {
+        return cached;
+    }
+    const symbols = state.availableSymbolKinds.has(kind)
+        ? importedSymbols(state, importer, kind)
+        : new Map();
+    cache.set(importer, symbols);
+    return symbols;
+}
+function importedSymbols(state, importer, kind) {
+    const symbols = new Map();
+    for (const [localName, binding] of state.records.get(importer)?.imports ?? []) {
+        if (kind === "component" && !isSemanticComponentName(localName)) {
+            continue;
+        }
+        const target = resolveModule(state, importer, binding.moduleSpecifier);
+        const symbol = target
+            ? exportedSymbol(state, { exportName: binding.importedName, file: target, kind }, initialSymbolTrace())
+            : null;
+        if (symbol) {
+            symbols.set(localName, symbol);
+        }
+    }
+    return symbols;
+}
+export function localSymbol(state, target) {
+    const { file, kind, name } = target;
+    const record = state.records.get(file);
+    const local = kind === "react-context"
+        ? (record?.reactContexts.has(name) ?? false)
+        : kind === "context-reader-hook" && (record?.contextReaderHooks.has(name) ?? false);
+    if (local) {
+        return { file, localName: name };
+    }
+    const binding = record?.imports.get(name);
+    const resolved = binding ? resolveModule(state, file, binding.moduleSpecifier) : null;
+    return binding && resolved
+        ? exportedSymbol(state, { exportName: binding.importedName, file: resolved, kind }, initialSymbolTrace())
+        : null;
+}
+export function sameResolvedSymbol(left, right) {
+    return (left !== null &&
+        right !== null &&
+        left.file === right.file &&
+        left.localName === right.localName);
+}
+//# sourceMappingURL=symbol-resolution.js.map

package/dist/src/project/source-components/symbol-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-resolution.js","sourceRoot":"","sources":["../../../../src/project/source-components/symbol-resolution.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAEtC,MAAM,UAAU,kBAAkB;IAChC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAC1C,CAAC;AAOD,MAAM,uBAAuB,GAAG;IAC9B,SAAS,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,qBAAqB;IAC7E,qBAAqB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,kBAAkB;IACtF,wBAAwB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,qBAAqB;IAC5F,yBAAyB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,sBAAsB;IAC9F,2BAA2B,EAAE,CAAC,MAAoB,EAAc,EAAE,CAChE,MAAM,CAAC,wBAAwB;IACjC,IAAI,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,gBAAgB;IACnE,mBAAmB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,gBAAgB;IAClF,qBAAqB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,kBAAkB;IACtF,UAAU,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,sBAAsB;IAC/E,sBAAsB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,4BAA4B;IACjG,oBAAoB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,6BAA6B;IAChG,iBAAiB,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,0BAA0B;IAC1F,eAAe,EAAE,CAAC,MAAoB,EAAc,EAAE,CAAC,MAAM,CAAC,aAAa;CACH,CAAC;AAE3E,MAAM,UAAU,oBAAoB,CAClC,OAA0C;IAE1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,2FAA2F;IAC3F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAuB,CAAC;IACzE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACnD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IACD,+FAA+F;IAC/F,IAAI,SAAS,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACxC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAoB,EACpB,IAAsB,EACtB,SAAiB;IAEjB,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,KAAuB,EACvB,MAAoB,EACpB,KAAkB;IAElB,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;IACnE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,KAAK,GAAG,2BAA2B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/F,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,OAAO,MAAM,IAAI,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAuB,EACvB,MAAoB,EACpB,KAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC7E,OAAO,QAAQ;QACb,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,CAAC;QAChG,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAuB,EACvB,MAAoB,EACpB,KAAwB;IAExB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,oBAAoB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,cAAc,GAAG,OAAO;QAC5B,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GACZ,OAAO,IAAI,cAAc;QACvB,CAAC,CAAC,cAAc,CACZ,KAAK,EACL,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,EACrE,KAAK,CAAC,KAAK,CACZ;QACH,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,QAAQ,IAAI,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAuB,EACvB,MAAoB,EACpB,KAAwB;IAExB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjG,IAAI,CAAC,MAAM,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GACV,MAAM,CAAC,6BAA6B,CAAC,GAAG,CAAC,WAAW,CAAC;QACrD,yBAAyB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACrF,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAuB,EACvB,IAAY,EACZ,OAAoD;IAEpD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpF,OAAO,CACL,OAAO,KAAK,SAAS;QACrB,MAAM,KAAK,IAAI;QACf,cAAc,CACZ,KAAK,EACL,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAC9E,OAAO,CAAC,KAAK,CACd,KAAK,IAAI,CACX,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAuB,EACvB,MAAoB,EACpB,KAAkB;IAElB,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,IAAI,EAAE,CAAC;IACtE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAChD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAuB,EACvB,IAAY,EACZ,IAAsB;IAEtB,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GACT,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAA+C,CAAC;IAC3F,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC;QACxC,CAAC,CAAC,IAAI,GAAG,EAA0B,CAAC;IACtC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,KAAuB,EACvB,QAAgB,EAChB,IAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;QAC9E,IAAI,IAAI,KAAK,WAAW,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,EAAE,CAAC;YAChE,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,MAAM;YACnB,CAAC,CAAC,cAAc,CACZ,KAAK,EACL,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EACxD,kBAAkB,EAAE,CACrB;YACH,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAAuB,EACvB,MAA8D;IAE9D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GACT,IAAI,KAAK,eAAe;QACtB,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QAC5C,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;IACxF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACnC,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,OAAO,OAAO,IAAI,QAAQ;QACxB,CAAC,CAAC,cAAc,CACZ,KAAK,EACL,EAAE,UAAU,EAAE,OAAO,CAAC,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAC1D,kBAAkB,EAAE,CACrB;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAA2B,EAC3B,KAA4B;IAE5B,OAAO,CACL,IAAI,KAAK,IAAI;QACb,KAAK,KAAK,IAAI;QACd,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CACnC,CAAC;AACJ,CAAC"}

package/dist/src/project/source-components/variable-declarations.d.ts

@@ -0,0 +1,4 @@
+import type { ModuleRecordDraft, ModuleSignals } from "./model.js";
+import ts from "typescript";
+export declare function collectVariableStatement(statement: ts.VariableStatement, draft: ModuleRecordDraft, signals: ModuleSignals): void;
+//# sourceMappingURL=variable-declarations.d.ts.map

package/dist/src/project/source-components/variable-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-declarations.d.ts","sourceRoot":"","sources":["../../../../src/project/source-components/variable-declarations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAsB,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAavF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,iBAAiB,EAC/B,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,aAAa,GACrB,IAAI,CAKN"}

package/dist/src/project/source-components/variable-declarations.js

@@ -0,0 +1,196 @@
+import { arrayLiteralPaths, observableInitialValue } from "../../core/observable-initial-value.js";
+import { componentFunction, hasExport, isComponentInitializer, isSemanticComponentName, unwrapTransparentExpression, } from "./declaration-shapes.js";
+import { directObservableMembers, isObservableInitializer } from "./observable-declarations.js";
+import { directReactContextReader, isReactContextInitializer } from "./react-traits.js";
+import { exactObjectLiteralKeys } from "../../core/analysis-ast.js";
+import { styledComponentTarget } from "./framework-event-components.js";
+import ts from "typescript";
+export function collectVariableStatement(statement, draft, signals) {
+    const exported = hasExport(statement);
+    for (const declaration of statement.declarationList.declarations) {
+        collectVariableDeclaration(declarationContext(declaration, exported), draft, signals);
+    }
+}
+function declarationContext(declaration, exported) {
+    return {
+        declaration,
+        exported,
+        initializer: declaration.initializer
+            ? unwrapTransparentExpression(declaration.initializer)
+            : null,
+        isConst: ts.isVariableDeclarationList(declaration.parent) &&
+            (declaration.parent.flags & ts.NodeFlags.Const) !== 0,
+        name: ts.isIdentifier(declaration.name) ? declaration.name.text : null,
+    };
+}
+function collectVariableDeclaration(context, draft, signals) {
+    collectReactContextDeclaration(context, draft, signals);
+    collectHookVariableDeclaration(context, draft, signals);
+    collectDeferredOwnerDeclaration(context, draft, signals);
+    collectStyledCandidate(context, draft);
+    collectCallInitializerDeclaration(context, draft, signals);
+    collectObjectObservableMembers(context, draft, signals);
+    collectObservableDeclaration(context, draft, signals);
+    collectComponentVariableDeclaration(context, draft, signals);
+}
+function collectReactContextDeclaration(context, draft, signals) {
+    const { initializer, name } = context;
+    if (name === null ||
+        !initializer ||
+        !isReactContextInitializer(initializer, signals.reactContextFactories, signals.reactNamespaces)) {
+        return;
+    }
+    draft.reactContexts.add(name);
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function collectHookVariableDeclaration(context, draft, signals) {
+    const { initializer, name } = context;
+    if (name === null ||
+        !/^use[A-Z0-9]/u.test(name) ||
+        !initializer ||
+        !(ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer))) {
+        return;
+    }
+    draft.hookDeclarations.set(name, initializer);
+    const readContext = directReactContextReader(initializer, signals.reactContextReaders, signals.reactNamespaces);
+    if (readContext) {
+        draft.contextReaderHooks.set(name, readContext);
+    }
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function collectDeferredOwnerDeclaration(context, draft, signals) {
+    const { initializer, name } = context;
+    if (name === null ||
+        !initializer ||
+        !ts.isNewExpression(initializer) ||
+        !ts.isIdentifier(initializer.expression)) {
+        return;
+    }
+    const methods = signals.deferredMethodsByClass.get(initializer.expression.text);
+    if (!methods) {
+        return;
+    }
+    draft.deferredCallbackOwners.set(name, methods);
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function collectStyledCandidate(context, draft) {
+    const { initializer, name } = context;
+    const styledTarget = name !== null && initializer && context.isConst ? styledComponentTarget(initializer) : null;
+    if (name !== null && styledTarget) {
+        draft.styledComponentCandidates.push({ exported: context.exported, name, ...styledTarget });
+    }
+}
+function collectCallInitializerDeclaration(context, draft, signals) {
+    const { initializer, name } = context;
+    if (name === null ||
+        !initializer ||
+        !ts.isCallExpression(initializer) ||
+        !ts.isIdentifier(initializer.expression)) {
+        return;
+    }
+    const callee = initializer.expression.text;
+    if (signals.nativeComponentFactories.has(callee) && context.isConst) {
+        draft.frameworkEventComponents.add(name);
+    }
+    draft.observableFactoryCalls.set(name, callee);
+    recordObservableMemberFactoryCall(context, draft, signals.observableMemberFactories.get(callee));
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function recordObservableMemberFactoryCall(context, draft, members) {
+    if (context.name !== null && members && context.isConst) {
+        draft.observableMemberDeclarations.set(context.name, members);
+    }
+}
+function collectObjectObservableMembers(context, draft, signals) {
+    const { initializer, name } = context;
+    if (name === null ||
+        !initializer ||
+        !ts.isObjectLiteralExpression(initializer) ||
+        !context.isConst) {
+        return;
+    }
+    const members = directObservableMembers(initializer, signals.observableFactories, signals.legendNamespaces);
+    if (members.size === 0) {
+        return;
+    }
+    publishObjectObservableMembers({ context, draft, initializer, members, name, signals });
+}
+function publishObjectObservableMembers({ context, draft, initializer, members, name, signals, }) {
+    draft.observableMemberDeclarations.set(name, members);
+    for (const property of initializer.properties) {
+        recordMemberArrayPaths(property, name, { draft, signals });
+    }
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function recordMemberArrayPaths(property, containerName, records) {
+    if (!ts.isPropertyAssignment(property) || !ts.isIdentifier(property.name)) {
+        return;
+    }
+    const factory = unwrapTransparentExpression(property.initializer);
+    const isObservableMember = records.draft.observableMemberDeclarations
+        .get(containerName)
+        ?.has(property.name.text);
+    if (ts.isCallExpression(factory) && isObservableMember) {
+        const name = `${containerName}.${property.name.text}`;
+        recordArrayPaths({ factory, name }, records.draft, records.signals);
+    }
+}
+function recordArrayPaths(origin, draft, signals) {
+    const initial = observableInitialValue(origin.factory, signals);
+    const paths = initial ? arrayLiteralPaths(initial) : null;
+    if (paths && paths.size > 0) {
+        draft.observableArrayPaths.set(origin.name, paths);
+    }
+}
+function collectObservableDeclaration(context, draft, signals) {
+    const { declaration, name } = context;
+    if (name === null ||
+        !declaration.initializer ||
+        !isObservableInitializer(declaration.initializer, signals.observableFactories, signals.legendNamespaces)) {
+        return;
+    }
+    draft.observableDeclarations.add(name);
+    const factory = unwrapTransparentExpression(declaration.initializer);
+    if (ts.isCallExpression(factory)) {
+        recordObservableInitialValue({ factory, name }, draft, signals);
+    }
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+function recordObservableInitialValue(origin, draft, signals) {
+    const initial = observableInitialValue(origin.factory, signals);
+    const keys = initial ? exactObjectLiteralKeys(initial) : null;
+    if (keys) {
+        draft.observableKeys.set(origin.name, keys);
+    }
+    recordArrayPaths(origin, draft, signals);
+}
+function collectComponentVariableDeclaration(context, draft, signals) {
+    const { declaration, name } = context;
+    if (name === null ||
+        !isSemanticComponentName(name) ||
+        !declaration.initializer ||
+        !isComponentInitializer(declaration.initializer, signals.componentWrappers)) {
+        return;
+    }
+    const component = componentFunction(declaration.initializer, signals.componentWrappers);
+    if (!component) {
+        return;
+    }
+    draft.componentDeclarations.set(name, component);
+    if (context.exported) {
+        draft.localExports.set(name, name);
+    }
+}
+//# sourceMappingURL=variable-declarations.js.map

package/dist/src/project/source-components/variable-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-declarations.js","sourceRoot":"","sources":["../../../../src/project/source-components/variable-declarations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACnG,OAAO,EACL,iBAAiB,EACjB,SAAS,EACT,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAChG,OAAO,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,wBAAwB,CACtC,SAA+B,EAC/B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACtC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACjE,0BAA0B,CAAC,kBAAkB,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAmC,EACnC,QAAiB;IAEjB,OAAO;QACL,WAAW;QACX,QAAQ;QACR,WAAW,EAAE,WAAW,CAAC,WAAW;YAClC,CAAC,CAAC,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC;YACtD,CAAC,CAAC,IAAI;QACR,OAAO,EACL,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;YAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACvD,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,8BAA8B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,8BAA8B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,+BAA+B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvC,iCAAiC,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D,8BAA8B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,4BAA4B,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACtD,mCAAmC,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,8BAA8B,CACrC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,WAAW;QACZ,CAAC,yBAAyB,CAAC,WAAW,EAAE,OAAO,CAAC,qBAAqB,EAAE,OAAO,CAAC,eAAe,CAAC,EAC/F,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CACrC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,CAAC,WAAW;QACZ,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,EAC1E,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,wBAAwB,CAC1C,WAAW,EACX,OAAO,CAAC,mBAAmB,EAC3B,OAAO,CAAC,eAAe,CACxB,CAAC;IACF,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,+BAA+B,CACtC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAChC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC,EACxC,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAA2B,EAAE,KAAwB;IACnF,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,MAAM,YAAY,GAChB,IAAI,KAAK,IAAI,IAAI,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,IAAI,IAAI,KAAK,IAAI,IAAI,YAAY,EAAE,CAAC;QAClC,KAAK,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC;IAC9F,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC;QACjC,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,UAAU,CAAC,EACxC,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC;IAC3C,IAAI,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpE,KAAK,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/C,iCAAiC,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,iCAAiC,CACxC,OAA2B,EAC3B,KAAwB,EACxB,OAAwC;IAExC,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACxD,KAAK,CAAC,4BAA4B,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,SAAS,8BAA8B,CACrC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,WAAW;QACZ,CAAC,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC;QAC1C,CAAC,OAAO,CAAC,OAAO,EAChB,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CACrC,WAAW,EACX,OAAO,CAAC,mBAAmB,EAC3B,OAAO,CAAC,gBAAgB,CACzB,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IACD,8BAA8B,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1F,CAAC;AAWD,SAAS,8BAA8B,CAAC,EACtC,OAAO,EACP,KAAK,EACL,WAAW,EACX,OAAO,EACP,IAAI,EACJ,OAAO,GACqB;IAC5B,KAAK,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC9C,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAOD,SAAS,sBAAsB,CAC7B,QAAqC,EACrC,aAAqB,EACrB,OAA6D;IAE7D,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,4BAA4B;SAClE,GAAG,CAAC,aAAa,CAAC;QACnB,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,kBAAkB,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,GAAG,aAAa,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACtD,gBAAgB,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAwB,EACxB,KAAwB,EACxB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,WAAW,CAAC,WAAW;QACxB,CAAC,uBAAuB,CACtB,WAAW,CAAC,WAAW,EACvB,OAAO,CAAC,mBAAmB,EAC3B,OAAO,CAAC,gBAAgB,CACzB,EACD,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,2BAA2B,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACrE,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,4BAA4B,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,4BAA4B,CACnC,MAAwB,EACxB,KAAwB,EACxB,OAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,mCAAmC,CAC1C,OAA2B,EAC3B,KAAwB,EACxB,OAAsB;IAEtB,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACtC,IACE,IAAI,KAAK,IAAI;QACb,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAC9B,CAAC,WAAW,CAAC,WAAW;QACxB,CAAC,sBAAsB,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,iBAAiB,CAAC,EAC3E,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACxF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;IACT,CAAC;IACD,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;AACH,CAAC"}

package/dist/src/project/state-flow/coexecution-proof.d.ts

@@ -0,0 +1,3 @@
+import type { FlowProof, Lowering, PathResult, ProofSurface } from "./model.js";
+export declare function coexecutionProof(result: PathResult, lowering: Lowering, surface: ProofSurface): FlowProof;
+//# sourceMappingURL=coexecution-proof.d.ts.map

package/dist/src/project/state-flow/coexecution-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coexecution-proof.d.ts","sourceRoot":"","sources":["../../../../src/project/state-flow/coexecution-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,SAAS,EACT,QAAQ,EACR,UAAU,EACV,YAAY,EACb,MAAM,YAAY,CAAC;AAKpB,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAuBX"}