while doing @vinteumorg mining deep dive with prof @edilmedeiros
he suggested that spec should provide formal definitions of jobs, channels and connections in terms of state machines or data structures
not necessarily on 05-Mining-Protocol.md, perhaps 03-Protocol-Overview.md or some other chapter/file
this would not improve correctness or coherence of the spec per se
but it would help human (and potential agent) readability, by allowing their interpretation to assimilate core concepts before they are forced to read messages related to them
while doing @vinteumorg mining deep dive with prof @edilmedeiros
he suggested that spec should provide formal definitions of jobs, channels and connections in terms of state machines or data structures
not necessarily on
05-Mining-Protocol.md, perhaps03-Protocol-Overview.mdor some other chapter/filethis would not improve correctness or coherence of the spec per se
but it would help human (and potential agent) readability, by allowing their interpretation to assimilate core concepts before they are forced to read messages related to them