S3: descent on the sourced quotient

3: descent on the sourced quotient On a named solution quotient from S1, or another independently justified sourced quotient, construct the complete functional or prove a new obstruction. A dressing formula or one forced response does not establish S3.