Compatibility exports for principal Koszul support over the base ring from the shared algebraic-analysis library.