Companion A: Effective Lagrangian Derivation — From 5D Junction Dynamics to Sₑffq | Synapse