[
 {"assertion_id":"A001","description":"Only ACTIVE overlays contribute","expected":"inactive overlays absent from active union"},
 {"assertion_id":"A002","description":"UNKNOWN follows explicit policy","expected":"IGNORE and CONSERVATIVE are distinct"},
 {"assertion_id":"A003","description":"Overlay order is irrelevant","expected":"union(orderA) = union(orderB)"},
 {"assertion_id":"A004","description":"Disconnected and empty regions remain representable","expected":"region count is not collapsed to zero by default"},
 {"assertion_id":"A005","description":"Recompute is diagnostic, not mutation","expected":"mutationAllowed = false"}
]