Checks and evals

Plain code checks the hard rules. Small decision models answer typed questions about each proposal before it reaches the queue. Each new mistake becomes a question and eval cases.