YangDim minimal non-ample structure

Use this skill for the closed minimal-nonample/VC-radius/sphere-law frontier and for audits that prevent reopening solved targets.

Required first packet

Read references/minimal-nonample-radius.md, then load only the closed theorem packet or narrow history packet needed for the task.

Common child packets

• Closed sphere law, complement duality, h/g-vector formulas, low-VC strata, VC-radius equivalences, and maximum-fiber status: references/minimal-nonample-sphere-law.md.
• Closed VC-radius and extenture-purity history router: references/minimal-nonample-vcr-history.md.
• Cross-support fiber purity, graded replacement, top-skeleton co-pairs, multiflip, calibrated homology, and VC-four finite cores: load only the specific packet named by minimal-nonample-vcr-history.md.

Stable status

• CM iff ample is proved.
• Claim-X is proved and is a projection-minor tool, not the remaining lemma.
• Minimal non-ample classes are complement-dual.
• VC_r=VC, pure global extenture support VC+1, the complement-normalized homology sphere law, and maximum one-coordinate fibers are proved in the paper.
• The live frontier has moved to antipodal/bridge realization; use yangdim-bridge-realization for that active problem.