From 55214c13109233a1bab9ceeb927647f9e95127fb Mon Sep 17 00:00:00 2001
From: Greg Soucy <GREG@COMMANDLAYER.ORG>
Date: Thu, 19 Mar 2026 00:42:57 -0400
Subject: [PATCH] Improve demo proof flow and verification clarity

---
 public/commons.html      |   6 +-
 public/composer.html     | 131 ++++++++++++++++++++++++++++++---------
 public/demo-inner.html   |   4 +-
 public/demo.html         |  16 ++---
 public/index.html        |  16 ++---
 public/licensing.html    |   6 +-
 public/quickstart.html   |  12 ++--
 public/repositories.html |   4 +-
 public/runtime.html      |   6 +-
 9 files changed, 138 insertions(+), 63 deletions(-)

diff --git a/public/commons.html b/public/commons.html
index 3c651f0..0f15360 100644
--- a/public/commons.html
+++ b/public/commons.html
@@ -527,7 +527,7 @@
 
           <nav class="site-header__nav">
             <a href="/" class="site-header__link">Home</a>
-            <a href="/demo.html" class="site-header__link">Demo</a>
+            <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
             <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
             <div class="site-header__dropdown">
@@ -623,7 +623,7 @@ <h3>Transport-agnostic by default</h3>
               </article>
             </div>
             <p style="margin:1.15rem 0 0; color: var(--text-muted); line-height: 1.7;">
-              Commons and Commercial define contract surfaces; Agent Cards define discovery; Runtime defines execution. Receipt verification and runtime proof can layer on top of Commons receipts without changing Commons semantics.
+              Commons and Commercial define contract surfaces; Agent Cards define discovery; Runtime defines execution. Receipt verification and runtime proof can layer on top of Commons receipts without changing Commons semantics, with signer identity and public-key lookup resolved outside the canonical receipt contract.
             </p>
           </div>
         </section>
@@ -871,7 +871,7 @@ <h3 class="card-block__title">Stability &amp; governance</h3>
                 are treated as semantic public goods for the agent economy.
               </p>
               <p style="font-size:0.9rem;color:var(--text-muted);margin:0.6rem 0 0;">
-                Receipt verification and runtime proof can layer on top of Commons receipts without changing Commons semantics.
+                Receipt verification and runtime proof can layer on top of Commons receipts without changing Commons semantics, with signer identity and public-key lookup resolved outside the canonical receipt contract.
               </p>
             </div>
           </div>
diff --git a/public/composer.html b/public/composer.html
index bf905c8..b852af5 100644
--- a/public/composer.html
+++ b/public/composer.html
@@ -233,7 +233,7 @@
     <button class="site-header__toggle" aria-label="Toggle navigation" aria-expanded="false">☰</button>
     <nav class="site-header__nav">
       <a href="/" class="site-header__link">Home</a>
-      <a href="/demo.html" class="site-header__link">Demo</a>
+      <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
       <a href="/composer.html" class="site-header__link site-header__link--active">Run Flow</a>
       <a href="/quickstart.html" class="site-header__link">Quickstart</a>
       <div class="site-header__dropdown">
@@ -255,7 +255,7 @@
     <div class="container">
       <div class="hero__wrap">
         <div>
-          <p class="eyebrow">Judge-ready proof path</p>
+          <p class="eyebrow">Verified proof path</p>
           <h1>Run once. Get a receipt. Verify the proof.</h1>
           <p>
             This page is the canonical CommandLayer demo journey. It opens on the strongest default flow,
@@ -297,7 +297,7 @@ <h1>Run once. Get a receipt. Verify the proof.</h1>
           <h2>Clean → Summarize</h2>
           <p>
             The first run is intentionally stable and understandable. It cleans a short agent action statement,
-            then summarizes the normalized result into a judge-readable proof brief.
+            then summarizes the normalized result into a proof brief you can verify immediately.
           </p>
           <ul class="hero-card__list">
             <li>No demo chooser or concept picking before value appears.</li>
@@ -318,26 +318,31 @@ <h2>Clean → Summarize</h2>
     <aside class="panel">
       <div class="panel__eyebrow">Proof setup</div>
       <h2>Best default story, pre-loaded</h2>
-      <p>Judges should be able to run this immediately. The advanced composer path is intentionally secondary.</p>
-
-      <div class="form-row">
-        <label for="starter-flow">Starter flow</label>
-        <select id="starter-flow">
-          <option value="proof_default">Clean → Summarize (Recommended)</option>
-          <option value="analysis">Describe → Explain</option>
-          <option value="parse">Parse → Summarize</option>
-        </select>
-      </div>
+      <p>The strongest proof path is already loaded. Run it immediately, or open advanced options only if you want to customize the flow.</p>
+
+      <details class="advanced-panel">
+        <summary>Advanced flow options</summary>
+        <p class="advanced-panel__copy">The strongest verified flow is already loaded. Only open this if you want to swap the default steps or edit the prompts before running.</p>
+
+        <div class="form-row">
+          <label for="starter-flow">Starter flow</label>
+          <select id="starter-flow">
+            <option value="proof_default">Clean → Summarize (Recommended)</option>
+            <option value="analysis">Describe → Explain</option>
+            <option value="parse">Parse → Summarize</option>
+          </select>
+        </div>
 
-      <div class="form-row">
-        <label for="clean-input">Step 1 — Source content</label>
-        <textarea id="clean-input">Agent action: normalize a judge-facing proof statement, preserve meaning, remove noise, and return a canonical receipt that can be verified independently.</textarea>
-      </div>
+        <div class="form-row">
+          <label for="clean-input">Step 1 — Source content</label>
+          <textarea id="clean-input">Agent action: normalize a proof statement, preserve meaning, remove noise, and return a canonical receipt that can be verified independently.</textarea>
+        </div>
 
-      <div class="form-row">
-        <label for="summary-instructions">Step 2 — Final brief instructions</label>
-        <textarea id="summary-instructions">Summarize the cleaned result into a short proof brief for a skeptical hackathon judge. Focus on what ran, what artifact was emitted, and why the receipt is verifiable.</textarea>
-      </div>
+        <div class="form-row">
+          <label for="summary-instructions">Step 2 — Final brief instructions</label>
+          <textarea id="summary-instructions">Summarize the cleaned result into a short proof brief. Focus on what ran, what artifact was emitted, and why the receipt is verifiable.</textarea>
+        </div>
+      </details>
 
       <div class="kv-grid">
         <div class="kv"><strong>Expected ending</strong><span>Verified receipt + proof artifact</span></div>
@@ -419,11 +424,44 @@ <h3 style="margin:0.22rem 0 0;">Verification Passed</h3>
         </article>
       </div>
 
+      <article class="proof-stage">
+        <div class="proof-stage__top">
+          <div>
+            <div class="section__eyebrow">Verification path</div>
+            <h2 style="margin-top:0.2rem;">Hash → signature → signer → public key source</h2>
+          </div>
+          <span class="tag" id="verification-path-tag">Awaiting run</span>
+        </div>
+        <p style="margin:0; color:var(--text-muted); line-height:1.7;">Verification checks the canonical receipt hash, the detached Ed25519 signature, the resolved signer identity, and the public key source published through ENS TXT records and the identity anchor.</p>
+        <div class="proof-metrics" style="margin-top:1rem;">
+          <div class="metric-card">
+            <div class="metric-card__label">Signer identity</div>
+            <div class="metric-card__value mono" id="metric-signer-identity">runtime.commandlayer.eth</div>
+          </div>
+          <div class="metric-card">
+            <div class="metric-card__label">Signature algorithm</div>
+            <div class="metric-card__value mono" id="metric-signature-algorithm">Ed25519 detached signature</div>
+          </div>
+          <div class="metric-card">
+            <div class="metric-card__label">Public key source</div>
+            <div class="metric-card__value mono" id="metric-key-source">ENS TXT: cl.receipt.pubkey_b64</div>
+          </div>
+          <div class="metric-card">
+            <div class="metric-card__label">Verification route</div>
+            <div class="metric-card__value mono" id="metric-verification-route">Receipt → hash → signature → ENS key lookup</div>
+          </div>
+        </div>
+        <div class="proof-actions">
+          <a id="action-key-source" class="btn btn--ghost" href="/quickstart.html#verify">View verification steps</a>
+          <a id="action-ens-source" class="btn btn--ghost" href="/quickstart.html#verify-material">View public key source</a>
+        </div>
+      </article>
+
       <div class="support-grid">
         <article class="support-card">
           <div class="section__eyebrow">Inspection</div>
           <h3>Inspect JSON</h3>
-          <p>Judges can inspect the raw receipt and the verification response without losing the high-level proof narrative.</p>
+          <p>Inspect the raw receipt and the verification response without losing the high-level proof narrative.</p>
           <ul>
             <li>Canonical receipt shown independently.</li>
             <li>Verification response shown independently.</li>
@@ -519,7 +557,7 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
     analysis: {
       name: "Describe → Explain",
       steps: [
-        { verb: "describe", inputBuilder: () => ({ subject: "CommandLayer proof receipt", context: "A signed artifact that proves what an agent executed.", detail_level: "medium", audience: "judge" }) },
+        { verb: "describe", inputBuilder: () => ({ subject: "CommandLayer proof receipt", context: "A signed artifact that proves what an agent executed.", detail_level: "medium", audience: "operator" }) },
         { verb: "explain", use_previous_result: true, inputBuilder: () => null }
       ]
     },
@@ -552,7 +590,7 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
     runtime_metadata: {
       fallback_mode: true,
       source: "/assets/receipts/clean.quickstart.v1.1.0.json",
-      note: "Canonical sample receipt preserved so judges can still inspect schema alignment, receipt structure, and the public identity anchor when live runtime health is degraded.",
+      note: "Canonical sample receipt preserved so visitors can still inspect schema alignment, receipt structure, and the public identity anchor when live runtime health is degraded.",
       identity_anchor: IDENTITY_ANCHOR
     },
     signer: "runtime.commandlayer.eth",
@@ -593,8 +631,15 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
   const metricSigner = document.getElementById("metric-signer");
   const metricHash = document.getElementById("metric-hash");
   const metricSchema = document.getElementById("metric-schema");
+  const metricSignerIdentity = document.getElementById("metric-signer-identity");
+  const metricSignatureAlgorithm = document.getElementById("metric-signature-algorithm");
+  const metricKeySource = document.getElementById("metric-key-source");
+  const metricVerificationRoute = document.getElementById("metric-verification-route");
+  const verificationPathTag = document.getElementById("verification-path-tag");
   const actionSchema = document.getElementById("action-schema");
   const actionAnchor = document.getElementById("action-anchor");
+  const actionKeySource = document.getElementById("action-key-source");
+  const actionEnsSource = document.getElementById("action-ens-source");
   const artifactTag = document.getElementById("artifact-tag");
   const verificationTag = document.getElementById("verification-tag");
   const receiptJson = document.getElementById("receipt-json");
@@ -694,6 +739,20 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
       || "Signer unavailable";
   }
 
+  function deriveSignatureAlgorithm(step) {
+    return step?.runtime_metadata?.proof?.alg
+      || step?.verification?.alg
+      || step?.verification?.signature?.alg
+      || "Ed25519 detached signature";
+  }
+
+  function deriveKeySource(step) {
+    const signer = deriveSigner(step);
+    return signer && signer !== "Signer unavailable"
+      ? `${signer} via ENS TXT (cl.receipt.pubkey_b64)`
+      : "ENS TXT (cl.receipt.pubkey_b64)";
+  }
+
   function buildArtifactFromFlow(flow, options = {}) {
     const steps = Array.isArray(flow?.steps) ? flow.steps : [];
     const finalStep = steps[steps.length - 1] || null;
@@ -713,6 +772,8 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
       verification,
       runtime_metadata: runtimeMetadata,
       signer: deriveSigner(finalStep),
+      signature_algorithm: deriveSignatureAlgorithm(finalStep),
+      key_source: deriveKeySource(finalStep),
       proof_hash: deriveProofHash(finalStep) || "Proof hash unavailable",
       schema_url: schemaUrlForReceipt(receipt),
       steps,
@@ -738,8 +799,17 @@ <h2 style="margin-top:0.2rem;">Run flow → see each receipt</h2>
     metricSigner.textContent = artifact?.signer || "—";
     metricHash.textContent = artifact?.proof_hash || "—";
     metricSchema.textContent = receipt?.schema_version || "—";
+    metricSignerIdentity.textContent = artifact?.signer || "runtime.commandlayer.eth";
+    metricSignatureAlgorithm.textContent = artifact?.signature_algorithm || "Ed25519 detached signature";
+    metricKeySource.textContent = artifact?.key_source || "ENS TXT: cl.receipt.pubkey_b64";
+    metricVerificationRoute.textContent = isVerified
+      ? "Receipt → hash matched → signature valid → signer resolved"
+      : (isFallback ? "Receipt → signer → ENS key source walkthrough" : "Receipt → hash → signature → ENS key lookup");
+    verificationPathTag.textContent = isVerified ? "Verification path visible" : (isFallback ? "Verification path explained" : "Verification path ready");
     actionSchema.href = artifact?.schema_url || schemaUrlForReceipt(receipt || {});
     actionAnchor.href = IDENTITY_ANCHOR;
+    actionKeySource.href = "/quickstart.html#verify";
+    actionEnsSource.href = "/quickstart.html#verify-material";
     artifactTag.textContent = isVerified ? "Signed artifact ready" : (isFallback ? "Recorded artifact" : "Receipt available");
     verificationTag.textContent = isVerified ? "Passed" : (isFallback ? "Recorded mode" : "Review" );
     receiptJson.textContent = formatJson(receipt || { status: "No receipt available" });
@@ -892,16 +962,21 @@ <h3>${escapeHtml(step?.verb || stepReceipt?.verb || `step-${index + 1}`)}</h3>
   copyVerificationBtn?.addEventListener("click", () => copyText(verificationJson.textContent || "", copyVerificationBtn, "Copy Verification JSON"));
   runButtons.forEach((button) => button.addEventListener("click", runFlow));
   fallbackButtons.forEach((button) => button.addEventListener("click", () => renderRecordedFallback("Recorded proof mode loaded manually so the trust story stays visible even without a live run.")));
+
+  const autoRun = new URLSearchParams(window.location.search).get("autorun");
+  if (autoRun === "1") {
+    setTimeout(() => { runFlow(); }, 120);
+  }
   starterFlow?.addEventListener("change", () => {
     const isDefault = starterFlow.value === "proof_default";
     document.getElementById("clean-input").value = isDefault
-      ? "Agent action: normalize a judge-facing proof statement, preserve meaning, remove noise, and return a canonical receipt that can be verified independently."
+      ? "Agent action: normalize a proof statement, preserve meaning, remove noise, and return a canonical receipt that can be verified independently."
       : document.getElementById("clean-input").value;
     document.getElementById("summary-instructions").value = starterFlow.value === "analysis"
-      ? "Explain why the described proof receipt matters for a skeptical judge."
+      ? "Explain why the described proof receipt matters for a skeptical operator."
       : starterFlow.value === "parse"
-        ? "Summarize the parsed proof facts into a short judge-facing brief."
-        : "Summarize the cleaned result into a short proof brief for a skeptical hackathon judge. Focus on what ran, what artifact was emitted, and why the receipt is verifiable.";
+        ? "Summarize the parsed proof facts into a short proof brief."
+        : "Summarize the cleaned result into a short proof brief. Focus on what ran, what artifact was emitted, and why the receipt is verifiable.";
   });
 
   const stored = loadStoredArtifact();
diff --git a/public/demo-inner.html b/public/demo-inner.html
index feddf4a..0a66a2e 100644
--- a/public/demo-inner.html
+++ b/public/demo-inner.html
@@ -149,7 +149,7 @@
           <button class="site-header__toggle" aria-label="Toggle navigation" aria-expanded="false">☰</button>
           <nav class="site-header__nav">
             <a href="/" class="site-header__link">Home</a>
-            <a href="/demo.html" class="site-header__link site-header__link--active">Demo</a>
+            <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
             <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
             <div class="site-header__dropdown">
@@ -186,7 +186,7 @@ <h2>What this surface teaches</h2>
               <ul>
                 <li>Result / action stays visible for the latest step.</li>
                 <li>Canonical receipt is shown independently of runtime-added metadata.</li>
-                <li>Receipt verification and raw JSON remain inspectable for judges and technical reviewers.</li>
+                <li>Receipt verification and raw JSON remain inspectable for technical reviewers and integrators.</li>
               </ul>
             </aside>
           </div>
diff --git a/public/demo.html b/public/demo.html
index 245d35b..3c9368b 100644
--- a/public/demo.html
+++ b/public/demo.html
@@ -169,7 +169,7 @@
           <button class="site-header__toggle" aria-label="Toggle navigation" aria-expanded="false">☰</button>
           <nav class="site-header__nav">
             <a href="/" class="site-header__link">Home</a>
-            <a href="/demo.html" class="site-header__link site-header__link--active">Demo</a>
+            <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
             <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
             <div class="site-header__dropdown">
@@ -196,7 +196,7 @@ <h1 class="hero__title">Run an agent flow and watch proof appear.</h1>
               <p class="hero__subtitle">This page answers one question: can CommandLayer actually run? Yes—execute a flow, inspect the signed receipt, then verify the proof.</p>
               <p class="hero__stack">Start with the Commons demo for the clearest path. Use the commerce extension only after the execute → receipt → verify model is obvious.</p>
               <div class="hero__cta">
-                <a href="/composer.html" class="btn btn--primary">Run a Verified Agent Flow</a>
+                <a href="/composer.html?autorun=1" class="btn btn--primary">Run a Verified Agent Flow</a>
                 <a href="/demo-inner.html" class="btn btn--ghost">Run the Commerce Extension Demo</a>
               </div>
               <div class="hero__proofs">
@@ -228,7 +228,7 @@ <h2>What the demo should prove</h2>
             <div class="section__header">
               <div class="section__eyebrow">Choose a proof path</div>
               <h2>Start simple, then expand.</h2>
-              <p>Judges should see the cleanest possible proof path first. That is why the Commons flow leads, and the commerce extension follows as a role inside the same system.</p>
+              <p>The cleanest possible proof path should come first. That is why the Commons flow leads, and the commerce extension follows as a role inside the same system.</p>
             </div>
             <div class="paths">
               <article class="path-card">
@@ -246,7 +246,7 @@ <h3>Commons: execute → receipt → verify.</h3>
                   <li>Maps directly to Quickstart and Commons docs.</li>
                 </ul>
                 <div class="path-card__foot">
-                  <a href="/composer.html" class="btn btn--primary">Run a Verified Agent Flow</a>
+                  <a href="/composer.html?autorun=1" class="btn btn--primary">Run a Verified Agent Flow</a>
                   <a href="/commons.html" class="btn btn--ghost">Explore the Commons Contract</a>
                 </div>
               </article>
@@ -284,7 +284,7 @@ <h3>Receipt first. Runtime details second.</h3>
                   <div class="split-box">
                     <span class="split-box__tag">Canonical receipt</span>
                     <strong>What happened</strong>
-                    <p>The signed receipt is the contract-shaped record of the action. It is the first thing a judge should inspect.</p>
+                    <p>The signed receipt is the contract-shaped record of the action. It is the first thing to inspect.</p>
                   </div>
                   <div class="split-box">
                     <span class="split-box__tag">Runtime details</span>
@@ -294,9 +294,9 @@ <h3>Receipt first. Runtime details second.</h3>
                 </div>
               </article>
               <article class="note-card">
-                <div class="section__eyebrow">Judge flow</div>
+                <div class="section__eyebrow">Proof flow</div>
                 <h3>What a fast scan should reveal.</h3>
-                <p>CommandLayer can run a real flow, emit a signed receipt, and expose verification in a public interface. The rest of the system supports that story.</p>
+                <p>CommandLayer can run a real flow, emit a signed receipt, and expose verification in a public interface. The rest of the system supports that proof story.</p>
                 <div class="proof-pills">
                   <span class="proof-pill">Run flow</span>
                   <span class="proof-pill">Inspect receipt</span>
@@ -316,7 +316,7 @@ <h2 style="margin:0 0 0.45rem;">Start with the clearest proof path.</h2>
               <p style="margin:0; color: var(--text-muted); line-height:1.65; max-width:42rem;">Use the Commons demo if you want the shortest route from execution to verification, then open the commerce extension if you want to show paid execution built on the same receipt model.</p>
             </div>
             <div class="hero__cta" style="margin-top:0;">
-              <a href="/composer.html" class="btn btn--primary">Run a Verified Agent Flow</a>
+              <a href="/composer.html?autorun=1" class="btn btn--primary">Run a Verified Agent Flow</a>
               <a href="/quickstart.html" class="btn btn--ghost">Verify Proof in Quickstart</a>
             </div>
           </div>
diff --git a/public/index.html b/public/index.html
index 3eacad7..945e97f 100644
--- a/public/index.html
+++ b/public/index.html
@@ -781,7 +781,7 @@
 
       <nav class="site-header__nav">
         <a href="/" class="site-header__link site-header__link--active">Home</a>
-        <a href="/demo.html" class="site-header__link">Demo</a>
+        <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
         <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
         <div class="site-header__dropdown">
@@ -820,7 +820,7 @@ <h1 class="hero__title">Agents Can Act. <span class="hero__title-accent">Command
             </p>
             <div class="hero__actions">
               <div class="hero__cta-row">
-                <a href="/demo.html" class="btn btn--primary">Run a Verified Agent Flow</a>
+                <a href="/composer.html?autorun=1" class="btn btn--primary">Run a Verified Agent Flow</a>
                 <a href="#trust-strip" class="btn btn--ghost">See the 3-step model</a>
                 <a href="https://basescan.org/tx/0xb511007618f8c0aa0b5c12b48084ce67dc52321a79e0ef9002fdc8e6db5e899d" class="btn btn--ghost" target="_blank" rel="noopener noreferrer">View ERC-8004 registration</a>
               </div>
@@ -864,10 +864,10 @@ <h1 class="hero__title">Agents Can Act. <span class="hero__title-accent">Command
               </div>
               <div class="receipt-card__row">
                 <div class="receipt-card__label">signature</div>
-                <div class="receipt-card__value mono">ed25519 • ENS / ERC-8004 resolved</div>
+                <div class="receipt-card__value mono">ed25519 detached • signer resolved via ENS TXT</div>
               </div>
             </div>
-            <div class="receipt-card__footer">Signed receipt first • verification visible • identity anchored onchain</div>
+            <div class="receipt-card__footer">Receipt → hash → signature → signer → ENS key source</div>
           </aside>
         </div>
       </div>
@@ -903,12 +903,12 @@ <h2 class="value-card__title">One system, clear roles</h2>
             <p class="section__eyebrow">Why it matters</p>
             <h2 class="section__title">If agents can spend money, call APIs, or move state, their actions need receipts.</h2>
             <p class="section__body">
-              Logs say something happened. A signed receipt says what executed, who signed it, and what contract shaped the result. That is the trust layer a skeptical operator, judge, or integration partner can inspect.
+              Logs say something happened. A signed receipt says what executed, who signed it, and what contract shaped the result. That is the trust layer a skeptical operator or integration partner can inspect.
             </p>
           </div>
           <aside class="example-box">
-            <span class="example-box__label">What a judge should understand fast</span>
-            <p>After a 20-second scan, the model should be simple:</p>
+            <span class="example-box__label">What this proves quickly</span>
+            <p>After a 20-second scan, the proof model should be simple:</p>
             <ul class="example-list">
               <li>agents execute actions</li>
               <li>CommandLayer emits signed receipts</li>
@@ -929,7 +929,7 @@ <h2 class="section__title">Run the flow. Inspect the receipt. Verify the proof.<
             <p class="section__body">The demo keeps the entire proof journey visible instead of asking you to trust architecture claims.</p>
           </div>
           <div class="cta-band__actions">
-            <a href="/demo.html" class="btn btn--primary">Run a Verified Agent Flow</a>
+            <a href="/composer.html?autorun=1" class="btn btn--primary">Run a Verified Agent Flow</a>
             <a href="/quickstart.html" class="btn btn--ghost">Verify Proof in Quickstart</a>
           </div>
         </div>
diff --git a/public/licensing.html b/public/licensing.html
index 7aee560..e38cd6c 100644
--- a/public/licensing.html
+++ b/public/licensing.html
@@ -148,7 +148,7 @@
           <button class="site-header__toggle" aria-label="Toggle navigation" aria-expanded="false">☰</button>
           <nav class="site-header__nav">
             <a href="/" class="site-header__link">Home</a>
-            <a href="/demo.html" class="site-header__link">Demo</a>
+            <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
             <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
             <div class="site-header__dropdown">
@@ -244,7 +244,7 @@ <h2>Public contracts below, commercial operations above</h2>
               <h3>Why this structure exists</h3>
               <p>
                 Standards only work when the semantic layer is public. If schemas are paywalled, builders cannot validate independently,
-                judges cannot trust the protocol claim, and portability collapses.
+                integrators cannot trust the protocol claim, and portability collapses.
               </p>
               <p>
                 CommandLayer keeps the meaning layer open so multiple runtimes can compete on execution without fragmenting the contract.
@@ -275,7 +275,7 @@ <h3>What builders can rely on</h3>
               </ul>
             </article>
             <article class="note-card">
-              <h3>Why judges should care</h3>
+              <h3>Why this matters</h3>
               <ul>
                 <li>The business model is coherent because standards are not the toll booth.</li>
                 <li>The trust layer thesis is credible because meaning remains public.</li>
diff --git a/public/quickstart.html b/public/quickstart.html
index 1a2799a..0fb72f7 100644
--- a/public/quickstart.html
+++ b/public/quickstart.html
@@ -629,7 +629,7 @@
 
         <nav class="site-header__nav">
           <a href="/" class="site-header__link">Home</a>
-          <a href="/demo.html" class="site-header__link">Demo</a>
+          <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
           <a href="/quickstart.html" class="site-header__link site-header__link--active">Quickstart</a>
 
           <div class="site-header__dropdown">
@@ -672,7 +672,7 @@
             <span class="badge__dot"></span>
             <span id="healthText">Runtime: checking…</span>
           </span>
-          <a class="btn btn--ghost btn--mini" href="/demo.html"><span class="btn__icon">🧩</span><span>Flow demo</span></a>
+          <a class="btn btn--ghost btn--mini" href="/composer.html?autorun=1"><span class="btn__icon">🧩</span><span>Run flow</span></a>
         </div>
       </div>
     </div>
@@ -738,7 +738,7 @@ <h2 class="hero__card-title">What you’ll accomplish</h2>
               </div>
               <pre>curl -sS https://runtime.commandlayer.org/health</pre>
               <div class="mini-example__note">
-                Want to see the flow composer? <a class="cl-blue-link" href="/demo.html">Live demo →</a>
+                Want to see the flow composer? <a class="cl-blue-link" href="/composer.html?autorun=1">Run the verified flow →</a>
               </div>
             </div>
 
@@ -888,7 +888,7 @@ <h2>Step 3 — Resolve schemas, entry, and keys via ENS</h2>
             </p>
           </div>
 
-          <article class="info-card">
+          <article class="info-card" id="verify-material">
             <h3>Example ENS TXT records (typical)</h3>
             <div class="mini-example">
               <div class="mini-example__row">
@@ -951,7 +951,7 @@ <h3>Example ENS TXT records (typical)</h3>
           <div class="section__header">
             <h2>Step 4 — Verify a receipt (Node.js)</h2>
             <p>
-              If your runtime includes a proof block, verification should be boring and deterministic: <strong>hash → signature</strong>. Full verification adds: <strong>schema validation</strong> + <strong>key resolution</strong>.
+              If your runtime includes a proof block, verification should be boring and deterministic: <strong>hash → signature</strong>. Full verification adds: <strong>schema validation</strong> + <strong>key resolution</strong>. The visible path should stay concrete: <strong>receipt → hash → signature → signer_id → ENS TXT public key</strong>.
             </p>
           </div>
 
@@ -1045,7 +1045,7 @@ <h2>Next steps</h2>
               <h3>Try a flow</h3>
               <p>
                 Compose multiple verbs and inspect receipts per-step.
-                <a class="cl-blue-link" href="/demo.html">Live Demo →</a>
+                <a class="cl-blue-link" href="/composer.html?autorun=1">Run the verified flow →</a>
               </p>
             </article>
 
diff --git a/public/repositories.html b/public/repositories.html
index 81a9a3b..6377e42 100644
--- a/public/repositories.html
+++ b/public/repositories.html
@@ -537,7 +537,7 @@
 
 <nav class="site-header__nav">
   <a href="/" class="site-header__link">Home</a>
-  <a href="/demo.html" class="site-header__link">Demo</a>
+  <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
   <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
   <div class="site-header__dropdown">
@@ -679,7 +679,7 @@ <h3 class="repo-card__name">
 <a href="https://github.com/commandlayer/commandlayer-org" target="_blank" rel="noopener noreferrer">commandlayer-org</a>
 </h3>
 <p class="repo-card__desc">
-The public explanation and proof surface. This repo hosts the website, docs hub, quickstart, demos, and schema publishing paths that make the rest of the stack legible to builders and judges.
+The public explanation and proof surface. This repo hosts the website, docs hub, quickstart, demos, and schema publishing paths that make the rest of the stack legible to builders and integrators.
 </p>
 <div class="repo-card__meta">
 <span class="repo-card__tag">Docs + demo</span>
diff --git a/public/runtime.html b/public/runtime.html
index 0cb317c..dc2b1d5 100644
--- a/public/runtime.html
+++ b/public/runtime.html
@@ -507,7 +507,7 @@
 
           <nav class="site-header__nav">
             <a href="/" class="site-header__link">Home</a>
-            <a href="/demo.html" class="site-header__link">Demo</a>
+            <a href="/composer.html?autorun=1" class="site-header__link">Demo</a>
             <a href="/quickstart.html" class="site-header__link">Quickstart</a>
 
             <div class="site-header__dropdown">
@@ -554,7 +554,7 @@ <h1 class="hero__title">
               </p>
 
               <div class="hero__cta-row">
-                <a href="/demo.html" class="btn btn--primary">
+                <a href="/composer.html?autorun=1" class="btn btn--primary">
                   <span class="btn__icon">▶️</span>
 <span>Run a Verified Agent Flow</span>
                 </a>
@@ -594,7 +594,7 @@ <h2>What Runtime does</h2>
             <div class="section__header">
               <h2>How Runtime produces proof</h2>
               <p>
-                Runtime sits above schemas and below applications. Commons defines the minimum verifiable receipt contract, Commercial extends the same model for economic flows, and Runtime executes those pinned contracts with optional metadata when orchestration, tracing, or proof are needed. Receipts are signed with Ed25519 and can be verified against ENS-anchored public keys.
+                Runtime sits above schemas and below applications. Commons defines the minimum verifiable receipt contract, Commercial extends the same model for economic flows, and Runtime executes those pinned contracts with optional metadata when orchestration, tracing, or proof are needed. Receipts are signed with Ed25519 and can be verified by resolving the signer identity to ENS TXT public-key records.
               </p>
               <p>
                 That proving surface is also linked to CommandLayer’s <a href="https://basescan.org/tx/0xb511007618f8c0aa0b5c12b48084ce67dc52321a79e0ef9002fdc8e6db5e899d" target="_blank" rel="noopener noreferrer">public ERC-8004 registration on Base</a>, giving Runtime an on-chain credibility and discoverability anchor.