> Somehow the best place for all that stuff to live is right there at the source code. That's what I am saying, and that's why it has to be syntactically disti

> Somehow the best place for all that stuff to live is right there at the source code. That's what I am saying, and that's why it has to be syntactically distinct. Also it needs to be clear what was input by computer and what was input by human, that's the second distinction. Because of how the conversation works. You don't want computer to erase human input, but the result also has to be logically sound. So you need to know both inputs for the comparison and synthesis, which happens at each conversation turn, both human's and computer's. And that's what "type holes" and similar systems lack - they only record the result of the synthesis, not the two different opinions. Which is IMHO wrong.