Repository navigation

R3 Verification - #1893

Merged

briansrls merged 62 commits into

mainfrom

session/cool-owl-579

May 6, 2026

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
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  a49fa69
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  84d6bec
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  99e038f
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  9deb711
- WIP: R3 Verification
  briansrls
  committed
  7cbc5ac
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  ad17441
- WIP: R3 Verification
  briansrls
  committed
  27f3e19
- docs(briefs): TC1 V1 brief — Director Branch B hold, unpairs argument-opaque E3
  
  briansrls
  and
  cursoragent
  committed
  881fa50
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  79f23e0
- docs(r3): sync §10.3 Q-PAFS/Q-EVAL with Branch B TC1 V1 hold
  
  briansrls
  and
  cursoragent
  committed
  1d44eb7
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  e45fc4d
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  4bedd57
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  8bf259f
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  fa2678f
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  ab6dc65
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  18e0196
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  7593050
- WIP: R3 Verification
  briansrls
  committed
  0958284
- docs(briefs): add TC2 Pattern-A dispatch-ready worker brief
  
  briansrls
  and
  cursoragent
  committed
  384864d
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  fe05bae
- docs(briefs): add TC3 Pattern-A dispatch-ready worker brief
  
  briansrls
  and
  cursoragent
  committed
  d8bd458
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  4d547f1
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  61b4f75
- WIP: R3 Verification
  briansrls
  committed
  571360e
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  4177a95
- docs(briefs): index tier-1 worker briefs in verification manager
  
  briansrls
  and
  cursoragent
  committed
  c110aad
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  01176bd
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  a1430e9
- docs(r3): align T-LBP Summary, lane table, demos with option (b)
  
  briansrls
  and
  cursoragent
  committed
  17b219d
- WIP: R3 Verification
  briansrls
  committed
  97cb411
- WIP: R3 Verification
  briansrls
  committed
  f6f20b3
- Merge remote-tracking branch 'origin/main' into session/cool-owl-579
  briansrls
  committed
  e0e0862

Commits

Commits on May 6, 2026