COMPO LAB · LAB-003 · VERSION 1.0

Touch
vs
Crossing.

Согласуются ли TrimRelation из 7.02 и signed clearance из 7.03 на boundary cases?

STATUS: SUPPORTED72 CASES4 EDGES3 SCALES0 FAILURES

Research question

Проверить, что касание trim не считается crossing, что crossing имеет отрицательный signed clearance, а `outsideDepth` согласуется с 7.03 для crossing cases.

Dataset

Синтетический прямоугольный объект на четырёх границах, состояния INSIDE_ONLY, TOUCHING_TRIM, CROSSES_EPS, CROSSES_1, CROSSES_10 и OUTSIDE_ONLY. Проверены common scales 0.5, 1 и 2. Всего 72 deterministic cases, seed 24082026.

Actual result

SUPPORTED

72/72 cases passed. TOUCHING_TRIM и CROSSES_TRIM различаются. Для crossing cases подтверждено `outsideDepth = max(0, -signedClearance)`. OUTSIDE_ONLY сохранён отдельным состоянием.

{"status":"SUPPORTED","cases":72,"passed":72,"failed":0,"canonical_change_required":"NO"}

Canonical impact

CANONICAL_CHANGE_REQUIRED = NO. Canonical-модули 7.02 и 7.03 не изменялись.

Reproducibility and artifacts

LAB_SPEC.jsonassertions.jsonoutput/summary.jsonoutput/raw_results.csvoutput/raw_results.jsonrun_lab_003.ps1Related canonical module: Compo 7.02Related canonical module: Compo 7.03
VISITS / ...