Return whether a managed scalar has the declared type for its path.
Unknown and structured paths retain the deep-merger's existing behavior; their dedicated readers own validation. Manifest-backed scalar leaves are validated before they displace a lower-precedence value.