Inserts a new policy-level audit assignment override record into PA_ASSIGN_OVERRIDE, specifying the default auditor and the do-not-assign auditor for a given policy number. Enforces BR-EU-03 (the two auditor IDs must differ) before this insert is reached.*
Note: Statements marked with * were inferred from code structure, naming conventions, or contextual evidence where direct confirmation was not available in source artifacts. Statements marked with ** could not be confirmed; treat as unknown until verified.