Repository navigation

F6a: push the rewritten head behind a durable marker - #153

Draft

mchwang wants to merge 29 commits into

mainfrom

codex/f6a-rewritten-head-push

Draft

F6a: push the rewritten head behind a durable marker#153
mchwang wants to merge 29 commits into
mainfrom
codex/f6a-rewritten-head-push

Commits on Oct 9, 2026
- F6a: push the rewritten head behind a durable marker
  
  mchwang
  and
  claude
  committed
  12e96ba
- Settle pushes cancel-safely and wait for the pushed head
  
  mchwang
  and
  claude
  committed
  a63e5cf
- Wait for the pushed head even when the base moves
  
  mchwang
  and
  claude
  committed
  b1eaaae
- State the pushed-head wait bound exactly
  
  mchwang
  and
  claude
  committed
  9e98ad7
- Settle a stranded push on cancel; wait for the PR head after a refusal
  
  mchwang
  and
  claude
  committed
  50ba765
- Bind a post-push visibility failure; test startup settlement faithfully
  
  mchwang
  and
  claude
  committed
  e5ce306
- Retry push settlement on a repeated cancel; test the push boundary
  
  mchwang
  and
  claude
  committed
  496d4b3
- Trace a moved PR head through the whole rewrite lineage
  
  mchwang
  and
  claude
  committed
  d0639c9
- Test the push boundary's state check and every settlement bound
  
  mchwang
  and
  claude
  committed
  6ab346d
- Cover cancel-safe settlement, admission and shutdown reads
  
  mchwang
  and
  claude
  committed
  0be7462
- Test that a failed push is reported as current
  
  mchwang
  and
  claude
  committed
  7cc5477
- Bind a failed push to the state its own settlement left
  
  mchwang
  and
  claude
  committed
  cedd594
- Bind every push exit to the state that push left
  
  mchwang
  and
  claude
  committed
  a0ecaf0
- Refuse checks after a push if the task changed while it was in flight
  
  mchwang
  and
  claude
  committed
  fc26627
- Describe the pusher's expected-head rule in its doc comments
  
  mchwang
  and
  claude
  committed
  365cda0
Commits on Oct 10, 2026
- Test the push claim's admission guards and the busy settlement skip
  
  mchwang
  and
  claude
  committed
  87dd3bf
- Address Copilot: capture the claim version, finalize at Git start, reserve settlement
  
  mchwang
  and
  claude
  committed
  58e63e0
- State that a deadline-ended push leaves its marker unread
  
  mchwang
  and
  claude
  committed
  9e1f695
Commits on Oct 12, 2026
- Merge origin/main (22e76a8) into F6a
  
  mchwang
  and
  claude
  committed
  143b5f6
- Name schema version 18 in the architecture doc
  
  mchwang
  and
  claude
  committed
  93af176
- Address Copilot: a branch read never waits on an escaped pipe holder
  
  mchwang
  and
  claude
  committed
  f3bc3e1
- Address Copilot: bound only escaped pipe holders on branch reads
  
  mchwang
  and
  claude
  committed
  97b6305
- Say which branch-read case the settlement bound excludes
  
  mchwang
  and
  claude
  committed
  230e5b6
- Name both unbounded subprocess cases, and an inspection's full settle time
  
  mchwang
  and
  claude
  committed
  33450c8
- Bound cat-file reads like ls-remote; correct stale rebaser doc line
  
  mchwang
  and
  claude
  committed
  57b7ccb
- Address Copilot: review a collaborator head found after an unknown push outcome
  
  mchwang
  and
  claude
  committed
  749a977
Commits on Oct 13, 2026
- Address Copilot: recheck the push binding before reviewing a refused or moved push
  
  mchwang
  and
  claude
  committed
  702d11e
- Test the binding check after the fetch; document the stale outcome
  
  mchwang
  and
  claude
  committed
  f7754db
- Test that the binding check before the fetch runs first
  
  mchwang
  and
  claude
  committed
  a734646

Commits

Commits on Oct 9, 2026

Commits on Oct 10, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026