Mantis Ring · Latest verified run

REAL RUN · Vultr VX1 sea · 2026-11-03 20:43 UTC

Lumen (sample site)

18 fixed · 0 new · 0 cover-ups · 0 lost

verified = re-measured by Mantis (no LLM) against the original baseline

fixed = issues of the starting point that are gone · new = issues that were not there before · cover-ups = issues that only went away because their element was hidden, removed, shrunk or cut · lost = controls or headings that were visible at the start and are gone

Approved by a human at 2026-11-04 07:58 UTC, with the owner's approval passphrase.

The full step-by-step log of this run, every model call, tool call and check: /t/t_df6d4fade64325f900b7ac5bdf50ea52

Counts (final run against the starting point)

Before and after

Checks

Cover-up gate on · cover-up attempts 0 · tamper attempts 0 · rollbacks 0

Models

Total: 250,425 prompt, 13,553 completion and 9,230 reasoning tokens · $0.05 at list price (Vultr catalogue); billing may differ.

Second opinion

Second opinion · qwen3.8-27b on Vultr Serverless Inference: PASS — Before: the #promo-banner (`.promo`) had a fixed `width: 600px` on a 360px viewport, causing it to overflow 240px past the right edge. The BEFORE image shows the banner text 'See plans' being cut off at the right edge and the 'Start' button partially hidden. After: the CSS was changed to `width: 10…. Mantis's measurement decides.

The model's summary

In its own words, not measured:

All 14 errors and 4 warnings are fixed (18 issues), with 0 new issues and no cover-ups reported.

What I changed:
- **Promo banner overflow**: `.promo` no longer a fixed `600px` width; now `width: 100%; max-width: 600px`, so it fits mobile without horizontal scroll.
- **Header overlap (menu-toggle vs header CTA)**: removed the absolute positioning of the menu toggle on small screens; the header row now wraps in normal flow instead of stacking controls on top of each other.
- **Popular badge over the Pro CTA**: removed the mobile rule that re-centered the badge over the button, so it stays above the plan card rather than covering the CTA text.
- **Hero note contrast**: `#aaa` replaced with the theme's `--muted` token (works in light and dark).
- **Broken team photo**: `src="/img/team.jpg"` (404) changed to the existing `/img/team.svg`.
- **Business plan dark-mode theme leak / contrast**: hard-coded `background: #fff` replaced with `var(--surface)`, so text tokens resolve correctly in dark mode.
- **Nav links clipped (vi/desktop)**: dropped the fixed `max-width: 420px`, `overflow: hidden` and `white-space: nowrap`; links now wrap with flexible gaps.
- **Newsletter submit clipped (vi)**: button no longer a fixed narrow width with hidden overflow; it takes `min-width` and can grow/wrap, and the input/button go full width on small screens.
- **Settings console error**: `settings.js` queried `#save-btn`, which doesn't exist; it now uses `#save-settings` and guards for a missing ele

Time

1 min 57 s in total · sandbox 0.1 s · clone 0.2 s · serve 0.2 s · baseline 10.7 s · model 1 min 17 s · tools 2.4 s · checks 19.4 s · verify 0.2 s · proof 1.8 s · copyOut 0.4 s · destroy 0.1 s · vision 4.3 s

Containment

Files

patch.txt · receipt.json · containment.txt