CheckboxComponent
Boolean form primitive with persistent local state — the one form primitive whose {@see AbstractFieldComponent::valueKey()} is `checked` (a bool) rather than `value` (a string).
CheckboxComponent::contract()
public static function contract(): Milpa\Live\ValueObjects\ComponentContractThis field's runtime contract (`checked` state, four field actions).