@weft-js/cli 0.1.1 → 0.1.3

package/src/workspace.mjs

@@ -2,7 +2,18 @@
 // node_modules hoisted above the project still resolve; the project's own node_modules dirs are symlinked, not copied.
 
 import { spawn } from 'node:child_process'
-import { existsSync, lstatSync, mkdirSync, readdirSync, readFileSync, realpathSync, rmSync, symlinkSync, writeFileSync, copyFileSync } from 'node:fs'
+import {
+  existsSync,
+  lstatSync,
+  mkdirSync,
+  readdirSync,
+  readFileSync,
+  realpathSync,
+  rmSync,
+  symlinkSync,
+  writeFileSync,
+  copyFileSync,
+} from 'node:fs'
 import { createRequire } from 'node:module'
 import { dirname, join, relative } from 'node:path'
 
@@ -12,7 +23,10 @@ const skipDirs = new Set(['.git', '.weft', 'dist', 'coverage', '.turbo', 'target
  * Copy `root` into a new scratch dir. `exclude(rel)` leaves a path out (relative to root, posix).
  * @returns {string} the copy's real path
  */
-export function copyProject(root, { exclude = () => false, id = Math.random().toString(36).slice(2, 8) } = {}) {
+export function copyProject(
+  root,
+  { exclude = () => false, id = Math.random().toString(36).slice(2, 8) } = {},
+) {
   const dest = join(root, '.weft', 'gate', `${process.pid}-${id}`)
   rmSync(dest, { recursive: true, force: true })
   mkdirSync(dest, { recursive: true })
@@ -20,14 +34,21 @@ export function copyProject(root, { exclude = () => false, id = Math.random().to
     for (const e of readdirSync(from, { withFileTypes: true })) {
       const r = rel ? `${rel}/${e.name}` : e.name
       const src = join(from, e.name)
-      if (e.name === 'node_modules') { symlinkSync(realpathSync(src), join(to, e.name)); continue }
+      if (e.name === 'node_modules') {
+        symlinkSync(realpathSync(src), join(to, e.name))
+        continue
+      }
       if (exclude(r)) continue
       if (e.isDirectory()) {
         if (skipDirs.has(e.name)) continue
         mkdirSync(join(to, e.name))
         go(src, join(to, e.name), r)
       } else if (e.isFile()) copyFileSync(src, join(to, e.name))
-      else if (e.isSymbolicLink()) { try { symlinkSync(realpathSync(src), join(to, e.name)) } catch {} }
+      else if (e.isSymbolicLink()) {
+        try {
+          symlinkSync(realpathSync(src), join(to, e.name))
+        } catch {}
+      }
     }
   }
   go(root, dest, '')
@@ -39,7 +60,10 @@ export function writeFiles(dir, files) {
   for (const [rel, text] of Object.entries(files)) {
     const abs = join(dir, rel)
     if (text == null) rmSync(abs, { force: true })
-    else { mkdirSync(dirname(abs), { recursive: true }); writeFileSync(abs, text) }
+    else {
+      mkdirSync(dirname(abs), { recursive: true })
+      writeFileSync(abs, text)
+    }
   }
 }
 
@@ -47,7 +71,9 @@ export function removeCopy(dir) {
   rmSync(dir, { recursive: true, force: true })
   // Leave `.weft/gate` behind only when something else is in it.
   const gateDir = dirname(dir)
-  try { if (!readdirSync(gateDir).length) rmSync(gateDir, { recursive: true }) } catch {}
+  try {
+    if (!readdirSync(gateDir).length) rmSync(gateDir, { recursive: true })
+  } catch {}
 }
 
 /** The vitest CLI the project would run: its own, else the CLI's. */
@@ -55,7 +81,10 @@ export function vitestBin(root) {
   for (const req of [createRequire(join(root, 'package.json')), createRequire(import.meta.url)]) {
     try {
       let dir = dirname(req.resolve('vitest'))
-      while (!existsSync(join(dir, 'package.json')) || !/"name":\s*"vitest"/.test(readFileSync(join(dir, 'package.json'), 'utf8'))) {
+      while (
+        !existsSync(join(dir, 'package.json')) ||
+        !/"name":\s*"vitest"/.test(readFileSync(join(dir, 'package.json'), 'utf8'))
+      ) {
         if (dirname(dir) === dir) throw new Error('no vitest')
         dir = dirname(dir)
       }
@@ -72,26 +101,57 @@ export function vitestBin(root) {
  */
 export function runVitest(dir, files, { bin, timeoutMs = 120_000, config } = {}) {
   const report = join(dir, `.weft-report-${Math.random().toString(36).slice(2, 8)}.json`)
-  const args = [bin, 'run', '--root', dir, '--reporter=json', `--outputFile=${report}`, '--passWithNoTests', ...(config ? ['--config', config] : []), ...files]
+  const args = [
+    bin,
+    'run',
+    '--root',
+    dir,
+    '--reporter=json',
+    `--outputFile=${report}`,
+    '--passWithNoTests',
+    ...(config ? ['--config', config] : []),
+    ...files,
+  ]
   const started = performance.now()
-  return new Promise(resolve => {
-    const child = spawn(process.execPath, args, { cwd: dir, stdio: ['ignore', 'ignore', 'pipe'], env: { ...process.env, FORCE_COLOR: '0', CI: '1' }, detached: true })
+  return new Promise((resolve) => {
+    const child = spawn(process.execPath, args, {
+      cwd: dir,
+      stdio: ['ignore', 'ignore', 'pipe'],
+      env: { ...process.env, FORCE_COLOR: '0', CI: '1' },
+      detached: true,
+    })
     let stderr = ''
-    child.stderr.on('data', d => { if (stderr.length < 20_000) stderr += d })
+    child.stderr.on('data', (d) => {
+      if (stderr.length < 20_000) stderr += d
+    })
     let timedOut = false
-    const timer = setTimeout(() => { timedOut = true; try { if (child.pid !== undefined) process.kill(-child.pid, 'SIGKILL') } catch {} }, timeoutMs)
+    const timer = setTimeout(() => {
+      timedOut = true
+      try {
+        if (child.pid !== undefined) process.kill(-child.pid, 'SIGKILL')
+      } catch {}
+    }, timeoutMs)
     child.on('close', () => {
       clearTimeout(timer)
-      const tests = new Map(), loadErrors = new Map()
+      const tests = new Map(),
+        loadErrors = new Map()
       if (!timedOut && existsSync(report)) {
         let data
-        try { data = JSON.parse(readFileSync(report, 'utf8')) } catch {}
+        try {
+          data = JSON.parse(readFileSync(report, 'utf8'))
+        } catch {}
         rmSync(report, { force: true })
         for (const f of data?.testResults ?? []) {
           const file = relative(dir, safeReal(f.name)).split('\\').join('/')
-          if (!f.assertionResults.length) { loadErrors.set(file, firstLine(f.message) || 'the file failed to load'); continue }
+          if (!f.assertionResults.length) {
+            loadErrors.set(file, firstLine(f.message) || 'the file failed to load')
+            continue
+          }
           for (const a of f.assertionResults)
-            tests.set(`${file}::${[...a.ancestorTitles, a.title].join(' > ')}`, { status: a.status, message: firstLine(a.failureMessages?.[0]) })
+            tests.set(`${file}::${[...a.ancestorTitles, a.title].join(' > ')}`, {
+              status: a.status,
+              message: firstLine(a.failureMessages?.[0]),
+            })
         }
       }
       resolve({ tests, loadErrors, timedOut, ms: Math.round(performance.now() - started), stderr })
@@ -99,7 +159,24 @@ export function runVitest(dir, files, { bin, timeoutMs = 120_000, config } = {})
   })
 }
 
-const safeReal = p => { try { return realpathSync(p) } catch { return p } }
-const firstLine = s => s?.split('\n').find(l => l.trim())?.trim().slice(0, 300)
+const safeReal = (p) => {
+  try {
+    return realpathSync(p)
+  } catch {
+    return p
+  }
+}
+const firstLine = (s) =>
+  s
+    ?.split('\n')
+    .find((l) => l.trim())
+    ?.trim()
+    .slice(0, 300)
 
-export const isDir = p => { try { return lstatSync(p).isDirectory() } catch { return false } }
+export const isDir = (p) => {
+  try {
+    return lstatSync(p).isDirectory()
+  } catch {
+    return false
+  }
+}

package/ts-plugin/context.js

@@ -0,0 +1,57 @@
+const { Engine } = require('../src/infer/engine.cjs')
+const { languageHost } = require('../src/infer/hosts.cjs')
+
+function createContext(ts, info, ls) {
+  const lsHost = info.languageServiceHost
+  const realSnapshot = lsHost.getScriptSnapshot.bind(lsHost)
+  const realVersion = lsHost.getScriptVersion.bind(lsHost)
+  const textOf = (f) => {
+    const s = realSnapshot(f)
+    return s && s.getText(0, s.getLength())
+  }
+  const engine = new Engine({ ts, read: textOf })
+  const gen = new Map()
+  const seen = new Map()
+  const sources = new Map()
+
+  lsHost.getScriptSnapshot = (f) => {
+    const m = engine.maps.get(f)
+    return m ? ts.ScriptSnapshot.fromString(m.text) : realSnapshot(f)
+  }
+  lsHost.getScriptVersion = (f) => `${realVersion(f)}.${gen.get(f) ?? 0}`
+  // tsserver only syncs a dirty project, so a new shadow has to dirty it.
+  const host = languageHost(
+    ts,
+    () => ls,
+    (files) => {
+      for (const f of files.keys()) gen.set(f, (gen.get(f) ?? 0) + 1)
+      info.project.markAsDirty()
+    },
+  )
+
+  let busy = false
+  function ensure() {
+    if (busy) return
+    let changed = false
+    for (const f of lsHost.getScriptFileNames()) {
+      if (!f.endsWith('.tsx')) continue
+      const v = realVersion(f)
+      if (seen.get(f) === v) continue
+      seen.set(f, v)
+      if (engine.set(f, textOf(f))) changed = true
+    }
+    if (!changed) return
+    busy = true
+    try {
+      engine.run(host)
+    } catch (e) {
+      info.project.projectService.logger.info(`weft props: ${e.stack}`)
+    } finally {
+      busy = false
+    }
+  }
+
+  return { engine, textOf, ensure, sources }
+}
+
+module.exports = { createContext }

package/ts-plugin/index.js

@@ -2,134 +2,14 @@
 // inferred props hover, complete and report at the source. TypeScript 7 doesn't load plugins and ignores the entry in
 // tsconfig without a word, which is safe: research 44 §6 says what an editor on tsgo gets instead.
 
-const { Engine } = require('../src/infer/engine.cjs')
-const { languageHost } = require('../src/infer/hosts.cjs')
-const { toShadow, toSource, inGenerated } = require('../src/infer/shadow.cjs')
-
-const CODES = { W080: 9080, W081: 9081, W082: 9082, W083: 9083, W084: 9084, W085: 9085 }
-const SPANS = new Set(['textSpan', 'contextSpan', 'triggerSpan', 'applicableSpan', 'applicableToSpan', 'optionalReplacementSpan', 'replacementSpan', 'fileTextChangesSpan', 'span'])
+const { createContext } = require('./context.js')
+const { createProxy } = require('./proxy.js')
 
 function init({ typescript: ts }) {
   function create(info) {
     const ls = info.languageService
-    const lsHost = info.languageServiceHost
-    const realSnapshot = lsHost.getScriptSnapshot.bind(lsHost)
-    const realVersion = lsHost.getScriptVersion.bind(lsHost)
-    const textOf = f => { const s = realSnapshot(f); return s && s.getText(0, s.getLength()) }
-    const engine = new Engine({ ts, read: textOf })
-    const gen = new Map()
-    const seen = new Map()
-    const sources = new Map()
-
-    lsHost.getScriptSnapshot = f => { const m = engine.maps.get(f); return m ? ts.ScriptSnapshot.fromString(m.text) : realSnapshot(f) }
-    lsHost.getScriptVersion = f => `${realVersion(f)}.${gen.get(f) ?? 0}`
-    // tsserver only syncs a dirty project, so a new shadow has to dirty it.
-    const host = languageHost(ts, () => ls, files => { for (const f of files.keys()) gen.set(f, (gen.get(f) ?? 0) + 1); info.project.markAsDirty() })
-
-    let busy = false
-    function ensure() {
-      if (busy) return
-      let changed = false
-      for (const f of lsHost.getScriptFileNames()) {
-        if (!f.endsWith('.tsx')) continue
-        const v = realVersion(f)
-        if (seen.get(f) === v) continue
-        seen.set(f, v)
-        if (engine.set(f, textOf(f))) changed = true
-      }
-      if (!changed) return
-      busy = true
-      try { engine.run(host) } catch (e) { info.project.projectService.logger.info(`weft props: ${e.stack}`) } finally { busy = false }
-    }
-
-    const mapOf = f => engine.maps.get(f)
-    const sourceFile = f => {
-      const text = engine.texts.get(f) ?? textOf(f)
-      const hit = sources.get(f)
-      if (hit?.text === text) return hit.sf
-      const sf = ts.createSourceFile(f, text, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX)
-      sources.set(f, { text, sf })
-      return sf
-    }
-    const spanBack = (map, s) => {
-      const start = toSource(map, s.start)
-      return { start, length: toSource(map, s.start + s.length) - start }
-    }
-    /** Walks a result and maps every span, using the nearest `fileName` above it. */
-    function back(value, file) {
-      if (Array.isArray(value)) return value.map(v => back(v, file))
-      if (!value || typeof value !== 'object') return value
-      const here = typeof value.fileName === 'string' ? value.fileName : file
-      const map = mapOf(here)
-      const out = {}
-      for (const k of Object.keys(value)) {
-        const v = value[k]
-        if (SPANS.has(k) && map && v && typeof v.start === 'number') out[k] = spanBack(map, v)
-        else if (k === 'symbol' || k === 'file' || typeof v === 'function') out[k] = v
-        else out[k] = back(v, here)
-      }
-      return out
-    }
-    const diag = (d, f) => {
-      const file = d.file?.fileName ?? f
-      const map = mapOf(file)
-      if (!map || d.start === undefined) return d
-      const related = d.relatedInformation?.map(r => diag(r, f))
-      const start = toSource(map, d.start)
-      return { ...d, file: sourceFile(file), start, length: toSource(map, d.start + d.length) - start, relatedInformation: related }
-    }
-    const inside = (d, f) => { const m = mapOf(f); return !(m && d.start !== undefined && inGenerated(m, d.start, d.length ?? 0)) }
-    const findings = f => engine.findings.get(f) ?? []
-    const said = f => findings(f).filter(x => x.code === 'W084')
-
-    const proxy = Object.create(null)
-    for (const k of Object.keys(ls)) proxy[k] = (...a) => ls[k](...a)
-    const at = (name, index = 1) => {
-      proxy[name] = (f, ...rest) => {
-        ensure()
-        const map = mapOf(f)
-        const args = [f, ...rest]
-        if (map) args[index] = toShadow(map, args[index])
-        return back(ls[name](...args), f)
-      }
-    }
-    for (const n of ['getQuickInfoAtPosition', 'getCompletionsAtPosition', 'getCompletionEntryDetails', 'getDefinitionAtPosition', 'getDefinitionAndBoundSpan', 'getTypeDefinitionAtPosition', 'getImplementationAtPosition', 'getReferencesAtPosition', 'findReferences', 'getSignatureHelpItems', 'getRenameInfo', 'getDocumentHighlights', 'prepareCallHierarchy', 'getBraceMatchingAtPosition']) if (ls[n]) at(n)
-    proxy.findRenameLocations = (f, pos, ...rest) => { ensure(); const m = mapOf(f); return back(ls.findRenameLocations(f, m ? toShadow(m, pos) : pos, ...rest), f) }
-    proxy.getSyntacticDiagnostics = f => { ensure(); return ls.getSyntacticDiagnostics(f).filter(d => inside(d, f)).map(d => diag(d, f)) }
-    proxy.getSuggestionDiagnostics = f => { ensure(); return ls.getSuggestionDiagnostics(f).filter(d => inside(d, f)).map(d => diag(d, f)) }
-    proxy.getSemanticDiagnostics = f => {
-      ensure()
-      const sf = mapOf(f) ? sourceFile(f) : ls.getProgram()?.getSourceFile(f)
-      const ours = findings(f).map(x => ({ file: sf, start: x.start, length: x.end - x.start, messageText: `${x.code} ${x.why} Fix: ${x.help}`, category: x.severity === 'warning' ? ts.DiagnosticCategory.Warning : ts.DiagnosticCategory.Error, code: CODES[x.code], source: 'weft' }))
-      const theirs = ls.getSemanticDiagnostics(f).filter(d => inside(d, f)).map(d => diag(d, f))
-        .filter(d => !said(f).some(x => d.start < x.end && x.start < d.start + Math.max(d.length, 1)))
-      return [...theirs, ...ours]
-    }
-    proxy.getEncodedSemanticClassifications = (f, span, format) => {
-      ensure()
-      const m = mapOf(f)
-      if (!m) return ls.getEncodedSemanticClassifications(f, span, format)
-      const start = toShadow(m, span.start)
-      const out = ls.getEncodedSemanticClassifications(f, { start, length: toShadow(m, span.start + span.length) - start }, format)
-      const spans = []
-      for (let i = 0; i < out.spans.length; i += 3) {
-        if (inGenerated(m, out.spans[i], out.spans[i + 1])) continue
-        const s = toSource(m, out.spans[i])
-        spans.push(s, toSource(m, out.spans[i] + out.spans[i + 1]) - s, out.spans[i + 2])
-      }
-      return { ...out, spans }
-    }
-    proxy.getCodeFixesAtPosition = (f, start, end, codes, ...rest) => {
-      ensure()
-      const fixes = findings(f).filter(x => x.edits && codes.includes(CODES[x.code]) && x.start < end && start < x.end).map(x => ({
-        fixName: 'weft-props', description: `Write ${x.code === 'W082' ? 'the new' : 'the inferred'} prop type`,
-        changes: [{ fileName: f, textChanges: x.edits.map(e => ({ span: { start: e.start, length: e.end - e.start }, newText: e.text })) }],
-      }))
-      const m = mapOf(f)
-      const theirs = ls.getCodeFixesAtPosition(f, m ? toShadow(m, start) : start, m ? toShadow(m, end) : end, codes.filter(c => c < 9000), ...rest)
-      return [...fixes, ...back(theirs, f)]
-    }
-    return proxy
+    const context = createContext(ts, info, ls)
+    return createProxy(ts, ls, context)
   }
   return { create }
 }

package/ts-plugin/mapping.js

@@ -0,0 +1,65 @@
+const { toSource, inGenerated } = require('../src/infer/shadow.cjs')
+
+const SPANS = new Set([
+  'textSpan',
+  'contextSpan',
+  'triggerSpan',
+  'applicableSpan',
+  'applicableToSpan',
+  'optionalReplacementSpan',
+  'replacementSpan',
+  'fileTextChangesSpan',
+  'span',
+])
+
+function createMapping(ts, engine, textOf, sources) {
+  const mapOf = (f) => engine.maps.get(f)
+  const sourceFile = (f) => {
+    const text = engine.texts.get(f) ?? textOf(f)
+    const hit = sources.get(f)
+    if (hit?.text === text) return hit.sf
+    const sf = ts.createSourceFile(f, text, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX)
+    sources.set(f, { text, sf })
+    return sf
+  }
+  const spanBack = (map, s) => {
+    const start = toSource(map, s.start)
+    return { start, length: toSource(map, s.start + s.length) - start }
+  }
+  /** Walks a result and maps every span, using the nearest `fileName` above it. */
+  function back(value, file) {
+    if (Array.isArray(value)) return value.map((v) => back(v, file))
+    if (!value || typeof value !== 'object') return value
+    const here = typeof value.fileName === 'string' ? value.fileName : file
+    const map = mapOf(here)
+    const out = {}
+    for (const k of Object.keys(value)) {
+      const v = value[k]
+      if (SPANS.has(k) && map && v && typeof v.start === 'number') out[k] = spanBack(map, v)
+      else if (k === 'symbol' || k === 'file' || typeof v === 'function') out[k] = v
+      else out[k] = back(v, here)
+    }
+    return out
+  }
+  const diag = (d, f) => {
+    const file = d.file?.fileName ?? f
+    const map = mapOf(file)
+    if (!map || d.start === undefined) return d
+    const related = d.relatedInformation?.map((r) => diag(r, f))
+    const start = toSource(map, d.start)
+    return {
+      ...d,
+      file: sourceFile(file),
+      start,
+      length: toSource(map, d.start + d.length) - start,
+      relatedInformation: related,
+    }
+  }
+  const inside = (d, f) => {
+    const m = mapOf(f)
+    return !(m && d.start !== undefined && inGenerated(m, d.start, d.length ?? 0))
+  }
+  return { mapOf, sourceFile, back, diag, inside }
+}
+
+module.exports = { createMapping }

package/ts-plugin/proxy.js

@@ -0,0 +1,144 @@
+const { toShadow, toSource, inGenerated } = require('../src/infer/shadow.cjs')
+const { createMapping } = require('./mapping.js')
+
+const CODES = { W080: 9080, W081: 9081, W082: 9082, W083: 9083, W084: 9084, W085: 9085 }
+
+function positions(proxy, ls, { ensure, mapOf, back }) {
+  const at = (name, index = 1) => {
+    proxy[name] = (f, ...rest) => {
+      ensure()
+      const map = mapOf(f)
+      const args = [f, ...rest]
+      if (map) args[index] = toShadow(map, args[index])
+      return back(ls[name](...args), f)
+    }
+  }
+  for (const n of [
+    'getQuickInfoAtPosition',
+    'getCompletionsAtPosition',
+    'getCompletionEntryDetails',
+    'getDefinitionAtPosition',
+    'getDefinitionAndBoundSpan',
+    'getTypeDefinitionAtPosition',
+    'getImplementationAtPosition',
+    'getReferencesAtPosition',
+    'findReferences',
+    'getSignatureHelpItems',
+    'getRenameInfo',
+    'getDocumentHighlights',
+    'prepareCallHierarchy',
+    'getBraceMatchingAtPosition',
+  ])
+    if (ls[n]) at(n)
+  proxy.findRenameLocations = (f, pos, ...rest) => {
+    ensure()
+    const m = mapOf(f)
+    return back(ls.findRenameLocations(f, m ? toShadow(m, pos) : pos, ...rest), f)
+  }
+}
+
+function diagnostics(proxy, ls, ts, { ensure, mapOf, sourceFile, diag, inside, findings, said }) {
+  proxy.getSyntacticDiagnostics = (f) => {
+    ensure()
+    return ls
+      .getSyntacticDiagnostics(f)
+      .filter((d) => inside(d, f))
+      .map((d) => diag(d, f))
+  }
+  proxy.getSuggestionDiagnostics = (f) => {
+    ensure()
+    return ls
+      .getSuggestionDiagnostics(f)
+      .filter((d) => inside(d, f))
+      .map((d) => diag(d, f))
+  }
+  proxy.getSemanticDiagnostics = (f) => {
+    ensure()
+    const sf = mapOf(f) ? sourceFile(f) : ls.getProgram()?.getSourceFile(f)
+    const ours = findings(f).map((x) => ({
+      file: sf,
+      start: x.start,
+      length: x.end - x.start,
+      messageText: `${x.code} ${x.why} Fix: ${x.help}`,
+      category:
+        x.severity === 'warning' ? ts.DiagnosticCategory.Warning : ts.DiagnosticCategory.Error,
+      code: CODES[x.code],
+      source: 'weft',
+    }))
+    const theirs = ls
+      .getSemanticDiagnostics(f)
+      .filter((d) => inside(d, f))
+      .map((d) => diag(d, f))
+      .filter(
+        (d) => !said(f).some((x) => d.start < x.end && x.start < d.start + Math.max(d.length, 1)),
+      )
+    return [...theirs, ...ours]
+  }
+}
+
+function classifications(proxy, ls, { ensure, mapOf }) {
+  proxy.getEncodedSemanticClassifications = (f, span, format) => {
+    ensure()
+    const m = mapOf(f)
+    if (!m) return ls.getEncodedSemanticClassifications(f, span, format)
+    const start = toShadow(m, span.start)
+    const out = ls.getEncodedSemanticClassifications(
+      f,
+      { start, length: toShadow(m, span.start + span.length) - start },
+      format,
+    )
+    const spans = []
+    for (let i = 0; i < out.spans.length; i += 3) {
+      if (inGenerated(m, out.spans[i], out.spans[i + 1])) continue
+      const s = toSource(m, out.spans[i])
+      spans.push(s, toSource(m, out.spans[i] + out.spans[i + 1]) - s, out.spans[i + 2])
+    }
+    return { ...out, spans }
+  }
+}
+
+function installFixes(proxy, ls, { ensure, mapOf, back, findings }) {
+  proxy.getCodeFixesAtPosition = (f, start, end, codes, ...rest) => {
+    ensure()
+    const fixes = findings(f)
+      .filter((x) => x.edits && codes.includes(CODES[x.code]) && x.start < end && start < x.end)
+      .map((x) => ({
+        fixName: 'weft-props',
+        description: `Write ${x.code === 'W082' ? 'the new' : 'the inferred'} prop type`,
+        changes: [
+          {
+            fileName: f,
+            textChanges: x.edits.map((e) => ({
+              span: { start: e.start, length: e.end - e.start },
+              newText: e.text,
+            })),
+          },
+        ],
+      }))
+    const m = mapOf(f)
+    const theirs = ls.getCodeFixesAtPosition(
+      f,
+      m ? toShadow(m, start) : start,
+      m ? toShadow(m, end) : end,
+      codes.filter((c) => c < 9000),
+      ...rest,
+    )
+    return [...fixes, ...back(theirs, f)]
+  }
+}
+
+function createProxy(ts, ls, { engine, textOf, ensure, sources }) {
+  const { mapOf, sourceFile, back, diag, inside } = createMapping(ts, engine, textOf, sources)
+  const findings = (f) => engine.findings.get(f) ?? []
+  const said = (f) => findings(f).filter((x) => x.code === 'W084')
+  const context = { ensure, mapOf, sourceFile, back, diag, inside, findings, said }
+  const proxy = Object.create(null)
+  for (const k of Object.keys(ls)) proxy[k] = (...a) => ls[k](...a)
+  positions(proxy, ls, context)
+  diagnostics(proxy, ls, ts, context)
+  classifications(proxy, ls, context)
+  installFixes(proxy, ls, context)
+  return proxy
+}
+
+module.exports = { createProxy }