Commit 3045b6f
docs(pm-dispatch): the single-writer set is what SINGLE_CLAIM_PATHS enumerates, said where the seat reads batch independence (#17089)
Two lines in the 候选与批次 block, paid in place at 812/812 and ≤120 B per line:
the declared single-writer set is the enumeration in SINGLE_CLAIM_PATHS, sharing
any other path between open PRs is ordinary concurrent work whose cost is one
merge resolution paid by whichever lands second, and batch independence is not
read off a package or a check's name.
Paid by three deletions in the same five lines: the `priority:p0` 可超 `batch`
clause that duplicated the line three below it verbatim; 读数带 UTC 写进认领, which
the UTC-reading rule earlier in the file already states for claims; and the
depth-table provenance of LOCK_DEPTH_HOLD, which now lives in the PR that landed
it (git history), per the file's own one-line-provenance charter.
Claude-Session: https://claude.ai/code/session_01HxLw5aKDPR5RJgyUR7Exkd
Co-authored-by: Claude <noreply@anthropic.com>1 parent f63e3eb commit 3045b6f
1 file changed
Lines changed: 2 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
435 | 435 | | |
436 | 436 | | |
437 | 437 | | |
438 | | - | |
| 438 | + | |
| 439 | + | |
439 | 440 | | |
440 | 441 | | |
441 | 442 | | |
442 | | - | |
443 | 443 | | |
444 | 444 | | |
445 | 445 | | |
| |||
0 commit comments