REPO_POLICIES: fix the second review's findings on the compaction (#158)

Fixes the seven findings of
#159 (comment), with
the wording each one gives.

- Go key points: "whatever files the mount holds".
- `.dockerignore`: "Such a `.dockerignore` is more dangerous than a
  short file with no secret patterns at all".
- Python: "pipenv checked the hashes of the lockfile's packages".
- Python: "In that step" leads only the two bullets about that step.
  The other four sit under "A Python repository's `script/bootstrap`:".
- Entrypoints: "Three more scripts have no required target:".
- Dockerfile: the two ways a stage installs what its image lacks are
  bulleted again, as on `next`.
- Version: the sentence ends at "stage-scoped", then "It has no
  default."
- `TODO.md`: the entry carries the new size, 1,066 lines and 7,812
  words.

Model: fable-5-1

.dockerignore

@@ -35,6 +35,12 @@
 # `services/api/.claude/` and must add its own anchored entry.
 .claude
 
+# yarn's install state and cache stay out, and its release file stays
+# in. Docker obeys the last matching line, so these two lines sit above
+# the secret patterns, which must win under .yarn/releases/.
+.yarn/*
+!.yarn/releases
+
 # Environment files. `*.env` covers bare `.env` and the `prod.env`
 # convention. Re-include a committed template with a negation if the
 # build needs one: `!docs/example.env`.
@@ -55,11 +61,8 @@
 **/[iI][dD]_[eE][dD]25519
 **/[iI][dD]_[eE][dD]25519_[sS][kK]
 
-# Dependencies: restored inside the image, never copied in. yarn's install
+# Dependencies: restored inside the image, never copied in.
-# state and cache stay out, and its release file stays in.
 **/node_modules
-.yarn/*
-!.yarn/releases
 
 # OS metadata.
 **/.DS_Store

.gitignore

@@ -22,9 +22,9 @@ node_modules/
 .yarn/*
 !.yarn/releases
 
-# Secrets. Unanchored like every entry above, so each matches at every
+# Secrets. Unanchored, so each matches at every depth. Matching is
-# depth. Matching is case-sensitive on Linux, so names use character
+# case-sensitive on Linux, so names use character ranges rather than a
-# ranges rather than a lowercase form that misses `Server.Key`.
+# lowercase form that misses `Server.Key`.
 
 # Environment files. `*.env` covers bare `.env` and the `prod.env`
 # convention. Only the templates `example.env` and `sample.env` are

Dockerfile

@@ -6,8 +6,8 @@
 # system packages. script/ passes a new value on every build. That value
 # reruns every RUN step below the ARG line, and the install step keeps
 # its layer. node and yarn come from the distribution, which is trusted,
-# so they need no version and no hash. That yarn hands the work to the
+# so they need no version and no hash. That yarn only starts the release
-# release file in .yarn/releases/, so every stage copies that file and
+# file in .yarn/releases/, so every stage copies that file and
 # .yarnrc.yml before it runs script/bootstrap.
 #
 # alpine 3.24.3, 2026-11-04

TODO.md

@@ -21,6 +21,18 @@ fmt-check, and commit.
 
 # Completed Steps
 
+- 2026-11-06: Compacted `prompts/REPO_POLICIES.md` from 1,145 lines and 8,427
+  words to 1,066 lines and 7,812 words
+  (https://git.eeqj.de/sneak/prompts/issues/158). Every rule keeps its meaning.
+  The rules now sit under headings, the pinning rule first. Each rule that was
+  stated in several places is stated once. The Makefile copies of the Go and
+  Python test commands are gone, because the `Dockerfile` examples carry the
+  same commands. Both checklists name the `.golangci.yml` section.
+- 2026-11-06: The pinning rule in `prompts/REPO_POLICIES.md` now opens with its
+  scope: what we download and install ourselves in scripts and Dockerfiles
+  (https://git.eeqj.de/sneak/prompts/issues/154). Distribution packages are
+  outside the rule, and updating and upgrading them is allowed. Both checklists
+  say the same.
 - 2026-11-04: Each repository now commits yarn 4 and installs with
   `yarn install --immutable` (https://git.eeqj.de/sneak/prompts/issues/149), on
   sneak's ruling at
@@ -36,6 +48,13 @@ fmt-check, and commit.
       and yarn.
     - Both checklists give the steps, and the ignore files keep yarn's install
       state out of git and the build context.
+- 2026-11-04: An agent whose work is confined to one package may run `go test`
+  directly on that package's suite, or on individual tests in it, while
+  iterating (https://git.eeqj.de/sneak/prompts/issues/51), on sneak's ruling at
+  https://git.eeqj.de/sneak/prompts/issues/51#issuecomment-167600. The full
+  `make check` is still required before every push, and the `Makefile` gains
+  nothing. The rule on Docker now names the lint and test gates, because a run
+  while iterating is not one.
 - 2026-11-04: node, yarn, npm, python, pip and venv now come from the
   distribution with no version and no hash
   (https://git.eeqj.de/sneak/prompts/issues/146), on sneak's ruling at

prompts/EXISTING_REPO_CHECKLIST.md

@@ -1,6 +1,6 @@
 ---
 title: Existing Repo Checklist
-last_modified: 2026-11-04
+last_modified: 2026-11-06
 ---
 
 Use this checklist when beginning work in a repo that may not yet conform to our
@@ -163,17 +163,18 @@ with your task.
     - [ ] Go: `go.mod`, `go.sum`, `.golangci.yml` (fetch from
           `https://git.eeqj.de/sneak/prompts/raw/branch/main/.golangci.yml` and,
           in the same commit, set the lint phase digest to the one named in the
-          `.golangci.yml` paragraph of `REPO_POLICIES.md`)
+          `.golangci.yml` section of `REPO_POLICIES.md`)
     - [ ] JS: `package.json`, `yarn.lock`, `.yarnrc.yml`, `.yarn/releases/`,
-          `.prettierrc`, `.prettierignore` (fetch the last two from
+          `.gitattributes`, `.prettierrc`, `.prettierignore` (fetch the last two
-          `https://git.eeqj.de/sneak/prompts/raw/branch/main/.prettierrc` and
+          from `https://git.eeqj.de/sneak/prompts/raw/branch/main/.prettierrc`
+          and
           `https://git.eeqj.de/sneak/prompts/raw/branch/main/.prettierignore`).
-    - [ ] JS: `yarn.lock` is in yarn 4's format. If its second line says
+    - [ ] Any repository with `yarn.lock`: that file is in yarn 4's format. If
-          `yarn lockfile v1`, convert it with the steps below. Do them in one
+          its second line says `yarn lockfile v1`, convert it with the steps
-          commit with the re-vendored scripts, because yarn 1 ignores
+          below. Do them in one commit with the re-vendored scripts, because
-          `--immutable` and exits 0 on a tree with no `.yarnrc.yml`. Run them
+          yarn 1 ignores `--immutable` and exits 0 on a tree with no
-          with any distribution's node and yarn, and use `yarnpkg` on Debian and
+          `.yarnrc.yml`. Run them with any distribution's node and yarn, and use
-          Ubuntu.
+          `yarnpkg` on Debian and Ubuntu.
         1. Read the version from `yarnPath` in
            `https://git.eeqj.de/sneak/prompts/raw/branch/main/.yarnrc.yml`.
         2. Run `yarn set version <version>`. It writes
@@ -187,12 +188,14 @@ with your task.
            `npmMinimalAgeGate` from `.yarnrc.yml`. The conversion wrote them.
            They allow install scripts, any git repository and packages of any
            age, which yarn otherwise refuses.
-        6. Name any package that must run its install script in `package.json`,
+        6. In `package.json`, name any package that must run its install script,
            as `"dependenciesMeta": { "<name>": { "built": true } }`, and run
            `yarn install` again.
-        7. Add `.yarn/*` and `!.yarn/releases` to `.gitignore` and
+        7. Add `.yarn/*` and `!.yarn/releases` above the secret patterns in
-           `.dockerignore`, `.yarn/` to `.prettierignore`, and
+           `.gitignore` and `.dockerignore`. Docker obeys the last matching
-           `.yarn/releases/** binary` to `.gitattributes`.
+           line, and the secret patterns must win. Add `.yarn/` to
+           `.prettierignore`, and `.yarn/releases/** binary` to
+           `.gitattributes`.
         8. Run `yarn install --immutable`. It must pass and change nothing.
     - [ ] Python: `pyproject.toml`
     - [ ] Docs/writing: `.prettierrc`, `.prettierignore` (same URLs as above)
@@ -231,8 +234,9 @@ with your task.
 - [ ] `script/bootstrap` installs node, yarn and the node packages only when
       `yarn.lock` is in the tree. node and yarn come from the distribution when
       they are missing. It installs the node packages with
-      `yarn install --immutable`. Whichever yarn the distribution packages hands
+      `yarn install --immutable`. The distribution's yarn only starts the
-      the work to the release file that `yarnPath` in `.yarnrc.yml` names.
+      release file that `yarnPath` in `.yarnrc.yml` names, and that file does
+      the work.
 - [ ] A `Dockerfile` stage that needs yarn may start from any distribution that
       packages node and yarn. It copies `package.json`, `yarn.lock`,
       `.yarnrc.yml` and `.yarn/releases/` before it runs `script/bootstrap`. A
@@ -263,21 +267,21 @@ with your task.
 
 - [ ] Pre-commit hook is installed (`make hooks`)
 - [ ] No secrets in the repo (`.env`, keys, credentials)
-- [ ] No mutable references in Dockerfiles or scripts (tags, `@latest`) — all
+- [ ] No mutable references (tags, `@latest`) to what the repo downloads and
-      pinned by cryptographic hash with version/date comment. The one exception
+      installs itself in scripts and Dockerfiles — all pinned by cryptographic
-      is a package from the distribution's own package index, which needs no
+      hash with version/date comment. Distribution packages are outside this
-      version and no hash. Pulling that index is also allowed. In a
+      rule. They need no version and no hash, and updating and upgrading them is
-      `Dockerfile`, the distribution is the pinned base image's. On a host, it
+      fine too. In a `Dockerfile`, the distribution is the pinned base image's.
-      is the host's, and the host's package manager stands for it, nix and brew
+      On a host, it is the host's, and the host's package manager stands for it,
-      included. A package source that a `Dockerfile` adds itself does not get
+      nix and brew included. A package source that a `Dockerfile` adds itself is
-      this exception
+      not the distribution's own, so its packages are pinned
 - [ ] node, yarn, npm, python, pip and venv come from the distribution wherever
       possible, never from nvm, pyenv, corepack or `npm install -g yarn`. If the
       distribution's version is too old, use a newer distribution. node means
       the distribution's newest Node package, such as `nodejs-current` on Alpine
       3.24
 - [ ] yarn's release file is in git under `.yarn/releases/`, written once by
-      `yarn set version` with an exact version
+      `yarn set version` with an exact version (repositories with `yarn.lock`)
 - [ ] Using `yarn`, not `npm` (JS projects)
 
 # Directory Structure

prompts/NEW_REPO_CHECKLIST.md

@@ -1,6 +1,6 @@
 ---
 title: New Repo Checklist
-last_modified: 2026-11-04
+last_modified: 2026-11-06
 ---
 
 Use this checklist when creating a new repository from scratch. Follow the steps
@@ -178,11 +178,12 @@ Template files can be fetched from:
     - [ ] Go: `go mod init sneak.berlin/go/<name>`, `.golangci.yml` (fetch from
           `https://git.eeqj.de/sneak/prompts/raw/branch/main/.golangci.yml` and,
           in the same commit, set the lint phase digest to the one named in the
-          `.golangci.yml` paragraph of `REPO_POLICIES.md`)
+          `.golangci.yml` section of `REPO_POLICIES.md`)
-    - [ ] JS: make the first `yarn.lock` with the steps below.
+    - [ ] JS, or any repository that runs prettier through yarn: make the first
-          `script/bootstrap` installs no yarn until `yarn.lock` exists, so run
+          `yarn.lock` with the steps below. `script/bootstrap` installs no yarn
-          them with any distribution's node and yarn, such as Alpine's
+          until `yarn.lock` exists, so run them with any distribution's node and
-          (`apk add nodejs-current yarn`). Use `yarnpkg` on Debian and Ubuntu.
+          yarn, such as Alpine's (`apk add nodejs-current yarn`). Use `yarnpkg`
+          on Debian and Ubuntu.
         1. Read the version from `yarnPath` in
            `https://git.eeqj.de/sneak/prompts/raw/branch/main/.yarnrc.yml`.
         2. Run `yarn set version <version>`. It writes
@@ -210,9 +211,9 @@ are thin shims calling them. Model scripts:
     - It installs node, yarn and the node packages only when `yarn.lock` is in
       the tree. node and yarn come from that package manager when they are
       missing.
-    - It installs the node packages with `yarn install --immutable`. Whichever
+    - It installs the node packages with `yarn install --immutable`. The
-      yarn the distribution packages hands the work to the release file that
+      distribution's yarn only starts the release file that `yarnPath` in
-      `yarnPath` in `.yarnrc.yml` names.
+      `.yarnrc.yml` names, and that file does the work.
     - A non-server repo's development environment stage runs it, with only
       system packages installed inline above it.
     - A gate phase or the build stage installs what its base image lacks, either
@@ -284,19 +285,20 @@ are thin shims calling them. Model scripts:
       final stage is missing its `COPY --from=` edge to the gate phases.
 - [ ] No secrets in repo, and none in the build context: enumerate a probe image
       rather than reading `.dockerignore`
-- [ ] No mutable image/package references. The one exception is a package from
+- [ ] No mutable references to what the repo downloads and installs itself in
-      the distribution's own package index, which needs no version and no hash.
+      scripts and Dockerfiles. Distribution packages are outside this rule. They
-      Pulling that index is also allowed. In a `Dockerfile`, the distribution is
+      need no version and no hash, and updating and upgrading them is fine too.
-      the pinned base image's. On a host, it is the host's, and the host's
+      In a `Dockerfile`, the distribution is the pinned base image's. On a host,
-      package manager stands for it, nix and brew included. A package source
+      it is the host's, and the host's package manager stands for it, nix and
-      that a `Dockerfile` adds itself does not get this exception
+      brew included. A package source that a `Dockerfile` adds itself is not the
+      distribution's own, so its packages are pinned
 - [ ] node, yarn, npm, python, pip and venv come from the distribution wherever
       possible, never from nvm, pyenv, corepack or `npm install -g yarn`. If the
       distribution's version is too old, use a newer distribution. node means
       the distribution's newest Node package, such as `nodejs-current` on Alpine
       3.24
 - [ ] yarn's release file is in git under `.yarn/releases/`, written once by
-      `yarn set version` with an exact version
+      `yarn set version` with an exact version (repositories with `yarn.lock`)
 - [ ] No unnecessary files in repo root
 - [ ] All dates written as YYYY-MM-DD
 

script/bootstrap

@@ -4,10 +4,10 @@
 # installed tools are skipped. Base tools, node and yarn come from nix,
 # apt, brew, or apk (detected in that order), with no version and no
 # hash, because the distribution is trusted. It installs node, yarn and
-# the node packages only when yarn.lock is in the tree. Whichever yarn
+# the node packages only when yarn.lock is in the tree. The
-# the distribution packages hands the work to the release file that
+# distribution's yarn only starts the release file that yarnPath in
-# yarnPath in .yarnrc.yml names, so git pins the yarn that runs. Assumes
+# .yarnrc.yml names, and that file does the work. So git pins the yarn
-# nothing is present.
+# that runs. Assumes nothing is present.
 set -eu
 
 ROOT="$(cd "$(dirname "$0")/.." && pwd -P)"
@@ -80,7 +80,7 @@ main() {
 
     # A Dockerfile stage that needs no yarn copies no yarn.lock.
     if [ -f yarn.lock ]; then
-        if missing node; then pkg_install nodejs nodejs node nodejs-current; fi
+        if missing node; then pkg_install nodejs_latest nodejs node nodejs-current; fi
         if missing yarn && missing yarnpkg; then
             pkg_install yarn yarnpkg yarn yarn
         fi