[
 {"assertion_id":"A001","description":"Positive signed clearance maps to INSIDE_CLEAR","expected":"c > 0"},
 {"assertion_id":"A002","description":"Zero signed clearance maps to CONTACT","expected":"c = 0"},
 {"assertion_id":"A003","description":"Negative signed clearance maps to CROSSED","expected":"c < 0"},
 {"assertion_id":"A004","description":"outsideDepth equals max(0,-signedClearance)","expected":"outsideDepth >= 0"},
 {"assertion_id":"A005","description":"Clearance is monotonic across the approach path","expected":"ordered offsets produce ordered signed values"}
]