@aarwitz/tapp 0.17.4 → 0.17.6

package/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "tapp",
   "description": "Give Claude hands and eyes on iOS, Android, and web apps, with exploration, replayable flows, evidence, and deterministic CI gates.",
-  "version": "0.17.4",
+  "version": "0.17.6",
   "author": {
     "name": "Aaron Horowitz",
     "url": "https://github.com/aarwitz"
@@ -24,7 +24,7 @@
       "command": "npx",
       "args": [
         "-y",
-        "@aarwitz/tapp@0.17.4",
+        "@aarwitz/tapp@0.17.6",
         "mcp"
       ],
       "cwd": "${CLAUDE_PROJECT_DIR}"

package/README.md

@@ -348,7 +348,7 @@ jobs:
     timeout-minutes: 45
     steps:
       - uses: actions/checkout@v4
-      - uses: aarwitz/tapp@v0.17.4 # or pin the reviewed release commit SHA
+      - uses: aarwitz/tapp@v0.17.6 # or pin the reviewed release commit SHA
         with:
           project: MyApp.xcodeproj # or MyApp.xcworkspace
           scheme: MyApp
@@ -398,7 +398,7 @@ Android CI runs on Linux with an emulator/device already connected. The Action c
 or accept a prebuilt one:
 
 ```yaml
-- uses: aarwitz/tapp@v0.17.4 # or pin the reviewed release commit SHA
+- uses: aarwitz/tapp@v0.17.6 # or pin the reviewed release commit SHA
   with:
     platform: android
     android-app-id: com.acme.app

package/bin/tapp.js

@@ -262,15 +262,15 @@ async function resolveTargetOrExit(engine, input) {
 
 function safeCommandUsage(verb) {
   const usage = {
-    explore: "tapp explore [target] [--platform ios|android|web] [--actions N] [--timeout SEC] [--email VALUE] [--password VALUE] [--baseline FILE] [--json FILE]\n  Web: [--watch] opens Tapp's controlled browser and shows its actions\n  iOS launch configuration: [--launch-arg VALUE ...] [--launch-env '{\"KEY\":\"VALUE\"}']\n  Android: [--app-id ID] [--apk FILE] [--serial ID] [--keep-data]",
+    explore: "tapp explore [target] [--platform ios|android|web] [--actions N] [--timeout SEC] [--email VALUE] [--password VALUE] [--baseline FILE] [--json FILE]\n  Web: [--watch] opens Tapp's controlled browser and shows its actions; [--device \"iPhone 13\"] [--viewport 390x844] render at a device profile or explicit size\n  iOS launch configuration: [--launch-arg VALUE ...] [--launch-env '{\"KEY\":\"VALUE\"}']\n  Android: [--app-id ID] [--apk FILE] [--serial ID] [--keep-data]",
     focus: "tapp focus \"SCREEN OR CONTROL\" [target] [--platform ios|android|web] [--project-dir REPO] [--target NAME|PATH] [--map FILE] [--out FILE]",
     init: "tapp init [repo] [--explore] [--refresh] [--platform PLATFORM] [--target NAME] [--url URL] [--watch] [--dry-run]",
-    open: "tapp open [target] [--platform ios|android|web] [--out FILE] [--tap TEXT] [--wait-for TEXT]",
-    tree: "tapp tree [target] [--platform ios|android|web] [--json] [--tap TEXT] [--wait-for TEXT]",
+    open: "tapp open [target] [--platform ios|android|web] [--out FILE] [--tap TEXT] [--wait-for TEXT]\n  Web: [--device \"iPhone 13\"] [--viewport 390x844] [--full-page]",
+    tree: "tapp tree [target] [--platform ios|android|web] [--json] [--tap TEXT] [--wait-for TEXT]\n  Web: [--device \"iPhone 13\"] [--viewport 390x844]",
     shot: "tapp shot [--out FILE]",
     apps: "tapp apps",
     build: "tapp build [repo] [--scheme NAME] [--configuration NAME]",
-    flow: "tapp flow example\ntapp flow validate FILE [--platform PLATFORM] [--map FILE]\ntapp flow run FILE [--actor NAME] [--email VALUE] [--password VALUE]",
+    flow: "tapp flow example\ntapp flow validate FILE [--platform PLATFORM] [--map FILE]\ntapp flow run FILE [--actor NAME] [--email VALUE] [--password VALUE] [--device \"iPhone 13\"] [--viewport 390x844]",
     task: "tapp task validate FILE [--platform PLATFORM] [--map FILE]\ntapp task compile FILE --platform PLATFORM [--inputs JSON] [--out FILE]\ntapp task run FILE --platform PLATFORM [--url URL|--bundle-id ID|--app-id ID] [--inputs JSON]",
     contract: "tapp contract validate FILE [--platform PLATFORM] [--map FILE]\ntapp contract compile FILE --platform PLATFORM [--out FILE]\ntapp contract run FILE --platform PLATFORM [--url URL|--bundle-id ID|--app-id ID]",
     scenario: "tapp scenario validate FILE [--project-dir DIR]\ntapp scenario run FILE --platform web --url URL [--project-dir DIR]",
@@ -774,6 +774,8 @@ switch (command) {
           testPassword: flags.password,
           baselineFindings,
           watch: flags.watch === true,
+          device: typeof flags.device === "string" ? flags.device : "",
+          viewport: typeof flags.viewport === "string" ? flags.viewport : "",
           surface: "cli",
           onProgress,
         })
@@ -827,6 +829,9 @@ switch (command) {
           timeoutMs: Number(flags.timeout) * 1000 || 15_000,
           tapText: typeof flags.tap === "string" ? flags.tap : "",
           waitForText: typeof flags["wait-for"] === "string" ? flags["wait-for"] : "",
+          device: typeof flags.device === "string" ? flags.device : "",
+          viewport: typeof flags.viewport === "string" ? flags.viewport : "",
+          fullPage: flags["full-page"] === true,
         });
         const out = typeof flags.out === "string" ? path.resolve(flags.out) : path.join(tappHome, "shots", `web-${Date.now()}.png`);
         fs.mkdirSync(path.dirname(out), { recursive: true });
@@ -899,6 +904,8 @@ switch (command) {
           screenshot: false,
           tapText: typeof flags.tap === "string" ? flags.tap : "",
           waitForText: typeof flags["wait-for"] === "string" ? flags["wait-for"] : "",
+          device: typeof flags.device === "string" ? flags.device : "",
+          viewport: typeof flags.viewport === "string" ? flags.viewport : "",
         });
         if (flags.json) console.log(JSON.stringify({ platform: "web", url: snap.url, screenTitle: snap.screenTitle, settled: snap.settled, elements: snap.elements }, null, 2));
         else console.log(engine.formatScreen(snap.screenTitle, snap.elements));
@@ -1146,6 +1153,8 @@ switch (command) {
     const env = { ...process.env, FLOW_LOG: flowLog, TAPP_FLOW_EVIDENCE_DIR: evidenceDir };
     if (typeof flags.email === "string") env.OCQA_TEST_EMAIL = flags.email;
     if (typeof flags.password === "string") env.OCQA_TEST_PASSWORD = flags.password;
+    if (typeof flags.device === "string") env.TAPP_WEB_DEVICE = flags.device;
+    if (typeof flags.viewport === "string") env.TAPP_WEB_VIEWPORT = flags.viewport;
     if (typeof flags.actor === "string" && flags.actor) {
       const { readProjectConfig } = await import(path.join(packageRoot, "mcp-server", "src", "project-config.js"));
       const loaded = readProjectConfig(process.cwd());

package/docs/scenarios.md

@@ -74,7 +74,7 @@ tapp ci --platform web --url http://127.0.0.1:4180 \
 GitHub Action:
 
 ```yaml
-- uses: aarwitz/tapp@v0.17.4 # or pin the reviewed release commit SHA
+- uses: aarwitz/tapp@v0.17.6 # or pin the reviewed release commit SHA
   with:
     platform: web
     url: http://127.0.0.1:4180

package/mcp-server/src/ci-report.js

@@ -16,7 +16,7 @@
 //                         [--pr-plan <plan.json>]           # selected PR contract execution manifest
 //                         [--project-dir <repo> --maintenance-url <url>]
 //                                                           # optional disposable web patch replay
-//                         [--fail-on <gate|absolute|any>]    # default: gate
+//                         [--fail-on <gate|absolute|any|high|medium>]  # default: gate (web CLI defaults to medium)
 //
 // Gate policy (--fail-on):
 //   gate     fail when the run introduced NEW high/critical findings vs. the baseline
@@ -25,6 +25,9 @@
 //   absolute fail on any current-run deterministic findings-block (critical / risk threshold) or an
 //            inconclusive run, or any failed suite — no baseline needed.
 //   any      fail on any finding at all, or any suite failure. Strictest.
+//   high     fail on any deterministic finding at high/critical severity (absolute; no baseline).
+//   medium   fail on any deterministic finding at medium severity or above. The `tapp ci` CLI
+//            defaults web targets to this: on a website, a broken link IS the release blocker.
 import fs from "fs";
 import path from "node:path";
 import { execSync } from "node:child_process";
@@ -61,8 +64,8 @@ function parseArgs(argv) {
     console.error("Required: --markers <ocqa-markers.txt>");
     process.exit(2);
   }
-  if (!["gate", "absolute", "any"].includes(args.failOn)) {
-    console.error(`--fail-on must be gate|absolute|any, got: ${args.failOn}`);
+  if (!["gate", "absolute", "any", "high", "medium"].includes(args.failOn)) {
+    console.error(`--fail-on must be gate|absolute|any|high|medium, got: ${args.failOn}`);
     process.exit(2);
   }
   return args;
@@ -477,7 +480,15 @@ function renderMarkdown(report, regression, flows, scenarios, contracts, prPlan,
   }
   lines.push("");
   const badge = GATE_BADGE[gate.outcome] || (gate.failed ? "🔴 FAIL" : "🟢 PASS");
-  lines.push(`**Gate (${gate.policy}): ${badge}**${gate.reasons.length ? " — " + gate.reasons.join("; ") : ""}`);
+  // A PASS must state what it chose to ignore — a green banner over known findings without
+  // saying so is exactly the dishonest verdict this product refuses to render.
+  const ignored = gate.outcome === "pass" && report.deterministicFindingCounts
+    ? ["high", "medium", "low"].map((sev) => [sev, report.deterministicFindingCounts[sev] || 0]).filter(([, n]) => n > 0)
+    : [];
+  const ignoredNote = ignored.length
+    ? ` — ${ignored.reduce((n, [, c]) => n + c, 0)} deterministic finding(s) below the fail threshold (${ignored.map(([sev, n]) => `${n} ${sev}`).join(", ")})`
+    : "";
+  lines.push(`**Gate (${gate.policy}): ${badge}**${gate.reasons.length ? " — " + gate.reasons.join("; ") : ""}${ignoredNote}`);
   // The gate is only authoritative about what it actually ran — record the scope explicitly.
   const rev = gate.revision?.sha ? `${String(gate.revision.sha).slice(0, 12)}${gate.revision.dirty ? "-dirty" : ""}` : "unknown";
   lines.push(`_target: ${gate.target || "—"} · revision: ${rev} · policy: ${gate.policy} v${gate.policyVersion || "?"}_`);

package/mcp-server/src/html-report.js

@@ -125,6 +125,9 @@ ${r.conditionsNotReached?.length ? `<div><h2>Conditions not reached</h2><ul>${sc
   .scope ul { margin-top: 0; padding-left: 1.2rem; }
   .sev { color: #fff; border-radius: 4px; padding: 0.05rem 0.45rem; font-size: 0.78rem; font-weight: 600; margin-right: 0.4rem; }
   ul.findings { padding-left: 1.1rem; } ul.findings li { margin-bottom: 0.6rem; }
+  table.trace { border-collapse: collapse; font-size: 0.88rem; width: 100%; }
+  table.trace th, table.trace td { text-align: left; padding: 0.25rem 0.7rem 0.25rem 0; border-bottom: 1px solid #eceef1; }
+  table.trace th { color: #57606a; font-weight: 600; }
   .ai { color: #57606a; font-size: 0.88rem; margin: 0.15rem 0 0 0.2rem; }
   .dim { color: #57606a; }
   .grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(200px, 1fr)); gap: 0.8rem; }
@@ -144,6 +147,10 @@ ${scopeHtml}
 <ul class="findings">
 ${findingsHtml}
 </ul>
+${Array.isArray(r.trace) && r.trace.length ? `<h2>Action trace — what was done, in order</h2>
+<table class="trace"><thead><tr><th>t</th><th>action</th><th>target</th><th>screen</th></tr></thead><tbody>
+${r.trace.map((a) => `<tr><td>${typeof a.t === "number" ? (a.t / 1000).toFixed(1) + "s" : "—"}</td><td>${esc(a.type || "")}</td><td>${esc(a.target || "")}</td><td>${esc(a.screen || "")}</td></tr>`).join("\n")}
+</tbody></table>` : ""}
 <h2>Evidence — every screen explored</h2>
 <div class="grid">
 ${shotsHtml || "<p class='dim'>No screenshots captured.</p>"}

package/mcp-server/src/index.js

@@ -778,16 +778,16 @@ async function firstVisibleWebLocator(page, target, { input = false } = {}) {
   return await fallback.isVisible().catch(() => false) ? fallback : null;
 }
 
-async function startWebSession(url, { testEmail = "", testPassword = "" } = {}) {
+async function startWebSession(url, { testEmail = "", testPassword = "", device = "", viewport = "" } = {}) {
   if (activeSession && !activeSession.ended) return { error: "A session is already active; call tapp_session_end first.", screen:treeSnapshot() };
   let browser;
   try {
     const parsed = new URL(String(url || ""));
     if (!/^https?:$/.test(parsed.protocol)) return { error:"Web session URL must be http(s)" };
-    const { loadPlaywright } = await import("./web-explorer.js");
-    const { chromium } = await loadPlaywright();
+    const { loadPlaywright, webContextOptions } = await import("./web-explorer.js");
+    const { chromium, devices } = await loadPlaywright();
     browser = await chromium.launch({ headless:true });
-    const context = await browser.newContext({ viewport:{ width:1280, height:900 } });
+    const context = await browser.newContext(webContextOptions({ device, viewport, devices }));
     const page = await context.newPage();
     await page.goto(parsed.href, { waitUntil:"domcontentloaded", timeout:30_000 });
     await page.waitForLoadState("networkidle", { timeout:5_000 }).catch(() => {});
@@ -1740,13 +1740,15 @@ function elementBreakdown(elements) {
 /** Scannable "Read screen X — N elements (...)" readout, plus the tappable/typeable controls. */
 export function formatScreen(screenTitle, elements) {
   const els = elements || [];
-  const interactable = els.filter((e) => e.isEnabled !== false && (String(e.type).includes("Button") || String(e.type).includes("rawValue: 9") || String(e.type).includes("TextField") || String(e.type).includes("rawValue: 49") || String(e.type).includes("rawValue: 50") || String(e.type).includes("Cell") || String(e.type).includes("rawValue: 75")));
-  const labels = interactable
+  const interactable = els.filter((e) => e.isEnabled !== false && (String(e.type).includes("Button") || String(e.type).includes("Link") || String(e.type).includes("rawValue: 9") || String(e.type).includes("TextField") || String(e.type).includes("rawValue: 49") || String(e.type).includes("rawValue: 50") || String(e.type).includes("Cell") || String(e.type).includes("rawValue: 75")));
+  const allLabels = interactable
     .map((e) => (e.label || e.identifier || "").trim())
-    .filter((s) => s && s.length <= 40 && !s.includes("."))
-    .slice(0, 8);
+    .filter((s) => s && s.length <= 40 && !s.includes("."));
+  const labels = allLabels.slice(0, 8);
   const L = [`🌳 Read screen **${screenTitle || "Unknown"}** — ${els.length} elements (${elementBreakdown(els)})`];
-  if (labels.length) L.push("", "**Controls:** " + labels.map((l) => `\`${l}\``).join(" · "));
+  // A silently cut list reads as complete; say when it isn't.
+  if (labels.length) L.push("", "**Controls:** " + labels.map((l) => `\`${l}\``).join(" · ")
+    + (allLabels.length > labels.length ? ` · … and ${allLabels.length - labels.length} more` : ""));
   return L.join("\n");
 }
 
@@ -1754,7 +1756,7 @@ export function formatScreen(screenTitle, elements) {
 // `tapp` CLI verbs in bin/tapp.js — same pattern as report.js. Keep orchestration HERE so
 // the surfaces can't drift.)
 
-export async function runQaWeb({ url, maxActions, timeout, testEmail, testPassword, baselineFindings, seedRoutes = [], seedTargets = [], watch = false, surface = "mcp", onProgress = () => {} }) {
+export async function runQaWeb({ url, maxActions, timeout, testEmail, testPassword, baselineFindings, seedRoutes = [], seedTargets = [], watch = false, surface = "mcp", onProgress = () => {}, device = "", viewport = "" }) {
   const { storagePreflight } = await import("./environment-preflight.js");
   const storage = storagePreflight(capturesDir);
   if (!storage.ok) return { error: storage.message, details: { environment: "storage", storage } };
@@ -1776,6 +1778,8 @@ export async function runQaWeb({ url, maxActions, timeout, testEmail, testPasswo
       seedTargets,
       watch: watch === true,
       onProgress,
+      device: isNonEmptyString(device) ? device.trim() : "",
+      viewport: isNonEmptyString(viewport) ? viewport.trim() : "",
     });
   } catch (err) {
     return { error: String(err.message || err) };
@@ -2602,6 +2606,8 @@ server.setRequestHandler(ListToolsRequestSchema, async () => ({
           clearData: { type: "boolean", default: true, description: "Android: clear app data before launch for a repeatable starting state." },
           url: { type: "string", description: "Web (beta): URL of the app to explore in a real browser (same-origin only; your own app/staging). Provide exactly one of appBundleId | url." },
           watch: { type: "boolean", default: false, description: "Web only: open Tapp's controlled Chromium window and show a cursor/HUD for each exploration action. Evidence screenshots exclude the overlay." },
+          device: { type: "string", description: "Web only: render as a Playwright device profile (e.g. \"iPhone 13\") — viewport, user agent, touch" },
+          viewport: { type: "string", description: "Web only: explicit viewport WIDTHxHEIGHT (e.g. \"390x844\"); overrides the device profile's viewport" },
           maxActions: { type: "integer", minimum: 1, maximum: 1000, default: 60, description: "Exploration action budget" },
           timeout: { type: "integer", minimum: 30, maximum: 3600, default: 600, description: "Max wall-clock seconds" },
           testEmail: { type: "string", description: "Email for the login preamble, if the app has a sign-in" },
@@ -2890,6 +2896,8 @@ server.setRequestHandler(ListToolsRequestSchema, async () => ({
           testEmail: { type: "string", description: "Value for $TEST_EMAIL" },
           testPassword: { type: "string", description: "Value for $TEST_PASSWORD" },
           actor: { type: "string", description: "Configured actor name; resolves $TEST_EMAIL/$TEST_PASSWORD from the actor's env-var bindings (explicit testEmail/testPassword win)" },
+          device: { type: "string", description: "Web flows: replay in a Playwright device profile (e.g. \"iPhone 13\")" },
+          viewport: { type: "string", description: "Web flows: explicit viewport WIDTHxHEIGHT (e.g. \"390x844\")" },
         },
       },
     },
@@ -3078,6 +3086,8 @@ server.setRequestHandler(ListToolsRequestSchema, async () => ({
           appBundleId: { type: "string", description: "Bundle id of the installed app to drive" },
           androidAppId: { type: "string", description: "Android application id to drive (alternative to appBundleId)" },
           url: { type: "string", description: "Owned http(s) web app URL to drive (alternative to appBundleId/androidAppId); omit all three target identifiers to build/start an unambiguous owned web target from projectDir" },
+          device: { type: "string", description: "Web sessions: render as a Playwright device profile (e.g. \"iPhone 13\")" },
+          viewport: { type: "string", description: "Web sessions: explicit viewport WIDTHxHEIGHT (e.g. \"390x844\")" },
           target: { type: "string", description: "Optional managed-web target name/path when projectDir contains multiple browser applications" },
           apkPath: { type: "string", description: "Android APK to install before starting" },
           androidSerial: { type: "string", description: "Android adb device serial" },
@@ -3444,6 +3454,8 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => {
         testPassword: args.testPassword,
         baselineFindings: args.baselineFindings,
         watch: args.watch === true,
+        device: isNonEmptyString(args.device) ? args.device.trim() : "",
+        viewport: isNonEmptyString(args.viewport) ? args.viewport.trim() : "",
         onProgress: notifyProgress("pages reached"),
       });
       if (r.error) return errorResult(r.error, r.details || {});
@@ -3983,6 +3995,8 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => {
           url: isNonEmptyString(args.url) ? args.url.trim() : undefined,
           logPath: flowLog,
           screenshotDir: evidenceDir,
+          device: isNonEmptyString(args.device) ? args.device.trim() : "",
+          viewport: isNonEmptyString(args.viewport) ? args.viewport.trim() : "",
         });
         run = { ...run, code: result.passed ? 0 : 1, evidenceDir };
       } catch (error) {
@@ -4334,7 +4348,7 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => {
       : android
         ? await startAndroidSession(target, { serial: args.androidSerial, apkPath: args.apkPath, clearData: args.clearData !== false, testEmail: args.testEmail, testPassword: args.testPassword })
         : web
-          ? await startWebSession(target, { testEmail:args.testEmail, testPassword:args.testPassword })
+          ? await startWebSession(target, { testEmail:args.testEmail, testPassword:args.testPassword, device:isNonEmptyString(args.device) ? args.device.trim() : "", viewport:isNonEmptyString(args.viewport) ? args.viewport.trim() : "" })
           : await startManagedWebInteractiveSession({
               projectDir:focusProjectDir,
               requestedTarget:isNonEmptyString(args.target) ? args.target.trim() : "",

package/mcp-server/src/report.js

@@ -72,6 +72,7 @@ export function parseOcqaMarkers(markersFilePath) {
       )
     ),
     complete,
+    actions,
     recentActions: actions.slice(-5),
     recentTransitions: transitions.slice(-5),
     recentIssues: issues.slice(-5),
@@ -87,6 +88,10 @@ export const ISSUE_CATEGORY = {
   error_surface: "network_error_surface",
   unresponsive_element: "unresponsive_element",
   placeholder_link: "broken_link",
+  anchor_missing: "broken_link",
+  unresolvable_host: "broken_link",
+  mailto_no_mx: "broken_link",
+  outbound_unavailable: "broken_link",
   dead_end: "navigation_dead_end",
   navigation_loop: "repeated_loop",
   navigation_trap: "navigation_dead_end",
@@ -96,7 +101,7 @@ export const ISSUE_CATEGORY = {
   explore_timeout: "performance_timeout",
 };
 export const CRITICAL_ISSUE_TYPES = new Set(["crash"]);
-export const WEB_SAMPLED_ISSUE_TYPES = new Set(["unresponsive_element"]);
+export const WEB_SAMPLED_ISSUE_TYPES = new Set(["unresponsive_element", "outbound_unavailable"]);
 
 export function severityRank(s) {
   return { critical: 0, high: 1, medium: 2, low: 3 }[s] ?? 4;
@@ -206,7 +211,9 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
   // keep the concrete missing-asset finding and discard that transport-level duplicate.
   const normalizedIssues = rawIssues.map((issue) => {
     if (platform !== "web") return issue;
-    if (issue.type === "placeholder_link" && issue.target) return { ...issue, screen: null };
+    if (["placeholder_link", "anchor_missing", "unresolvable_host", "mailto_no_mx", "outbound_unavailable"].includes(issue.type) && issue.target) {
+      return { ...issue, screen: null };
+    }
     if (!["missing_asset", "network_error"].includes(issue.type)) return issue;
     const title = String(issue.title || "");
     const match = issue.type === "missing_asset"
@@ -279,9 +286,17 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
     : screensExplored >= 2 && actionsPerformed >= 3;
   const unexercisedLoginWall = anySecure && !loginAttempted && screensExplored <= 1;
   const inconclusive = !coverageFloorMet || unexercisedLoginWall || timeBudgetExhausted;
+  // "completed" is reserved for a run that exhausted its action budget; a drained frontier is
+  // reported as its own honest reason so a 2-action sweep of a small surface never reads like a
+  // 40-action campaign. Drivers signal the real cause in COMPLETE.stop; captures from drivers
+  // that predate the field keep the old inference.
+  const driverStop = base.complete && typeof base.complete === "object" ? base.complete.stop : null;
   const stopReason = unexercisedLoginWall ? (credentialsProvided ? "login-wall-credentials-unused" : "login-wall-no-credentials")
     : timeBudgetExhausted ? "time-budget-exhausted"
-    : coverageFloorMet ? "completed" : "coverage-floor-not-met";
+    : !coverageFloorMet ? "coverage-floor-not-met"
+    : driverStop === "frontier-drained" ? "no-unexplored-in-scope-controls"
+    : driverStop === "probe-cap" ? "probe-cap-reached"
+    : "completed";
 
   const headline = timeBudgetExhausted
     ? `Inconclusive — exploration reached its ${base.complete?.timeoutSeconds || "configured"}s time budget after ${actionsPerformed} action(s) across ${screensExplored} screen(s). Findings are partial; this is not an app performance finding. Increase --timeout or request fewer actions.`
@@ -301,10 +316,17 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
   let checkedFor;
   let notChecked;
   if (platform === "web") {
+    const outbound = base.complete && typeof base.complete === "object" ? base.complete.outbound : null;
     checkedFor = [
-      "page errors (uncaught exceptions)", "failed/5xx requests", "broken links (404)",
-      "placeholder links with no destination", "sampled dead-button probes (advisory)", "error text on pages", "load timeouts",
+      "page errors (uncaught exceptions)", "failed/5xx requests", "broken links (404, same-origin crawl)",
+      "placeholder links and anchors with no destination", "sampled dead-button probes (advisory)", "error text on pages", "load timeouts",
     ];
+    if (outbound && outbound.total) {
+      checkedFor.push(outbound.total > outbound.checked
+        ? `outbound link reachability — browser-rendered · DNS · HTTP · unavailable-shell heuristic (first ${outbound.checked} of ${outbound.total})`
+        : "outbound link reachability (browser-rendered · DNS · HTTP · unavailable-shell heuristic)");
+    }
+    if (outbound?.mailtos && !outbound.mailtoSkipped) checkedFor.push("mailto address domains (MX/A records)");
     notChecked = [
       "app-specific business logic (cover with Flows: record or generate, then assert)",
       "content and claim accuracy (including copy versus API data)",
@@ -314,6 +336,11 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
       "only the first few visible buttons per page are probed (web beta)",
       "content & reachability regressions require a baseline",
     ];
+    if (outbound?.mailtoSkipped === "egress-policy") notChecked.push("mailto address domains (MX lookups are skipped by the public-egress policy)");
+    if (!outbound || (!outbound.total && !outbound.mailtos)) conditionsNotReached.push("outbound links (none encountered this run)");
+    if (inputFieldsEncountered.length && !loginAttempted) {
+      notChecked.push(`form submission (${inputFieldsEncountered.reduce((n, s) => n + s.fields.length, 0)} field(s) catalogued, none submitted)`);
+    }
   } else if (platform === "android") {
     checkedFor = [
       "crashes / process exits", "dead controls", "error surfaces", "blank screens",
@@ -361,6 +388,18 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
     headline,
     inconclusive,
     coverage: { screensExplored, actionsPerformed, screens: Array.from(screens) },
+    // Per-action evidence: what was done, to what, on which screen, at what offset — so an
+    // agent can distinguish "clicked Services, clicked FAQ" from "clicked the same button twice".
+    trace: (base.actions || [])
+      .filter((action) => action && typeof action === "object")
+      .map((action) => ({
+        ...(typeof action.t === "number" ? { t: action.t } : {}),
+        type: action.type || "action",
+        target: action.target || "",
+        ...(action.screen ? { screen: action.screen } : {}),
+        ...(action.via ? { via: action.via } : {}),
+        ...(action.reason ? { reason: action.reason } : {}),
+      })),
     evidence: { markers: base.relativeMarkersFilePath },
     uiMap: null,
     comparison: null,
@@ -505,7 +544,11 @@ export function computeRegression(current, baseline) {
 // the evidence." Exit codes are the CI contract; precedence is fail > inconclusive > pass.
 export const GATE_EXIT = { pass: 0, fail: 1, error: 2, inconclusive: 3 };
 // Bump when the gate's decision semantics change (NOT the npm version). Recorded on every GateRun.
-export const GATE_POLICY_VERSION = "2";
+// v3: `failOn` gained severity thresholds ("high" | "medium") that block on any deterministic-tier
+// finding at or above that severity, and the CLI defaults web targets to `medium` — a 404 in the
+// nav is the release blocker on a website, and a field-tested green PASS over six deterministic
+// findings was exactly the dishonest verdict this product refuses to render.
+export const GATE_POLICY_VERSION = "3";
 
 // Pure gate evaluator: frozen evidence + policy → a GateRun decision. Extracted verbatim from the
 // former inline logic in ci-report.js so the `[char]` characterization tests keep passing — the
@@ -554,6 +597,13 @@ export function evaluateGate({ report, regression = null, flows = [], scenarios
     if (report.findingCounts.total > 0) fail(`${report.findingCounts.total} finding(s) (fail-on: any)`);
     // "any" is the strictest policy — an inconclusive run (evidence not obtained) must never pass it.
     if (report.inconclusive) inconclusive("run was inconclusive (coverage floor not met)");
+  } else if (failOn === "medium" || failOn === "high") {
+    // Severity thresholds are absolute over the deterministic tier: anything at or above the
+    // requested severity blocks, baseline or not. Sampled/advisory findings never participate.
+    const counts = report.deterministicFindingCounts || {};
+    const blocking = (counts.critical || 0) + (counts.high || 0) + (failOn === "medium" ? counts.medium || 0 : 0);
+    if (blocking > 0) fail(`${blocking} deterministic finding(s) at or above ${failOn} severity (fail-on: ${failOn})`);
+    if (report.inconclusive) inconclusive("run was inconclusive (coverage floor not met)");
   } else if (failOn === "absolute" || (failOn === "gate" && !regression)) {
     if (findingsBlock(report.deterministicFindingCounts, { inconclusive: report.inconclusive })) fail("blocking deterministic finding(s)");
     if (report.inconclusive) inconclusive("run was inconclusive (coverage floor not met)");

package/mcp-server/src/web-explorer.js

@@ -23,6 +23,7 @@ import { execFileSync } from "child_process";
 const CLICK_SETTLE_MS = 700;
 const NAV_TIMEOUT_MS = 15_000;
 const BUTTONS_PER_PAGE = 4;
+const OUTBOUND_LINK_LIMIT = 10;
 const WATCH_ACTION_DELAY_MS = 350;
 const ERROR_TEXT_RE = /\b(something went wrong|internal server error|an error occurred|failed to load|unhandled exception)\b/i;
 const STANDALONE_ERROR_TEXT_RE = /^(something went wrong|internal server error|an error occurred|failed to load|unhandled exception)(?:[.!:]|\s|$)/i;
@@ -299,6 +300,42 @@ export function webBrowserLaunchOptions(environment = process.env, { watch = fal
   };
 }
 
+export function parseWebViewport(value) {
+  if (!value) return null;
+  const match = /^(\d{2,5})[xX](\d{2,5})$/.exec(String(value).trim());
+  if (!match) throw new Error(`Invalid viewport '${value}'; expected WIDTHxHEIGHT, e.g. 390x844`);
+  return { width: Number(match[1]), height: Number(match[2]) };
+}
+
+// The one seam for every web browser context: an optional Playwright device profile (viewport,
+// user agent, touch, scale factor) with an explicit WIDTHxHEIGHT override on top; the historical
+// 1280×900 desktop default otherwise. `defaultBrowserType` is stripped because newContext
+// rejects it — we always drive the profile through chromium.
+export function webContextOptions({ device = "", viewport = "", devices = null } = {}) {
+  const name = String(device || "").trim();
+  let base = {};
+  if (name) {
+    const profile = devices ? devices[name] : null;
+    if (!profile) {
+      const head = name.toLowerCase().split(" ")[0];
+      const close = devices ? Object.keys(devices).filter((d) => d.toLowerCase().includes(head)).slice(0, 5) : [];
+      throw new Error(`Unknown Playwright device '${name}'${close.length ? `; close matches: ${close.join(", ")}` : ""}`);
+    }
+    const { defaultBrowserType: _ignored, ...rest } = profile;
+    base = rest;
+  }
+  const parsed = parseWebViewport(viewport);
+  return { ...base, viewport: parsed || base.viewport || { width: 1280, height: 900 } };
+}
+
+// Conservative "the page answered 200 but is an unavailable shell" phrases (outbound links to
+// social platforms that never 404). Precision over recall: only unmistakable copy matches.
+export function webUnavailableShellPhrase(html) {
+  const text = String(html || "").slice(0, 120_000);
+  const match = /(this content isn'?t available|content (?:is )?(?:currently )?unavailable|this page isn'?t available|page (?:can'?t|cannot) be found|page not found|isn'?t available right now)/i.exec(text);
+  return match ? match[1] : null;
+}
+
 // A headed Playwright browser does not move the host OS pointer when locator.click() runs. In
 // explicit watch mode, draw a pointer inside the controlled page so a human can follow Tapp's
 // real actions. The UI lives in a closed shadow root, ignores pointer events, and is hidden from
@@ -398,16 +435,16 @@ async function screenshotWithoutWebWatchUi(page, options, watch) {
 // Focused one-screen inspection for the agent-facing `tapp open <url>` and `tapp tree <url>`
 // commands. This deliberately does no exploration or judgment; it opens exactly one page,
 // captures the visible semantic controls, and optionally takes one screenshot.
-export async function inspectWebPage({ url, timeoutMs = NAV_TIMEOUT_MS, screenshot = true, tapText = "", waitForText = "" }) {
+export async function inspectWebPage({ url, timeoutMs = NAV_TIMEOUT_MS, screenshot = true, tapText = "", waitForText = "", device = "", viewport = "", fullPage = false }) {
   let target;
   try { target = new URL(url); }
   catch { throw new Error("Web inspection needs a valid http(s) URL"); }
   if (!/^https?:$/.test(target.protocol)) throw new Error("Web inspection needs a valid http(s) URL");
 
-  const { chromium } = await loadPlaywright();
+  const { chromium, devices } = await loadPlaywright();
   const browser = await chromium.launch(webBrowserLaunchOptions());
   try {
-    const context = await browser.newContext({ viewport: { width: 1280, height: 900 } });
+    const context = await browser.newContext(webContextOptions({ device, viewport, devices }));
     const page = await context.newPage();
     const boundedTimeout = Math.max(1000, Math.min(60_000, Number(timeoutMs) || NAV_TIMEOUT_MS));
     page.setDefaultTimeout(boundedTimeout);
@@ -429,23 +466,26 @@ export async function inspectWebPage({ url, timeoutMs = NAV_TIMEOUT_MS, screensh
     }
     const observed = await page.evaluate(() => {
       const visible = (element) => element.offsetParent !== null;
-      const controls = [...document.querySelectorAll("button, a[href], input, textarea, select, [role=button], [role=tab], [role=checkbox], [role=switch]")]
+      const controls = [...document.querySelectorAll("button, a[href], input, textarea, select, summary, [role=button], [role=tab], [role=checkbox], [role=switch]")]
         .filter((element) => element.type !== "hidden" && visible(element))
         .slice(0, 80)
         .map((element) => {
           const tag = element.tagName.toLowerCase();
           const field = ["input", "textarea", "select"].includes(tag);
           const secure = element.type === "password";
-          const role = element.getAttribute("role") || (tag === "a" ? "link" : tag === "button" ? "button" : "");
+          const role = element.getAttribute("role") || (tag === "a" ? "link" : tag === "button" || tag === "summary" ? "button" : "");
           const label = (element.labels?.[0]?.textContent || element.getAttribute("aria-label") || element.textContent || element.placeholder || element.name || element.id || "").trim().slice(0, 120);
+          const box = element.getBoundingClientRect();
           return {
-            type: field ? (secure ? "SecureTextField" : "TextField") : "Button",
+            // `type` stays faithful so an agent follows links and presses buttons, not vice versa.
+            type: field ? (secure ? "SecureTextField" : "TextField") : tag === "a" ? "Link" : "Button",
             role,
             label,
             identifier: element.id || element.getAttribute("data-testid") || element.getAttribute("aria-label") || "",
             isEnabled: !element.disabled && element.getAttribute("aria-disabled") !== "true",
             hittable: true,
             secure,
+            rect: { x: Math.round(box.x), y: Math.round(box.y), width: Math.round(box.width), height: Math.round(box.height) },
           };
         })
         .filter((control) => control.label || control.identifier);
@@ -455,7 +495,7 @@ export async function inspectWebPage({ url, timeoutMs = NAV_TIMEOUT_MS, screensh
         controls,
       };
     });
-    const image = screenshot ? await page.screenshot({ type: "png" }) : null;
+    const image = screenshot ? await page.screenshot({ type: "png", fullPage: !!fullPage }) : null;
     return {
       url: page.url(),
       screenTitle: webScreenTitle(observed, target.pathname || target.href),
@@ -524,17 +564,19 @@ export function normalizeWebSeedTargets(seedTargets = [], limit = 5) {
   return result;
 }
 
-export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDir, testEmail = "", testPassword = "", seedRoutes = [], seedTargets = [], watch = false, onProgress }) {
+export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDir, testEmail = "", testPassword = "", seedRoutes = [], seedTargets = [], watch = false, onProgress, device = "", viewport = "" }) {
   const start = new URL(url);
   if (!/^https?:$/.test(start.protocol)) throw new Error("url must be http(s)");
   fs.mkdirSync(outDir, { recursive: true });
   const markersPath = path.join(outDir, "ocqa-markers.txt");
   const markersFd = fs.openSync(markersPath, "w");
   const emit = (kind, payload) => fs.writeSync(markersFd, `OCQA_${kind}:${JSON.stringify(payload)}\n`);
+  const startedAtMs = Date.now();
+  const emitAction = (payload) => emit("ACTION", { t: Date.now() - startedAtMs, ...payload });
 
-  const { chromium } = await loadPlaywright();
+  const { chromium, devices } = await loadPlaywright();
   const browser = await chromium.launch(webBrowserLaunchOptions(process.env, { watch }));
-  const context = await browser.newContext({ viewport: { width: 1280, height: 900 } });
+  const context = await browser.newContext(webContextOptions({ device, viewport, devices }));
   await installWebListenerTracking(context);
   if (watch) await installWebWatchUi(context);
   const page = await context.newPage();
@@ -542,9 +584,12 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
 
   const deadline = Date.now() + timeoutSec * 1000;
   const issues = []; // emitted immediately; kept for counting only
-  const issue = (type, severity, title, screen, target) => {
+  const issue = (type, severity, title, screen, target, sourceUrl) => {
     issues.push(type);
-    const pageUrl = page.url();
+    // Findings belong to the page that CARRIED the defect. Async detectors default to the
+    // current page; the post-crawl outbound audit passes the link's source page explicitly so
+    // a bad footer link is never attributed to whatever page happened to be visited last.
+    const pageUrl = sourceUrl || page.url();
     emit("ISSUE", { type, severity, title, screen, ...(target ? { target } : {}), ...(pageUrl && pageUrl !== "about:blank" ? { url: pageUrl } : {}) });
   };
 
@@ -585,6 +630,11 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
   ];
   const screenshotFor = new Map();
   const placeholderLinksSeen = new Set();
+  const missingAnchorsSeen = new Set();
+  const outboundLinks = new Map(); // href → { label, screen }
+  const mailtoLinks = new Map(); // address → { screen }
+  const outbound = { total: 0, checked: 0, mailtos: 0 };
+  let probeCapHit = false;
   let actions = 0;
   let screenCount = 0;
   let lastScreen = null;
@@ -607,12 +657,12 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
           secure: el.type === "password",
         }))
         .filter((f) => f.label);
-      const controls = [...document.querySelectorAll("button, a[href], input, textarea, select, [role=button], [role=tab], [role=checkbox], [role=switch]")]
+      const controls = [...document.querySelectorAll("button, a[href], input, textarea, select, summary, [role=button], [role=tab], [role=checkbox], [role=switch]")]
         .filter((el) => el.type !== "hidden" && el.offsetParent !== null)
         .slice(0, 60)
         .map((el) => {
           const tag = el.tagName.toLowerCase();
-          const role = el.getAttribute("role") || (tag === "a" ? "link" : tag === "button" ? "button" : "");
+          const role = el.getAttribute("role") || (tag === "a" ? "link" : tag === "button" || tag === "summary" ? "button" : "");
           const field = ["input", "textarea", "select"].includes(tag);
           const secure = el.type === "password";
           const label = (el.labels?.[0]?.textContent || el.getAttribute("aria-label") || el.textContent || el.placeholder || el.name || el.id || "").trim().slice(0, 120);
@@ -674,6 +724,18 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
               fingerprint: el.id || el.getAttribute("data-testid") || svgPath.slice(0, 80) || `link-${index + 1}`,
             };
           }),
+        missingAnchors: [...document.querySelectorAll('a[href^="#"]')]
+          .filter((el) => el.offsetParent !== null)
+          .map((el) => el.getAttribute("href") || "")
+          .filter((href) => href.length > 1)
+          .filter((href) => {
+            const id = decodeURIComponent(href.slice(1));
+            try {
+              const esc = window.CSS && CSS.escape ? CSS.escape(id) : id;
+              return !document.getElementById(id) && !document.querySelector(`a[name="${esc}"]`);
+            } catch { return !document.getElementById(id); }
+          })
+          .slice(0, 20),
         inputs,
         controls,
       };
@@ -717,6 +779,13 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
         placeholderLinksSeen.add(finding.target);
         issue(finding.type, finding.severity, finding.title, screen, finding.target);
       }
+      // Anchor links pointing at ids that do not exist are deterministic dead navigation.
+      for (const anchor of info.missingAnchors || []) {
+        const anchorTarget = `${key}${anchor}`;
+        if (missingAnchorsSeen.has(anchorTarget)) continue;
+        missingAnchorsSeen.add(anchorTarget);
+        issue("anchor_missing", "medium", `Anchor link "${anchor}" has no matching element on the page`, screen, anchorTarget);
+      }
     }
     return { key, screen, info };
   }
@@ -737,7 +806,7 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
     if (watch) await showWebWatchAction(page, { locator: pw, action: "Type", target: "Password" });
     await pw.fill(testPassword).catch(() => {});
     lastActionTarget = "Sign in";
-    emit("ACTION", { type: "login", target: "Sign in", screen, narrative: "Filled and submitted the sign-in form with the provided test credentials" });
+    emitAction({ type: "login", target: "Sign in", screen, narrative: "Filled and submitted the sign-in form with the provided test credentials" });
     actions += 1;
     await submitWebLogin(page, watch
       ? (locator) => showWebWatchAction(page, { locator, action: "Click", target: "Sign in" })
@@ -784,7 +853,7 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
       actions += 1;
       lastActionTarget = webNavigationAction(entry.action, target);
       pendingNavigation = entry.pathTarget ? { ...entry, prTarget: false } : entry;
-      emit("ACTION", { type: "open", target, via: lastActionTarget, narrative: `Opened ${target}` });
+      emitAction({ type: "open", target, via: lastActionTarget, narrative: `Opened ${target}` });
       // Attribute load-time events (pageerror, 404s) to the page being loaded, not the one
       // we just left; observe() refines this to the page title once it settles.
       currentScreen = target;
@@ -814,7 +883,7 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
           const beforeScreen = ob.screen;
           actions += 1;
           lastActionTarget = action.target;
-          emit("ACTION", { type: action.type, target: action.target, screen: beforeScreen, reason: "pr_ui_map_path", narrative: `Following observed UI Map path: ${action.type} ${action.target}` });
+          emitAction({ type: action.type, target: action.target, screen: beforeScreen, reason: "pr_ui_map_path", narrative: `Following observed UI Map path: ${action.type} ${action.target}` });
           let acted = false;
           if (action.type === "back") {
             if (watch) await showWebWatchAction(page, { action: "Back", target: beforeScreen });
@@ -857,15 +926,27 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
         emit("PR_TARGET", { targetId: entry.targetId, status: "observed", screen: ob.screen });
       }
 
-      // Enqueue unvisited same-origin links (BFS keeps exploration order deterministic).
+      // Enqueue unvisited same-origin links (BFS keeps exploration order deterministic);
+      // collect outbound http(s) links and mailto addresses for the post-crawl audit.
       const links = await page.$$eval("a[href]", (as) => as.map((a) => ({
         href: a.href,
+        raw: a.getAttribute("href") || "",
         label: (a.getAttribute("aria-label") || a.textContent || "").trim(),
       }))).catch(() => []);
       for (const link of links) {
         try {
+          if (/^mailto:/i.test(link.raw)) {
+            const address = link.raw.replace(/^mailto:/i, "").split("?")[0].trim();
+            if (address.includes("@") && !mailtoLinks.has(address)) mailtoLinks.set(address, { screen: ob.screen, sourceUrl: start.origin + ob.key });
+            continue;
+          }
           const u = new URL(link.href);
-          if (u.origin !== start.origin || !/^https?:$/.test(u.protocol)) continue;
+          if (!/^https?:$/.test(u.protocol)) continue;
+          if (u.origin !== start.origin) {
+            const clean = u.origin + u.pathname;
+            if (!outboundLinks.has(clean)) outboundLinks.set(clean, { label: link.label, screen: ob.screen, sourceUrl: start.origin + ob.key });
+            continue;
+          }
           const key = u.pathname.replace(/\/+$/, "") + u.search || "/";
           if (!visited.has(key) && !frontier.some((item) => item.target === key)) {
             frontier.push({ target: key, action: webNavigationAction(link.label, key), fromScreen: ob.screen });
@@ -875,8 +956,10 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
 
       // Bounded button pass: click, watch for effect, flag dead controls (the web analog
       // of the iOS dead-button detector). Navigations are undone so BFS order holds.
-      const buttons = page.locator("button:visible, [role=button]:visible, input[type=submit]:visible");
-      const n = Math.min(await buttons.count().catch(() => 0), BUTTONS_PER_PAGE);
+      const buttons = page.locator("button:visible, [role=button]:visible, input[type=submit]:visible, summary:visible");
+      const buttonTotal = await buttons.count().catch(() => 0);
+      const n = Math.min(buttonTotal, BUTTONS_PER_PAGE);
+      if (buttonTotal > BUTTONS_PER_PAGE) probeCapHit = true;
       for (let i = 0; i < n && actions < maxActions && Date.now() < deadline; i++) {
         const b = buttons.nth(i);
         const label = webControlLabel({
@@ -893,7 +976,7 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
         const beforeState = await captureWebControlState(page, b);
         actions += 1;
         lastActionTarget = label;
-        emit("ACTION", { type: "tap", target: label, screen: webActionScreen(ob), narrative: `Tapped "${label}"` });
+        emitAction({ type: "tap", target: label, screen: webActionScreen(ob), narrative: `Tapped "${label}"` });
         let clickSucceeded = false;
         try {
           if (watch) await showWebWatchAction(page, { locator: b, action: "Click", target: label });
@@ -925,8 +1008,67 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
       }
       progress();
     }
+
+    // Post-crawl outbound audit. Link checks run through the LIVE browser context: JS-rendered
+    // "unavailable" shells (Facebook et al.) are only visible to a real renderer, and browser
+    // navigation honors the egress proxy policy, so these checks never bypass it. Only the
+    // mailto MX lookups use node:dns and are therefore skipped under the enforced-egress policy.
+    outbound.total = outboundLinks.size;
+    outbound.mailtos = mailtoLinks.size;
+    if (outboundLinks.size) {
+      const auditPage = await context.newPage();
+      auditPage.setDefaultTimeout(8000);
+      const targets = [...outboundLinks.entries()].slice(0, OUTBOUND_LINK_LIMIT);
+      outbound.checked = targets.length;
+      for (const [href, meta] of targets) {
+        if (Date.now() >= deadline) break;
+        const nav = await auditPage.goto(href, { waitUntil: "domcontentloaded", timeout: 8000 })
+          .catch((error) => ({ navError: String(error && error.message || error) }));
+        if (nav && nav.navError) {
+          const dnsFailure = /ERR_NAME_NOT_RESOLVED/i.test(nav.navError);
+          issue("unresolvable_host", "medium",
+            dnsFailure
+              ? `Outbound link host does not resolve: ${new URL(href).hostname}`
+              : `Outbound link unreachable: ${href.slice(0, 100)} (${nav.navError.slice(0, 60)})`,
+            meta.screen, href, meta.sourceUrl);
+          continue;
+        }
+        if (nav && typeof nav.status === "function" && nav.status() >= 400) {
+          issue("broken_link", "medium", `Outbound link returns HTTP ${nav.status()}: ${href.slice(0, 100)}`, meta.screen, href, meta.sourceUrl);
+          continue;
+        }
+        await auditPage.waitForTimeout(400); // let client-rendered shells paint their copy
+        const text = await auditPage.evaluate(() => (document.body && document.body.innerText || "").slice(0, 120000)).catch(() => "");
+        const phrase = webUnavailableShellPhrase(text);
+        if (phrase) issue("outbound_unavailable", "low", `Outbound link returns 200 but shows "${phrase}": ${href.slice(0, 100)}`, meta.screen, href, meta.sourceUrl);
+      }
+      await auditPage.close().catch(() => {});
+    }
+    if (mailtoLinks.size) {
+      if (process.env.TAPP_ENFORCE_PUBLIC_EGRESS === "1") {
+        outbound.mailtoSkipped = "egress-policy"; // node:dns would bypass the enforced proxy
+      } else {
+        const dns = await import("node:dns/promises");
+        for (const [address, meta] of mailtoLinks) {
+          if (Date.now() >= deadline) break;
+          const domain = (address.split("@")[1] || "").toLowerCase();
+          if (!domain) continue;
+          // RFC 5321 implicit-MX: a domain with no MX but an A/AAAA record can still receive.
+          const deliverable = await dns.resolveMx(domain).then((records) => records.length > 0).catch(() => false)
+            || await dns.lookup(domain).then(() => true).catch(() => false);
+          if (!deliverable) issue("mailto_no_mx", "medium", `mailto: domain cannot receive email (no MX or address record): ${address}`, meta.screen, address, meta.sourceUrl);
+        }
+      }
+    }
   } finally {
-    emit("COMPLETE", { actions, screens: screenCount, credentialsProvided: !!(testEmail || testPassword), credentialsUsed: loginTried });
+    const timedOut = Date.now() >= deadline;
+    // A drained frontier with a truncating probe cap is NOT "nothing left" — twin controls may
+    // sit untapped past the per-page cap, and the stop reason must not claim otherwise.
+    const stop = timedOut ? "time-budget"
+      : actions >= maxActions ? "action-budget"
+      : probeCapHit ? "probe-cap"
+      : "frontier-drained";
+    emit("COMPLETE", { actions, screens: screenCount, credentialsProvided: !!(testEmail || testPassword), credentialsUsed: loginTried, timedOut, stop, outbound });
     fs.closeSync(markersFd);
     await browser.close().catch(() => {});
   }

package/mcp-server/src/web-flow.js

@@ -3,7 +3,7 @@
 import fs from "node:fs";
 import path from "node:path";
 import { FlowLog, flowVariables, normalizeFlowStep, substituteFlowValue } from "./flow-runtime.js";
-import { loadPlaywright } from "./web-explorer.js";
+import { loadPlaywright, webContextOptions } from "./web-explorer.js";
 
 const DEFAULT_TIMEOUT = 6000;
 
@@ -192,7 +192,7 @@ export async function executeWebFlowStep({ page, step, vars = {}, defaultTimeout
   return { action, target: action === "login" ? "sign-in form" : target || value, status, detail, task: raw.task };
 }
 
-export async function runWebFlow({ flow, url, logPath, screenshotDir, playwright }) {
+export async function runWebFlow({ flow, url, logPath, screenshotDir, playwright, device = "", viewport = "" }) {
   const startUrl = url || flow.url || (/^https?:\/\//i.test(flow.app || "") ? flow.app : "");
   if (!startUrl) throw new Error("Web Flow needs `url:` (or an http(s) `app:` value)");
   if (logPath) fs.rmSync(logPath, { force: true });
@@ -202,7 +202,7 @@ export async function runWebFlow({ flow, url, logPath, screenshotDir, playwright
   const log = new FlowLog({ logPath, flow: loggedFlow });
   const pw = playwright || await loadPlaywright();
   const browser = await pw.chromium.launch({ headless: true });
-  const context = await browser.newContext({ viewport: { width: 1280, height: 900 } });
+  const context = await browser.newContext(webContextOptions({ device, viewport, devices: pw.devices }));
   const page = await context.newPage();
   const timeout = Number(flow.timeoutMs) || DEFAULT_TIMEOUT;
   page.setDefaultTimeout(timeout);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aarwitz/tapp",
-  "version": "0.17.4",
+  "version": "0.17.6",
   "mcpName": "io.github.aarwitz/tapp",
   "description": "Let coding agents verify UI changes on real iOS, Android, and web surfaces, then enforce reviewed proof in deterministic CI.",
   "license": "MIT",
@@ -89,7 +89,7 @@
     "mobile"
   ],
   "scripts": {
-    "test": "node --test tests/report.test.js tests/regression.test.js tests/engine.test.js tests/project-config.test.js tests/application-model.test.js tests/ui-map.test.js tests/focused-navigation.test.js tests/task-runtime.test.js tests/release-contract.test.js tests/pr-selection.test.js tests/flow-runtime.test.js tests/web-explorer.test.js tests/web-session.test.js tests/web-flow.test.js tests/scenario-runtime.test.js tests/android-driver.test.js tests/android-explorer.test.js tests/android-flow.test.js tests/android-primitives-protocol.test.js tests/managed-web.test.js tests/product-operations.test.js tests/browser-product.test.js tests/browser-onboarding.test.js tests/managed-operation.test.js tests/cloud-runner.test.js tests/ci-setup.test.js tests/ci-install.test.js tests/cli.test.js tests/mcp-workspace.test.js tests/action.test.js tests/package-surface.test.js tests/agent-surface.test.js tests/presentation-contract.test.js tests/landing-brand.test.js tests/ci-gate.test.js tests/ci-report.test.js tests/desktop-protocol.test.js tests/ios-flow-protocol.test.js vscode-extension/test/bridge.test.js",
+    "test": "node --test tests/report.test.js tests/regression.test.js tests/engine.test.js tests/project-config.test.js tests/application-model.test.js tests/ui-map.test.js tests/focused-navigation.test.js tests/task-runtime.test.js tests/release-contract.test.js tests/pr-selection.test.js tests/flow-runtime.test.js tests/web-explorer.test.js tests/web-session.test.js tests/web-link-audit.test.js tests/web-flow.test.js tests/scenario-runtime.test.js tests/android-driver.test.js tests/android-explorer.test.js tests/android-flow.test.js tests/android-primitives-protocol.test.js tests/managed-web.test.js tests/product-operations.test.js tests/browser-product.test.js tests/browser-onboarding.test.js tests/managed-operation.test.js tests/cloud-runner.test.js tests/ci-setup.test.js tests/ci-install.test.js tests/cli.test.js tests/mcp-workspace.test.js tests/action.test.js tests/package-surface.test.js tests/agent-surface.test.js tests/presentation-contract.test.js tests/landing-brand.test.js tests/ci-gate.test.js tests/ci-report.test.js tests/desktop-protocol.test.js tests/ios-flow-protocol.test.js vscode-extension/test/bridge.test.js",
     "test:browser-journey": "node --test tests/browser-journey.test.js",
     "test:browser-native": "TAPP_RUN_NATIVE_BROWSER=1 node --test tests/browser-native-journey.test.js"
   }

package/scripts/ci-gate.sh

@@ -10,9 +10,10 @@
 # for GitHub Actions; equally usable from any other CI or locally.
 #
 # Usage:
-#   scripts/ci-gate.sh [--platform ios] --app <path/to/App.app> [--bundle-id <com.example.app>]
-#   scripts/ci-gate.sh --platform android --apk <path/to/app.apk> --app-id <com.example.app> [--serial <adb-serial>]
-#   scripts/ci-gate.sh --platform web [--url <http(s)://owned-app>]
+#   tapp ci [--platform ios] --app <path/to/App.app> [--bundle-id <com.example.app>]
+#   tapp ci --platform android --apk <path/to/app.apk> --app-id <com.example.app> [--serial <adb-serial>]
+#   tapp ci --platform web [--url <http(s)://owned-app>]
+#   tapp ci        # in an initialized repo: reads .tapp/application-model.json for platform/target
 #                      # omit --url with --project-dir to detect/build/start/stop one owned web target
 #                      # bundle id is detected from the .app when omitted
 #                      [--actions N]              # exploration budget (default 40)
@@ -27,7 +28,10 @@
 #                      [--pr-plan-out <file.json>] # persist the reviewable selection plan
 #                      [--baseline <file.json>]   # prior report to diff against (skipped if absent)
 #                      [--target-key <stable-id>] # isolates target-specific baselines in monorepos
-#                      [--fail-on gate|absolute|any]  # gate policy (default gate; see ci-report.js)
+#                      [--fail-on gate|absolute|any|high|medium]
+#                                                 # gate policy (default: gate; web targets default
+#                                                 # to medium — any deterministic medium+ finding
+#                                                 # blocks; see ci-report.js)
 #                      [--json-out <file.json>]   # write the full report (use as the next baseline)
 #                      [--md-out <file.md>]       # write the rendered markdown report (for a PR comment)
 #                      [--device <name>]          # simulator device to boot if none is (default "iPhone 16 Pro")
@@ -43,10 +47,10 @@ usage() {
 
 PLATFORM="ios" APP_PATH="" BUNDLE_ID="" APK_PATH="" APP_ID="" URL="" WEB_TARGET="" TARGET_KEY="" SERIAL="" ACTIONS=40 TIMEOUT=600 FLOWS="" SCENARIOS="" CONTRACTS="" PROJECT_DIR="" BASELINE="" FAIL_ON="gate" JSON_OUT="" MD_OUT="" DEVICE="iPhone 16 Pro" PR_BASE="" PR_HEAD="HEAD" CHANGED_FILES_FILE="" PR_PLAN_OUT=""
 IOS_PR_TARGET_JSON=""
-FLOWS_EXPLICIT=false SCENARIOS_EXPLICIT=false CONTRACTS_EXPLICIT=false
+FLOWS_EXPLICIT=false SCENARIOS_EXPLICIT=false CONTRACTS_EXPLICIT=false PLATFORM_EXPLICIT=false FAIL_ON_EXPLICIT=false
 while [[ $# -gt 0 ]]; do
   case "$1" in
-    --platform) PLATFORM="$2"; shift 2 ;;
+    --platform) PLATFORM="$2"; PLATFORM_EXPLICIT=true; shift 2 ;;
     --app) APP_PATH="$2"; shift 2 ;;
     --bundle-id) BUNDLE_ID="$2"; shift 2 ;;
     --apk) APK_PATH="$2"; shift 2 ;;
@@ -66,7 +70,7 @@ while [[ $# -gt 0 ]]; do
     --changed-files-file) CHANGED_FILES_FILE="$2"; shift 2 ;;
     --pr-plan-out) PR_PLAN_OUT="$2"; shift 2 ;;
     --baseline) BASELINE="$2"; shift 2 ;;
-    --fail-on) FAIL_ON="$2"; shift 2 ;;
+    --fail-on) FAIL_ON="$2"; FAIL_ON_EXPLICIT=true; shift 2 ;;
     --json-out) JSON_OUT="$2"; shift 2 ;;
     --md-out) MD_OUT="$2"; shift 2 ;;
     --device) DEVICE="$2"; shift 2 ;;
@@ -77,16 +81,48 @@ done
 [[ "$PLATFORM" == "ios" || "$PLATFORM" == "android" || "$PLATFORM" == "web" ]] || { echo "❌ --platform must be ios|android|web" >&2; exit 2; }
 [[ "$ACTIONS" =~ ^[1-9][0-9]*$ ]] || { echo "❌ --actions must be a positive integer" >&2; exit 2; }
 [[ "$TIMEOUT" =~ ^[1-9][0-9]*$ ]] || { echo "❌ --timeout must be a positive integer" >&2; exit 2; }
-[[ "$FAIL_ON" == "gate" || "$FAIL_ON" == "absolute" || "$FAIL_ON" == "any" ]] || { echo "❌ --fail-on must be gate|absolute|any" >&2; exit 2; }
+[[ "$FAIL_ON" == "gate" || "$FAIL_ON" == "absolute" || "$FAIL_ON" == "any" || "$FAIL_ON" == "high" || "$FAIL_ON" == "medium" ]] || { echo "❌ --fail-on must be gate|absolute|any|high|medium" >&2; exit 2; }
 if [[ -n "$PROJECT_DIR" ]]; then
   [[ -d "$PROJECT_DIR" ]] || { echo "❌ Project directory not found: $PROJECT_DIR" >&2; exit 2; }
   PROJECT_DIR="$(cd "$PROJECT_DIR" && pwd)"
 fi
+# A repository-connected gate should connect to the repository it is run from: when no
+# --project-dir was given but the working directory is an initialized Tapp repo, use it.
+if [[ -z "$PROJECT_DIR" && -f "$(pwd)/.tapp/application-model.json" ]]; then
+  PROJECT_DIR="$(pwd)"
+  echo "Using repository artifacts from $PROJECT_DIR/.tapp"
+fi
 TAPP_PROJECT_ARTIFACTS=""
 if [[ -n "$PROJECT_DIR" ]]; then
   [[ -d "$PROJECT_DIR/.tapp" ]] && TAPP_PROJECT_ARTIFACTS="$PROJECT_DIR/.tapp"
 fi
 
+# When --platform was not given, derive it from the application model instead of assuming iOS —
+# but only when the model is unambiguous (exactly one platform across its targets).
+if [[ "$PLATFORM_EXPLICIT" == "false" && -n "$TAPP_PROJECT_ARTIFACTS" && -f "$TAPP_PROJECT_ARTIFACTS/application-model.json" ]]; then
+  MODEL_PLATFORM="$(node - "$TAPP_PROJECT_ARTIFACTS/application-model.json" <<'NODE'
+const fs = require("fs");
+try {
+  const model = JSON.parse(fs.readFileSync(process.argv[2], "utf8"));
+  const platforms = [...new Set((model.targets || []).map((t) => t.platform).filter(Boolean))];
+  if (platforms.length === 1) process.stdout.write(platforms[0]);
+} catch {}
+NODE
+  )"
+  if [[ -n "$MODEL_PLATFORM" && "$MODEL_PLATFORM" != "$PLATFORM" ]]; then
+    PLATFORM="$MODEL_PLATFORM"
+    echo "Platform derived from the application model: $PLATFORM (pass --platform to override)"
+  fi
+fi
+
+# Web policy default (gate policy v3): on a website, a deterministic broken link IS the release
+# blocker — default web targets to fail-on medium. Pass --fail-on gate to restore baseline-diff
+# semantics for a web target.
+if [[ "$FAIL_ON_EXPLICIT" == "false" && "$PLATFORM" == "web" ]]; then
+  FAIL_ON="medium"
+  echo "Gate policy: fail-on medium (web default; any deterministic medium+ finding blocks — override with --fail-on)"
+fi
+
 # A repository-connected gate must retain the stable application-model target identity in its
 # report. Otherwise its first passing report cannot become a target-scoped baseline, even though
 # Tapp already knows exactly which application it built and exercised. Explicit --target-key still

package/scripts/platform-gate.js

@@ -42,12 +42,18 @@ for (let i = 2; i < process.argv.length; i += 1) {
     process.exit(2);
   }
 }
-if (!["web", "android"].includes(args.platform)) throw new Error("--platform must be web|android");
-if (args.platform === "web" && !args.url && !args.projectDir) throw new Error("Web gate requires --url or --project-dir for managed build/start");
-if (args.platform === "android" && !args.appId) throw new Error("Android gate requires --app-id");
+// Usage problems are part of the public outcome contract (exit 2), never an uncaught stack trace.
+const usageError = (message) => { console.error(`❌ ${message}`); process.exit(2); };
+if (!["web", "android"].includes(args.platform)) usageError("--platform must be web|android");
+if (args.platform === "web" && !args.url && !args.projectDir) usageError("The web gate needs a target: pass --url <http(s)://owned-app>, or --project-dir <repo> to build/start the repository's own web target.");
+if (args.platform === "android" && !args.appId) usageError("The Android gate requires --app-id");
 if (args.projectDir) {
-  args.projectDir = fs.realpathSync(path.resolve(args.projectDir));
-  if (!fs.statSync(args.projectDir).isDirectory()) throw new Error(`Project directory not found: ${args.projectDir}`);
+  try {
+    args.projectDir = fs.realpathSync(path.resolve(args.projectDir));
+    if (!fs.statSync(args.projectDir).isDirectory()) usageError(`Project directory not found: ${args.projectDir}`);
+  } catch {
+    usageError(`Project directory not found: ${args.projectDir}`);
+  }
 }
 
 // Parse and platform-filter before launching a browser/device so a typo cannot

package/scripts/run-web-flow.js

@@ -18,7 +18,14 @@ const logPath = process.env.FLOW_LOG || path.join(os.tmpdir(), `tapp-web-flow-${
 const screenshotDir = process.env.TAPP_FLOW_EVIDENCE_DIR || path.join(os.tmpdir(), `tapp-web-flow-${token}`);
 
 try {
-  const result = await runWebFlow({ flow, url: process.argv[3], logPath, screenshotDir });
+  const result = await runWebFlow({
+    flow,
+    url: process.argv[3],
+    logPath,
+    screenshotDir,
+    device: process.env.TAPP_WEB_DEVICE || "",
+    viewport: process.env.TAPP_WEB_VIEWPORT || "",
+  });
   const report = spawnSync("python3", [path.join(root, "scripts", "flow_lib.py"), "report", logPath], { encoding: "utf8" });
   process.stdout.write((report.stdout || "").trim() + "\n");
   process.exit(result.passed ? 0 : 1);

package/skills/tapp/references/commands.md

@@ -104,6 +104,13 @@ npx -y @aarwitz/tapp@latest flow run .tapp/flows/smoke.yml
 npx -y @aarwitz/tapp@latest ci
 ```
 
+Web commands (`open`, `tree`, `explore`, `flow run`) accept `--device "iPhone 13"` (any
+Playwright device profile) or `--viewport 390x844` to render at mobile sizes, and `open`
+accepts `--full-page` for a full-height screenshot — use these for "does it look right on a
+phone" checks. Web explores also audit outbound links (DNS, HTTP status, unavailable-shell
+heuristic) and `mailto:` domains, report an honest `stopReason` (`no-unexplored-in-scope-controls`
+when a small surface is swept before the budget), and return a per-action `trace` in `--json`.
+
 `tapp explore` observes. `tapp ci` applies versioned deterministic policy to evidence, selected
 Flows/Scenarios/contracts, coverage, and any target-scoped baseline. Its outcomes are `pass`, `fail`,
 or `inconclusive`; both `fail` and `inconclusive` block a merge.