[green] derive home and support availability from the release

The home availability grid now derives every target from the selected
release's profile set: a Raspberry Pi Pico 2 W definition joins the
catalog (RP2350 + CYW43439 · UF2 / BOOTSEL), the deferred C3/Pico rows
are planned only while a release excludes them, all five v0.6.0 targets
carry deployment-consistent statuses (protected candidate · HIL pending
vs qualified public release), and the lean-generic S3 rename follows
Waveshare profile presence. The hero replaces the stale 'ESP32-C3 and
Raspberry Pi Pico 2 W ... remain unavailable' sentence on five-profile
releases with the staged-pending-validation sentence in candidate mode
and a five-profile qualified lede; the home board photo is
presence-gated like the flash spotlight. The support page adds the
candidate branch mirroring the staged-candidate copy instead of the
contradictory installer-unavailable claim, and derives the ESP32-C3
availability note from the release profile set.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_016KVSKkd7KUMHqKXDhPXTj5
Signed-off-by: Viwat Vchirawongkwin <viwat.v@chula.ac.th>

Author: yyods

tools/web/src/app/page.tsx

@@ -19,7 +19,10 @@ import {
   ShieldIcon,
 } from "@/components/icons";
 import { WaveshareBoardPhoto } from "@/components/waveshare-board-photo";
-import { releaseIncludesWaveshareLcd147b } from "@/lib/firmware-release";
+import {
+  firmwareVersionUsesFiveProfiles,
+  releaseIncludesWaveshareLcd147b,
+} from "@/lib/firmware-release";
 import {
   firmwareReleaseSelectedAtBuild,
   localFirmwarePreviewSelectedAtBuild,
@@ -82,6 +85,14 @@ export default function HomePage() {
   const publicBeta = firmwareRelease?.deployment === "public-beta";
   const waveshareLcd147b = releaseIncludesWaveshareLcd147b(firmwareRelease);
   const qualifiedPublic = firmwareRelease !== null && waveshareLcd147b;
+  const fiveProfileRelease =
+    firmwareRelease !== null &&
+    firmwareVersionUsesFiveProfiles(firmwareRelease.version);
+  const releaseHasWaveshareProfile = Boolean(
+    firmwareRelease?.profiles.some(
+      ({ id }) => id === "waveshare-esp32-s3-lcd-147b",
+    ),
+  );
   const firmwareTargetGroupLabel = preview
     ? `Five exact v${preview.version} engineering targets`
     : qualifiedPublic
@@ -138,6 +149,13 @@ export default function HomePage() {
                   interrupted-flash recovery passed on both exact profiles;
                   complete release qualification continues.
                 </>
+              ) : qualifiedPublic && fiveProfileRelease ? (
+                <>
+                  Qualified public v{firmwareRelease.version} firmware is
+                  available for all five exact release profiles across classic
+                  ESP32, ESP32-S3, the separate Waveshare exact-board image,
+                  ESP32-C3, and the Raspberry Pi Pico 2 W.
+                </>
               ) : qualifiedPublic ? (
                 <>
                   Qualified public v{firmwareRelease.version} firmware is
@@ -156,12 +174,20 @@ export default function HomePage() {
                   status before provisioning a board.
                 </>
               )}{" "}
-              {!preview ? (
+              {!preview && !fiveProfileRelease ? (
                 <>
                   ESP32-C3 and Raspberry Pi Pico 2 W are under engineering
                   validation and remain unavailable in the public installer.
                 </>
               ) : null}
+              {!preview &&
+              fiveProfileRelease &&
+              firmwareRelease.deployment === "candidate" ? (
+                <>
+                  All five firmware targets, including ESP32-C3 and Raspberry Pi
+                  Pico 2 W, are staged and pending hardware validation.
+                </>
+              ) : null}
             </p>
             <div className="button-row">
               <Link className="button button--primary" href="/app">
@@ -357,7 +383,9 @@ export default function HomePage() {
               ))}
             </div>
           </div>
-          {waveshareLcd147b ? <WaveshareBoardPhoto showInstallerLink /> : null}
+          {releaseHasWaveshareProfile ? (
+            <WaveshareBoardPhoto showInstallerLink />
+          ) : null}
         </div>
       </section>
 

tools/web/src/app/support/page.tsx

@@ -49,12 +49,15 @@ function qualifiedProfileList(profileIds: readonly string[]) {
 export default function SupportPage() {
   const firmwareRelease = firmwareReleaseSelectedAtBuild();
   const publicBeta = firmwareRelease?.deployment === "public-beta";
+  const candidate = firmwareRelease?.deployment === "candidate";
   const qualifiedPublic =
     firmwareRelease !== null &&
     releaseIncludesWaveshareLcd147b(firmwareRelease);
-  const esp32C3Available =
-    qualifiedPublic &&
-    firmwareRelease.profiles.some(({ id }) => id === "esp32-c3-4mb");
+  // Derived from the release profile set so the note never contradicts the
+  // /flash installer's offered targets.
+  const esp32C3Available = Boolean(
+    firmwareRelease?.profiles.some(({ id }) => id === "esp32-c3-4mb"),
+  );
 
   return (
     <main id="main-content">
@@ -97,6 +100,13 @@ export default function SupportPage() {
                         . The Waveshare image alone includes its TFT runtime and
                         fresh-install splash.
                       </>
+                    ) : candidate ? (
+                      <>
+                        Protected candidate v{firmwareRelease.version} is staged
+                        for access-controlled qualification; hardware validation
+                        is pending on every included profile before a public
+                        release.
+                      </>
                     ) : (
                       <>
                         The firmware installer is currently unavailable. Check

tools/web/src/lib/site.ts

@@ -41,61 +41,80 @@ const firmwareTargetDefinitions = [
     id: "esp32-4mb",
     target: "Classic ESP32",
     constraint: "4 MiB external SPI flash · no PSRAM assumed",
-    planned: false,
   },
   {
     id: "esp32-s3-n16r8",
     target: "ESP32-S3 N16R8",
     constraint: "16 MiB flash · 8 MiB Octal PSRAM",
-    planned: false,
   },
   {
     id: "waveshare-esp32-s3-lcd-147b",
     target: "Waveshare ESP32-S3-LCD-1.47B",
     constraint: "Exact B version · 16 MiB flash · 8 MiB Octal PSRAM",
-    planned: false,
   },
   {
     id: "esp32-c3-4mb",
     target: "ESP32-C3",
     constraint: "4 MiB external SPI flash · no PSRAM assumed",
-    planned: true,
+  },
+  {
+    id: "rpi-pico2-w",
+    target: "Raspberry Pi Pico 2 W",
+    constraint: "RP2350 + CYW43439 · UF2 / BOOTSEL",
   },
 ] as const;
 
+// Ports whose availability is derived from the selected release's profile
+// set: absent from the release, they are presented as planned, never as a
+// silently missing target.
+const deferredUntilIncluded = new Set<string>(["esp32-c3-4mb", "rpi-pico2-w"]);
+
 export function firmwareTargetsForRelease(
   release: FirmwareReleaseDescriptor | null,
 ) {
   const includesWaveshareLcd147b = releaseIncludesWaveshareLcd147b(release);
-  const hasProspectiveProfileSet = Boolean(
+  const validProfileSet = Boolean(
     release &&
-    release.deployment === "candidate" &&
-    hasExactFirmwareProfileDescriptors(release.version, release.profiles),
+    (release.deployment === "public-beta" ||
+      hasExactFirmwareProfileDescriptors(release.version, release.profiles)),
   );
 
   return firmwareTargetDefinitions
+    .map((target) => ({
+      target,
+      included: Boolean(
+        validProfileSet && release?.profiles.some(({ id }) => id === target.id),
+      ),
+    }))
     .filter(
-      (target) =>
-        target.id !== "waveshare-esp32-s3-lcd-147b" ||
-        includesWaveshareLcd147b ||
-        hasProspectiveProfileSet,
+      ({ target, included }) =>
+        target.id !== "waveshare-esp32-s3-lcd-147b" || included,
     )
-    .map((target) => {
+    .map(({ target, included }) => {
+      const planned = !included && deferredUntilIncluded.has(target.id);
+      const includesWaveshareProfile =
+        target.id === "esp32-s3-n16r8"
+          ? Boolean(
+              validProfileSet &&
+              release?.profiles.some(
+                ({ id }) => id === "waveshare-esp32-s3-lcd-147b",
+              ),
+            )
+          : false;
       let status = "Installer unavailable";
-      if (target.planned) {
+      if (planned) {
         status = "Planned · installer unavailable pending exact-profile HIL";
-      } else if (release?.deployment === "public-beta") {
+      } else if (included && release?.deployment === "public-beta") {
         status = `v${release.version} hardware-tested beta · browser install/recovery passed · release qualification pending`;
-      } else if (release && includesWaveshareLcd147b) {
+      } else if (included && release && includesWaveshareLcd147b) {
         status = `v${release.version} qualified public release`;
-      } else if (release?.deployment === "candidate") {
+      } else if (included && release?.deployment === "candidate") {
         status = `v${release.version} protected candidate · HIL pending`;
       }
-      const targetName =
-        includesWaveshareLcd147b && target.id === "esp32-s3-n16r8"
-          ? `${target.target} · lean generic`
-          : target.target;
-      return { ...target, target: targetName, status };
+      const targetName = includesWaveshareProfile
+        ? `${target.target} · lean generic`
+        : target.target;
+      return { ...target, target: targetName, planned, status };
     });
 }