Verified under a named protocol.
Still not external acceptance.

Inner Core requires deterministic verification and a bounded semantic decision. It does not establish peer review, novelty, a Clay-prize result, or a solution to RH.