Repository navigation

Forward-only desired-ref admission: make the modelled wall the only route, and stop the queue dropping green advances - #8733

Merged

briansrls merged 58 commits into

mainfrom

fleet/forward-only-advance

Aug 21, 2026

Merged

Forward-only desired-ref admission: make the modelled wall the only route, and stop the queue dropping green advances#8733
briansrls merged 58 commits into
mainfrom
fleet/forward-only-advance

Commits on Aug 20, 2026
- Shape git-update-ref's compare-and-swap form, so the unconditional write is unspellable
  
  Brian Searls
  and
  claude
  committed
  e759b44
- Merge remote-tracking branch 'origin/main' into fleet/converge-deploy-fold
  Brian Searls
  committed
  0930d5c
- Give git.PublicationTransport a compare-and-swap ref advance
  
  Brian Searls
  and
  claude
  committed
  cb433ed
- Stop claiming PushRefUpdateWithLease separates a refused lease from a failed push
  
  Brian Searls
  and
  claude
  committed
  016c86d
Commits on Aug 21, 2026
- Hoist the PushRefUpdateWithLease annotation to module grain
  
  Brian Searls
  and
  claude
  committed
  fecf00f
- Remove the observer-split increment that git add -A swept into this PR
  
  Brian Searls
  and
  claude
  committed
  cd53704
- Split FleetDesiredRevision so an absent ref is a claim, not a failure to look
  
  Brian Searls
  and
  claude
  committed
  183cb77
- Name the refusal that cannot license a write, instead of collapsing it
  
  Brian Searls
  and
  claude
  committed
  3d5cdee
- The admission gate consumes the observation's decision, not an Option-shaped prior
  
  Brian Searls
  and
  claude
  committed
  caf4da3
- Merge remote-tracking branch 'origin/main' into fleet/converge-observe-absent
  Brian Searls
  committed
  e33fc50
- Merge branch 'fleet/converge-observe-absent' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  f9be532
- One accepted fleet revision from two exact positive facts
  
  Brian Searls
  and
  claude
  committed
  0ee97e7
- Forward-only desired-ref admission: a lease is atomic, not monotone
  
  Brian Searls
  and
  claude
  committed
  5703f2c
- Merge remote-tracking branch 'origin/main' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  5863789
- Merge remote-tracking branch 'origin/main' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  a437d89
- Merge branch 'fleet/admission-consumes-expectation' into fleet/accepted-revision-two-facts
  Brian Searls
  committed
  36530ac
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  06c5544
- Fix broken main: answer the two observation arms fleet_desired_admission never got
  
  Brian Searls
  and
  claude
  committed
  c5b3e7f
- Merge branch 'fix/main-fleet-desired-admission-exhaustive' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  af5cfd2
- Port the live admission consumer to the typed expectation seam
  
  Brian Searls
  and
  claude
  committed
  7bd2796
- Deduplicate the fleet_desired_ref_name import (review 54265)
  
  Brian Searls
  and
  claude
  committed
  d9bead4
- Merge branch 'fix/main-fleet-desired-admission-exhaustive' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  29bb71b
- Merge branch 'fleet/admission-consumes-expectation' into fleet/accepted-revision-two-facts
  Brian Searls
  committed
  b455a8e
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  eb9abd6
- Say what the module cannot EXECUTE, not what policy forbids (module owner's wording)
  
  Brian Searls
  and
  claude
  committed
  52c4398
- Merge branch 'fix/main-fleet-desired-admission-exhaustive' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  84e4a5c
- Merge branch 'fleet/admission-consumes-expectation' into fleet/accepted-revision-two-facts
  Brian Searls
  committed
  07efdb8
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  b8acbc2
- Surface MergeBase's exit code and fold it into a subject-bound ancestry relation
  
  Brian Searls
  and
  claude
  committed
  ef4bbb7
- Hoist the arm rationale to module grain (§4c): the floor refused during preparation
  
  Brian Searls
  and
  claude
  committed
  4b9d025
- Merge branch 'fix/main-fleet-desired-admission-exhaustive' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  c6ec69e
- Merge branch 'fleet/admission-consumes-expectation' into fleet/accepted-revision-two-facts
  Brian Searls
  committed
  3f849ab
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  acfb39f
- Three structural corrections: input sum, one unverifiable, and creation is not implied by absence
  
  Brian Searls
  and
  claude
  committed
  42f83e9
- Merge remote-tracking branch 'origin/main' into fleet/admission-consumes-expectation
  Brian Searls
  committed
  bb56350
- Take main's arm wording and drop this PR's stale copy of its witnesses
  
  Brian Searls
  and
  claude
  committed
  d66f6eb
- Merge branch 'fleet/admission-consumes-expectation' into fleet/accepted-revision-two-facts
  Brian Searls
  committed
  7877843
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  1224ff5
- Reuse the relation DECISION, not only its five variant names
  
  Brian Searls
  and
  claude
  committed
  6e088d6
- The effectful half of the ancestry observation, and the sole constructor of one
  
  Brian Searls
  and
  claude
  committed
  645eb5a
- Read the repository and branch authorities instead of spelling them again
  
  Brian Searls
  and
  claude
  committed
  d326030
- Merge branch 'fleet/accepted-revision-two-facts' into fleet/forward-only-advance
  Brian Searls
  committed
  5246f59
- Port the live fleet-desired admission onto the accepted-revision authority, and close a trigger-grain fail-open
  
  Brian Searls
  and
  claude
  committed
  da6de46
- Repair the fixture the previous commit captured mid-mutation, and correct that commit's evidence claim
  
  Brian Searls
  and
  claude
  committed
  86ed90a
- Queue every admissible main completion instead of replacing it: forward-only is what makes the queue safe
  
  Brian Searls
  and
  claude
  committed
  6193747
- Merge remote-tracking branch 'origin/main' into fleet/forward-only-advance
  Brian Searls
  committed
  7d9f0ba
- git.Inspect.MergeBase names the repository it inspects instead of inheriting the process position
  
  Brian Searls
  and
  claude
  committed
  600f3e3
- Restore the creation capability this branch silently reverted, and bound the queue witness to what the platform actually promises
  
  Brian Searls
  and
  claude
  committed
  44328ea
- Revert the creation "restoration": it reversed a deliberate policy while calling itself a repair
  
  Brian Searls
  and
  claude
  committed
  fa2290e
- Give git's merge-base exit table an owner, and pin the absent-arm classification against tidying
  
  Brian Searls
  and
  claude
  committed
  fcbda10
- Stop the unrelated-advance receipt claiming a topology it never observed
  
  Brian Searls
  and
  claude
  committed
  0f2269d
- Inject the observed repository, and ground `queue: max` by measurement instead of assumption
  
  Brian Searls
  and
  claude
  committed
  66f662b
- State what MergeBaseOutcome did NOT dissolve, before the annotation implies otherwise
  
  Brian Searls
  and
  claude
  committed
  4b938cd
- Prove the effectful ancestry observer end to end, and declare where its proof does not reach
  
  Brian Searls
  and
  claude
  committed
  5cd007e
- Merge origin/main: resolve the creation divergence, and PORT the one refusal a clean merge would have dropped
  
  Brian Searls
  and
  claude
  committed
  939bed4
- Rename the merge-base field to what it holds, and refuse to claim a repair I did not make
  
  Brian Searls
  and
  claude
  committed
  903cbfd
- Fold the duplicated import blocks this branch's own merge created
  
  Brian Searls
  and
  claude
  committed
  accc0a5
- Merge remote-tracking branch 'origin/main' into fleet/forward-only-advance
  Brian Searls
  committed
  1a6b6c9

Commits

Commits on Aug 20, 2026

Commits on Aug 21, 2026