namespace wave 1: containment-tree resolution — layered census + name-derived loader (salvage)

dag/examples/cost_estimate/cost_estimate.dag

@@ -1,8 +1,5 @@
 module examples.cost_estimate
 
-import std.float { Float }
-import std.logic { Bool }
-import std.currency { CurrencyCode, Eur, Usd, currency_minor_unit_exponent }
 
 type CostProjection {
   expected_hours: Float

dag/examples/gunbhub_serve_program/gunbhub_serve_program.dag

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

dag/examples/html_markup_smoke/html_markup_smoke.dag

@@ -1,19 +1,5 @@
 module examples.html_markup_smoke
 
-import std.process { ProcessExit, ExitSuccess, ExitFailure, exit_code_general_error }
-import std.markup {
-  MarkupAttr,
-  MarkupNode,
-  ElementNode,
-  TextNode,
-  escape_text,
-}
-import extdeps.languages.html {
-  try_serialize_html_source,
-  HtmlEmitResult,
-  EmitOk,
-  EmitRejected,
-}
 
 data tiny: MarkupNode = ElementNode {
   tag: "p",

dag/examples/interp_test/interp_test.dag

@@ -1,5 +1,4 @@
 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,14 +1,5 @@
 module examples.js_site
 
-import std.markup {
-  MarkupNode,
-  MarkupAttr,
-  ElementNode,
-  TextNode,
-}
-import extdeps.communication.medium { Medium, Lossy }
-import std.disposition { Disposition, Scaffold, SubstrateMandatoryTag }
-import std.decl_ref { DeclarationRef, WholeDeclaration }
 
 type JsSitePageId = Home | Browse | About
 
@@ -180,7 +171,7 @@ fn js_site_interactivity_exhaustion_exemplar() -> MarkupNode {
   }
 }
 
-data js_site_markup_to_jsx_interactivity_medium: Medium<MarkupNode> = Medium {
+data js_site_markup_to_jsx_interactivity_medium: Medium<MarkupNode> = extdeps.communication.medium.Medium {
   carried: js_site_interactivity_exhaustion_exemplar(),
   fidelity: Lossy
 }

dag/examples/js_site/js_site_emit.dag

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

dag/extdeps/render/terminal.dag

@@ -65,7 +65,7 @@ fn constrain_line(line: Line, max_width: Int, tier: Tier) -> Line? {
   }
 }
 
-fn constrain_frame(frame: Frame, viewport: Viewport, tier: Tier) -> Frame? {
+fn constrain_frame(frame: std.render.Frame, viewport: Viewport, tier: Tier) -> std.render.Frame? {
   let result = fold(frame.lines,
     init: Present { value: [] },
     f: (acc, line) => match acc {
@@ -83,7 +83,7 @@ fn constrain_frame(frame: Frame, viewport: Viewport, tier: Tier) -> Frame? {
   }
 }
 
-fn project_frame(frame: Frame, viewport: Viewport, cap: RenderCapability) -> Frame? {
+fn project_frame(frame: std.render.Frame, viewport: Viewport, cap: RenderCapability) -> std.render.Frame? {
   match constrain_frame(frame: frame, viewport: viewport, tier: cap.tier) {
     Present { value: f } => Present { value: Frame { lines: f.lines, cursor_action: cursor_action_under(requested: f.cursor_action, cap: cap) } }
     Absent => none
@@ -121,7 +121,7 @@ fn serialize_line(line: Line, cap: RenderCapability) -> String {
   concat(pad, body)
 }
 
-fn serialize_frame(frame: Frame, cap: RenderCapability) -> String {
+fn serialize_frame(frame: std.render.Frame, cap: RenderCapability) -> String {
   let rendered = map(frame.lines, line => serialize_line(line: line, cap: cap))
   join(rendered, "\n")
 }

dag/gunbc/accelerator_demo_eval.dag

@@ -1,15 +1,5 @@
 module gunbc.accelerator_demo_eval
 
-import std.types { Int, List }
-import std.realization_width { int_max }
-import gunbc.accelerator_demo_program {
-  AcceleratorDemoProgram,
-  PureElementwiseMap,
-  EffectfulElementwiseMap,
-  DataDependentGatherMap,
-  ElementwiseArrayOp,
-  pure_elementwise_ops_shape_recognizable,
-}
 
 fn int_relu(x: Int) -> Int {
   int_max(a: 0, b: x)

dag/gunbc/accelerator_demo_float_eval.dag

@@ -1,14 +1,5 @@
 module gunbc.accelerator_demo_float_eval
 
-import std.types { Float, List }
-import gunbc.accelerator_demo_program {
-  AcceleratorDemoProgram,
-  PureElementwiseMap,
-  EffectfulElementwiseMap,
-  DataDependentGatherMap,
-  ElementwiseArrayOp,
-  pure_elementwise_ops_shape_recognizable,
-}
 
 fn float_relu(x: Float) -> Float {
   if x > 0.0 {
@@ -18,7 +9,7 @@ fn float_relu(x: Float) -> Float {
   }
 }
 
-fn eval_relu_mul_add_elem_at_index(ai: Float, bi: Float, ci: Float) -> Float {
+fn eval_float_relu_mul_add_elem_at_index(ai: Float, bi: Float, ci: Float) -> Float {
   float_relu(x: ai * bi + ci)
 }
 
@@ -48,7 +39,7 @@ fn eval_float_pure_map_at_indices(
                   c: c.skip(n: 1),
                   acc: concat(
                     acc,
-                    [eval_relu_mul_add_elem_at_index(ai: ai, bi: bi, ci: ci)]
+                    [eval_float_relu_mul_add_elem_at_index(ai: ai, bi: bi, ci: ci)]
                   )
                 )
             }

dag/gunbc/accelerator_demo_gpu.dag

@@ -1,29 +1,5 @@
 module gunbc.accelerator_demo_gpu
 
-import std.types { String, Bool, Int, NonEmptyStr }
-import extdeps.communication.medium { DecodeFidelity, Lossless, Lossy }
-import std.numerical_contract {
-  NumericalContract,
-  IntegerExact,
-  FloatApproximate,
-  FmaContractionPermitted,
-  FmaContractionRefused,
-  integer_exact_contract,
-  float_contract,
-}
-import std.approximate_field { ToNearestEven }
-import extdeps.gpu.types {
-  GpuModelCatalogRow,
-  GpuComputeCapability,
-}
-import extdeps.gpu.apple { apple_m5_gpu_catalog }
-import extdeps.gpu.nvidia { nvidia_rtx_5090_catalog }
-import extdeps.languages.gpu.wgsl.kernel {
-  wgsl_kernel_target_medium_name,
-  wgsl_relu_mul_add_int_kernel_source,
-  wgsl_relu_mul_add_float_kernel_source,
-}
-import std.measure { hardware_thread_count_value, bandwidth_count }
 
 fn wgsl_device_precision_fidelity(contract: NumericalContract) -> DecodeFidelity {
   match contract {
@@ -116,7 +92,7 @@ fn render_device_sketch(device: GpuModelCatalogRow) -> String {
             device.microarchitecture,
             concat(
               ", lanes=",
-              concat(to_string(hardware_thread_count_value(t: device.execution_lane_count)), "]")
+              concat(to_string(std.measure.hardware_thread_count_value(t: device.execution_lane_count)), "]")
             )
           )
         )
@@ -155,45 +131,45 @@ fn render_gpu_triptych_text(view: GpuDemoTriptychView) -> String {
 }
 
 fn witness_m5_gpu_execution_lane_count_grounded() -> Bool {
-  hardware_thread_count_value(t: apple_m5_gpu_catalog.execution_lane_count) == 10
+  std.measure.hardware_thread_count_value(t: extdeps.gpu.apple.apple_m5_gpu_catalog.execution_lane_count) == 10
 }
 
 fn witness_rtx5090_execution_lane_count_grounded() -> Bool {
-  hardware_thread_count_value(t: nvidia_rtx_5090_catalog.execution_lane_count) == 21760
+  std.measure.hardware_thread_count_value(t: extdeps.gpu.nvidia.nvidia_rtx_5090_catalog.execution_lane_count) == 21760
 }
 
 fn witness_rtx5090_memory_bandwidth_grounded() -> Bool {
-  bandwidth_count(b: nvidia_rtx_5090_catalog.memory_bandwidth) == 1792000000000
+  std.measure.bandwidth_count(b: extdeps.gpu.nvidia.nvidia_rtx_5090_catalog.memory_bandwidth) == 1792000000000
 }
 
 fn witness_m5_memory_bandwidth_grounded() -> Bool {
-  bandwidth_count(b: apple_m5_gpu_catalog.memory_bandwidth) == 153000000000
+  std.measure.bandwidth_count(b: extdeps.gpu.apple.apple_m5_gpu_catalog.memory_bandwidth) == 153000000000
 }
 
 fn witness_rtx5090_compute_capability_grounded() -> Bool {
-  match nvidia_rtx_5090_catalog.compute_capability {
+  match extdeps.gpu.nvidia.nvidia_rtx_5090_catalog.compute_capability {
     Present { value: cap } => cap.major == 12 && cap.minor == 0
     Absent => false
   }
 }
 
 fn witness_m5_has_no_compute_capability() -> Bool {
-  match apple_m5_gpu_catalog.compute_capability {
+  match extdeps.gpu.apple.apple_m5_gpu_catalog.compute_capability {
     Present { value: _ } => false
     Absent => true
   }
 }
 
 fn witness_integer_path_is_lossless() -> Bool {
-  match wgsl_device_precision_fidelity(contract: integer_exact_contract()) {
+  match wgsl_device_precision_fidelity(contract: std.numerical_contract.integer_exact_contract()) {
     Lossless => true
     Lossy => false
   }
 }
 
 fn witness_float_path_is_lossy_even_when_fma_refused() -> Bool {
   match wgsl_device_precision_fidelity(
-    contract: float_contract(rounding: ToNearestEven, fma: FmaContractionRefused)
+    contract: std.numerical_contract.float_contract(rounding: ToNearestEven, fma: FmaContractionRefused)
   ) {
     Lossless => false
     Lossy => true
@@ -202,8 +178,8 @@ fn witness_float_path_is_lossy_even_when_fma_refused() -> Bool {
 
 fn witness_gpu_receipt_status_is_dormant() -> Bool {
   let receipt = gpu_fidelity_receipt(
-    device: nvidia_rtx_5090_catalog,
-    contract: integer_exact_contract()
+    device: extdeps.gpu.nvidia.nvidia_rtx_5090_catalog,
+    contract: std.numerical_contract.integer_exact_contract()
   )
   match receipt.status {
     DormantAwaitingOperator => receipt.target_medium == "wgsl-compute-relu-mul-add"
@@ -213,8 +189,8 @@ fn witness_gpu_receipt_status_is_dormant() -> Bool {
 fn witness_gpu_triptych_contains_three_panels() -> Bool {
   let text = render_gpu_triptych_text(
     view: project_gpu_triptych_view(
-      device: nvidia_rtx_5090_catalog,
-      contract: integer_exact_contract()
+      device: extdeps.gpu.nvidia.nvidia_rtx_5090_catalog,
+      contract: std.numerical_contract.integer_exact_contract()
     )
   )
   string_contains(s: text, pattern: "[LEFT: GPU device]")