Take the v3 table update (relay#46) #135

2026-09-07T09:57:07Z

paulhitt commented

2026-09-07 09:57:07 +00:00

(Migrated from gitlab.com)

One MR, all three parts, which is what .e2e-ref.md asks for: the pin
moves, the pages regenerate, and they land together. Splitting them is
what turns the doc gate red for whoever pushes next.

.e2e-ref e082d027 → d2ebcdf5, which carries e2e!29 — the protocol
version table now has a v3 column, and says what has been RUN rather than
what is present in the source: this engine implements v3, two Android
phones have negotiated it since 0.8, and the iPhone build carries it and
has not shipped, so no iPhone in a conversation today is running a
post-quantum ratchet.

I made this change in engine.leaf first, which is generated. Its own
header says edits there are deleted the next time the build script runs —
and the doc-pages gate PASSED on the hand-edited page, because it checks
whether the source moved since generation, not whether the page was
edited by hand. A green gate would have told me nothing and the fix would
have vanished at the next regeneration.

Gate re-run against a clone checked out at the new pin: 9 generated pages
match their sources. 670 tests.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com

One MR, all three parts, which is what `.e2e-ref.md` asks for: the pin moves, the pages regenerate, and they land together. Splitting them is what turns the doc gate red for whoever pushes next. `.e2e-ref` e082d027 → d2ebcdf5, which carries e2e!29 — the protocol version table now has a v3 column, and says what has been RUN rather than what is present in the source: this engine implements v3, two Android phones have negotiated it since 0.8, and the iPhone build carries it and has not shipped, so no iPhone in a conversation today is running a post-quantum ratchet. I made this change in `engine.leaf` first, which is generated. Its own header says edits there are deleted the next time the build script runs — and the doc-pages gate PASSED on the hand-edited page, because it checks whether the source moved since generation, not whether the page was edited by hand. A green gate would have told me nothing and the fix would have vanished at the next regeneration. Gate re-run against a clone checked out at the new pin: 9 generated pages match their sources. 670 tests. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

paulhitt commented

2026-09-07 09:57:08 +00:00

(Migrated from gitlab.com)

assigned to @paulhitt

paulhitt commented

2026-09-07 09:57:09 +00:00

(Migrated from gitlab.com)

restored source branch docs/take-the-v3-table-update

restored source branch `docs/take-the-v3-table-update`

paulhitt commented

2026-09-07 11:47:39 +00:00

(Migrated from gitlab.com)

mentioned in commit 8c6c7d9fad

mentioned in commit 8c6c7d9fad6993bd658d913202726c857b4b9385

paulhitt (Migrated from gitlab.com) merged commit 8c6c7d9fad into main

2026-09-07 11:47:39 +00:00

paulhitt commented

2026-09-09 18:58:51 +00:00

(Migrated from gitlab.com)

changed the description

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: extant2000/flamenet-relay#135