Gauge redundancy-free formulation of compact QED with dynamical matter for quantum and classical computations | Synapse