feat(SUSY/N1): add chiral scalar configuration space and coordinate CLMs#1113

Merged

jstoobysmith merged 2 commits into

leanprover-community:masterfrom

pariandrea:susy-n1-basic

Jun 4, 2026

Commits on Jun 3, 2026

feat(SUSY/N1): chiral sector indexing data — Model and configuration type

pariandrea
and
claude
committed

Commits on Jun 4, 2026

refactor(SUSY/N1): move chiral sector to Particles/SuperSymmetry/N1

pariandrea
and
claude
committed