Regenerate /spec: Android's PQ ratchet is verified #70

2026-08-31T17:13:37Z

paulhitt commented

2026-08-31 17:13:37 +00:00

(Migrated from gitlab.com)

/spec is generated, so the §15 correction is not live until this ships.

The guard earned its keep immediately

#7 landed a check that hashes each page-s source into its banner. It caught this
drift on its first real use, not in a test:

spec.leaf   from flamenet-e2e/docs/SPEC.md   (41002a1e… != 50c7c8d5…)
exit=1

That is the exact failure it was built for — a source corrected and the page left
stale, silently, still being served. Regenerated; the checker is clean:

9 generated pages match their sources

Pages ship inside the relay image, so this needs a deploy to be live.

Follows paulhitt/flamenet-e2e!3. `/spec` is generated, so the §15 correction is not live until this ships. ### The guard earned its keep immediately #7 landed a check that hashes each page-s source into its banner. It caught this drift on its **first real use**, not in a test: ``` spec.leaf from flamenet-e2e/docs/SPEC.md (41002a1e… != 50c7c8d5…) exit=1 ``` That is the exact failure it was built for — a source corrected and the page left stale, silently, still being served. Regenerated; the checker is clean: ``` 9 generated pages match their sources ``` Pages ship inside the relay image, so this needs a deploy to be live.

paulhitt commented

2026-08-31 18:20:07 +00:00

(Migrated from gitlab.com)

mentioned in commit 0daa4225e4

mentioned in commit 0daa4225e41d1e4eed5ed73aa1882cf8891a0f56

paulhitt (Migrated from gitlab.com) merged commit 0daa4225e4 into main

2026-08-31 18:20:07 +00:00

paulhitt commented

2026-08-31 20:22:38 +00:00

(Migrated from gitlab.com)

mentioned in merge request !9

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: extant2000/flamenet-relay#70