From e48f82d50f89a579fe67147294d39552ab932328 Mon Sep 17 00:00:00 2001
From: homen <hshum2018@gmail.com>
Date: Mon, 6 Jul 2026 18:13:34 -0700
Subject: [PATCH] Clarify ProofLoop registry version state

---
 dist/mcp.js                   |  2 +-
 public/index.html             |  2 +-
 site-src/webcontainer-demo.js | 16 ++++++++--------
 src/mcp.ts                    |  2 +-
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/dist/mcp.js b/dist/mcp.js
index c54cd90..8f9b367 100644
--- a/dist/mcp.js
+++ b/dist/mcp.js
@@ -73,7 +73,7 @@ function handleRequest(request, serverRoot) {
             return {
                 protocolVersion: "2025-06-18",
                 capabilities: { tools: {} },
-                serverInfo: { name: "proofloop", version: "0.2.0" },
+                serverInfo: { name: "proofloop", version: "0.3.0" },
             };
         case "ping":
             return {};
diff --git a/public/index.html b/public/index.html
index e54bf09..4ef722c 100644
--- a/public/index.html
+++ b/public/index.html
@@ -56,7 +56,7 @@ <h1>The gate decides<br />when it&rsquo;s <span class="accent">done</span>.</h1>
           </div>
 
           <p class="meta">
-            v0.3.0 &middot; MIT &middot; zero runtime deps &middot; Node &ge; 20
+            source v0.3.0 &middot; npm latest v0.2.0 until publish &middot; MIT &middot; zero runtime deps &middot; Node &ge; 20
             <span class="run-status" data-run-status></span>
           </p>
         </section>
diff --git a/site-src/webcontainer-demo.js b/site-src/webcontainer-demo.js
index 80dac78..ed010b0 100644
--- a/site-src/webcontainer-demo.js
+++ b/site-src/webcontainer-demo.js
@@ -62,11 +62,11 @@ async function pipeToTerminal(process, term) {
 }
 
 async function runDemo(term, setStatus) {
-  setStatus("booting sandbox…");
+  setStatus("booting sandbox...");
   const webcontainer = await WebContainer.boot();
   await webcontainer.mount(FIXTURE_FILES);
 
-  setStatus("installing proofloop from npm…");
+  setStatus("installing proofloop from npm...");
   term.writeln("$ npm install proofloop --no-audit --no-fund");
   const install = await webcontainer.spawn("npm", ["install", "proofloop", "--no-audit", "--no-fund"]);
   const installPipe = pipeToTerminal(install, term);
@@ -74,25 +74,25 @@ async function runDemo(term, setStatus) {
   await installPipe;
   if (installExit !== 0) {
     setStatus("install failed");
-    term.writeln("\r\n[install failed — showing recorded transcript instead]");
+    term.writeln("\r\n[install failed - showing recorded transcript instead]");
     return;
   }
 
-  setStatus("running npx proofloop init…");
+  setStatus("running npx proofloop init...");
   term.writeln("\r\n$ npx proofloop init");
   const init = await webcontainer.spawn("npx", ["proofloop", "init"]);
   const initPipe = pipeToTerminal(init, term);
   await init.exit;
   await initPipe;
 
-  setStatus("running npx proofloop gate…");
+  setStatus("running npx proofloop gate...");
   term.writeln("\r\n$ npx proofloop gate");
   const gate = await webcontainer.spawn("npx", ["proofloop", "gate"]);
   const gatePipe = pipeToTerminal(gate, term);
   const gateExit = await gate.exit;
   await gatePipe;
 
-  setStatus(gateExit === 0 ? "gate: passed (real run, real proofloop package)" : "gate: failed");
+  setStatus(gateExit === 0 ? "gate: passed (real run against npm proofloop package)" : "gate: failed");
 }
 
 function init() {
@@ -111,7 +111,7 @@ function init() {
     if (started) return;
     started = true;
     runButton.disabled = true;
-    runButton.textContent = "Running…";
+    runButton.textContent = "Running...";
 
     staticBody.hidden = true;
     liveHost.hidden = false;
@@ -135,7 +135,7 @@ function init() {
     try {
       await runDemo(term, setStatus);
     } catch (err) {
-      setStatus("sandbox unavailable — showing recorded transcript instead");
+      setStatus("sandbox unavailable - showing recorded transcript instead");
       term.writeln(`\r\n[${err && err.message ? err.message : "boot failed"}]`);
       liveHost.hidden = true;
       staticBody.hidden = false;
diff --git a/src/mcp.ts b/src/mcp.ts
index d085e2d..cb43eb7 100644
--- a/src/mcp.ts
+++ b/src/mcp.ts
@@ -92,7 +92,7 @@ function handleRequest(request: JsonRpcRequest, serverRoot: string): JsonValue {
       return {
         protocolVersion: "2025-06-18",
         capabilities: { tools: {} },
-        serverInfo: { name: "proofloop", version: "0.2.0" },
+        serverInfo: { name: "proofloop", version: "0.3.0" },
       };
     case "ping":
       return {};