The search proposes · the solver judges · the frame converges
solve
check
rank α·β·δ
propose
candidate frames
a population of designs
the judge
FE solver
validated vs Abaqus
score
weight + code checks
meta-heuristic
Grey Wolf update
explore ↔ exploit
minimum weight
every check passes