Pre-existing ty diagnostic surfaced during #106 review.
ty check tests/golden/harness.py reports a diagnostic at harness.py:57 (Event.from_json): Literal["tx","rx"] vs str for direction. Narrow direction after the in ("tx","rx") membership check so the assignment type-checks without the implicit widening. Independent of #106 (exists on phase1, untouched there).
Pre-existing
tydiagnostic surfaced during #106 review.ty check tests/golden/harness.pyreports a diagnostic atharness.py:57(Event.from_json):Literal["tx","rx"]vsstrfordirection. Narrowdirectionafter thein ("tx","rx")membership check so the assignment type-checks without the implicit widening. Independent of #106 (exists on phase1, untouched there).