It is. Redundancy doesn't necessitate the redundant option being identical to the first.
Yes. In fact, in a redundant system, using different designs or technology is often an advantage, so that a failure mode that affects one system is unlikely to affect the other.
But if something is redundant, it is “able to be omitted without loss of function”. Front and back brakes on a bike are not there for redundancy. They are components of the same braking system: without both in service, they don't work as well.
Or to put it another way, the front brake isn’t there as a spare in case the back brake fails. It’s there because without brakes on both wheels, you can’t stop quickly in an emergency.
Bikes are very different from cars due to the short wheelbase vs high center of gravity.
At moderate or fast speeds maxim deceleration occurs when the front tire applies enough force to lift the rear tires off the pavement thus removing the impact of the rear tires. Below maximum acceleration you could use the rear break but it doesn't do anything applying the front break slightly harder would do.
At sufficiently low speeds the rear tire can help, but it's really there for redundancy as even acting alone it doesn't work very well.
So sure there’s a minimal benefit in some very specific conditions, but no they are there for redundancy.
The law literally says mechanically redundant, as in failure of one cannot affect the other.
It's illegal to have a single hydraulic system controlling both.
And the dude went to prison because he hit and killed a grandma while riding with reckless disregard for the safety of pedestrians. The brake thing didn’t help, but it was a side story.