The Verdict Restriction: One Separation Schema, the Fibered Kernel of Every Role, a Hostile Audit with Its Repairs, and the Role-Wise Record Obligations the Surviving Theorem Licenses

Abstract This paper consolidates four planned frontier notes into a single certification theorem together with a hostile self-audit. A separation schema is formulated over declared fragments, fibers, scopes, and equivalence indices, distinguishing specification-level independence from verdict-inclusive independence. The resulting restriction theorem is stated in indexed, fiber-relative form after internal counterexamples demonstrate that unfibered and unindexed formulations are false. The paper develops four certification instances for tolerance, accumulated budget, conflict resolution, and verification, each over explicitly declared fibers and accompanied by finite presentation-adequacy arguments. A hostile audit then targets the theorem and its downstream record consequences. Two genuine counterexamples are identified and repaired through explicit indexing and scope discipline. A second audit shows that coordinatewise inertness does not compose, proves joint sufficiency under explicit hypotheses, and narrows the record corollary accordingly. Throughout, theorem load, definitional load, inherited results, derived consequences, conjectures, and open questions are explicitly separated. The principal result is a certified finite-fragment criterion relating verdict-inclusive role independence to non-constant fibered kernels under declared indices. The paper does not claim broader forms of dependency elimination, absolute minimality, or floor removability, all of which remain explicitly open.