I.D77 — Meta-Logical Substrate

The meta-logical substrate: the collection of CIC structural rules, type-formation principles, and axioms provided by the proof assistant that are not derived from K0-K6. Classifies contraction, weakening, and exchange by their object-level status under K5.