Отличить предоставленный по умолчанию конструктор args от объявленного

Просто нет способа обнаружить это, так как нет разницы в скомпилированном байт-коде.

Класс с конструктором по умолчанию

class AClass { } // will have a default no args constructor 

неявно компилируется как

class AClass { 
    AClass() {}
}

Первая форма - просто синтаксический сахар.

Также ваш следующий пример

class AClass {
    private final int i;

    public AClass() { i = 0; }
}

Может быть записан с конструктором по умолчанию в эквивалентной форме

class AClass {
    private final int i = 0;
}

Кроме того, я не вижу варианта использования, когда вам придется обнаружить это.