fix(bin): record the harness-declared session pid as the session lock identity - #3122

Closed

tomglenn wants to merge 11 commits into

kunchenguid:mainfrom

tomglenn:fix/session-lock-declared-session-pid

Commits on Aug 26, 2026

test: reproduce the background-session session-lock identity divergence
tomglenn
committed
d592115
fix(bin): record the harness-declared session pid as the lock identity
tomglenn
committed
a17365a
test(bin): add the opt-in guard for the harness session declaration
tomglenn
committed
db32d82
test: cover the daemon-hosted shape in the session-declaration guard
tomglenn
committed
8981b09
docs: record the background-agent session-declaration measurement
tomglenn
committed
e4f0b6f
docs: keep a machine-local path out of the recorded guard evidence
tomglenn
committed
ca613da
no-mistakes(review): restore over-selecting family map and cover declaration guards
tomglenn
committed
fd1ca78
no-mistakes(review): assert the turn-end guard verdict in session-lock fixtures
tomglenn
committed
e9d3248
no-mistakes(document): refresh session-lock identity prose for the declared pid
tomglenn
committed
7223eb8

Commits on Aug 27, 2026