fix: verify GitHub pull request merge outcomes - #3064

Open

wjkawecki-jt wants to merge 12 commits into

kunchenguid:mainfrom

wjkawecki-jt:fm/fm-pr-merge-verify-outcome

Commits on Aug 25, 2026

fix(pr): verify GitHub merge outcome
wjkawecki-jt
committed
963bd5b
no-mistakes(review): Captain, fixed forge-only merge verification, queue guidance, metadata propagation
wjkawecki-jt
committed
ca10133
no-mistakes(document): Correct forge-specific merge documentation
wjkawecki-jt
committed
7aaa505
no-mistakes(review): Captain: forge-only queue fix, focused tests pass
wjkawecki-jt
committed
7979922
no-mistakes(review): Captain: suppress closed-state guidance and prove parent regression
wjkawecki-jt
committed
b9a3381
no-mistakes(review): Captain: remove history proof; retain executable regressions
wjkawecki-jt
committed
02e5a90
no-mistakes(document): Clarify GitHub recording timing in architecture docs
wjkawecki-jt
committed
174949d
no-mistakes(document): Clarify outcome-aware PR merge recording documentation
wjkawecki-jt
committed
d837333
no-mistakes: apply CI fixes
wjkawecki-jt
committed
c326cfa
Revert "no-mistakes: apply CI fixes"
wjkawecki-jt
committed
d40996b
fix(pr): keep PR bookkeeping when a merge outcome read fails
wjkawecki-jt
committed
fe84433
no-mistakes(review): Aggregate queue rules and report conflicts explicitly
wjkawecki-jt
committed
677208f