IV.D248 — Ontic Minimality

The coherence kernel K is ontically minimal if it satisfies sufficiency (every physical structure is derivable from K as a readout of H_partial[omega]) and necessity (no proper subset of K is sufficient -- removing any axiom or generator makes at least one readout underivable).