Homonyms
neural/eidos/specs/interaction
interaction the display layer of eidos. nothing here produces a proof term or affects the kernel. two implementations with identical semantics but different interaction layers produce the same certificates but different user experiences. proof state the proof state is rendered after every tacticβ¦
cyb/prysm/system/specs/interaction
the interaction protocol in prysm interaction is how a neuron acts on the element tree $\mathcal{T}$. the layout protocol (Β§4) produces coordinates. the prysm/emotion function produces colors. the interaction protocol produces state transitions. three independent systems, one interface input eventsβ¦