Research question
Проверить контракт 7.03 для TOP, RIGHT, BOTTOM и LEFT: положительный clearance означает INSIDE_CLEAR, нулевой — CONTACT, отрицательный — CROSSED.
Dataset and procedure
Прямоугольный canvas 1000×800 и объект 100×80. Для каждой границы использованы offsets: +100, +50, +10, +1, +EPS, 0, -EPS, -1, -10, -50, -100. Всего 44 deterministic cases, seed 24082026.
Actual result
SUPPORTED
44/44 cases passed. Signed values сохранили знак, классификация совпала с ожидаемой, `outsideDepth = max(0, -signedClearance)`, монотонность соблюдена для всех четырёх границ.
{"status":"SUPPORTED","cases":44,"passed":44,"failed":0,"canonical_change_required":"NO"}Canonical impact
CANONICAL_CHANGE_REQUIRED = NO. Проверенный прямоугольный synthetic-контракт 7.03 подтверждён. Canonical-модули не изменялись.
