Namespace canonical binding: one cardinality authority with declared v1 adapter

dag/examples/cost_estimate/cost_estimate.dag

@@ -1,5 +1,9 @@
 module examples.cost_estimate
-
+import std.currency {
+  CurrencyCode,
+  Usd,
+  currency_minor_unit_exponent,
+}
 
 type CostProjection {
   expected_hours: Float

dag/examples/gunbhub_serve_program/gunbhub_serve_program.dag

@@ -1,5 +1,28 @@
 module examples.gunbhub_serve_program
-
+import gunbc.gunbhub_serve {
+  GunbhubServeRequest,
+  GunbhubServeResult,
+  serve_gunbhub_request,
+  serve_gunbhub_page_source,
+  gunbhub_hostile_page,
+  ReactPage,
+  Served,
+  RouteNotFound,
+  RenderRejectedBeforeServe,
+  MethodNotAllowed,
+}
+import extdeps.languages.html {
+  try_serialize_html_source,
+  EmitOk,
+  EmitRejected,
+}
+import std.types { GET }
+import std.process {
+  ProcessExit,
+  ExitSuccess,
+  ExitFailure,
+}
+import extdeps.process.posix_exit { exit_code_general_error }
 
 fn wa_unknown_path_is_not_found() -> Bool {
   match serve_gunbhub_request(

dag/examples/interp_test/interp_example.dag

@@ -1,4 +1,8 @@
 module examples.interp_test
+import v2.std.live_tree {
+  LiveTreeDisposition,
+  SubstrateInputsOnly,
+}
 
 data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly
 

dag/examples/js_site/js_site.dag

@@ -1,5 +1,15 @@
 module examples.js_site
-
+import std.markup {
+  Element,
+  Fragment,
+  FragmentText,
+  attr,
+}
+import std.decl_ref { DeclarationRef }
+import std.disposition {
+  Disposition,
+  Scaffold,
+}
 
 type JsSitePageId = Home | Browse | About
 

dag/examples/js_site/js_site_emit.dag

@@ -1,5 +1,30 @@
 module examples.js_site_emit
-
+import examples.js_site {
+  JsSitePageId,
+  JsSitePage,
+  Home,
+  About,
+  Browse,
+  js_site_pages,
+}
+import extdeps.languages.html {
+  HtmlEmitResult,
+  EmitOk,
+  EmitRejected,
+  try_serialize_html_source,
+}
+import extdeps.languages.react_jsx {
+  JsxEmitResult,
+  JsxOk,
+  JsxRejected,
+  try_serialize_jsx_component,
+}
+import std.process {
+  ProcessExit,
+  ExitSuccess,
+  exit_failure,
+}
+import extdeps.filesystem.filesystem_io { Filesystem }
 
 fn js_site_generated_dir() -> String {
   "dag/examples/js_site/generated"

dag/extdeps/access/aws_iam.dag

@@ -1,5 +1,8 @@
 module extdeps.access.aws_iam
 
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/access/posix.dag

@@ -1,5 +1,8 @@
 module extdeps.access.posix
 
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/access/rbac.dag

@@ -1,5 +1,8 @@
 module extdeps.access.rbac
 
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/access/zanzibar.dag

@@ -1,5 +1,8 @@
 module extdeps.access.zanzibar
 
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/audit/cloudevents.dag

@@ -1,5 +1,8 @@
 module extdeps.audit.cloudevents
 
+import std.types { NonEmptyStr, Timestamp }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc.dag

@@ -1,5 +1,11 @@
 module extdeps.bmc
 
+import extdeps.bmc.types { BmcGroundedHostObservations, BmcTelemetrySnapshot }
+import extdeps.bmc.redfish { bmc_ground_host_observations }
+import std.measure { ByteSize, Watt, HardwareThreadCount }
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/access.dag

@@ -1,5 +1,23 @@
 module extdeps.bmc.access
 
+import extdeps.access.rbac { Permission, PermissionAssignment, RbacPolicy }
+import extdeps.bmc.types {
+  RedfishAccountRole,
+  AccountRoleAdministrator,
+  AccountRoleOperator,
+  AccountRoleReadOnly,
+  redfish_account_role_wire,
+  RedfishPrivilege,
+  PrivilegeLogin,
+  PrivilegeConfigureManager,
+  PrivilegeConfigureUsers,
+  PrivilegeConfigureComponents,
+  PrivilegeConfigureSelf,
+  redfish_privilege_wire,
+}
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/capability.dag

@@ -3,6 +3,8 @@ module extdeps.bmc.capability
 import std.bmc { BmcFirmwareFamily, BmcEndpoint }
 import std.nat { Nat }
 import std.types { Bool, EpochMs, Int, List, NonEmptyStr, String }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/http.dag

@@ -1,5 +1,10 @@
 module extdeps.bmc.http
 
+import std.types { NonEmptyStr, Secret, String }
+import std.disposition { Disposition, Scaffold, RealizationDispatch }
+import std.decl_ref { DeclarationRef, WholeDeclaration }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/ipmi.dag

@@ -1,5 +1,10 @@
 module extdeps.bmc.ipmi
-
+import std.types { NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri {
+  Uri,
+  Https,
+}
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/openbmc.dag

@@ -1,5 +1,10 @@
 module extdeps.bmc.openbmc
 
+import std.bmc { BmcFirmwareFamily, OpenBmc, BmcProtocol, Redfish, Ipmi }
+import std.credentials { FactoryLogin }
+import std.types { List }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/os_install_actuator_toolchain.dag

@@ -1,5 +1,20 @@
 module extdeps.bmc.os_install_actuator_toolchain
-
+import std.types {
+  Bool,
+  List,
+  NonEmptyStr,
+}
+import extdeps.tools { CliTool }
+import extdeps.tools.curl { curl_cli_tool }
+import extdeps.tools.websocat { websocat_cli_tool }
+import extdeps.tools.nbdkit { nbdkit_cli_tool }
+import extdeps.tools.socat { socat_cli_tool }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri {
+  Https,
+  Uri,
+}
+import extdeps.tools.gcloud { gcloud_cli_tool }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/redfish.dag

@@ -1,5 +1,32 @@
 module extdeps.bmc.redfish
 
+import extdeps.bmc.types {
+  BmcGroundedHostObservations,
+  BmcTelemetrySnapshot,
+  RedfishChassisSensorCollection,
+  RedfishMemorySummary,
+  RedfishPowerControl,
+  RedfishPowerSubsystem,
+  RedfishProcessorSummary,
+  RedfishSensorReading,
+  RedfishSystemInventory,
+  RedfishPowerState,
+}
+import std.measure {
+  ByteSize,
+  Watt,
+  HardwareThreadCount,
+  Gibibyte,
+  gibibyte,
+  gibibyte_to_byte_size,
+  byte_size,
+  watt,
+  watt_count,
+  byte_size_count,
+}
+import std.types { Int, List, NonEmptyStr }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/serial_console.dag

@@ -1,5 +1,11 @@
 module extdeps.bmc.serial_console
 
+import std.disposition { Disposition, RealizationDispatch, Scaffold }
+import std.decl_ref { DeclarationRef, WholeDeclaration }
+import std.types { NonEmptyStr, String, Milliseconds }
+import std.measure { ByteSize }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/types.dag

@@ -19,7 +19,9 @@ import std.measure {
   percent_count,
 }
 import std.nat { Nat }
-import std.types { Bool, EpochMs, HttpStatus, Int, List, NonEmptyStr }
+import std.types { Bool, EpochMs, HttpStatus, Int, List, NonEmptyStr, Secret }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/webui/nbd_proxy.dag

@@ -1,5 +1,16 @@
 module extdeps.bmc.webui.nbd_proxy
 
+import std.types { Int, List, Bool, NonEmptyStr }
+import std.measure { ByteSize }
+import std.http_path {
+  PathTemplate,
+  LiteralToken,
+  ParamToken,
+  PathParamBinding,
+  render_path_template,
+}
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/bmc/webui/nbd_proxy_serve.dag

@@ -1,5 +1,25 @@
 module extdeps.bmc.webui.nbd_proxy_serve
 
+import std.disposition { Disposition, RealizationDispatch, Scaffold }
+import std.decl_ref { DeclarationRef, WholeDeclaration }
+
+import std.types { NonEmptyStr, Int, String, List }
+import std.logic { Bool }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.tools.curl { curl_cli_tool }
+import extdeps.tools.websocat { websocat_cli_tool, websocat_install_path }
+import extdeps.tools.nbdkit { nbdkit_cli_tool }
+import extdeps.tools.socat { socat_cli_tool }
+import extdeps.bmc.webui.nbd_proxy {
+  nbd_proxy_role_assignment,
+  NbdServer,
+}
+import extdeps.bmc.virtual_media {
+  VirtualMediaIntent,
+  NbdProxyWebsocatParams,
+  virtual_media_source_iso,
+}
+import extdeps.uri { Uri, Https }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
   uri: Uri {

dag/extdeps/boards/asrock_rack.dag

@@ -1,6 +1,6 @@
 module extdeps.boards.asrock_rack
 
-import extdeps.boards.types { BaseboardCatalogRow }
+import extdeps.boards.types { BaseboardCatalogRow, AsrockRackAltrad8ud1l2t }
 import extdeps.vendor.asrock_rack { asrock_rack }
 import extdeps.bmc.webui.nbd_proxy { BmcwebNbdProxyEndpointVariant, VmSlotIndexEndpoint, NbdSlotEndpoint }
 import extdeps.bmc.types {
@@ -15,7 +15,20 @@ import extdeps.bmc.capability {
   BmcFirmwareSemanticVersion,
   HistoricalEvidenceSnapshot,
   bmc_firmware_semantic_version,
+  BmcCapability,
+  BmcFirmwareCapabilityRow,
+  BmcFirmwareVersion,
+  CapabilityPowerControl,
+  CapabilityBootSourceOverride,
+  CapabilityAccountManagement,
+  CapabilityFirmwareUpdate,
+  CapabilityNbdProxyVirtualMedia,
+  CapabilitySerialConsole,
 }
+import extdeps.external_authority { ExternalAuthority }
+import extdeps.uri { Uri, Https }
+import std.types { NonEmptyStr, List, Bool }
+import std.bmc { OpenBmc }
 import std.measure { celsius, percent, positive_celsius_delta, positive_measure_count }
 
 data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {