docs: regenerate stale theorem index source anchor

[Robby955]

The Pages workflow stops before building documentation because the generated theorem index still points to line 443 of ContinuousTrajectoryEmpiricalBernsteinPACBayes.lean. Regenerate the index with scripts/generate_theorem_index.py so the source link points to the current declaration at line 455. This changes only docs/INDEX.html and removes the observed stale-index failure.

Validation:

• Theorem-index self-test and freshness check pass.
• Site source checks and staging self-test pass; git diff --check passes.
• Current site sources successfully stage over actual doc-gen output downloaded from successful Pages run 33334926078, preserving the API landing and passing required-document/local-link checks. This reuses generated declaration pages from commit 80728e9625682ed7e6a0800dfe5b915aba22e1c1; it is not an exact-head doc-gen build.
• Staged occupancy page returns HTTP 200, and all six assets match the manifest SHA-256 hashes over HTTP. Browser checks pass for replay, model switching, preview labels, and the timing illustration; layouts at 320px, 390px, and 1440px have no horizontal overflow and no browser console errors.

The public occupancy URL still returns 404 pending an approved merge and successful Pages deployment. The exact-head documentation build and public asset verification remain release gates.

[coderabbitai]

Important

Review skipped

Review was skipped as selected files did not have any reviewable changes.

💤 Files selected but had no reviewable changes (1)

• docs/INDEX.html

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Team

Run ID: 29664bc6-987b-44ee-becd-cd4c819fff3a

📥 Commits

Reviewing files that changed from the base of the PR and between 7d3405b and bbc2d01.

📒 Files selected for processing (1)

• docs/INDEX.html

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-04T23:24:18.311773Z	bbc2d01	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.