Keep users in Official Library after adding sources

[suguanYang]

Summary

• keep the Official Library panel open after adding a library document
• expose the canonical demo source id on materialized workspace source views
• mark already-added library documents with an Added badge and remove the duplicate Add action

Validation

• pnpm exec vitest run src/components/official-library-panel.test.ts src/components/workspace-shell.test.ts src/components/workspace-source-workflow.test.ts src/domains/sources/view.test.ts src/app/api/demo-sources/materialize/route.test.ts src/domains/sources/route-service.test.ts --reporter=verbose
• pnpm exec eslint src/components/official-library-panel.tsx src/components/workspace-shell.tsx src/domains/sources/view.ts src/components/official-library-panel.test.ts src/components/workspace-shell.test.ts src/components/workspace-source-workflow.test.ts src/domains/sources/view.test.ts src/app/api/demo-sources/materialize/route.test.ts src/domains/sources/route-service.test.ts
• pnpm exec tsc --noEmit --pretty false
• git diff --check
• pnpm build

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
knowhere-notebook-staging	Ready	Preview, Comment	Jun 17, 2026 7:26am

1 Skipped Deployment

Project	Deployment	Actions	Updated (UTC)
knowhere-notebook	Ignored		Jun 17, 2026 7:26am