<p data-start="2791" data-end="3113">I undertook an effort to guide OpenAI’s Codex into creating a specification document for the Reticulum protocol. I had learned that, in practice, Reticulum’s “protocol” is treated more as a reference implementation: the code tree is the embodiment of the protocol, and there is no separate defining specification document.</p>
<p data-start="3118" data-end="3167">Long story short: I have created a specification.</p>
<p data-start="3172" data-end="3607">The procedure for extracting the protocol was developed with ChatGPT; Codex built out the tool chain. I began this project to help myself understand the actual rules of the protocol. An unanticipated consequence is that the resulting specification can now be used to audit other Reticulum implementations, not merely by comparing them against Mark Qvist’s Python implementation, but by comparing them against an explicit specification.</p>
<p data-start="3612" data-end="3917">I staged this project on my Forgejo server. Unfortunately, AI bots have been hammering the server with 8–10 hits per second, so I have temporarily restricted access to users with accounts in order to deter the onslaught. Were it not for the bot barrage, the Forgejo repository would be publicly available.</p>
<p data-start="3922" data-end="4229">Humans are welcome to request an account. To do so, please submit your name, email address, and preferred username in the comment form below, beginning the comment with: “Forgejo Access Request: …”. I will process the request and will not publish the comment, so your email address will not appear publicly.</p>
<p data-start="4234" data-end="4413">I have copied the following audit reports, along with the specification, <code data-start="4307" data-end="4316">SPEC.md</code>, and the <code data-start="4326" data-end="4337">README.md</code> from <code data-start="4343" data-end="4368">reticulum-specification</code>, to a publicly available area of my website:</p>
<ul>
<li><a href="https://salemdata.net/public/reticulum/README.md">README.md</a> (<a href="https://salemdata.net/public/reticulum/README.html">HTML</a>)</li>
<li><a href="https://salemdata.net/public/reticulum/SPEC.md">SPEC.md</a> (<a href="https://salemdata.net/public/reticulum/SPEC.html">HTML</a>)</li>
<li><a href="https://salemdata.net/public/reticulum/go-reticulum-spec-assessment-2026-06-09.md">go-reticulum-spec-assessment-2026-06-09.md</a></li>
<li><a href="https://salemdata.net/public/reticulum/retinet-spec-assessment-2026-06-09.md">retinet-spec-assessment-2026-06-09.md</a></li>
<li><a href="https://salemdata.net/public/reticulum/microreticulum-spec-assessment-2026-06-09.md">microreticulum-spec-assessment-2026-06-09.md</a></li>
<li><a href="https://salemdata.net/public/reticulum/leviculum-spec-assessment-2026-06-09.md">leviculum-spec-assessment-2026-06-09.md</a></li>
<li><a href="https://salemdata.net/public/reticulum/executive-report-2026-06-09.md">executive-report-2026-06-09.md</a></li>
</ul>
<p>The concept of a protocol without a specification is novel to me.</p>
I undertook an effort to guide OpenAI’s Codex into creating a specification document for the Reticulum protocol. I had learned that, in practice, Reticulum’s “protocol” is treated more as a reference implementation: the code tree is the embodiment of the protocol, and there is no separate defining specification document.
Long story short: I have created a specification.
The procedure for extracting the protocol was developed with ChatGPT; Codex built out the tool chain. I began this project to help myself understand the actual rules of the protocol. An unanticipated consequence is that the resulting specification can now be used to audit other Reticulum implementations, not merely by comparing them against Mark Qvist’s Python implementation, but by comparing them against an explicit specification.
I staged this project on my Forgejo server. Unfortunately, AI bots have been hammering the server with 8–10 hits per second, so I have temporarily restricted access to users with accounts in order to deter the onslaught. Were it not for the bot barrage, the Forgejo repository would be publicly available.
Humans are welcome to request an account. To do so, please submit your name, email address, and preferred username in the comment form below, beginning the comment with: “Forgejo Access Request: …”. I will process the request and will not publish the comment, so your email address will not appear publicly.
I have copied the following audit reports, along with the specification, SPEC.md, and the README.md from reticulum-specification, to a publicly available area of my website:
The concept of a protocol without a specification is novel to me.
Leave a Reply