GFCI+ is the difference signal in the event of a short circuit.
Assuming that the maximum value of the sinusoidal voltage, at the input to the system, indicated with GFCI+, is 125mV and given that the U3A has a negative feedback, during the negative half-wave of the input, the output voltage of U3A is positive. Initially, considering C3 at zero voltage, the diode is in conduction and can be considered as a closed switch, meaning that the operational amplifier, in the half-period, is in the configuration of an inverting integrator, so in this half-period, the output of the OpAmp U3A is proportional to the integral of the input signal. This happens in the interval T/2-T where T is the period of the input signal. For t=T, the input half-wave inverts becoming positive, and the output of the OpAmp U3A is negative so as to reversely bias the diode D5 while C3 has charged to the value vo(T) discharging through R15 and the input resistance of the second OpAmp U3B. In the following half-cycle of the input signal, the diode D5 will start conduction as soon as the voltage across its terminals is positive, this voltage is given by the difference between the voltage at the output of the operational U3A and the voltage across C3. The voltage across C3 is placed at the non-inverting input of the second OpAmp U3B, which is in comparator configuration, i.e. it compares the non-inverting input voltage with the voltage Vcc/2 at its inverting input. As soon as this voltage is higher than Vcc/2 the comparator switches and goes into saturation. As soon as the input voltage of U3B becomes less than Vcc/2, the output of U3B switches to zero. ultimately at the output of U3B, on load R66 after D6, there is a train of PWM pulses.