Repository navigation

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

Merged

mchwang merged 38 commits into

mainfrom

codex/f6a-rewritten-head-push

Oct 15, 2026

Merged

F6a: push the rewritten head behind a durable marker#153
mchwang merged 38 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 on Oct 14, 2026
- Merge origin/main (#170, #171, #172) into F6a
  
  mchwang
  and
  claude
  committed
  7fa9e07
- Refuse a push whose post-rebase review reload adopted a change (F6a, #170)
  
  mchwang
  and
  claude
  committed
  a23ac78
- Guard every preparation reload and report its refusals as stale (F6a, #170)
  
  mchwang
  and
  claude
  committed
  9578d8c
- Bind preparation failures as current or stale by their cause (F6a, #170)
  
  mchwang
  and
  claude
  committed
  df8966a
- Refuse a command check whose context changed after it settled (F6a, #170)
  
  mchwang
  and
  claude
  committed
  0069d8f
- Give the preparation reload rules their own doc section
  
  mchwang
  and
  claude
  committed
  aa34f36
- Restore the blank line before the push table
  
  mchwang
  and
  claude
  committed
  a752482
Commits on Oct 15, 2026
- Refuse a rewritten-head push once shutdown has begun, and kill every escaped test process
  
  mchwang
  and
  claude
  committed
  19a1049
- Scope the shutdown comment on the push failure path to its own read
  
  mchwang
  and
  claude
  committed
  7ffd084

Commits

Commits on Oct 9, 2026

Commits on Oct 10, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026