Inflation without gauge redundancy

In the context of gauge theories, observable quantities, if properly defined and computed, do not depend on the gauge-fixing procedure. In this paper, we develop a formalism that implements this (apparent) tautology in the case of inflation. As a simple application, we discuss Coleman-Weinberg “hilltop” inflation.