Useful enough to inspect.
Not accepted.

Outer Core records claim level, assumptions, evidence, nonclaims, failure mode, verification state, and immutable Core decision. It never announces an RH solution.