Use the non-mutable Specification for BoardBuilderSpec.