diff --git a/nulib/lib_provisioning/workspace/mod.nu b/nulib/lib_provisioning/workspace/mod.nu
index 8bb5efd..10d2eef 100644
--- a/nulib/lib_provisioning/workspace/mod.nu
+++ b/nulib/lib_provisioning/workspace/mod.nu
@@ -1,10 +1,44 @@
-# Workspace module exports
-export use init.nu *
-export use config_commands.nu *
-export use commands.nu *
-export use verify.nu *
-export use helpers.nu *
-export use version.nu *
-export use enforcement.nu *
-export use migration.nu *
-export use sync.nu *
+# workspace/ subsystem facade — selective re-exports (ADR-025 Phase 3 Layer 3).
+# Each `export use X *` replaced by explicit symbol list. Multi-word Nu
+# subcommands (e.g. "workspace activate") are quoted per Nu syntax.
+
+export use init.nu [provisioning_init show_titles use_titles]
+export use config_commands.nu [
+    workspace-config-edit workspace-config-generate-provider
+    workspace-config-hierarchy workspace-config-list workspace-config-show
+    workspace-config-validate
+]
+export use commands.nu [
+    "workspace activate" "workspace active" "workspace check-compatibility"
+    "workspace get-preference" "workspace list" "workspace list-backups"
+    "workspace migrate" "workspace preferences" "workspace register"
+    "workspace remove" "workspace restore-backup" "workspace set-preference"
+    "workspace switch" "workspace version"
+]
+export use verify.nu [main verify-workspace-architecture]
+export use helpers.nu [
+    build-deployment-config check-deployment-health check-platform-availability
+    check-prerequisites confirm-deployment create-deployment-manifests
+    generate-secrets get-installer-path load-config-from-file
+    rollback-deployment save-deployment-config validate-deployment-config
+    validate-deployment-params
+]
+export use version.nu [
+    add-migration-record check-workspace-compatibility compare-versions
+    get-system-version get-version-summary get-workspace-metadata-path
+    init-workspace-metadata is-version-compatible load-workspace-metadata
+    save-workspace-metadata validate-workspace-structure
+]
+export use enforcement.nu [
+    check-and-enforce command-requires-workspace display-enforcement-error
+    enforce-workspace-requirement get-current-workspace-info
+    get-workspace-exempt-commands preflight-check
+]
+export use migration.nu [
+    create-workspace-backup execute-migration find-migration-path
+    get-migration-strategies list-workspace-backups migrate-2_0_0-to-2_0_5
+    migrate-unknown-to-2_0_5 migrate-workspace restore-workspace-from-backup
+]
+export use sync.nu [
+    "workspace check-updates" "workspace sync-modules" "workspace update"
+]