Repository navigation

rust_runtime_bridge_name's Absent arm is the identity case, not a fail-open: the premise falsified, and the join enrolled - #9123

Merged

briansrls merged 8 commits into

mainfrom

session/gentle-newt-105

Aug 25, 2026

Merged

rust_runtime_bridge_name's Absent arm is the identity case, not a fail-open: the premise falsified, and the join enrolled#9123
briansrls merged 8 commits into
mainfrom
session/gentle-newt-105

Commits on Aug 24, 2026
- rust_runtime_bridge_name's Absent arm is the identity case, not a fail-open: the premise falsified, and the join enrolled
  
  Brian Searls
  and
  claude
  committed
  2b181b3
- Retire the four route-gap/freeze collisions #9049 left on main: a frozen row naming a witness the floor already consumes
  
  Brian Searls
  and
  claude
  committed
  5621cd9
- Revert "Retire the four route-gap/freeze collisions #9049 left on main: a frozen row naming a witness the floor already consumes"
  Brian Searls
  committed
  a60e290
- Merge remote-tracking branch 'origin/main' into session/gentle-newt-105
  Brian Searls
  committed
  3870f0c
- The witness was enrolled where the floor declines the whole arm: move it to a module that actually executes
  
  Brian Searls
  and
  claude
  committed
  86dcc90
- The annotation cited the witness's old module: the move broke the citation in the same PR that wrote it
  
  Brian Searls
  and
  claude
  committed
  308db82
Commits on Aug 25, 2026
- Merge remote-tracking branch 'origin/main' into session/gentle-newt-105
  Brian Searls
  committed
  ff6936a
- The totality argument rests on the map being derived: say so where it can be invalidated
  
  Brian Searls
  and
  claude
  committed
  3014264