Review (Tyre) caught a determinism hole: corp-HQ→city matching iterated a Python set (sys_body_ids), so on a name collision across bodies in the same system, which row received corp_id depended on set order — nondeterministic output landing in the committed DB (violates D-010 #4). Iterate sorted(). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>