Keep typed trace contracts source-faithful
General lesson: A typed trace contract should model producer-observed evidence, not every shape that permissive downstream adapters happen to accept. This applies when legacy compatibility, normalization aliases, and semantic enrichment coexist with raw event payloads. Its limit …