[jschmied]

What this changes

One pre-flight line in docs/pr/SKILL.md, step 1: a pull request that adds, finishes or drops an optimization for a family also updates that family's cell in the optimization ledger. As asked on #2232, this goes in its own PR because it changes the contributor instructions rather than the ledger.

• Issue: none; asked for in the docs: an optimization ledger, which speed and memory change applies to which family #2232 review.
• Stacked on: main 9200a3064. The link targets docs/optimization-ledger.md, which lands with docs: an optimization ledger, which speed and memory change applies to which family #2232. Land this after docs: an optimization ledger, which speed and memory change applies to which family #2232, or the link is dead until then.

Checks on this head

• Head commit: 0462d3f5d.
• Lean checker: 425 problems on the base, 425 on the head, 0 new. git diff --check clean.
• zig build test RC 0; test-kernel-contract test-golden test-server-security test-pull-security fuzz-cortheon RC 0.

Receipt

n/a: one line of contributor instructions, which cannot reach inference.

[ashhart]

Thanks @jschmied. One line, in its own PR, as agreed. It lands right after #2232, so the link resolves.