[compiler] Delete LoweredFunction.dependencies and hoisted instructions

[compiler][be] Patch test fixtures for evaluator
[compiler][be] Clean up nested function context in DCE
2024-10-11 16:31:28 -04:00 · 2024-10-11 16:31:28 -04:00 · 2024-10-11 16:31:28 -04:00 · 2024-10-11 16:31:28 -04:00 · 2024-10-11 16:31:27 -04:00 · 2024-10-11 16:31:27 -04:00
547 changed files with 12160 additions and 11367 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -8,9 +8,11 @@ indent_size = 2
 indent_style = space
 insert_final_newline = true
 max_line_length = 80
+trim_trailing_whitespace = true

 [*.md]
 max_line_length = 0
+trim_trailing_whitespace = false

 [COMMIT_EDITMSG]
 max_line_length = 0
--- a/.eslintrc.js
+++ b/.eslintrc.js
@@ -569,7 +569,6 @@ module.exports = {
    React$Node: 'readonly',
    React$Portal: 'readonly',
    React$Ref: 'readonly',
-    React$RefSetter: 'readonly',
    ReadableStreamController: 'readonly',
    ReadableStreamReader: 'readonly',
    RequestInfo: 'readonly',
--- a/.github/ISSUE_TEMPLATE/compiler_bug_report.yml
+++ b/.github/ISSUE_TEMPLATE/compiler_bug_report.yml
@@ -55,10 +55,3 @@ body:
      Please provide your React version in the app where this issue occurred.
  validations:
    required: true
- type: input
-  attributes:
-    label: What version of React Compiler are you using?
-    description: |
-      Please provide the exact React Compiler version in the app where this issue occurred.
-  validations:
-    required: true
--- a/.github/workflows/compiler_playground.yml
+++ b/.github/workflows/compiler_playground.yml
@@ -8,10 +8,6 @@ on:
      - compiler/**
      - .github/workflows/compiler-playground.yml

-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
-  cancel-in-progress: true
-
 env:
  TZ: /usr/share/zoneinfo/America/Los_Angeles
  # https://github.com/actions/cache/blob/main/tips-and-workarounds.md#cache-segment-restore-timeout
@@ -37,7 +33,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: compiler-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('compiler/**/yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('compiler/**/yarn.lock') }}
      - name: yarn install compiler
        run: yarn install --frozen-lockfile
        working-directory: compiler
@@ -45,8 +41,3 @@ jobs:
        run: yarn install --frozen-lockfile
      - run: npx playwright install --with-deps chromium
      - run: yarn test
-      - name: Archive test results
-        uses: actions/upload-artifact@v4
-        with:
-          name: test-results
-          path: test-results
--- a/.github/workflows/compiler_prereleases.yml
+++ b/.github/workflows/compiler_prereleases.yml
@@ -13,9 +13,6 @@ on:
      dist_tag:
        required: true
        type: string
-      version_name:
-        required: true
-        type: string
    secrets:
      NPM_TOKEN:
        required: true
@@ -47,9 +44,9 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: compiler-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('compiler/**/yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('compiler/**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Publish packages to npm
        run: |
          cp ./scripts/release/ci-npmrc ~/.npmrc
-          scripts/release/publish.js --frfr --ci --versionName=${{ inputs.version_name }} --tag ${{ inputs.dist_tag }}
+          scripts/release/publish.js --frfr --ci --tags ${{ inputs.dist_tag }}
--- a/.github/workflows/compiler_prereleases_manual.yml
+++ b/.github/workflows/compiler_prereleases_manual.yml
@@ -5,15 +5,6 @@ on:
    inputs:
      prerelease_commit_sha:
        required: false
-      release_channel:
-        required: true
-        type: string
-      dist_tag:
-        required: true
-        type: string
-      version_name:
-        required: true
-        type: string

 env:
  TZ: /usr/share/zoneinfo/America/Los_Angeles
@@ -24,8 +15,7 @@ jobs:
    uses: facebook/react/.github/workflows/compiler_prereleases.yml@main
    with:
      commit_sha: ${{ inputs.prerelease_commit_sha || github.sha }}
-      release_channel: ${{ inputs.release_channel }}
-      dist_tag: ${{ inputs.dist_tag }}
-      version_name: ${{ inputs.version_name }}
+      release_channel: experimental
+      dist_tag: experimental
    secrets:
      NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
--- a/.github/workflows/compiler_prereleases_nightly.yml
+++ b/.github/workflows/compiler_prereleases_nightly.yml
@@ -16,6 +16,5 @@ jobs:
      commit_sha: ${{ github.sha }}
      release_channel: experimental
      dist_tag: experimental
-      version_name: '0.0.0'
    secrets:
      NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
--- a/.github/workflows/compiler_prereleases_weekly.yml
+++ b/.github/workflows/compiler_prereleases_weekly.yml
@@ -1,21 +0,0 @@
-name: (Compiler) Publish Prereleases Weekly
-
-on:
-  schedule:
-    # At 10 minutes past 9:00 on Mon
-    - cron: 10 9 * * 1
-
-env:
-  TZ: /usr/share/zoneinfo/America/Los_Angeles
-
-jobs:
-  publish_prerelease_beta:
-    name: Publish to beta channel
-    uses: facebook/react/.github/workflows/compiler_prereleases.yml@main
-    with:
-      commit_sha: ${{ github.sha }}
-      release_channel: beta
-      dist_tag: beta
-      version_name: '19.0.0'
-    secrets:
-      NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
--- a/.github/workflows/compiler_rust.yml
+++ b/.github/workflows/compiler_rust.yml
@@ -15,10 +15,6 @@ on:
      - compiler/Cargo.*
      - compiler/*.toml

-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
-  cancel-in-progress: true
-
 env:
  CARGO_TERM_COLOR: always
  RUSTFLAGS: -Dwarnings
--- a/.github/workflows/compiler_typescript.yml
+++ b/.github/workflows/compiler_typescript.yml
@@ -8,10 +8,6 @@ on:
      - compiler/**
      - .github/workflows/compiler_typescript.yml

-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
-  cancel-in-progress: true
-
 env:
  TZ: /usr/share/zoneinfo/America/Los_Angeles
  # https://github.com/actions/cache/blob/main/tips-and-workarounds.md#cache-segment-restore-timeout
@@ -47,7 +43,7 @@ jobs:
        uses: actions/cache@v4
        with:
          path: "**/node_modules"
-          key: compiler-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('compiler/**/yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('compiler/**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn workspace babel-plugin-react-compiler lint

@@ -67,7 +63,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: compiler-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('compiler/**/yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('compiler/**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn workspace babel-plugin-react-compiler jest

@@ -91,6 +87,6 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: compiler-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('compiler/**/yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('compiler/**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn workspace ${{ matrix.workspace_name }} test
--- a/.github/workflows/devtools_regression_tests.yml
+++ b/.github/workflows/devtools_regression_tests.yml
@@ -30,9 +30,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-release-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn install --frozen-lockfile
        working-directory: scripts/release
@@ -64,9 +62,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -107,7 +103,6 @@ jobs:
          - "16.8" # hooks
          - "17.0"
          - "18.0"
-          - "18.2" # compiler polyfill
    continue-on-error: true
    steps:
      - uses: actions/checkout@v4
@@ -121,7 +116,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore all archived build artifacts
        uses: actions/download-artifact@v4
@@ -155,7 +150,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore all archived build artifacts
        uses: actions/download-artifact@v4
--- a/.github/workflows/runtime_build_and_test.yml
+++ b/.github/workflows/runtime_build_and_test.yml
@@ -3,18 +3,10 @@ name: (Runtime) Build and Test
 on:
  push:
    branches: [main]
-    tags:
-      # To get CI for backport releases.
-      # This will duplicate CI for releases from main which is acceptable
-      - "v*"
  pull_request:
    paths-ignore:
      - compiler/**

-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
-  cancel-in-progress: true
-
 env:
  TZ: /usr/share/zoneinfo/America/Los_Angeles
  # https://github.com/actions/cache/blob/main/tips-and-workarounds.md#cache-segment-restore-timeout
@@ -56,9 +48,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: node ./scripts/tasks/flow-ci ${{ matrix.flow_inline_config_shortname }}

@@ -78,9 +68,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: |
          yarn generate-inline-fizz-runtime
@@ -102,9 +90,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn flags

@@ -153,9 +139,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn test ${{ matrix.params }} --ci --shard=${{ matrix.shard }}

@@ -184,9 +168,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn build --index=${{ matrix.worker_id }} --total=20 --r=${{ matrix.release_channel }} --ci
        env:
@@ -256,9 +238,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -286,9 +266,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -331,9 +309,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -364,9 +340,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -394,9 +368,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: fixtures_dom-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: v2-yarn_cache_fixtures_dom-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn install --frozen-lockfile --cache-folder ~/.cache/yarn
        working-directory: fixtures/dom
@@ -436,9 +408,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: fixtures_flight-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: v2-yarn_cache_fixtures_flight-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -494,9 +464,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -542,9 +510,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build
        uses: actions/download-artifact@v4
@@ -577,8 +543,6 @@ jobs:
        with:
          path: "**/node_modules"
          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
      - run: yarn install --frozen-lockfile
      - run: yarn install --frozen-lockfile
        working-directory: scripts/release
@@ -617,9 +581,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - name: Restore archived build for PR
        uses: actions/download-artifact@v4
--- a/.github/workflows/runtime_commit_artifacts.yml
+++ b/.github/workflows/runtime_commit_artifacts.yml
@@ -74,9 +74,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-release-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
      - run: yarn install --frozen-lockfile
        name: yarn install (react)
      - run: yarn install --frozen-lockfile
--- a/.github/workflows/runtime_prereleases.yml
+++ b/.github/workflows/runtime_prereleases.yml
@@ -40,9 +40,7 @@ jobs:
        id: node_modules
        with:
          path: "**/node_modules"
-          key: runtime-release-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('yarn.lock', 'scripts/release/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn install --frozen-lockfile
        working-directory: scripts/release
--- a/.github/workflows/shared_lint.yml
+++ b/.github/workflows/shared_lint.yml
@@ -5,10 +5,6 @@ on:
    branches: [main]
  pull_request:

-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
-  cancel-in-progress: true
-
 env:
  TZ: /usr/share/zoneinfo/America/Los_Angeles
  # https://github.com/actions/cache/blob/main/tips-and-workarounds.md#cache-segment-restore-timeout
@@ -29,9 +25,7 @@ jobs:
        uses: actions/cache@v4
        with:
          path: "**/node_modules"
-          key: shared-lint-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('**/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: yarn prettier-check

@@ -49,9 +43,7 @@ jobs:
        uses: actions/cache@v4
        with:
          path: "**/node_modules"
-          key: shared-lint-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('**/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: node ./scripts/tasks/eslint

@@ -69,9 +61,7 @@ jobs:
        uses: actions/cache@v4
        with:
          path: "**/node_modules"
-          key: shared-lint-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('**/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: ./scripts/ci/check_license.sh

@@ -89,8 +79,6 @@ jobs:
        uses: actions/cache@v4
        with:
          path: "**/node_modules"
-          key: shared-lint-node_modules-${{ runner.arch }}-${{ runner.os }}-${{ hashFiles('**/yarn.lock') }}
-      - name: Ensure clean build directory
-        run: rm -rf build
+          key: ${{ runner.arch }}-${{ runner.os }}-modules-${{ hashFiles('**/yarn.lock') }}
      - run: yarn install --frozen-lockfile
      - run: ./scripts/ci/test_print_warnings.sh
--- a/ReactVersions.js
+++ b/ReactVersions.js
@@ -7,18 +7,18 @@
 //
 // The @latest channel uses the version as-is, e.g.:
 //
-//   19.0.3
+//   19.0.0
 //
 // The @canary channel appends additional information, with the scheme
 // <version>-<label>-<commit_sha>, e.g.:
 //
-//   19.0.3-canary-a1c2d3e4
+//   19.0.0-canary-a1c2d3e4
 //
 // The @experimental channel doesn't include a version, only a date and a sha, e.g.:
 //
 //   0.0.0-experimental-241c4467e-20200129

-const ReactVersion = '19.0.3';
+const ReactVersion = '19.0.0';

 // The label used by the @canary channel. Represents the upcoming release's
 // stability. Most of the time, this will be "canary", but we may temporarily
@@ -30,7 +30,7 @@ const canaryChannelLabel = 'rc';

 // If the canaryChannelLabel is "rc", the build pipeline will use this to build
 // an RC version of the packages.
-const rcNumber = 1;
+const rcNumber = 0;

 const stablePackages = {
  'eslint-plugin-react-hooks': '5.1.0',
--- a/compiler/apps/playground/tests/e2e/page.spec.ts
+++ b/compiler/apps/playground/tests/e2e/page.spec.ts
@@ -33,7 +33,7 @@ test('editor should compile successfully', async ({page}) => {
    path: 'test-results/01-show-js-before.png',
  });
  const userInput =
-    (await page.locator('.monaco-editor').nth(1).allInnerTexts()) ?? [];
+    (await page.locator('.monaco-editor').nth(2).allInnerTexts()) ?? [];
  expect(concat(userInput)).toMatchSnapshot('user-input.txt');

  // Reset button works
@@ -44,6 +44,6 @@ test('editor should compile successfully', async ({page}) => {
    path: 'test-results/02-show-js-after.png',
  });
  const defaultInput =
-    (await page.locator('.monaco-editor').nth(1).allInnerTexts()) ?? [];
+    (await page.locator('.monaco-editor').nth(2).allInnerTexts()) ?? [];
  expect(concat(defaultInput)).toMatchSnapshot('default-input.txt');
 });
--- a/compiler/apps/playground/babel.config.js
+++ b/compiler/apps/playground/babel.config.js
@@ -0,0 +1,21 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+module.exports = function (api) {
+  api.cache(true);
+  return {
+    presets: ['next/babel'],
+    plugins: [
+      [
+        'babel-plugin-react-compiler',
+        {
+          target: '18',
+        },
+      ],
+    ],
+  };
+};
--- a/compiler/apps/playground/components/Editor/EditorImpl.tsx
+++ b/compiler/apps/playground/components/Editor/EditorImpl.tsx
@@ -14,7 +14,7 @@ import {
  CompilerErrorDetail,
  Effect,
  ErrorSeverity,
-  parseConfigPragmaForTests,
+  parseConfigPragma,
  ValueKind,
  runPlayground,
  type Hook,
@@ -208,7 +208,7 @@ function compile(source: string): [CompilerOutput, 'flow' | 'typescript'] {
  try {
    // Extract the first line to quickly check for custom test directives
    const pragma = source.substring(0, source.indexOf('\n'));
-    const config = parseConfigPragmaForTests(pragma);
+    const config = parseConfigPragma(pragma);

    for (const fn of parseFunctions(source, language)) {
      const id = withIdentifier(getFunctionIdentifier(fn));
--- a/compiler/apps/playground/next-env.d.ts
+++ b/compiler/apps/playground/next-env.d.ts
@@ -2,4 +2,4 @@
 /// <reference types="next/image-types/global" />

 // NOTE: This file should not be edited
-// see https://nextjs.org/docs/app/building-your-application/configuring/typescript for more information.
+// see https://nextjs.org/docs/basic-features/typescript for more information.
--- a/compiler/apps/playground/next.config.js
+++ b/compiler/apps/playground/next.config.js
@@ -9,9 +9,6 @@ const MonacoWebpackPlugin = require('monaco-editor-webpack-plugin');
 const path = require('path');

 const nextConfig = {
-  experimental: {
-    reactCompiler: true,
-  },
  reactStrictMode: true,
  webpack: (config, options) => {
    // Load *.d.ts files as strings using https://webpack.js.org/guides/asset-modules/#source-assets.
--- a/compiler/apps/playground/package.json
+++ b/compiler/apps/playground/package.json
@@ -28,35 +28,34 @@
    "@monaco-editor/react": "^4.4.6",
    "@playwright/test": "^1.42.1",
    "@use-gesture/react": "^10.2.22",
-    "hermes-eslint": "^0.25.0",
-    "hermes-parser": "^0.25.0",
+    "fs": "^0.0.1-security",
+    "hermes-eslint": "^0.14.0",
+    "hermes-parser": "^0.22.0",
    "invariant": "^2.2.4",
    "lz-string": "^1.5.0",
-    "monaco-editor": "^0.52.0",
-    "next": "^15.0.1",
+    "monaco-editor": "^0.34.1",
+    "next": "^13.5.6",
    "notistack": "^3.0.0-alpha.7",
    "prettier": "^3.3.3",
    "pretty-format": "^29.3.1",
    "re-resizable": "^6.9.16",
-    "react": "19.0.0-rc-77b637d6-20241016",
-    "react-dom": "19.0.0-rc-77b637d6-20241016"
+    "react": "18.3.1",
+    "react-compiler-runtime": "*",
+    "react-dom": "18.3.1"
  },
  "devDependencies": {
    "@types/node": "18.11.9",
-    "@types/react": "npm:types-react@19.0.0-rc.1",
-    "@types/react-dom": "npm:types-react-dom@19.0.0-rc.1",
+    "@types/react": "18.3.9",
+    "@types/react-dom": "18.3.0",
    "autoprefixer": "^10.4.13",
    "clsx": "^1.2.1",
    "concurrently": "^7.4.0",
    "eslint": "^8.28.0",
-    "eslint-config-next": "^15.0.1",
+    "eslint-config-next": "^13.5.6",
+    "hermes-parser": "^0.22.0",
    "monaco-editor-webpack-plugin": "^7.1.0",
    "postcss": "^8.4.31",
    "tailwindcss": "^3.2.4",
    "wait-on": "^7.2.0"
-  },
-  "resolutions": {
-    "@types/react": "npm:types-react@19.0.0-rc.1",
-    "@types/react-dom": "npm:types-react-dom@19.0.0-rc.1"
  }
 }
--- a/compiler/apps/playground/yarn.lock
+++ b/compiler/apps/playground/yarn.lock
@@ -336,21 +336,14 @@
    "@babel/helper-validator-identifier" "^7.24.7"
    to-fast-properties "^2.0.0"

-"@emnapi/runtime@^1.2.0":
-  version "1.3.1"
-  resolved "https://registry.yarnpkg.com/@emnapi/runtime/-/runtime-1.3.1.tgz#0fcaa575afc31f455fd33534c19381cfce6c6f60"
-  integrity sha512-kEBmG8KyqtxJZv+ygbEim+KCGtIq1fC22Ms3S4ziXmYKm8uyoLX0MHONVKwp+9opg390VaKRNt4a7A9NwmpNhw==
-  dependencies:
-    tslib "^2.4.0"
-
-"@eslint-community/eslint-utils@^4.2.0", "@eslint-community/eslint-utils@^4.4.0":
+"@eslint-community/eslint-utils@^4.2.0":
  version "4.4.0"
  resolved "https://registry.yarnpkg.com/@eslint-community/eslint-utils/-/eslint-utils-4.4.0.tgz#a23514e8fb9af1269d5f7788aa556798d61c6b59"
  integrity sha512-1/sA4dwrzBAyeUoQ6oxahHKmrZvsnLCg4RfxW3ZFGGmQkSNQPFNLV9CUEFQP1x9EYXHTo5p6xdhZM1Ne9p/AfA==
  dependencies:
    eslint-visitor-keys "^3.3.0"

-"@eslint-community/regexpp@^4.10.0", "@eslint-community/regexpp@^4.6.1":
+"@eslint-community/regexpp@^4.6.1":
  version "4.11.1"
  resolved "https://registry.yarnpkg.com/@eslint-community/regexpp/-/regexpp-4.11.1.tgz#a547badfc719eb3e5f4b556325e542fbe9d7a18f"
  integrity sha512-m4DVN9ZqskZoLU5GlWZadwDnYo3vAEydiUayB9widCl9ffWx2IvPnp6n3on5rJmziJSw9Bv+Z3ChDVdMwXCY8Q==
@@ -411,119 +404,6 @@
  resolved "https://registry.yarnpkg.com/@humanwhocodes/object-schema/-/object-schema-2.0.3.tgz#4a2868d75d6d6963e423bcf90b7fd1be343409d3"
  integrity sha512-93zYdMES/c1D69yZiKDBj0V24vqNzB/koF26KPaagAfd3P/4gUlh3Dys5ogAK+Exi9QyzlD8x/08Zt7wIKcDcA==

-"@img/sharp-darwin-arm64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-darwin-arm64/-/sharp-darwin-arm64-0.33.5.tgz#ef5b5a07862805f1e8145a377c8ba6e98813ca08"
-  integrity sha512-UT4p+iz/2H4twwAoLCqfA9UH5pI6DggwKEGuaPy7nCVQ8ZsiY5PIcrRvD1DzuY3qYL07NtIQcWnBSY/heikIFQ==
-  optionalDependencies:
-    "@img/sharp-libvips-darwin-arm64" "1.0.4"
-
-"@img/sharp-darwin-x64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-darwin-x64/-/sharp-darwin-x64-0.33.5.tgz#e03d3451cd9e664faa72948cc70a403ea4063d61"
-  integrity sha512-fyHac4jIc1ANYGRDxtiqelIbdWkIuQaI84Mv45KvGRRxSAa7o7d1ZKAOBaYbnepLC1WqxfpimdeWfvqqSGwR2Q==
-  optionalDependencies:
-    "@img/sharp-libvips-darwin-x64" "1.0.4"
-
-"@img/sharp-libvips-darwin-arm64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-darwin-arm64/-/sharp-libvips-darwin-arm64-1.0.4.tgz#447c5026700c01a993c7804eb8af5f6e9868c07f"
-  integrity sha512-XblONe153h0O2zuFfTAbQYAX2JhYmDHeWikp1LM9Hul9gVPjFY427k6dFEcOL72O01QxQsWi761svJ/ev9xEDg==
-
-"@img/sharp-libvips-darwin-x64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-darwin-x64/-/sharp-libvips-darwin-x64-1.0.4.tgz#e0456f8f7c623f9dbfbdc77383caa72281d86062"
-  integrity sha512-xnGR8YuZYfJGmWPvmlunFaWJsb9T/AO2ykoP3Fz/0X5XV2aoYBPkX6xqCQvUTKKiLddarLaxpzNe+b1hjeWHAQ==
-
-"@img/sharp-libvips-linux-arm64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linux-arm64/-/sharp-libvips-linux-arm64-1.0.4.tgz#979b1c66c9a91f7ff2893556ef267f90ebe51704"
-  integrity sha512-9B+taZ8DlyyqzZQnoeIvDVR/2F4EbMepXMc/NdVbkzsJbzkUjhXv/70GQJ7tdLA4YJgNP25zukcxpX2/SueNrA==
-
-"@img/sharp-libvips-linux-arm@1.0.5":
-  version "1.0.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linux-arm/-/sharp-libvips-linux-arm-1.0.5.tgz#99f922d4e15216ec205dcb6891b721bfd2884197"
-  integrity sha512-gvcC4ACAOPRNATg/ov8/MnbxFDJqf/pDePbBnuBDcjsI8PssmjoKMAz4LtLaVi+OnSb5FK/yIOamqDwGmXW32g==
-
-"@img/sharp-libvips-linux-s390x@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linux-s390x/-/sharp-libvips-linux-s390x-1.0.4.tgz#f8a5eb1f374a082f72b3f45e2fb25b8118a8a5ce"
-  integrity sha512-u7Wz6ntiSSgGSGcjZ55im6uvTrOxSIS8/dgoVMoiGE9I6JAfU50yH5BoDlYA1tcuGS7g/QNtetJnxA6QEsCVTA==
-
-"@img/sharp-libvips-linux-x64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linux-x64/-/sharp-libvips-linux-x64-1.0.4.tgz#d4c4619cdd157774906e15770ee119931c7ef5e0"
-  integrity sha512-MmWmQ3iPFZr0Iev+BAgVMb3ZyC4KeFc3jFxnNbEPas60e1cIfevbtuyf9nDGIzOaW9PdnDciJm+wFFaTlj5xYw==
-
-"@img/sharp-libvips-linuxmusl-arm64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linuxmusl-arm64/-/sharp-libvips-linuxmusl-arm64-1.0.4.tgz#166778da0f48dd2bded1fa3033cee6b588f0d5d5"
-  integrity sha512-9Ti+BbTYDcsbp4wfYib8Ctm1ilkugkA/uscUn6UXK1ldpC1JjiXbLfFZtRlBhjPZ5o1NCLiDbg8fhUPKStHoTA==
-
-"@img/sharp-libvips-linuxmusl-x64@1.0.4":
-  version "1.0.4"
-  resolved "https://registry.yarnpkg.com/@img/sharp-libvips-linuxmusl-x64/-/sharp-libvips-linuxmusl-x64-1.0.4.tgz#93794e4d7720b077fcad3e02982f2f1c246751ff"
-  integrity sha512-viYN1KX9m+/hGkJtvYYp+CCLgnJXwiQB39damAO7WMdKWlIhmYTfHjwSbQeUK/20vY154mwezd9HflVFM1wVSw==
-
-"@img/sharp-linux-arm64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linux-arm64/-/sharp-linux-arm64-0.33.5.tgz#edb0697e7a8279c9fc829a60fc35644c4839bb22"
-  integrity sha512-JMVv+AMRyGOHtO1RFBiJy/MBsgz0x4AWrT6QoEVVTyh1E39TrCUpTRI7mx9VksGX4awWASxqCYLCV4wBZHAYxA==
-  optionalDependencies:
-    "@img/sharp-libvips-linux-arm64" "1.0.4"
-
-"@img/sharp-linux-arm@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linux-arm/-/sharp-linux-arm-0.33.5.tgz#422c1a352e7b5832842577dc51602bcd5b6f5eff"
-  integrity sha512-JTS1eldqZbJxjvKaAkxhZmBqPRGmxgu+qFKSInv8moZ2AmT5Yib3EQ1c6gp493HvrvV8QgdOXdyaIBrhvFhBMQ==
-  optionalDependencies:
-    "@img/sharp-libvips-linux-arm" "1.0.5"
-
-"@img/sharp-linux-s390x@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linux-s390x/-/sharp-linux-s390x-0.33.5.tgz#f5c077926b48e97e4a04d004dfaf175972059667"
-  integrity sha512-y/5PCd+mP4CA/sPDKl2961b+C9d+vPAveS33s6Z3zfASk2j5upL6fXVPZi7ztePZ5CuH+1kW8JtvxgbuXHRa4Q==
-  optionalDependencies:
-    "@img/sharp-libvips-linux-s390x" "1.0.4"
-
-"@img/sharp-linux-x64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linux-x64/-/sharp-linux-x64-0.33.5.tgz#d806e0afd71ae6775cc87f0da8f2d03a7c2209cb"
-  integrity sha512-opC+Ok5pRNAzuvq1AG0ar+1owsu842/Ab+4qvU879ippJBHvyY5n2mxF1izXqkPYlGuP/M556uh53jRLJmzTWA==
-  optionalDependencies:
-    "@img/sharp-libvips-linux-x64" "1.0.4"
-
-"@img/sharp-linuxmusl-arm64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linuxmusl-arm64/-/sharp-linuxmusl-arm64-0.33.5.tgz#252975b915894fb315af5deea174651e208d3d6b"
-  integrity sha512-XrHMZwGQGvJg2V/oRSUfSAfjfPxO+4DkiRh6p2AFjLQztWUuY/o8Mq0eMQVIY7HJ1CDQUJlxGGZRw1a5bqmd1g==
-  optionalDependencies:
-    "@img/sharp-libvips-linuxmusl-arm64" "1.0.4"
-
-"@img/sharp-linuxmusl-x64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-linuxmusl-x64/-/sharp-linuxmusl-x64-0.33.5.tgz#3f4609ac5d8ef8ec7dadee80b560961a60fd4f48"
-  integrity sha512-WT+d/cgqKkkKySYmqoZ8y3pxx7lx9vVejxW/W4DOFMYVSkErR+w7mf2u8m/y4+xHe7yY9DAXQMWQhpnMuFfScw==
-  optionalDependencies:
-    "@img/sharp-libvips-linuxmusl-x64" "1.0.4"
-
-"@img/sharp-wasm32@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-wasm32/-/sharp-wasm32-0.33.5.tgz#6f44f3283069d935bb5ca5813153572f3e6f61a1"
-  integrity sha512-ykUW4LVGaMcU9lu9thv85CbRMAwfeadCJHRsg2GmeRa/cJxsVY9Rbd57JcMxBkKHag5U/x7TSBpScF4U8ElVzg==
-  dependencies:
-    "@emnapi/runtime" "^1.2.0"
-
-"@img/sharp-win32-ia32@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-win32-ia32/-/sharp-win32-ia32-0.33.5.tgz#1a0c839a40c5351e9885628c85f2e5dfd02b52a9"
-  integrity sha512-T36PblLaTwuVJ/zw/LaH0PdZkRz5rd3SmMHX8GSmR7vtNSP5Z6bQkExdSK7xGWyxLw4sUknBuugTelgw2faBbQ==
-
-"@img/sharp-win32-x64@0.33.5":
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/@img/sharp-win32-x64/-/sharp-win32-x64-0.33.5.tgz#56f00962ff0c4e0eb93d34a047d29fa995e3e342"
-  integrity sha512-MpY/o8/8kj+EcnxwvrP4aTJSWw/aZ7JIGR4aBeZkZw5B7/Jn+tY9/VNwtcoGmdT7GfggGIU4kygOMSbYnOrAbg==
-
 "@isaacs/cliui@^8.0.2":
  version "8.0.2"
  resolved "https://registry.yarnpkg.com/@isaacs/cliui/-/cliui-8.0.2.tgz#b37667b7bc181c168782259bab42474fbf52b550"
@@ -589,57 +469,62 @@
  dependencies:
    "@monaco-editor/loader" "^1.4.0"

-"@next/env@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/env/-/env-15.0.1.tgz#660fe9303e255cec112d3f4198d2897a24bc60b3"
-  integrity sha512-lc4HeDUKO9gxxlM5G2knTRifqhsY6yYpwuHspBZdboZe0Gp+rZHBNNSIjmQKDJIdRXiXGyVnSD6gafrbQPvILQ==
+"@next/env@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/env/-/env-13.5.7.tgz#5006f4460a7fa598a03e1c2aa4e59e45c71082d3"
+  integrity sha512-uVuRqoj28Ys/AI/5gVEgRAISd0KWI0HRjOO1CTpNgmX3ZsHb5mdn14Y59yk0IxizXdo7ZjsI2S7qbWnO+GNBcA==

-"@next/eslint-plugin-next@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/eslint-plugin-next/-/eslint-plugin-next-15.0.1.tgz#76117d88aadc52f6e04b1892d44654d05468d53c"
-  integrity sha512-bKWsMaGPbiFAaGqrDJvbE8b4Z0uKicGVcgOI77YM2ui3UfjHMr4emFPrZTLeZVchi7fT1mooG2LxREfUUClIKw==
+"@next/eslint-plugin-next@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/eslint-plugin-next/-/eslint-plugin-next-13.5.7.tgz#9a8cd86a7a27b8f370ec3b130e598688c869bdc6"
+  integrity sha512-c4vuEOOXeib4js5gDq+zFqAAdRGXX6T0d+zFETiQkRwy7vyj5lBov1dW0Z09nDst2lvxo7VEcKrQMUBH5Vgx7Q==
  dependencies:
-    fast-glob "3.3.1"
+    glob "7.1.7"

-"@next/swc-darwin-arm64@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-darwin-arm64/-/swc-darwin-arm64-15.0.1.tgz#b80a25f1569bd0ca03eca9473f7e93e64937e404"
-  integrity sha512-C9k/Xv4sxkQRTA37Z6MzNq3Yb1BJMmSqjmwowoWEpbXTkAdfOwnoKOpAb71ItSzoA26yUTIo6ZhN8rKGu4ExQw==
+"@next/swc-darwin-arm64@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-darwin-arm64/-/swc-darwin-arm64-13.5.7.tgz#b99b91c04a884ba1272a3bd5db2b6f47a5bb10c2"
+  integrity sha512-7SxmxMex45FvKtRoP18eftrDCMyL6WQVYJSEE/s7A1AW/fCkznxjEShKet2iVVzf89gWp8HbXGaL4hCaseux6g==

-"@next/swc-darwin-x64@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-darwin-x64/-/swc-darwin-x64-15.0.1.tgz#00dcf79ec7c638a85c3b9ff2e2de2bfb09c1c250"
-  integrity sha512-uHl13HXOuq1G7ovWFxCACDJHTSDVbn/sbLv8V1p+7KIvTrYQ5HNoSmKBdYeEKRRCbEmd+OohOgg9YOp8Ux3MBg==
+"@next/swc-darwin-x64@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-darwin-x64/-/swc-darwin-x64-13.5.7.tgz#0a30d1c40430ed09ef4384bd90148e68badbf5e5"
+  integrity sha512-6iENvgyIkGFLFszBL4b1VfEogKC3TDPEB6/P/lgxmgXVXIV09Q4or1MVn+U/tYyYmm7oHMZ3oxGpHAyJ80nA6g==

-"@next/swc-linux-arm64-gnu@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-linux-arm64-gnu/-/swc-linux-arm64-gnu-15.0.1.tgz#faab5f7ffcc6d1a15e8dea1cb9953966658b39bf"
-  integrity sha512-LvyhvxHOihFTEIbb35KxOc3q8w8G4xAAAH/AQnsYDEnOvwawjL2eawsB59AX02ki6LJdgDaHoTEnC54Gw+82xw==
+"@next/swc-linux-arm64-gnu@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-linux-arm64-gnu/-/swc-linux-arm64-gnu-13.5.7.tgz#f6464e423186494d44ae9544c76b50e661682bc0"
+  integrity sha512-P42jDX56wu9zEdVI+Xv4zyTeXB3DpqgE1Gb4bWrc0s2RIiDYr6uKBprnOs1hCGIwfVyByxyTw5Va66QCdFFNUg==

-"@next/swc-linux-arm64-musl@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-linux-arm64-musl/-/swc-linux-arm64-musl-15.0.1.tgz#97abada9a782ab5b3cb42cf0d4799cbc2e733351"
-  integrity sha512-vFmCGUFNyk/A5/BYcQNhAQqPIw01RJaK6dRO+ZEhz0DncoW+hJW1kZ8aH2UvTX27zPq3m85zN5waMSbZEmANcQ==
+"@next/swc-linux-arm64-musl@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-linux-arm64-musl/-/swc-linux-arm64-musl-13.5.7.tgz#88b62e006d00fc31359723f96cbd601132812873"
+  integrity sha512-A06vkj+8X+tLRzSja5REm/nqVOCzR+x5Wkw325Q/BQRyRXWGCoNbQ6A+BR5M86TodigrRfI3lUZEKZKe3QJ9Bg==

-"@next/swc-linux-x64-gnu@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-linux-x64-gnu/-/swc-linux-x64-gnu-15.0.1.tgz#548bd47c49fe6d819302139aff8766eb704322e2"
-  integrity sha512-5by7IYq0NCF8rouz6Qg9T97jYU68kaClHPfGpQG2lCZpSYHtSPQF1kjnqBTd34RIqPKMbCa4DqCufirgr8HM5w==
+"@next/swc-linux-x64-gnu@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-linux-x64-gnu/-/swc-linux-x64-gnu-13.5.7.tgz#68d31a7c75f1b0dbc408f9fe49ac878c6723446c"
+  integrity sha512-UdHm7AlxIbdRdMsK32cH0EOX4OmzAZ4Xm+UVlS0YdvwLkI3pb7AoBEoVMG5H0Wj6Wpz6GNkrFguHTRLymTy6kw==

-"@next/swc-linux-x64-musl@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-linux-x64-musl/-/swc-linux-x64-musl-15.0.1.tgz#84423fbd3a058dd6ae8322e530878f0ec7a1027a"
-  integrity sha512-lmYr6H3JyDNBJLzklGXLfbehU3ay78a+b6UmBGlHls4xhDXBNZfgb0aI67sflrX+cGBnv1LgmWzFlYrAYxS1Qw==
+"@next/swc-linux-x64-musl@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-linux-x64-musl/-/swc-linux-x64-musl-13.5.7.tgz#09c9c3c667abd55f2af0b4e464342350baeabdb3"
+  integrity sha512-c50Y8xBKU16ZGj038H6C13iedRglxvdQHD/1BOtes56gwUrIRDX2Nkzn3mYtpz3Wzax0gfAF9C0Nqljt93IxvA==

-"@next/swc-win32-arm64-msvc@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-win32-arm64-msvc/-/swc-win32-arm64-msvc-15.0.1.tgz#723c2ced12a998fb40dc901b8faea9170e788c2f"
-  integrity sha512-DS8wQtl6diAj0eZTdH0sefykm4iXMbHT4MOvLwqZiIkeezKpkgPFcEdFlz3vKvXa2R/2UEgMh48z1nEpNhjeOQ==
+"@next/swc-win32-arm64-msvc@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-win32-arm64-msvc/-/swc-win32-arm64-msvc-13.5.7.tgz#3314966f960a22ee95adb8285e0927c9e4ba7205"
+  integrity sha512-NcUx8cmkA+JEp34WNYcKW6kW2c0JBhzJXIbw+9vKkt9m/zVJ+KfizlqmoKf04uZBtzFN6aqE2Fyv2MOd021WIA==

-"@next/swc-win32-x64-msvc@15.0.1":
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/@next/swc-win32-x64-msvc/-/swc-win32-x64-msvc-15.0.1.tgz#ec7e3befc0bcc47527537b1eda2b3745beb15a09"
-  integrity sha512-4Ho2ggvDdMKlZ/0e9HNdZ9ngeaBwtc+2VS5oCeqrbXqOgutX6I4U2X/42VBw0o+M5evn4/7v3zKgGHo+9v/VjA==
+"@next/swc-win32-ia32-msvc@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-win32-ia32-msvc/-/swc-win32-ia32-msvc-13.5.7.tgz#fd118f3bd5a87453b252eb3c5fae54ddce035026"
+  integrity sha512-wXp+/3NVcuyJDED6gJiLXs5dqHaWO7moAB6aBtjlKZvsxBDxpcyjsfRbtHPeYtaT20zCkmPs69H0K25lrVZmlA==
+
+"@next/swc-win32-x64-msvc@13.5.7":
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/@next/swc-win32-x64-msvc/-/swc-win32-x64-msvc-13.5.7.tgz#3eff03a5a80281449c58fece85a780c1e6e3594b"
+  integrity sha512-PLyD3Dl6jTTkLG8AoqhPGd5pXtSs8wbqIhWPQt3yEMfnYld/dGYuF2YPs3YHaVFrijCIF9pXY3+QOyvP23Zn7g==

 "@nodelib/fs.scandir@2.1.5":
  version "2.1.5"
@@ -684,7 +569,7 @@
  resolved "https://registry.yarnpkg.com/@rtsao/scc/-/scc-1.1.0.tgz#927dd2fae9bc3361403ac2c7a00c32ddce9ad7e8"
  integrity sha512-zt6OdqaDoOnJ1ZYsCYGt9YmWzDXl4vQdKTyJev62gFhRGKdx7mcT54V9KIjg+d2wi9EXsPvAPKe7i7WjfVWB8g==

-"@rushstack/eslint-patch@^1.10.3":
+"@rushstack/eslint-patch@^1.3.3":
  version "1.10.4"
  resolved "https://registry.yarnpkg.com/@rushstack/eslint-patch/-/eslint-patch-1.10.4.tgz#427d5549943a9c6fce808e39ea64dbe60d4047f1"
  integrity sha512-WJgX9nzTqknM393q1QJDJmoW28kUfEnybeTfVNcNAPnIx210RXm2DiXiHzfNPJNIUUb1tJnz/l4QGtJ30PgWmA==
@@ -711,15 +596,10 @@
  resolved "https://registry.yarnpkg.com/@sinclair/typebox/-/typebox-0.27.8.tgz#6667fac16c436b5434a387a34dedb013198f6e6e"
  integrity sha512-+Fj43pSMwJs4KRrH/938Uf+uAELIgVBmQzg/q1YG10djyfA3TnrU8N8XzqCh/okZdszqBQTZf96idMfE5lnwTA==

-"@swc/counter@0.1.3":
-  version "0.1.3"
-  resolved "https://registry.yarnpkg.com/@swc/counter/-/counter-0.1.3.tgz#cc7463bd02949611c6329596fccd2b0ec782b0e9"
-  integrity sha512-e2BR4lsJkkRlKZ/qCHPw9ZaSxc0MVUd7gtbtaB7aMvHeJVYe8sOB8DBZkP2DtISHGSku9sCK6T6cnY0CtXrOCQ==
-
-"@swc/helpers@0.5.13":
-  version "0.5.13"
-  resolved "https://registry.yarnpkg.com/@swc/helpers/-/helpers-0.5.13.tgz#33e63ff3cd0cade557672bd7888a39ce7d115a8c"
-  integrity sha512-UoKGxQ3r5kYI9dALKJapMmuK+1zWM/H17Z1+iwnNmzcJRnfFuevZs375TA5rW31pu4BS4NoSy1fRsexDXfWn5w==
+"@swc/helpers@0.5.2":
+  version "0.5.2"
+  resolved "https://registry.yarnpkg.com/@swc/helpers/-/helpers-0.5.2.tgz#85ea0c76450b61ad7d10a37050289eded783c27d"
+  integrity sha512-E4KcWTpoLHqwPHLxidpOqQbcrZVgi0rsmmZXUle1jXmJfuIf/UWpczUJ7MZZ5tlxytgJXyp0w4PGkkeLiuIdZw==
  dependencies:
    tslib "^2.4.0"

@@ -733,100 +613,71 @@
  resolved "https://registry.yarnpkg.com/@types/node/-/node-18.11.9.tgz#02d013de7058cea16d36168ef2fc653464cfbad4"
  integrity sha512-CRpX21/kGdzjOpFsZSkcrXMGIBWMGNIHXXBVFSH+ggkftxg+XYP20TESbh+zFvFj3EQOl5byk0HTRn1IL6hbqg==

-"@types/react-dom@npm:types-react-dom@19.0.0-rc.1":
-  version "19.0.0-rc.1"
-  resolved "https://registry.yarnpkg.com/types-react-dom/-/types-react-dom-19.0.0-rc.1.tgz#1d544d02c5df2a82d87c2eff979afa2e21a8317a"
-  integrity sha512-VSLZJl8VXCD0fAWp7DUTFUDCcZ8DVXOQmjhJMD03odgeFmu14ZQJHCXeETm3BEAhJqfgJaFkLnGkQv88sRx0fQ==
+"@types/prop-types@*":
+  version "15.7.13"
+  resolved "https://registry.yarnpkg.com/@types/prop-types/-/prop-types-15.7.13.tgz#2af91918ee12d9d32914feb13f5326658461b451"
+  integrity sha512-hCZTSvwbzWGvhqxp/RqVqwU999pBf2vp7hzIjiYOsl8wqOmUxkQ6ddw1cV3l8811+kdUFus/q4d1Y3E3SyEifA==
+
+"@types/react-dom@18.3.0":
+  version "18.3.0"
+  resolved "https://registry.yarnpkg.com/@types/react-dom/-/react-dom-18.3.0.tgz#0cbc818755d87066ab6ca74fbedb2547d74a82b0"
+  integrity sha512-EhwApuTmMBmXuFOikhQLIBUn6uFg81SwLMOAUgodJF14SOBOCMdU04gDoYi0WOJJHD144TL32z4yDqCW3dnkQg==
  dependencies:
    "@types/react" "*"

-"@types/react@*", "@types/react@npm:types-react@19.0.0-rc.1":
-  version "19.0.0-rc.1"
-  resolved "https://registry.yarnpkg.com/types-react/-/types-react-19.0.0-rc.1.tgz#576d1a702f6d0cc5b24813a293913e5cbfeaa647"
-  integrity sha512-RshndUfqTW6K3STLPis8BtAYCGOkMbtvYsi90gmVNDZBXUyUc5juf2PE9LfS/JmOlUIRO8cWTS/1MTnmhjDqyQ==
+"@types/react@*", "@types/react@18.3.9":
+  version "18.3.9"
+  resolved "https://registry.yarnpkg.com/@types/react/-/react-18.3.9.tgz#2cdf5f425ec8a133d67e9e3673909738b783db20"
+  integrity sha512-+BpAVyTpJkNWWSSnaLBk6ePpHLOGJKnEQNbINNovPWzvEUyAe3e+/d494QdEh71RekM/qV7lw6jzf1HGrJyAtQ==
  dependencies:
+    "@types/prop-types" "*"
    csstype "^3.0.2"

-"@typescript-eslint/eslint-plugin@^5.4.2 || ^6.0.0 || ^7.0.0 || ^8.0.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/eslint-plugin/-/eslint-plugin-8.10.0.tgz#9c8218ed62f9a322df10ded7c34990f014df44f2"
-  integrity sha512-phuB3hoP7FFKbRXxjl+DRlQDuJqhpOnm5MmtROXyWi3uS/Xg2ZXqiQfcG2BJHiN4QKyzdOJi3NEn/qTnjUlkmQ==
+"@typescript-eslint/parser@^5.4.2 || ^6.0.0":
+  version "6.21.0"
+  resolved "https://registry.yarnpkg.com/@typescript-eslint/parser/-/parser-6.21.0.tgz#af8fcf66feee2edc86bc5d1cf45e33b0630bf35b"
+  integrity sha512-tbsV1jPne5CkFQCgPBcDOt30ItF7aJoZL997JSF7MhGQqOeT3svWRYxiqlfA5RUdlHN6Fi+EI9bxqbdyAUZjYQ==
  dependencies:
-    "@eslint-community/regexpp" "^4.10.0"
-    "@typescript-eslint/scope-manager" "8.10.0"
-    "@typescript-eslint/type-utils" "8.10.0"
-    "@typescript-eslint/utils" "8.10.0"
-    "@typescript-eslint/visitor-keys" "8.10.0"
-    graphemer "^1.4.0"
-    ignore "^5.3.1"
-    natural-compare "^1.4.0"
-    ts-api-utils "^1.3.0"
-
-"@typescript-eslint/parser@^5.4.2 || ^6.0.0 || ^7.0.0 || ^8.0.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/parser/-/parser-8.10.0.tgz#3cbe7206f5e42835878a74a76da533549f977662"
-  integrity sha512-E24l90SxuJhytWJ0pTQydFT46Nk0Z+bsLKo/L8rtQSL93rQ6byd1V/QbDpHUTdLPOMsBCcYXZweADNCfOCmOAg==
-  dependencies:
-    "@typescript-eslint/scope-manager" "8.10.0"
-    "@typescript-eslint/types" "8.10.0"
-    "@typescript-eslint/typescript-estree" "8.10.0"
-    "@typescript-eslint/visitor-keys" "8.10.0"
+    "@typescript-eslint/scope-manager" "6.21.0"
+    "@typescript-eslint/types" "6.21.0"
+    "@typescript-eslint/typescript-estree" "6.21.0"
+    "@typescript-eslint/visitor-keys" "6.21.0"
    debug "^4.3.4"

-"@typescript-eslint/scope-manager@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/scope-manager/-/scope-manager-8.10.0.tgz#606ffe18314d7b5c2f118f2f02aaa2958107a19c"
-  integrity sha512-AgCaEjhfql9MDKjMUxWvH7HjLeBqMCBfIaBbzzIcBbQPZE7CPh1m6FF+L75NUMJFMLYhCywJXIDEMa3//1A0dw==
+"@typescript-eslint/scope-manager@6.21.0":
+  version "6.21.0"
+  resolved "https://registry.yarnpkg.com/@typescript-eslint/scope-manager/-/scope-manager-6.21.0.tgz#ea8a9bfc8f1504a6ac5d59a6df308d3a0630a2b1"
+  integrity sha512-OwLUIWZJry80O99zvqXVEioyniJMa+d2GrqpUTqi5/v5D5rOrppJVBPa0yKCblcigC0/aYAzxxqQ1B+DS2RYsg==
  dependencies:
-    "@typescript-eslint/types" "8.10.0"
-    "@typescript-eslint/visitor-keys" "8.10.0"
+    "@typescript-eslint/types" "6.21.0"
+    "@typescript-eslint/visitor-keys" "6.21.0"

-"@typescript-eslint/type-utils@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/type-utils/-/type-utils-8.10.0.tgz#99f1d2e21f8c74703e7d9c4a67a87271eaf57597"
-  integrity sha512-PCpUOpyQSpxBn230yIcK+LeCQaXuxrgCm2Zk1S+PTIRJsEfU6nJ0TtwyH8pIwPK/vJoA+7TZtzyAJSGBz+s/dg==
+"@typescript-eslint/types@6.21.0":
+  version "6.21.0"
+  resolved "https://registry.yarnpkg.com/@typescript-eslint/types/-/types-6.21.0.tgz#205724c5123a8fef7ecd195075fa6e85bac3436d"
+  integrity sha512-1kFmZ1rOm5epu9NZEZm1kckCDGj5UJEf7P1kliH4LKu/RkwpsfqqGmY2OOcUs18lSlQBKLDYBOGxRVtrMN5lpg==
+
+"@typescript-eslint/typescript-estree@6.21.0":
+  version "6.21.0"
+  resolved "https://registry.yarnpkg.com/@typescript-eslint/typescript-estree/-/typescript-estree-6.21.0.tgz#c47ae7901db3b8bddc3ecd73daff2d0895688c46"
+  integrity sha512-6npJTkZcO+y2/kr+z0hc4HwNfrrP4kNYh57ek7yCNlrBjWQ1Y0OS7jiZTkgumrvkX5HkEKXFZkkdFNkaW2wmUQ==
  dependencies:
-    "@typescript-eslint/typescript-estree" "8.10.0"
-    "@typescript-eslint/utils" "8.10.0"
+    "@typescript-eslint/types" "6.21.0"
+    "@typescript-eslint/visitor-keys" "6.21.0"
    debug "^4.3.4"
-    ts-api-utils "^1.3.0"
-
-"@typescript-eslint/types@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/types/-/types-8.10.0.tgz#eb29c4bc2ed23489348c297469c76d28c38fb618"
-  integrity sha512-k/E48uzsfJCRRbGLapdZgrX52csmWJ2rcowwPvOZ8lwPUv3xW6CcFeJAXgx4uJm+Ge4+a4tFOkdYvSpxhRhg1w==
-
-"@typescript-eslint/typescript-estree@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/typescript-estree/-/typescript-estree-8.10.0.tgz#36cc66e06c5f44d6781f95cb03b132e985273a33"
-  integrity sha512-3OE0nlcOHaMvQ8Xu5gAfME3/tWVDpb/HxtpUZ1WeOAksZ/h/gwrBzCklaGzwZT97/lBbbxJ16dMA98JMEngW4w==
-  dependencies:
-    "@typescript-eslint/types" "8.10.0"
-    "@typescript-eslint/visitor-keys" "8.10.0"
-    debug "^4.3.4"
-    fast-glob "^3.3.2"
+    globby "^11.1.0"
    is-glob "^4.0.3"
-    minimatch "^9.0.4"
-    semver "^7.6.0"
-    ts-api-utils "^1.3.0"
+    minimatch "9.0.3"
+    semver "^7.5.4"
+    ts-api-utils "^1.0.1"

-"@typescript-eslint/utils@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/utils/-/utils-8.10.0.tgz#d78d1ce3ea3d2a88a2593ebfb1c98490131d00bf"
-  integrity sha512-Oq4uZ7JFr9d1ZunE/QKy5egcDRXT/FrS2z/nlxzPua2VHFtmMvFNDvpq1m/hq0ra+T52aUezfcjGRIB7vNJF9w==
+"@typescript-eslint/visitor-keys@6.21.0":
+  version "6.21.0"
+  resolved "https://registry.yarnpkg.com/@typescript-eslint/visitor-keys/-/visitor-keys-6.21.0.tgz#87a99d077aa507e20e238b11d56cc26ade45fe47"
+  integrity sha512-JJtkDduxLi9bivAB+cYOVMtbkqdPOhZ+ZI5LC47MIRrDV4Yn2o+ZnW10Nkmr28xRpSpdJ6Sm42Hjf2+REYXm0A==
  dependencies:
-    "@eslint-community/eslint-utils" "^4.4.0"
-    "@typescript-eslint/scope-manager" "8.10.0"
-    "@typescript-eslint/types" "8.10.0"
-    "@typescript-eslint/typescript-estree" "8.10.0"
-
-"@typescript-eslint/visitor-keys@8.10.0":
-  version "8.10.0"
-  resolved "https://registry.yarnpkg.com/@typescript-eslint/visitor-keys/-/visitor-keys-8.10.0.tgz#7ce4c0c3b82140415c9cd9babe09e0000b4e9979"
-  integrity sha512-k8nekgqwr7FadWk548Lfph6V3r9OVqjzAIVskE7orMZR23cGJjAOVazsZSJW+ElyjfTM4wx/1g88Mi70DDtG9A==
-  dependencies:
-    "@typescript-eslint/types" "8.10.0"
-    eslint-visitor-keys "^3.4.3"
+    "@typescript-eslint/types" "6.21.0"
+    eslint-visitor-keys "^3.4.1"

 "@ungap/structured-clone@^1.2.0":
  version "1.2.0"
@@ -949,6 +800,11 @@ array-includes@^3.1.6, array-includes@^3.1.8:
    get-intrinsic "^1.2.4"
    is-string "^1.0.7"

+array-union@^2.1.0:
+  version "2.1.0"
+  resolved "https://registry.yarnpkg.com/array-union/-/array-union-2.1.0.tgz#b798420adbeb1de828d84acd8a2e23d3efe85e8d"
+  integrity sha512-HGyxoOTYUyCM6stUe6EJgnd4EoewAI7zMdfqO+kGjnlZmBDz/cR5pf8r/cR4Wq60sL/p0IkcjUEEPwS3GFrIyw==
+
 array.prototype.findlast@^1.2.5:
  version "1.2.5"
  resolved "https://registry.yarnpkg.com/array.prototype.findlast/-/array.prototype.findlast-1.2.5.tgz#3e4fbcb30a15a7f5bf64cf2faae22d139c2e4904"
@@ -1141,12 +997,7 @@ camelcase-css@^2.0.1:
  resolved "https://registry.yarnpkg.com/camelcase-css/-/camelcase-css-2.0.1.tgz#ee978f6947914cc30c6b44741b6ed1df7f043fd5"
  integrity sha512-QOSvevhslijgYwRx6Rv7zKdMF8lbRmx+uQGx2+vDc+KI/eBnsy9kit5aj23AgGu3pa4t9AgwbnXWqS+iOY+2aA==

-caniuse-lite@^1.0.30001579:
-  version "1.0.30001669"
-  resolved "https://registry.yarnpkg.com/caniuse-lite/-/caniuse-lite-1.0.30001669.tgz#fda8f1d29a8bfdc42de0c170d7f34a9cf19ed7a3"
-  integrity sha512-DlWzFDJqstqtIVx1zeSpIMLjunf5SmwOw0N2Ck/QSQdS8PLS4+9HrLaYei4w8BIAL7IB/UEDu889d8vhCTPA0w==
-
-caniuse-lite@^1.0.30001646, caniuse-lite@^1.0.30001663:
+caniuse-lite@^1.0.30001406, caniuse-lite@^1.0.30001646, caniuse-lite@^1.0.30001663:
  version "1.0.30001664"
  resolved "https://registry.yarnpkg.com/caniuse-lite/-/caniuse-lite-1.0.30001664.tgz#d588d75c9682d3301956b05a3749652a80677df4"
  integrity sha512-AmE7k4dXiNKQipgn7a2xg558IRqPN3jMQY/rOsbxDhrd0tyChwbITBfiwtnqz8bi2M5mIWbxAYBvk7W7QBUS2g==
@@ -1221,27 +1072,11 @@ color-name@1.1.3:
  resolved "https://registry.yarnpkg.com/color-name/-/color-name-1.1.3.tgz#a7d0558bd89c42f795dd42328f740831ca53bc25"
  integrity sha512-72fSenhMw2HZMTVHeCA9KCmpEIbzWiQsjN+BHcBbS9vr1mtt+vJjPdksIBNUmKAW8TFUDPJK5SUU3QhE9NEXDw==

-color-name@^1.0.0, color-name@~1.1.4:
+color-name@~1.1.4:
  version "1.1.4"
  resolved "https://registry.yarnpkg.com/color-name/-/color-name-1.1.4.tgz#c2a09a87acbde69543de6f63fa3995c826c536a2"
  integrity sha512-dOy+3AuW3a2wNbZHIuMZpTcgjGuLU/uBL/ubcZF9OXbDo8ff4O8yVp5Bf0efS8uEoYo5q4Fx7dY9OgQGXgAsQA==

-color-string@^1.9.0:
-  version "1.9.1"
-  resolved "https://registry.yarnpkg.com/color-string/-/color-string-1.9.1.tgz#4467f9146f036f855b764dfb5bf8582bf342c7a4"
-  integrity sha512-shrVawQFojnZv6xM40anx4CkoDP+fZsw/ZerEMsW/pyzsRbElpsL/DBVW7q3ExxwusdNXI3lXpuhEZkzs8p5Eg==
-  dependencies:
-    color-name "^1.0.0"
-    simple-swizzle "^0.2.2"
-
-color@^4.2.3:
-  version "4.2.3"
-  resolved "https://registry.yarnpkg.com/color/-/color-4.2.3.tgz#d781ecb5e57224ee43ea9627560107c0e0c6463a"
-  integrity sha512-1rXeuUUiGGrykh+CeBdu5Ie7OJwinCgQY0bc7GCRxy5xVHy+moaqkpL/jqQq0MtQOeYcrqEz4abc5f0KtU7W4A==
-  dependencies:
-    color-convert "^2.0.1"
-    color-string "^1.9.0"
-
 combined-stream@^1.0.8:
  version "1.0.8"
  resolved "https://registry.yarnpkg.com/combined-stream/-/combined-stream-1.0.8.tgz#c3d45a8b34fd730631a110a8a2520682b31d5a7f"
@@ -1403,16 +1238,18 @@ delayed-stream@~1.0.0:
  resolved "https://registry.yarnpkg.com/delayed-stream/-/delayed-stream-1.0.0.tgz#df3ae199acadfb7d440aaae0b29e2272b24ec619"
  integrity sha512-ZySD7Nf91aLB0RxL4KGrKHBXl7Eds1DAmEdcoVawXnLD7SDhpNgtuII2aAkg7a7QS41jxPSZ17p4VdGnMHk3MQ==

-detect-libc@^2.0.3:
-  version "2.0.3"
-  resolved "https://registry.yarnpkg.com/detect-libc/-/detect-libc-2.0.3.tgz#f0cd503b40f9939b894697d19ad50895e30cf700"
-  integrity sha512-bwy0MGW55bG41VqxxypOsdSdGqLwXPI/focwgTYCFMbdUiBAxLg9CFzG08sz2aqzknwiX7Hkl0bQENjg8iLByw==
-
 didyoumean@^1.2.2:
  version "1.2.2"
  resolved "https://registry.yarnpkg.com/didyoumean/-/didyoumean-1.2.2.tgz#989346ffe9e839b4555ecf5666edea0d3e8ad037"
  integrity sha512-gxtyfqMg7GKyhQmb056K7M3xszy/myH8w+B4RT+QXBQsvAOdc3XymqDDPHx1BgPgsdAA5SIifona89YtRATDzw==

+dir-glob@^3.0.1:
+  version "3.0.1"
+  resolved "https://registry.yarnpkg.com/dir-glob/-/dir-glob-3.0.1.tgz#56dbf73d992a4a93ba1584f4534063fd2e41717f"
+  integrity sha512-WkrWp9GR4KXfKGYzOLmTuGVi1UWFfws377n9cc55/tb6DuqyF6pcQ5AbiHEshaDpY9v6oaSr2XCDidGmMwdzIA==
+  dependencies:
+    path-type "^4.0.0"
+
 dlv@^1.1.3:
  version "1.1.3"
  resolved "https://registry.yarnpkg.com/dlv/-/dlv-1.1.3.tgz#5c198a8a11453596e751494d49874bc7732f2e79"
@@ -1611,21 +1448,20 @@ escape-string-regexp@^4.0.0:
  resolved "https://registry.yarnpkg.com/escape-string-regexp/-/escape-string-regexp-4.0.0.tgz#14ba83a5d373e3d311e5afca29cf5bfad965bf34"
  integrity sha512-TtpcNJ3XAzx3Gq8sWRzJaVajRs0uVxA2YAkdb1jm2YkPz4G6egUFAyA3n5vtEIZefPk5Wa4UXbKuS5fKkJWdgA==

-eslint-config-next@^15.0.1:
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/eslint-config-next/-/eslint-config-next-15.0.1.tgz#5f49a01d312420cdbf1e87299396ef779ae99004"
-  integrity sha512-3cYCrgbH6GS/ufApza7XCKz92vtq4dAdYhx++rMFNlH2cAV+/GsAKkrr4+bohYOACmzG2nAOR+uWprKC1Uld6A==
+eslint-config-next@^13.5.6:
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/eslint-config-next/-/eslint-config-next-13.5.7.tgz#fc5d86b22364c93d9279acab2a6f4848c4dbccaf"
+  integrity sha512-pdeUuL9KZ8qFzzKqCbxk6FXwG9dNEnot/3+qSFJqxdSGgkFUH8cgZus/meyCi2S0cTAsDbBEE030E6zvL9pUYQ==
  dependencies:
-    "@next/eslint-plugin-next" "15.0.1"
-    "@rushstack/eslint-patch" "^1.10.3"
-    "@typescript-eslint/eslint-plugin" "^5.4.2 || ^6.0.0 || ^7.0.0 || ^8.0.0"
-    "@typescript-eslint/parser" "^5.4.2 || ^6.0.0 || ^7.0.0 || ^8.0.0"
+    "@next/eslint-plugin-next" "13.5.7"
+    "@rushstack/eslint-patch" "^1.3.3"
+    "@typescript-eslint/parser" "^5.4.2 || ^6.0.0"
    eslint-import-resolver-node "^0.3.6"
    eslint-import-resolver-typescript "^3.5.2"
-    eslint-plugin-import "^2.31.0"
-    eslint-plugin-jsx-a11y "^6.10.0"
-    eslint-plugin-react "^7.35.0"
-    eslint-plugin-react-hooks "^5.0.0"
+    eslint-plugin-import "^2.28.1"
+    eslint-plugin-jsx-a11y "^6.7.1"
+    eslint-plugin-react "^7.33.2"
+    eslint-plugin-react-hooks "^4.5.0 || 5.0.0-canary-7118f5dd7-20230705"

 eslint-import-resolver-node@^0.3.6, eslint-import-resolver-node@^0.3.9:
  version "0.3.9"
@@ -1650,17 +1486,17 @@ eslint-import-resolver-typescript@^3.5.2:
    is-bun-module "^1.0.2"
    is-glob "^4.0.3"

-eslint-module-utils@^2.12.0, eslint-module-utils@^2.8.1:
+eslint-module-utils@^2.8.1, eslint-module-utils@^2.9.0:
  version "2.12.0"
  resolved "https://registry.yarnpkg.com/eslint-module-utils/-/eslint-module-utils-2.12.0.tgz#fe4cfb948d61f49203d7b08871982b65b9af0b0b"
  integrity sha512-wALZ0HFoytlyh/1+4wuZ9FJCD/leWHQzzrxJ8+rebyReSLk7LApMyd3WJaLVoN+D5+WIdJyDK1c6JnE65V4Zyg==
  dependencies:
    debug "^3.2.7"

-eslint-plugin-import@^2.31.0:
-  version "2.31.0"
-  resolved "https://registry.yarnpkg.com/eslint-plugin-import/-/eslint-plugin-import-2.31.0.tgz#310ce7e720ca1d9c0bb3f69adfd1c6bdd7d9e0e7"
-  integrity sha512-ixmkI62Rbc2/w8Vfxyh1jQRTdRTF52VxwRVHl/ykPAmqG+Nb7/kNn+byLP0LxPgI7zWA16Jt82SybJInmMia3A==
+eslint-plugin-import@^2.28.1:
+  version "2.30.0"
+  resolved "https://registry.yarnpkg.com/eslint-plugin-import/-/eslint-plugin-import-2.30.0.tgz#21ceea0fc462657195989dd780e50c92fe95f449"
+  integrity sha512-/mHNE9jINJfiD2EKkg1BKyPyUk4zdnT54YgbOgfjSakWT5oyX/qQLVNTkehyfpcMxZXMy1zyonZ2v7hZTX43Yw==
  dependencies:
    "@rtsao/scc" "^1.1.0"
    array-includes "^3.1.8"
@@ -1670,7 +1506,7 @@ eslint-plugin-import@^2.31.0:
    debug "^3.2.7"
    doctrine "^2.1.0"
    eslint-import-resolver-node "^0.3.9"
-    eslint-module-utils "^2.12.0"
+    eslint-module-utils "^2.9.0"
    hasown "^2.0.2"
    is-core-module "^2.15.1"
    is-glob "^4.0.3"
@@ -1679,10 +1515,9 @@ eslint-plugin-import@^2.31.0:
    object.groupby "^1.0.3"
    object.values "^1.2.0"
    semver "^6.3.1"
-    string.prototype.trimend "^1.0.8"
    tsconfig-paths "^3.15.0"

-eslint-plugin-jsx-a11y@^6.10.0:
+eslint-plugin-jsx-a11y@^6.7.1:
  version "6.10.0"
  resolved "https://registry.yarnpkg.com/eslint-plugin-jsx-a11y/-/eslint-plugin-jsx-a11y-6.10.0.tgz#36fb9dead91cafd085ddbe3829602fb10ef28339"
  integrity sha512-ySOHvXX8eSN6zz8Bywacm7CvGNhUtdjvqfQDVe6020TUK34Cywkw7m0KsCCk1Qtm9G1FayfTN1/7mMYnYO2Bhg==
@@ -1704,15 +1539,15 @@ eslint-plugin-jsx-a11y@^6.10.0:
    safe-regex-test "^1.0.3"
    string.prototype.includes "^2.0.0"

-eslint-plugin-react-hooks@^5.0.0:
-  version "5.0.0"
-  resolved "https://registry.yarnpkg.com/eslint-plugin-react-hooks/-/eslint-plugin-react-hooks-5.0.0.tgz#72e2eefbac4b694f5324154619fee44f5f60f101"
-  integrity sha512-hIOwI+5hYGpJEc4uPRmz2ulCjAGD/N13Lukkh8cLV0i2IRk/bdZDYjgLVHj+U9Z704kLIdIO6iueGvxNur0sgw==
+"eslint-plugin-react-hooks@^4.5.0 || 5.0.0-canary-7118f5dd7-20230705":
+  version "4.6.2"
+  resolved "https://registry.yarnpkg.com/eslint-plugin-react-hooks/-/eslint-plugin-react-hooks-4.6.2.tgz#c829eb06c0e6f484b3fbb85a97e57784f328c596"
+  integrity sha512-QzliNJq4GinDBcD8gPB5v0wh6g8q3SUi6EFF0x8N/BL9PoVs0atuGc47ozMRyOWAKdwaZ5OnbOEa3WR+dSGKuQ==

-eslint-plugin-react@^7.35.0:
-  version "7.37.1"
-  resolved "https://registry.yarnpkg.com/eslint-plugin-react/-/eslint-plugin-react-7.37.1.tgz#56493d7d69174d0d828bc83afeffe96903fdadbd"
-  integrity sha512-xwTnwDqzbDRA8uJ7BMxPs/EXRB3i8ZfnOIp8BsxEQkT0nHPp+WWceqGgo6rKb9ctNi8GJLDT4Go5HAWELa/WMg==
+eslint-plugin-react@^7.33.2:
+  version "7.36.1"
+  resolved "https://registry.yarnpkg.com/eslint-plugin-react/-/eslint-plugin-react-7.36.1.tgz#f1dabbb11f3d4ebe8b0cf4e54aff4aee81144ee5"
+  integrity sha512-/qwbqNXZoq+VP30s1d4Nc1C5GTxjJQjk4Jzs4Wq2qzxFM7dSmuG2UkIjg2USMLh3A/aVcUNrK7v0J5U1XEGGwA==
  dependencies:
    array-includes "^3.1.8"
    array.prototype.findlast "^1.2.5"
@@ -1828,18 +1663,7 @@ fast-deep-equal@^3.1.1, fast-deep-equal@^3.1.3:
  resolved "https://registry.yarnpkg.com/fast-deep-equal/-/fast-deep-equal-3.1.3.tgz#3a7d56b559d6cbc3eb512325244e619a65c6c525"
  integrity sha512-f3qQ9oQy9j2AhBe/H9VC91wLmKBCCU/gDOnKNAYG5hswO7BLKj09Hc5HYNz9cGI++xlpDCIgDaitVs03ATR84Q==

-fast-glob@3.3.1:
-  version "3.3.1"
-  resolved "https://registry.yarnpkg.com/fast-glob/-/fast-glob-3.3.1.tgz#784b4e897340f3dbbef17413b3f11acf03c874c4"
-  integrity sha512-kNFPyjhh5cKjrUltxs+wFx+ZkbRaxxmZ+X0ZU31SOsxCEtP9VPgtq2teZw1DebupL5GmDaNQ6yKMMVcM41iqDg==
-  dependencies:
-    "@nodelib/fs.stat" "^2.0.2"
-    "@nodelib/fs.walk" "^1.2.3"
-    glob-parent "^5.1.2"
-    merge2 "^1.3.0"
-    micromatch "^4.0.4"
-
-fast-glob@^3.3.0, fast-glob@^3.3.2:
+fast-glob@^3.2.9, fast-glob@^3.3.0, fast-glob@^3.3.2:
  version "3.3.2"
  resolved "https://registry.yarnpkg.com/fast-glob/-/fast-glob-3.3.2.tgz#a904501e57cfdd2ffcded45e99a54fef55e46129"
  integrity sha512-oX2ruAFQwf/Orj8m737Y5adxDQO0LAB7/S5MnxCdTNDd4p6BsyIVsv9JQsATbTSq8KHRpLwIHbVlUNatxd+1Ow==
@@ -1942,6 +1766,11 @@ fs.realpath@^1.0.0:
  resolved "https://registry.yarnpkg.com/fs.realpath/-/fs.realpath-1.0.0.tgz#1504ad2523158caa40db4a2787cb01411994ea4f"
  integrity sha512-OO0pH2lK6a0hZnAdau5ItzHPI6pUlvI7jMVnxUQRtw4owF2wk8lOSabtGDCTP4Ggrg2MbGnWO9X8K1t4+fGMDw==

+fs@^0.0.1-security:
+  version "0.0.1-security"
+  resolved "https://registry.yarnpkg.com/fs/-/fs-0.0.1-security.tgz#8a7bd37186b6dddf3813f23858b57ecaaf5e41d4"
+  integrity sha512-3XY9e1pP0CVEUCdj5BmfIZxRBTSDycnbqhIOGec9QYtmVH2fbLpj86CFWkrNOkt/Fvty4KZG5lTglL9j/gJ87w==
+
 fsevents@2.3.2:
  version "2.3.2"
  resolved "https://registry.yarnpkg.com/fsevents/-/fsevents-2.3.2.tgz#8a526f78b8fdf4623b709e0b975c52c24c02fd1a"
@@ -2023,6 +1852,23 @@ glob-parent@^6.0.2:
  dependencies:
    is-glob "^4.0.3"

+glob-to-regexp@^0.4.1:
+  version "0.4.1"
+  resolved "https://registry.yarnpkg.com/glob-to-regexp/-/glob-to-regexp-0.4.1.tgz#c75297087c851b9a578bd217dd59a92f59fe546e"
+  integrity sha512-lkX1HJXwyMcprw/5YUZc2s7DrpAiHB21/V+E1rHUrVNokkvB6bqMzT0VfV6/86ZNabt1k14YOIaT7nDvOX3Iiw==
+
+glob@7.1.7:
+  version "7.1.7"
+  resolved "https://registry.yarnpkg.com/glob/-/glob-7.1.7.tgz#3b193e9233f01d42d0b3f78294bbeeb418f94a90"
+  integrity sha512-OvD9ENzPLbegENnYP5UUfJIirTg4+XwMWGaQfQTY0JenxNvvIKP3U3/tAQSPIu/lHxXYSZmpXlUHeqAIdKzBLQ==
+  dependencies:
+    fs.realpath "^1.0.0"
+    inflight "^1.0.4"
+    inherits "2"
+    minimatch "^3.0.4"
+    once "^1.3.0"
+    path-is-absolute "^1.0.0"
+
 glob@^10.3.10:
  version "10.4.5"
  resolved "https://registry.yarnpkg.com/glob/-/glob-10.4.5.tgz#f4d9f0b90ffdbab09c9d77f5f29b4262517b0956"
@@ -2067,6 +1913,18 @@ globalthis@^1.0.3:
    define-properties "^1.2.1"
    gopd "^1.0.1"

+globby@^11.1.0:
+  version "11.1.0"
+  resolved "https://registry.yarnpkg.com/globby/-/globby-11.1.0.tgz#bd4be98bb042f83d796f7e3811991fbe82a0d34b"
+  integrity sha512-jhIXaOzy1sb8IyocaruWSn1TjmnBVs8Ayhcy83rmxNJ8q2uWKCAj3CnJY+KpGSXCueAPc0i05kVvVKtP1t9S3g==
+  dependencies:
+    array-union "^2.1.0"
+    dir-glob "^3.0.1"
+    fast-glob "^3.2.9"
+    ignore "^5.2.0"
+    merge2 "^1.4.1"
+    slash "^3.0.0"
+
 goober@^2.0.33:
  version "2.1.14"
  resolved "https://registry.yarnpkg.com/goober/-/goober-2.1.14.tgz#4a5c94fc34dc086a8e6035360ae1800005135acd"
@@ -2079,7 +1937,7 @@ gopd@^1.0.1:
  dependencies:
    get-intrinsic "^1.1.3"

-graceful-fs@^4.2.4:
+graceful-fs@^4.1.2, graceful-fs@^4.2.4:
  version "4.2.11"
  resolved "https://registry.yarnpkg.com/graceful-fs/-/graceful-fs-4.2.11.tgz#4183e4e8bf08bb6e05bbb2f7d2e0c8f712ca40e3"
  integrity sha512-RbJ5/jmFcNNCcDV5o9eTnBLJ/HszWV0P73bc+Ff4nS/rJj+YaS6IGyiOL0VoBYX+l1Wrl3k63h/KrH+nhJ0XvQ==
@@ -2135,28 +1993,40 @@ hasown@^2.0.0, hasown@^2.0.1, hasown@^2.0.2:
  dependencies:
    function-bind "^1.1.2"

-hermes-eslint@^0.25.0:
-  version "0.25.0"
-  resolved "https://registry.yarnpkg.com/hermes-eslint/-/hermes-eslint-0.25.0.tgz#beec5f0d9e9e9bdef9e4a420a79038ca7fe84143"
-  integrity sha512-D9rdrqt7dudZHI5AJKS+1vXBbxxR6Wj9J1JI7eYowYCbXUIvHclsWFy8gSuRmug2V6HSYpsiyPwP3kQs/Q/Y8w==
+hermes-eslint@^0.14.0:
+  version "0.14.0"
+  resolved "https://registry.yarnpkg.com/hermes-eslint/-/hermes-eslint-0.14.0.tgz#d56426b0931a7ced99d08b4b6a06f798064b13ba"
+  integrity sha512-ORk7znDabvALzTbI3QRIQefCkxF1ukDm3dVut3e+cVmwdtsTC71BJetSvdh1jtgK10czwck1QiPZOVOVolhiqQ==
  dependencies:
    esrecurse "^4.3.0"
-    hermes-estree "0.25.0"
-    hermes-parser "0.25.0"
+    hermes-estree "0.14.0"
+    hermes-parser "0.14.0"

-hermes-estree@0.25.0:
-  version "0.25.0"
-  resolved "https://registry.yarnpkg.com/hermes-estree/-/hermes-estree-0.25.0.tgz#fd926ebf3d0d3441a934f19ef3d3d3d4145b1d71"
-  integrity sha512-xjILoUIyOpLoOHqj8UJs/HNYQ279IfLKTTv9nmXKNT2+QKT/TQF9AyQFrRMo+3xwZoO7k4azocYpCzA1cSvBDg==
+hermes-estree@0.14.0:
+  version "0.14.0"
+  resolved "https://registry.yarnpkg.com/hermes-estree/-/hermes-estree-0.14.0.tgz#c663eea1400980802283338a09d0087c448729e7"
+  integrity sha512-L6M67+0/eSEbt6Ha2XOBFXL++7MR34EOJMgm+j7YCaI4L/jZqrVAg6zYQKzbs1ZCFDLvEQpOgLlapTX4gpFriA==

-hermes-parser@0.25.0, hermes-parser@^0.25.0:
-  version "0.25.0"
-  resolved "https://registry.yarnpkg.com/hermes-parser/-/hermes-parser-0.25.0.tgz#634934533a956e392ae0988421e4b0315e30351e"
-  integrity sha512-CeAdhgMfbZcrYh+HHKVKsj7VNhOTr0jiLFlcVVoRORbZ/Nr4J90WjEq2CZoahgH15/DYY/VBhuLqpIzJqfdBEQ==
+hermes-estree@0.22.0:
+  version "0.22.0"
+  resolved "https://registry.yarnpkg.com/hermes-estree/-/hermes-estree-0.22.0.tgz#38559502b119f728901d2cfe2ef422f277802a1d"
+  integrity sha512-FLBt5X9OfA8BERUdc6aZS36Xz3rRuB0Y/mfocSADWEJfomc1xfene33GdyAmtTkKTBXTN/EgAy+rjTKkkZJHlw==
+
+hermes-parser@0.14.0:
+  version "0.14.0"
+  resolved "https://registry.yarnpkg.com/hermes-parser/-/hermes-parser-0.14.0.tgz#edb2e7172fce996d2c8bbba250d140b70cc1aaaf"
+  integrity sha512-pt+8uRiJhVlErY3fiXB3gKhZ72RxM6E1xRMpvfZ5n6Z5TQKQQXKorgRCRzoe02mmvLKBJFP5nPDGv75MWAgCTw==
  dependencies:
-    hermes-estree "0.25.0"
+    hermes-estree "0.14.0"

-ignore@^5.2.0, ignore@^5.3.1:
+hermes-parser@^0.22.0:
+  version "0.22.0"
+  resolved "https://registry.yarnpkg.com/hermes-parser/-/hermes-parser-0.22.0.tgz#fc8e0e6c7bfa8db85b04c9f9544a102c4fcb4040"
+  integrity sha512-gn5RfZiEXCsIWsFGsKiykekktUoh0PdFWYocXsUdZIyWSckT6UIyPcyyUIPSR3kpnELWeK3n3ztAse7Mat6PSA==
+  dependencies:
+    hermes-estree "0.22.0"
+
+ignore@^5.2.0:
  version "5.3.2"
  resolved "https://registry.yarnpkg.com/ignore/-/ignore-5.3.2.tgz#3cd40e729f3643fd87cb04e50bf0eb722bc596f5"
  integrity sha512-hsBTNUqQTDwkWtcdYI2i06Y/nUBEsNEDJKjWdigLvegy8kDuJAS8uRlpkkcQpyEXL0Z/pjDy5HBmMjRCJ2gq+g==
@@ -2219,11 +2089,6 @@ is-array-buffer@^3.0.2, is-array-buffer@^3.0.4:
    call-bind "^1.0.2"
    get-intrinsic "^1.2.1"

-is-arrayish@^0.3.1:
-  version "0.3.2"
-  resolved "https://registry.yarnpkg.com/is-arrayish/-/is-arrayish-0.3.2.tgz#4574a2ae56f7ab206896fb431eaeed066fdf8f03"
-  integrity sha512-eVRqCvVlZbuw3GrM63ovNSNAeA1K16kaR/LRY/92w0zxQ5/1YzwblUX652i4Xs9RwAGjW9d9y6X88t8OaAJfWQ==
-
 is-async-function@^2.0.0:
  version "2.0.0"
  resolved "https://registry.yarnpkg.com/is-async-function/-/is-async-function-2.0.0.tgz#8e4418efd3e5d3a6ebb0164c05ef5afb69aa9646"
@@ -2573,7 +2438,7 @@ lodash@^4.17.21:
  resolved "https://registry.yarnpkg.com/lodash/-/lodash-4.17.21.tgz#679591c564c3bffaae8454cf0b3df370c3d6911c"
  integrity sha512-v2kDEe57lecTulaDIuNTPy3Ry4gLGJ6Z1O3vE1krgXZNrsQ+LFTGHVxVjcXPs17LhbZVGedAJv8XZ1tvj5FvSg==

-loose-envify@^1.0.0, loose-envify@^1.4.0:
+loose-envify@^1.0.0, loose-envify@^1.1.0, loose-envify@^1.4.0:
  version "1.4.0"
  resolved "https://registry.yarnpkg.com/loose-envify/-/loose-envify-1.4.0.tgz#71ee51fa7be4caec1a63839f7e682d8132d30caf"
  integrity sha512-lyuxPGr/Wfhrlem2CL/UcnUc1zcqKAImBDzukY7Y5F/yQiNdko6+fRLevlw1HgMySw7f611UIY408EtxRSoK3Q==
@@ -2597,7 +2462,7 @@ lz-string@^1.5.0:
  resolved "https://registry.yarnpkg.com/lz-string/-/lz-string-1.5.0.tgz#c1ab50f77887b712621201ba9fd4e3a6ed099941"
  integrity sha512-h5bgJWpxJNswbU7qCrV0tIKQCaS3blPDrqKWx+QxzuzL1zGUzij9XCWLrSLsJPu5t+eWA/ycetzYAO5IOMcWAQ==

-merge2@^1.3.0:
+merge2@^1.3.0, merge2@^1.4.1:
  version "1.4.1"
  resolved "https://registry.yarnpkg.com/merge2/-/merge2-1.4.1.tgz#4368892f885e907455a6fd7dc55c0c9d404990ae"
  integrity sha512-8q7VEgMJW4J8tcfVPy8g09NcQwZdbwFEqhe/WZkoIzjn/3TGDwtOCYtXGxA3O8tPzpczCCDgv+P2P5y00ZJOOg==
@@ -2622,7 +2487,14 @@ mime-types@^2.1.12:
  dependencies:
    mime-db "1.52.0"

-minimatch@^3.0.5, minimatch@^3.1.1, minimatch@^3.1.2:
+minimatch@9.0.3:
+  version "9.0.3"
+  resolved "https://registry.yarnpkg.com/minimatch/-/minimatch-9.0.3.tgz#a6e00c3de44c3a542bfaae70abfc22420a6da825"
+  integrity sha512-RHiac9mvaRw0x3AYRgDC1CxAP7HTcNrrECeA8YYJeWnpo+2Q5CegtZjaotWTWxDG3UeGA1coE05iH1mPjT/2mg==
+  dependencies:
+    brace-expansion "^2.0.1"
+
+minimatch@^3.0.4, minimatch@^3.0.5, minimatch@^3.1.1, minimatch@^3.1.2:
  version "3.1.2"
  resolved "https://registry.yarnpkg.com/minimatch/-/minimatch-3.1.2.tgz#19cd194bfd3e428f049a70817c038d89ab4be35b"
  integrity sha512-J7p63hRiAjw1NDEww1W7i37+ByIrOWO5XQQAzZ3VOcL0PNybwpfmV/N05zFAzwQ9USyEcX6t3UO+K5aqBQOIHw==
@@ -2653,10 +2525,10 @@ monaco-editor-webpack-plugin@^7.1.0:
  dependencies:
    loader-utils "^2.0.2"

-monaco-editor@^0.52.0:
-  version "0.52.0"
-  resolved "https://registry.yarnpkg.com/monaco-editor/-/monaco-editor-0.52.0.tgz#d47c02b191eae208d68878d679b3ee7456031be7"
-  integrity sha512-OeWhNpABLCeTqubfqLMXGsqf6OmPU6pHM85kF3dhy6kq5hnhuVS1p3VrEW/XhWHc71P2tHyS5JFySD8mgs1crw==
+monaco-editor@^0.34.1:
+  version "0.34.1"
+  resolved "https://registry.yarnpkg.com/monaco-editor/-/monaco-editor-0.34.1.tgz#1b75c4ad6bc4c1f9da656d740d98e0b850a22f87"
+  integrity sha512-FKc80TyiMaruhJKKPz5SpJPIjL+dflGvz4CpuThaPMc94AyN7SeC9HQ8hrvaxX7EyHdJcUY5i4D0gNyJj1vSZQ==

 ms@^2.1.1, ms@^2.1.3:
  version "2.1.3"
@@ -2682,28 +2554,28 @@ natural-compare@^1.4.0:
  resolved "https://registry.yarnpkg.com/natural-compare/-/natural-compare-1.4.0.tgz#4abebfeed7541f2c27acfb29bdbbd15c8d5ba4f7"
  integrity sha512-OWND8ei3VtNC9h7V60qff3SVobHr996CTwgxubgyQYEpg290h9J0buyECNNJexkFm5sOajh5G116RYA1c8ZMSw==

-next@^15.0.1:
-  version "15.0.1"
-  resolved "https://registry.yarnpkg.com/next/-/next-15.0.1.tgz#a0e8eda35d803cb7f8092b2a2eb9d072e22bf21d"
-  integrity sha512-PSkFkr/w7UnFWm+EP8y/QpHrJXMqpZzAXpergB/EqLPOh4SGPJXv1wj4mslr2hUZBAS9pX7/9YLIdxTv6fwytw==
+next@^13.5.6:
+  version "13.5.7"
+  resolved "https://registry.yarnpkg.com/next/-/next-13.5.7.tgz#deddbb6644b235f0f6be2bbb6facce9ce004fd8e"
+  integrity sha512-W7KIRTE+hPcgGdq89P3mQLDX3m7pJ6nxSyC+YxYaUExE+cS4UledB+Ntk98tKoyhsv6fjb2TRAnD7VDvoqmeFg==
  dependencies:
-    "@next/env" "15.0.1"
-    "@swc/counter" "0.1.3"
-    "@swc/helpers" "0.5.13"
+    "@next/env" "13.5.7"
+    "@swc/helpers" "0.5.2"
    busboy "1.6.0"
-    caniuse-lite "^1.0.30001579"
+    caniuse-lite "^1.0.30001406"
    postcss "8.4.31"
-    styled-jsx "5.1.6"
+    styled-jsx "5.1.1"
+    watchpack "2.4.0"
  optionalDependencies:
-    "@next/swc-darwin-arm64" "15.0.1"
-    "@next/swc-darwin-x64" "15.0.1"
-    "@next/swc-linux-arm64-gnu" "15.0.1"
-    "@next/swc-linux-arm64-musl" "15.0.1"
-    "@next/swc-linux-x64-gnu" "15.0.1"
-    "@next/swc-linux-x64-musl" "15.0.1"
-    "@next/swc-win32-arm64-msvc" "15.0.1"
-    "@next/swc-win32-x64-msvc" "15.0.1"
-    sharp "^0.33.5"
+    "@next/swc-darwin-arm64" "13.5.7"
+    "@next/swc-darwin-x64" "13.5.7"
+    "@next/swc-linux-arm64-gnu" "13.5.7"
+    "@next/swc-linux-arm64-musl" "13.5.7"
+    "@next/swc-linux-x64-gnu" "13.5.7"
+    "@next/swc-linux-x64-musl" "13.5.7"
+    "@next/swc-win32-arm64-msvc" "13.5.7"
+    "@next/swc-win32-ia32-msvc" "13.5.7"
+    "@next/swc-win32-x64-msvc" "13.5.7"

 node-releases@^2.0.18:
  version "2.0.18"
@@ -2876,6 +2748,11 @@ path-scurry@^1.11.1:
    lru-cache "^10.2.0"
    minipass "^5.0.0 || ^6.0.2 || ^7.0.0"

+path-type@^4.0.0:
+  version "4.0.0"
+  resolved "https://registry.yarnpkg.com/path-type/-/path-type-4.0.0.tgz#84ed01c0a7ba380afe09d90a8c180dcd9d03043b"
+  integrity sha512-gDKb8aZMDeD/tZWs9P6+q0J9Mwkdl6xMV8TjnGP3qJVJ06bdMgkbBlLU8IdfOsIsFz2BW1rNVT3XuNEl8zPAvw==
+
 picocolors@^1.0.0, picocolors@^1.0.1, picocolors@^1.1.0:
  version "1.1.0"
  resolved "https://registry.yarnpkg.com/picocolors/-/picocolors-1.1.0.tgz#5358b76a78cde483ba5cef6a9dc9671440b27d59"
@@ -3025,12 +2902,18 @@ re-resizable@^6.9.16:
  resolved "https://registry.yarnpkg.com/re-resizable/-/re-resizable-6.10.0.tgz#d684a096ab438f1a93f59ad3a580a206b0ce31ee"
  integrity sha512-hysSK0xmA5nz24HBVztlk4yCqCLCvS32E6ZpWxVKop9x3tqCa4yAj1++facrmkOf62JsJHjmjABdKxXofYioCw==

-react-dom@19.0.0-rc-77b637d6-20241016:
-  version "19.0.0-rc-77b637d6-20241016"
-  resolved "https://registry.yarnpkg.com/react-dom/-/react-dom-19.0.0-rc-77b637d6-20241016.tgz#71afcba4abbd81a73e85086029202423cf85355e"
-  integrity sha512-xp5LvY+O6uvg0fNbSMyMXe0kbgzw6qn0mbqrdXStm4LBpFeMswLZ+XSNr+eJ0HyIiWrCw0rrXaVdqOxc9wtdKA==
+react-compiler-runtime@*:
+  version "0.0.0"
+  resolved "https://registry.yarnpkg.com/react-compiler-runtime/-/react-compiler-runtime-0.0.0.tgz#906990637c0f367f836746931f4824b2acf8a05c"
+  integrity sha512-ZaNBKRbqg6eZc+YKtJ3MeOwUJ/XjBnEzYnUURWTcvOFGlA79g45QFj7bbVP2ITeUPkiY2PsZZu+NmFEje4p0RA==
+
+react-dom@18.3.1:
+  version "18.3.1"
+  resolved "https://registry.yarnpkg.com/react-dom/-/react-dom-18.3.1.tgz#c2265d79511b57d479b3dd3fdfa51536494c5cb4"
+  integrity sha512-5m4nQKp+rZRb09LNH59GM4BxTh9251/ylbKIbpe7TpGxfJ+9kv6BLkLBXIjjspbgbnIBNqlI23tRnTWT0snUIw==
  dependencies:
-    scheduler "0.25.0-rc-77b637d6-20241016"
+    loose-envify "^1.1.0"
+    scheduler "^0.23.2"

 react-is@^16.13.1:
  version "16.13.1"
@@ -3042,10 +2925,12 @@ react-is@^18.0.0:
  resolved "https://registry.yarnpkg.com/react-is/-/react-is-18.3.1.tgz#e83557dc12eae63a99e003a46388b1dcbb44db7e"
  integrity sha512-/LLMVyas0ljjAtoYiPqYiL8VWXzUUdThrmU5+n20DZv+a+ClRoevUzw5JxU+Ieh5/c87ytoTBV9G1FiKfNJdmg==

-react@19.0.0-rc-77b637d6-20241016:
-  version "19.0.0-rc-77b637d6-20241016"
-  resolved "https://registry.yarnpkg.com/react/-/react-19.0.0-rc-77b637d6-20241016.tgz#9e20f116d0195979f192537e00a0fa1687680319"
-  integrity sha512-9A+i+PGSH/P4MezU4w38K9cbJuy0pzsXoPjPWIv6TQGCFmc5qCzC+8yce8dzfSEF1KJgCF2CLc5qtq/ePfiVqg==
+react@18.3.1:
+  version "18.3.1"
+  resolved "https://registry.yarnpkg.com/react/-/react-18.3.1.tgz#49ab892009c53933625bd16b2533fc754cab2891"
+  integrity sha512-wS+hAgJShR0KhEvPJArfuPVN1+Hz1t0Y6n5jLrGQbkb4urgPE/0Rve+1kMB1v/oWgHgm4WIcV+i7F2pTVj+2iQ==
+  dependencies:
+    loose-envify "^1.1.0"

 read-cache@^1.0.0:
  version "1.0.0"
@@ -3167,17 +3052,19 @@ safe-regex-test@^1.0.3:
    es-errors "^1.3.0"
    is-regex "^1.1.4"

-scheduler@0.25.0-rc-77b637d6-20241016:
-  version "0.25.0-rc-77b637d6-20241016"
-  resolved "https://registry.yarnpkg.com/scheduler/-/scheduler-0.25.0-rc-77b637d6-20241016.tgz#ab8f8d1cccc9668946caaa1103acdcdb5c871122"
-  integrity sha512-R5NTrZXJaW4Dj2jHmad2MTehpFq4yUQOxRKDNV7clP1q4Pz6RtUIcofdPnGUWM0krlJAw8DHd/4jT41pFK4iEg==
+scheduler@^0.23.2:
+  version "0.23.2"
+  resolved "https://registry.yarnpkg.com/scheduler/-/scheduler-0.23.2.tgz#414ba64a3b282892e944cf2108ecc078d115cdc3"
+  integrity sha512-UOShsPwz7NrMUqhR6t0hWjFduvOzbtv7toDH1/hIrfRNIDBnnBWd0CwJTGvTpngVlmwGCdP9/Zl/tVrDqcuYzQ==
+  dependencies:
+    loose-envify "^1.1.0"

 semver@^6.3.1:
  version "6.3.1"
  resolved "https://registry.yarnpkg.com/semver/-/semver-6.3.1.tgz#556d2ef8689146e46dcea4bfdd095f3434dffcb4"
  integrity sha512-BR7VvDCVHO+q2xBEWskxS6DJE1qRnb7DxzUrogb71CWoSficBxYsiAGd+Kl0mmq/MprG9yArRkyrQxTO6XjMzA==

-semver@^7.6.0, semver@^7.6.3:
+semver@^7.5.4, semver@^7.6.3:
  version "7.6.3"
  resolved "https://registry.yarnpkg.com/semver/-/semver-7.6.3.tgz#980f7b5550bc175fb4dc09403085627f9eb33143"
  integrity sha512-oVekP1cKtI+CTDvHWYFUcMtsK/00wmAEfyqKfNdARm8u1wNVhSgaX7A8d4UuIlUI5e84iEwOhs7ZPYRmzU9U6A==
@@ -3204,35 +3091,6 @@ set-function-name@^2.0.1, set-function-name@^2.0.2:
    functions-have-names "^1.2.3"
    has-property-descriptors "^1.0.2"

-sharp@^0.33.5:
-  version "0.33.5"
-  resolved "https://registry.yarnpkg.com/sharp/-/sharp-0.33.5.tgz#13e0e4130cc309d6a9497596715240b2ec0c594e"
-  integrity sha512-haPVm1EkS9pgvHrQ/F3Xy+hgcuMV0Wm9vfIBSiwZ05k+xgb0PkBQpGsAA/oWdDobNaZTH5ppvHtzCFbnSEwHVw==
-  dependencies:
-    color "^4.2.3"
-    detect-libc "^2.0.3"
-    semver "^7.6.3"
-  optionalDependencies:
-    "@img/sharp-darwin-arm64" "0.33.5"
-    "@img/sharp-darwin-x64" "0.33.5"
-    "@img/sharp-libvips-darwin-arm64" "1.0.4"
-    "@img/sharp-libvips-darwin-x64" "1.0.4"
-    "@img/sharp-libvips-linux-arm" "1.0.5"
-    "@img/sharp-libvips-linux-arm64" "1.0.4"
-    "@img/sharp-libvips-linux-s390x" "1.0.4"
-    "@img/sharp-libvips-linux-x64" "1.0.4"
-    "@img/sharp-libvips-linuxmusl-arm64" "1.0.4"
-    "@img/sharp-libvips-linuxmusl-x64" "1.0.4"
-    "@img/sharp-linux-arm" "0.33.5"
-    "@img/sharp-linux-arm64" "0.33.5"
-    "@img/sharp-linux-s390x" "0.33.5"
-    "@img/sharp-linux-x64" "0.33.5"
-    "@img/sharp-linuxmusl-arm64" "0.33.5"
-    "@img/sharp-linuxmusl-x64" "0.33.5"
-    "@img/sharp-wasm32" "0.33.5"
-    "@img/sharp-win32-ia32" "0.33.5"
-    "@img/sharp-win32-x64" "0.33.5"
-
 shebang-command@^2.0.0:
  version "2.0.0"
  resolved "https://registry.yarnpkg.com/shebang-command/-/shebang-command-2.0.0.tgz#ccd0af4f8835fbdc265b82461aaf0c36663f34ea"
@@ -3265,12 +3123,10 @@ signal-exit@^4.0.1:
  resolved "https://registry.yarnpkg.com/signal-exit/-/signal-exit-4.1.0.tgz#952188c1cbd546070e2dd20d0f41c0ae0530cb04"
  integrity sha512-bzyZ1e88w9O1iNJbKnOlvYTrWPDl46O1bG0D3XInv+9tkPrxrN8jUUTiFlDkkmKWgn1M6CfIA13SuGqOa9Korw==

-simple-swizzle@^0.2.2:
-  version "0.2.2"
-  resolved "https://registry.yarnpkg.com/simple-swizzle/-/simple-swizzle-0.2.2.tgz#a4da6b635ffcccca33f70d17cb92592de95e557a"
-  integrity sha512-JA//kQgZtbuY83m+xT+tXJkmJncGMTFT+C+g2h2R9uxkYIrE2yy9sgmcLhCnw57/WSD+Eh3J97FPEDFnbXnDUg==
-  dependencies:
-    is-arrayish "^0.3.1"
+slash@^3.0.0:
+  version "3.0.0"
+  resolved "https://registry.yarnpkg.com/slash/-/slash-3.0.0.tgz#6539be870c165adbd5240220dbe361f1bc4d4634"
+  integrity sha512-g9Q1haeby36OSStwb4ntCGGGaKsaVSjQ68fBxoQcutl5fS1vuY18H3wSt3jFyFtrkx+Kz0V1G85A4MyAdDMi2Q==

 source-map-js@^1.0.2, source-map-js@^1.2.1:
  version "1.2.1"
@@ -3419,10 +3275,10 @@ strip-json-comments@^3.1.1:
  resolved "https://registry.yarnpkg.com/strip-json-comments/-/strip-json-comments-3.1.1.tgz#31f1281b3832630434831c310c01cccda8cbe006"
  integrity sha512-6fPc+R4ihwqP6N/aIv2f1gMH8lOVtWQHoqC4yK6oSDVVocumAsfCqjkXnqiYMhmMwS/mEHLp7Vehlt3ql6lEig==

-styled-jsx@5.1.6:
-  version "5.1.6"
-  resolved "https://registry.yarnpkg.com/styled-jsx/-/styled-jsx-5.1.6.tgz#83b90c077e6c6a80f7f5e8781d0f311b2fe41499"
-  integrity sha512-qSVyDTeMotdvQYoHWLNGwRFJHC+i+ZvdBRYosOFgC+Wg1vx4frN2/RG/NA7SYqqvKNLf39P2LSRA2pu6n0XYZA==
+styled-jsx@5.1.1:
+  version "5.1.1"
+  resolved "https://registry.yarnpkg.com/styled-jsx/-/styled-jsx-5.1.1.tgz#839a1c3aaacc4e735fed0781b8619ea5d0009d1f"
+  integrity sha512-pW7uC1l4mBZ8ugbiZrcIsiIvVx1UmTfw7UkC3Um2tmfUq9Bhk8IiyEIPl6F8agHgjzku6j0xQEZbfA5uSgSaCw==
  dependencies:
    client-only "0.0.1"

@@ -3534,7 +3390,7 @@ tree-kill@^1.2.2:
  resolved "https://registry.yarnpkg.com/tree-kill/-/tree-kill-1.2.2.tgz#4ca09a9092c88b73a7cdc5e8a01b507b0790a0cc"
  integrity sha512-L0Orpi8qGpRG//Nd+H90vFB+3iHnue1zSSGmNOOCh1GLJ7rUKVwV2HvijphGQS2UmhUZewS9VgvxYIdgr+fG1A==

-ts-api-utils@^1.3.0:
+ts-api-utils@^1.0.1:
  version "1.3.0"
  resolved "https://registry.yarnpkg.com/ts-api-utils/-/ts-api-utils-1.3.0.tgz#4b490e27129f1e8e686b45cc4ab63714dc60eea1"
  integrity sha512-UQMIo7pb8WRomKR1/+MFVLTroIvDVtMX3K6OUir8ynLyzB8Jeriont2bTAtmNPa1ekAgN7YPDyf6V+ygrdU+eQ==
@@ -3656,6 +3512,14 @@ wait-on@^7.2.0:
    minimist "^1.2.8"
    rxjs "^7.8.1"

+watchpack@2.4.0:
+  version "2.4.0"
+  resolved "https://registry.yarnpkg.com/watchpack/-/watchpack-2.4.0.tgz#fa33032374962c78113f93c7f2fb4c54c9862a5d"
+  integrity sha512-Lcvm7MGST/4fup+ifyKi2hjyIAwcdI4HRgtvTpIUxBRhB+RFtUh8XtDOxUfctVCnhVi+QQj49i91OyvzkJl6cg==
+  dependencies:
+    glob-to-regexp "^0.4.1"
+    graceful-fs "^4.1.2"
+
 which-boxed-primitive@^1.0.2:
  version "1.0.2"
  resolved "https://registry.yarnpkg.com/which-boxed-primitive/-/which-boxed-primitive-1.0.2.tgz#13757bc89b209b049fe5d86430e21cf40a89a8e6"
--- a/compiler/fixtures/.gitkeep
+++ b/compiler/fixtures/.gitkeep
--- a/compiler/fixtures/runtime-compat/README.md
+++ b/compiler/fixtures/runtime-compat/README.md
@@ -0,0 +1 @@
+Reference library compiled with React Compiler.
--- a/compiler/fixtures/runtime-compat/app-18/.gitignore
+++ b/compiler/fixtures/runtime-compat/app-18/.gitignore
@@ -0,0 +1,24 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+lerna-debug.log*
+
+node_modules
+dist
+dist-ssr
+*.local
+
+# Editor directories and files
+.vscode/*
+!.vscode/extensions.json
+.idea
+.DS_Store
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?
--- a/compiler/fixtures/runtime-compat/app-18/README.md
+++ b/compiler/fixtures/runtime-compat/app-18/README.md
@@ -0,0 +1,50 @@
+# React + TypeScript + Vite
+
+This template provides a minimal setup to get React working in Vite with HMR and some ESLint rules.
+
+Currently, two official plugins are available:
+
+- [@vitejs/plugin-react](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react/README.md) uses [Babel](https://babeljs.io/) for Fast Refresh
+- [@vitejs/plugin-react-swc](https://github.com/vitejs/vite-plugin-react-swc) uses [SWC](https://swc.rs/) for Fast Refresh
+
+## Expanding the ESLint configuration
+
+If you are developing a production application, we recommend updating the configuration to enable type aware lint rules:
+
+- Configure the top-level `parserOptions` property like this:
+
+```js
+export default tseslint.config({
+  languageOptions: {
+    // other options...
+    parserOptions: {
+      project: ['./tsconfig.node.json', './tsconfig.app.json'],
+      tsconfigRootDir: import.meta.dirname,
+    },
+  },
+})
+```
+
+- Replace `tseslint.configs.recommended` to `tseslint.configs.recommendedTypeChecked` or `tseslint.configs.strictTypeChecked`
+- Optionally add `...tseslint.configs.stylisticTypeChecked`
+- Install [eslint-plugin-react](https://github.com/jsx-eslint/eslint-plugin-react) and update the config:
+
+```js
+// eslint.config.js
+import react from 'eslint-plugin-react'
+
+export default tseslint.config({
+  // Set the react version
+  settings: { react: { version: '18.3' } },
+  plugins: {
+    // Add the react plugin
+    react,
+  },
+  rules: {
+    // other rules...
+    // Enable its recommended rules
+    ...react.configs.recommended.rules,
+    ...react.configs['jsx-runtime'].rules,
+  },
+})
+```
--- a/compiler/fixtures/runtime-compat/app-18/eslint.config.js
+++ b/compiler/fixtures/runtime-compat/app-18/eslint.config.js
@@ -0,0 +1,28 @@
+import js from '@eslint/js';
+import globals from 'globals';
+import reactHooks from 'eslint-plugin-react-hooks';
+import reactRefresh from 'eslint-plugin-react-refresh';
+import tseslint from 'typescript-eslint';
+
+export default tseslint.config(
+  {ignores: ['dist']},
+  {
+    extends: [js.configs.recommended, ...tseslint.configs.recommended],
+    files: ['**/*.{ts,tsx}'],
+    languageOptions: {
+      ecmaVersion: 2020,
+      globals: globals.browser,
+    },
+    plugins: {
+      'react-hooks': reactHooks,
+      'react-refresh': reactRefresh,
+    },
+    rules: {
+      ...reactHooks.configs.recommended.rules,
+      'react-refresh/only-export-components': [
+        'warn',
+        {allowConstantExport: true},
+      ],
+    },
+  }
+);
--- a/compiler/fixtures/runtime-compat/app-18/index.html
+++ b/compiler/fixtures/runtime-compat/app-18/index.html
@@ -0,0 +1,13 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <link rel="icon" type="image/svg+xml" href="/vite.svg" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Vite + React + TS</title>
+  </head>
+  <body>
+    <div id="root"></div>
+    <script type="module" src="/src/main.tsx"></script>
+  </body>
+</html>
--- a/compiler/fixtures/runtime-compat/app-18/package.json
+++ b/compiler/fixtures/runtime-compat/app-18/package.json
@@ -0,0 +1,32 @@
+{
+  "name": "app-18",
+  "private": true,
+  "version": "0.0.0",
+  "type": "module",
+  "scripts": {
+    "dev": "vite",
+    "build": "tsc -b && vite build",
+    "lint": "eslint .",
+    "preview": "vite preview"
+  },
+  "dependencies": {
+    "react": "^18.3.1",
+    "react-compiler-runtime": "0.0.0-experimental-8d8e73f-20241009",
+    "react-dom": "^18.3.1",
+    "runtime-compat-lib": "file:../lib"
+  },
+  "devDependencies": {
+    "@eslint/js": "^9.11.1",
+    "@types/react": "^18.3.10",
+    "@types/react-dom": "^18.3.0",
+    "@vitejs/plugin-react": "^4.3.2",
+    "babel-plugin-react-compiler": "0.0.0-experimental-58c2b1c-20241009",
+    "eslint": "^9.11.1",
+    "eslint-plugin-react-hooks": "^5.1.0-rc.0",
+    "eslint-plugin-react-refresh": "^0.4.12",
+    "globals": "^15.9.0",
+    "typescript": "^5.5.3",
+    "typescript-eslint": "^8.7.0",
+    "vite": "^5.4.8"
+  }
+}
--- a/compiler/fixtures/runtime-compat/app-18/public/vite.svg
+++ b/compiler/fixtures/runtime-compat/app-18/public/vite.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="31.88" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 257"><defs><linearGradient id="IconifyId1813088fe1fbc01fb466" x1="-.828%" x2="57.636%" y1="7.652%" y2="78.411%"><stop offset="0%" stop-color="#41D1FF"></stop><stop offset="100%" stop-color="#BD34FE"></stop></linearGradient><linearGradient id="IconifyId1813088fe1fbc01fb467" x1="43.376%" x2="50.316%" y1="2.242%" y2="89.03%"><stop offset="0%" stop-color="#FFEA83"></stop><stop offset="8.333%" stop-color="#FFDD35"></stop><stop offset="100%" stop-color="#FFA800"></stop></linearGradient></defs><path fill="url(#IconifyId1813088fe1fbc01fb466)" d="M255.153 37.938L134.897 252.976c-2.483 4.44-8.862 4.466-11.382.048L.875 37.958c-2.746-4.814 1.371-10.646 6.827-9.67l120.385 21.517a6.537 6.537 0 0 0 2.322-.004l117.867-21.483c5.438-.991 9.574 4.796 6.877 9.62Z"></path><path fill="url(#IconifyId1813088fe1fbc01fb467)" d="M185.432.063L96.44 17.501a3.268 3.268 0 0 0-2.634 3.014l-5.474 92.456a3.268 3.268 0 0 0 3.997 3.378l24.777-5.718c2.318-.535 4.413 1.507 3.936 3.838l-7.361 36.047c-.495 2.426 1.782 4.5 4.151 3.78l15.304-4.649c2.372-.72 4.652 1.36 4.15 3.788l-11.698 56.621c-.732 3.542 3.979 5.473 5.943 2.437l1.313-2.028l72.516-144.72c1.215-2.423-.88-5.186-3.54-4.672l-25.505 4.922c-2.396.462-4.435-1.77-3.759-4.114l16.646-57.705c.677-2.35-1.37-4.583-3.769-4.113Z"></path></svg>
--- a/compiler/fixtures/runtime-compat/app-18/src/App.css
+++ b/compiler/fixtures/runtime-compat/app-18/src/App.css
@@ -0,0 +1,42 @@
+#root {
+  max-width: 1280px;
+  margin: 0 auto;
+  padding: 2rem;
+  text-align: center;
+}
+
+.logo {
+  height: 6em;
+  padding: 1.5em;
+  will-change: filter;
+  transition: filter 300ms;
+}
+.logo:hover {
+  filter: drop-shadow(0 0 2em #646cffaa);
+}
+.logo.react:hover {
+  filter: drop-shadow(0 0 2em #61dafbaa);
+}
+
+@keyframes logo-spin {
+  from {
+    transform: rotate(0deg);
+  }
+  to {
+    transform: rotate(360deg);
+  }
+}
+
+@media (prefers-reduced-motion: no-preference) {
+  a:nth-of-type(2) .logo {
+    animation: logo-spin infinite 20s linear;
+  }
+}
+
+.card {
+  padding: 2em;
+}
+
+.read-the-docs {
+  color: #888;
+}
--- a/compiler/fixtures/runtime-compat/app-18/src/App.tsx
+++ b/compiler/fixtures/runtime-compat/app-18/src/App.tsx
@@ -0,0 +1,16 @@
+import 'react';
+import './App.css';
+// @ts-expect-error no types
+import {useTime} from 'runtime-compat-lib';
+
+function App() {
+  const time = useTime();
+  return (
+    <>
+      <h1>React 18</h1>
+      <span>Current time: {time.toLocaleString()}</span>
+    </>
+  );
+}
+
+export default App;
--- a/compiler/fixtures/runtime-compat/app-18/src/assets/react.svg
+++ b/compiler/fixtures/runtime-compat/app-18/src/assets/react.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="35.93" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 228"><path fill="#00D8FF" d="M210.483 73.824a171.49 171.49 0 0 0-8.24-2.597c.465-1.9.893-3.777 1.273-5.621c6.238-30.281 2.16-54.676-11.769-62.708c-13.355-7.7-35.196.329-57.254 19.526a171.23 171.23 0 0 0-6.375 5.848a155.866 155.866 0 0 0-4.241-3.917C100.759 3.829 77.587-4.822 63.673 3.233C50.33 10.957 46.379 33.89 51.995 62.588a170.974 170.974 0 0 0 1.892 8.48c-3.28.932-6.445 1.924-9.474 2.98C17.309 83.498 0 98.307 0 113.668c0 15.865 18.582 31.778 46.812 41.427a145.52 145.52 0 0 0 6.921 2.165a167.467 167.467 0 0 0-2.01 9.138c-5.354 28.2-1.173 50.591 12.134 58.266c13.744 7.926 36.812-.22 59.273-19.855a145.567 145.567 0 0 0 5.342-4.923a168.064 168.064 0 0 0 6.92 6.314c21.758 18.722 43.246 26.282 56.54 18.586c13.731-7.949 18.194-32.003 12.4-61.268a145.016 145.016 0 0 0-1.535-6.842c1.62-.48 3.21-.974 4.76-1.488c29.348-9.723 48.443-25.443 48.443-41.52c0-15.417-17.868-30.326-45.517-39.844Zm-6.365 70.984c-1.4.463-2.836.91-4.3 1.345c-3.24-10.257-7.612-21.163-12.963-32.432c5.106-11 9.31-21.767 12.459-31.957c2.619.758 5.16 1.557 7.61 2.4c23.69 8.156 38.14 20.213 38.14 29.504c0 9.896-15.606 22.743-40.946 31.14Zm-10.514 20.834c2.562 12.94 2.927 24.64 1.23 33.787c-1.524 8.219-4.59 13.698-8.382 15.893c-8.067 4.67-25.32-1.4-43.927-17.412a156.726 156.726 0 0 1-6.437-5.87c7.214-7.889 14.423-17.06 21.459-27.246c12.376-1.098 24.068-2.894 34.671-5.345a134.17 134.17 0 0 1 1.386 6.193ZM87.276 214.515c-7.882 2.783-14.16 2.863-17.955.675c-8.075-4.657-11.432-22.636-6.853-46.752a156.923 156.923 0 0 1 1.869-8.499c10.486 2.32 22.093 3.988 34.498 4.994c7.084 9.967 14.501 19.128 21.976 27.15a134.668 134.668 0 0 1-4.877 4.492c-9.933 8.682-19.886 14.842-28.658 17.94ZM50.35 144.747c-12.483-4.267-22.792-9.812-29.858-15.863c-6.35-5.437-9.555-10.836-9.555-15.216c0-9.322 13.897-21.212 37.076-29.293c2.813-.98 5.757-1.905 8.812-2.773c3.204 10.42 7.406 21.315 12.477 32.332c-5.137 11.18-9.399 22.249-12.634 32.792a134.718 134.718 0 0 1-6.318-1.979Zm12.378-84.26c-4.811-24.587-1.616-43.134 6.425-47.789c8.564-4.958 27.502 2.111 47.463 19.835a144.318 144.318 0 0 1 3.841 3.545c-7.438 7.987-14.787 17.08-21.808 26.988c-12.04 1.116-23.565 2.908-34.161 5.309a160.342 160.342 0 0 1-1.76-7.887Zm110.427 27.268a347.8 347.8 0 0 0-7.785-12.803c8.168 1.033 15.994 2.404 23.343 4.08c-2.206 7.072-4.956 14.465-8.193 22.045a381.151 381.151 0 0 0-7.365-13.322Zm-45.032-43.861c5.044 5.465 10.096 11.566 15.065 18.186a322.04 322.04 0 0 0-30.257-.006c4.974-6.559 10.069-12.652 15.192-18.18ZM82.802 87.83a323.167 323.167 0 0 0-7.227 13.238c-3.184-7.553-5.909-14.98-8.134-22.152c7.304-1.634 15.093-2.97 23.209-3.984a321.524 321.524 0 0 0-7.848 12.897Zm8.081 65.352c-8.385-.936-16.291-2.203-23.593-3.793c2.26-7.3 5.045-14.885 8.298-22.6a321.187 321.187 0 0 0 7.257 13.246c2.594 4.48 5.28 8.868 8.038 13.147Zm37.542 31.03c-5.184-5.592-10.354-11.779-15.403-18.433c4.902.192 9.899.29 14.978.29c5.218 0 10.376-.117 15.453-.343c-4.985 6.774-10.018 12.97-15.028 18.486Zm52.198-57.817c3.422 7.8 6.306 15.345 8.596 22.52c-7.422 1.694-15.436 3.058-23.88 4.071a382.417 382.417 0 0 0 7.859-13.026a347.403 347.403 0 0 0 7.425-13.565Zm-16.898 8.101a358.557 358.557 0 0 1-12.281 19.815a329.4 329.4 0 0 1-23.444.823c-7.967 0-15.716-.248-23.178-.732a310.202 310.202 0 0 1-12.513-19.846h.001a307.41 307.41 0 0 1-10.923-20.627a310.278 310.278 0 0 1 10.89-20.637l-.001.001a307.318 307.318 0 0 1 12.413-19.761c7.613-.576 15.42-.876 23.31-.876H128c7.926 0 15.743.303 23.354.883a329.357 329.357 0 0 1 12.335 19.695a358.489 358.489 0 0 1 11.036 20.54a329.472 329.472 0 0 1-11 20.722Zm22.56-122.124c8.572 4.944 11.906 24.881 6.52 51.026c-.344 1.668-.73 3.367-1.15 5.09c-10.622-2.452-22.155-4.275-34.23-5.408c-7.034-10.017-14.323-19.124-21.64-27.008a160.789 160.789 0 0 1 5.888-5.4c18.9-16.447 36.564-22.941 44.612-18.3ZM128 90.808c12.625 0 22.86 10.235 22.86 22.86s-10.235 22.86-22.86 22.86s-22.86-10.235-22.86-22.86s10.235-22.86 22.86-22.86Z"></path></svg>
--- a/compiler/fixtures/runtime-compat/app-18/src/index.css
+++ b/compiler/fixtures/runtime-compat/app-18/src/index.css
@@ -0,0 +1,68 @@
+:root {
+  font-family: Inter, system-ui, Avenir, Helvetica, Arial, sans-serif;
+  line-height: 1.5;
+  font-weight: 400;
+
+  color-scheme: light dark;
+  color: rgba(255, 255, 255, 0.87);
+  background-color: #242424;
+
+  font-synthesis: none;
+  text-rendering: optimizeLegibility;
+  -webkit-font-smoothing: antialiased;
+  -moz-osx-font-smoothing: grayscale;
+}
+
+a {
+  font-weight: 500;
+  color: #646cff;
+  text-decoration: inherit;
+}
+a:hover {
+  color: #535bf2;
+}
+
+body {
+  margin: 0;
+  display: flex;
+  place-items: center;
+  min-width: 320px;
+  min-height: 100vh;
+}
+
+h1 {
+  font-size: 3.2em;
+  line-height: 1.1;
+}
+
+button {
+  border-radius: 8px;
+  border: 1px solid transparent;
+  padding: 0.6em 1.2em;
+  font-size: 1em;
+  font-weight: 500;
+  font-family: inherit;
+  background-color: #1a1a1a;
+  cursor: pointer;
+  transition: border-color 0.25s;
+}
+button:hover {
+  border-color: #646cff;
+}
+button:focus,
+button:focus-visible {
+  outline: 4px auto -webkit-focus-ring-color;
+}
+
+@media (prefers-color-scheme: light) {
+  :root {
+    color: #213547;
+    background-color: #ffffff;
+  }
+  a:hover {
+    color: #747bff;
+  }
+  button {
+    background-color: #f9f9f9;
+  }
+}
--- a/compiler/fixtures/runtime-compat/app-18/src/main.tsx
+++ b/compiler/fixtures/runtime-compat/app-18/src/main.tsx
@@ -0,0 +1,10 @@
+import {StrictMode} from 'react';
+import {createRoot} from 'react-dom/client';
+import App from './App.tsx';
+import './index.css';
+
+createRoot(document.getElementById('root')!).render(
+  <StrictMode>
+    <App />
+  </StrictMode>,
+);
--- a/compiler/fixtures/runtime-compat/app-18/src/vite-env.d.ts
+++ b/compiler/fixtures/runtime-compat/app-18/src/vite-env.d.ts
@@ -0,0 +1 @@
+/// <reference types="vite/client" />
--- a/compiler/fixtures/runtime-compat/app-18/tsconfig.app.json
+++ b/compiler/fixtures/runtime-compat/app-18/tsconfig.app.json
@@ -0,0 +1,24 @@
+{
+  "compilerOptions": {
+    "target": "ES2020",
+    "useDefineForClassFields": true,
+    "lib": ["ES2020", "DOM", "DOM.Iterable"],
+    "module": "ESNext",
+    "skipLibCheck": true,
+
+    /* Bundler mode */
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "isolatedModules": true,
+    "moduleDetection": "force",
+    "noEmit": true,
+    "jsx": "react-jsx",
+
+    /* Linting */
+    "strict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noFallthroughCasesInSwitch": true
+  },
+  "include": ["src"]
+}
--- a/compiler/fixtures/runtime-compat/app-18/tsconfig.app.tsbuildinfo
+++ b/compiler/fixtures/runtime-compat/app-18/tsconfig.app.tsbuildinfo
@@ -0,0 +1 @@
+{"root":["./src/app.tsx","./src/main.tsx","./src/vite-env.d.ts"],"version":"5.6.3"}
--- a/compiler/fixtures/runtime-compat/app-18/tsconfig.json
+++ b/compiler/fixtures/runtime-compat/app-18/tsconfig.json
@@ -0,0 +1,7 @@
+{
+  "files": [],
+  "references": [
+    { "path": "./tsconfig.app.json" },
+    { "path": "./tsconfig.node.json" }
+  ]
+}
--- a/compiler/fixtures/runtime-compat/app-18/tsconfig.node.json
+++ b/compiler/fixtures/runtime-compat/app-18/tsconfig.node.json
@@ -0,0 +1,22 @@
+{
+  "compilerOptions": {
+    "target": "ES2022",
+    "lib": ["ES2023"],
+    "module": "ESNext",
+    "skipLibCheck": true,
+
+    /* Bundler mode */
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "isolatedModules": true,
+    "moduleDetection": "force",
+    "noEmit": true,
+
+    /* Linting */
+    "strict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noFallthroughCasesInSwitch": true
+  },
+  "include": ["vite.config.ts"]
+}
--- a/compiler/fixtures/runtime-compat/app-18/tsconfig.node.tsbuildinfo
+++ b/compiler/fixtures/runtime-compat/app-18/tsconfig.node.tsbuildinfo
@@ -0,0 +1 @@
+{"root":["./vite.config.ts"],"version":"5.6.3"}
--- a/compiler/fixtures/runtime-compat/app-18/vite.config.ts
+++ b/compiler/fixtures/runtime-compat/app-18/vite.config.ts
@@ -0,0 +1,11 @@
+import {defineConfig} from 'vite';
+import react from '@vitejs/plugin-react';
+
+// https://vitejs.dev/config/
+export default defineConfig({
+  plugins: [
+    react({
+      babel: {plugins: [['babel-plugin-react-compiler', {target: '18'}]]},
+    }),
+  ],
+});
--- a/compiler/fixtures/runtime-compat/app-18/yarn.lock
+++ b/compiler/fixtures/runtime-compat/app-18/yarn.lock
--- a/compiler/fixtures/runtime-compat/app-19/.gitignore
+++ b/compiler/fixtures/runtime-compat/app-19/.gitignore
@@ -0,0 +1,24 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+lerna-debug.log*
+
+node_modules
+dist
+dist-ssr
+*.local
+
+# Editor directories and files
+.vscode/*
+!.vscode/extensions.json
+.idea
+.DS_Store
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?
--- a/compiler/fixtures/runtime-compat/app-19/README.md
+++ b/compiler/fixtures/runtime-compat/app-19/README.md
@@ -0,0 +1,50 @@
+# React + TypeScript + Vite
+
+This template provides a minimal setup to get React working in Vite with HMR and some ESLint rules.
+
+Currently, two official plugins are available:
+
+- [@vitejs/plugin-react](https://github.com/vitejs/vite-plugin-react/blob/main/packages/plugin-react/README.md) uses [Babel](https://babeljs.io/) for Fast Refresh
+- [@vitejs/plugin-react-swc](https://github.com/vitejs/vite-plugin-react-swc) uses [SWC](https://swc.rs/) for Fast Refresh
+
+## Expanding the ESLint configuration
+
+If you are developing a production application, we recommend updating the configuration to enable type aware lint rules:
+
+- Configure the top-level `parserOptions` property like this:
+
+```js
+export default tseslint.config({
+  languageOptions: {
+    // other options...
+    parserOptions: {
+      project: ['./tsconfig.node.json', './tsconfig.app.json'],
+      tsconfigRootDir: import.meta.dirname,
+    },
+  },
+})
+```
+
+- Replace `tseslint.configs.recommended` to `tseslint.configs.recommendedTypeChecked` or `tseslint.configs.strictTypeChecked`
+- Optionally add `...tseslint.configs.stylisticTypeChecked`
+- Install [eslint-plugin-react](https://github.com/jsx-eslint/eslint-plugin-react) and update the config:
+
+```js
+// eslint.config.js
+import react from 'eslint-plugin-react'
+
+export default tseslint.config({
+  // Set the react version
+  settings: { react: { version: '18.3' } },
+  plugins: {
+    // Add the react plugin
+    react,
+  },
+  rules: {
+    // other rules...
+    // Enable its recommended rules
+    ...react.configs.recommended.rules,
+    ...react.configs['jsx-runtime'].rules,
+  },
+})
+```
--- a/compiler/fixtures/runtime-compat/app-19/eslint.config.js
+++ b/compiler/fixtures/runtime-compat/app-19/eslint.config.js
@@ -0,0 +1,28 @@
+import js from '@eslint/js';
+import globals from 'globals';
+import reactHooks from 'eslint-plugin-react-hooks';
+import reactRefresh from 'eslint-plugin-react-refresh';
+import tseslint from 'typescript-eslint';
+
+export default tseslint.config(
+  {ignores: ['dist']},
+  {
+    extends: [js.configs.recommended, ...tseslint.configs.recommended],
+    files: ['**/*.{ts,tsx}'],
+    languageOptions: {
+      ecmaVersion: 2020,
+      globals: globals.browser,
+    },
+    plugins: {
+      'react-hooks': reactHooks,
+      'react-refresh': reactRefresh,
+    },
+    rules: {
+      ...reactHooks.configs.recommended.rules,
+      'react-refresh/only-export-components': [
+        'warn',
+        {allowConstantExport: true},
+      ],
+    },
+  }
+);
--- a/compiler/fixtures/runtime-compat/app-19/index.html
+++ b/compiler/fixtures/runtime-compat/app-19/index.html
@@ -0,0 +1,13 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <link rel="icon" type="image/svg+xml" href="/vite.svg" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Vite + React + TS</title>
+  </head>
+  <body>
+    <div id="root"></div>
+    <script type="module" src="/src/main.tsx"></script>
+  </body>
+</html>
--- a/compiler/fixtures/runtime-compat/app-19/package.json
+++ b/compiler/fixtures/runtime-compat/app-19/package.json
@@ -0,0 +1,31 @@
+{
+  "name": "app-19",
+  "private": true,
+  "version": "0.0.0",
+  "type": "module",
+  "scripts": {
+    "dev": "vite",
+    "build": "tsc -b && vite build",
+    "lint": "eslint .",
+    "preview": "vite preview"
+  },
+  "dependencies": {
+    "react": "19.0.0-beta-26f2496093-20240514",
+    "react-dom": "19.0.0-beta-26f2496093-20240514",
+    "runtime-compat-lib": "file:../lib"
+  },
+  "devDependencies": {
+    "@eslint/js": "^9.11.1",
+    "@types/react": "^18.3.10",
+    "@types/react-dom": "^18.3.0",
+    "@vitejs/plugin-react": "^4.3.2",
+    "babel-plugin-react-compiler": "0.0.0-experimental-58c2b1c-20241009",
+    "eslint": "^9.11.1",
+    "eslint-plugin-react-hooks": "^5.1.0-rc.0",
+    "eslint-plugin-react-refresh": "^0.4.12",
+    "globals": "^15.9.0",
+    "typescript": "^5.5.3",
+    "typescript-eslint": "^8.7.0",
+    "vite": "^5.4.8"
+  }
+}
--- a/compiler/fixtures/runtime-compat/app-19/public/vite.svg
+++ b/compiler/fixtures/runtime-compat/app-19/public/vite.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="31.88" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 257"><defs><linearGradient id="IconifyId1813088fe1fbc01fb466" x1="-.828%" x2="57.636%" y1="7.652%" y2="78.411%"><stop offset="0%" stop-color="#41D1FF"></stop><stop offset="100%" stop-color="#BD34FE"></stop></linearGradient><linearGradient id="IconifyId1813088fe1fbc01fb467" x1="43.376%" x2="50.316%" y1="2.242%" y2="89.03%"><stop offset="0%" stop-color="#FFEA83"></stop><stop offset="8.333%" stop-color="#FFDD35"></stop><stop offset="100%" stop-color="#FFA800"></stop></linearGradient></defs><path fill="url(#IconifyId1813088fe1fbc01fb466)" d="M255.153 37.938L134.897 252.976c-2.483 4.44-8.862 4.466-11.382.048L.875 37.958c-2.746-4.814 1.371-10.646 6.827-9.67l120.385 21.517a6.537 6.537 0 0 0 2.322-.004l117.867-21.483c5.438-.991 9.574 4.796 6.877 9.62Z"></path><path fill="url(#IconifyId1813088fe1fbc01fb467)" d="M185.432.063L96.44 17.501a3.268 3.268 0 0 0-2.634 3.014l-5.474 92.456a3.268 3.268 0 0 0 3.997 3.378l24.777-5.718c2.318-.535 4.413 1.507 3.936 3.838l-7.361 36.047c-.495 2.426 1.782 4.5 4.151 3.78l15.304-4.649c2.372-.72 4.652 1.36 4.15 3.788l-11.698 56.621c-.732 3.542 3.979 5.473 5.943 2.437l1.313-2.028l72.516-144.72c1.215-2.423-.88-5.186-3.54-4.672l-25.505 4.922c-2.396.462-4.435-1.77-3.759-4.114l16.646-57.705c.677-2.35-1.37-4.583-3.769-4.113Z"></path></svg>
--- a/compiler/fixtures/runtime-compat/app-19/src/App.css
+++ b/compiler/fixtures/runtime-compat/app-19/src/App.css
@@ -0,0 +1,42 @@
+#root {
+  max-width: 1280px;
+  margin: 0 auto;
+  padding: 2rem;
+  text-align: center;
+}
+
+.logo {
+  height: 6em;
+  padding: 1.5em;
+  will-change: filter;
+  transition: filter 300ms;
+}
+.logo:hover {
+  filter: drop-shadow(0 0 2em #646cffaa);
+}
+.logo.react:hover {
+  filter: drop-shadow(0 0 2em #61dafbaa);
+}
+
+@keyframes logo-spin {
+  from {
+    transform: rotate(0deg);
+  }
+  to {
+    transform: rotate(360deg);
+  }
+}
+
+@media (prefers-reduced-motion: no-preference) {
+  a:nth-of-type(2) .logo {
+    animation: logo-spin infinite 20s linear;
+  }
+}
+
+.card {
+  padding: 2em;
+}
+
+.read-the-docs {
+  color: #888;
+}
--- a/compiler/fixtures/runtime-compat/app-19/src/App.tsx
+++ b/compiler/fixtures/runtime-compat/app-19/src/App.tsx
@@ -0,0 +1,16 @@
+import 'react';
+import './App.css';
+// @ts-expect-error no types
+import {useTime} from 'runtime-compat-lib';
+
+function App() {
+  const time = useTime();
+  return (
+    <>
+      <h1>React 19</h1>
+      <span>Current time: {time.toLocaleString()}</span>
+    </>
+  );
+}
+
+export default App;
--- a/compiler/fixtures/runtime-compat/app-19/src/assets/react.svg
+++ b/compiler/fixtures/runtime-compat/app-19/src/assets/react.svg
@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="35.93" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 228"><path fill="#00D8FF" d="M210.483 73.824a171.49 171.49 0 0 0-8.24-2.597c.465-1.9.893-3.777 1.273-5.621c6.238-30.281 2.16-54.676-11.769-62.708c-13.355-7.7-35.196.329-57.254 19.526a171.23 171.23 0 0 0-6.375 5.848a155.866 155.866 0 0 0-4.241-3.917C100.759 3.829 77.587-4.822 63.673 3.233C50.33 10.957 46.379 33.89 51.995 62.588a170.974 170.974 0 0 0 1.892 8.48c-3.28.932-6.445 1.924-9.474 2.98C17.309 83.498 0 98.307 0 113.668c0 15.865 18.582 31.778 46.812 41.427a145.52 145.52 0 0 0 6.921 2.165a167.467 167.467 0 0 0-2.01 9.138c-5.354 28.2-1.173 50.591 12.134 58.266c13.744 7.926 36.812-.22 59.273-19.855a145.567 145.567 0 0 0 5.342-4.923a168.064 168.064 0 0 0 6.92 6.314c21.758 18.722 43.246 26.282 56.54 18.586c13.731-7.949 18.194-32.003 12.4-61.268a145.016 145.016 0 0 0-1.535-6.842c1.62-.48 3.21-.974 4.76-1.488c29.348-9.723 48.443-25.443 48.443-41.52c0-15.417-17.868-30.326-45.517-39.844Zm-6.365 70.984c-1.4.463-2.836.91-4.3 1.345c-3.24-10.257-7.612-21.163-12.963-32.432c5.106-11 9.31-21.767 12.459-31.957c2.619.758 5.16 1.557 7.61 2.4c23.69 8.156 38.14 20.213 38.14 29.504c0 9.896-15.606 22.743-40.946 31.14Zm-10.514 20.834c2.562 12.94 2.927 24.64 1.23 33.787c-1.524 8.219-4.59 13.698-8.382 15.893c-8.067 4.67-25.32-1.4-43.927-17.412a156.726 156.726 0 0 1-6.437-5.87c7.214-7.889 14.423-17.06 21.459-27.246c12.376-1.098 24.068-2.894 34.671-5.345a134.17 134.17 0 0 1 1.386 6.193ZM87.276 214.515c-7.882 2.783-14.16 2.863-17.955.675c-8.075-4.657-11.432-22.636-6.853-46.752a156.923 156.923 0 0 1 1.869-8.499c10.486 2.32 22.093 3.988 34.498 4.994c7.084 9.967 14.501 19.128 21.976 27.15a134.668 134.668 0 0 1-4.877 4.492c-9.933 8.682-19.886 14.842-28.658 17.94ZM50.35 144.747c-12.483-4.267-22.792-9.812-29.858-15.863c-6.35-5.437-9.555-10.836-9.555-15.216c0-9.322 13.897-21.212 37.076-29.293c2.813-.98 5.757-1.905 8.812-2.773c3.204 10.42 7.406 21.315 12.477 32.332c-5.137 11.18-9.399 22.249-12.634 32.792a134.718 134.718 0 0 1-6.318-1.979Zm12.378-84.26c-4.811-24.587-1.616-43.134 6.425-47.789c8.564-4.958 27.502 2.111 47.463 19.835a144.318 144.318 0 0 1 3.841 3.545c-7.438 7.987-14.787 17.08-21.808 26.988c-12.04 1.116-23.565 2.908-34.161 5.309a160.342 160.342 0 0 1-1.76-7.887Zm110.427 27.268a347.8 347.8 0 0 0-7.785-12.803c8.168 1.033 15.994 2.404 23.343 4.08c-2.206 7.072-4.956 14.465-8.193 22.045a381.151 381.151 0 0 0-7.365-13.322Zm-45.032-43.861c5.044 5.465 10.096 11.566 15.065 18.186a322.04 322.04 0 0 0-30.257-.006c4.974-6.559 10.069-12.652 15.192-18.18ZM82.802 87.83a323.167 323.167 0 0 0-7.227 13.238c-3.184-7.553-5.909-14.98-8.134-22.152c7.304-1.634 15.093-2.97 23.209-3.984a321.524 321.524 0 0 0-7.848 12.897Zm8.081 65.352c-8.385-.936-16.291-2.203-23.593-3.793c2.26-7.3 5.045-14.885 8.298-22.6a321.187 321.187 0 0 0 7.257 13.246c2.594 4.48 5.28 8.868 8.038 13.147Zm37.542 31.03c-5.184-5.592-10.354-11.779-15.403-18.433c4.902.192 9.899.29 14.978.29c5.218 0 10.376-.117 15.453-.343c-4.985 6.774-10.018 12.97-15.028 18.486Zm52.198-57.817c3.422 7.8 6.306 15.345 8.596 22.52c-7.422 1.694-15.436 3.058-23.88 4.071a382.417 382.417 0 0 0 7.859-13.026a347.403 347.403 0 0 0 7.425-13.565Zm-16.898 8.101a358.557 358.557 0 0 1-12.281 19.815a329.4 329.4 0 0 1-23.444.823c-7.967 0-15.716-.248-23.178-.732a310.202 310.202 0 0 1-12.513-19.846h.001a307.41 307.41 0 0 1-10.923-20.627a310.278 310.278 0 0 1 10.89-20.637l-.001.001a307.318 307.318 0 0 1 12.413-19.761c7.613-.576 15.42-.876 23.31-.876H128c7.926 0 15.743.303 23.354.883a329.357 329.357 0 0 1 12.335 19.695a358.489 358.489 0 0 1 11.036 20.54a329.472 329.472 0 0 1-11 20.722Zm22.56-122.124c8.572 4.944 11.906 24.881 6.52 51.026c-.344 1.668-.73 3.367-1.15 5.09c-10.622-2.452-22.155-4.275-34.23-5.408c-7.034-10.017-14.323-19.124-21.64-27.008a160.789 160.789 0 0 1 5.888-5.4c18.9-16.447 36.564-22.941 44.612-18.3ZM128 90.808c12.625 0 22.86 10.235 22.86 22.86s-10.235 22.86-22.86 22.86s-22.86-10.235-22.86-22.86s10.235-22.86 22.86-22.86Z"></path></svg>
--- a/compiler/fixtures/runtime-compat/app-19/src/index.css
+++ b/compiler/fixtures/runtime-compat/app-19/src/index.css
@@ -0,0 +1,68 @@
+:root {
+  font-family: Inter, system-ui, Avenir, Helvetica, Arial, sans-serif;
+  line-height: 1.5;
+  font-weight: 400;
+
+  color-scheme: light dark;
+  color: rgba(255, 255, 255, 0.87);
+  background-color: #242424;
+
+  font-synthesis: none;
+  text-rendering: optimizeLegibility;
+  -webkit-font-smoothing: antialiased;
+  -moz-osx-font-smoothing: grayscale;
+}
+
+a {
+  font-weight: 500;
+  color: #646cff;
+  text-decoration: inherit;
+}
+a:hover {
+  color: #535bf2;
+}
+
+body {
+  margin: 0;
+  display: flex;
+  place-items: center;
+  min-width: 320px;
+  min-height: 100vh;
+}
+
+h1 {
+  font-size: 3.2em;
+  line-height: 1.1;
+}
+
+button {
+  border-radius: 8px;
+  border: 1px solid transparent;
+  padding: 0.6em 1.2em;
+  font-size: 1em;
+  font-weight: 500;
+  font-family: inherit;
+  background-color: #1a1a1a;
+  cursor: pointer;
+  transition: border-color 0.25s;
+}
+button:hover {
+  border-color: #646cff;
+}
+button:focus,
+button:focus-visible {
+  outline: 4px auto -webkit-focus-ring-color;
+}
+
+@media (prefers-color-scheme: light) {
+  :root {
+    color: #213547;
+    background-color: #ffffff;
+  }
+  a:hover {
+    color: #747bff;
+  }
+  button {
+    background-color: #f9f9f9;
+  }
+}
--- a/compiler/fixtures/runtime-compat/app-19/src/main.tsx
+++ b/compiler/fixtures/runtime-compat/app-19/src/main.tsx
@@ -0,0 +1,10 @@
+import {StrictMode} from 'react';
+import {createRoot} from 'react-dom/client';
+import App from './App.tsx';
+import './index.css';
+
+createRoot(document.getElementById('root')!).render(
+  <StrictMode>
+    <App />
+  </StrictMode>,
+);
--- a/compiler/fixtures/runtime-compat/app-19/src/vite-env.d.ts
+++ b/compiler/fixtures/runtime-compat/app-19/src/vite-env.d.ts
@@ -0,0 +1 @@
+/// <reference types="vite/client" />
--- a/compiler/fixtures/runtime-compat/app-19/tsconfig.app.json
+++ b/compiler/fixtures/runtime-compat/app-19/tsconfig.app.json
@@ -0,0 +1,24 @@
+{
+  "compilerOptions": {
+    "target": "ES2020",
+    "useDefineForClassFields": true,
+    "lib": ["ES2020", "DOM", "DOM.Iterable"],
+    "module": "ESNext",
+    "skipLibCheck": true,
+
+    /* Bundler mode */
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "isolatedModules": true,
+    "moduleDetection": "force",
+    "noEmit": true,
+    "jsx": "react-jsx",
+
+    /* Linting */
+    "strict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noFallthroughCasesInSwitch": true
+  },
+  "include": ["src"]
+}
--- a/compiler/fixtures/runtime-compat/app-19/tsconfig.app.tsbuildinfo
+++ b/compiler/fixtures/runtime-compat/app-19/tsconfig.app.tsbuildinfo
@@ -0,0 +1 @@
+{"root":["./src/app.tsx","./src/main.tsx","./src/vite-env.d.ts"],"version":"5.6.3"}
--- a/compiler/fixtures/runtime-compat/app-19/tsconfig.json
+++ b/compiler/fixtures/runtime-compat/app-19/tsconfig.json
@@ -0,0 +1,7 @@
+{
+  "files": [],
+  "references": [
+    { "path": "./tsconfig.app.json" },
+    { "path": "./tsconfig.node.json" }
+  ]
+}
--- a/compiler/fixtures/runtime-compat/app-19/tsconfig.node.json
+++ b/compiler/fixtures/runtime-compat/app-19/tsconfig.node.json
@@ -0,0 +1,22 @@
+{
+  "compilerOptions": {
+    "target": "ES2022",
+    "lib": ["ES2023"],
+    "module": "ESNext",
+    "skipLibCheck": true,
+
+    /* Bundler mode */
+    "moduleResolution": "bundler",
+    "allowImportingTsExtensions": true,
+    "isolatedModules": true,
+    "moduleDetection": "force",
+    "noEmit": true,
+
+    /* Linting */
+    "strict": true,
+    "noUnusedLocals": true,
+    "noUnusedParameters": true,
+    "noFallthroughCasesInSwitch": true
+  },
+  "include": ["vite.config.ts"]
+}
--- a/compiler/fixtures/runtime-compat/app-19/tsconfig.node.tsbuildinfo
+++ b/compiler/fixtures/runtime-compat/app-19/tsconfig.node.tsbuildinfo
@@ -0,0 +1 @@
+{"root":["./vite.config.ts"],"version":"5.6.3"}
--- a/compiler/fixtures/runtime-compat/app-19/vite.config.ts
+++ b/compiler/fixtures/runtime-compat/app-19/vite.config.ts
@@ -0,0 +1,11 @@
+import {defineConfig} from 'vite';
+import react from '@vitejs/plugin-react';
+
+// https://vitejs.dev/config/
+export default defineConfig({
+  plugins: [
+    react({
+      babel: {plugins: [['babel-plugin-react-compiler', {target: '19'}]]},
+    }),
+  ],
+});
--- a/compiler/fixtures/runtime-compat/app-19/yarn.lock
+++ b/compiler/fixtures/runtime-compat/app-19/yarn.lock
--- a/compiler/fixtures/runtime-compat/lib/babel.config.js
+++ b/compiler/fixtures/runtime-compat/lib/babel.config.js
@@ -0,0 +1,10 @@
+const plugins = [
+  [
+    'babel-plugin-react-compiler',
+    {
+      target: '18',
+    },
+  ],
+];
+
+module.exports = {plugins};
--- a/compiler/fixtures/runtime-compat/lib/index.js
+++ b/compiler/fixtures/runtime-compat/lib/index.js
@@ -0,0 +1,13 @@
+import {useState, useEffect} from 'react';
+
+export function useTime() {
+  const [time, setTime] = useState(() => new Date());
+  useEffect(() => {
+    const id = setInterval(() => {
+      setTime(new Date());
+    }, 1000);
+    return () => clearInterval(id);
+  }, []);
+
+  return time;
+}
--- a/compiler/fixtures/runtime-compat/lib/package.json
+++ b/compiler/fixtures/runtime-compat/lib/package.json
@@ -0,0 +1,32 @@
+{
+  "name": "runtime-compat-lib",
+  "version": "0.0.0",
+  "description": "Testing ground for libraries compiled with React Compiler",
+  "main": "dist/index.js",
+  "scripts": {
+    "build": "rimraf dist && rollup --config --bundleConfigAsCjs",
+    "test": "echo 'no tests'"
+  },
+  "license": "MIT",
+  "devDependencies": {
+    "@babel/cli": "^7.25.7",
+    "@babel/core": "^7.25.7",
+    "@babel/preset-env": "^7.25.7",
+    "@rollup/plugin-babel": "^6.0.4",
+    "@rollup/plugin-json": "^6.1.0",
+    "babel-plugin-react-compiler": "0.0.0-experimental-58c2b1c-20241009",
+    "@rollup/plugin-terser": "^0.4.4",
+    "react": "19.0.0-beta-26f2496093-20240514",
+    "react-dom": "19.0.0-beta-26f2496093-20240514",
+    "rimraf": "5",
+    "rollup": "^4.22.4",
+    "rollup-plugin-banner2": "^1.2.3",
+    "rollup-plugin-prettier": "^4.1.1"
+  },
+  "dependencies": {
+    "react-compiler-runtime": "0.0.0-experimental-8d8e73f-20241009"
+  },
+  "peerDependencies": {
+    "react": "^18 || ^19"
+  }
+}
--- a/compiler/fixtures/runtime-compat/lib/rollup.config.js
+++ b/compiler/fixtures/runtime-compat/lib/rollup.config.js
@@ -0,0 +1,51 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ */
+
+import json from '@rollup/plugin-json';
+import terser from '@rollup/plugin-terser';
+import prettier from 'rollup-plugin-prettier';
+import banner2 from 'rollup-plugin-banner2';
+import babel from '@rollup/plugin-babel';
+
+const ROLLUP_CONFIG = {
+  input: 'index.js',
+  output: {
+    file: 'dist/index.js',
+    format: 'esm',
+    sourcemap: false,
+    exports: 'named',
+  },
+  plugins: [
+    json(),
+    babel({babelHelpers: 'bundled'}),
+    terser({
+      format: {
+        comments: false,
+      },
+      compress: false,
+      mangle: false,
+    }),
+    prettier(),
+    banner2(
+      () => `/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @lightSyntaxTransform
+ * @noflow
+ * @nolint
+ * @preventMunge
+ * @preserve-invariant-messages
+ */
+`
+    ),
+  ],
+};
+
+export default ROLLUP_CONFIG;
--- a/compiler/fixtures/runtime-compat/lib/yarn.lock
+++ b/compiler/fixtures/runtime-compat/lib/yarn.lock
--- a/compiler/fixtures/runtime-compat/setup.sh
+++ b/compiler/fixtures/runtime-compat/setup.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+# Copyright (c) Meta Platforms, Inc. and affiliates.
+#
+# This source code is licensed under the MIT license found in the
+# LICENSE file in the root directory of this source tree.
+
+set -eo pipefail
+
+HERE=$(pwd)
+
+cd lib && yarn --silent link
+cd $HERE/app-18 && yarn --silent link runtime-compat-lib
+cd $HERE/app-19 && yarn --silent link runtime-compat-lib
--- a/compiler/packages/babel-plugin-react-compiler/package.json
+++ b/compiler/packages/babel-plugin-react-compiler/package.json
@@ -18,11 +18,16 @@
    "lint": "yarn eslint src"
  },
  "dependencies": {
-    "@babel/types": "^7.19.0"
+    "@babel/generator": "7.2.0",
+    "@babel/types": "^7.19.0",
+    "chalk": "4",
+    "invariant": "^2.2.4",
+    "pretty-format": "^24",
+    "zod": "^3.22.4",
+    "zod-validation-error": "^2.1.0"
  },
  "devDependencies": {
    "@babel/core": "^7.2.0",
-    "@babel/generator": "7.2.0",
    "@babel/parser": "^7.2.0",
    "@babel/plugin-syntax-typescript": "^7.18.6",
    "@babel/plugin-transform-block-scoping": "^7.18.9",
@@ -41,20 +46,15 @@
    "babel-jest": "^29.0.3",
    "babel-plugin-fbt": "^1.0.0",
    "babel-plugin-fbt-runtime": "^1.0.0",
-    "chalk": "4",
    "eslint": "^8.57.1",
    "glob": "^7.1.6",
-    "invariant": "^2.2.4",
    "jest": "^29.0.3",
    "jest-environment-jsdom": "^29.0.3",
-    "pretty-format": "^24",
-    "react": "0.0.0-experimental-0bc30748-20241028",
-    "react-dom": "0.0.0-experimental-0bc30748-20241028",
+    "react": "19.0.0-beta-b498834eab-20240506",
+    "react-dom": "19.0.0-beta-b498834eab-20240506",
    "rimraf": "^3.0.2",
    "ts-jest": "^29.1.1",
-    "ts-node": "^10.9.2",
-    "zod": "^3.22.4",
-    "zod-validation-error": "^2.1.0"
+    "ts-node": "^10.9.2"
  },
  "resolutions": {
    "./**/@babel/parser": "7.7.4",
--- a/compiler/packages/babel-plugin-react-compiler/src/Entrypoint/Pipeline.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Entrypoint/Pipeline.ts
@@ -102,7 +102,6 @@ import {lowerContextAccess} from '../Optimization/LowerContextAccess';
 import {validateNoSetStateInPassiveEffects} from '../Validation/ValidateNoSetStateInPassiveEffects';
 import {validateNoJSXInTryStatement} from '../Validation/ValidateNoJSXInTryStatement';
 import {propagateScopeDependenciesHIR} from '../HIR/PropagateScopeDependenciesHIR';
-import {outlineJSX} from '../Optimization/OutlineJsx';

 export type CompilerPipelineValue =
  | {kind: 'ast'; name: string; value: CodegenFunction}
@@ -278,10 +277,6 @@ function* runWithEnvironment(
    value: hir,
  });

-  if (env.config.enableJsxOutlining) {
-    outlineJSX(hir);
-  }
-
  if (env.config.enableFunctionOutlining) {
    outlineFunctions(hir, fbtOperands);
    yield log({kind: 'hir', name: 'OutlineFunctions', value: hir});
--- a/compiler/packages/babel-plugin-react-compiler/src/Entrypoint/Program.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Entrypoint/Program.ts
@@ -199,7 +199,7 @@ function insertNewOutlinedFunctionNode(
  program: NodePath<t.Program>,
  originalFn: BabelFn,
  compiledFn: CodegenFunction,
-): BabelFn {
+): NodePath<t.Function> {
  switch (originalFn.type) {
    case 'FunctionDeclaration': {
      return originalFn.insertAfter(
@@ -491,11 +491,18 @@ export function compileProgram(
      fn.skip();
      ALREADY_COMPILED.add(fn.node);
      if (outlined.type !== null) {
-        queue.push({
-          kind: 'outlined',
-          fn,
-          fnType: outlined.type,
+        CompilerError.throwTodo({
+          reason: `Implement support for outlining React functions (components/hooks)`,
+          loc: outlined.fn.loc,
        });
+        /*
+         * Above should be as simple as the following, but needs testing:
+         * queue.push({
+         *   kind: "outlined",
+         *   fn,
+         *   fnType: outlined.type,
+         * });
+         */
      }
    }
    compiledFns.push({
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/BuildHIR.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/BuildHIR.ts
@@ -7,7 +7,6 @@

 import {NodePath, Scope} from '@babel/traverse';
 import * as t from '@babel/types';
-import {Expression} from '@babel/types';
 import invariant from 'invariant';
 import {
  CompilerError,
@@ -1418,7 +1417,7 @@ function lowerObjectPropertyKey(
      name: key.node.value,
    };
  } else if (property.node.computed && key.isExpression()) {
-    if (!key.isIdentifier() && !key.isMemberExpression()) {
+    if (!key.isIdentifier()) {
      /*
       * NOTE: allowing complex key expressions can trigger a bug where a mutation is made conditional
       * see fixture
@@ -3186,7 +3185,13 @@ function lowerJsxMemberExpression(
      loc: object.node.loc ?? null,
      suggestions: null,
    });
-    objectPlace = lowerIdentifier(builder, object);
+
+    const kind = getLoadKind(builder, object);
+    objectPlace = lowerValueToTemporary(builder, {
+      kind: kind,
+      place: lowerIdentifier(builder, object),
+      loc: exprPath.node.loc ?? GeneratedSource,
+    });
  }
  const property = exprPath.get('property').node.name;
  return lowerValueToTemporary(builder, {
@@ -3359,7 +3364,7 @@ function lowerFunction(
  >,
 ): LoweredFunction | null {
  const componentScope: Scope = builder.parentFunction.scope;
-  const captured = gatherCapturedDeps(builder, expr, componentScope);
+  const capturedContext = gatherCapturedContext(expr, componentScope);

  /*
   * TODO(gsn): In the future, we could only pass in the context identifiers
@@ -3373,7 +3378,7 @@ function lowerFunction(
    expr,
    builder.environment,
    builder.bindings,
-    [...builder.context, ...captured.identifiers],
+    [...builder.context, ...capturedContext],
    builder.parentFunction,
  );
  let loweredFunc: HIRFunction;
@@ -3386,7 +3391,6 @@ function lowerFunction(
  loweredFunc = lowering.unwrap();
  return {
    func: loweredFunc,
-    dependencies: captured.refs,
  };
 }

@@ -4060,14 +4064,6 @@ function lowerAssignment(
  }
 }

-function isValidDependency(path: NodePath<t.MemberExpression>): boolean {
-  const parent: NodePath<t.Node> = path.parentPath;
-  return (
-    !path.node.computed &&
-    !(parent.isCallExpression() && parent.get('callee') === path)
-  );
-}
-
 function captureScopes({from, to}: {from: Scope; to: Scope}): Set<Scope> {
  let scopes: Set<Scope> = new Set();
  while (from) {
@@ -4082,8 +4078,7 @@ function captureScopes({from, to}: {from: Scope; to: Scope}): Set<Scope> {
  return scopes;
 }

-function gatherCapturedDeps(
-  builder: HIRBuilder,
+function gatherCapturedContext(
  fn: NodePath<
    | t.FunctionExpression
    | t.ArrowFunctionExpression
@@ -4091,10 +4086,8 @@ function gatherCapturedDeps(
    | t.ObjectMethod
  >,
  componentScope: Scope,
-): {identifiers: Array<t.Identifier>; refs: Array<Place>} {
-  const capturedIds: Map<t.Identifier, number> = new Map();
-  const capturedRefs: Set<Place> = new Set();
-  const seenPaths: Set<string> = new Set();
+): Array<t.Identifier> {
+  const capturedIds = new Set<t.Identifier>();

  /*
   * Capture all the scopes from the parent of this function up to and including
@@ -4105,33 +4098,11 @@ function gatherCapturedDeps(
    to: componentScope,
  });

-  function addCapturedId(bindingIdentifier: t.Identifier): number {
-    if (!capturedIds.has(bindingIdentifier)) {
-      const index = capturedIds.size;
-      capturedIds.set(bindingIdentifier, index);
-      return index;
-    } else {
-      return capturedIds.get(bindingIdentifier)!;
-    }
-  }
-
  function handleMaybeDependency(
-    path:
-      | NodePath<t.MemberExpression>
-      | NodePath<t.Identifier>
-      | NodePath<t.JSXOpeningElement>,
+    path: NodePath<t.Identifier> | NodePath<t.JSXOpeningElement>,
  ): void {
    // Base context variable to depend on
    let baseIdentifier: NodePath<t.Identifier> | NodePath<t.JSXIdentifier>;
-    /*
-     * Base expression to depend on, which (for now) may contain non side-effectful
-     * member expressions
-     */
-    let dependency:
-      | NodePath<t.MemberExpression>
-      | NodePath<t.JSXMemberExpression>
-      | NodePath<t.Identifier>
-      | NodePath<t.JSXIdentifier>;
    if (path.isJSXOpeningElement()) {
      const name = path.get('name');
      if (!(name.isJSXMemberExpression() || name.isJSXIdentifier())) {
@@ -4147,115 +4118,20 @@ function gatherCapturedDeps(
        'Invalid logic in gatherCapturedDeps',
      );
      baseIdentifier = current;
-
-      /*
-       * Get the expression to depend on, which may involve PropertyLoads
-       * for member expressions
-       */
-      let currentDep:
-        | NodePath<t.JSXMemberExpression>
-        | NodePath<t.Identifier>
-        | NodePath<t.JSXIdentifier> = baseIdentifier;
-
-      while (true) {
-        const nextDep: null | NodePath<t.Node> = currentDep.parentPath;
-        if (nextDep && nextDep.isJSXMemberExpression()) {
-          currentDep = nextDep;
-        } else {
-          break;
-        }
-      }
-      dependency = currentDep;
-    } else if (path.isMemberExpression()) {
-      // Calculate baseIdentifier
-      let currentId: NodePath<Expression> = path;
-      while (currentId.isMemberExpression()) {
-        currentId = currentId.get('object');
-      }
-      if (!currentId.isIdentifier()) {
-        return;
-      }
-      baseIdentifier = currentId;
-
-      /*
-       * Get the expression to depend on, which may involve PropertyLoads
-       * for member expressions
-       */
-      let currentDep:
-        | NodePath<t.MemberExpression>
-        | NodePath<t.Identifier>
-        | NodePath<t.JSXIdentifier> = baseIdentifier;
-
-      while (true) {
-        const nextDep: null | NodePath<t.Node> = currentDep.parentPath;
-        if (
-          nextDep &&
-          nextDep.isMemberExpression() &&
-          isValidDependency(nextDep)
-        ) {
-          currentDep = nextDep;
-        } else {
-          break;
-        }
-      }
-
-      dependency = currentDep;
    } else {
      baseIdentifier = path;
-      dependency = path;
    }

    /*
     * Skip dependency path, as we already tried to recursively add it (+ all subexpressions)
     * as a dependency.
     */
-    dependency.skip();
+    path.skip();

    // Add the base identifier binding as a dependency.
    const binding = baseIdentifier.scope.getBinding(baseIdentifier.node.name);
-    if (binding === undefined || !pureScopes.has(binding.scope)) {
-      return;
-    }
-    const idKey = String(addCapturedId(binding.identifier));
-
-    // Add the expression (potentially a memberexpr path) as a dependency.
-    let exprKey = idKey;
-    if (dependency.isMemberExpression()) {
-      let pathTokens = [];
-      let current: NodePath<Expression> = dependency;
-      while (current.isMemberExpression()) {
-        const property = current.get('property') as NodePath<t.Identifier>;
-        pathTokens.push(property.node.name);
-        current = current.get('object');
-      }
-
-      exprKey += '.' + pathTokens.reverse().join('.');
-    } else if (dependency.isJSXMemberExpression()) {
-      let pathTokens = [];
-      let current: NodePath<t.JSXMemberExpression | t.JSXIdentifier> =
-        dependency;
-      while (current.isJSXMemberExpression()) {
-        const property = current.get('property');
-        pathTokens.push(property.node.name);
-        current = current.get('object');
-      }
-    }
-
-    if (!seenPaths.has(exprKey)) {
-      let loweredDep: Place;
-      if (dependency.isJSXIdentifier()) {
-        loweredDep = lowerValueToTemporary(builder, {
-          kind: 'LoadLocal',
-          place: lowerIdentifier(builder, dependency),
-          loc: path.node.loc ?? GeneratedSource,
-        });
-      } else if (dependency.isJSXMemberExpression()) {
-        loweredDep = lowerJsxMemberExpression(builder, dependency);
-      } else {
-        loweredDep = lowerExpressionToTemporary(builder, dependency);
-      }
-      capturedRefs.add(loweredDep);
-      seenPaths.add(exprKey);
+    if (binding !== undefined && pureScopes.has(binding.scope)) {
+      capturedIds.add(binding.identifier);
    }
  }

@@ -4286,13 +4162,13 @@ function gatherCapturedDeps(
        return;
      } else if (path.isJSXElement()) {
        handleMaybeDependency(path.get('openingElement'));
-      } else if (path.isMemberExpression() || path.isIdentifier()) {
+      } else if (path.isIdentifier()) {
        handleMaybeDependency(path);
      }
    },
  });

-  return {identifiers: [...capturedIds.keys()], refs: [...capturedRefs]};
+  return [...capturedIds.keys()];
 }

 function notNull<T>(value: T | null): value is T {
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/CollectHoistablePropertyLoads.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/CollectHoistablePropertyLoads.ts
@@ -1,6 +1,5 @@
 import {CompilerError} from '../CompilerError';
 import {inRange} from '../ReactiveScopes/InferReactiveScopeVariables';
-import {printDependency} from '../ReactiveScopes/PrintReactiveFunction';
 import {
  Set_equal,
  Set_filter,
@@ -22,8 +21,6 @@ import {
  ScopeId,
 } from './HIR';

-const DEBUG_PRINT = false;
-
 /**
 * Helper function for `PropagateScopeDependencies`. Uses control flow graph
 * analysis to determine which `Identifier`s can be assumed to be non-null
@@ -87,8 +84,10 @@ export function collectHoistablePropertyLoads(
  fn: HIRFunction,
  temporaries: ReadonlyMap<IdentifierId, ReactiveScopeDependency>,
  hoistableFromOptionals: ReadonlyMap<BlockId, ReactiveScopeDependency>,
+  nestedFnImmutableContext: ReadonlySet<IdentifierId> | null,
 ): ReadonlyMap<BlockId, BlockInfo> {
  const registry = new PropertyPathRegistry();
+
  /**
   * Due to current limitations of mutable range inference, there are edge cases in
   * which we infer known-immutable values (e.g. props or hook params) to have a
@@ -105,51 +104,14 @@ export function collectHoistablePropertyLoads(
      }
    }
  }
-  return collectHoistablePropertyLoadsImpl(fn, {
+  const nodes = collectNonNullsInBlocks(fn, {
    temporaries,
    knownImmutableIdentifiers,
    hoistableFromOptionals,
    registry,
-    nestedFnImmutableContext: null,
+    nestedFnImmutableContext,
  });
-}
-
-type CollectHoistablePropertyLoadsContext = {
-  temporaries: ReadonlyMap<IdentifierId, ReactiveScopeDependency>;
-  knownImmutableIdentifiers: ReadonlySet<IdentifierId>;
-  hoistableFromOptionals: ReadonlyMap<BlockId, ReactiveScopeDependency>;
-  registry: PropertyPathRegistry;
-  /**
-   * (For nested / inner function declarations)
-   * Context variables (i.e. captured from an outer scope) that are immutable.
-   * Note that this technically could be merged into `knownImmutableIdentifiers`,
-   * but are currently kept separate for readability.
-   */
-  nestedFnImmutableContext: ReadonlySet<IdentifierId> | null;
-};
-function collectHoistablePropertyLoadsImpl(
-  fn: HIRFunction,
-  context: CollectHoistablePropertyLoadsContext,
-): ReadonlyMap<BlockId, BlockInfo> {
-  const functionExpressionLoads = collectFunctionExpressionFakeLoads(fn);
-  const actuallyEvaluatedTemporaries = new Map(
-    [...context.temporaries].filter(([id]) => !functionExpressionLoads.has(id)),
-  );
-
-  const nodes = collectNonNullsInBlocks(fn, {
-    ...context,
-    temporaries: actuallyEvaluatedTemporaries,
-  });
-  propagateNonNull(fn, nodes, context.registry);
-
-  if (DEBUG_PRINT) {
-    console.log('(printing hoistable nodes in blocks)');
-    for (const [blockId, node] of nodes) {
-      console.log(
-        `bb${blockId}: ${[...node.assumedNonNullObjects].map(n => printDependency(n.fullPath)).join(' ')}`,
-      );
-    }
-  }
+  propagateNonNull(fn, nodes, registry);

  return nodes;
 }
@@ -274,7 +236,7 @@ class PropertyPathRegistry {

 function getMaybeNonNullInInstruction(
  instr: InstructionValue,
-  context: CollectHoistablePropertyLoadsContext,
+  context: CollectNonNullsInBlocksContext,
 ): PropertyPathNode | null {
  let path = null;
  if (instr.kind === 'PropertyLoad') {
@@ -293,7 +255,7 @@ function getMaybeNonNullInInstruction(
 function isImmutableAtInstr(
  identifier: Identifier,
  instr: InstructionId,
-  context: CollectHoistablePropertyLoadsContext,
+  context: CollectNonNullsInBlocksContext,
 ): boolean {
  if (context.nestedFnImmutableContext != null) {
    /**
@@ -326,9 +288,22 @@ function isImmutableAtInstr(
  }
 }

+type CollectNonNullsInBlocksContext = {
+  temporaries: ReadonlyMap<IdentifierId, ReactiveScopeDependency>;
+  knownImmutableIdentifiers: ReadonlySet<IdentifierId>;
+  hoistableFromOptionals: ReadonlyMap<BlockId, ReactiveScopeDependency>;
+  registry: PropertyPathRegistry;
+  /**
+   * (For nested / inner function declarations)
+   * Context variables (i.e. captured from an outer scope) that are immutable.
+   * Note that this technically could be merged into `knownImmutableIdentifiers`,
+   * but are currently kept separate for readability.
+   */
+  nestedFnImmutableContext: ReadonlySet<IdentifierId> | null;
+};
 function collectNonNullsInBlocks(
  fn: HIRFunction,
-  context: CollectHoistablePropertyLoadsContext,
+  context: CollectNonNullsInBlocksContext,
 ): ReadonlyMap<BlockId, BlockInfo> {
  /**
   * Known non-null objects such as functional component props can be safely
@@ -371,20 +346,18 @@ function collectNonNullsInBlocks(
        !fn.env.config.enableTreatFunctionDepsAsConditional
      ) {
        const innerFn = instr.value.loweredFunc;
-        const innerHoistableMap = collectHoistablePropertyLoadsImpl(
+        const innerHoistableMap = collectHoistablePropertyLoads(
          innerFn.func,
-          {
-            ...context,
-            nestedFnImmutableContext:
-              context.nestedFnImmutableContext ??
-              new Set(
-                innerFn.func.context
-                  .filter(place =>
-                    isImmutableAtInstr(place.identifier, instr.id, context),
-                  )
-                  .map(place => place.identifier.id),
-              ),
-          },
+          context.temporaries,
+          context.hoistableFromOptionals,
+          context.nestedFnImmutableContext ??
+            new Set(
+              innerFn.func.context
+                .filter(place =>
+                  isImmutableAtInstr(place.identifier, instr.id, context),
+                )
+                .map(place => place.identifier.id),
+            ),
        );
        const innerHoistables = assertNonNull(
          innerHoistableMap.get(innerFn.func.body.entry),
@@ -598,30 +571,3 @@ function reduceMaybeOptionalChains(
    }
  } while (changed);
 }
-
-function collectFunctionExpressionFakeLoads(
-  fn: HIRFunction,
-): Set<IdentifierId> {
-  const sources = new Map<IdentifierId, IdentifierId>();
-  const functionExpressionReferences = new Set<IdentifierId>();
-
-  for (const [_, block] of fn.body.blocks) {
-    for (const {lvalue, value} of block.instructions) {
-      if (
-        value.kind === 'FunctionExpression' ||
-        value.kind === 'ObjectMethod'
-      ) {
-        for (const reference of value.loweredFunc.dependencies) {
-          let curr: IdentifierId | undefined = reference.identifier.id;
-          while (curr != null) {
-            functionExpressionReferences.add(curr);
-            curr = sources.get(curr);
-          }
-        }
-      } else if (value.kind === 'PropertyLoad') {
-        sources.set(lvalue.identifier.id, value.object.identifier.id);
-      }
-    }
-  }
-  return functionExpressionReferences;
-}
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/CollectOptionalChainDependencies.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/CollectOptionalChainDependencies.ts
@@ -1,8 +1,10 @@
 import {CompilerError} from '..';
+import {getOrInsertDefault} from '../Utils/utils';
 import {assertNonNull} from './CollectHoistablePropertyLoads';
 import {
  BlockId,
  BasicBlock,
+  InstructionId,
  IdentifierId,
  ReactiveScopeDependency,
  BranchTerminal,
@@ -14,8 +16,6 @@ import {
  OptionalTerminal,
  HIRFunction,
  DependencyPathEntry,
-  Instruction,
-  Terminal,
 } from './HIR';
 import {printIdentifier} from './PrintHIR';

@@ -26,7 +26,7 @@ export function collectOptionalChainSidemap(
    currFn: fn,
    blocks: fn.body.blocks,
    seenOptionals: new Set(),
-    processedInstrsInOptional: new Set(),
+    processedInstrsInOptional: new Map(),
    temporariesReadInOptional: new Map(),
    hoistableObjects: new Map(),
  };
@@ -86,10 +86,11 @@ export type OptionalChainSidemap = {
   * bb5:
   *   $5 = MethodCall $2.$4() <--- here, we want to take a dep on $2 and $4!
   * ```
-   *
-   * Also note that InstructionIds are not unique across inner functions.
   */
-  processedInstrsInOptional: ReadonlySet<Instruction | Terminal>;
+  processedInstrsInOptional: ReadonlyMap<
+    HIRFunction,
+    ReadonlySet<InstructionId>
+  >;
  /**
   * Records optional chains for which we can safely evaluate non-optional
   * PropertyLoads. e.g. given `a?.b.c`, we can evaluate any load from `a?.b` at
@@ -113,7 +114,7 @@ type OptionalTraversalContext = {
  // Track optional blocks to avoid outer calls into nested optionals
  seenOptionals: Set<BlockId>;

-  processedInstrsInOptional: Set<Instruction | Terminal>;
+  processedInstrsInOptional: Map<HIRFunction, Set<InstructionId>>;
  temporariesReadInOptional: Map<IdentifierId, ReactiveScopeDependency>;
  hoistableObjects: Map<BlockId, ReactiveScopeDependency>;
 };
@@ -132,6 +133,7 @@ function traverseFunction(
          ...context,
          currFn: instr.value.loweredFunc.func,
          blocks: instr.value.loweredFunc.func.body.blocks,
+          seenOptionals: new Set(),
        });
      }
    }
@@ -159,7 +161,7 @@ function matchOptionalTestBlock(
  consequentId: IdentifierId;
  property: string;
  propertyId: IdentifierId;
-  storeLocalInstr: Instruction;
+  storeLocalInstrId: InstructionId;
  consequentGoto: BlockId;
 } | null {
  const consequentBlock = assertNonNull(blocks.get(terminal.consequent));
@@ -171,7 +173,7 @@ function matchOptionalTestBlock(
    const propertyLoad: TInstruction<PropertyLoad> = consequentBlock
      .instructions[0] as TInstruction<PropertyLoad>;
    const storeLocal: StoreLocal = consequentBlock.instructions[1].value;
-    const storeLocalInstr = consequentBlock.instructions[1];
+    const storeLocalInstrId = consequentBlock.instructions[1].id;
    CompilerError.invariant(
      propertyLoad.value.object.identifier.id === terminal.test.identifier.id,
      {
@@ -211,7 +213,7 @@ function matchOptionalTestBlock(
      consequentId: storeLocal.lvalue.place.identifier.id,
      property: propertyLoad.value.property,
      propertyId: propertyLoad.lvalue.identifier.id,
-      storeLocalInstr,
+      storeLocalInstrId,
      consequentGoto: consequentBlock.terminal.block,
    };
  }
@@ -391,8 +393,13 @@ function traverseOptionalBlock(
      },
    ],
  };
-  context.processedInstrsInOptional.add(matchConsequentResult.storeLocalInstr);
-  context.processedInstrsInOptional.add(test);
+  const processedInstrsInOptional = getOrInsertDefault(
+    context.processedInstrsInOptional,
+    context.currFn,
+    new Set(),
+  );
+  processedInstrsInOptional.add(matchConsequentResult.storeLocalInstrId);
+  processedInstrsInOptional.add(test.id);
  context.temporariesReadInOptional.set(
    matchConsequentResult.consequentId,
    load,
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/Environment.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/Environment.ts
@@ -55,7 +55,6 @@ export const ReactElementSymbolSchema = z.object({
    z.literal('react.element'),
    z.literal('react.transitional.element'),
  ]),
-  globalDevVar: z.string(),
 });

 export const ExternalFunctionSchema = z.object({
@@ -69,8 +68,8 @@ export const ExternalFunctionSchema = z.object({
 export const InstrumentationSchema = z
  .object({
    fn: ExternalFunctionSchema,
-    gating: ExternalFunctionSchema.nullable(),
-    globalGating: z.string().nullable(),
+    gating: ExternalFunctionSchema.nullish(),
+    globalGating: z.string().nullish(),
  })
  .refine(
    opts => opts.gating != null || opts.globalGating != null,
@@ -147,7 +146,7 @@ export type Hook = z.infer<typeof HookSchema>;
 */

 const EnvironmentConfigSchema = z.object({
-  customHooks: z.map(z.string(), HookSchema).default(new Map()),
+  customHooks: z.map(z.string(), HookSchema).optional().default(new Map()),

  /**
   * A function that, given the name of a module, can optionally return a description
@@ -231,6 +230,14 @@ const EnvironmentConfigSchema = z.object({
   */
  enableUseTypeAnnotations: z.boolean().default(false),

+  /**
+   * Enables inference of optional dependency chains. Without this flag
+   * a property chain such as `props?.items?.foo` will infer as a dep on
+   * just `props`. With this flag enabled, we'll infer that full path as
+   * the dependency.
+   */
+  enableOptionalDependencies: z.boolean().default(true),
+
  /**
   * Enables inlining ReactElement object literals in place of JSX
   * An alternative to the standard JSX transform which replaces JSX with React's jsxProd() runtime
@@ -238,7 +245,7 @@ const EnvironmentConfigSchema = z.object({
   *
   * The symbol configuration is set for backwards compatability with pre-React 19 transforms
   */
-  inlineJsxTransform: ReactElementSymbolSchema.nullable().default(null),
+  inlineJsxTransform: ReactElementSymbolSchema.nullish(),

  /*
   * Enable validation of hooks to partially check that the component honors the rules of hooks.
@@ -329,9 +336,9 @@ const EnvironmentConfigSchema = z.object({
   *     }
   *   }
   */
-  enableEmitFreeze: ExternalFunctionSchema.nullable().default(null),
+  enableEmitFreeze: ExternalFunctionSchema.nullish(),

-  enableEmitHookGuards: ExternalFunctionSchema.nullable().default(null),
+  enableEmitHookGuards: ExternalFunctionSchema.nullish(),

  /**
   * Enable instruction reordering. See InstructionReordering.ts for the details
@@ -345,54 +352,6 @@ const EnvironmentConfigSchema = z.object({
   */
  enableFunctionOutlining: z.boolean().default(true),

-  /**
-   * If enabled, this will outline nested JSX into a separate component.
-   *
-   * This will enable the compiler to memoize the separate component, giving us
-   * the same behavior as compiling _within_ the callback.
-   *
-   * ```
-   * function Component(countries, onDelete) {
-   *   const name = useFoo();
-   *   return countries.map(() => {
-   *     return (
-   *       <Foo>
-   *         <Bar>{name}</Bar>
-   *         <Button onclick={onDelete}>delete</Button>
-   *       </Foo>
-   *     );
-   *   });
-   * }
-   * ```
-   *
-   * will be transpiled to:
-   *
-   * ```
-   * function Component(countries, onDelete) {
-   *   const name = useFoo();
-   *   return countries.map(() => {
-   *     return (
-   *       <Temp name={name} onDelete={onDelete} />
-   *     );
-   *   });
-   * }
-   *
-   * function Temp({name, onDelete}) {
-   *   return (
-   *     <Foo>
-   *       <Bar>{name}</Bar>
-   *       <Button onclick={onDelete}>delete</Button>
-   *     </Foo>
-   *   );
-   * }
-   *
-   * Both, `Component` and `Temp` will then be memoized by the compiler.
-   *
-   * With this change, when `countries` is updated by adding one single value,
-   * only the newly added value is re-rendered and not the entire list.
-   */
-  enableJsxOutlining: z.boolean().default(false),
-
  /*
   * Enables instrumentation codegen. This emits a dev-mode only call to an
   * instrumentation function, for components and hooks that Forget compiles.
@@ -415,7 +374,7 @@ const EnvironmentConfigSchema = z.object({
   *   }
   *
   */
-  enableEmitInstrumentForget: InstrumentationSchema.nullable().default(null),
+  enableEmitInstrumentForget: InstrumentationSchema.nullish(),

  // Enable validation of mutable ranges
  assertValidMutableRanges: z.boolean().default(false),
@@ -454,6 +413,8 @@ const EnvironmentConfigSchema = z.object({
   */
  throwUnknownException__testonly: z.boolean().default(false),

+  enableSharedRuntime__testonly: z.boolean().default(false),
+
  /**
   * Enables deps of a function epxression to be treated as conditional. This
   * makes sure we don't load a dep when it's a property (to check if it has
@@ -491,8 +452,7 @@ const EnvironmentConfigSchema = z.object({
   * computed one. This detects cases where rules of react violations may cause the
   * compiled code to behave differently than the original.
   */
-  enableChangeDetectionForDebugging:
-    ExternalFunctionSchema.nullable().default(null),
+  enableChangeDetectionForDebugging: ExternalFunctionSchema.nullish(),

  /**
   * The react native re-animated library uses custom Babel transforms that
@@ -532,7 +492,7 @@ const EnvironmentConfigSchema = z.object({
   *
   * Here the variables `ref` and `myRef` will be typed as Refs.
   */
-  enableTreatRefLikeIdentifiersAsRefs: z.boolean().default(false),
+  enableTreatRefLikeIdentifiersAsRefs: z.boolean().nullable().default(false),

  /*
   * If specified a value, the compiler lowers any calls to `useContext` to use
@@ -554,57 +514,12 @@ const EnvironmentConfigSchema = z.object({
   * const {foo, bar} = useCompiledContext(MyContext, (c) => [c.foo, c.bar]);
   * ```
   */
-  lowerContextAccess: ExternalFunctionSchema.nullable().default(null),
+  lowerContextAccess: ExternalFunctionSchema.nullish(),
 });

 export type EnvironmentConfig = z.infer<typeof EnvironmentConfigSchema>;

-/**
- * For test fixtures and playground only.
- *
- * Pragmas are straightforward to parse for boolean options (`:true` and
- * `:false`). These are 'enabled' config values for non-boolean configs (i.e.
- * what is used when parsing `:true`).
- */
-const testComplexConfigDefaults: PartialEnvironmentConfig = {
-  validateNoCapitalizedCalls: [],
-  enableChangeDetectionForDebugging: {
-    source: 'react-compiler-runtime',
-    importSpecifierName: '$structuralCheck',
-  },
-  enableEmitFreeze: {
-    source: 'react-compiler-runtime',
-    importSpecifierName: 'makeReadOnly',
-  },
-  enableEmitInstrumentForget: {
-    fn: {
-      source: 'react-compiler-runtime',
-      importSpecifierName: 'useRenderCounter',
-    },
-    gating: {
-      source: 'react-compiler-runtime',
-      importSpecifierName: 'shouldInstrument',
-    },
-    globalGating: '__DEV__',
-  },
-  enableEmitHookGuards: {
-    source: 'react-compiler-runtime',
-    importSpecifierName: '$dispatcherGuard',
-  },
-  inlineJsxTransform: {
-    elementSymbol: 'react.transitional.element',
-    globalDevVar: 'DEV',
-  },
-  lowerContextAccess: {
-    source: 'react-compiler-runtime',
-    importSpecifierName: 'useContext_withSelector',
-  },
-};
-
-/**
- * For snap test fixtures and playground only.
- */
-export function parseConfigPragmaForTests(pragma: string): EnvironmentConfig {
+export function parseConfigPragma(pragma: string): EnvironmentConfig {
  const maybeConfig: any = {};
  // Get the defaults to programmatically check for boolean properties
  const defaultConfig = EnvironmentConfigSchema.parse({});
@@ -614,12 +529,21 @@ export function parseConfigPragmaForTests(pragma: string): EnvironmentConfig {
      continue;
    }
    const keyVal = token.slice(1);
-    let [key, val = undefined] = keyVal.split(':');
-    const isSet = val === undefined || val === 'true';
+    let [key, val]: any = keyVal.split(':');

-    if (isSet && key in testComplexConfigDefaults) {
-      maybeConfig[key] =
-        testComplexConfigDefaults[key as keyof PartialEnvironmentConfig];
+    if (key === 'validateNoCapitalizedCalls') {
+      maybeConfig[key] = [];
+      continue;
+    }
+
+    if (
+      key === 'enableChangeDetectionForDebugging' &&
+      (val === undefined || val === 'true')
+    ) {
+      maybeConfig[key] = {
+        source: 'react-compiler-runtime',
+        importSpecifierName: '$structuralCheck',
+      };
      continue;
    }

@@ -634,6 +558,7 @@ export function parseConfigPragmaForTests(pragma: string): EnvironmentConfig {
            props.push({type: 'name', name: elt});
          }
        }
+        console.log([valSplit[0], props.map(x => x.name ?? '*').join('.')]);
        maybeConfig[key] = [[valSplit[0], props]];
      }
      continue;
@@ -644,10 +569,11 @@ export function parseConfigPragmaForTests(pragma: string): EnvironmentConfig {
      continue;
    }
    if (val === undefined || val === 'true') {
-      maybeConfig[key] = true;
+      val = true;
    } else {
-      maybeConfig[key] = false;
+      val = false;
    }
+    maybeConfig[key] = val;
  }

  const config = EnvironmentConfigSchema.safeParse(maybeConfig);
@@ -876,9 +802,7 @@ export class Environment {
           */
          return (
            this.#globals.get(binding.imported) ??
-            (isHookName(binding.imported) || isHookName(binding.name)
-              ? this.#getCustomHookType()
-              : null)
+            (isHookName(binding.imported) ? this.#getCustomHookType() : null)
          );
        } else {
          const moduleType = this.#resolveModuleType(binding.module, loc);
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts
@@ -722,7 +722,6 @@ export type ObjectProperty = {
 };

 export type LoweredFunction = {
-  dependencies: Array<Place>;
  func: HIRFunction;
 };

@@ -920,7 +919,15 @@ export type InstructionValue =
      type: Type;
      loc: SourceLocation;
    }
-  | JsxExpression
+  | {
+      kind: 'JsxExpression';
+      tag: Place | BuiltinTag;
+      props: Array<JsxAttribute>;
+      children: Array<Place> | null; // null === no children
+      loc: SourceLocation;
+      openingLoc: SourceLocation;
+      closingLoc: SourceLocation;
+    }
  | {
      kind: 'ObjectExpression';
      properties: Array<ObjectProperty | SpreadPattern>;
@@ -1066,16 +1073,6 @@ export type InstructionValue =
      loc: SourceLocation;
    };

-export type JsxExpression = {
-  kind: 'JsxExpression';
-  tag: Place | BuiltinTag;
-  props: Array<JsxAttribute>;
-  children: Array<Place> | null; // null === no children
-  loc: SourceLocation;
-  openingLoc: SourceLocation;
-  closingLoc: SourceLocation;
-};
-
 export type JsxAttribute =
  | {kind: 'JsxSpreadAttribute'; argument: Place}
  | {kind: 'JsxAttribute'; name: string; place: Place};
@@ -1243,17 +1240,6 @@ export function makeTemporaryIdentifier(
  };
 }

-export function forkTemporaryIdentifier(
-  id: IdentifierId,
-  source: Identifier,
-): Identifier {
-  return {
-    ...source,
-    mutableRange: {start: makeInstructionId(0), end: makeInstructionId(0)},
-    id,
-  };
-}
-
 /**
 * Creates a valid identifier name. This should *not* be used for synthesizing
 * identifier names: only call this method for identifier names that appear in the
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts
@@ -538,9 +538,6 @@ export function printInstructionValue(instrValue: ReactiveValue): string {
        .split('\n')
        .map(line => `      ${line}`)
        .join('\n');
-      const deps = instrValue.loweredFunc.dependencies
-        .map(dep => printPlace(dep))
-        .join(',');
      const context = instrValue.loweredFunc.func.context
        .map(dep => printPlace(dep))
        .join(',');
@@ -557,7 +554,7 @@ export function printInstructionValue(instrValue: ReactiveValue): string {
          })
          .join(', ') ?? '';
      const type = printType(instrValue.loweredFunc.func.returnType).trim();
-      value = `${kind} ${name} @deps[${deps}] @context[${context}] @effects[${effects}]${type !== '' ? ` return${type}` : ''}:\n${fn}`;
+      value = `${kind} ${name} @context[${context}] @effects[${effects}]${type !== '' ? ` return${type}` : ''}:\n${fn}`;
      break;
    }
    case 'TaggedTemplateExpression': {
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/PropagateScopeDependenciesHIR.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/PropagateScopeDependenciesHIR.ts
@@ -16,7 +16,8 @@ import {
  DeclarationId,
  areEqualPaths,
  IdentifierId,
-  Terminal,
+  BasicBlock,
+  BlockId,
 } from './HIR';
 import {
  collectHoistablePropertyLoads,
@@ -38,7 +39,11 @@ import {collectOptionalChainSidemap} from './CollectOptionalChainDependencies';
 export function propagateScopeDependenciesHIR(fn: HIRFunction): void {
  const usedOutsideDeclaringScope =
    findTemporariesUsedOutsideDeclaringScope(fn);
-  const temporaries = collectTemporariesSidemap(fn, usedOutsideDeclaringScope);
+  const temporaries = collectTemporariesSidemap(
+    fn,
+    usedOutsideDeclaringScope,
+    new Map(),
+  );
  const {
    temporariesReadInOptional,
    processedInstrsInOptional,
@@ -47,7 +52,7 @@ export function propagateScopeDependenciesHIR(fn: HIRFunction): void {

  const hoistablePropertyLoads = keyByScopeId(
    fn,
-    collectHoistablePropertyLoads(fn, temporaries, hoistableObjects),
+    collectHoistablePropertyLoads(fn, temporaries, hoistableObjects, null),
  );

  const scopeDeps = collectDependencies(
@@ -177,10 +182,8 @@ function findTemporariesUsedOutsideDeclaringScope(
 * $2 = LoadLocal 'foo'
 * $3 = CallExpression $2($1)
 * ```
- * @param usedOutsideDeclaringScope is used to check the correctness of
- * reordering LoadLocal / PropertyLoad calls. We only track a LoadLocal /
- * PropertyLoad in the returned temporaries map if reordering the read (from the
- * time-of-load to time-of-use) is valid.
+ * Only map LoadLocal and PropertyLoad lvalues to their source if we know that
+ * reordering the read (from the time-of-load to time-of-use) is valid.
 *
 * If a LoadLocal or PropertyLoad instruction is within the reactive scope range
 * (a proxy for mutable range) of the load source, later instructions may
@@ -217,30 +220,9 @@ function findTemporariesUsedOutsideDeclaringScope(
 export function collectTemporariesSidemap(
  fn: HIRFunction,
  usedOutsideDeclaringScope: ReadonlySet<DeclarationId>,
-): ReadonlyMap<IdentifierId, ReactiveScopeDependency> {
-  const temporaries = new Map();
-  collectTemporariesSidemapImpl(
-    fn,
-    usedOutsideDeclaringScope,
-    temporaries,
-    false,
-  );
-  return temporaries;
-}
-
-/**
- * Recursive collect a sidemap of all `LoadLocal` and `PropertyLoads` with a
- * function and all nested functions.
- *
- * Note that IdentifierIds are currently unique, so we can use a single
- * Map<IdentifierId, ...> across all nested functions.
- */
-function collectTemporariesSidemapImpl(
-  fn: HIRFunction,
-  usedOutsideDeclaringScope: ReadonlySet<DeclarationId>,
  temporaries: Map<IdentifierId, ReactiveScopeDependency>,
-  isInnerFn: boolean,
-): void {
+  isInnerFn: boolean = false,
+): ReadonlyMap<IdentifierId, ReactiveScopeDependency> {
  for (const [_, block] of fn.body.blocks) {
    for (const instr of block.instructions) {
      const {value, lvalue} = instr;
@@ -249,13 +231,19 @@ function collectTemporariesSidemapImpl(
      );

      if (value.kind === 'PropertyLoad' && !usedOutside) {
-        if (!isInnerFn || temporaries.has(value.object.identifier.id)) {
-          /**
-           * All dependencies of a inner / nested function must have a base
-           * identifier from the outermost component / hook. This is because the
-           * compiler cannot break an inner function into multiple granular
-           * scopes.
-           */
+        if (isInnerFn) {
+          const source = temporaries.get(value.object.identifier.id);
+          if (source) {
+            // only add inner function loads if their source is valid
+            const property = getProperty(
+              value.object,
+              value.property,
+              false,
+              temporaries,
+            );
+            temporaries.set(lvalue.identifier.id, property);
+          }
+        } else {
          const property = getProperty(
            value.object,
            value.property,
@@ -285,7 +273,7 @@ function collectTemporariesSidemapImpl(
        value.kind === 'FunctionExpression' ||
        value.kind === 'ObjectMethod'
      ) {
-        collectTemporariesSidemapImpl(
+        collectTemporariesSidemap(
          value.loweredFunc.func,
          usedOutsideDeclaringScope,
          temporaries,
@@ -294,6 +282,7 @@ function collectTemporariesSidemapImpl(
      }
    }
  }
+  return temporaries;
 }

 function getProperty(
@@ -359,11 +348,7 @@ class Context {
  #temporaries: ReadonlyMap<IdentifierId, ReactiveScopeDependency>;
  #temporariesUsedOutsideScope: ReadonlySet<DeclarationId>;

-  /**
-   * Tracks the traversal state. See Context.declare for explanation of why this
-   * is needed.
-   */
-  inInnerFn: boolean = false;
+  innerFnContext: HIRFunction | null = null;

  constructor(
    temporariesUsedOutsideScope: ReadonlySet<DeclarationId>,
@@ -415,23 +400,12 @@ class Context {
  }

  /*
-   * Records where a value was declared, and optionally, the scope where the
-   * value originated from. This is later used to determine if a dependency
-   * should be added to a scope; if the current scope we are visiting is the
-   * same scope where the value originates, it can't be a dependency on itself.
-   *
-   * Note that we do not track declarations or reassignments within inner
-   * functions for the following reasons:
-   *   - inner functions cannot be split by scope boundaries and are guaranteed
-   *     to consume their own declarations
-   *   - reassignments within inner functions are tracked as context variables,
-   *     which already have extended mutable ranges to account for reassignments
-   *   - *most importantly* it's currently simply incorrect to compare inner
-   *     function instruction ids (tracked by `decl`) with outer ones (as stored
-   *     by root identifier mutable ranges).
+   * Records where a value was declared, and optionally, the scope where the value originated from.
+   * This is later used to determine if a dependency should be added to a scope; if the current
+   * scope we are visiting is the same scope where the value originates, it can't be a dependency
+   * on itself.
   */
  declare(identifier: Identifier, decl: Decl): void {
-    if (this.inInnerFn) return;
    if (!this.#declarations.has(identifier.declarationId)) {
      this.#declarations.set(identifier.declarationId, decl);
    }
@@ -440,6 +414,14 @@ class Context {

  // Checks if identifier is a valid dependency in the current scope
  #checkValidDependency(maybeDependency: ReactiveScopeDependency): boolean {
+    if (
+      this.innerFnContext != null &&
+      !this.innerFnContext.context.some(
+        context => context.identifier.id === maybeDependency.identifier.id,
+      )
+    ) {
+      return false;
+    }
    // ref.current access is not a valid dep
    if (
      isUseRefType(maybeDependency.identifier) &&
@@ -641,7 +623,10 @@ function collectDependencies(
  fn: HIRFunction,
  usedOutsideDeclaringScope: ReadonlySet<DeclarationId>,
  temporaries: ReadonlyMap<IdentifierId, ReactiveScopeDependency>,
-  processedInstrsInOptional: ReadonlySet<Instruction | Terminal>,
+  processedInstrsInOptional: ReadonlyMap<
+    HIRFunction,
+    ReadonlySet<InstructionId>
+  >,
 ): Map<ReactiveScope, Array<ReactiveScopeDependency>> {
  const context = new Context(usedOutsideDeclaringScope, temporaries);

@@ -660,8 +645,13 @@ function collectDependencies(
  }

  const scopeTraversal = new ScopeBlockTraversal();
+  // TODO: make this less hacky
+  const st: Array<[HIRFunction, BlockId, BasicBlock]> = [...fn.body.blocks].map(
+    ([id, block]) => [fn, id, block],
+  );

-  for (const [blockId, block] of fn.body.blocks) {
+  while (st.length != 0) {
+    const [currFn, blockId, block] = st.shift()!;
    scopeTraversal.recordScopes(block);
    const scopeBlockInfo = scopeTraversal.blockInfos.get(blockId);
    if (scopeBlockInfo?.kind === 'begin') {
@@ -670,6 +660,9 @@ function collectDependencies(
      context.exitScope(scopeBlockInfo.scope, scopeBlockInfo?.pruned);
    }

+    // TODO: make this less hacky
+    context.innerFnContext = currFn === fn ? null : currFn;
+
    // Record referenced optional chains in phis
    for (const phi of block.phis) {
      for (const operand of phi.operands) {
@@ -680,16 +673,37 @@ function collectDependencies(
      }
    }
    for (const instr of block.instructions) {
-      if (!processedInstrsInOptional.has(instr)) {
+      if (
+        instr.value.kind === 'FunctionExpression' ||
+        instr.value.kind === 'ObjectMethod'
+      ) {
+        /**
+         * Push the outermost nested fn context, as these are guaranteed to reference
+         * component / hook identifiers (i.e. eligible dependencies)
+         */
+        const innerFn = instr.value.loweredFunc.func;
+        const outermostNestedFnContext = currFn === fn ? innerFn : currFn;
+        const x: Array<[HIRFunction, BlockId, BasicBlock]> = [
+          ...innerFn.body.blocks.entries(),
+        ].map(([id, block]) => [outermostNestedFnContext, id, block]);
+        st.unshift(...x);
+
+        context.declare(instr.lvalue.identifier, {
+          id: instr.id,
+          scope: context.currentScope,
+        });
+      } else if (!processedInstrsInOptional.get(currFn)?.has(instr.id)) {
+        // instruction ids are function-relative
        handleInstruction(instr, context);
      }
    }

-    if (!processedInstrsInOptional.has(block.terminal)) {
+    if (!processedInstrsInOptional.get(currFn)?.has(block.terminal.id)) {
      for (const place of eachTerminalOperand(block.terminal)) {
        context.visitOperand(place);
      }
    }
  }
+
  return context.deps;
 }
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/index.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/index.ts
@@ -17,7 +17,7 @@ export {buildReactiveScopeTerminalsHIR} from './BuildReactiveScopeTerminalsHIR';
 export {computeDominatorTree, computePostDominatorTree} from './Dominator';
 export {
  Environment,
-  parseConfigPragmaForTests,
+  parseConfigPragma,
  validateEnvironmentConfig,
  type EnvironmentConfig,
  type ExternalFunction,
--- a/compiler/packages/babel-plugin-react-compiler/src/HIR/visitors.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/HIR/visitors.ts
@@ -193,7 +193,7 @@ export function* eachInstructionValueOperand(
    }
    case 'ObjectMethod':
    case 'FunctionExpression': {
-      yield* instrValue.loweredFunc.dependencies;
+      yield* instrValue.loweredFunc.func.context;
      break;
    }
    case 'TaggedTemplateExpression': {
@@ -517,8 +517,9 @@ export function mapInstructionValueOperands(
    }
    case 'ObjectMethod':
    case 'FunctionExpression': {
-      instrValue.loweredFunc.dependencies =
-        instrValue.loweredFunc.dependencies.map(d => fn(d));
+      instrValue.loweredFunc.func.context =
+        instrValue.loweredFunc.func.context.map(d => fn(d));
+
      break;
    }
    case 'TaggedTemplateExpression': {
@@ -1215,17 +1216,9 @@ export class ScopeBlockTraversal {
    }
  }

-  /**
-   * @returns if the given scope is currently 'active', i.e. if the scope start
-   * block but not the scope fallthrough has been recorded.
-   */
  isScopeActive(scopeId: ScopeId): boolean {
    return this.#activeScopes.indexOf(scopeId) !== -1;
  }
-
-  /**
-   * The current, innermost active scope.
-   */
  get currentScope(): ScopeId | null {
    return this.#activeScopes.at(-1) ?? null;
  }
--- a/compiler/packages/babel-plugin-react-compiler/src/Inference/AnalyseFunctions.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Inference/AnalyseFunctions.ts
@@ -10,7 +10,6 @@ import {
  Effect,
  HIRFunction,
  Identifier,
-  IdentifierName,
  LoweredFunction,
  Place,
  isRefOrRefValue,
@@ -41,20 +40,6 @@ export class IdentifierState {
    return identifier;
  }

-  declareProperty(lvalue: Place, object: Place, property: string): void {
-    const objectDependency = this.properties.get(object.identifier);
-    let nextDependency: Dependency;
-    if (objectDependency === undefined) {
-      nextDependency = {identifier: object.identifier, path: [property]};
-    } else {
-      nextDependency = {
-        identifier: objectDependency.identifier,
-        path: [...objectDependency.path, property],
-      };
-    }
-    this.properties.set(lvalue.identifier, nextDependency);
-  }
-
  declareTemporary(lvalue: Place, value: Place): void {
    const resolved: Dependency = this.properties.get(value.identifier) ?? {
      identifier: value.identifier,
@@ -73,25 +58,10 @@ export default function analyseFunctions(func: HIRFunction): void {
        case 'ObjectMethod':
        case 'FunctionExpression': {
          lower(instr.value.loweredFunc.func);
-          infer(instr.value.loweredFunc, state, func.context);
-          break;
-        }
-        case 'PropertyLoad': {
-          state.declareProperty(
-            instr.lvalue,
-            instr.value.object,
-            instr.value.property,
-          );
-          break;
-        }
-        case 'ComputedLoad': {
-          /*
-           * The path is set to an empty string as the path doesn't really
-           * matter for a computed load.
-           */
-          state.declareProperty(instr.lvalue, instr.value.object, '');
+          infer(instr.value.loweredFunc, func.context);
          break;
        }
+
        case 'LoadLocal':
        case 'LoadContext': {
          if (instr.lvalue.identifier.name === null) {
@@ -115,11 +85,8 @@ function lower(func: HIRFunction): void {
  logHIRFunction('AnalyseFunction (inner)', func);
 }

-function infer(
-  loweredFunc: LoweredFunction,
-  state: IdentifierState,
-  context: Array<Place>,
-): void {
+// infer loweredFunc (inner) with outer function context
+function infer(loweredFunc: LoweredFunction, context: Array<Place>): void {
  const mutations = new Map<string, Effect>();
  for (const operand of loweredFunc.func.context) {
    if (
@@ -130,15 +97,13 @@ function infer(
    }
  }

-  for (const dep of loweredFunc.dependencies) {
-    let name: IdentifierName | null = null;
-
-    if (state.properties.has(dep.identifier)) {
-      const receiver = state.properties.get(dep.identifier)!;
-      name = receiver.identifier.name;
-    } else {
-      name = dep.identifier.name;
-    }
+  for (const dep of loweredFunc.func.context) {
+    CompilerError.invariant(dep.identifier.name !== null, {
+      reason: 'context refs should always have a name',
+      description: null,
+      loc: dep.loc,
+      suggestions: null,
+    });

    if (isRefOrRefValue(dep.identifier)) {
      /*
@@ -149,8 +114,8 @@ function infer(
       * render
       */
      dep.effect = Effect.Capture;
-    } else if (name !== null) {
-      const effect = mutations.get(name.value);
+    } else {
+      const effect = mutations.get(dep.identifier.name.value);
      if (effect !== undefined) {
        dep.effect = effect === Effect.Unknown ? Effect.Capture : effect;
      }
@@ -176,7 +141,6 @@ function infer(
    const effect = mutations.get(place.identifier.name.value);
    if (effect !== undefined) {
      place.effect = effect === Effect.Unknown ? Effect.Capture : effect;
-      loweredFunc.dependencies.push(place);
    }
  }

--- a/compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutableContextVariables.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Inference/InferMutableContextVariables.ts
@@ -61,22 +61,6 @@ export function inferMutableContextVariables(fn: HIRFunction): void {
  for (const [, block] of fn.body.blocks) {
    for (const instr of block.instructions) {
      switch (instr.value.kind) {
-        case 'PropertyLoad': {
-          state.declareProperty(
-            instr.lvalue,
-            instr.value.object,
-            instr.value.property,
-          );
-          break;
-        }
-        case 'ComputedLoad': {
-          /*
-           * The path is set to an empty string as the path doesn't really
-           * matter for a computed load.
-           */
-          state.declareProperty(instr.lvalue, instr.value.object, '');
-          break;
-        }
        case 'LoadLocal':
        case 'LoadContext': {
          if (instr.lvalue.identifier.name === null) {
--- a/compiler/packages/babel-plugin-react-compiler/src/Inference/InferReactivePlaces.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Inference/InferReactivePlaces.ts
@@ -157,6 +157,7 @@ export function inferReactivePlaces(fn: HIRFunction): void {
  }

  do {
+    const identifierMapping = new Map<Identifier, Identifier>();
    for (const [, block] of fn.body.blocks) {
      let hasReactiveControl = isReactiveControlledBlock(block.id);

@@ -232,6 +233,10 @@ export function inferReactivePlaces(fn: HIRFunction): void {
              case Effect.ConditionallyMutate:
              case Effect.Mutate: {
                if (isMutable(instruction, operand)) {
+                  const resolvedId = identifierMapping.get(operand.identifier);
+                  if (resolvedId !== undefined) {
+                    reactiveIdentifiers.markReactiveIdentifier(resolvedId);
+                  }
                  reactiveIdentifiers.markReactive(operand);
                }
                break;
@@ -258,6 +263,31 @@ export function inferReactivePlaces(fn: HIRFunction): void {
            }
          }
        }
+
+        switch (value.kind) {
+          case 'LoadLocal': {
+            identifierMapping.set(
+              instruction.lvalue.identifier,
+              value.place.identifier,
+            );
+            break;
+          }
+          case 'PropertyLoad':
+          case 'ComputedLoad': {
+            const resolvedId =
+              identifierMapping.get(value.object.identifier) ??
+              value.object.identifier;
+            identifierMapping.set(instruction.lvalue.identifier, resolvedId);
+            break;
+          }
+          case 'LoadContext': {
+            identifierMapping.set(
+              instruction.lvalue.identifier,
+              value.place.identifier,
+            );
+            break;
+          }
+        }
      }
      for (const operand of eachTerminalOperand(block.terminal)) {
        reactiveIdentifiers.isReactive(operand);
@@ -342,19 +372,27 @@ class ReactivityMap {
  }

  isReactive(place: Place): boolean {
-    const identifier =
-      this.aliasedIdentifiers.find(place.identifier) ?? place.identifier;
-    const reactive = this.reactive.has(identifier.id);
+    const reactive = this.isReactiveIdentifier(place.identifier);
    if (reactive) {
      place.reactive = true;
    }
    return reactive;
  }

+  isReactiveIdentifier(inputIdentifier: Identifier): boolean {
+    const identifier =
+      this.aliasedIdentifiers.find(inputIdentifier) ?? inputIdentifier;
+    return this.reactive.has(identifier.id);
+  }
+
  markReactive(place: Place): void {
    place.reactive = true;
+    this.markReactiveIdentifier(place.identifier);
+  }
+
+  markReactiveIdentifier(inputIdentifier: Identifier): void {
    const identifier =
-      this.aliasedIdentifiers.find(place.identifier) ?? place.identifier;
+      this.aliasedIdentifiers.find(inputIdentifier) ?? inputIdentifier;
    if (!this.reactive.has(identifier.id)) {
      this.hasChanges = true;
      this.reactive.add(identifier.id);
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/ConstantPropagation.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/ConstantPropagation.ts
@@ -8,6 +8,7 @@
 import {isValidIdentifier} from '@babel/types';
 import {CompilerError} from '../CompilerError';
 import {
+  Environment,
  GotoVariant,
  HIRFunction,
  IdentifierId,
@@ -129,7 +130,7 @@ function applyConstantPropagation(
        continue;
      }
      const instr = block.instructions[i]!;
-      const value = evaluateInstruction(constants, instr);
+      const value = evaluateInstruction(fn.env, constants, instr);
      if (value !== null) {
        constants.set(instr.lvalue.identifier.id, value);
      }
@@ -222,6 +223,7 @@ function evaluatePhi(phi: Phi, constants: Constants): Constant | null {
 }

 function evaluateInstruction(
+  env: Environment,
  constants: Constants,
  instr: Instruction,
 ): Constant | null {
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/DeadCodeElimination.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/DeadCodeElimination.ts
@@ -58,6 +58,14 @@ export function deadCodeElimination(fn: HIRFunction): void {
      }
    }
  }
+
+  /**
+   * Constant propagation and DCE may have deleted or rewritten instructions
+   * that reference context variables.
+   */
+  retainWhere(fn.context, contextVar =>
+    state.isIdOrNameUsed(contextVar.identifier),
+  );
 }

 class State {
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/InlineJsxTransform.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/InlineJsxTransform.ts
@@ -6,25 +6,14 @@
 */

 import {
-  BasicBlock,
-  BlockId,
  BuiltinTag,
-  DeclarationId,
  Effect,
-  forkTemporaryIdentifier,
-  GotoTerminal,
-  GotoVariant,
  HIRFunction,
-  Identifier,
-  IfTerminal,
  Instruction,
-  InstructionKind,
  JsxAttribute,
  makeInstructionId,
  ObjectProperty,
-  Phi,
  Place,
-  promoteTemporary,
  SpreadPattern,
 } from '../HIR';
 import {
@@ -35,389 +24,6 @@ import {
  reversePostorderBlocks,
 } from '../HIR/HIRBuilder';
 import {CompilerError, EnvironmentConfig} from '..';
-import {
-  mapInstructionLValues,
-  mapInstructionOperands,
-  mapInstructionValueOperands,
-  mapTerminalOperands,
-} from '../HIR/visitors';
-
-type InlinedJsxDeclarationMap = Map<
-  DeclarationId,
-  {identifier: Identifier; blockIdsToIgnore: Set<BlockId>}
->;
-
-/**
- * A prod-only, RN optimization to replace JSX with inlined ReactElement object literals
- *
- * Example:
- * <>foo</>
- * _______________
- * let t1;
- * if (__DEV__) {
- *   t1 = <>foo</>
- * } else {
- *   t1 = {...}
- * }
- *
- */
-export function inlineJsxTransform(
-  fn: HIRFunction,
-  inlineJsxTransformConfig: NonNullable<
-    EnvironmentConfig['inlineJsxTransform']
-  >,
-): void {
-  const inlinedJsxDeclarations: InlinedJsxDeclarationMap = new Map();
-  /**
-   * Step 1: Codegen the conditional and ReactElement object literal
-   */
-  for (const [_, currentBlock] of [...fn.body.blocks]) {
-    let fallthroughBlockInstructions: Array<Instruction> | null = null;
-    const instructionCount = currentBlock.instructions.length;
-    for (let i = 0; i < instructionCount; i++) {
-      const instr = currentBlock.instructions[i]!;
-      // TODO: Support value blocks
-      if (currentBlock.kind === 'value') {
-        fn.env.logger?.logEvent(fn.env.filename, {
-          kind: 'CompileDiagnostic',
-          fnLoc: null,
-          detail: {
-            reason: 'JSX Inlining is not supported on value blocks',
-            loc: instr.loc,
-          },
-        });
-        continue;
-      }
-      switch (instr.value.kind) {
-        case 'JsxExpression':
-        case 'JsxFragment': {
-          /**
-           * Split into blocks for new IfTerminal:
-           *   current, then, else, fallthrough
-           */
-          const currentBlockInstructions = currentBlock.instructions.slice(
-            0,
-            i,
-          );
-          const thenBlockInstructions = currentBlock.instructions.slice(
-            i,
-            i + 1,
-          );
-          const elseBlockInstructions: Array<Instruction> = [];
-          fallthroughBlockInstructions ??= currentBlock.instructions.slice(
-            i + 1,
-          );
-
-          const fallthroughBlockId = fn.env.nextBlockId;
-          const fallthroughBlock: BasicBlock = {
-            kind: currentBlock.kind,
-            id: fallthroughBlockId,
-            instructions: fallthroughBlockInstructions,
-            terminal: currentBlock.terminal,
-            preds: new Set(),
-            phis: new Set(),
-          };
-
-          /**
-           * Complete current block
-           * - Add instruction for variable declaration
-           * - Add instruction for LoadGlobal used by conditional
-           * - End block with a new IfTerminal
-           */
-          const varPlace = createTemporaryPlace(fn.env, instr.value.loc);
-          promoteTemporary(varPlace.identifier);
-          const varLValuePlace = createTemporaryPlace(fn.env, instr.value.loc);
-          const thenVarPlace = {
-            ...varPlace,
-            identifier: forkTemporaryIdentifier(
-              fn.env.nextIdentifierId,
-              varPlace.identifier,
-            ),
-          };
-          const elseVarPlace = {
-            ...varPlace,
-            identifier: forkTemporaryIdentifier(
-              fn.env.nextIdentifierId,
-              varPlace.identifier,
-            ),
-          };
-          const varInstruction: Instruction = {
-            id: makeInstructionId(0),
-            lvalue: {...varLValuePlace},
-            value: {
-              kind: 'DeclareLocal',
-              lvalue: {place: {...varPlace}, kind: InstructionKind.Let},
-              type: null,
-              loc: instr.value.loc,
-            },
-            loc: instr.loc,
-          };
-          currentBlockInstructions.push(varInstruction);
-
-          const devGlobalPlace = createTemporaryPlace(fn.env, instr.value.loc);
-          const devGlobalInstruction: Instruction = {
-            id: makeInstructionId(0),
-            lvalue: {...devGlobalPlace, effect: Effect.Mutate},
-            value: {
-              kind: 'LoadGlobal',
-              binding: {
-                kind: 'Global',
-                name: inlineJsxTransformConfig.globalDevVar,
-              },
-              loc: instr.value.loc,
-            },
-            loc: instr.loc,
-          };
-          currentBlockInstructions.push(devGlobalInstruction);
-          const thenBlockId = fn.env.nextBlockId;
-          const elseBlockId = fn.env.nextBlockId;
-          const ifTerminal: IfTerminal = {
-            kind: 'if',
-            test: {...devGlobalPlace, effect: Effect.Read},
-            consequent: thenBlockId,
-            alternate: elseBlockId,
-            fallthrough: fallthroughBlockId,
-            loc: instr.loc,
-            id: makeInstructionId(0),
-          };
-          currentBlock.instructions = currentBlockInstructions;
-          currentBlock.terminal = ifTerminal;
-
-          /**
-           * Set up then block where we put the original JSX return
-           */
-          const thenBlock: BasicBlock = {
-            id: thenBlockId,
-            instructions: thenBlockInstructions,
-            kind: 'block',
-            phis: new Set(),
-            preds: new Set(),
-            terminal: {
-              kind: 'goto',
-              block: fallthroughBlockId,
-              variant: GotoVariant.Break,
-              id: makeInstructionId(0),
-              loc: instr.loc,
-            },
-          };
-          fn.body.blocks.set(thenBlockId, thenBlock);
-
-          const resassignElsePlace = createTemporaryPlace(
-            fn.env,
-            instr.value.loc,
-          );
-          const reassignElseInstruction: Instruction = {
-            id: makeInstructionId(0),
-            lvalue: {...resassignElsePlace},
-            value: {
-              kind: 'StoreLocal',
-              lvalue: {
-                place: elseVarPlace,
-                kind: InstructionKind.Reassign,
-              },
-              value: {...instr.lvalue},
-              type: null,
-              loc: instr.value.loc,
-            },
-            loc: instr.loc,
-          };
-          thenBlockInstructions.push(reassignElseInstruction);
-
-          /**
-           * Set up else block where we add new codegen
-           */
-          const elseBlockTerminal: GotoTerminal = {
-            kind: 'goto',
-            block: fallthroughBlockId,
-            variant: GotoVariant.Break,
-            id: makeInstructionId(0),
-            loc: instr.loc,
-          };
-          const elseBlock: BasicBlock = {
-            id: elseBlockId,
-            instructions: elseBlockInstructions,
-            kind: 'block',
-            phis: new Set(),
-            preds: new Set(),
-            terminal: elseBlockTerminal,
-          };
-          fn.body.blocks.set(elseBlockId, elseBlock);
-
-          /**
-           * ReactElement object literal codegen
-           */
-          const {refProperty, keyProperty, propsProperty} =
-            createPropsProperties(
-              fn,
-              instr,
-              elseBlockInstructions,
-              instr.value.kind === 'JsxExpression' ? instr.value.props : [],
-              instr.value.children,
-            );
-          const reactElementInstructionPlace = createTemporaryPlace(
-            fn.env,
-            instr.value.loc,
-          );
-          const reactElementInstruction: Instruction = {
-            id: makeInstructionId(0),
-            lvalue: {...reactElementInstructionPlace, effect: Effect.Store},
-            value: {
-              kind: 'ObjectExpression',
-              properties: [
-                createSymbolProperty(
-                  fn,
-                  instr,
-                  elseBlockInstructions,
-                  '$$typeof',
-                  inlineJsxTransformConfig.elementSymbol,
-                ),
-                instr.value.kind === 'JsxExpression'
-                  ? createTagProperty(
-                      fn,
-                      instr,
-                      elseBlockInstructions,
-                      instr.value.tag,
-                    )
-                  : createSymbolProperty(
-                      fn,
-                      instr,
-                      elseBlockInstructions,
-                      'type',
-                      'react.fragment',
-                    ),
-                refProperty,
-                keyProperty,
-                propsProperty,
-              ],
-              loc: instr.value.loc,
-            },
-            loc: instr.loc,
-          };
-          elseBlockInstructions.push(reactElementInstruction);
-
-          const reassignConditionalInstruction: Instruction = {
-            id: makeInstructionId(0),
-            lvalue: {...createTemporaryPlace(fn.env, instr.value.loc)},
-            value: {
-              kind: 'StoreLocal',
-              lvalue: {
-                place: {...elseVarPlace},
-                kind: InstructionKind.Reassign,
-              },
-              value: {...reactElementInstruction.lvalue},
-              type: null,
-              loc: instr.value.loc,
-            },
-            loc: instr.loc,
-          };
-          elseBlockInstructions.push(reassignConditionalInstruction);
-
-          /**
-           * Create phis to reassign the var
-           */
-          const operands: Map<BlockId, Place> = new Map();
-          operands.set(thenBlockId, {
-            ...elseVarPlace,
-          });
-          operands.set(elseBlockId, {
-            ...thenVarPlace,
-          });
-
-          const phiIdentifier = forkTemporaryIdentifier(
-            fn.env.nextIdentifierId,
-            varPlace.identifier,
-          );
-          const phiPlace = {
-            ...createTemporaryPlace(fn.env, instr.value.loc),
-            identifier: phiIdentifier,
-          };
-          const phis: Set<Phi> = new Set([
-            {
-              kind: 'Phi',
-              operands,
-              place: phiPlace,
-            },
-          ]);
-          fallthroughBlock.phis = phis;
-          fn.body.blocks.set(fallthroughBlockId, fallthroughBlock);
-
-          /**
-           * Track this JSX instruction so we can replace references in step 2
-           */
-          inlinedJsxDeclarations.set(instr.lvalue.identifier.declarationId, {
-            identifier: phiIdentifier,
-            blockIdsToIgnore: new Set([thenBlockId, elseBlockId]),
-          });
-          break;
-        }
-        case 'FunctionExpression':
-        case 'ObjectMethod': {
-          inlineJsxTransform(
-            instr.value.loweredFunc.func,
-            inlineJsxTransformConfig,
-          );
-          break;
-        }
-      }
-    }
-  }
-
-  /**
-   * Step 2: Replace declarations with new phi values
-   */
-  for (const [blockId, block] of fn.body.blocks) {
-    for (const instr of block.instructions) {
-      mapInstructionOperands(instr, place =>
-        handlePlace(place, blockId, inlinedJsxDeclarations),
-      );
-
-      mapInstructionLValues(instr, lvalue =>
-        handlelValue(lvalue, blockId, inlinedJsxDeclarations),
-      );
-
-      mapInstructionValueOperands(instr.value, place =>
-        handlePlace(place, blockId, inlinedJsxDeclarations),
-      );
-    }
-
-    mapTerminalOperands(block.terminal, place =>
-      handlePlace(place, blockId, inlinedJsxDeclarations),
-    );
-
-    if (block.terminal.kind === 'scope') {
-      const scope = block.terminal.scope;
-      for (const dep of scope.dependencies) {
-        dep.identifier = handleIdentifier(
-          dep.identifier,
-          inlinedJsxDeclarations,
-        );
-      }
-
-      for (const [origId, decl] of [...scope.declarations]) {
-        const newDecl = handleIdentifier(
-          decl.identifier,
-          inlinedJsxDeclarations,
-        );
-        if (newDecl.id !== origId) {
-          scope.declarations.delete(origId);
-          scope.declarations.set(decl.identifier.id, {
-            identifier: newDecl,
-            scope: decl.scope,
-          });
-        }
-      }
-    }
-  }
-
-  /**
-   * Step 3: Fixup the HIR
-   * Restore RPO, ensure correct predecessors, renumber instructions, fix scope and ranges.
-   */
-  reversePostorderBlocks(fn.body);
-  markPredecessors(fn.body);
-  markInstructionIds(fn.body);
-  fixScopeAndIdentifierRanges(fn.body);
-}

 function createSymbolProperty(
  fn: HIRFunction,
@@ -709,50 +315,112 @@ function createPropsProperties(
  return {refProperty, keyProperty, propsProperty};
 }

-function handlePlace(
-  place: Place,
-  blockId: BlockId,
-  inlinedJsxDeclarations: InlinedJsxDeclarationMap,
-): Place {
-  const inlinedJsxDeclaration = inlinedJsxDeclarations.get(
-    place.identifier.declarationId,
-  );
-  if (
-    inlinedJsxDeclaration == null ||
-    inlinedJsxDeclaration.blockIdsToIgnore.has(blockId)
-  ) {
-    return place;
+// TODO: Make PROD only with conditional statements
+export function inlineJsxTransform(
+  fn: HIRFunction,
+  inlineJsxTransformConfig: NonNullable<
+    EnvironmentConfig['inlineJsxTransform']
+  >,
+): void {
+  for (const [, block] of fn.body.blocks) {
+    let nextInstructions: Array<Instruction> | null = null;
+    for (let i = 0; i < block.instructions.length; i++) {
+      const instr = block.instructions[i]!;
+      switch (instr.value.kind) {
+        case 'JsxExpression': {
+          nextInstructions ??= block.instructions.slice(0, i);
+
+          const {refProperty, keyProperty, propsProperty} =
+            createPropsProperties(
+              fn,
+              instr,
+              nextInstructions,
+              instr.value.props,
+              instr.value.children,
+            );
+          const reactElementInstruction: Instruction = {
+            id: makeInstructionId(0),
+            lvalue: {...instr.lvalue, effect: Effect.Store},
+            value: {
+              kind: 'ObjectExpression',
+              properties: [
+                createSymbolProperty(
+                  fn,
+                  instr,
+                  nextInstructions,
+                  '$$typeof',
+                  inlineJsxTransformConfig.elementSymbol,
+                ),
+                createTagProperty(fn, instr, nextInstructions, instr.value.tag),
+                refProperty,
+                keyProperty,
+                propsProperty,
+              ],
+              loc: instr.value.loc,
+            },
+            loc: instr.loc,
+          };
+          nextInstructions.push(reactElementInstruction);
+
+          break;
+        }
+        case 'JsxFragment': {
+          nextInstructions ??= block.instructions.slice(0, i);
+          const {refProperty, keyProperty, propsProperty} =
+            createPropsProperties(
+              fn,
+              instr,
+              nextInstructions,
+              [],
+              instr.value.children,
+            );
+          const reactElementInstruction: Instruction = {
+            id: makeInstructionId(0),
+            lvalue: {...instr.lvalue, effect: Effect.Store},
+            value: {
+              kind: 'ObjectExpression',
+              properties: [
+                createSymbolProperty(
+                  fn,
+                  instr,
+                  nextInstructions,
+                  '$$typeof',
+                  inlineJsxTransformConfig.elementSymbol,
+                ),
+                createSymbolProperty(
+                  fn,
+                  instr,
+                  nextInstructions,
+                  'type',
+                  'react.fragment',
+                ),
+                refProperty,
+                keyProperty,
+                propsProperty,
+              ],
+              loc: instr.value.loc,
+            },
+            loc: instr.loc,
+          };
+          nextInstructions.push(reactElementInstruction);
+          break;
+        }
+        default: {
+          if (nextInstructions !== null) {
+            nextInstructions.push(instr);
+          }
+        }
+      }
+    }
+    if (nextInstructions !== null) {
+      block.instructions = nextInstructions;
+    }
  }

-  return {...place, identifier: inlinedJsxDeclaration.identifier};
-}
-
-function handlelValue(
-  lvalue: Place,
-  blockId: BlockId,
-  inlinedJsxDeclarations: InlinedJsxDeclarationMap,
-): Place {
-  const inlinedJsxDeclaration = inlinedJsxDeclarations.get(
-    lvalue.identifier.declarationId,
-  );
-  if (
-    inlinedJsxDeclaration == null ||
-    inlinedJsxDeclaration.blockIdsToIgnore.has(blockId)
-  ) {
-    return lvalue;
-  }
-
-  return {...lvalue, identifier: inlinedJsxDeclaration.identifier};
-}
-
-function handleIdentifier(
-  identifier: Identifier,
-  inlinedJsxDeclarations: InlinedJsxDeclarationMap,
-): Identifier {
-  const inlinedJsxDeclaration = inlinedJsxDeclarations.get(
-    identifier.declarationId,
-  );
-  return inlinedJsxDeclaration == null
-    ? identifier
-    : inlinedJsxDeclaration.identifier;
+  // Fixup the HIR to restore RPO, ensure correct predecessors, and renumber instructions.
+  reversePostorderBlocks(fn.body);
+  markPredecessors(fn.body);
+  markInstructionIds(fn.body);
+  // The renumbering instructions invalidates scope and identifier ranges
+  fixScopeAndIdentifierRanges(fn.body);
 }
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/LowerContextAccess.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/LowerContextAccess.ts
@@ -270,7 +270,6 @@ function emitSelectorFn(env: Environment, keys: Array<string>): Instruction {
      name: null,
      loweredFunc: {
        func: fn,
-        dependencies: [],
      },
      type: 'ArrowFunctionExpression',
      loc: GeneratedSource,
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/OutlineFunctions.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/OutlineFunctions.ts
@@ -24,7 +24,6 @@ export function outlineFunctions(
      }
      if (
        value.kind === 'FunctionExpression' &&
-        value.loweredFunc.dependencies.length === 0 &&
        value.loweredFunc.func.context.length === 0 &&
        // TODO: handle outlining named functions
        value.loweredFunc.func.id === null &&
--- a/compiler/packages/babel-plugin-react-compiler/src/Optimization/OutlineJsx.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Optimization/OutlineJsx.ts
@@ -1,520 +0,0 @@
-/**
- * Copyright (c) Meta Platforms, Inc. and affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- */
-
-import invariant from 'invariant';
-import {Environment} from '../HIR';
-import {
-  BasicBlock,
-  GeneratedSource,
-  HIRFunction,
-  IdentifierId,
-  Instruction,
-  InstructionId,
-  InstructionKind,
-  JsxAttribute,
-  JsxExpression,
-  LoadGlobal,
-  makeBlockId,
-  makeIdentifierName,
-  makeInstructionId,
-  makeType,
-  ObjectProperty,
-  Place,
-  promoteTemporary,
-  promoteTemporaryJsxTag,
-} from '../HIR/HIR';
-import {createTemporaryPlace} from '../HIR/HIRBuilder';
-import {printIdentifier} from '../HIR/PrintHIR';
-import {deadCodeElimination} from './DeadCodeElimination';
-import {assertExhaustive} from '../Utils/utils';
-
-export function outlineJSX(fn: HIRFunction): void {
-  const outlinedFns: Array<HIRFunction> = [];
-  outlineJsxImpl(fn, outlinedFns);
-
-  for (const outlinedFn of outlinedFns) {
-    fn.env.outlineFunction(outlinedFn, 'Component');
-  }
-}
-
-type JsxInstruction = Instruction & {value: JsxExpression};
-type LoadGlobalInstruction = Instruction & {value: LoadGlobal};
-type LoadGlobalMap = Map<IdentifierId, LoadGlobalInstruction>;
-
-type State = {
-  jsx: Array<JsxInstruction>;
-  children: Set<IdentifierId>;
-};
-
-function outlineJsxImpl(
-  fn: HIRFunction,
-  outlinedFns: Array<HIRFunction>,
-): void {
-  const globals: LoadGlobalMap = new Map();
-
-  function processAndOutlineJSX(
-    state: State,
-    rewriteInstr: Map<InstructionId, Array<Instruction>>,
-  ): void {
-    if (state.jsx.length <= 1) {
-      return;
-    }
-    const result = process(
-      fn,
-      [...state.jsx].sort((a, b) => a.id - b.id),
-      globals,
-    );
-    if (result) {
-      outlinedFns.push(result.fn);
-      rewriteInstr.set(state.jsx.at(0)!.id, result.instrs);
-    }
-  }
-
-  for (const [, block] of fn.body.blocks) {
-    const rewriteInstr = new Map();
-    let state: State = {
-      jsx: [],
-      children: new Set(),
-    };
-
-    for (let i = block.instructions.length - 1; i >= 0; i--) {
-      const instr = block.instructions[i];
-      const {value, lvalue} = instr;
-      switch (value.kind) {
-        case 'LoadGlobal': {
-          globals.set(lvalue.identifier.id, instr as LoadGlobalInstruction);
-          break;
-        }
-        case 'FunctionExpression': {
-          outlineJsxImpl(value.loweredFunc.func, outlinedFns);
-          break;
-        }
-
-        case 'JsxExpression': {
-          if (!state.children.has(lvalue.identifier.id)) {
-            processAndOutlineJSX(state, rewriteInstr);
-
-            state = {
-              jsx: [],
-              children: new Set(),
-            };
-          }
-          state.jsx.push(instr as JsxInstruction);
-          if (value.children) {
-            for (const child of value.children) {
-              state.children.add(child.identifier.id);
-            }
-          }
-          break;
-        }
-        case 'ArrayExpression':
-        case 'Await':
-        case 'BinaryExpression':
-        case 'CallExpression':
-        case 'ComputedDelete':
-        case 'ComputedLoad':
-        case 'ComputedStore':
-        case 'Debugger':
-        case 'DeclareContext':
-        case 'DeclareLocal':
-        case 'Destructure':
-        case 'FinishMemoize':
-        case 'GetIterator':
-        case 'IteratorNext':
-        case 'JSXText':
-        case 'JsxFragment':
-        case 'LoadContext':
-        case 'LoadLocal':
-        case 'MetaProperty':
-        case 'MethodCall':
-        case 'NewExpression':
-        case 'NextPropertyOf':
-        case 'ObjectExpression':
-        case 'ObjectMethod':
-        case 'PostfixUpdate':
-        case 'PrefixUpdate':
-        case 'Primitive':
-        case 'PropertyDelete':
-        case 'PropertyLoad':
-        case 'PropertyStore':
-        case 'RegExpLiteral':
-        case 'StartMemoize':
-        case 'StoreContext':
-        case 'StoreGlobal':
-        case 'StoreLocal':
-        case 'TaggedTemplateExpression':
-        case 'TemplateLiteral':
-        case 'TypeCastExpression':
-        case 'UnsupportedNode':
-        case 'UnaryExpression': {
-          break;
-        }
-        default: {
-          assertExhaustive(value, `Unexpected instruction: ${value}`);
-        }
-      }
-    }
-    processAndOutlineJSX(state, rewriteInstr);
-
-    if (rewriteInstr.size > 0) {
-      const newInstrs = [];
-      for (let i = 0; i < block.instructions.length; i++) {
-        // InstructionId's are one-indexed, so add one to account for them.
-        const id = i + 1;
-        if (rewriteInstr.has(id)) {
-          const instrs = rewriteInstr.get(id);
-          newInstrs.push(...instrs);
-        } else {
-          newInstrs.push(block.instructions[i]);
-        }
-      }
-      block.instructions = newInstrs;
-    }
-    deadCodeElimination(fn);
-  }
-}
-
-type OutlinedResult = {
-  instrs: Array<Instruction>;
-  fn: HIRFunction;
-};
-
-function process(
-  fn: HIRFunction,
-  jsx: Array<JsxInstruction>,
-  globals: LoadGlobalMap,
-): OutlinedResult | null {
-  /**
-   * In the future, add a check for backedge to outline jsx inside loops in a
-   * top level component. For now, only outline jsx in callbacks.
-   */
-  if (fn.fnType === 'Component') {
-    return null;
-  }
-
-  const props = collectProps(jsx);
-  if (!props) return null;
-
-  const outlinedTag = fn.env.generateGloballyUniqueIdentifierName(null).value;
-  const newInstrs = emitOutlinedJsx(fn.env, jsx, props, outlinedTag);
-  if (!newInstrs) return null;
-
-  const outlinedFn = emitOutlinedFn(fn.env, jsx, props, globals);
-  if (!outlinedFn) return null;
-  outlinedFn.id = outlinedTag;
-
-  return {instrs: newInstrs, fn: outlinedFn};
-}
-
-type OutlinedJsxAttribute = {
-  originalName: string;
-  newName: string;
-  place: Place;
-};
-
-function collectProps(
-  instructions: Array<JsxInstruction>,
-): Array<OutlinedJsxAttribute> | null {
-  let id = 1;
-
-  function generateName(oldName: string): string {
-    let newName = oldName;
-    while (seen.has(newName)) {
-      newName = `${oldName}${id++}`;
-    }
-    seen.add(newName);
-    return newName;
-  }
-
-  const attributes: Array<OutlinedJsxAttribute> = [];
-  const jsxIds = new Set(instructions.map(i => i.lvalue.identifier.id));
-  const seen: Set<string> = new Set();
-
-  for (const instr of instructions) {
-    const {value} = instr;
-
-    for (const at of value.props) {
-      if (at.kind === 'JsxSpreadAttribute') {
-        return null;
-      }
-
-      if (at.kind === 'JsxAttribute') {
-        const newName = generateName(at.name);
-        attributes.push({
-          originalName: at.name,
-          newName,
-          place: at.place,
-        });
-      }
-    }
-
-    if (value.children) {
-      for (const child of value.children) {
-        if (jsxIds.has(child.identifier.id)) {
-          continue;
-        }
-
-        promoteTemporary(child.identifier);
-        const newName = generateName('t');
-        attributes.push({
-          originalName: child.identifier.name!.value,
-          newName: newName,
-          place: child,
-        });
-      }
-    }
-  }
-  return attributes;
-}
-
-function emitOutlinedJsx(
-  env: Environment,
-  instructions: Array<Instruction>,
-  outlinedProps: Array<OutlinedJsxAttribute>,
-  outlinedTag: string,
-): Array<Instruction> {
-  const props: Array<JsxAttribute> = outlinedProps.map(p => ({
-    kind: 'JsxAttribute',
-    name: p.newName,
-    place: p.place,
-  }));
-
-  const loadJsx: Instruction = {
-    id: makeInstructionId(0),
-    loc: GeneratedSource,
-    lvalue: createTemporaryPlace(env, GeneratedSource),
-    value: {
-      kind: 'LoadGlobal',
-      binding: {
-        kind: 'ModuleLocal',
-        name: outlinedTag,
-      },
-      loc: GeneratedSource,
-    },
-  };
-  promoteTemporaryJsxTag(loadJsx.lvalue.identifier);
-  const jsxExpr: Instruction = {
-    id: makeInstructionId(0),
-    loc: GeneratedSource,
-    lvalue: instructions.at(-1)!.lvalue,
-    value: {
-      kind: 'JsxExpression',
-      tag: {...loadJsx.lvalue},
-      props,
-      children: null,
-      loc: GeneratedSource,
-      openingLoc: GeneratedSource,
-      closingLoc: GeneratedSource,
-    },
-  };
-
-  return [loadJsx, jsxExpr];
-}
-
-function emitOutlinedFn(
-  env: Environment,
-  jsx: Array<JsxInstruction>,
-  oldProps: Array<OutlinedJsxAttribute>,
-  globals: LoadGlobalMap,
-): HIRFunction | null {
-  const instructions: Array<Instruction> = [];
-  const oldToNewProps = createOldToNewPropsMapping(env, oldProps);
-
-  const propsObj: Place = createTemporaryPlace(env, GeneratedSource);
-  promoteTemporary(propsObj.identifier);
-
-  const destructurePropsInstr = emitDestructureProps(
-    env,
-    propsObj,
-    oldToNewProps,
-  );
-  instructions.push(destructurePropsInstr);
-
-  const updatedJsxInstructions = emitUpdatedJsx(jsx, oldToNewProps);
-  const loadGlobalInstrs = emitLoadGlobals(jsx, globals);
-  if (!loadGlobalInstrs) {
-    return null;
-  }
-  instructions.push(...loadGlobalInstrs);
-  instructions.push(...updatedJsxInstructions);
-
-  const block: BasicBlock = {
-    kind: 'block',
-    id: makeBlockId(0),
-    instructions,
-    terminal: {
-      id: makeInstructionId(0),
-      kind: 'return',
-      loc: GeneratedSource,
-      value: instructions.at(-1)!.lvalue,
-    },
-    preds: new Set(),
-    phis: new Set(),
-  };
-
-  const fn: HIRFunction = {
-    loc: GeneratedSource,
-    id: null,
-    fnType: 'Other',
-    env,
-    params: [propsObj],
-    returnTypeAnnotation: null,
-    returnType: makeType(),
-    context: [],
-    effects: null,
-    body: {
-      entry: block.id,
-      blocks: new Map([[block.id, block]]),
-    },
-    generator: false,
-    async: false,
-    directives: [],
-  };
-  return fn;
-}
-
-function emitLoadGlobals(
-  jsx: Array<JsxInstruction>,
-  globals: LoadGlobalMap,
-): Array<Instruction> | null {
-  const instructions: Array<Instruction> = [];
-  for (const {value} of jsx) {
-    // Add load globals instructions for jsx tags
-    if (value.tag.kind === 'Identifier') {
-      const loadGlobalInstr = globals.get(value.tag.identifier.id);
-      if (!loadGlobalInstr) {
-        return null;
-      }
-      instructions.push(loadGlobalInstr);
-    }
-  }
-
-  return instructions;
-}
-
-function emitUpdatedJsx(
-  jsx: Array<JsxInstruction>,
-  oldToNewProps: Map<IdentifierId, OutlinedJsxAttribute>,
-): Array<JsxInstruction> {
-  const newInstrs: Array<JsxInstruction> = [];
-  const jsxIds = new Set(jsx.map(i => i.lvalue.identifier.id));
-
-  for (const instr of jsx) {
-    const {value} = instr;
-    const newProps: Array<JsxAttribute> = [];
-    // Update old props references to use the newly destructured props param
-    for (const prop of value.props) {
-      invariant(
-        prop.kind === 'JsxAttribute',
-        `Expected only attributes but found ${prop.kind}`,
-      );
-      if (prop.name === 'key') {
-        continue;
-      }
-      const newProp = oldToNewProps.get(prop.place.identifier.id);
-      invariant(
-        newProp !== undefined,
-        `Expected a new property for ${printIdentifier(prop.place.identifier)}`,
-      );
-      newProps.push({
-        kind: 'JsxAttribute',
-        name: newProp.originalName,
-        place: newProp.place,
-      });
-    }
-
-    let newChildren: Array<Place> | null = null;
-    if (value.children) {
-      newChildren = [];
-      for (const child of value.children) {
-        if (jsxIds.has(child.identifier.id)) {
-          newChildren.push({...child});
-          continue;
-        }
-
-        const newChild = oldToNewProps.get(child.identifier.id);
-        invariant(
-          newChild !== undefined,
-          `Expected a new prop for ${printIdentifier(child.identifier)}`,
-        );
-        newChildren.push({...newChild.place});
-      }
-    }
-
-    newInstrs.push({
-      ...instr,
-      value: {
-        ...value,
-        props: newProps,
-        children: newChildren,
-      },
-    });
-  }
-
-  return newInstrs;
-}
-
-function createOldToNewPropsMapping(
-  env: Environment,
-  oldProps: Array<OutlinedJsxAttribute>,
-): Map<IdentifierId, OutlinedJsxAttribute> {
-  const oldToNewProps = new Map();
-
-  for (const oldProp of oldProps) {
-    // Do not read key prop in the outlined component
-    if (oldProp.originalName === 'key') {
-      continue;
-    }
-
-    const newProp: OutlinedJsxAttribute = {
-      ...oldProp,
-      place: createTemporaryPlace(env, GeneratedSource),
-    };
-    newProp.place.identifier.name = makeIdentifierName(oldProp.newName);
-    oldToNewProps.set(oldProp.place.identifier.id, newProp);
-  }
-
-  return oldToNewProps;
-}
-
-function emitDestructureProps(
-  env: Environment,
-  propsObj: Place,
-  oldToNewProps: Map<IdentifierId, OutlinedJsxAttribute>,
-): Instruction {
-  const properties: Array<ObjectProperty> = [];
-  for (const [_, prop] of oldToNewProps) {
-    properties.push({
-      kind: 'ObjectProperty',
-      key: {
-        kind: 'string',
-        name: prop.newName,
-      },
-      type: 'property',
-      place: prop.place,
-    });
-  }
-
-  const destructurePropsInstr: Instruction = {
-    id: makeInstructionId(0),
-    lvalue: createTemporaryPlace(env, GeneratedSource),
-    loc: GeneratedSource,
-    value: {
-      kind: 'Destructure',
-      lvalue: {
-        pattern: {
-          kind: 'ObjectPattern',
-          properties,
-        },
-        kind: InstructionKind.Let,
-      },
-      loc: GeneratedSource,
-      value: propsObj,
-    },
-  };
-  return destructurePropsInstr;
-}
--- a/compiler/packages/babel-plugin-react-compiler/src/ReactiveScopes/CodegenReactiveFunction.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/ReactiveScopes/CodegenReactiveFunction.ts
@@ -34,7 +34,6 @@ import {
  ReactiveInstruction,
  ReactiveScope,
  ReactiveScopeBlock,
-  ReactiveScopeDeclaration,
  ReactiveScopeDependency,
  ReactiveTerminal,
  ReactiveValue,
@@ -573,8 +572,7 @@ function codegenReactiveScope(
  const changeExpressions: Array<t.Expression> = [];
  const changeExpressionComments: Array<string> = [];
  const outputComments: Array<string> = [];
-
-  for (const dep of [...scope.dependencies].sort(compareScopeDependency)) {
+  for (const dep of scope.dependencies) {
    const index = cx.nextCacheIndex;
    changeExpressionComments.push(printDependencyComment(dep));
    const comparison = t.binaryExpression(
@@ -617,10 +615,7 @@ function codegenReactiveScope(
    );
  }
  let firstOutputIndex: number | null = null;
-
-  for (const [, {identifier}] of [...scope.declarations].sort(([, a], [, b]) =>
-    compareScopeDeclaration(a, b),
-  )) {
+  for (const [, {identifier}] of scope.declarations) {
    const index = cx.nextCacheIndex;
    if (firstOutputIndex === null) {
      firstOutputIndex = index;
@@ -2571,45 +2566,3 @@ function convertIdentifier(identifier: Identifier): t.Identifier {
  );
  return t.identifier(identifier.name.value);
 }
-
-function compareScopeDependency(
-  a: ReactiveScopeDependency,
-  b: ReactiveScopeDependency,
-): number {
-  CompilerError.invariant(
-    a.identifier.name?.kind === 'named' && b.identifier.name?.kind === 'named',
-    {
-      reason: '[Codegen] Expected named identifier for dependency',
-      loc: a.identifier.loc,
-    },
-  );
-  const aName = [
-    a.identifier.name.value,
-    ...a.path.map(entry => `${entry.optional ? '?' : ''}${entry.property}`),
-  ].join('.');
-  const bName = [
-    b.identifier.name.value,
-    ...b.path.map(entry => `${entry.optional ? '?' : ''}${entry.property}`),
-  ].join('.');
-  if (aName < bName) return -1;
-  else if (aName > bName) return 1;
-  else return 0;
-}
-
-function compareScopeDeclaration(
-  a: ReactiveScopeDeclaration,
-  b: ReactiveScopeDeclaration,
-): number {
-  CompilerError.invariant(
-    a.identifier.name?.kind === 'named' && b.identifier.name?.kind === 'named',
-    {
-      reason: '[Codegen] Expected named identifier for declaration',
-      loc: a.identifier.loc,
-    },
-  );
-  const aName = a.identifier.name.value;
-  const bName = b.identifier.name.value;
-  if (aName < bName) return -1;
-  else if (aName > bName) return 1;
-  else return 0;
-}
--- a/compiler/packages/babel-plugin-react-compiler/src/Validation/ValidateNoRefAccesInRender.ts
+++ b/compiler/packages/babel-plugin-react-compiler/src/Validation/ValidateNoRefAccesInRender.ts
@@ -7,8 +7,8 @@

 import {CompilerError, ErrorSeverity} from '../CompilerError';
 import {
-  BlockId,
  HIRFunction,
+  Identifier,
  IdentifierId,
  Place,
  SourceLocation,
@@ -17,7 +17,6 @@ import {
  isUseRefType,
 } from '../HIR';
 import {
-  eachInstructionOperand,
  eachInstructionValueOperand,
  eachPatternOperand,
  eachTerminalOperand,
@@ -45,32 +44,11 @@ import {Err, Ok, Result} from '../Utils/Result';
 * or based on property name alone (`foo.current` might be a ref).
 */

-const opaqueRefId = Symbol();
-type RefId = number & {[opaqueRefId]: 'RefId'};
-
-function makeRefId(id: number): RefId {
-  CompilerError.invariant(id >= 0 && Number.isInteger(id), {
-    reason: 'Expected identifier id to be a non-negative integer',
-    description: null,
-    loc: null,
-    suggestions: null,
-  });
-  return id as RefId;
-}
-let _refId = 0;
-function nextRefId(): RefId {
-  return makeRefId(_refId++);
-}
-
-type RefAccessType =
-  | {kind: 'None'}
-  | {kind: 'Nullable'}
-  | {kind: 'Guard'; refId: RefId}
-  | RefAccessRefType;
+type RefAccessType = {kind: 'None'} | RefAccessRefType;

 type RefAccessRefType =
-  | {kind: 'Ref'; refId: RefId}
-  | {kind: 'RefValue'; loc?: SourceLocation; refId?: RefId}
+  | {kind: 'Ref'}
+  | {kind: 'RefValue'; loc?: SourceLocation}
  | {kind: 'Structure'; value: null | RefAccessRefType; fn: null | RefFnType};

 type RefFnType = {readRefEffect: boolean; returnType: RefAccessType};
@@ -104,11 +82,11 @@ export function validateNoRefAccessInRender(fn: HIRFunction): void {
  validateNoRefAccessInRenderImpl(fn, env).unwrap();
 }

-function refTypeOfType(place: Place): RefAccessType {
-  if (isRefValueType(place.identifier)) {
+function refTypeOfType(identifier: Identifier): RefAccessType {
+  if (isRefValueType(identifier)) {
    return {kind: 'RefValue'};
-  } else if (isUseRefType(place.identifier)) {
-    return {kind: 'Ref', refId: nextRefId()};
+  } else if (isUseRefType(identifier)) {
+    return {kind: 'Ref'};
  } else {
    return {kind: 'None'};
  }
@@ -123,14 +101,6 @@ function tyEqual(a: RefAccessType, b: RefAccessType): boolean {
      return true;
    case 'Ref':
      return true;
-    case 'Nullable':
-      return true;
-    case 'Guard':
-      CompilerError.invariant(b.kind === 'Guard', {
-        reason: 'Expected ref value',
-        loc: null,
-      });
-      return a.refId === b.refId;
    case 'RefValue':
      CompilerError.invariant(b.kind === 'RefValue', {
        reason: 'Expected ref value',
@@ -163,17 +133,11 @@ function joinRefAccessTypes(...types: Array<RefAccessType>): RefAccessType {
    b: RefAccessRefType,
  ): RefAccessRefType {
    if (a.kind === 'RefValue') {
-      if (b.kind === 'RefValue' && a.refId === b.refId) {
-        return a;
-      }
-      return {kind: 'RefValue'};
+      return a;
    } else if (b.kind === 'RefValue') {
      return b;
    } else if (a.kind === 'Ref' || b.kind === 'Ref') {
-      if (a.kind === 'Ref' && b.kind === 'Ref' && a.refId === b.refId) {
-        return a;
-      }
-      return {kind: 'Ref', refId: nextRefId()};
+      return {kind: 'Ref'};
    } else {
      CompilerError.invariant(
        a.kind === 'Structure' && b.kind === 'Structure',
@@ -214,24 +178,6 @@ function joinRefAccessTypes(...types: Array<RefAccessType>): RefAccessType {
        return b;
      } else if (b.kind === 'None') {
        return a;
-      } else if (a.kind === 'Guard') {
-        if (b.kind === 'Guard' && a.refId === b.refId) {
-          return a;
-        } else if (b.kind === 'Nullable' || b.kind === 'Guard') {
-          return {kind: 'None'};
-        } else {
-          return b;
-        }
-      } else if (b.kind === 'Guard') {
-        if (a.kind === 'Nullable') {
-          return {kind: 'None'};
-        } else {
-          return b;
-        }
-      } else if (a.kind === 'Nullable') {
-        return b;
-      } else if (b.kind === 'Nullable') {
-        return a;
      } else {
        return joinRefAccessRefTypes(a, b);
      }
@@ -252,14 +198,13 @@ function validateNoRefAccessInRenderImpl(
    } else {
      place = param.place;
    }
-    const type = refTypeOfType(place);
+    const type = refTypeOfType(place.identifier);
    env.set(place.identifier.id, type);
  }

  for (let i = 0; (i == 0 || env.hasChanged()) && i < 10; i++) {
    env.resetChanged();
    returnValues = [];
-    const safeBlocks = new Map<BlockId, RefId>();
    const errors = new CompilerError();
    for (const [, block] of fn.body.blocks) {
      for (const phi of block.phis) {
@@ -293,15 +238,11 @@ function validateNoRefAccessInRenderImpl(
            if (objType?.kind === 'Structure') {
              lookupType = objType.value;
            } else if (objType?.kind === 'Ref') {
-              lookupType = {
-                kind: 'RefValue',
-                loc: instr.loc,
-                refId: objType.refId,
-              };
+              lookupType = {kind: 'RefValue', loc: instr.loc};
            }
            env.set(
              instr.lvalue.identifier.id,
-              lookupType ?? refTypeOfType(instr.lvalue),
+              lookupType ?? refTypeOfType(instr.lvalue.identifier),
            );
            break;
          }
@@ -310,7 +251,7 @@ function validateNoRefAccessInRenderImpl(
            env.set(
              instr.lvalue.identifier.id,
              env.get(instr.value.place.identifier.id) ??
-                refTypeOfType(instr.lvalue),
+                refTypeOfType(instr.lvalue.identifier),
            );
            break;
          }
@@ -319,12 +260,12 @@ function validateNoRefAccessInRenderImpl(
            env.set(
              instr.value.lvalue.place.identifier.id,
              env.get(instr.value.value.identifier.id) ??
-                refTypeOfType(instr.value.lvalue.place),
+                refTypeOfType(instr.value.lvalue.place.identifier),
            );
            env.set(
              instr.lvalue.identifier.id,
              env.get(instr.value.value.identifier.id) ??
-                refTypeOfType(instr.lvalue),
+                refTypeOfType(instr.lvalue.identifier),
            );
            break;
          }
@@ -336,10 +277,13 @@ function validateNoRefAccessInRenderImpl(
            }
            env.set(
              instr.lvalue.identifier.id,
-              lookupType ?? refTypeOfType(instr.lvalue),
+              lookupType ?? refTypeOfType(instr.lvalue.identifier),
            );
            for (const lval of eachPatternOperand(instr.value.lvalue.pattern)) {
-              env.set(lval.identifier.id, lookupType ?? refTypeOfType(lval));
+              env.set(
+                lval.identifier.id,
+                lookupType ?? refTypeOfType(lval.identifier),
+              );
            }
            break;
          }
@@ -410,11 +354,7 @@ function validateNoRefAccessInRenderImpl(
              types.push(env.get(operand.identifier.id) ?? {kind: 'None'});
            }
            const value = joinRefAccessTypes(...types);
-            if (
-              value.kind === 'None' ||
-              value.kind === 'Guard' ||
-              value.kind === 'Nullable'
-            ) {
+            if (value.kind === 'None') {
              env.set(instr.lvalue.identifier.id, {kind: 'None'});
            } else {
              env.set(instr.lvalue.identifier.id, {
@@ -429,18 +369,7 @@ function validateNoRefAccessInRenderImpl(
          case 'PropertyStore':
          case 'ComputedDelete':
          case 'ComputedStore': {
-            const safe = safeBlocks.get(block.id);
-            const target = env.get(instr.value.object.identifier.id);
-            if (
-              instr.value.kind === 'PropertyStore' &&
-              safe != null &&
-              target?.kind === 'Ref' &&
-              target.refId === safe
-            ) {
-              safeBlocks.delete(block.id);
-            } else {
-              validateNoRefAccess(errors, env, instr.value.object, instr.loc);
-            }
+            validateNoRefAccess(errors, env, instr.value.object, instr.loc);
            for (const operand of eachInstructionValueOperand(instr.value)) {
              if (operand === instr.value.object) {
                continue;
@@ -452,38 +381,6 @@ function validateNoRefAccessInRenderImpl(
          case 'StartMemoize':
          case 'FinishMemoize':
            break;
-          case 'Primitive': {
-            if (instr.value.value == null) {
-              env.set(instr.lvalue.identifier.id, {kind: 'Nullable'});
-            }
-            break;
-          }
-          case 'BinaryExpression': {
-            const left = env.get(instr.value.left.identifier.id);
-            const right = env.get(instr.value.right.identifier.id);
-            let nullish: boolean = false;
-            let refId: RefId | null = null;
-            if (left?.kind === 'RefValue' && left.refId != null) {
-              refId = left.refId;
-            } else if (right?.kind === 'RefValue' && right.refId != null) {
-              refId = right.refId;
-            }
-
-            if (left?.kind === 'Nullable') {
-              nullish = true;
-            } else if (right?.kind === 'Nullable') {
-              nullish = true;
-            }
-
-            if (refId !== null && nullish) {
-              env.set(instr.lvalue.identifier.id, {kind: 'Guard', refId});
-            } else {
-              for (const operand of eachInstructionValueOperand(instr.value)) {
-                validateNoRefValueAccess(errors, env, operand);
-              }
-            }
-            break;
-          }
          default: {
            for (const operand of eachInstructionValueOperand(instr.value)) {
              validateNoRefValueAccess(errors, env, operand);
@@ -491,28 +388,16 @@ function validateNoRefAccessInRenderImpl(
            break;
          }
        }
-
-        // Guard values are derived from ref.current, so they can only be used in if statement targets
-        for (const operand of eachInstructionOperand(instr)) {
-          guardCheck(errors, operand, env);
-        }
-
-        if (
-          isUseRefType(instr.lvalue.identifier) &&
-          env.get(instr.lvalue.identifier.id)?.kind !== 'Ref'
-        ) {
+        if (isUseRefType(instr.lvalue.identifier)) {
          env.set(
            instr.lvalue.identifier.id,
            joinRefAccessTypes(
              env.get(instr.lvalue.identifier.id) ?? {kind: 'None'},
-              {kind: 'Ref', refId: nextRefId()},
+              {kind: 'Ref'},
            ),
          );
        }
-        if (
-          isRefValueType(instr.lvalue.identifier) &&
-          env.get(instr.lvalue.identifier.id)?.kind !== 'RefValue'
-        ) {
+        if (isRefValueType(instr.lvalue.identifier)) {
          env.set(
            instr.lvalue.identifier.id,
            joinRefAccessTypes(
@@ -522,24 +407,12 @@ function validateNoRefAccessInRenderImpl(
          );
        }
      }
-
-      if (block.terminal.kind === 'if') {
-        const test = env.get(block.terminal.test.identifier.id);
-        if (test?.kind === 'Guard') {
-          safeBlocks.set(block.terminal.consequent, test.refId);
-        }
-      }
-
      for (const operand of eachTerminalOperand(block.terminal)) {
        if (block.terminal.kind !== 'return') {
          validateNoRefValueAccess(errors, env, operand);
-          if (block.terminal.kind !== 'if') {
-            guardCheck(errors, operand, env);
-          }
        } else {
          // Allow functions containing refs to be returned, but not direct ref values
          validateNoDirectRefValueAccess(errors, operand, env);
-          guardCheck(errors, operand, env);
          returnValues.push(env.get(operand.identifier.id));
        }
      }
@@ -571,23 +444,6 @@ function destructure(
  return type;
 }

-function guardCheck(errors: CompilerError, operand: Place, env: Env): void {
-  if (env.get(operand.identifier.id)?.kind === 'Guard') {
-    errors.push({
-      severity: ErrorSeverity.InvalidReact,
-      reason:
-        'Ref values (the `current` property) may not be accessed during render. (https://react.dev/reference/react/useRef)',
-      loc: operand.loc,
-      description:
-        operand.identifier.name !== null &&
-        operand.identifier.name.kind === 'named'
-          ? `Cannot access ref value \`${operand.identifier.name.value}\``
-          : null,
-      suggestions: null,
-    });
-  }
-}
-
 function validateNoRefValueAccess(
  errors: CompilerError,
  env: Env,
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allocating-primitive-as-dep-nested-scope.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allocating-primitive-as-dep-nested-scope.expect.md
@@ -47,7 +47,7 @@ import { identity, mutate, setProperty } from "shared-runtime";
 function AllocatingPrimitiveAsDepNested(props) {
  const $ = _c(5);
  let t0;
-  if ($[0] !== props.a || $[1] !== props.b) {
+  if ($[0] !== props.b || $[1] !== props.a) {
    const x = {};
    mutate(x);
    const t1 = identity(props.b) + 1;
@@ -62,8 +62,8 @@ function AllocatingPrimitiveAsDepNested(props) {
    const y = t2;
    setProperty(x, props.a);
    t0 = [x, y];
-    $[0] = props.a;
-    $[1] = props.b;
+    $[0] = props.b;
+    $[1] = props.a;
    $[2] = t0;
  } else {
    t0 = $[2];
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-access-in-unused-callback-nested.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-access-in-unused-callback-nested.expect.md
@@ -44,48 +44,44 @@ import { c as _c } from "react/compiler-runtime"; // @validateRefAccessDuringRen
 import { useEffect, useRef, useState } from "react";

 function Component() {
-  const $ = _c(6);
+  const $ = _c(5);
  const ref = useRef(null);
  const [state, setState] = useState(false);
  let t0;
-  let t1;
  if ($[0] === Symbol.for("react.memo_cache_sentinel")) {
-    t0 = () => {};
-
-    t1 = [];
+    t0 = [];
    $[0] = t0;
-    $[1] = t1;
  } else {
    t0 = $[0];
-    t1 = $[1];
  }
-  useEffect(t0, t1);
+  useEffect(_temp, t0);
+  let t1;
  let t2;
-  let t3;
-  if ($[2] === Symbol.for("react.memo_cache_sentinel")) {
-    t2 = () => {
+  if ($[1] === Symbol.for("react.memo_cache_sentinel")) {
+    t1 = () => {
      setState(true);
    };
-    t3 = [];
+    t2 = [];
+    $[1] = t1;
    $[2] = t2;
-    $[3] = t3;
  } else {
+    t1 = $[1];
    t2 = $[2];
-    t3 = $[3];
  }
-  useEffect(t2, t3);
+  useEffect(t1, t2);

-  const t4 = String(state);
-  let t5;
-  if ($[4] !== t4) {
-    t5 = <Child key={t4} ref={ref} />;
+  const t3 = String(state);
+  let t4;
+  if ($[3] !== t3) {
+    t4 = <Child key={t3} ref={ref} />;
+    $[3] = t3;
    $[4] = t4;
-    $[5] = t5;
  } else {
-    t5 = $[5];
+    t4 = $[4];
  }
-  return t5;
+  return t4;
 }
+function _temp() {}

 function Child(t0) {
  const { ref } = t0;
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-initialization.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-initialization.expect.md
@@ -1,42 +0,0 @@
-
-## Input
-
-```javascript
-//@flow
-import {useRef} from 'react';
-
-component C() {
-  const r = useRef(null);
-  if (r.current == null) {
-    r.current = 1;
-  }
-}
-
-export const FIXTURE_ENTRYPOINT = {
-  fn: C,
-  params: [{}],
-};
-
-```
-
-## Code
-
-```javascript
-import { useRef } from "react";
-
-function C() {
-  const r = useRef(null);
-  if (r.current == null) {
-    r.current = 1;
-  }
-}
-
-export const FIXTURE_ENTRYPOINT = {
-  fn: C,
-  params: [{}],
-};
-
-```
-      
-### Eval output
-(kind: ok) 
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-initialization.js
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/allow-ref-initialization.js
@@ -1,14 +0,0 @@
-//@flow
-import {useRef} from 'react';
-
-component C() {
-  const r = useRef(null);
-  if (r.current == null) {
-    r.current = 1;
-  }
-}
-
-export const FIXTURE_ENTRYPOINT = {
-  fn: C,
-  params: [{}],
-};
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-at-effect.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-at-effect.expect.md
@@ -41,7 +41,7 @@ function ArrayAtTest(props) {
  }
  const arr = t1;
  let t2;
-  if ($[4] !== arr || $[5] !== props.y) {
+  if ($[4] !== props.y || $[5] !== arr) {
    let t3;
    if ($[7] !== props.y) {
      t3 = bar(props.y);
@@ -51,8 +51,8 @@ function ArrayAtTest(props) {
      t3 = $[8];
    }
    t2 = arr.at(t3);
-    $[4] = arr;
-    $[5] = props.y;
+    $[4] = props.y;
+    $[5] = arr;
    $[6] = t2;
  } else {
    t2 = $[6];
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-expression-spread.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-expression-spread.expect.md
@@ -22,10 +22,10 @@ import { c as _c } from "react/compiler-runtime";
 function Component(props) {
  const $ = _c(3);
  let t0;
-  if ($[0] !== props.bar || $[1] !== props.foo) {
+  if ($[0] !== props.foo || $[1] !== props.bar) {
    t0 = [0, ...props.foo, null, ...props.bar, "z"];
-    $[0] = props.bar;
-    $[1] = props.foo;
+    $[0] = props.foo;
+    $[1] = props.bar;
    $[2] = t0;
  } else {
    t0 = $[2];
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-property-call.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/array-property-call.expect.md
@@ -24,18 +24,18 @@ export const FIXTURE_ENTRYPOINT = {
 import { c as _c } from "react/compiler-runtime";
 function Component(props) {
  const $ = _c(11);
-  let a;
  let t0;
+  let a;
  if ($[0] !== props.a || $[1] !== props.b) {
    a = [props.a, props.b, "hello"];
    t0 = a.push(42);
    $[0] = props.a;
    $[1] = props.b;
-    $[2] = a;
-    $[3] = t0;
+    $[2] = t0;
+    $[3] = a;
  } else {
-    a = $[2];
-    t0 = $[3];
+    t0 = $[2];
+    a = $[3];
  }
  const x = t0;
  let t1;
--- a/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/arrow-expr-directive.expect.md
+++ b/compiler/packages/babel-plugin-react-compiler/src/tests/fixtures/compiler/arrow-expr-directive.expect.md
@@ -28,7 +28,7 @@ function Component() {
    t0 = () => {
      "worklet";

-      setCount((count_0) => count_0 + 1);
+      setCount(_temp);
    };
    $[0] = t0;
  } else {
@@ -45,6 +45,9 @@ function Component() {
  }
  return t1;
 }
+function _temp(count_0) {
+  return count_0 + 1;
+}

 ```
      
--- a/Show More
+++ b/Show More
Author	SHA1	Message	Date
Mofei Zhang	dc43aea269	[compiler] Delete LoweredFunction.dependencies and hoisted instructions	2024-10-11 16:31:28 -04:00
Mofei Zhang	70fb3f6849	[compiler][be] Patch test fixtures for evaluator	2024-10-11 16:31:28 -04:00
Mofei Zhang	d2ed23a07f	[compiler][be] Clean up nested function context in DCE	2024-10-11 16:31:28 -04:00
Mofei Zhang	3556fcd3ad	[compiler] Lower JSXMemberExpression with LoadLocal	2024-10-11 16:31:28 -04:00
Mofei Zhang	af227d3e75	[compiler][needs cleanup]: stop using function deps in PropagateScopeDepsHIR	2024-10-11 16:31:27 -04:00
Mofei Zhang	6b10e016a2	[compiler][waittocommit] Delete propagateScopeDeps (non-hir)	2024-10-11 16:31:27 -04:00
Mofei Zhang	1c8e944358	[compiler][waittocommit] default to enablePropagateScopeDepsHIR	2024-10-11 16:31:27 -04:00
Mofei Zhang	9f35794e90	[compiler][ez] Patch hoistability for ObjectMethods	2024-10-11 16:31:27 -04:00
				`@@ -0,0 +1 @@`
				`Reference library compiled with React Compiler.`
				`@@ -0,0 +1 @@`
				<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="31.88" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 257"><defs><linearGradient id="IconifyId1813088fe1fbc01fb466" x1="-.828%" x2="57.636%" y1="7.652%" y2="78.411%"><stop offset="0%" stop-color="#41D1FF"></stop><stop offset="100%" stop-color="#BD34FE"></stop></linearGradient><linearGradient id="IconifyId1813088fe1fbc01fb467" x1="43.376%" x2="50.316%" y1="2.242%" y2="89.03%"><stop offset="0%" stop-color="#FFEA83"></stop><stop offset="8.333%" stop-color="#FFDD35"></stop><stop offset="100%" stop-color="#FFA800"></stop></linearGradient></defs><path fill="url(#IconifyId1813088fe1fbc01fb466)" d="M255.153 37.938L134.897 252.976c-2.483 4.44-8.862 4.466-11.382.048L.875 37.958c-2.746-4.814 1.371-10.646 6.827-9.67l120.385 21.517a6.537 6.537 0 0 0 2.322-.004l117.867-21.483c5.438-.991 9.574 4.796 6.877 9.62Z"></path><path fill="url(#IconifyId1813088fe1fbc01fb467)" d="M185.432.063L96.44 17.501a3.268 3.268 0 0 0-2.634 3.014l-5.474 92.456a3.268 3.268 0 0 0 3.997 3.378l24.777-5.718c2.318-.535 4.413 1.507 3.936 3.838l-7.361 36.047c-.495 2.426 1.782 4.5 4.151 3.78l15.304-4.649c2.372-.72 4.652 1.36 4.15 3.788l-11.698 56.621c-.732 3.542 3.979 5.473 5.943 2.437l1.313-2.028l72.516-144.72c1.215-2.423-.88-5.186-3.54-4.672l-25.505 4.922c-2.396.462-4.435-1.77-3.759-4.114l16.646-57.705c.677-2.35-1.37-4.583-3.769-4.113Z"></path></svg>
				`@@ -0,0 +1 @@`
				`{"root":["./src/app.tsx","./src/main.tsx","./src/vite-env.d.ts"],"version":"5.6.3"}`
				`@@ -0,0 +1 @@`
				`{"root":["./vite.config.ts"],"version":"5.6.3"}`