fix(website): clarify Android host and JDK requirements

website/evidence/aegis-login-code.md

@@ -130,8 +130,9 @@ teaching material; the demo is not recovered original application source.
 The claim is a static APK investigation and a checked reconstruction of its
 default code calculation. It covers neither Android UI execution nor APK
 signature verification, split APK handling, native libraries or vault storage.
-The shell walkthrough was executed on Linux. The PowerShell recipe uses the
-same CLI/environment inputs but was not executed on a Windows host.
+The Android provider requires a Linux or macOS host and a full JDK 17 or later,
+including `jdk.compiler`. The shell walkthrough was executed on Linux with
+JDK 21.
 
 Raw REA results, provider scratch paths, Java harness classes and the downloaded
 binaries remain outside the public website. The public page uses generic filenames

website/public/showcase/aegis/index.html

@@ -564,9 +564,14 @@ code = pad_with_zeroes(code, 6)</span></code></pre>
           <section class="article-section" id="try">
             <h2>Inspect the APK yourself</h2>
             <p>
-              <a href="../../get-started/">Set up REA</a>, then download these
-              two files into the same folder. Android analysis needs Java; this
-              case was checked with Java 21.
+              <a href="../../get-started/">Set up REA</a> on macOS or Linux,
+              then download these two files into the same folder. On Windows,
+              use a Linux environment such as WSL.
+            </p>
+            <p>
+              Android analysis needs a full JDK 17 or later. Select it with
+              <code>JAVA_HOME</code> or <code>PATH</code>. This case used JDK
+              21.
             </p>
             <div class="actions">
               <a
@@ -596,24 +601,6 @@ code = pad_with_zeroes(code, 6)</span></code></pre>
 npx rea-agents@latest inspect-android-package \
   ./aegis-v3.4.3.apk --format json --full-output</code></pre>
             </div>
-            <details class="evidence-details">
-              <summary>Windows PowerShell</summary>
-              <div class="code-block">
-                <div class="code-header">
-                  <span>PowerShell</span
-                  ><button
-                    class="copy-button"
-                    type="button"
-                    data-copy="aegis-powershell-command"
-                    aria-label="Copy PowerShell APK inspection command"
-                  >
-                    Copy
-                  </button>
-                </div>
-                <pre><code id="aegis-powershell-command">$env:REA_JADX_MCP_JAR = (Resolve-Path ./jadx-headless-mcp-0.7.1-all.jar).Path
-npx rea-agents@latest inspect-android-package ./aegis-v3.4.3.apk --format json --full-output</code></pre>
-              </div>
-            </details>
             <p>
               Your agent can continue through REA's CLI using the prompt above.
               For MCP, add <code>REA_JADX_MCP_JAR</code> to the REA server's