SPEC-CONFORMANCE-GATE-1 R3 drifted != stale (A35-C)