Skip to content

Restore the standalone SuperNPUBench documentation site - #24

Merged
zhoubot merged 1 commit into
mainfrom
codex/standalone-docs-site
Jul 30, 2026
Merged

Restore the standalone SuperNPUBench documentation site#24
zhoubot merged 1 commit into
mainfrom
codex/standalone-docs-site

Conversation

@zhoubot

@zhoubot zhoubot commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

Summary

  • restore the published programmer manual as a standalone project under docs/, with content, MkDocs configuration, pinned dependencies, generators, data, and verification scripts owned together
  • refresh toolchain instructions and benchmark documentation from current main, including 113 public intrinsic entries, 83 active build variants, and the 19 translated DeepSeek modules currently present
  • add a GitHub Pages workflow using the current supported action releases and a strict, reproducible documentation build
  • preserve existing public routes while removing local-machine paths and reader-facing legacy intrinsic names

Validation

  • ./docs/build.sh
  • python3 docs/scripts/sync_golden_manual.py --check
  • python3 docs/scripts/verify_deepseek_migration.py
  • python3 docs/scripts/verify_pto_kernel_migration.py
  • ruff check docs/scripts
  • shellcheck docs/build.sh docs/content/examples/check.sh
  • python3 -m compileall -q docs/scripts
  • parsed .github/workflows/pages.yml with PyYAML
  • syntax-checked all 39 compile.all manifests
  • ran representative make -n benchmark builds
  • checked desktop and mobile layouts, code overflow, navigation, and the live public routes

The strict site verifier reports 113 public C++ entries, current DeepSeek translations, 83 benchmark builds, and clean internal links.

Deployment

The Pages workflow publishes site/ after this PR merges to main. The existing public site remains unchanged until that deployment completes.

Known limitation

Target benchmark compilation and simulator execution were not run because a local Linx toolchain was not available.

The published manual outlived its source on main. Restore the programmer-facing manual under a docs-owned build boundary, regenerate current benchmark coverage, and make Pages validation reproducible from the repository.

Constraint: GitHub Actions must remain under .github/workflows for discovery
Constraint: Current main contains 19 translated DeepSeek modules from a pinned 37-module upstream inventory
Rejected: Keep MkDocs configuration and generators at repository root | website ownership would remain split
Confidence: high
Scope-risk: moderate
Directive: Keep website configuration, dependencies, generated data, and generators under docs/
Tested: strict MkDocs build and internal-link verification; intrinsic, benchmark, and migration catalog checks; ruff; shellcheck; 39 compile manifest syntax checks; representative make dry-runs; desktop/mobile browser validation
Not-tested: target benchmark compilation and simulator execution; no local Linx toolchain was available
@zhoubot
zhoubot merged commit f259866 into main Jul 30, 2026
2 checks passed
@zhoubot
zhoubot deleted the codex/standalone-docs-site branch July 30, 2026 12:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant