elanous 0.2.37 → 0.2.40

package/src/self-implement/gate-cli.ts

@@ -1,9 +1,10 @@
-import { existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, realpathSync, renameSync, rmSync, writeFileSync } from 'node:fs';
-import { randomUUID } from 'node:crypto';
+import { existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, realpathSync, renameSync, rmSync, writeFileSync } from 'node:fs';
+import { createHash, randomUUID } from 'node:crypto';
 import { tmpdir } from 'node:os';
 import { spawnSync } from 'node:child_process';
-import { join } from 'node:path/posix';
+import { basename, join, resolve } from 'node:path/posix';
 import { prepareDeterministicChildEnvironment } from '../../scripts/lib/deterministic-env.js';
+import { audit as auditEntryBudget, entryBudgetAffected } from '../../scripts/ratchets/next-tui-entry-budget.js';
 import { withGateTestEnv } from '../../scripts/lib/gate-test-env.js';
 import { runIsolationHardcodeGate } from '../../scripts/ci-isolation-hardcode-gate.js';
 import { runModelHardcodeGate } from '../../scripts/ci-model-hardcode-gate.js';
@@ -13,13 +14,15 @@ import { runIosUnitTestGate } from '../../scripts/ci-ios-unit-tests.js';
 import { runPwaBuildGate } from '../../scripts/ci-pwa-build-gate.js';
 import { runMockModuleRestoreGate } from '../../scripts/ci-mock-module-restore-gate.js';
 import { parseReviewDepthFromFilesJson } from '../agent-mission/review-depth.js';
-import { buildGateBaselineReport, calculateGateTestCountChange, formatGateBaselineNote, formatGateTestCountNote, isGateTestFile, recheckTimeoutOnlyIntroducedFailures, runGateBaseline, type BaselineProcessResult, type BaselineProcessStatus, type GateTestFailure, type TimeoutRecheckRecord, type TimeoutRerunObservation } from './gate-baseline.js';
+import { buildGateBaselineReport, calculateGateTestCountChange, formatGateBaselineNote, formatGateTestCountNote, isGateTestFile, recheckOutsideScopeFailures, recheckTimeoutOnlyIntroducedFailures, runGateBaseline, type BaselineProcessResult, type BaselineProcessStatus, type GateBaselineReport, type GateTestFailure, type InterferenceRecheckRecord, type TimeoutRecheckRecord, type TimeoutRerunObservation } from './gate-baseline.js';
 import { resolveGateScope } from './gate-scope.js';
 import { publicExposureFiles, runExposeGate } from './expose-gate.js';
 import { getUserConfig } from '../user-config.js';
 import { debug, redactSecretText } from '../debug/log.js';
+import { getElanousConfigDir } from '../elanous-config-dir.js';
 import { buildDocumentGuardianIndex, formatDocumentGuardians } from './document-guardian-index.js';
 import { buildImporterTestIndex, importerTestsNotInRunSet, isTestPath, type ImporterTestIndex } from './importer-test-index.js';
+import { isCommentOnlySourceChange } from './comment-only-source.js';
 import { buildRouteConsumerTestIndex } from './route-consumer-test-index.js';
 import { gitChangedFiles, observeGateBaselineLocation } from './seams.js';
 import {
@@ -27,7 +30,7 @@ import {
   overlapWithCurrentChanges,
 } from '../cli/pr-granularity.js';
 import { listWorktrees } from '../git-fs/worktree.js';
-import { runShardedGateTests, writeShardFailureEvidence, remoteShardArgv, type ShardRunProgress } from '../self-dev/shard-run.js';
+import { runShardedGateTests, runShardedGateTestsAsync, writeShardFailureEvidence, remoteShardArgv, type ShardRunProgress, type ShardRunResult } from '../self-dev/shard-run.js';
 import { planGateRemoteShards, shardPlanOrchestrationId, type GateRemoteShard } from '../self-dev/shard-plan.js';
 import { parseGateScenario, readGateScenarioFile } from './gate-scenario.js';
 import { isGateSpawnLaneFile } from '../self-dev/spawn-lane-files.js';
@@ -36,7 +39,11 @@ import { defaultGateEnvKey, defaultRevResolver, resolveArtifactDir, writeGateArt
 export interface SelfGateCliOptions {
   base?: string;
   pr?: string;
+  /** Bypass reuse of the last passing test radius; still write this run's receipt for the next invocation. */
+  noInherit?: boolean;
   shards?: number;
+  /** Live shard bundle concurrency; default three, bounded to one through four. */
+  shardConcurrency?: number;
   /** OP FU (LAND-TRAIN-LIVE side) — opt-in with `shards`: sorted round-robin into exactly that N, no RSS pre-measurement.
    *  Every other output (shardsDetail · baseline · artifacts · exit) keeps its shape; absent = measured planner unchanged. */
   fixedShardDistribution?: boolean;
@@ -102,10 +109,11 @@ interface SelfGateCliDeps {
   runTests?: (cwd: string, files: readonly string[]) => ProcessResult;
   runBaseline?: (cwd: string, files: readonly string[], baseRef: string) => BaselineProcessResult;
   runTimeoutRecheck?: (cwd: string, file: string, name: string, timeoutMs: number) => { observation?: TimeoutRerunObservation; elapsedMs: number; output: string };
+  runInterferenceRecheck?: (cwd: string, report: GateBaselineReport, baseRef: string, relatedTestFiles: readonly string[]) => GateBaselineReport;
   runShards?: typeof runShardedGateTests;
+  runShardsAsync?: typeof runShardedGateTestsAsync;
   /** Test seam for the live progress line. */
   writeProgressStderr?: (line: string) => void;
-  now?: () => number;
   runIsolationGate?: (out: GateOutput) => number;
   runMockModuleRestoreGate?: (out: GateOutput) => number;
   /** 모델 이름 하드코딩 래칫(🅕 #20521) — `pr land` 만 물고 하니스 무인 병합은 안 물면 위반이 main 에 들어가 남의 착지를 막는다(🅣 2026-09-25). */
@@ -117,17 +125,25 @@ interface SelfGateCliDeps {
   /** iOS 순수-로직 시험 게이트 심(시험 주입용). */
   runIosGate?: (out: GateOutput) => number;
   runPwaGate?: (out: GateOutput) => number;
+  runEntryBudgetGate?: (cwd: string, changedFiles: readonly string[]) => { affected: boolean; errors: string[] };
   listPrWorktrees?: (cwd: string) => PrWorktreeListEntry[] | { lookupFailed: string };
   inspectWorktreeDirtiness?: (path: string) => { dirty: boolean } | { lookupFailed: string };
   /** `--artifact-dir` 전용 심 — 커밋 sha 해석(실패 = null) · 환경 키. */
   resolveRev?: RevResolver;
   envKey?: () => string;
+  /** Receipt-store seam for tests; production stores under ~/.elanous/gate-receipts. */
+  gateReceiptDir?: () => string;
+  now?: () => number;
 }
 
 /** `--artifact-dir` 가 쓸 재료 — 판정 경로가 «채우기만» 하고 읽지 않는다. */
 interface GateArtifactCapture {
   baseRef?: string;
   testFiles?: readonly string[];
+  fullTestFiles?: readonly string[];
+  failedTestFiles?: readonly string[];
+  testReceiptMeasured?: boolean;
+  receiptDecision?: GateReceiptDecision;
   sharded?: ReturnType<typeof runShardedGateTests>;
   verdict?: string;
   verdictLine?: string;
@@ -138,6 +154,7 @@ interface GateArtifactCapture {
   unrunImporters?: number | null;
   importerLookupFailed?: string;
   timeoutRechecks?: readonly TimeoutRecheckRecord[];
+  interferenceRechecks?: readonly InterferenceRecheckRecord[];
 }
 
 /** SIDE-VERIFY ③ — summary 정수 칸: 게이트가 이미 낸 `result.baseline` ⊕ `unrunImporterTotal` 을 «옮기기만» 한다.
@@ -675,6 +692,30 @@ function logGateCliBaseline(cwd: string, payload: GateCliBaselinePayload): void
 type GateSelectionOptions = Pick<SelfGateCliOptions, 'base' | 'pr' | 'alwaysInclude' | 'includeImporterTests' | 'scenario' | 'scenarioFile'>;
 type GateSelectionDeps = Pick<SelfGateCliDeps, 'changedFiles' | 'exists' | 'isRegularFile' | 'runCommand'>;
 
+function commentOnlyChangedSources(selection: ChangedFileSelection, cwd: string, runCommand: SelfGateCliDeps['runCommand']): string[] {
+  const run = runCommand ?? defaultRunCommand;
+  // Fail closed: an unreadable base, source or Git command keeps the normal importer set.
+  const base = selection.baseRef === 'HEAD'
+    ? 'HEAD'
+    : (() => {
+      try {
+        const result = run('git', ['merge-base', selection.baseRef, 'HEAD'], cwd);
+        return result.status === 0 && !result.error ? result.stdout?.trim() : undefined;
+      } catch { return undefined; }
+    })();
+  if (!base) return [];
+  const commentOnly: string[] = [];
+  for (const path of selection.files) {
+    if (!/^(?:src|scripts)\/.+\.(?:[cm]?[jt]sx?)$/.test(path) || isTestPath(path)) continue;
+    try {
+      const prior = run('git', ['show', `${base}:${path}`], cwd);
+      if (prior.status !== 0 || prior.error || prior.stdout === undefined) continue;
+      if (isCommentOnlySourceChange(prior.stdout, readFileSync(join(cwd, path), 'utf8'), path)) commentOnly.push(path);
+    } catch { /* A failed comparison must retain importer coverage. */ }
+  }
+  return commentOnly;
+}
+
 function prepareGateTestSelection(cwd: string, options: GateSelectionOptions, deps: GateSelectionDeps) {
   const selection = (deps.changedFiles ?? ((dir, input) => defaultChangedFiles(dir, input, deps.runCommand)))(cwd, options);
   const exists = deps.exists ?? ((path) => existsSync(`${cwd}/${path}`));
@@ -683,16 +724,23 @@ function prepareGateTestSelection(cwd: string, options: GateSelectionOptions, de
   const importerIndex = buildGateImporterTestIndex(options.includeImporterTests
     ? selection.files : selection.files.filter((path) => !SCRIPT_SOURCE_PATH_RE.test(path)), cwd, deps.runCommand);
   const lookupFailed = importerIndex && 'lookupFailed' in importerIndex ? importerIndex.lookupFailed : undefined;
-  const availableIndex = importerIndex && !('lookupFailed' in importerIndex) ? importerIndex : undefined;
+  const originalIndex = importerIndex && !('lookupFailed' in importerIndex) ? importerIndex : undefined;
+  const commentOnlySources = options.includeImporterTests && originalIndex
+    ? commentOnlyChangedSources(selection, cwd, deps.runCommand) : [];
+  // testPaths is the independent full tracked-test inventory; only the changed-source
+  // reverse edges are filtered. Other consumers still need that complete inventory.
+  const availableIndex = originalIndex && commentOnlySources.length
+    ? { ...originalIndex, testsBySource: new Map([...originalIndex.testsBySource].filter(([source]) => !commentOnlySources.includes(source))) }
+    : originalIndex;
   const routeIndex = availableIndex?.testPaths
-    ? buildRouteConsumerTestIndex(cwd, availableIndex.testPaths, selection.files, selection.baseRef) : null;
+    ? buildRouteConsumerTestIndex(cwd, availableIndex.testPaths, selection.files.filter((path) => !commentOnlySources.includes(path)), selection.baseRef) : null;
   const scope = resolveGateScope(selection.files, exists, availableIndex,
     { routeConsumerTestIndex: routeIndex ?? undefined });
-  return { selection, exists, lookupFailed, availableIndex, routeIndex, scope };
+  return { selection, exists, lookupFailed, availableIndex, commentOnlySources, routeIndex, scope };
 }
 
 function finishGateTestSelection(prepared: ReturnType<typeof prepareGateTestSelection>, options: GateSelectionOptions, cwd: string, deps: GateSelectionDeps) {
-  const { selection, exists, lookupFailed, availableIndex, routeIndex, scope } = prepared;
+  const { selection, exists, lookupFailed, availableIndex, commentOnlySources, routeIndex, scope } = prepared;
   const alwaysInclude = [...new Set((options.alwaysInclude ?? []).map(normalizeGatePath).filter(Boolean))];
   const alwaysIncludeMissing = alwaysInclude.filter((path) => !exists(path));
   const scopedTests = scope.testArgs ?? [];
@@ -720,20 +768,21 @@ function finishGateTestSelection(prepared: ReturnType<typeof prepareGateTestSele
   // RELEASE-DAILY-LIGHT-RC ② — the scope already runs importer tests as callers, but capped (GATE_CALLER_TEST_LIMIT);
   // a day of landings overflows that cap and source-only regressions went unrun (0.2.24: 20). Opt-in: every importer.
   const changedSources = selection.files.filter((path) => !isTestPath(path));
+  const importerSources = changedSources.filter((path) => !commentOnlySources.includes(path));
   const importerTestsAdded = options.includeImporterTests && availableIndex
-    ? [...new Set(changedSources.flatMap((source) => availableIndex.testsBySource.get(source) ?? []))]
+    ? [...new Set(importerSources.flatMap((source) => availableIndex.testsBySource.get(source) ?? []))]
       .filter((path) => exists(path) && !scopedTests.includes(path) && !alwaysIncludeExtra.includes(path)).sort()
     : [];
   const defaultTests = [...scopedTests, ...alwaysIncludeExtra, ...importerTestsAdded];
   const testFiles = scenarioTests.length ? [...new Set([...defaultTests, ...scenarioTests])] : defaultTests;
   const skipTestStep = scope.skipTestStep && alwaysIncludeExtra.length === 0 && importerTestsAdded.length === 0 && scenarioTests.length === 0;
   const importerTestsNotRun = (options.includeImporterTests || scenarioTests.length > 0) && availableIndex
-    ? importerTestsNotInRunSet(availableIndex, changedSources, testFiles) : scope.importerTestsNotRun;
+    ? importerTestsNotInRunSet(availableIndex, importerSources, testFiles) : scope.importerTestsNotRun;
   const unrunImporterTotal = lookupFailed ? null : (importerTestsNotRun?.total ?? 0);
   // Overflowed callers that ② ran anyway are not «not run».
   const callerTestsOverflow = scope.callerTestsOverflow.filter(({ file }) => !importerTestsAdded.includes(file) && !scenarioTests.includes(file));
   const importerLookupFailed = Boolean(lookupFailed);
-  return { ...prepared, alwaysInclude, alwaysIncludeMissing, alwaysIncludeExtra, importerTestsAdded, scenarioTests,
+  return { ...prepared, alwaysInclude, alwaysIncludeMissing, alwaysIncludeExtra, importerTestsAdded, commentOnlySources, scenarioTests,
     testFiles, skipTestStep, importerTestsNotRun, unrunImporterTotal, callerTestsOverflow, importerLookupFailed };
 }
 
@@ -760,7 +809,17 @@ export function selectGateTestFiles(cwd: string, options: GateSelectionOptions =
 
 export function runSelfGateCli(cwd: string, options: SelfGateCliOptions = {}, deps: SelfGateCliDeps = {}): SelfGateCliResult {
   const capture: GateArtifactCapture = {};
-  const result = runSelfGateCliCore(cwd, options, deps, capture);
+  const result = runSelfGateCliCore(cwd, options, deps, capture, false) as SelfGateCliResult;
+  persistGateReceipt(cwd, capture, deps);
+  if (options.artifactDir !== undefined) emitGateArtifacts(cwd, options.artifactDir, result, capture, deps);
+  return result;
+}
+
+/** Production path: shard bundles use async Bun children; all non-shard policy and timeout logic is shared. */
+export async function runSelfGateCliAsync(cwd: string, options: SelfGateCliOptions = {}, deps: SelfGateCliDeps = {}): Promise<SelfGateCliResult> {
+  const capture: GateArtifactCapture = {};
+  const result = await runSelfGateCliCore(cwd, options, deps, capture, true);
+  persistGateReceipt(cwd, capture, deps);
   if (options.artifactDir !== undefined) emitGateArtifacts(cwd, options.artifactDir, result, capture, deps);
   return result;
 }
@@ -784,6 +843,7 @@ function emitGateArtifacts(cwd: string, artifactDir: string, result: SelfGateCli
       verdict: capture.verdict ?? null,
       ...(capture.verdictLine !== undefined ? { verdictLine: capture.verdictLine } : {}),
       ...(capture.timeoutRechecks ? { timeoutRechecks: capture.timeoutRechecks } : {}),
+      ...(capture.interferenceRechecks ? { interferenceRechecks: capture.interferenceRechecks } : {}),
       exitCode: result.exitCode,
       counts: counts.counts,
       ...(counts.reason !== undefined ? { countsUnavailableReason: counts.reason } : {}),
@@ -798,6 +858,246 @@ function emitGateArtifacts(cwd: string, artifactDir: string, result: SelfGateCli
   }
 }
 
+const GATE_RECEIPT_TTL_MS = 7 * 24 * 60 * 60 * 1000;
+const GATE_RECEIPT_SCHEMA = 1;
+
+interface GateReceipt {
+  schema: 1;
+  createdAt: number;
+  repositoryHash: string;
+  branch: string;
+  baseSha: string;
+  headSha: string;
+  runtime: string;
+  environmentKey: string;
+  lockfileHash: string;
+  fullTestFiles: string[];
+  failedTestFiles: string[];
+  measured: boolean;
+}
+
+interface GateReceiptIdentity extends Omit<GateReceipt, 'createdAt' | 'fullTestFiles' | 'failedTestFiles' | 'measured'> {
+  receiptPath: string;
+  receiptDir: string;
+}
+
+interface GateReceiptDecision {
+  mode: 'full' | 'inherit';
+  reason: string;
+  identity?: GateReceiptIdentity;
+  sourceHead?: string;
+  runTestFiles?: readonly string[];
+  inheritedTestFiles?: readonly string[];
+}
+
+function sha256(value: string | Buffer): string {
+  return createHash('sha256').update(value).digest('hex');
+}
+
+function normalizedRepositoryUrl(value: string): string | undefined {
+  const raw = value.trim();
+  if (!raw) return undefined;
+  if (!raw.includes('://')) {
+    const scp = /^(?:[^@]+@)?([^:]+):(.+)$/.exec(raw);
+    if (scp) return `${scp[1].toLowerCase()}/${scp[2]}`.replace(/\.git$/i, '');
+  }
+  try {
+    const url = new URL(raw);
+    url.username = '';
+    url.password = '';
+    url.search = '';
+    url.hash = '';
+    return `${url.protocol.toLowerCase()}//${url.host.toLowerCase()}${url.pathname}`.replace(/\.git$/i, '').replace(/\/$/, '');
+  } catch { return undefined; }
+}
+
+function gateReceiptIdentity(
+  cwd: string,
+  selection: ChangedFileSelection,
+  deps: SelfGateCliDeps,
+): { identity?: GateReceiptIdentity; reason?: string } {
+  const run = deps.runCommand ?? defaultRunCommand;
+  const command = (args: string[]) => {
+    try { return run('git', args, cwd); }
+    catch (error) { return { status: null, stderr: error instanceof Error ? error.message : String(error) }; }
+  };
+  const worktree = command(['status', '--porcelain=v1', '-z', '--untracked-files=all']);
+  if (worktree.status !== 0 || worktree.error || worktree.stdout === undefined) {
+    return { reason: 'worktree-status-unavailable' };
+  }
+  if (worktree.stdout.length > 0) return { reason: 'worktree-dirty' };
+  const remote = command(['config', '--get', 'remote.origin.url']);
+  const repositoryUrl = remote.status === 0 ? normalizedRepositoryUrl(remote.stdout ?? '') : undefined;
+  if (!repositoryUrl) return { reason: 'repository-origin-unavailable' };
+  const branch = selection.prHeadRefName?.trim() || (() => {
+    const result = command(['branch', '--show-current']);
+    return result.status === 0 ? (result.stdout ?? '').trim() : '';
+  })();
+  if (!branch) return { reason: 'branch-unavailable' };
+  if (selection.baseRef === 'HEAD') return { reason: 'uncommitted-or-no-stable-base' };
+  const resolveRev = deps.resolveRev ?? defaultRevResolver(cwd);
+  const baseSha = resolveRev(selection.baseRef);
+  const headSha = resolveRev('HEAD');
+  if (!baseSha || !headSha || !/^[0-9a-f]{40}$/.test(baseSha) || !/^[0-9a-f]{40}$/.test(headSha)) {
+    return { reason: 'base-or-head-sha-unavailable' };
+  }
+  const lockfile = ['bun.lock', 'bun.lockb'].map((name) => join(cwd, name)).find((path) => existsSync(path));
+  if (!lockfile) return { reason: 'lockfile-unavailable' };
+  let lockfileHash: string;
+  try { lockfileHash = sha256(readFileSync(lockfile)); }
+  catch { return { reason: 'lockfile-unreadable' }; }
+  const runtime = process.versions.bun ?? (globalThis as { Bun?: { version?: string } }).Bun?.version;
+  if (!runtime) return { reason: 'bun-runtime-unavailable' };
+  let environmentKey: string;
+  try { environmentKey = (deps.envKey ?? defaultGateEnvKey)(); }
+  catch { return { reason: 'environment-key-unavailable' }; }
+  const repositoryHash = sha256(repositoryUrl);
+  const receiptDir = deps.gateReceiptDir?.() ?? join(getElanousConfigDir(), 'gate-receipts');
+  const key = sha256(`${repositoryUrl}\0${branch}\0${baseSha}`);
+  return {
+    identity: {
+      schema: GATE_RECEIPT_SCHEMA, repositoryHash, branch, baseSha, headSha, runtime,
+      environmentKey, lockfileHash, receiptDir, receiptPath: join(receiptDir, `${key}.json`),
+    },
+  };
+}
+
+function pruneExpiredGateReceipts(receiptDir: string, now: number): void {
+  try {
+    for (const name of readdirSync(receiptDir)) {
+      if (!/^[a-f0-9]{64}\.json$/.test(name)) continue;
+      const path = join(receiptDir, name);
+      try {
+        const stat = lstatSync(path);
+        if (stat.isFile() && !stat.isSymbolicLink() && now - stat.mtimeMs > GATE_RECEIPT_TTL_MS) rmSync(path, { force: true });
+      } catch { /* a stale receipt disappearing concurrently is harmless */ }
+    }
+  } catch { /* the first receipt has no directory to prune */ }
+}
+
+function isGateReceipt(value: unknown): value is GateReceipt {
+  if (!value || typeof value !== 'object') return false;
+  const item = value as Partial<GateReceipt>;
+  return item.schema === GATE_RECEIPT_SCHEMA && typeof item.createdAt === 'number'
+    && typeof item.repositoryHash === 'string' && typeof item.branch === 'string'
+    && typeof item.baseSha === 'string' && /^[0-9a-f]{40}$/.test(item.baseSha)
+    && typeof item.headSha === 'string' && /^[0-9a-f]{40}$/.test(item.headSha)
+    && typeof item.runtime === 'string' && typeof item.environmentKey === 'string'
+    && typeof item.lockfileHash === 'string' && /^[0-9a-f]{64}$/.test(item.lockfileHash)
+    && Array.isArray(item.fullTestFiles) && item.fullTestFiles.every((path) => typeof path === 'string' && isGateTestFile(path))
+    && Array.isArray(item.failedTestFiles) && item.failedTestFiles.every((path) => typeof path === 'string' && isGateTestFile(path))
+    && typeof item.measured === 'boolean';
+}
+
+function rejectGateReceipt(cwd: string, reason: string, details: Record<string, unknown> = {}): GateReceiptDecision {
+  try { debug.log('self-implement', 'gate.receipt-inheritance-rejected', { reason, ...details }); } catch { /* telemetry must not alter the gate */ }
+  return { mode: 'full', reason };
+}
+
+function decideGateReceiptInheritance(
+  cwd: string,
+  options: SelfGateCliOptions,
+  selection: ChangedFileSelection,
+  fullTestFiles: readonly string[],
+  deps: SelfGateCliDeps,
+): GateReceiptDecision {
+  // Existing injected-command fixtures stay isolated unless a test explicitly supplies a receipt directory.
+  if (deps.runCommand && !deps.gateReceiptDir) return { mode: 'full', reason: 'injected-command-no-receipt-store' };
+  const resolved = gateReceiptIdentity(cwd, selection, deps);
+  if (!resolved.identity) return rejectGateReceipt(cwd, resolved.reason ?? 'receipt-identity-unavailable');
+  const identity = resolved.identity;
+  if (options.noInherit) {
+    try { debug.log('self-implement', 'gate.receipt-inheritance-rejected', { reason: 'forced-full', baseSha: identity.baseSha, headSha: identity.headSha }); } catch { /* observation only */ }
+    return { mode: 'full', reason: 'forced-full', identity };
+  }
+  const now = deps.now?.() ?? Date.now();
+  pruneExpiredGateReceipts(identity.receiptDir, now);
+  let prior: unknown;
+  try {
+    const stat = lstatSync(identity.receiptPath);
+    if (!stat.isFile() || stat.isSymbolicLink()) return rejectGateReceipt(cwd, 'receipt-not-regular-file', { baseSha: identity.baseSha });
+    prior = JSON.parse(readFileSync(identity.receiptPath, 'utf8'));
+  } catch (error) {
+    const code = (error as NodeJS.ErrnoException)?.code;
+    return rejectGateReceipt(cwd, code === 'ENOENT' ? 'no-prior-receipt' : 'receipt-read-failed', { baseSha: identity.baseSha });
+  }
+  if (!isGateReceipt(prior)) return rejectGateReceipt(cwd, 'receipt-schema-invalid', { baseSha: identity.baseSha });
+  if (now - prior.createdAt > GATE_RECEIPT_TTL_MS) {
+    try { rmSync(identity.receiptPath, { force: true }); } catch { /* stale file can remain without affecting the full gate */ }
+    return rejectGateReceipt(cwd, 'receipt-expired', { previousHead: prior.headSha });
+  }
+  if (prior.repositoryHash !== identity.repositoryHash || prior.branch !== identity.branch) return rejectGateReceipt(cwd, 'repository-or-branch-mismatch');
+  if (prior.baseSha !== identity.baseSha) return rejectGateReceipt(cwd, 'base-sha-mismatch', { previousBase: prior.baseSha, currentBase: identity.baseSha });
+  if (prior.runtime !== identity.runtime || prior.environmentKey !== identity.environmentKey) return rejectGateReceipt(cwd, 'runtime-mismatch', { previousRuntime: prior.runtime, currentRuntime: identity.runtime });
+  if (prior.lockfileHash !== identity.lockfileHash) return rejectGateReceipt(cwd, 'lockfile-hash-mismatch');
+  if (!prior.measured) return rejectGateReceipt(cwd, 'previous-test-run-unmeasured', { previousHead: prior.headSha });
+  const ancestor = (deps.runCommand ?? defaultRunCommand)('git', ['merge-base', '--is-ancestor', prior.headSha, identity.headSha], cwd);
+  if (ancestor.status !== 0 || ancestor.error) return rejectGateReceipt(cwd, 'previous-head-not-ancestor', { previousHead: prior.headSha, currentHead: identity.headSha });
+
+  const diff = (deps.runCommand ?? defaultRunCommand)('git', ['diff', '--name-only', `${prior.headSha}..${identity.headSha}`], cwd);
+  if (diff.status !== 0 || diff.error || diff.stdout === undefined) return rejectGateReceipt(cwd, 'head-delta-unavailable', { previousHead: prior.headSha });
+  const changedFiles = [...new Set(diff.stdout.split('\n').map((path) => normalizeGatePath(path.trim())).filter(Boolean))].sort();
+  try {
+    const deltaSelection = { files: changedFiles, baseRef: prior.headSha };
+    const deltaOptions: GateSelectionOptions = { ...options, base: prior.headSha, pr: undefined };
+    const deltaDeps: GateSelectionDeps = { ...deps, changedFiles: () => deltaSelection };
+    const deltaPrepared = prepareGateTestSelection(cwd, deltaOptions, deltaDeps);
+    if (deltaPrepared.lookupFailed || deltaPrepared.routeIndex?.lookupFailures.length) {
+      return rejectGateReceipt(cwd, 'head-delta-test-radius-unmeasured', { previousHead: prior.headSha });
+    }
+    const deltaTests = finishGateTestSelection(deltaPrepared, deltaOptions, cwd, deltaDeps).testFiles;
+    const current = new Set(fullTestFiles);
+    const previous = new Set(prior.fullTestFiles);
+    const previousFailures = new Set(prior.failedTestFiles);
+    const changed = new Set(deltaTests);
+    const runTestFiles = fullTestFiles.filter((path) => changed.has(path) || previousFailures.has(path) || !previous.has(path));
+    const run = new Set(runTestFiles);
+    const inheritedTestFiles = fullTestFiles.filter((path) => previous.has(path) && !previousFailures.has(path) && !run.has(path));
+    // A current scope path not accounted for by the receipt is run, never silently inherited.
+    for (const path of fullTestFiles) if (!previous.has(path) && !run.has(path)) return rejectGateReceipt(cwd, 'new-test-not-selected', { path });
+    if (current.size !== fullTestFiles.length) return rejectGateReceipt(cwd, 'current-test-scope-duplicate');
+    try {
+      debug.log('self-implement', 'gate.receipt-inheritance-accepted', {
+        previousHead: prior.headSha, currentHead: identity.headSha, baseSha: identity.baseSha,
+        changedFiles, rerunTestFiles: runTestFiles, inheritedTestFiles,
+      });
+    } catch { /* observation only */ }
+    return { mode: 'inherit', reason: 'matching-prior-receipt', identity, sourceHead: prior.headSha,
+      runTestFiles, inheritedTestFiles };
+  } catch (error) {
+    return rejectGateReceipt(cwd, 'head-delta-test-radius-failed', { message: error instanceof Error ? error.message : String(error) });
+  }
+}
+
+function persistGateReceipt(cwd: string, capture: GateArtifactCapture, deps: SelfGateCliDeps): void {
+  const decision = capture.receiptDecision;
+  const identity = decision?.identity;
+  if (!identity) return;
+  if (deps.runCommand && !deps.gateReceiptDir) return;
+  if (capture.testReceiptMeasured !== true || !capture.fullTestFiles || !capture.failedTestFiles) {
+    try { debug.log('self-implement', 'gate.receipt-write-rejected', { reason: 'test-outcome-unmeasured', headSha: identity.headSha }); } catch { /* observation only */ }
+    return;
+  }
+  const failed = [...new Set(capture.failedTestFiles)].filter((path) => capture.fullTestFiles!.includes(path)).sort();
+  const receipt: GateReceipt = {
+    schema: GATE_RECEIPT_SCHEMA, createdAt: deps.now?.() ?? Date.now(), repositoryHash: identity.repositoryHash,
+    branch: identity.branch, baseSha: identity.baseSha, headSha: identity.headSha, runtime: identity.runtime,
+    environmentKey: identity.environmentKey, lockfileHash: identity.lockfileHash,
+    fullTestFiles: [...new Set(capture.fullTestFiles)].sort(), failedTestFiles: failed, measured: true,
+  };
+  const temporary = join(identity.receiptDir, `.${basename(identity.receiptPath)}.${process.pid}.${randomUUID()}.tmp`);
+  try {
+    mkdirSync(identity.receiptDir, { recursive: true, mode: 0o700 });
+    pruneExpiredGateReceipts(identity.receiptDir, receipt.createdAt);
+    writeFileSync(temporary, `${JSON.stringify(receipt, null, 2)}\n`, { flag: 'wx', mode: 0o600 });
+    renameSync(temporary, identity.receiptPath);
+    try { debug.log('self-implement', 'gate.receipt-written', { headSha: identity.headSha, baseSha: identity.baseSha, testFiles: receipt.fullTestFiles.length, failedTestFiles: failed.length }); } catch { /* observation only */ }
+  } catch (error) {
+    try { rmSync(temporary, { force: true }); } catch { /* best effort */ }
+    try { debug.log('self-implement', 'gate.receipt-write-rejected', { reason: 'receipt-write-failed', message: error instanceof Error ? error.message : String(error) }); } catch { /* observation only */ }
+  }
+}
+
 /** A completed bundle is observed immediately, before the synchronous runner returns. Each sink is best effort. */
 function shardProgressObserver(cwd: string, options: SelfGateCliOptions, deps: SelfGateCliDeps): (progress: ShardRunProgress) => void {
   const now = deps.now ?? Date.now;
@@ -823,17 +1123,27 @@ function shardProgressObserver(cwd: string, options: SelfGateCliOptions, deps: S
   };
 }
 
-function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: SelfGateCliDeps, capture: GateArtifactCapture): SelfGateCliResult {
+function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: SelfGateCliDeps, capture: GateArtifactCapture, asyncShards: boolean): SelfGateCliResult | Promise<SelfGateCliResult> {
   if (options.base && options.pr) throw new Error('use either --base <ref> or --pr <number>, not both');
   if (options.shards !== undefined && (!Number.isSafeInteger(options.shards) || options.shards < 1)) throw new Error('invalid --shards count');
+  if (options.shardConcurrency !== undefined && (!Number.isSafeInteger(options.shardConcurrency) || options.shardConcurrency < 1 || options.shardConcurrency > 4)) throw new Error('invalid shard concurrency (expected 1–4)');
   if (options.fixedShardDistribution && options.shards === undefined) throw new Error('--fixed-shard-distribution requires --shards <n>');
   const prepared = prepareGateTestSelection(cwd, options, deps);
   const { selection, lookupFailed, routeIndex, scope } = prepared;
   const expose = publicExposureFiles(selection.files).length > 0
     ? runExposeGate(cwd, selection.files, getUserConfig().harness?.exposeGate === 'strict' ? 'strict' : 'warn', deps.runCommand)
     : { passed: true, log: '' };
-  const { alwaysInclude, alwaysIncludeMissing, alwaysIncludeExtra, importerTestsAdded, scenarioTests, testFiles,
+  const { alwaysInclude, alwaysIncludeMissing, alwaysIncludeExtra, importerTestsAdded, commentOnlySources, scenarioTests, testFiles: fullTestFiles,
     skipTestStep, importerTestsNotRun, unrunImporterTotal, callerTestsOverflow, importerLookupFailed } = finishGateTestSelection(prepared, options, cwd, deps);
+  const receiptDecision = options.base || options.pr || options.noInherit
+    ? decideGateReceiptInheritance(cwd, options, selection, fullTestFiles, deps) : undefined;
+  if (receiptDecision && !receiptDecision.identity && (!deps.runCommand || deps.gateReceiptDir)) {
+    receiptDecision.identity = gateReceiptIdentity(cwd, selection, deps).identity;
+  }
+  const testFiles = receiptDecision?.mode === 'inherit' ? [...(receiptDecision.runTestFiles ?? fullTestFiles)] : [...fullTestFiles];
+  capture.fullTestFiles = [...fullTestFiles];
+  capture.receiptDecision = receiptDecision;
+  const relatedTestFiles = [...new Set([...selection.files.filter(isTestPath), ...(scope.testArgs ?? []), ...importerTestsAdded])];
   const lines = [
     // ⛔⭐ 「changed=0」을 «초록»으로 읽는 사고가 났다(2026-09-02 · 🅕 보고 · 🅣 재현).
     //   커밋 «전»에 돌리면 작업 트리 변경은 «안 세므로» changed=0 이 나오는데,
@@ -842,7 +1152,10 @@ function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: Self
       + (selection.files.length === 0 && (selection.ignoredDirtyPaths?.length ?? 0) > 0
         ? `  ⚠️ 센 것이 0인데 «커밋 안 된» 변경 ${selection.ignoredDirtyPaths!.length}개가 있다 — 「통과」가 아니라 「안 쟀다」다(커밋 뒤 다시 돌려라)`
         : ''),
-    `scope: ${scope.testArgs?.join(', ') ?? '(test step skipped)'}`,
+    `scope: ${receiptDecision?.mode === 'inherit' ? testFiles.join(', ') || '(all tests inherited)' : scope.testArgs?.join(', ') ?? '(test step skipped)'}`,
+    ...(receiptDecision ? [receiptDecision.mode === 'inherit'
+      ? `gate receipt: inherited ${receiptDecision.inheritedTestFiles?.length ?? 0} · rerun ${testFiles.length} · source head ${receiptDecision.sourceHead?.slice(0, 12) ?? '(unknown)'}`
+      : `gate receipt: full radius (${receiptDecision.reason})`] : []),
     `ignored unrelated worktree changes: ${selection.ignoredDirtyPaths === undefined ? '(not checked)' : selection.ignoredDirtyPaths.join(', ') || '(none)'}`,
     `unverified: ${scope.unverified.length} (${scope.unverified.join(', ') || '(none)'})`,
     `elanous runtime artifacts: ${scope.elanousRuntimeArtifacts.length} (${scope.elanousRuntimeArtifacts.join(', ') || '(none)'})`,
@@ -870,6 +1183,7 @@ function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: Self
     ...(options.includeImporterTests
       ? [`importer tests added: ${lookupFailed ? `lookup failed (${lookupFailed})` : `${importerTestsAdded.length} (reason=changed-source-importer${importerTestsAdded.length ? ` · ${importerTestsAdded.join(', ')}` : ''})`}`]
       : []),
+    ...(commentOnlySources.length ? [`comment-only importer expansion excluded: ${commentOnlySources.join(', ')}`] : []),
     ...(options.scenario !== undefined || options.scenarioFile !== undefined ? [`scenario tests: ${scenarioTests.length} (${scenarioTests.join(', ')})`] : []),
   ];
   if (expose.log) lines.push(expose.log);
@@ -896,12 +1210,46 @@ function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: Self
   // 🍎 iOS 축 — 안드로이드와 «같은 자리»에 둔다(skipTestStep 앞). Swift 만 바뀐 PR 도 여기서 조기 리턴한다.
   const iosPassed = runAdditionalGate('ios-gate', deps.runIosGate ?? runIosUnitTestGate, selection.files, cwd, lines);
   const pwaPassed = runAdditionalGate('pwa-gate', deps.runPwaGate ?? runPwaBuildGate, selection.files, cwd, lines);
+  let entryBudgetPassed = false;
+  try {
+    const budget = (deps.runEntryBudgetGate ?? ((dir, files) => {
+      const affected = entryBudgetAffected(files);
+      return { affected, errors: affected ? auditEntryBudget(dir).errors : [] };
+    }))(cwd, selection.files);
+    entryBudgetPassed = budget.errors.length === 0;
+    lines.push(budget.affected
+      ? `next-tui-entry-budget: ${entryBudgetPassed ? 'pass' : `FAIL ${budget.errors.join('; ')}`}`
+      : 'next-tui-entry-budget: skip (unrelated changes)');
+  } catch (error) {
+    lines.push(`next-tui-entry-budget: UNMEASURED ${error instanceof Error ? error.message : String(error)}`);
+  }
+
+  if (receiptDecision?.mode === 'inherit' && testFiles.length === 0 && fullTestFiles.length > 0) {
+    capture.testReceiptMeasured = true;
+    capture.failedTestFiles = [];
+    capture.verdict = 'passed';
+    const testLine = formatPartialObservationNote(unrunImporterTotal ?? 0,
+      `tests: pass (${receiptDecision.inheritedTestFiles?.length ?? 0} files inherited from ${receiptDecision.sourceHead?.slice(0, 12) ?? 'prior receipt'})`);
+    lines.push(testLine);
+    capture.verdictLine = testLine;
+    const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
+    logGateCliBaseline(cwd, { ...ZERO_GATE_BASELINE, unrunImporterTotal, lookupFailed: importerLookupFailed });
+    return {
+      exitCode: policyPassed && androidPassed && iosPassed && pwaPassed && entryBudgetPassed && expose.passed ? 0 : 1,
+      lines, changedFiles: selection.files, testFiles, unverified: scope.unverified,
+      documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests,
+      alwaysIncludeMissing, importerTestsAdded,
+      baseline: { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 },
+    };
+  }
 
   if (skipTestStep) {
     const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
+    capture.testReceiptMeasured = false;
+    capture.failedTestFiles = [];
     logGateCliBaseline(cwd, { ...ZERO_GATE_BASELINE, unrunImporterTotal, lookupFailed: importerLookupFailed });
     Object.assign(capture, { verdict: 'skipped', artifactsUnavailable: 'no-tests' } satisfies GateArtifactCapture);
-    return { exitCode: androidPassed && iosPassed && pwaPassed && policyPassed && expose.passed ? 0 : 1, lines, changedFiles: selection.files, testFiles: [], unverified: scope.unverified, documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests, alwaysIncludeMissing, importerTestsAdded, baseline: { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 } };
+    return { exitCode: androidPassed && iosPassed && pwaPassed && entryBudgetPassed && policyPassed && expose.passed ? 0 : 1, lines, changedFiles: selection.files, testFiles: [], unverified: scope.unverified, documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests, alwaysIncludeMissing, importerTestsAdded, baseline: { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 } };
   }
 
   // The default direct Bun path has one process and one 300s limit. Route real child/PTY tests through
@@ -909,99 +1257,124 @@ function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: Self
   if (options.shards !== undefined || testFiles.some(isGateSpawnLaneFile)) {
     const spawnFileCount = testFiles.filter(isGateSpawnLaneFile).length;
     const shardCount = options.shards ?? (Math.min(3, spawnFileCount) + Number(testFiles.length > spawnFileCount));
-    const runShards = deps.runShards ?? runShardedGateTests;
     const onShardComplete = shardProgressObserver(cwd, options, deps);
-    const sharded = options.fixedShardDistribution
-      ? runShards(cwd, testFiles, selection.baseRef, shardCount, undefined, undefined, undefined, { fixedDistribution: true, onShardComplete })
-      : runShards(cwd, testFiles, selection.baseRef, shardCount, undefined, undefined, undefined, { onShardComplete });
-    capture.sharded = sharded;
-    capture.verdict = sharded.aggregate.status;
-    lines.push(`shards: ${sharded.shards.length} (${sharded.shards.map((shard) => `${shard.id}=${shard.files.join(',')}`).join('; ')})${sharded.expandedFrom !== undefined ? ` · RSS 예산상 ${sharded.expandedFrom}→${sharded.shards.length} 자동 확장` : ''}${sharded.measurementFailures ? ` · 측정 실패 ${sharded.measurementFailures}` : ''}${options.fixedShardDistribution ? ' · 고정 분배(사전 측정 없음)' : ''}${sharded.distribution === 'fixed-cap-fallback' ? ` · 호스트 상한 자동 고정 분배(${sharded.fallbackReason})` : ''}`);
-    // 조각이 «못 쟀다»일 때 이유가 줄에 없으면 자리·시간 초과·죽음을 가를 수 없다(OP 10-09 light RC) — 종료 코드·신호를 같이 싣는다.
-    const side = (code: number | null, signal: string | null | undefined, junit: string | undefined) => signal ? `signal ${signal}` : code === null ? 'exit ?' : `exit ${code}${junit === undefined ? ' · junit 없음' : ''}`;
-    for (const attempt of sharded.attempts) {
-      const plannedFiles = sharded.shards.find((shard) => shard.id === attempt.shardId)?.files;
-      const baselineFiles = attempt.baselineFiles;
-      const baselineDifference = baselineFiles && plannedFiles && (baselineFiles.length !== plannedFiles.length || baselineFiles.some((file, index) => file !== plannedFiles[index]))
-        ? ` · 기준 파일 ${baselineFiles.join(',') || '(none)'}` : '';
-      lines.push(`shard attempt: ${attempt.shardId} #${attempt.attempt} · 지금 ${side(attempt.currentExitCode, attempt.currentSignal, attempt.currentJUnit)} · 기준 ${side(attempt.baselineExitCode, attempt.baselineSignal, attempt.baselineJUnit)} · 파일 ${plannedFiles?.join(',') ?? '(unknown)'}${baselineDifference}`);
-      const renderDiagnostic = (value: string): string => redactSecretText(value).replace(/[\r\n\t\x00-\x1f\x7f]+/g, ' ').slice(0, 500);
-      if (attempt.currentJUnit === undefined && attempt.currentDiagnostic) lines.push(`shard diagnostic: ${attempt.shardId} #${attempt.attempt} 지금 · ${renderDiagnostic(attempt.currentDiagnostic)}`);
-      if (attempt.baselineJUnit === undefined && attempt.baselineDiagnostic) lines.push(`shard diagnostic: ${attempt.shardId} #${attempt.attempt} 기준 · ${renderDiagnostic(attempt.baselineDiagnostic)}`);
-    }
-    // OP FU (MK #8178 shard-9) — 실패 조각의 자식 출력 꼬리 ⊕ exit/signal 을 파일로 남긴다(관측만 · 판정·exit 불변).
-    // --artifact-dir 이 있으면 그 아래, 없으면 임시 디렉토리(JUnit 임시 디렉토리 옆 tmpdir)에.
-    if (sharded.failureEvidence?.length) {
-      try {
-        const evidenceDir = options.artifactDir?.trim() ? resolveArtifactDir(options.artifactDir, cwd) : mkdtempSync(join(tmpdir(), 'elanous-shard-failure-'));
-        for (const path of writeShardFailureEvidence(evidenceDir, sharded.failureEvidence)) lines.push(`shard failure evidence: ${path}`);
-      } catch (error) {
-        lines.push(`⚠ shard failure evidence: 못 썼다 — ${error instanceof Error ? error.message : String(error)} (판정은 그대로다)`);
+    const mode = { ...(options.fixedShardDistribution ? { fixedDistribution: true } : {}), onShardComplete,
+      ...(options.shardConcurrency !== undefined ? { concurrency: options.shardConcurrency } : {}) };
+    const runResult = asyncShards
+      ? (deps.runShardsAsync ?? runShardedGateTestsAsync)(cwd, testFiles, selection.baseRef, shardCount, undefined, undefined, undefined, mode)
+      : (deps.runShards ?? runShardedGateTests)(cwd, testFiles, selection.baseRef, shardCount, undefined, undefined, undefined, mode);
+    const finishShardedGate = (sharded: ShardRunResult): SelfGateCliResult => {
+      capture.sharded = sharded;
+      capture.verdict = sharded.aggregate.status;
+      lines.push(`shards: ${sharded.shards.length} (${sharded.shards.map((shard) => `${shard.id}=${shard.files.join(',')}`).join('; ')})${sharded.expandedFrom !== undefined ? ` · RSS 예산상 ${sharded.expandedFrom}→${sharded.shards.length} 자동 확장` : ''}${sharded.measurementFailures ? ` · 측정 실패 ${sharded.measurementFailures}` : ''}${options.fixedShardDistribution ? ' · 고정 분배(사전 측정 없음)' : ''}${sharded.distribution === 'fixed-cap-fallback' ? ` · 호스트 상한 자동 고정 분배(${sharded.fallbackReason})` : ''}${sharded.concurrency !== undefined ? ` · 동시성 ${sharded.concurrency} (${sharded.concurrencyReason ?? 'reason unavailable'})` : ''}${sharded.measurementMs !== undefined ? ` · RSS 사전 측정 ${(sharded.measurementMs / 1000).toFixed(1)}s · 묶음 ${((sharded.bundleMs ?? 0) / 1000).toFixed(1)}s · currentΣ ${((sharded.currentProcessMs ?? 0) / 1000).toFixed(1)}s · baselineΣ ${((sharded.baselineProcessMs ?? 0) / 1000).toFixed(1)}s` : ''}`);
+      // 조각이 «못 쟀다»일 때 이유가 줄에 없으면 자리·시간 초과·죽음을 가를 수 없다(OP 10-09 light RC) — 종료 코드·신호를 같이 싣는다.
+      const side = (code: number | null, signal: string | null | undefined, junit: string | undefined) => signal ? `signal ${signal}` : code === null ? 'exit ?' : `exit ${code}${junit === undefined ? ' · junit 없음' : ''}`;
+      for (const attempt of sharded.attempts) {
+        const plannedFiles = sharded.shards.find((shard) => shard.id === attempt.shardId)?.files;
+        const baselineFiles = attempt.baselineFiles;
+        const baselineDifference = baselineFiles && plannedFiles && (baselineFiles.length !== plannedFiles.length || baselineFiles.some((file, index) => file !== plannedFiles[index]))
+          ? ` · 기준 파일 ${baselineFiles.join(',') || '(none)'}` : '';
+        lines.push(`shard attempt: ${attempt.shardId} #${attempt.attempt} · 지금 ${side(attempt.currentExitCode, attempt.currentSignal, attempt.currentJUnit)} · 기준 ${side(attempt.baselineExitCode, attempt.baselineSignal, attempt.baselineJUnit)} · 파일 ${plannedFiles?.join(',') ?? '(unknown)'}${baselineDifference}`);
+        const renderDiagnostic = (value: string): string => redactSecretText(value).replace(/[\r\n\t\x00-\x1f\x7f]+/g, ' ').slice(0, 500);
+        if (attempt.currentJUnit === undefined && attempt.currentDiagnostic) lines.push(`shard diagnostic: ${attempt.shardId} #${attempt.attempt} 지금 · ${renderDiagnostic(attempt.currentDiagnostic)}`);
+        if (attempt.baselineJUnit === undefined && attempt.baselineDiagnostic) lines.push(`shard diagnostic: ${attempt.shardId} #${attempt.attempt} 기준 · ${renderDiagnostic(attempt.baselineDiagnostic)}`);
       }
-    }
-    const { aggregate } = sharded;
-    let shardBaseline: SelfGateCliResult['baseline'];
-    let unmeasuredReason: string | undefined;
-    if (aggregate.status === 'unmeasured') {
-      unmeasuredReason = sharded.reason
-        ? redactSecretText(sharded.reason).replace(/[\r\n\t\x00-\x1f\x7f]+/g, ' ').slice(0, 500)
-        : aggregate.retryShardIds.join(', ') || 'no complete JUnit';
-      for (const shardId of aggregate.retryShardIds) {
-        lines.push(`shard unmeasured: ${shardId} · ${sharded.unmeasuredByShard?.[shardId] ?? sharded.reason ?? 'cause unavailable'}`);
+      // OP FU (MK #8178 shard-9) — 실패 조각의 자식 출력 꼬리 ⊕ exit/signal 을 파일로 남긴다(관측만 · 판정·exit 불변).
+      // --artifact-dir 이 있으면 그 아래, 없으면 임시 디렉토리(JUnit 임시 디렉토리 옆 tmpdir)에.
+      if (sharded.failureEvidence?.length) {
+        try {
+          const evidenceDir = options.artifactDir?.trim() ? resolveArtifactDir(options.artifactDir, cwd) : mkdtempSync(join(tmpdir(), 'elanous-shard-failure-'));
+          for (const path of writeShardFailureEvidence(evidenceDir, sharded.failureEvidence)) lines.push(`shard failure evidence: ${path}`);
+        } catch (error) {
+          lines.push(`⚠ shard failure evidence: 못 썼다 — ${error instanceof Error ? error.message : String(error)} (판정은 그대로다)`);
+        }
       }
-      lines.push(`shards: unmeasured (${unmeasuredReason})`);
-      if (sharded.baselineStderrTail) lines.push(`baseline worktree-add git stderr: ${sharded.baselineStderrTail}`);
-      capture.unmeasuredReason = unmeasuredReason;
-    }
-    else if (aggregate.report) {
-      const report = recheckTimeoutOnlyIntroducedFailures(cwd, aggregate.report, deps.runTimeoutRecheck);
-      capture.timeoutRechecks = report.timeoutRechecks;
-      const timeoutRecheckResolvedFailure = aggregate.status === 'failed'
-        && (report.timeoutRecheckPassed ?? 0) > 0
-        && report.introduced === 0 && report.unknown === 0 && report.preconditionUnmet === 0
-        && report.timedOut === 0 && report.flakyRerun === 0 && report.worktreeFailuresParsed
-        && report.baselineStatus !== 'unknown';
-      const effectiveStatus = timeoutRecheckResolvedFailure ? 'passed' : aggregate.status;
-      capture.verdict = effectiveStatus;
-      logGateCliBaseline(cwd, {
-        introduced: report.introduced, preexisting: report.preexisting, unknown: report.unknown,
-        preconditionUnmet: report.preconditionUnmet, timedOut: report.timedOut,
-        timeoutPassedAtBase: report.timeoutPassedAtBase, failures: report.failures.slice(0, 20),
-        baselineFiles: report.files, baselineStatus: report.baselineStatus, unrunImporterTotal, lookupFailed: importerLookupFailed,
-      });
-      lines.push(formatPartialObservationNote(unrunImporterTotal ?? 0, formatGateBaselineNote(report, unrunImporterTotal ?? 0)));
-      shardBaseline = { introduced: report.introduced, preexisting: report.preexisting, unknown: report.unknown, preconditionUnmet: report.preconditionUnmet };
-    } else {
-      lines.push(formatPartialObservationNote(unrunImporterTotal ?? 0, `tests: pass (${testFiles.length} files)`));
-      logGateCliBaseline(cwd, { ...ZERO_GATE_BASELINE, unrunImporterTotal, lookupFailed: importerLookupFailed });
-      shardBaseline = { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 };
-    }
-    capture.verdictLine = lines[lines.length - 1];
-    const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
-    return {
-      exitCode: capture.verdict !== 'passed' || !policyPassed || !androidPassed || !iosPassed || !pwaPassed || !expose.passed ? 1 : 0,
-      lines, changedFiles: selection.files, testFiles, unverified: scope.unverified,
-      documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests,
-      alwaysIncludeMissing, importerTestsAdded, ...(shardBaseline ? { baseline: shardBaseline } : {}),
-      ...(unmeasuredReason !== undefined ? { unmeasuredReason } : {}),
+      const { aggregate } = sharded;
+      let shardBaseline: SelfGateCliResult['baseline'];
+      let unmeasuredReason: string | undefined;
+      if (aggregate.status === 'unmeasured') {
+        capture.testReceiptMeasured = false;
+        capture.failedTestFiles = [];
+        unmeasuredReason = sharded.reason
+          ? redactSecretText(sharded.reason).replace(/[\r\n\t\x00-\x1f\x7f]+/g, ' ').slice(0, 500)
+          : aggregate.retryShardIds.join(', ') || 'no complete JUnit';
+        for (const shardId of aggregate.retryShardIds) {
+          lines.push(`shard unmeasured: ${shardId} · ${sharded.unmeasuredByShard?.[shardId] ?? sharded.reason ?? 'cause unavailable'}`);
+        }
+        lines.push(`shards: unmeasured (${unmeasuredReason})`);
+        if (sharded.baselineStderrTail) lines.push(`baseline worktree-add git stderr: ${sharded.baselineStderrTail}`);
+        capture.unmeasuredReason = unmeasuredReason;
+      }
+      else if (aggregate.report) {
+        const timeoutReport = recheckTimeoutOnlyIntroducedFailures(cwd, aggregate.report, deps.runTimeoutRecheck);
+        const report = deps.runShards || deps.runShardsAsync
+          ? deps.runInterferenceRecheck?.(cwd, timeoutReport, selection.baseRef, relatedTestFiles) ?? timeoutReport
+          : (deps.runInterferenceRecheck ?? recheckOutsideScopeFailures)(cwd, timeoutReport, selection.baseRef, relatedTestFiles);
+        capture.timeoutRechecks = report.timeoutRechecks;
+        capture.interferenceRechecks = report.interferenceRechecks;
+        const timeoutRecheckResolvedFailure = aggregate.status === 'failed'
+          && (report.loadTimeout ?? 0) > 0
+          && report.introduced === 0 && report.unknown === 0 && report.preconditionUnmet === 0
+          && report.timedOut === 0 && report.flakyRerun === 0 && report.worktreeFailuresParsed
+          && report.baselineStatus !== 'unknown';
+        const effectiveStatus = timeoutRecheckResolvedFailure ? 'passed' : aggregate.status;
+        capture.verdict = effectiveStatus;
+        capture.testReceiptMeasured = report.unknown === 0 && report.preconditionUnmet === 0 && report.worktreeFailuresParsed;
+        capture.failedTestFiles = [...new Set(report.failures.map((failure) => failure.file).filter((file): file is string => typeof file === 'string'))];
+        logGateCliBaseline(cwd, {
+          introduced: report.introduced, preexisting: report.preexisting, unknown: report.unknown,
+          preconditionUnmet: report.preconditionUnmet, timedOut: report.timedOut,
+          timeoutPassedAtBase: report.timeoutPassedAtBase, failures: report.failures.slice(0, 20),
+          baselineFiles: report.files, baselineStatus: report.baselineStatus, unrunImporterTotal, lookupFailed: importerLookupFailed,
+        });
+        lines.push(formatPartialObservationNote(unrunImporterTotal ?? 0, formatGateBaselineNote(report, unrunImporterTotal ?? 0)));
+        shardBaseline = { introduced: report.introduced, preexisting: report.preexisting, unknown: report.unknown, preconditionUnmet: report.preconditionUnmet };
+      } else {
+        capture.testReceiptMeasured = true;
+        capture.failedTestFiles = [];
+        lines.push(formatPartialObservationNote(unrunImporterTotal ?? 0, `tests: pass (${testFiles.length} files)`));
+        logGateCliBaseline(cwd, { ...ZERO_GATE_BASELINE, unrunImporterTotal, lookupFailed: importerLookupFailed });
+        shardBaseline = { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 };
+      }
+      capture.verdictLine = lines[lines.length - 1];
+      const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
+      return {
+        exitCode: capture.verdict !== 'passed' || !policyPassed || !androidPassed || !iosPassed || !pwaPassed || !entryBudgetPassed || !expose.passed ? 1 : 0,
+        lines, changedFiles: selection.files, testFiles, unverified: scope.unverified,
+        documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests,
+        alwaysIncludeMissing, importerTestsAdded, ...(shardBaseline ? { baseline: shardBaseline } : {}),
+        ...(unmeasuredReason !== undefined ? { unmeasuredReason } : {}),
+      };
     };
+    return runResult instanceof Promise ? runResult.then(finishShardedGate) : finishShardedGate(runResult);
   }
 
   const test = (deps.runTests ?? ((dir, files) => (deps.runCommand ?? defaultRunCommand)('bun', ['test', ...files], dir)))(cwd, testFiles);
   const worktreeLog = formatProcessOutput(test);
   Object.assign(capture, { unshardedRc: test.status, artifactsUnavailable: 'unsharded' } satisfies GateArtifactCapture);
   if (test.status === 0 && !test.error) {
+    capture.testReceiptMeasured = true;
+    capture.failedTestFiles = [];
     lines.push(formatPartialObservationNote(unrunImporterTotal ?? 0, `tests: pass (${testFiles.length} files)`));
     Object.assign(capture, { verdict: 'passed', verdictLine: lines[lines.length - 1] } satisfies GateArtifactCapture);
     const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
     logGateCliBaseline(cwd, { ...ZERO_GATE_BASELINE, unrunImporterTotal, lookupFailed: importerLookupFailed });
-    return { exitCode: policyPassed && androidPassed && iosPassed && pwaPassed && expose.passed ? 0 : 1, lines, changedFiles: selection.files, testFiles, unverified: scope.unverified, documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests, alwaysIncludeMissing, importerTestsAdded, baseline: { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 } };
+    return { exitCode: policyPassed && androidPassed && iosPassed && pwaPassed && entryBudgetPassed && expose.passed ? 0 : 1, lines, changedFiles: selection.files, testFiles, unverified: scope.unverified, documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests, alwaysIncludeMissing, importerTestsAdded, baseline: { introduced: 0, preexisting: 0, unknown: 0, preconditionUnmet: 0 } };
   }
 
   if (worktreeLog.includes('deterministic environment setup failed')) lines.push(worktreeLog);
   const baseline = (deps.runBaseline ?? runGateBaseline)(cwd, testFiles, selection.baseRef);
-  const report = recheckTimeoutOnlyIntroducedFailures(cwd, buildGateBaselineReport(worktreeLog, baseline), deps.runTimeoutRecheck);
+  // An injected runner can represent a virtual checkout; only the real runner may use this host's file tree.
+  const currentFileExists = deps.runTests ? undefined : (file: string) => existsSync(resolve(cwd, file));
+  const timeoutReport = recheckTimeoutOnlyIntroducedFailures(cwd,
+    buildGateBaselineReport(worktreeLog, baseline, undefined, 0, currentFileExists), deps.runTimeoutRecheck);
+  const report = deps.runTests
+    ? deps.runInterferenceRecheck?.(cwd, timeoutReport, selection.baseRef, relatedTestFiles) ?? timeoutReport
+    : (deps.runInterferenceRecheck ?? recheckOutsideScopeFailures)(cwd, timeoutReport, selection.baseRef, relatedTestFiles);
   capture.timeoutRechecks = report.timeoutRechecks;
+  capture.interferenceRechecks = report.interferenceRechecks;
+  capture.testReceiptMeasured = report.unknown === 0 && report.preconditionUnmet === 0 && report.worktreeFailuresParsed;
+  capture.failedTestFiles = [...new Set(report.failures.map((failure) => failure.file).filter((file): file is string => typeof file === 'string'))];
   logGateCliBaseline(cwd, {
     introduced: report.introduced,
     preexisting: report.preexisting,
@@ -1021,7 +1394,7 @@ function runSelfGateCliCore(cwd: string, options: SelfGateCliOptions, deps: Self
     verdictLine: lines[lines.length - 1],
   } satisfies GateArtifactCapture);
   const policyPassed = runPolicyGates(selection.files, cwd, lines, deps);
-  const exitCode = !androidPassed || !iosPassed || !pwaPassed || !policyPassed || !expose.passed || report.introduced > 0 || report.unknown > 0 || report.preconditionUnmet > 0 ? 1 : 0;
+  const exitCode = !androidPassed || !iosPassed || !pwaPassed || !entryBudgetPassed || !policyPassed || !expose.passed || report.introduced > 0 || report.unknown > 0 || report.preconditionUnmet > 0 ? 1 : 0;
   return { exitCode, lines, changedFiles: selection.files, testFiles, unverified: scope.unverified, documentPaths: scope.documentPaths, documentsWithoutDerivedTests: scope.documentsWithoutDerivedTests, alwaysIncludeMissing, importerTestsAdded, baseline: { introduced: report.introduced, preexisting: report.preexisting, unknown: report.unknown, preconditionUnmet: report.preconditionUnmet } };
 }