gunbai-bot · Jul 14, 2026 · Jul 14, 2026 · Jul 14, 2026 · Jul 14, 2026 · Jul 14, 2026
diff --git a/dag/ctrl/code_change_workflow.dag b/dag/ctrl/code_change_workflow.dag
@@ -1,10 +1,5 @@
 module ctrl.code_change_workflow
 
-import ctrl.process_algebra { ProcessNodeId }
-import ctrl.pr_digests { MergeReadinessVerdict, Ready, NotReady }
-import ctrl.review_verdict { MergeReadinessTally }
-import extdeps.github.pulls { PullRequest, Open, Closed }
-import std.types { CommitSha, NonEmptyStr, Timestamp }
 
 type CodeChangeActiveStage
   = ChangeOpen

diff --git a/dag/ctrl/pr_digests.dag b/dag/ctrl/pr_digests.dag
@@ -1,8 +1,5 @@
 module ctrl.pr_digests
 
-import extdeps.github.pulls { PullRequest, PullReview, ReviewComment }
-import extdeps.github.errors { GitHubErrorShape }
-import std.types { NonEmptyStr }
 
 type MergeReadinessVerdict
   = Ready

diff --git a/dag/ctrl/process_algebra.dag b/dag/ctrl/process_algebra.dag
@@ -1,8 +1,5 @@
 module ctrl.process_algebra
 
-import std.algebra { FreeMonoid }
-import std.effects { OperationEffect }
-import std.types { Map, NonEmptyStr, Timestamp }
 
 type ProcessNodeId = NonEmptyStr where brand("ProcessNodeId")
 type ProcessSessionId = NonEmptyStr where brand("ProcessSessionId")

diff --git a/dag/ctrl/review_verdict.dag b/dag/ctrl/review_verdict.dag
@@ -1,7 +1,5 @@
 module ctrl.review_verdict
 
-import std.types { ArtifactId, CommitSha, ContentHash, NonEmptyStr, Timestamp }
-import extdeps.github.pulls { ReviewState }
 
 type LlmReviewProvider
   = OpenaiPro

diff --git a/dag/examples/cost_estimate/cost_estimate.dag b/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

diff --git a/dag/examples/gunbhub_serve_program/gunbhub_serve_program.dag b/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(

diff --git a/dag/examples/html_markup_smoke/html_markup_smoke.dag b/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",

diff --git a/dag/examples/interp_test/interp_test.dag b/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
 

diff --git a/dag/examples/js_site/js_site.dag b/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
 

diff --git a/dag/examples/js_site/js_site_emit.dag b/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"

diff --git a/dag/product/budget_tree.dag b/dag/product/budget_tree.dag
@@ -1,12 +1,5 @@
 module product.budget_tree
 
-import std.measure { ByteSize, byte_size, measure_add, measure_le, Memory, One }
-import extdeps.accounting.budget {
-  Appropriation, LineItem, BudgetBalance, Surplus, Balanced, Deficit,
-  line_items_total, within_appropriation, budget_balance,
-  BudgetingMethod, ZeroBased,
-  AdmissionState, admit_all
-}
 
 type BudgetPriority = Guaranteed | Burstable | BestEffort
 

diff --git a/dag/product/compute_fabric.dag b/dag/product/compute_fabric.dag
@@ -1,7 +1,5 @@
 module product.compute_fabric
 
-import std.types { NonEmptyStr, Bool, List }
-import std.measure { HardwareThreadCount, hardware_thread_count, hardware_thread_count_value, measure_le }
 
 type Fabric = NonEmptyStr where brand("Fabric")
 

diff --git a/dag/product/hardware_selection.dag b/dag/product/hardware_selection.dag
@@ -1,37 +1,5 @@
 module product.hardware_selection
 
-import std.types { Int, NonEmptyStr, Bool, List }
-import std.nat { Nat }
-import std.measure {
-  Measure,
-  Power,
-  Milli,
-  measure_count,
-  ByteSize,
-  byte_size,
-  byte_size_count,
-  bit_width_count,
-  bits_per_byte,
-  Watt,
-  watt,
-  watt_count,
-  Bandwidth,
-  MoneyAmountMicro,
-  money_amount_micro,
-  money_amount_micro_count,
-}
-import extdeps.cpu.types { CpuModelCatalogRow, CpuSocket }
-import extdeps.memory.types { DramModuleCatalogRow, dram_chips_per_rank, dram_module_is_realizable, dram_data_word_width, JedecDdrGenerationCatalogRow }
-import std.pareto {
-  AxisComparison,
-  DominanceVerdict,
-  HigherIsBetter,
-  LowerIsBetter,
-  axis_comparison_int,
-  dominance_of_comparisons,
-  verdict_dominates,
-  on_pareto_front
-}
 
 type Milliwatt = Measure<Power, Milli, Nat>
 

diff --git a/dag/product/network_topology.dag b/dag/product/network_topology.dag
@@ -1,8 +1,5 @@
 module product.network_topology
 
-import product.placement_supply { HostIdentity }
-import std.measure { Bandwidth }
-import std.types { NonEmptyStr, Bool, List }
 
 type NetworkLocality =
     Loopback

diff --git a/dag/product/placement_supply.dag b/dag/product/placement_supply.dag
@@ -1,15 +1,5 @@
 module product.placement_supply
 
-import std.measure {
-  ByteSize,
-  Hertz,
-  HardwareThreadCount,
-  byte_size_count,
-  hardware_thread_count_value,
-  hertz,
-  hertz_count,
-}
-import std.types { NonEmptyStr }
 
 type HostIdentity = NonEmptyStr where brand("HostIdentity")
 

diff --git a/dag/shared/dag_util.dag b/dag/shared/dag_util.dag
@@ -1,9 +1,5 @@
 module shared.dag_util
 
-import std.types {
-  StageResult,
-  Summary
-}
 
 fn aggregate_results(stages: List<StageResult>) -> Summary {
   let passed_list = filter(stages, s => s.success)

diff --git a/dag/std/abi.dag b/dag/std/abi.dag
@@ -1,6 +1,5 @@
 module std.abi
 
-import std.types { Bool, NonEmptyStr }
 
 type ArchitecturalRegister
 

diff --git a/dag/std/algebra.dag b/dag/std/algebra.dag
@@ -1,6 +1,5 @@
 module std.algebra
 
-import std.error_primitives { DivError, Result }
 
 type Magma<T> {
   op: fn(T, T) -> T

diff --git a/dag/std/approximate_field.dag b/dag/std/approximate_field.dag
@@ -1,7 +1,5 @@
 module std.approximate_field
 
-import std.algebra { Field }
-import std.integer { PositiveInt }
 
 type RoundingMode
   = ToNearestEven

diff --git a/dag/std/baseboard.dag b/dag/std/baseboard.dag
@@ -1,7 +1,5 @@
 module std.baseboard
 
-import std.types { NonEmptyStr }
-import std.bmc { BmcFirmwareFamily, BmcEndpoint }
 
 type BaseboardManufacturer = | AsrockRack
 

diff --git a/dag/std/behavioral.dag b/dag/std/behavioral.dag
@@ -1,6 +1,5 @@
 module std.behavioral
 
-import std.determinism { DeterminismAxis }
 
 type SideEffects = ReadOnly | WritesState | WritesExternal
 

diff --git a/dag/std/bit.dag b/dag/std/bit.dag
@@ -1,6 +1,5 @@
 module std.bit
 
-import std.logic { Classical }
 
 type Bit = Classical
 

diff --git a/dag/std/bmc.dag b/dag/std/bmc.dag
@@ -1,6 +1,5 @@
 module std.bmc
 
-import std.types { NonEmptyStr }
 
 type BmcProtocol = Redfish | Ipmi
 

diff --git a/dag/std/bytes.dag b/dag/std/bytes.dag
@@ -1,9 +1,5 @@
 module std.bytes
 
-import std.types { Bytes }
-import std.integer { UInt8 }
-import std.disposition { Disposition, Scaffold, SingleAuthority }
-import std.decl_ref { DeclarationRef, WholeDeclaration }
 
 fn pure_dag_seam_unreachable() -> Int {
   1 / 0

diff --git a/dag/std/cache_identity.dag b/dag/std/cache_identity.dag
@@ -1,6 +1,5 @@
 module std.cache_identity
 
-import std.types { NonEmptyStr, ContentHash }
 
 type CacheInterfaceId = NonEmptyStr where brand("CacheInterfaceId")
 type ArtifactKindId = NonEmptyStr where brand("ArtifactKindId")

diff --git a/dag/std/cache_interface.dag b/dag/std/cache_interface.dag
@@ -1,21 +1,6 @@
 module std.cache_interface
 
-import std.types { NonEmptyStr, ContentHash, Bool, Int, LogicalTime }
-import std.measure { Nano, ByteSize }
-
-import std.verification { NanosecondDuration, nanosecond_duration, nanosecond_duration_count }
-import std.pareto {
-  AxisComparison,
-  DominanceVerdict,
-  HigherIsBetter,
-  LowerIsBetter,
-  axis_comparison_int,
-  dominance_of_comparisons,
-}
-import std.realization_schedule {
-  CostAccount,
-}
-import std.cache_identity { CacheInterfaceId, ArtifactKindId, ExecutionReceiptDigest, resolved_graph_artifact_kind, parse_table_artifact_kind }
+
 
 type StorageSurface = NonEmptyStr where brand("StorageSurface")
 

diff --git a/dag/std/change.dag b/dag/std/change.dag
@@ -1,7 +1,5 @@
 module std.change
 
-import std.types { List, Bool }
-import std.algebra { Monoid }
 type KeyedRow<K, V> {
   row_key: K
   value: V

diff --git a/dag/std/computation.dag b/dag/std/computation.dag
@@ -1,19 +1,5 @@
 module std.computation
 
-import std.iteration { }
-import std.termination {
-  DescentEvidence, DescentUnknown, RankingDimension,
-  PositiveDescentAmount, OneStep, AdditionalStep,
-  ProportionalDivisor, DivideByTwo, StrictlyLarger,
-  positive_descent_count
-}
-import std.algebra {
-  AlgebraProfile, OrderedRingProfile, ApproximateFieldProfile,
-  BooleanAlgebraProfile, BooleanAlgebraCollectionProfile,
-  FreeMonoidScalarProfile, FreeMonoidCollectionProfile,
-  PartialFunctionProfile,
-  kernel_algebra_profile
-}
 
 type SizeBound
   = CollectionSize { param: String }

diff --git a/dag/std/content_hash.dag b/dag/std/content_hash.dag
@@ -1,6 +1,5 @@
 module std.content_hash
 
-import std.types { ContentHash, NonEmptyStr }
 
 fn content_hash_atom(value: NonEmptyStr) -> ContentHash {
   atom_identity_hash(value)

diff --git a/dag/std/credentials.dag b/dag/std/credentials.dag
@@ -1,6 +1,5 @@
 module std.credentials
 
-import std.types { NonEmptyStr }
 
 type FactoryLogin {
   username: NonEmptyStr

diff --git a/dag/std/currency.dag b/dag/std/currency.dag
@@ -1,6 +1,5 @@
 module std.currency
 
-import std.types { Int }
 
 type CurrencyCode =
     Eur

diff --git a/dag/std/decl_ref.dag b/dag/std/decl_ref.dag
@@ -1,6 +1,5 @@
 module std.decl_ref
 
-import std.types { NonEmptyStr }
 
 type DeclField
   = WholeDeclaration

diff --git a/dag/std/determinism.dag b/dag/std/determinism.dag
@@ -1,7 +1,5 @@
 module std.determinism
 
-import std.perturbation { PerturbationVerdict, ResponseConsistent, ResponseViolation }
-import std.decl_ref { DeclarationRef }
 
 type DeterminismAxis
   = Deterministic

diff --git a/dag/std/disposition.dag b/dag/std/disposition.dag
@@ -1,7 +1,5 @@
 module std.disposition
 
-import std.types { NonEmptyStr }
-import std.decl_ref { DeclarationRef }
 
 type ConstructionMechanism
   = SingleAuthority