Legitimate Evolution ships as a named conjunction, not a theorem

Agent-decided, under AGENTS.md §6. The two halves have disjoint premises, disjoint carriers and disjoint proofs; sharing the acceptance predicate yields one corollary and nothing more. Calling the pair a single theorem would name a conjunction after its more impressive half, and calling it a semantic definition would hide that all four premises are structural. The round's own §5 argues the case and its verdict says the packaging is thin.