Complete the compiler-owned graph snapshot campaign

.github/workflows/experiment.yml

@@ -69,26 +69,82 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ github.token }}
 
-  experiment:
+  clang_producer:
     needs: latest_update
     if: ${{ needs.latest_update.outputs.run == 'true' }}
+    name: pinned Clang producer
+    runs-on: ubuntu-latest
+    timeout-minutes: 150
+    steps:
+      - name: Skip when no C-family lane was requested
+        if: ${{ github.event_name == 'workflow_dispatch' && inputs.language != 'all' && inputs.language != 'c' && inputs.language != 'cpp' }}
+        run: echo "The requested language does not consume the Clang producer."
+
+      - name: Checkout
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        uses: actions/checkout@v7
+
+      - name: Setup Node
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        uses: actions/setup-node@v7
+        with:
+          node-version: 22.x
+
+      - name: Restore the pinned Clang producer
+        id: clang_producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        uses: actions/cache/restore@v6
+        with:
+          path: tests/experiment/.work/tools
+          key: clang-producer-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('packages/graph/src/provider/cpp/CPP_CLANG_PRODUCER_COMMIT.ts', 'tests/experiment/src/clang-producer.mjs') }}
+
+      - name: Provision the pinned Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        run: node tests/experiment/src/clang-producer.mjs
+        env:
+          # An exact hit is immutable. If validation rejects it, rebuilding
+          # cannot repair that key, so refuse rather than claiming success.
+          SAMCHON_GRAPH_CLANG_PRODUCER_ALLOW_BUILD: ${{ steps.clang_producer.outputs.cache-hit != 'true' && '1' || '0' }}
+
+      # This job owns the build and saves it before either corpus consumer can
+      # start. A later C or C++ experiment failure cannot discard a successful
+      # compiler build, and the two consumers cannot race on one cold key.
+      - name: Save the pinned Clang producer
+        if: ${{ steps.clang_producer.outputs.cache-hit != 'true' && (github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp') }}
+        continue-on-error: true
+        uses: actions/cache/save@v6
+        with:
+          path: tests/experiment/.work/tools
+          key: ${{ steps.clang_producer.outputs.cache-primary-key }}
+
+      # GitHub artifacts restore ordinary files as 0644. Pack first so the
+      # executable bits on clangd survive the same-run handoff.
+      - name: Pack the verified Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        run: tar -C tests/experiment/.work/tools -cf pinned-clang-producer.tar .
+
+      # Cache writes are best-effort and immutable. The artifact is the
+      # guaranteed same-run handoff, including on a fork PR that cannot save a
+      # repository cache.
+      - name: Upload the verified Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == 'c' || inputs.language == 'cpp' }}
+        uses: actions/upload-artifact@v7
+        with:
+          name: pinned-clang-producer
+          path: pinned-clang-producer.tar
+          if-no-files-found: error
+          retention-days: 1
+          compression-level: 0
+
+  experiment:
+    needs: [latest_update, clang_producer]
+    if: ${{ always() && needs.latest_update.outputs.run == 'true' }}
     name: ${{ matrix.language }} LSP
     runs-on: ubuntu-latest
-    # Fourteen rows install a released producer and finish in minutes; the
-    # ninety-minute bound is theirs and stays exactly where it is. C and C++
-    # build a compiler from source, and that is a property of the row rather
-    # than a defect inside it. Measured: three minutes of checkout, install and
-    # package build, then 56 minutes to a linked `clangd` on one runner and 107
-    # on another in the same workflow, then the real-corpus lifecycle run.
-    # Ninety did not fit. 150 covers the fast runner comfortably and the slow
-    # one barely, and it is still a bound, so a lane that hangs is caught. Only
-    # the two rows that build a compiler get it.
-    #
-    # The restore below is what should keep an ordinary push away from that
-    # cost, and it is an expectation rather than a property: Actions caches are
-    # branch-scoped and evicted, so a first push on a fresh branch still pays
-    # the whole build, on whichever runner it draws.
-    timeout-minutes: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && 150 || 90 }}
+    # Compiler construction has its own 150-minute predecessor above. Every
+    # matrix row now spends this budget on setup and the real-corpus lifecycle
+    # only; C and C++ cannot consume it rebuilding LLVM on a cold cache miss.
+    timeout-minutes: 90
     strategy:
       fail-fast: false
       matrix:
@@ -152,50 +208,27 @@ jobs:
         if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language }}
         run: pnpm build
 
-      # C and C++ are the only rows whose producer is built rather than
-      # downloaded, and it is a pinned commit: the same bytes, reproduced from
-      # scratch, on every push. Restoring them instead is not a shortcut around
-      # the build but a removal of work that had no reason to happen twice.
-      #
-      # The key hashes every file the built bytes depend on. `catalog.mjs` is
-      # the one `setup` actually reads its commit from, so it has to be here —
-      # keying on the adapter's constant alone would leave the two bound only
-      # by a text assertion in a different workflow, and a divergence would hit
-      # the key, fail the `--version` check, rebuild, and then not re-save,
-      # because an exact hit has nothing to write. That is silent, permanent,
-      # full-cost rebuilding, so the binding is made structural instead.
-      #
-      # Restore and save are split so the save runs even when a later step
-      # fails. A campaign iterating on these lanes is exactly the case where
-      # the producer builds and the experiment does not, and `cache`'s combined
-      # form would discard an hour or more of correct build because a corpus
-      # assertion afterwards went red.
-      - name: Restore the pinned Clang producer
-        id: clang_producer
+      # The producer job uploads the exact tree it verified, independently of
+      # whether cross-run cache saving was permitted.
+      - name: Download the verified Clang producer
         if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && (github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language) }}
-        uses: actions/cache/restore@v6
+        uses: actions/download-artifact@v8
         with:
-          path: tests/experiment/.work/tools
-          key: clang-producer-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('packages/graph/src/provider/cpp/CPP_CLANG_PRODUCER_COMMIT.ts', 'tests/experiment/src/catalog.mjs', 'tests/experiment/src/setup-language.mjs') }}
+          name: pinned-clang-producer
+          path: tests/experiment/.work/clang-producer-artifact
+
+      - name: Unpack the verified Clang producer
+        if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && (github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language) }}
+        run: |
+          mkdir -p tests/experiment/.work/tools
+          tar -C tests/experiment/.work/tools -xf tests/experiment/.work/clang-producer-artifact/pinned-clang-producer.tar
 
       - name: Install language server
         if: ${{ github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language }}
         run: pnpm --filter @samchon/graph-experiment run setup -- --language ${{ matrix.language }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
-      # Saved before the experiment runs, not after it, and only on a miss.
-      # The producer is proved by this point — `setup` refuses to finish unless
-      # the installed binary reports the pinned commit — and what follows is a
-      # corpus run whose failure says nothing about the compiler that was
-      # built. Waiting until the end would tie a correct build's survival to an
-      # unrelated assertion.
-      - name: Save the pinned Clang producer
-        if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && steps.clang_producer.outputs.cache-hit != 'true' && (github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language) }}
-        uses: actions/cache/save@v6
-        with:
-          path: tests/experiment/.work/tools
-          key: ${{ steps.clang_producer.outputs.cache-primary-key }}
+          SAMCHON_GRAPH_CLANG_PRODUCER_ALLOW_BUILD: "0"
 
       # Node sizes its old space from a heuristic, not from the runner, and on
       # these 16 GiB hosts it settles near 4 GiB, which a real C project's
@@ -257,6 +290,7 @@ jobs:
           # producer has exactly one witness, and it writes to stderr.
           SAMCHON_GRAPH_LSP_SERVER_LOG: "1"
           SAMCHON_GRAPH_RUST_ANALYZER_HIR: ${{ github.workspace }}/tests/experiment/.work/tools/bin/samchon-rust-analyzer
+          SAMCHON_GRAPH_ROSLYN_WORKSPACE: ${{ github.workspace }}/tests/experiment/.work/tools/bin/samchon-roslyn
 
       - name: Upload result
         if: ${{ always() && (github.event_name != 'workflow_dispatch' || inputs.language == 'all' || inputs.language == matrix.language) }}

.github/workflows/index-time.yml

@@ -95,9 +95,69 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ github.token }}
 
-  measure:
+  clang_producer:
     needs: latest_update
     if: ${{ needs.latest_update.outputs.run == 'true' }}
+    name: pinned Clang producer
+    runs-on: ubuntu-latest
+    timeout-minutes: 150
+    steps:
+      - name: Skip when no C-family project was requested
+        if: ${{ github.event_name == 'workflow_dispatch' && inputs.project != 'all' && inputs.project != 'redis' && inputs.project != 'leveldb' }}
+        run: echo "The requested project does not consume the Clang producer."
+
+      - name: Checkout
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        uses: actions/checkout@v7
+
+      - name: Setup Node
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        uses: actions/setup-node@v7
+        with:
+          node-version: 22.x
+
+      - name: Restore the pinned Clang producer
+        id: clang_producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        uses: actions/cache/restore@v6
+        with:
+          path: tests/experiment/.work/tools
+          key: clang-producer-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('packages/graph/src/provider/cpp/CPP_CLANG_PRODUCER_COMMIT.ts', 'tests/experiment/src/clang-producer.mjs') }}
+
+      - name: Provision the pinned Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        run: node tests/experiment/src/clang-producer.mjs
+        env:
+          SAMCHON_GRAPH_CLANG_PRODUCER_ALLOW_BUILD: ${{ steps.clang_producer.outputs.cache-hit != 'true' && '1' || '0' }}
+
+      # The compiler is durable before either measured consumer starts. A
+      # failed or timed-out cell cannot discard it, and redis/leveldb cannot
+      # both build the same cold key in this workflow.
+      - name: Save the pinned Clang producer
+        if: ${{ steps.clang_producer.outputs.cache-hit != 'true' && (github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb') }}
+        continue-on-error: true
+        uses: actions/cache/save@v6
+        with:
+          path: tests/experiment/.work/tools
+          key: ${{ steps.clang_producer.outputs.cache-primary-key }}
+
+      - name: Pack the verified Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        run: tar -C tests/experiment/.work/tools -cf pinned-clang-producer.tar .
+
+      - name: Upload the verified Clang producer
+        if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == 'redis' || inputs.project == 'leveldb' }}
+        uses: actions/upload-artifact@v7
+        with:
+          name: pinned-clang-producer
+          path: pinned-clang-producer.tar
+          if-no-files-found: error
+          retention-days: 1
+          compression-level: 0
+
+  measure:
+    needs: [latest_update, clang_producer]
+    if: ${{ always() && needs.latest_update.outputs.run == 'true' }}
     # A skipped lane says so in its own name. Dispatching one project leaves the
     # other twelve jobs running nothing but an echo, with every later step gated
     # off, and they finish green — indistinguishable in the job list from lanes
@@ -116,17 +176,10 @@ jobs:
     # cleanup, and artifact upload. The process cap below is the measurement
     # verdict; this job cap is only the outer lifecycle backstop.
     #
-    # C and C++ provision a compiler built from source, which is a property of
-    # those two rows rather than a defect inside them, and the restore above is
-    # an expectation rather than a property: a cold key — a fresh branch, an
-    # eviction, or the first run after the producer pin moves — pays the whole
-    # build. Measured at 56 minutes to a linked `clangd` on one runner and 107
-    # on another in the same workflow. Under the old flat cap those two rows
-    # spent an hour and three quarters compiling and were killed with the
-    # measurement still running and nothing recorded. 210 covers the slow
-    # runner plus both measurement columns, and is still a bound, so a lane
-    # that hangs is caught rather than left to the six-hour platform limit.
-    timeout-minutes: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && 210 || 120 }}
+    # The 56-to-107-minute LLVM build now belongs to the 150-minute predecessor
+    # above. Every measured row gets the same two 30-minute process caps plus an
+    # hour for setup, quiet-host waits, cleanup, diagnosis, and artifact upload.
+    timeout-minutes: 120
     strategy:
       fail-fast: false
       matrix:
@@ -183,26 +236,20 @@ jobs:
         if: ${{ github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == matrix.project }}
         run: pnpm build
 
-      # The C and C++ producer is an LLVM build, and this workflow used to make
-      # every run pay for it: leveldb and redis each spent about an hour and
-      # three quarters compiling clangd inside a two-hour job, reached the
-      # measurement with minutes left, and were killed by the job cap with
-      # nothing measured. The experiment matrix already restores that build by
-      # a key over the exact files its bytes depend on; measuring is not a
-      # reason to rebuild it, so the same restore/save pair runs here.
-      #
-      # The key is identical to the experiment workflow's, deliberately: the
-      # two lanes provision the same producer from the same sources, so
-      # whichever runs first pays and the other reads. Restore and save are
-      # split so a measurement that fails, times out, or is cancelled still
-      # leaves the compiler it built behind.
-      - name: Restore the pinned Clang producer
-        id: clang_producer
+      # Same-run artifacts, not best-effort cache visibility, hand the verified
+      # producer to both measured consumers.
+      - name: Download the verified Clang producer
         if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && (github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == matrix.project) }}
-        uses: actions/cache/restore@v6
+        uses: actions/download-artifact@v8
         with:
-          path: tests/experiment/.work/tools
-          key: clang-producer-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('packages/graph/src/provider/cpp/CPP_CLANG_PRODUCER_COMMIT.ts', 'tests/experiment/src/catalog.mjs', 'tests/experiment/src/setup-language.mjs') }}
+          name: pinned-clang-producer
+          path: tests/experiment/.work/clang-producer-artifact
+
+      - name: Unpack the verified Clang producer
+        if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && (github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == matrix.project) }}
+        run: |
+          mkdir -p tests/experiment/.work/tools
+          tar -C tests/experiment/.work/tools -xf tests/experiment/.work/clang-producer-artifact/pinned-clang-producer.tar
 
       # The same provisioning the experiment matrix uses. It appends each tool's
       # directory to GITHUB_PATH, so the benchmark's own child processes resolve
@@ -212,13 +259,7 @@ jobs:
         run: pnpm --filter @samchon/graph-experiment run setup -- --language ${{ matrix.language }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Save the pinned Clang producer
-        if: ${{ (matrix.language == 'c' || matrix.language == 'cpp') && steps.clang_producer.outputs.cache-hit != 'true' && (github.event_name != 'workflow_dispatch' || inputs.project == 'all' || inputs.project == matrix.project) }}
-        uses: actions/cache/save@v6
-        with:
-          path: tests/experiment/.work/tools
-          key: ${{ steps.clang_producer.outputs.cache-primary-key }}
+          SAMCHON_GRAPH_CLANG_PRODUCER_ALLOW_BUILD: "0"
 
       # What actually got installed, printed where the run can be read.
       # `recordTool` has always written this manifest and nothing ever surfaced
@@ -336,6 +377,12 @@ jobs:
       - name: Install renderer dependencies
         run: pnpm install --frozen-lockfile
 
+      # Route summaries derive the expected owner from the runtime's canonical
+      # provider registry, so the collect job builds that dependency before it
+      # validates or prints any folded report.
+      - name: Build provider registry dependency
+        run: pnpm build
+
       - name: Download reports
         uses: actions/download-artifact@v8
         with: