Repository navigation
Split four multi-div subfiles into one div per file (wave 1) - #244
Conversation
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
|
Generated by Claude Code |
4870b45 to
78e160d
Compare
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
A proof stays with its claim (Ezra, 2026-10-23). Include-expanded pages unchanged. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01V6MvQvUgPePB2ndiLAgpHs
78e160d to
cacac5d
Compare
|
Claude finished review — View run Review of PR #244 at
|
2026-10-23 09:40 UTC |
Wave 1 of the one-div-per-subfile rollout (gha#1176), owned by the Semantic macro enforcement thread.
The earlier version of this PR split all 61 multi-div subfiles at once.
Ezra asked for minimal batches instead, so this PR now holds four files:
_cor-best-predictor-argmin.qmd_cor-best-predictor-unique.qmd_def-binomial.qmd_def-cond-expectation.qmdEach top-level div moved to
_subfiles/<stem>/_<name>.qmd, and the original file now includes them in order.The include-expanded text of all 11 top-level pages is unchanged (checked by recursive expansion against
main).The remaining 57 files follow in later waves, each opened after the previous one merges.
The
check-term-linkscheck reads moved lines as new until gha#1187 merges and thev3tag slides.🤖 Generated with Claude Code
https://claude.ai/code/session_01V6MvQvUgPePB2ndiLAgpHs