8000
miros 4.3.0 Typed release: ships py.typed and passes pyright strict (0 errors). Public API fully annotated. No runtime/behavioural changes.