Function strip_workspace_prefix

scripts/k.py:1440–1473

容错：把误带的 `workspaces/<当前ws>/` 前缀剥掉。 convert.py 的 `--dir` 用仓库根相对路径（`workspaces/ /raw/...`），而 k.py 的路径参数相对**当前 workspace**（`raw/...`）——两套口径新手极易混用， 混用时会拼出 `workspaces/ /workspaces/ /...` 的双重路径错误。 规则： - 前缀指向**当前激活** workspace → 自动剥掉，并在 stderr 提示； - 前缀指向**另一个真实存在的**

(arg: str)

def strip_workspace_prefix(arg: str) -> str:
    """容错：把误带的 `workspaces/<当前ws>/` 前缀剥掉。

    convert.py 的 `--dir` 用仓库根相对路径（`workspaces/<ws>/raw/...`），而
    k.py 的路径参数相对**当前 workspace**（`raw/...`）——两套口径新手极易混用，
    混用时会拼出 `workspaces/<ws>/workspaces/<ws>/...` 的双重路径错误。

    规则：
      - 前缀指向**当前激活** workspace → 自动剥掉，并在 stderr 提示；
      - 前缀指向**另一个真实存在的** workspace → 抛 ValueError，提示改用
        `--workspace <那个库>`（静默剥掉会读错库）；
      - 其他情况原样返回。
    """
    norm = arg.replace("\\", "/").lstrip("./")
    parts = norm.split("/")
    if len(parts) < 3 or parts[0] != "workspaces":
        return arg
    if PROJECT_ROOT.parent.name != "workspaces":
        return arg  # 未激活 workspace（如引擎根直跑），不做猜测
    active = PROJECT_ROOT.name
    target_ws, rest = parts[1], "/".join(parts[2:])
    if target_ws == active:
        print(
            f"提示: k.py 的路径相对当前 workspace（{active}），"
            f"已自动剥掉前缀 workspaces/{active}/",
            file=sys.stderr,
        )
        return rest
    if (PROJECT_ROOT.parent / target_ws).is_dir():
        raise ValueError(
            f"路径指向另一个 workspace {target_ws!r}（当前是 {active!r}）。"
            f"请改用：python scripts/k.py --workspace {target_ws} <子命令> {rest}"
        )
    return arg


def resolve_doc_path(arg: str) -> Path: