Expected semantics live in tests/goldens/manual-behavior.json. They are authored from the manual before code. Tests refer to golden IDs and exact manual section ...