board: crumb BC-13 (T-ADMISSION, D-TGB-4 receipt) and goldstaub G-5 (stranded stacked PRs)

BC-2026-10-23-13: the thought-git receipt is sealed before landing, its
CommitWitness is issued only by commit_cycle, and replay -> proof is a
refused promotion. A seventh independent source for trail T-ADMISSION.

G-2026-10-23-5: a stacked PR is finished only when its commits are on main.
Receipts #1696 and #1708 (both re-landed stranded stacks), plus
lance-graph-java ISS-LGJ-STACK-TAIL-STRANDED-MINOR-8.

IDs follow draft #1730 (BC-5..12, G-4); expect a trivial prepend conflict.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A

Author: claude

.claude/board/BREADCRUMBS.md

@@ -41,6 +41,20 @@ Coordination happens in Linear (`CC: Thread` label `Breadcrumb`, milestone
 
 ## Crumbs
 
+### BC-2026-10-23-13 — a replay receipt is sealed before landing, and its witness is issued only by the write path
+**Observation:** D-TGB-4's receipt is built and sealed at stage time; a
+landing is accepted only with a `CommitWitness` that `VersionStore::commit_cycle`
+alone produces, and its absence refuses with `Refusal::NoCommitWitness`. The
+module states that the receipt proves replay equals the original run, not that
+the derivation is admissible; that promotion is D-TGB-7's. Same three parts as
+trail T-ADMISSION: built before (sealed receipt), witness with an issuer
+(the cycle commit), refused promotion (replay → proof).
+**Receipt:** `crates/thought-git-probe/src/receipt.rs:20-45`, `:82`, `:473`,
+`:681` on main `8f610a85`; lance-graph #1674, #1684; GPT /05 three-artifact
+note (EXO-50, `session_019fbZ92dFKQ5BJHrA3YcH9A/007`).
+**Rhymes-with:** BC-2026-10-23-8, BC-2026-10-23-9 (draft #1730)
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
 ### BC-2026-10-23-4 — the same join is right under Distinct and wrong under Bag
 **Observation:** D-RFT-1's composition gives the right answer under Distinct
 (set semantics) and the wrong one under Bag unless multiplicity is carried as

.claude/board/GOLDSTAUB.md

@@ -30,6 +30,20 @@ Each entry: `**Claim:**`, `**Receipt:**`, `**Scope:**`, `**Date:**`.
 
 ## Entries
 
+### G-2026-10-23-5 — a stacked PR is finished only when its commits are on main
+**Claim:** When PR B is based on PR A's branch and A merges first, merging B
+lands B into A's dead branch, not into main. GitHub shows B as "merged" either
+way. After merging any stacked PR, check `git log origin/main..origin/<base>`
+is empty, or retarget B to main before merging it.
+**Receipt:** lance-graph twice in two days: #1694/#1695 merged into a stage
+branch and needed #1696 ("land #1694/#1695 catalogue and heritage stages on
+main"); #1701-#1704 merged into stage branches and needed #1708 ("land the
+stranded D-DRMC stack"). Earlier receipt: lance-graph-java
+`ISS-LGJ-STACK-TAIL-STRANDED-MINOR-8` (2026-08-25), where the rule already sits
+in that repo's `CLAUDE.md` iron rules.
+**Scope:** every stacked PR in every AdaWorldAPI repo.
+**Date:** 2026-10-23
+
 ### G-2026-10-23-1 — on synthetic data, the world construction can decide a probe's verdict before it runs
 **Claim:** A probe whose verdict depends on the data distribution (evidence
 LUT vs geometry LUT, shadow-mask salience) decides nothing on synthetic data,