Bounded Admissibility Selection: A Schema and Audit Checklist Under Declared Predicates

Formal-methodology note (not a new logic). AI-assistance disclosure: LLM assistance was used for drafting/editing and literature search; theorem content is standard first-order logic and the derivations are the author's own. No AI system is an author. Version note: New version. Formerly BEL: this is a revision in the same concept record previously titled Bounded Elimination Logic (BEL): A Formalization of the Survivor Funnel. The current title is Bounded Admissibility Selection: A Schema and Audit Checklist Under Declared Predicates; the earlier deposited title is retained on its historical versions. Two-collision terminology disclosure (Dung admissibility; Lorenzen admissible rules) is in-text.