Skip to content

Say what the bundle is and how to serve it, from the definition that packs it [#54] - #166

Closed
iderex wants to merge 1 commit into
mainfrom
the-operator-page
Closed

Say what the bundle is and how to serve it, from the definition that packs it [#54]#166
iderex wants to merge 1 commit into
mainfrom
the-operator-page

Conversation

@iderex

@iderex iderex commented Aug 16, 2026

Copy link
Copy Markdown
Contributor

Superseded

This branch is abandoned and the change lands on #167 instead. The reason is
here rather than underneath, because the body is where a refusal belongs.

Two checks refused the head, and both were defects in the change rather than in
the checks.

Enforce greppable invariants refused the excerpt this document pasted from the
bill of materials, because it carried the version this repository releases under
and that version is read from one file:

version-lives-in-exactly-one-file: REFUSED, 3 violation(s)
  docs/serving-the-bundle.md: line 52 writes the version 0.1.0, and internal/version/version.go is the one file it is read from
  docs/serving-the-bundle.md: line 54 writes the version 0.1.0, and internal/version/version.go is the one file it is read from
  docs/serving-the-bundle.md: line 55 writes the version 0.1.0, and internal/version/version.go is the one file it is read from

The gate had been run before the push and had said ok. The difference is that
the file was not in the index yet when it ran, so the rows over tracked text had
nothing to read, and a document about how to verify things is the wrong place to
learn that from a red server. The gate is re-run with the file staged on the
replacement branch.

DCO sign-off refused the commit for carrying no Signed-off-by trailer:

FAIL  ffe4d6ddc5f34538b6a824164b63e11394903e13 is missing: Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>

Both runs 2026-08-16 against ffe4d6d.

The trailer cannot be added to a landed commit without rewriting the branch, so
the correction is pushed under a new name and this one is left where it is. The
replacement carries one commit with the trailer, the excerpt cut above the lines
that name the version, and the document saying that the elision is deliberate.

Nothing here reached the mainline.

…packs it [#54]

There is nothing telling somebody who is not me how to run this site. The
release run already packs an archive and attaches a bill of materials beside it,
and what an operator has to do with either is written down nowhere, so the only
route to it is reading the generator and the workflow files.

This is that document. It says what the archive holds, what serves it, what the
host has to be told about the not-found page, and how to check what arrived.
Every claim in it carries the command that produced it, run against an archive
packed from a checkout by the commands the document itself quotes.

Three things it states that are not obvious from the output and that cost an
operator real time when they are found by surprise. A reference beginning with a
slash resolves against the filesystem root when a page is opened as a file, so
the site has to be served rather than opened. The canonical address, the sitemap
entries and the robots line all name one host and go on naming it wherever the
bundle is served. And the hash list travels inside the archive, so it answers
whether the download arrived intact and not whether it is what this repository
built; what answers the second question is packing the tag again and comparing,
which two runs of the packing commands are shown to support.

What it does not claim is that any of this was read off a published file. No
release exists, the document says so with the command that shows it, and the
section holding the residuals also records that the two archives compared were
packed on one machine, so the comparison covers variation between runs and not
variation between toolchains.
@iderex iderex added the documentation Improvements or additions to documentation label Aug 16, 2026
@iderex iderex self-assigned this Aug 16, 2026
@iderex iderex added this to the First release milestone Aug 16, 2026
@iderex iderex closed this Aug 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant