Double the assistant dot, and stop the checks measuring it against itself

26 → 52px, 14 → 28px for the sparkle. The audit page draws 26 ("26×26 · không
chữ, không chevron"); doubled at the user's request. Still half the area of the
84×64 button it replaced: 2704 vs 5376px².

Four checks pinned the old number. Three now read the size the design actually
claims rather than a literal — square, at least 24px to hit, and smaller than
what it replaced — and check_design_parity records the deviation in its item
label instead of scoring 52px against a 26px expectation.

The fourth attempt was worse than the literal: I had check_layout_geometry
import _DOT and compare against it, which makes it unfailable — change the
constant and the expectation moves too. check_probes_bite caught that, reporting
that doubling _DOT again left the checker green. It now bounds the range
(24..64, square), which the mutation does break.

24/24 checkers pass; check_multi_screen took the teardown segfault once in three
standalone runs.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
Nam Pham Dinh Thanh
2026-08-18 21:42:19 +09:00
co-authored by Claude Opus 5
parent 7a856aacaf
commit ec2a84f38f
5 changed files with 38 additions and 16 deletions
+9 -3
View File
@@ -53,9 +53,15 @@ def main() -> int:
area_new, area_old = closed.width() * closed.height(), OLD_W * OLD_H
print(f"dien tich : {area_new} vs {area_old}px2 "
f"({100 - round(area_new / area_old * 100)}% nho hon)")
if closed.width() > 30 or closed.height() > 30:
fails.append(f"nut dong van {closed.width()}x{closed.height()}, cho <=30")
# 26px clears the ~24px comfortable-tap floor the old 18px chevron missed.
# The page draws 26px; the user asked for double. Read the size the module
# declares rather than a number written here, so the two cannot drift, and
# keep the two things that actually matter: it is a square chip, and it is
# still far smaller than the button it replaced.
if closed.width() != closed.height():
fails.append(f"nut dong khong vuong: {closed.width()}x{closed.height()}")
if area_new >= area_old:
fails.append(f"khong con nho hon nut cu: {area_new} vs {area_old}px2")
# clears the ~24px comfortable-tap floor the old 18px chevron missed
if min(closed.width(), closed.height()) < 24:
fails.append("vung bam nho hon 24px")