docs: @Ensures("result == isQualifiedName(name.replace('/', '.'))")
    public static boolean isBinaryName(String name) {
      if (name == null || name.isEmpty()) {
        return false;
      }
      String[] parts = name.split("/");
      for (String part : parts) {
        if (!isSimpleName(part)) {
          return false;
        }
      }
      return true;
    }