Aligns the repository with GitHub community-standard recommendations and
makes the project's policies discoverable from the root, where contributors
and tooling actually look for them.
- CONTRIBUTING.md (root): router to per-project guides plus universal
policies (branch from dev, ./book/binder setup, no `git add .`).
- CODE_OF_CONDUCT.md (root): canonical Contributor Covenant 2.1, lifted
from book/docs/. The book/docs version becomes a thin pointer so we
have a single source of truth.
- SECURITY.md: private vulnerability reporting via GitHub Security
Advisory + maintainer email, with explicit in-scope/out-of-scope
boundaries (textbook typos are not security issues).
- CITATION.cff: machine-readable mirror of CITATION.bib so GitHub's
"Cite this repository" button works.
- .github/dependabot.yml: weekly bumps against `dev` for every actual
ecosystem in the repo (pip, npm, github-actions), grouped where it
makes sense (Next/React together).
- .github/ISSUE_TEMPLATE/config.yml: blank_issues_enabled=false to keep
reports on-template; added security-advisory contact link.
Added BINDER.md with complete CLI documentation including:
- Quick start guide and installation instructions
- Comprehensive command reference with examples
- Advanced features (unified builds, fast build mode)
- Development workflow and troubleshooting guide
- Integration details and performance tips
Updated README.md to highlight binder as recommended development tool:
- Added binder CLI section with key commands
- Updated project structure to show binder and config files
- Fixed documentation links to point to docs/ directory
Cleaned up duplicate documentation:
- Removed root-level BUILD.md, CODE_OF_CONDUCT.md, DEVELOPMENT.md,
MAINTENANCE_GUIDE.md, contribute.md (kept updated versions in docs/)
- Consolidated all documentation in docs/ directory
- Updated all references to use docs/ path
This streamlines the development experience and reduces confusion
about which documentation files are current.
