WEB-240 · Дефект · factcheck · web
[R4] Ложный «спростовано» компаратора (7 классов) + fail-open receipt-контракт
Закрыт
P0 · горит
ведёт: backup-opus
Суть
GPT Pro R3 = NO-GO (3 гейта R3 PASS_CODE, но): компаратор даёт contradicts/0.96 на ЭКВИВАЛЕНТНЫХ величинах (66 мільйонів vs 66 000 000 — множители/группировка), на разных субъектах (компания выпустила vs музей купил), разных метриках (выручка vs расходы), неравенствах (exceeded $100m vs $150m = подтверждение!), диапазонах ($100-200m vs $150m), отрицаниях (was NOT $100m vs was $100m), разных измеряемых сущностях (длина моста vs расстояние до аэропорта). Плюс malformed receipt нормализуется в trusted+proofAvailable (fail-open). ВАЖНО: ревьюер получил ПРОТУХШИЙ bundle (наша ошибка упаковки — воркер обновил патч в 22:20 ПОСЛЕ снятия v1 в 21:14); поздняя v2 (claimValidator+joinGroupedThousands+subjectAnchors) уже в BZ и может закрывать часть классов. Воркер o240 (база BZ): триаж харнессом ревьюера → чинить остаток по PATCH-GUIDANCE-R4 → R4-пакет. Разбор ревьюера: ~/Downloads/web98-r3-independent-review-20260805 (sha zip 10809f8c).
Починено в
v4-16cd4ae
Воркер
не привязан — привязать:
curl -X POST https://bugs.wool2.online/api/web/assign -H 'content-type: application/json' \
-d '{"issueId":"WEB-240","session":"<имя tmux-сессии>","host":"m4"}'
Обновлён
2026-08-06T15:00:17.448Z