From f4b1523ed4ba5ae7a70e1a31b6f0b3b7e678f116 Mon Sep 17 00:00:00 2001 From: Vatsal Sanjay Date: Sat, 7 Feb 2026 13:51:43 +0000 Subject: [PATCH 01/10] Add CI check for thesis nav docs sync --- .github/workflows/jekyll.yml | 5 ++++ scripts/check-phd-thesis-nav-docs.sh | 45 ++++++++++++++++++++++++++++ 2 files changed, 50 insertions(+) create mode 100755 scripts/check-phd-thesis-nav-docs.sh diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml index 0efb4248..549e1733 100644 --- a/.github/workflows/jekyll.yml +++ b/.github/workflows/jekyll.yml @@ -16,6 +16,11 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + + - name: Verify thesis navigation docs stay in sync + run: | + chmod +x scripts/check-phd-thesis-nav-docs.sh + ./scripts/check-phd-thesis-nav-docs.sh - name: Set up Ruby uses: ruby/setup-ruby@v1 diff --git a/scripts/check-phd-thesis-nav-docs.sh b/scripts/check-phd-thesis-nav-docs.sh new file mode 100755 index 00000000..5d1b592d --- /dev/null +++ b/scripts/check-phd-thesis-nav-docs.sh @@ -0,0 +1,45 @@ +#!/usr/bin/env bash + +set -euo pipefail + +REPO_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" +LAYOUT_FILE="${REPO_ROOT}/_layouts/default.html" +DOC_FILE="${REPO_ROOT}/AGENTS.md" + +NAV_LINK='href="{{ site.baseurl }}/phd-thesis/"' +DOC_PHRASE="This page is included in the main navigation menu" + +if [[ ! -f "${LAYOUT_FILE}" ]]; then + echo "Missing layout file: ${LAYOUT_FILE}" + exit 1 +fi + +if [[ ! -f "${DOC_FILE}" ]]; then + echo "Missing docs file: ${DOC_FILE}" + exit 1 +fi + +nav_present=0 +doc_phrase_present=0 + +if grep -Fq "${NAV_LINK}" "${LAYOUT_FILE}"; then + nav_present=1 +fi + +if grep -Fq "${DOC_PHRASE}" "${DOC_FILE}"; then + doc_phrase_present=1 +fi + +if [[ ${nav_present} -eq 1 && ${doc_phrase_present} -eq 0 ]]; then + echo "PhD thesis nav link exists but docs are stale." + echo "Update AGENTS.md to mention thesis page is in main navigation." + exit 1 +fi + +if [[ ${nav_present} -eq 0 && ${doc_phrase_present} -eq 1 ]]; then + echo "Docs mention thesis page in main navigation but nav link is missing." + echo "Update AGENTS.md or restore nav link in _layouts/default.html." + exit 1 +fi + +echo "PhD thesis nav/docs check passed." From e476fa129566eb576c1714dcae1581086c31aadd Mon Sep 17 00:00:00 2001 From: Vatsal Sanjay Date: Sat, 7 Feb 2026 13:52:16 +0000 Subject: [PATCH 02/10] Pin MathJax and document inline delimiter policy --- AGENTS.md | 9 +++++++++ _layouts/default.html | 3 ++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/AGENTS.md b/AGENTS.md index a61d57e3..f44451e6 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -82,6 +82,15 @@ The following pages redirect to the CoMPhy Lab website: - **\_layouts/default.html**: Base template for all pages - **Gemfile**: Ruby dependencies including Jekyll 4.3.2 and various plugins +- **MathJax**: Loaded from pinned CDN version + (`https://cdn.jsdelivr.net/npm/mathjax@3.2.2/es5/tex-svg.js`) to keep + rendering reproducible. + +### Math Authoring Policy + +- Inline math supports both `\(...\)` and `$...$`. +- Escape literal dollar signs in content as `\$` to prevent accidental math + parsing. ### Content Management diff --git a/_layouts/default.html b/_layouts/default.html index 49959315..7ce72f69 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -28,6 +28,7 @@ - + - +