ZTLStudio

human → understanding → ZFL → the core · truth is never granted on credit

1 · Meta-chat negotiating the meaning; the AI only translates, never judges

2 · ZFL the formal language; hand-editable — write a plain line (a=F assert (d iff !c) impl (b impl a)) or JSON — the AI may misformalize here; check the back-reading & edit

3 · Results validator errors and the core’s verdict