wave 10b of 16 - #5010

Merged

phasetr merged 12 commits into

mainfrom

docs/4984-w10b-specialcases-headers

Aug 10, 2026

Commits on Aug 9, 2026

chore(pr): start SpecialCases header rewrite for wave 10b of 16 (#4984)
phasetr
committed
1bb4772
Merge remote-tracking branch 'origin/main' into docs/4984-w10b-specialcases-headers
phasetr
committed
74e7c60

Commits on Aug 10, 2026

docs(headers): rewrite InfiniteVolume* module headers to intension-only (#4984)

phasetr
and
claude
committed
b988b79
docs(headers): rewrite VdPolymerFamilies* module headers to intension-only (#4984)

phasetr
and
claude
committed
12d3de2
docs(headers): rewrite PartitionFunction* module headers to intension-only (#4984)

phasetr
and
claude
committed
da5e62f
docs(headers): rewrite JointAnalyticity* module headers to intension-only (#4984)

phasetr
and
claude
committed
a50c1f9
docs(headers): rewrite FreeEnergy* module headers to intension-only (#4984)

phasetr
and
claude
committed
640679d
docs(headers): rewrite Susceptibility* module headers to intension-only (#4984)

phasetr
and
claude
committed
351e3b3
docs(headers): rewrite JointRegularity* module headers to intension-only (#4984)

phasetr
and
claude
committed
49678d9
docs(headers): rewrite PartitionFreeEnergy* module headers to intension-only (#4984)

phasetr
and
claude
committed
6a7aec5
docs(headers): rewrite PolymerFreeEnergy* module headers to intension-only (#4984)

phasetr
and
claude
committed
94ee9a7
docs(headers): sharpen binder disclosure and re-pin the ratchet baseline (#4984)

phasetr
and
claude
committed
4bfc5c9