Tiny Model, Trying

A finite structure edits itself to satisfy a small theory. Toggle axioms and watch it struggle, then settle.