How does Kantianism distinguish analytic judgments from synthetic judgments?

In Kantian philosophy, the distinction between analytic and synthetic judgments is based on the relationship between the subject and the predicate within a statement.1

• Analytic Judgments: These are statements in which the predicate is already contained within the essence or concept of the subject. Because the predicate is implicit in the meaning of the subject, these judgments are explicative and can be known independently of experience (a priori). A classic example is "all bachelors are unmarried," where the concept of being unmarried is already part of the definition of a bachelor.23456

• Synthetic Judgments: These are statements in which the predicate adds something new to the subject that is not contained in its definition. Because the predicate provides information beyond what is analytically implicit in the subject, these judgments are ampliative. For example, the statement "all bodies are heavy" is synthetic because the concept of weight is not contained within the definition of a body, but rather describes a property discovered through the relation of bodies to one another.25

Kant’s primary philosophical project was to explain how "synthetic a priori" judgments—statements that are both informative and necessarily true—are possible.456