Repository navigation

R3 Verification - #1829

Merged

briansrls merged 30 commits into

mainfrom

session/cool-owl-579

May 6, 2026

Merged

R3 Verification#1829
briansrls merged 30 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
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  c8b3df5
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  831ac5a
- WIP: R3 Verification
  briansrls
  committed
  dbb67cf
- docs(r3): advance TC1 Q-PAFS brief PROPOSAL → DESIGN
  
  briansrls
  and
  cursoragent
  committed
  8539056
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  c42c0e8
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  e8966c4
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  485d002
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  ff97da9
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  4240829
- docs(briefs): replace bare .md line refs with section anchors (Verification)
  
  briansrls
  and
  cursoragent
  committed
  405b9c0
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  03a3ad6
- WIP: R3 Verification
  briansrls
  committed
  a0d849b
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  271737d
- docs(r3): fix Codex BLOCKING — L7 matrix cites T-V-L4-L7-Direct; sync Q-PAFS ACCEPTED
  
  briansrls
  and
  cursoragent
  committed
  41754b3
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  f1bc070
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  43a270e
- docs(briefs): clarify r3-program-plan path for TC1 ACCEPTED authority link
  
  briansrls
  and
  cursoragent
  committed
  cdd5c4c
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  6d7b44b
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  8f5879e
- docs(r3): single authority for Q-PAFS ACCEPTED — plan §10.3 at HEAD
  
  briansrls
  and
  cursoragent
  committed
  0808cac
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  7052e2e
- docs(briefs): V1 worker — scope line is narrative not second authority
  
  briansrls
  and
  cursoragent
  committed
  61d6489

Commits

Commits on May 6, 2026