Repository navigation

R2 If-Match race probe: the instrument that grounds r2_conditional_put_linearizability - #13398

Merged

gunbai-bot[bot] merged 16 commits into

mainfrom

r2-if-match-race-probe

Oct 7, 2026

Merged

R2 If-Match race probe: the instrument that grounds r2_conditional_put_linearizability#13398
gunbai-bot[bot] merged 16 commits into
mainfrom
r2-if-match-race-probe

Commits on Oct 5, 2026
- r2_origin: pin the minted fabric-workspace read and write credentials
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4ca2a12
- R2 If-Match race probe: the instrument that grounds r2_conditional_put_linearizability
  
  Brian Searls
  and
  claude
  committed
  636ea36
Commits on Oct 6, 2026
- Merge origin/main into r2-if-match-race-probe
  
  Brian Searls
  and
  claude
  committed
  5f1bd84
- fleet-converge race probe: its own step budget (resolve + 200 rounds do not fit the aux 5m)
  
  Brian Searls
  and
  claude
  committed
  a9588fd
- Regenerate fleet-converge.yml (tools.generated_artifact_gate main_wet_one) for r2_conditional_put_race_probe
  
  Brian Searls
  and
  claude
  committed
  412ecbe
- Race probe timings on std.measure Microsecond; observe the 7.84 row the path actually spells (review 77032)
  
  Brian Searls
  and
  claude
  committed
  7e65751
- Race probe: establish overlap on curl's trace clock, not per-transfer durations; gate on the read curl version
  
  Brian Searls
  and
  claude
  committed
  0eaf5f6
- Race probe: parenthesize the casts the parser read as a struct head; latest send is optional, not -1
  
  Brian Searls
  and
  claude
  committed
  fb6db42
- Race probe: keep the trace instants Microsecond through the overlap comparison; number rounds by enumerate (review 77083)
  
  Brian Searls
  and
  claude
  committed
  db3242d
- extdeps.version.semver: drop the v2.std.optional import the seed self-compile cannot resolve (Present/Absent are prelude there, as in extdeps.tools.curl)
  
  Brian Searls
  and
  claude
  committed
  6bd64bb
- Merge origin/main (ea9a51c) into r2-if-match-race-probe; repoint the probe's optional imports to std.optional
  
  Brian Searls
  and
  claude
  committed
  5bb73d2
- Regenerate fleet-converge.yml on the merged head (restores main's credential options; review 77168) and the extdeps_version_semver.rs stage0 mirror
  
  Brian Searls
  and
  claude
  committed
  5ec34ab
- curl trace: compare event kinds with == and delete the re-invented curl_trace_kind_is (review 77176)
  
  Brian Searls
  and
  claude
  committed
  a31c176
- curl trace scan: carry last_at as Microsecond, not a re-minted Int (review 77181)
  
  Brian Searls
  and
  claude
  committed
  c6867d4
- Race probe: rounds as a map over std.nat nat_range_inclusive, not a hand-rolled accumulator (review 77183)
  
  Brian Searls
  and
  claude
  committed
  83b5369
- Merge remote-tracking branch 'origin/main' into r2-if-match-race-probe
  Brian Searls
  committed
  94ad4e8

Commits

Commits on Oct 5, 2026

Commits on Oct 6, 2026