From b9f25e7ff6a4fb47d142459bdfd4157e3f279e9c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 2 May 2026 20:57:05 +0000
Subject: [PATCH 1/2] Initial plan


From 46659a15fe9e9134d07079392ea6c15368374c9c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 2 May 2026 21:00:16 +0000
Subject: [PATCH 2/2] workstation-v0: extend aggregate polish helper with dock
 and shortcut signals
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- Add shortcut_map and gnome_dock sections to check-workstation-polish.sh
- Fix off-by-one in check-shortcut-map-contract.sh repo_root (3→4 levels up)
- Update workstation-polish-validation.yml: paths triggers, syntax checks,
  and smoke assertions for the two new aggregate sections

Agent-Logs-Url: https://github.com/SociOS-Linux/source-os/sessions/230dd866-6db4-4387-973f-323e70df10cc

Co-authored-by: mdheller <21163552+mdheller@users.noreply.github.com>
---
 .github/workflows/workstation-polish-validation.yml    | 10 ++++++++++
 .../workstation-v0/bin/check-shortcut-map-contract.sh  |  2 +-
 .../workstation-v0/bin/check-workstation-polish.sh     |  2 ++
 3 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/workstation-polish-validation.yml b/.github/workflows/workstation-polish-validation.yml
index ecbee71..c2b19f8 100644
--- a/.github/workflows/workstation-polish-validation.yml
+++ b/.github/workflows/workstation-polish-validation.yml
@@ -6,6 +6,8 @@ on:
       - 'profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh'
       - 'profiles/linux-dev/workstation-v0/bin/check-mac-polish.sh'
       - 'profiles/linux-dev/workstation-v0/bin/check-keyboard-policy.sh'
+      - 'profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh'
+      - 'profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh'
       - '.github/workflows/workstation-polish-validation.yml'
   push:
     branches:
@@ -14,6 +16,8 @@ on:
       - 'profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh'
       - 'profiles/linux-dev/workstation-v0/bin/check-mac-polish.sh'
       - 'profiles/linux-dev/workstation-v0/bin/check-keyboard-policy.sh'
+      - 'profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh'
+      - 'profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh'
       - '.github/workflows/workstation-polish-validation.yml'
 
 jobs:
@@ -29,6 +33,8 @@ jobs:
           bash -n profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh
           bash -n profiles/linux-dev/workstation-v0/bin/check-mac-polish.sh
           bash -n profiles/linux-dev/workstation-v0/bin/check-keyboard-policy.sh
+          bash -n profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh
+          bash -n profiles/linux-dev/workstation-v0/bin/check-gnome-dock-extension.sh
 
       - name: Smoke: aggregate helper prefixes Mac and keyboard policy outputs
         run: |
@@ -65,3 +71,7 @@ jobs:
           grep -F 'keyboard_policy.primary_backend=input-remapper' <<<"$out" >/dev/null
           grep -F 'keyboard_policy.selected_backend_available=present' <<<"$out" >/dev/null
           grep -F 'keyboard_policy.policy_ok=yes' <<<"$out" >/dev/null
+          grep -F 'shortcut_map.helper=present' <<<"$out" >/dev/null
+          grep -F 'shortcut_map.shortcut_map=present' <<<"$out" >/dev/null
+          grep -F 'gnome_dock.helper=present' <<<"$out" >/dev/null
+          grep -F 'gnome_dock.gnome_dock_extension_lane_ok=' <<<"$out" >/dev/null
diff --git a/profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh b/profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh
index e6c0b39..6db8c38 100644
--- a/profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh
+++ b/profiles/linux-dev/workstation-v0/bin/check-shortcut-map-contract.sh
@@ -7,7 +7,7 @@ set -euo pipefail
 repo_root(){
   local here
   here="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-  cd "$here/../../.." && pwd
+  cd "$here/../../../.." && pwd
 }
 
 present(){
diff --git a/profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh b/profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh
index 701d8b3..56d2c7e 100644
--- a/profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh
+++ b/profiles/linux-dev/workstation-v0/bin/check-workstation-polish.sh
@@ -31,6 +31,8 @@ main(){
   printf 'profile_dir=%s\n' "$pdir"
   emit_section mac_polish "$pdir/bin/check-mac-polish.sh"
   emit_section keyboard_policy "$pdir/bin/check-keyboard-policy.sh"
+  emit_section shortcut_map "$pdir/bin/check-shortcut-map-contract.sh"
+  emit_section gnome_dock "$pdir/bin/check-gnome-dock-extension.sh"
 }
 
 main "$@"