shard(tick): 1618Z — PR #3515 + #3517 merged; B-0442 + B-0503 row-status loose-ends closed (PR #3518)

docs/hygiene-history/ticks/2026/05/15/1618Z.md

@@ -0,0 +1,31 @@
+# Tick 1618Z — PR #3515 + #3517 merged; B-0442 + B-0503 row-status loose-ends closed (PR #3518)
+
+## Headline
+
+- **PR [#3515](https://github.com/Lucent-Financial-Group/Zeta/pull/3515)** (fix shard 1524Z post-merge findings) MERGED at 16:02Z → `8145672` on main.
+- **PR [#3517](https://github.com/Lucent-Financial-Group/Zeta/pull/3517)** (tick 1601Z shard) MERGED → `1d4802e` on main.
+- **PR [#3518](https://github.com/Lucent-Financial-Group/Zeta/pull/3518)** opened — closes B-0442 + B-0503 row-status loose-ends flagged in tick 1436Z shard. Auto-merge armed at 16:17:59Z. Both bus claims acquired before edit + released after push.
+- Cron sentinel `1011e43d` confirmed live.
+
+## Work landed in PR #3518
+
+| Row | Change | Verified-against |
+|---|---|---|
+| `B-0442` | `status: open` → `closed`; `closed_by_pr: 3458` added | All 6 acceptance items already `[x]` on origin/main; PR #3458 description said *"After this merges, B-0442 itself can be marked `status: closed`"* |
+| `B-0503` | `status: open` → `closed`; 4 acceptance items `[ ]` → `[x]` | Files `tools/bg/missed-substrate-recovery.{ts,test.ts}` exist on origin/main with all expected exports (`RecoveryAdapters`, `RecoveryResult`, `buildRecoveryBranchName`, `buildRecoveryPRBody`, `openRecoveryPR`) |
+
+## Spec-vs-impl drift caught (B-0503)
+
+`buildRecoveryBranchName` shipped as `(prNumber: number)` rather than the spec'd `(prNumber: number, ts: Date)`. The timestamp suffix was dropped — branch name is `recovery/<prNumber>` not `recovery/<prNumber>-<YYYYMMDDHHMMSS>`. PR #3458 docs in `docs/AUTONOMOUS-LOOP.md` confirm the simpler shape was intentional ("deterministic branch name `recovery/<prNumber>`"). Recorded as drift-noted-not-masked in the row body, not silently absorbed.
+
+## Refresh-before-decide discipline applied at row-state scope
+
+Sidetick was on stale branch (`feat/ani-full-history-extract-...`); local working-tree showed B-0442 as `[ ]` unchecked for the slice-5 criterion. `git show origin/main:<row>` revealed the actual on-main state had `[x]` checked. Decision (flip status) was made against origin/main, not local checkout. Same shape as Pattern 8 in B-0519 RCA — "the most-recent-merged state, not whatever the local working-tree happens to show".
+
+## Composes with
+
+- [`.claude/rules/refresh-before-decide.md`](../../../../../../.claude/rules/refresh-before-decide.md) — verified row state against `origin/main`, not local working tree
+- [`.claude/rules/claim-acquire-before-worktree-work.md`](../../../../../../.claude/rules/claim-acquire-before-worktree-work.md) — claims acquired before edit, released after push
+- [`.claude/rules/encoding-rules-without-mechanizing.md`](../../../../../../.claude/rules/encoding-rules-without-mechanizing.md) — substrate hygiene at row-state scope is the failure mode this row-flip catches
+- PR [#3458](https://github.com/Lucent-Financial-Group/Zeta/pull/3458) — the substantive landing this PR records as the closing event
+- Tick [1436Z shard](1436Z.md) — the prior observation flagging both rows as deferred loose-ends