Dissolve std.baseboard's minted BaseboardManufacturer onto Vendor<Domain>

dag/extdeps/boards/asrock_rack.dag

@@ -1,5 +1,8 @@
 module extdeps.boards.asrock_rack
 
+import extdeps.boards.types { BaseboardCatalogRow }
+import extdeps.vendor.asrock_rack { asrock_rack }
+import extdeps.bmc.webui.nbd_proxy { BmcwebNbdProxyEndpointVariant, VmSlotIndexEndpoint, NbdSlotEndpoint }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {
@@ -32,6 +35,7 @@ data asrock_altrad8ud_srv3_nbd_proxy_ws_dry_run_authority: ExternalAuthority = E
 data asrock_altrad8ud_1l2t_catalog: BaseboardCatalogRow = BaseboardCatalogRow {
   model: AsrockRackAltrad8ud1l2t,
   model_label: "ASRock Rack ALTRAD8UD-1L2T",
+  vendor: asrock_rack,
   bmc_firmware: OpenBmc,
 }
 

dag/extdeps/boards/types.dag

@@ -0,0 +1,30 @@
+module extdeps.boards.types
+
+import std.types { NonEmptyStr }
+import std.bmc { BmcFirmwareFamily, BmcEndpoint }
+import extdeps.vendor { Vendor }
+import extdeps.hardware { Hardware }
+
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
+
+data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
+  uri: Uri {
+    scheme: Https
+    locator: "en.wikipedia.org/wiki/Motherboard"
+  }
+}
+
+type BaseboardModel = | AsrockRackAltrad8ud1l2t
+
+type BaseboardCatalogRow {
+  model: BaseboardModel
+  model_label: NonEmptyStr
+  vendor: Vendor<Hardware>
+  bmc_firmware: BmcFirmwareFamily
+}
+
+type ServerBaseboard {
+  catalog: BaseboardCatalogRow
+  bmc: BmcEndpoint
+}

dag/extdeps/vendor/asrock_rack.dag

@@ -0,0 +1,16 @@
+module extdeps.vendor.asrock_rack
+
+import extdeps.vendor { Vendor }
+import extdeps.hardware { Hardware }
+
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
+
+data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
+  uri: Uri {
+    scheme: Https
+    locator: "www.asrockrack.com"
+  }
+}
+
+data asrock_rack: Vendor<Hardware> = Vendor { legal_name: "ASRock Rack Incorporation" }

dag/gunbc/fleet_intent.dag

@@ -24,7 +24,7 @@ import product.network_topology { NetworkLocality, NetworkInterface, NetworkAddr
 import product.placement_supply { HostIdentity }
 import std.disposition { Disposition, Scaffold, SingleAuthority }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
-import std.baseboard { ServerBaseboard }
+import extdeps.boards.types { ServerBaseboard }
 import std.bmc { BmcEndpoint, Redfish }
 import std.credentials { CredentialFlow, Stored }
 import std.measure { hertz, ByteSize, byte_size, byte_size_count, Bandwidth, HardwareThreadCount, hardware_thread_count_value, Nano, measure_count }

dag/test/claim/bmc_factory_credential_witness_test.dag

@@ -14,18 +14,12 @@ fn protocol_count(ps: List<BmcProtocol>) -> Int {
   fold(ps, init: 0, f: (acc, p) => acc + 1)
 }
 
-fn manufacturer_matches(m: BaseboardManufacturer) -> Bool {
-  match m {
-    AsrockRack => true
-  }
-}
-
 test fn bmc_factory_credential_holds() -> Bool {
 
   new_server_factory_login.username == "root"
     && new_server_factory_login.published_password == "0penBmc"
 
-    && manufacturer_matches(baseboard_manufacturer(model: new_server_baseboard.catalog.model))
+    && new_server_baseboard.catalog.vendor == extdeps.vendor.asrock_rack.asrock_rack
 
     && protocol_count(ps: bmc_firmware_supported_protocols(family: OpenBmc)) == 2
 }