feat(pi): support user-global extension scope - #4369

Merged

huangruiteng merged 5 commits into

loopx-project:mainfrom

luw2007:codex/issue-3344-pi-user-scope

Sep 25, 2026

Commits on Sep 25, 2026

feat(pi): support user-global extension scope

luw2007
authored and
huangruiteng
committed
32bbfa2
fix(pi): make user scope discoverable and inspectable
huangruiteng
committed
fe64c64
docs(pi): explain global install and scope readback
huangruiteng
committed
bcbb07d
fix(pi): restore per-file uninstall and drop never-shipped legacy entry
huangruiteng
committed
913ec2b
fix(pi): report the resolved Pi install target in the install notes
huangruiteng
committed
6a4e389