@aarwitz/tapp 0.17.5 → 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.5",
+  "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.5",
+        "@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.5 # 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.5 # 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/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.5 # 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

@@ -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");
 }
 

package/mcp-server/src/report.js

@@ -295,6 +295,7 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
     : timeBudgetExhausted ? "time-budget-exhausted"
     : !coverageFloorMet ? "coverage-floor-not-met"
     : driverStop === "frontier-drained" ? "no-unexplored-in-scope-controls"
+    : driverStop === "probe-cap" ? "probe-cap-reached"
     : "completed";
 
   const headline = timeBudgetExhausted
@@ -320,12 +321,12 @@ export function buildQaReport(markersFilePath, { platform = "ios", target = null
       "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.skipped && (outbound.total || outbound.mailtos)) {
+    if (outbound && outbound.total) {
       checkedFor.push(outbound.total > outbound.checked
-        ? `outbound link reachability — DNS · HTTP · unavailable-shell heuristic (first ${outbound.checked} of ${outbound.total})`
-        : "outbound link reachability (DNS · HTTP · unavailable-shell heuristic)");
-      if (outbound.mailtos) checkedFor.push("mailto address domains (MX/A records)");
+        ? `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)",
@@ -335,8 +336,8 @@ 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?.skipped === "egress-policy") notChecked.push("outbound links and mailto domains (skipped by the public-egress policy)");
-    else if (!outbound || (!outbound.total && !outbound.mailtos)) conditionsNotReached.push("outbound links (none encountered this run)");
+    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)`);
     }
@@ -543,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
@@ -592,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

@@ -466,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);
@@ -581,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 } : {}) });
   };
 
@@ -628,6 +634,7 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
   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;
@@ -930,14 +937,14 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
         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 });
+            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 (!/^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 });
+            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 || "/";
@@ -950,7 +957,9 @@ 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, summary:visible");
-      const n = Math.min(await buttons.count().catch(() => 0), BUTTONS_PER_PAGE);
+      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({
@@ -1000,56 +1009,65 @@ export async function exploreWeb({ url, maxActions = 40, timeoutSec = 300, outDi
       progress();
     }
 
-    // Post-crawl outbound audit: DNS + bounded HTTP for external links, MX for mailto.
-    // These calls leave the proxied browser, so the whole pass is skipped (and reported as
-    // not-checked) when the public-egress policy is enforced.
+    // 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 (process.env.TAPP_ENFORCE_PUBLIC_EGRESS === "1") {
-      outbound.skipped = "egress-policy";
-    } else if (outboundLinks.size || mailtoLinks.size) {
-      const dns = await import("node:dns/promises");
-      const hostResolvable = new Map();
-      const resolves = async (host) => {
-        if (!hostResolvable.has(host)) {
-          hostResolvable.set(host, await dns.lookup(host).then(() => true).catch(() => false));
-        }
-        return hostResolvable.get(host);
-      };
+    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 u = new URL(href);
-        if (!(await resolves(u.hostname))) {
-          issue("unresolvable_host", "medium", `Outbound link host does not resolve: ${u.hostname}`, meta.screen, href);
+        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;
         }
-        try {
-          const res = await fetch(href, { redirect: "follow", signal: AbortSignal.timeout(6000), headers: { "user-agent": "Mozilla/5.0 (compatible; tapp-link-audit)" } });
-          if (res.status >= 400) {
-            issue("broken_link", "medium", `Outbound link returns HTTP ${res.status}: ${href.slice(0, 100)}`, meta.screen, href);
-          } else {
-            const phrase = webUnavailableShellPhrase(await res.text().catch(() => ""));
-            if (phrase) issue("outbound_unavailable", "low", `Outbound link returns 200 but shows "${phrase}": ${href.slice(0, 100)}`, meta.screen, href);
-          }
-        } catch (error) {
-          issue("unresolvable_host", "medium", `Outbound link unreachable: ${href.slice(0, 100)}`, meta.screen, href);
+        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);
       }
-      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);
+      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 {
     const timedOut = Date.now() >= deadline;
-    const stop = timedOut ? "time-budget" : actions >= maxActions ? "action-budget" : "frontier-drained";
+    // 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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aarwitz/tapp",
-  "version": "0.17.5",
+  "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",

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