ledger: book v1.30.0 — the row from the tag, the cookbook commit that locks it, and gate T green again (PMAT-557, closes #557)

[noahgift]

Closes #557. This is the booking for v1.30.0, a release that was tagged and never declared. It changes no code.

What

• The v1.30.0 row, written by scripts/release-goal.sh cut v1.30.0 --next v1.31.0: cut 2026-09-13T20:52:01Z, 10 PRs, 11 tickets, the dogfood and crux receipts. The cookbook field names 60acf9c9, which is deps: build against forjar 1.30.0 (was locked at 1.29.0) forjar-cookbook#21, the first cookbook commit that locks forjar 1.30.0. The script had copied 0be3e1ec from the previous row, and that commit locks 1.29.0.
• next: v1.31.0, due 2026-09-15T20:52:01Z.
• dogfood-1.30.0-receipt.md gets the DOGFOOD-1.30.0-RECEIPT-END marker it was committed without. The receipt ends on a complete sentence and has one verdict: line, so nothing was truncated.
• Labels: PMAT-526, 528 and 529 did not ship in v1.30.0 and move to release:v1.31.0. release-goal.sh sync labels PMAT-562.
• Rows: PMAT-555, 547 and 562 shipped, so they are marked completed. Five open issues without a roadmap row (CLAUDE.md does not say which model orchestrates a ticket here, so it is chosen by habit (ORCH-001) #558, forjar validate says OK to a manifest apply refuses: template resolution is not part of validation, so {{.Names}} (a docker --format) passes validate and dies at apply #559, lock keyed by (machine, stack), host-resident; apply refuses a manifest-sha mismatch without --adopt; generator field records the real writer #561, mutation.yml: cargo install cargo-mutants pulls deps that need rustc 1.91 on the fleet's 1.89 toolchain — red on main since 2026-09-14 #566, lint.yml on the fleet: a clean-room runner has no cargo-clippy for the 1.89 toolchain — first fleet run of lint after PMAT-547 #567) get rows minted from their issues, with release: 1.32.0 on a new milestone.

Measured

• Gate T on this branch refused four times in sequence (no row, then the receipt marker, then the cookbook lock, then the PMAT-562 label) and now passes: 8 tagged releases, 53 tickets.
• CB-2112 goes 37 → 34 (ceiling 35) and CB-2115 goes 53 → 45 (ceiling 43). CB-2115 reaches 42 once feat(service): a unit is converged only while it executes the declared program — exec_start / exec_sha256 (PMAT-560, closes #560) #568, fix(drift): decline (exit 2) over zero coverage, and never grade another manifest's resources (PMAT-564, closes #564) #569 and fix(state): the lock names the binary that wrote it, keeps its creator, and lock --restamp converges a state dir (PMAT-565, closes #565) #570 merge.
• Review: three agy lanes, 2 PASS and 1 FAIL. The FAIL named a commit-message sentence and was refuted against the commit history. No lane could reach GitHub, so gate T and the window were re-run here.

Receipt: docs/audits/impl-PMAT-557-receipt.md. Quorum receipt: .quorum/PMAT-557-book-v1.30.0.json (kind triage).

🤖 Generated with Claude Code

Which rows changed, by id

Hunk context can make the line above a hunk look like the row being edited. This compares rows by id instead:

python3 - <<'PY'
import yaml, subprocess
load=lambda ref: {r["id"]: r for r in yaml.safe_load(subprocess.run(["git","show",ref+":docs/roadmaps/roadmap.yaml"],capture_output=True,text=True).stdout)["roadmap"]}
b, h = load("origin/main"), load("HEAD")
print("added", sorted(set(h)-set(b)), "removed", sorted(set(b)-set(h)))
print("changed", [i for i in b if i in h and b[i] != h[i]])
PY

Output: 6 rows added (PMAT-557/558/559/561/566/567), 0 removed, and 6 changed (PMAT-526, 528, 529, 547, 555, 562). PMAT-545 and PMAT-527 are identical.

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-557",
 "head": "05a58ba90d820563b1f7b344f33005931ecfd467",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 2
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 6
  },
  {
   "lane": 3,
   "verdict": "FAIL",
   "findings": 3
  }
 ]
}

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-557",
 "head": "ce25c2f501d9cd594084d39df65624e2ccc3fbef",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 3
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 6
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

[noahgift]

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-557",
 "head": "1c8d7a18a706a5d99be2f11be625612e31394167",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 0
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 6
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}