[
 {"assertion_id":"A001","description":"Touch is not crossing","expected":"TOUCHING_TRIM != CROSSES_TRIM"},
 {"assertion_id":"A002","description":"Crossing has negative signed clearance","expected":"signedClearance < 0"},
 {"assertion_id":"A003","description":"Crossing bridge agrees","expected":"outsideDepth = max(0,-signedClearance)"},
 {"assertion_id":"A004","description":"Outside-only remains distinct","expected":"OUTSIDE_ONLY != CROSSES_TRIM"},
 {"assertion_id":"A005","description":"ShortN relation is scale invariant","expected":"relation and signedShortN remain stable under common scale"}
]