pyproc 파일 세계 브라우저 검증 추가

Author: eddmpython

docs/skills/ops/foundation/testing-and-gates.md

@@ -70,6 +70,15 @@ runtime failure는 한 덩어리 오류가 아니다.
 - 각 vendor 파일의 `sha256-` integrity는 브라우저 `crypto.subtle.digest`로 다시 계산한다.
 - process worker payload가 실행 가능한 module 형태를 잃으면 실패해야 한다.
 
+## 웹 파이썬 파일 세계
+
+브라우저 티어가 로컬급 OS에 가까워지려면 셀 실행이 메모리 안 값만 남기는 것이 아니라 파일 세계에도 남아야 한다.
+
+- `pyproc-runtime-fs-browser`는 editor build에서 실제 pyproc을 boot하고, `Runtime.fs`로 셀 소스와 실행 기록을 `/home/web/codaro`에 쓴다.
+- 첫 번째 셀의 실행 기록은 `output/test-runner/pyproc-runtime-fs-browser/pyproc-runtime-fs-report.json`에 `runtimeFileSystem: Runtime.fs`, `pythonOpenShared: true`, source/run record path로 남는다.
+- 두 번째 셀은 Python `open()`으로 첫 번째 셀의 `/home/web/codaro/runs/*.json`을 읽어야 한다. JS `Runtime.fs`와 Python 파일 IO가 같은 파일 세계를 공유하지 못하면 실패한다.
+- 실행 결과 UI는 `data-runtime-artifacts`로 브라우저 FS 셀 소스와 실행 기록 경로를 보여준다.
+
 ## Provider/Teacher Loop
 
 scripted provider만 통과하는 상태는 제품 품질 기준을 만족하지 못한다.
@@ -183,6 +192,7 @@ uv run python -X utf8 tests/run.py gate install-launcher-smoke
 uv run python -X utf8 tests/run.py gate runtime-recovery-contract
 uv run python -X utf8 tests/run.py gate runtime-recovery-browser
 uv run python -X utf8 tests/run.py gate pyproc-assets-browser
+uv run python -X utf8 tests/run.py gate pyproc-runtime-fs-browser
 uv run python -X utf8 tests/run.py gate curriculum-quality-matrix
 uv run python -X utf8 tests/run.py gate curriculum-top-tier-audit
 uv run python -X utf8 tests/run.py gate playwright-curriculum-runtime
@@ -192,8 +202,8 @@ uv run python -X utf8 tests/run.py gate landing-build
 uv run python -X utf8 tests/run.py gate launcher-test
 ```
 
-`diagnostic-summary-contract`는 local diagnostic summary의 category/action/redaction 계약을 고정한다. `architecture-boundary`는 report가 없는 빠른 집중 gate지만 `quality-cycle` command log path/size/freshness로 현재 커밋에서 실행됐는지 확인한다. `editor-build`와 `launcher-check`는 집중 확인 gate로 유지한다. 첫 사용자 완주 audit은 `dogfood-alpha-audit/dogfood-alpha-report.json`의 fresh 여부와 `gitHead`로 대조한다. 자동화 IDE audit은 `automation-ide-audit/automation-ide-report.json`의 fresh 여부와 `gitHead`로 대조한다. 진단/운영 표면은 `diagnostic-summary-contract/diagnostic-summary-report.json`의 fresh 여부와 `gitHead`로 대조한다. `quality-cycle`에서는 editor build 증거를 `learning-system-readiness`의 `learning-card-contract` probe, `pyproc-assets-browser/pyproc-assets-report.json`, `frontend-performance-budget`로 보고, `frontend-performance-budget/performance-report.json`의 fresh 여부와 `gitHead`도 sequence artifact evidence로 대조한다. 첫 사용자 화면은 `onboarding-browser/onboarding-report.json`의 fresh 여부와 `gitHead`로 대조하고, provider 설정 흐름은 `provider-settings-browser/provider-settings-report.json`의 fresh 여부와 `gitHead`로 대조한다. runtime 복구 UX는 `runtime-recovery-browser/runtime-recovery-report.json`의 fresh 여부와 `gitHead`로 대조한다. 학습 품질은 `curriculum-quality-matrix/curriculum-quality-report.json`, `curriculum-top-tier-audit/curriculum-top-tier-report.json`, `playwright-curriculum-runtime/playwright-curriculum-runtime-report.json`의 fresh 여부와 `gitHead`로 대조한다. launcher 설치/실행 smoke는 `install-launcher-smoke/install-launcher-report.json`의 fresh 여부와 `gitHead`로 대조한다. launcher check 증거를 `install-launcher-smoke`와 `launcher-test`로 본다. `teacher-eval`, `teacher-e2e`, `assistant-workloop-contract`, `editor-runtime-preflight`, `learning-card-contract`, `learning-card-browser`는 `learning-system-readiness`의 blocking probe로 실행된다.
+`diagnostic-summary-contract`는 local diagnostic summary의 category/action/redaction 계약을 고정한다. `architecture-boundary`는 report가 없는 빠른 집중 gate지만 `quality-cycle` command log path/size/freshness로 현재 커밋에서 실행됐는지 확인한다. `editor-build`와 `launcher-check`는 집중 확인 gate로 유지한다. 첫 사용자 완주 audit은 `dogfood-alpha-audit/dogfood-alpha-report.json`의 fresh 여부와 `gitHead`로 대조한다. 자동화 IDE audit은 `automation-ide-audit/automation-ide-report.json`의 fresh 여부와 `gitHead`로 대조한다. 진단/운영 표면은 `diagnostic-summary-contract/diagnostic-summary-report.json`의 fresh 여부와 `gitHead`로 대조한다. `quality-cycle`에서는 editor build 증거를 `learning-system-readiness`의 `learning-card-contract` probe, `pyproc-assets-browser/pyproc-assets-report.json`, `pyproc-runtime-fs-browser/pyproc-runtime-fs-report.json`, `frontend-performance-budget`로 보고, `frontend-performance-budget/performance-report.json`의 fresh 여부와 `gitHead`도 sequence artifact evidence로 대조한다. 첫 사용자 화면은 `onboarding-browser/onboarding-report.json`의 fresh 여부와 `gitHead`로 대조하고, provider 설정 흐름은 `provider-settings-browser/provider-settings-report.json`의 fresh 여부와 `gitHead`로 대조한다. runtime 복구 UX는 `runtime-recovery-browser/runtime-recovery-report.json`의 fresh 여부와 `gitHead`로 대조한다. 학습 품질은 `curriculum-quality-matrix/curriculum-quality-report.json`, `curriculum-top-tier-audit/curriculum-top-tier-report.json`, `playwright-curriculum-runtime/playwright-curriculum-runtime-report.json`의 fresh 여부와 `gitHead`로 대조한다. launcher 설치/실행 smoke는 `install-launcher-smoke/install-launcher-report.json`의 fresh 여부와 `gitHead`로 대조한다. launcher check 증거를 `install-launcher-smoke`와 `launcher-test`로 본다. `teacher-eval`, `teacher-e2e`, `assistant-workloop-contract`, `editor-runtime-preflight`, `learning-card-contract`, `learning-card-browser`는 `learning-system-readiness`의 blocking probe로 실행된다.
 
 ## 완료 판단
 
-목표 완료 선언은 “잘 만들어졌다”는 품질 판단을 증명해야 한다. `quality-cycle`, `product-quality-audit`, `automation-ide-audit`, 개별 gate 결과가 tracked worktree clean 상태에서 최신 `output/test-runner/quality-cycle/sequence-summary.json`과 `output/test-runner/ai-live-smoke/live-smoke-report.json`을 현재 `gitHead`와 대조해 stale artifact가 아님을 확인해야 한다. 이 최종 artifact 검사는 22개 product gate 통과, 각 gate command log path/size/freshness와 실제 repo-local log 파일 존재/크기, `softFailureCount: 0`, live provider credential, clarification-before-provider, `resolve-learning-goal → search-curricula → compose-master-plan` 추천·조합, gap evidence 뒤 `packages-check → write-curriculum-yaml`, `packages-check → cell-call` exact sequence를 함께 본다. live provider credential이 없는 환경에서는 `ai-live-smoke`의 `live credential missing`과 quality-cycle `softFailureCount`를 증거로 남기되, 실제 provider 품질 판단은 credential이 있는 환경에서 다시 실행한 결과를 붙인다. `service-readiness-audit`는 이전 자동화를 위한 호환 alias일 뿐 완료 기준의 이름으로 쓰지 않는다.
+목표 완료 선언은 “잘 만들어졌다”는 품질 판단을 증명해야 한다. `quality-cycle`, `product-quality-audit`, `automation-ide-audit`, 개별 gate 결과가 tracked worktree clean 상태에서 최신 `output/test-runner/quality-cycle/sequence-summary.json`과 `output/test-runner/ai-live-smoke/live-smoke-report.json`을 현재 `gitHead`와 대조해 stale artifact가 아님을 확인해야 한다. 이 최종 artifact 검사는 23개 product gate 통과, 각 gate command log path/size/freshness와 실제 repo-local log 파일 존재/크기, `softFailureCount: 0`, live provider credential, clarification-before-provider, `resolve-learning-goal → search-curricula → compose-master-plan` 추천·조합, gap evidence 뒤 `packages-check → write-curriculum-yaml`, `packages-check → cell-call` exact sequence를 함께 본다. live provider credential이 없는 환경에서는 `ai-live-smoke`의 `live credential missing`과 quality-cycle `softFailureCount`를 증거로 남기되, 실제 provider 품질 판단은 credential이 있는 환경에서 다시 실행한 결과를 붙인다. `service-readiness-audit`는 이전 자동화를 위한 호환 alias일 뿐 완료 기준의 이름으로 쓰지 않는다.

docs/skills/ops/product/service-candidate.md

@@ -34,6 +34,7 @@ import { loadSharePackCurriculum } from "@/lib/sharePackOperations";
 import { loadSystemDiagnosticExport } from "@/lib/systemDiagnostics";
 import { providerProfileReady } from "@/lib/providerProfile";
 import { WidgetSessionProvider } from "@/lib/widgetSession";
+import { installBrowserPythonRuntimeDiagnostics } from "@/lib/browserPythonRuntime";
 import {
   SidebarInset,
   SidebarProvider,
@@ -53,6 +54,12 @@ function App() {
     root.style.setProperty("--keyboard-height", `${viewportInsets.keyboardHeight}px`);
   }, [viewportInsets.isKeyboardOpen, viewportInsets.keyboardHeight]);
 
+  useEffect(() => {
+    const params = new URLSearchParams(window.location.search);
+    if (!params.has("codaroBrowserRuntimeDiagnostics")) return undefined;
+    return installBrowserPythonRuntimeDiagnostics();
+  }, []);
+
   useEffect(() => {
     const handler = (event: Event) => {
       const detail = (event as CustomEvent<{ blockIds?: string[]; sessionId?: string }>).detail;

editor/src/App.tsx

@@ -138,6 +138,29 @@ export function ExecutionOutput({
         <pre className="whitespace-pre-wrap font-mono text-sm leading-6">{output}</pre>
       </ScrollArea>
       )}
+      {result.artifacts?.length ? (
+        <div
+          className="mt-3 rounded-md border border-border/70 bg-background/70 px-3 py-2 text-xs leading-5"
+          data-runtime-artifacts="true"
+        >
+          <div className="mb-1 font-medium text-foreground">{t("system.runtimeArtifacts")}</div>
+          <div className="space-y-1">
+            {result.artifacts.map((artifact) => (
+              <div
+                key={`${artifact.kind}:${artifact.path}`}
+                className="min-w-0"
+                data-runtime-artifact-kind={artifact.kind}
+              >
+                <span className="text-muted-foreground">{artifact.label}: </span>
+                <span className="break-all font-mono text-[11px]">{artifact.path}</span>
+                {artifact.detail ? (
+                  <span className="ml-1 text-muted-foreground">{artifact.detail}</span>
+                ) : null}
+              </div>
+            ))}
+          </div>
+        </div>
+      ) : null}
       {hasError ? (
         <div
           className="mt-3 flex gap-2 rounded-md border border-destructive/25 bg-background/70 px-3 py-2 text-xs leading-5"

editor/src/components/app/appPrimitives.tsx

@@ -7,12 +7,20 @@
 import type { ExecutionResult, VariableInfo } from "@/types";
 
 type PyRuntime = {
+  fs: PyRuntimeFileSystem;
   run(code: string): unknown;
   runAsync(code: string): Promise<unknown>;
   install(pkg: string): Promise<void>;
   loadPackages(pkgs: string | string[]): Promise<void>;
 };
 
+type PyRuntimeFileSystem = {
+  writeFile(path: string, data: string | Uint8Array, opts?: { encoding?: "utf8" | "binary" }): void;
+  readFile(path: string, opts?: { encoding?: "utf8" | "binary" }): Uint8Array | string;
+  mkdirTree(path: string): void;
+  exists(path: string): boolean;
+};
+
 type PyProcAssetIntegrity = {
   files?: { path: string; url: string; integrity: string; roles?: string[] }[];
 };
@@ -31,11 +39,17 @@ const stdoutLines: string[] = [];
 const stderrLines: string[] = [];
 let previousVariables = new Map<string, VariableInfo>();
 const attemptedPackages = new Set<string>();
+const browserFsRoot = "/home/web/codaro";
+const browserFsCellsDir = `${browserFsRoot}/cells`;
+const browserFsRunsDir = `${browserFsRoot}/runs`;
 
 function assetIntegrityUrl(): string {
   const envUrl = import.meta.env.VITE_PYPROC_ASSET_INTEGRITY_URL;
   if (typeof envUrl === "string" && envUrl.trim()) return envUrl;
-  return new URL("pyproc-assets.json", import.meta.env.BASE_URL || "/").pathname;
+  const appBase = import.meta.env.BASE_URL || "/";
+  const baseHref = new URL(appBase, window.location.origin).href;
+  const manifestUrl = new URL("pyproc-assets.json", baseHref);
+  return `${manifestUrl.pathname}${manifestUrl.search}${manifestUrl.hash}`;
 }
 
 async function loadAssetIntegrity(): Promise<PyProcAssetIntegrity | null> {
@@ -162,6 +176,111 @@ function drainBuffers() {
   return { stdout, stderr };
 }
 
+function browserSafeBlockName(blockId: string): string {
+  const safe = blockId.replace(/[^A-Za-z0-9_.-]+/g, "-").replace(/^-+|-+$/g, "");
+  return safe || "cell";
+}
+
+function ensureBrowserFileWorld(runtime: PyRuntime): void {
+  runtime.fs.mkdirTree(browserFsCellsDir);
+  runtime.fs.mkdirTree(browserFsRunsDir);
+}
+
+function pythonBool(value: unknown): boolean {
+  return value === true || String(value).toLowerCase() === "true";
+}
+
+function pythonFileEquals(runtime: PyRuntime, path: string, expected: string): boolean {
+  const code = [
+    "import pathlib as _codaroPathlib",
+    `_codaroPathlib.Path(${JSON.stringify(path)}).read_text(encoding="utf-8") == ${JSON.stringify(expected)}`,
+  ].join("\n");
+  return pythonBool(runtime.run(code));
+}
+
+function pythonRunRecordMatches(runtime: PyRuntime, path: string, blockId: string, status: string): boolean {
+  const code = [
+    "import json as _codaroJson",
+    `_codaroRecord = _codaroJson.load(open(${JSON.stringify(path)}, encoding="utf-8"))`,
+    `_codaroRecord.get("blockId") == ${JSON.stringify(blockId)} and _codaroRecord.get("status") == ${JSON.stringify(status)}`,
+  ].join("\n");
+  return pythonBool(runtime.run(code));
+}
+
+function writeBrowserCellSource(runtime: PyRuntime, blockId: string, code: string) {
+  ensureBrowserFileWorld(runtime);
+  const sourcePath = `${browserFsCellsDir}/${browserSafeBlockName(blockId)}.py`;
+  runtime.fs.writeFile(sourcePath, code, { encoding: "utf8" });
+  const pythonOpenVerified = pythonFileEquals(runtime, sourcePath, code);
+  if (!pythonOpenVerified) {
+    throw new Error(`browser Runtime.fs source mirror was not visible to Python open(): ${sourcePath}`);
+  }
+  return { sourcePath, pythonOpenVerified };
+}
+
+function writeBrowserRunRecord(
+  runtime: PyRuntime,
+  record: {
+    blockId: string;
+    executionCount: number;
+    status: string;
+    stdout: string;
+    stderr: string;
+    resultRepr: string;
+    sourcePath: string;
+  },
+) {
+  ensureBrowserFileWorld(runtime);
+  const resultPath = `${browserFsRunsDir}/${browserSafeBlockName(record.blockId)}.json`;
+  const payload = {
+    ...record,
+    resultPath,
+    completedAt: new Date().toISOString(),
+    runtime: {
+      tier: "browser",
+      engine: "pyproc",
+      fileSystem: "Runtime.fs",
+      pythonOpenShared: true,
+    },
+  };
+  const text = `${JSON.stringify(payload, null, 2)}\n`;
+  runtime.fs.writeFile(resultPath, text, { encoding: "utf8" });
+  runtime.fs.writeFile(`${browserFsRunsDir}/latest.json`, text, { encoding: "utf8" });
+  const readBack = JSON.parse(String(runtime.fs.readFile(resultPath, { encoding: "utf8" }))) as { blockId?: string; status?: string };
+  if (readBack.blockId !== record.blockId || readBack.status !== record.status) {
+    throw new Error(`browser Runtime.fs run record readback mismatch: ${resultPath}`);
+  }
+  const pythonOpenVerified = pythonRunRecordMatches(runtime, resultPath, record.blockId, record.status);
+  if (!pythonOpenVerified) {
+    throw new Error(`browser Runtime.fs run record was not visible to Python open(): ${resultPath}`);
+  }
+  return { resultPath, latestPath: `${browserFsRunsDir}/latest.json`, pythonOpenVerified };
+}
+
+function browserFileArtifacts(evidence: {
+  sourcePath: string;
+  resultPath: string;
+  latestPath: string;
+  pythonOpenVerified: boolean;
+}) {
+  return [
+    {
+      kind: "browser-runtime-source-file",
+      label: "브라우저 FS 셀 소스",
+      path: evidence.sourcePath,
+      detail: "pyproc Runtime.fs writeFile, Python open() 공유 확인",
+    },
+    {
+      kind: "browser-runtime-run-record",
+      label: "브라우저 FS 실행 기록",
+      path: evidence.resultPath,
+      detail: evidence.pythonOpenVerified
+        ? `latest: ${evidence.latestPath}, Python open() 확인`
+        : `latest: ${evidence.latestPath}`,
+    },
+  ];
+}
+
 /** 셀 하나를 브라우저 WASM CPython에서 진짜 실행한다. */
 export async function executeBrowserBlock(
   blockId: string,
@@ -175,7 +294,11 @@ export async function executeBrowserBlock(
 
   let resultRepr = "";
   let errorText = "";
+  let sourcePath = "";
+  let artifacts: ReturnType<typeof browserFileArtifacts> = [];
   try {
+    const sourceEvidence = writeBrowserCellSource(runtime, blockId, code);
+    sourcePath = sourceEvidence.sourcePath;
     const value = await runtime.runAsync(code);
     if (value !== undefined && value !== null) {
       resultRepr = String(value);
@@ -187,6 +310,24 @@ export async function executeBrowserBlock(
   }
 
   const { stdout, stderr } = drainBuffers();
+  const status = errorText ? "error" : "success";
+  try {
+    if (sourcePath) {
+      const runEvidence = writeBrowserRunRecord(runtime, {
+        blockId,
+        executionCount,
+        status,
+        stdout,
+        stderr: errorText ? (stderr ? `${stderr}\n${errorText}` : errorText) : stderr,
+        resultRepr,
+        sourcePath,
+      });
+      artifacts = browserFileArtifacts({ sourcePath, ...runEvidence });
+    }
+  } catch (error) {
+    const fileError = error instanceof Error ? error.message : String(error);
+    errorText = errorText ? `${errorText}\n${fileError}` : fileError;
+  }
   const variables = errorText ? [] : collectVariables(runtime);
   const stateDelta = errorText ? { added: [], updated: [], removed: [] } : computeDelta(variables);
   const combinedStdout = resultRepr ? (stdout ? `${stdout}\n${resultRepr}` : resultRepr) : stdout;
@@ -201,6 +342,7 @@ export async function executeBrowserBlock(
     stateDelta,
     executionCount,
     status: errorText ? "error" : "success",
+    artifacts,
   };
 }
 
@@ -220,3 +362,36 @@ export async function runBrowserNotebook(
   }
   return { results, variables: lastVariables };
 }
+
+type BrowserPythonRuntimeDiagnostics = {
+  executeBlock: typeof executeBrowserBlock;
+  isBooted: typeof isBrowserKernelBooted;
+  readTextFile: (path: string) => Promise<string>;
+  runNotebook: typeof runBrowserNotebook;
+};
+
+declare global {
+  interface Window {
+    __codaroBrowserPythonDiagnostics?: BrowserPythonRuntimeDiagnostics;
+  }
+}
+
+export function installBrowserPythonRuntimeDiagnostics(): () => void {
+  const previous = window.__codaroBrowserPythonDiagnostics;
+  window.__codaroBrowserPythonDiagnostics = {
+    executeBlock: executeBrowserBlock,
+    isBooted: isBrowserKernelBooted,
+    readTextFile: async (path: string) => {
+      const runtime = await ensureRuntime();
+      return String(runtime.fs.readFile(path, { encoding: "utf8" }));
+    },
+    runNotebook: runBrowserNotebook,
+  };
+  return () => {
+    if (previous) {
+      window.__codaroBrowserPythonDiagnostics = previous;
+    } else {
+      delete window.__codaroBrowserPythonDiagnostics;
+    }
+  };
+}