Select every applicable branch before editing:
- Runtime behavior: Read runtime.md.
- Type contracts: Read types.md.
Some changes may require both branches. The task is complete when every changed runtime behavior and type contract has focused coverage, targeted tests pass, and applicable root checks pass or are reported as not runnable.