@pyreon/compiler 0.24.5 → 0.24.6

package/src/tests/load-native.test.ts

@@ -1,53 +0,0 @@
-import { describe, expect, it } from 'vitest'
-import { getPlatformPackageName } from '../load-native'
-
-describe('getPlatformPackageName', () => {
-  it('returns @pyreon/compiler-darwin-arm64 on Apple Silicon', () => {
-    expect(getPlatformPackageName('darwin', 'arm64', null)).toBe('@pyreon/compiler-darwin-arm64')
-  })
-
-  it('returns @pyreon/compiler-darwin-x64 on Intel Mac', () => {
-    expect(getPlatformPackageName('darwin', 'x64', null)).toBe('@pyreon/compiler-darwin-x64')
-  })
-
-  it('returns @pyreon/compiler-linux-x64-gnu on glibc Linux x64', () => {
-    expect(getPlatformPackageName('linux', 'x64', 'gnu')).toBe('@pyreon/compiler-linux-x64-gnu')
-  })
-
-  it('returns @pyreon/compiler-linux-arm64-gnu on glibc Linux ARM64', () => {
-    expect(getPlatformPackageName('linux', 'arm64', 'gnu')).toBe('@pyreon/compiler-linux-arm64-gnu')
-  })
-
-  it('returns @pyreon/compiler-win32-x64-msvc on Windows x64', () => {
-    expect(getPlatformPackageName('win32', 'x64', 'msvc')).toBe('@pyreon/compiler-win32-x64-msvc')
-  })
-
-  it('returns null for unsupported platform (freebsd)', () => {
-    // freebsd is intentionally not in the supported allowlist — caller
-    // skips per-platform resolution and falls through to JS.
-    expect(getPlatformPackageName('freebsd', 'x64', null)).toBeNull()
-  })
-
-  it('returns null for unsupported arch on a supported platform (linux ia32)', () => {
-    // ia32 is not in the matrix — released-native.yml builds x64 + arm64 only.
-    expect(getPlatformPackageName('linux', 'ia32', 'gnu')).toBeNull()
-  })
-
-  it('returns null for darwin arm32 (not a real combo)', () => {
-    expect(getPlatformPackageName('darwin', 'arm', null)).toBeNull()
-  })
-
-  it('returns null for win32 arm64 (not yet shipped)', () => {
-    // Phase 4 matrix doesn't include Windows ARM64. When it's added,
-    // bump both .github/workflows/release-native.yml AND the supported
-    // map in load-native.ts together.
-    expect(getPlatformPackageName('win32', 'arm64', 'msvc')).toBeNull()
-  })
-
-  it('handles linux musl distinct from glibc', () => {
-    // The libc dimension is real — Alpine's musl binary is NOT
-    // ABI-compatible with Debian's glibc binary. Per-platform packages
-    // must differentiate.
-    expect(getPlatformPackageName('linux', 'x64', 'musl')).toBe('@pyreon/compiler-linux-x64-musl')
-  })
-})

package/src/tests/lpih.test.ts

@@ -1,404 +0,0 @@
-/**
- * Live Program Inlay Hints — pure merge-function tests.
- *
- * Proves the end-to-end story: static findings from `analyzeReactivity()`
- * merge with runtime fire data into enriched findings that an LSP can
- * serve as inlay hints. The runtime side is tested separately in
- * `@pyreon/reactivity` (`lpih-source-location.test.ts`).
- */
-import { describe, expect, it } from 'vitest'
-import {
-  firesToCreationSiteFindings,
-  type LPIHFireDatum,
-  mergeFireDataIntoFindings,
-} from '../lpih'
-import { analyzeReactivity } from '../reactivity-lens'
-import type { ReactivityFinding } from '../reactivity-lens'
-
-const finding = (
-  kind: ReactivityFinding['kind'],
-  line: number,
-  detail: string,
-): ReactivityFinding => ({
-  kind,
-  line,
-  column: 0,
-  endLine: line,
-  endColumn: 10,
-  detail,
-})
-
-const fire = (
-  file: string,
-  line: number,
-  count: number,
-  kind?: LPIHFireDatum['kind'],
-): LPIHFireDatum => ({ file, line, count, kind })
-
-describe('mergeFireDataIntoFindings — basic shape', () => {
-  it('passes findings through unchanged when no fires', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(findings, [], 'app.tsx')
-    expect(out).toEqual(findings)
-    expect(out).toBe(findings) // identity preserved on no-op
-  })
-
-  it('passes findings through unchanged when no fires match the file', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('other.tsx', 5, 3, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live') // not enriched
-  })
-
-  it('enriches a matching reactive finding with the fire count + kind', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 240, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 240×')
-  })
-
-  it('does NOT mutate the input findings', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const before = findings[0]?.detail
-    mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 240, 'signal')],
-      'app.tsx',
-    )
-    expect(findings[0]?.detail).toBe(before) // unchanged
-  })
-})
-
-describe('mergeFireDataIntoFindings — span-kind filtering', () => {
-  it('skips footgun findings (not runtime-active reactive reads)', () => {
-    const findings = [finding('footgun', 5, 'props destructured')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 5, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('props destructured') // unchanged
-  })
-
-  it('skips hoisted-static findings', () => {
-    const findings = [finding('hoisted-static', 5, 'hoisted')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 5, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('hoisted')
-  })
-
-  it('skips static-text findings', () => {
-    const findings = [finding('static-text', 5, 'baked')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 5, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('baked')
-  })
-
-  it('enriches reactive-prop kinds', () => {
-    const findings = [finding('reactive-prop', 7, 'reactive prop')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 7, 12, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('reactive prop — signal fired 12×')
-  })
-
-  it('enriches reactive-attr kinds', () => {
-    const findings = [finding('reactive-attr', 9, 'live attr')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 9, 3, 'derived')],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live attr — derived fired 3×')
-  })
-})
-
-describe('mergeFireDataIntoFindings — aggregation', () => {
-  it('sums fires at the same line', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [
-        fire('app.tsx', 5, 10, 'signal'),
-        fire('app.tsx', 5, 30, 'signal'),
-      ],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 40×')
-  })
-
-  it('uses latest lastFire + corresponding kind when summing', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [
-        { file: 'app.tsx', line: 5, count: 10, lastFire: 100, kind: 'signal' },
-        { file: 'app.tsx', line: 5, count: 5, lastFire: 999, kind: 'derived' },
-      ],
-      'app.tsx',
-    )
-    // Latest fire is `derived` at ts=999, so the kind label is 'derived'.
-    expect(out[0]?.detail).toBe('live — derived fired 15×')
-  })
-
-  it('keeps the earlier kind when incoming fire has no lastFire', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [
-        { file: 'app.tsx', line: 5, count: 10, lastFire: 100, kind: 'signal' },
-        { file: 'app.tsx', line: 5, count: 5, kind: 'derived' }, // no lastFire
-      ],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 15×')
-  })
-})
-
-describe('mergeFireDataIntoFindings — file-normalization', () => {
-  it('uses normalizeFile to compare paths', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const norm = (p: string): string => p.replace(/^.*\//, '')
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('/abs/path/app.tsx', 5, 7, 'signal')],
-      'workspace://app.tsx',
-      { normalizeFile: norm },
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 7×')
-  })
-})
-
-describe('mergeFireDataIntoFindings — custom format', () => {
-  it('uses formatDetail when provided', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 5, 42, 'signal')],
-      'app.tsx',
-      { formatDetail: (d, f) => `${d} [${f.count}]` },
-    )
-    expect(out[0]?.detail).toBe('live [42]')
-  })
-})
-
-describe('firesToCreationSiteFindings — synthetic creation-site hints', () => {
-  it('returns empty when no fires', () => {
-    expect(firesToCreationSiteFindings([], 'app.tsx')).toEqual([])
-  })
-
-  it('produces one finding per unique line', () => {
-    const out = firesToCreationSiteFindings(
-      [
-        fire('app.tsx', 5, 100, 'signal'),
-        fire('app.tsx', 8, 50, 'derived'),
-      ],
-      'app.tsx',
-    )
-    expect(out).toHaveLength(2)
-    expect(out[0]?.line).toBe(5)
-    expect(out[0]?.detail).toBe('signal fired 100×')
-    expect(out[1]?.line).toBe(8)
-    expect(out[1]?.detail).toBe('derived fired 50×')
-  })
-
-  it('aggregates multiple fires on the same line', () => {
-    const out = firesToCreationSiteFindings(
-      [
-        fire('app.tsx', 5, 100, 'signal'),
-        fire('app.tsx', 5, 50, 'signal'),
-      ],
-      'app.tsx',
-    )
-    expect(out).toHaveLength(1)
-    expect(out[0]?.detail).toBe('signal fired 150×')
-  })
-
-  it('skips fires from other files', () => {
-    const out = firesToCreationSiteFindings(
-      [
-        fire('app.tsx', 5, 100, 'signal'),
-        fire('other.tsx', 5, 50, 'signal'),
-      ],
-      'app.tsx',
-    )
-    expect(out).toHaveLength(1)
-    expect(out[0]?.line).toBe(5)
-  })
-
-  it('uses live-fire kind for the synthetic finding', () => {
-    const out = firesToCreationSiteFindings(
-      [fire('app.tsx', 5, 100, 'signal')],
-      'app.tsx',
-    )
-    expect(out[0]?.kind).toBe('live-fire')
-  })
-
-  it('sorts findings by line ascending', () => {
-    const out = firesToCreationSiteFindings(
-      [
-        fire('app.tsx', 10, 1, 'signal'),
-        fire('app.tsx', 3, 1, 'signal'),
-        fire('app.tsx', 7, 1, 'signal'),
-      ],
-      'app.tsx',
-    )
-    expect(out.map((f) => f.line)).toEqual([3, 7, 10])
-  })
-
-  it('honors normalizeFile for cross-realm paths', () => {
-    const out = firesToCreationSiteFindings(
-      [fire('/abs/app.tsx', 5, 100, 'signal')],
-      'workspace://app.tsx',
-      { normalizeFile: (p) => p.replace(/^.*\//, '') },
-    )
-    expect(out).toHaveLength(1)
-    expect(out[0]?.detail).toBe('signal fired 100×')
-  })
-
-  it('honors custom formatDetail', () => {
-    const out = firesToCreationSiteFindings(
-      [fire('app.tsx', 5, 42, 'signal')],
-      'app.tsx',
-      { formatDetail: (_, f) => `🔥 ${f.count}` },
-    )
-    expect(out[0]?.detail).toBe('🔥 42')
-  })
-})
-
-describe('end-to-end — analyzeReactivity + merge', () => {
-  it('enriches the static analysis output with runtime data', () => {
-    const code = `function App() {
-  const count = signal(0)
-  return <div>{count()}</div>
-}`
-    const { findings } = analyzeReactivity(code, 'app.tsx')
-    // The reactive {count()} span is on line 3.
-    const reactiveFinding = findings.find(
-      (f) => f.kind === 'reactive' && f.line === 3,
-    )
-    expect(reactiveFinding).toBeDefined()
-    const enriched = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', 3, 50, 'signal')],
-      'app.tsx',
-    )
-    const target = enriched.find((f) => f.kind === 'reactive' && f.line === 3)
-    expect(target?.detail).toContain('fired 50×')
-  })
-
-  it('leaves footguns visible even after merge (LPIH is additive)', () => {
-    // `const { x } = props` triggers the props-destructured footgun.
-    const code = `function App(props) {
-  const { x } = props
-  return <div>{x}</div>
-}`
-    const { findings } = analyzeReactivity(code, 'app.tsx')
-    const footgun = findings.find((f) => f.kind === 'footgun')
-    expect(footgun).toBeDefined()
-    const enriched = mergeFireDataIntoFindings(
-      findings,
-      [fire('app.tsx', footgun?.line ?? 0, 5, 'signal')],
-      'app.tsx',
-    )
-    const afterFootgun = enriched.find((f) => f.kind === 'footgun')
-    expect(afterFootgun?.detail).toBe(footgun?.detail) // unchanged
-  })
-})
-
-describe('rate1s — label formatting', () => {
-  it('omits rate when below threshold (dormant)', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [{ file: 'app.tsx', line: 5, count: 100, kind: 'signal', rate1s: 0.1 }],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 100×')
-    expect(out[0]?.detail).not.toContain('/s')
-  })
-
-  it('omits rate when undefined (older runtime / no field)', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [{ file: 'app.tsx', line: 5, count: 100, kind: 'signal' }],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 100×')
-  })
-
-  it('includes 1-decimal rate when above threshold and < 10/s', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [{ file: 'app.tsx', line: 5, count: 100, kind: 'signal', rate1s: 3.7 }],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 100× (3.7/s)')
-  })
-
-  it('rounds rate to integer at >= 10/s', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [{ file: 'app.tsx', line: 5, count: 1000, kind: 'signal', rate1s: 47.3 }],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 1000× (47/s)')
-  })
-
-  it('firesToCreationSiteFindings respects rate1s in label', () => {
-    const out = firesToCreationSiteFindings(
-      [
-        { file: 'app.tsx', line: 5, count: 50, kind: 'signal', rate1s: 5.2 },
-        { file: 'app.tsx', line: 8, count: 100, kind: 'effect', rate1s: 0.0 },
-      ],
-      'app.tsx',
-    )
-    expect(out).toHaveLength(2)
-    expect(out[0]?.detail).toBe('signal fired 50× (5.2/s)')
-    expect(out[1]?.detail).toBe('effect fired 100×')
-  })
-
-  it('sums rates when multiple fires share the same line', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [
-        { file: 'app.tsx', line: 5, count: 30, kind: 'signal', rate1s: 2.0 },
-        { file: 'app.tsx', line: 5, count: 20, kind: 'signal', rate1s: 3.5 },
-      ],
-      'app.tsx',
-    )
-    expect(out[0]?.detail).toBe('live — signal fired 50× (5.5/s)')
-  })
-
-  it('custom formatDetail receives rate1s in the fire object', () => {
-    const findings = [finding('reactive', 5, 'live')]
-    const out = mergeFireDataIntoFindings(
-      findings,
-      [{ file: 'app.tsx', line: 5, count: 100, kind: 'signal', rate1s: 7.5 }],
-      'app.tsx',
-      {
-        formatDetail: (d, f) =>
-          `${d} [rate=${f.rate1s?.toFixed(1) ?? 'n/a'}]`,
-      },
-    )
-    expect(out[0]?.detail).toBe('live [rate=7.5]')
-  })
-})

package/src/tests/malformed-input-resilience.test.ts

@@ -1,50 +0,0 @@
-/**
- * Compiler hardening — Round 10 (resilience gate; no bug found).
- *
- * `transformJSX` runs per-file inside the Vite dev server; a throw on
- * malformed input crashes the dev server (the documented contract is "a Rust
- * panic / parse error must not crash Vite — fall back gracefully"). Probed 15
- * adversarial inputs (unclosed/mismatched tags, stray brace, invalid attr,
- * unterminated string, 500-deep nesting, BOM, raw control bytes, empty,
- * comment-only, JSX in type position) through BOTH backends — all returned a
- * `{ code: string }` result without throwing. This locks that resilience so a
- * future change can't regress the compiler into throwing on bad input.
- */
-import { describe, expect, it } from 'vitest'
-import { transformJSX, transformJSX_JS } from '../jsx'
-
-const INPUTS: Array<[string, string]> = [
-  ['unclosed-tag', `function C(){ return <div>oops }`],
-  ['mismatched-tags', `function C(){ return <div></span> }`],
-  ['invalid-attr', `function C(){ return <div class=></div> }`],
-  ['stray-brace', `function C(){ return <div>{</div> }`],
-  ['empty', ``],
-  ['whitespace-only', `   \n  `],
-  ['non-jsx-ts', `const x: number = 1; export function f(){ return x }`],
-  ['deeply-unbalanced', `function C(){ return <a><b><c></a> }`],
-  ['unterminated-string-attr', `function C(){ return <div title="abc>x</div> }`],
-  ['huge-nesting-500', `function C(){ return ${'<a>'.repeat(500)}x${'</a>'.repeat(500)} }`],
-  ['bom-prefixed', `function C(){ return <div>ok</div> }`],
-  ['comment-only', `// just a comment`],
-  ['fragment-unclosed', `function C(){ return <>x }`],
-  ['raw-control-garbage', String.fromCharCode(0, 1) + ' not code <div'],
-]
-
-describe('Round 10 — transform never throws on malformed input (Vite-dev-server resilience)', () => {
-  for (const [name, src] of INPUTS) {
-    it(`JS backend tolerates: ${name}`, () => {
-      let res: { code?: unknown } | undefined
-      expect(() => {
-        res = transformJSX_JS(src, 'c.tsx')
-      }).not.toThrow()
-      expect(typeof res?.code).toBe('string')
-    })
-    it(`native backend tolerates: ${name}`, () => {
-      let res: { code?: unknown } | undefined
-      expect(() => {
-        res = transformJSX(src, 'c.tsx')
-      }).not.toThrow()
-      expect(typeof res?.code).toBe('string')
-    })
-  }
-})

package/src/tests/manifest-snapshot.test.ts

@@ -1,55 +0,0 @@
-import {
-  renderApiReferenceEntries,
-  renderLlmsFullSection,
-  renderLlmsTxtLine,
-} from '@pyreon/manifest'
-import manifest from '../manifest'
-
-describe('gen-docs — compiler snapshot', () => {
-  it('renders a llms.txt bullet starting with the package prefix', () => {
-    const line = renderLlmsTxtLine(manifest)
-    expect(line.startsWith('- @pyreon/compiler —')).toBe(true)
-  })
-
-  it('renders a llms-full.txt section with the right header', () => {
-    const section = renderLlmsFullSection(manifest)
-    expect(section.startsWith('## @pyreon/compiler —')).toBe(true)
-    expect(section).toContain('```typescript')
-  })
-
-  it('renders MCP api-reference entries for every api[] item', () => {
-    const record = renderApiReferenceEntries(manifest)
-    expect(Object.keys(record).sort()).toEqual([
-      'compiler/analyzeReactivity',
-      'compiler/auditIslands',
-      'compiler/auditSsg',
-      'compiler/auditTestEnvironment',
-      'compiler/detectPyreonPatterns',
-      'compiler/detectReactPatterns',
-      'compiler/diagnoseError',
-      'compiler/formatIslandAudit',
-      'compiler/formatReactivityLens',
-      'compiler/formatSsgAudit',
-      'compiler/formatTestAudit',
-      'compiler/generateContext',
-      'compiler/hasPyreonPatterns',
-      'compiler/hasReactPatterns',
-      'compiler/migrateReactCode',
-      'compiler/transformDeferInline',
-      'compiler/transformJSX',
-      'compiler/transformJSX_JS',
-    ])
-  })
-
-  it('flags the experimental Reactivity-Lens entries', () => {
-    const r = renderApiReferenceEntries(manifest)
-    expect(r['compiler/analyzeReactivity']?.notes).toContain('[EXPERIMENTAL]')
-    expect(r['compiler/formatReactivityLens']?.notes).toContain('[EXPERIMENTAL]')
-  })
-
-  it('carries the foot-gun catalog into MCP mistakes for flagship APIs', () => {
-    const r = renderApiReferenceEntries(manifest)
-    expect(r['compiler/transformJSX']?.mistakes).toBeTruthy()
-    expect(r['compiler/detectPyreonPatterns']?.mistakes).toContain('fixable')
-  })
-})