Repository navigation

R3 Verification - #1802

Merged

briansrls merged 8 commits into

mainfrom

session/cool-owl-579

May 6, 2026

Merged

R3 Verification#1802
briansrls merged 8 commits into
mainfrom
session/cool-owl-579

Commits on May 6, 2026
- WIP: R3 Verification
  briansrls
  committed
  8312561
- WIP: R3 Verification
  briansrls
  committed
  a6171ec
- WIP: R3 Verification
  briansrls
  committed
  ee75dfe
- test(r3-l4): run each claim via run_claim; drop suite OnceLock
  
  briansrls
  and
  cursoragent
  committed
  08262bd
- docs(tests): clarify OnceLock warm comment; drop PR ref in L4 helper
  
  briansrls
  and
  cursoragent
  committed
  84a10ff
- test(t-demo): rename skeleton smoke; drop ordering-based warm-up story
  
  briansrls
  and
  cursoragent
  committed
  8287bba
- test(r3-l4): assert skeleton suite cardinality without index coupling
  
  briansrls
  and
  cursoragent
  committed
  94af12a
- ci: extend self_host_ratchet job timeout to 60 minutes
  
  briansrls
  and
  cursoragent
  committed
  80621c6