fix(bin): identify the session lock holder from executable identity - #3

Merged

adriantoczydlowski merged 20 commits into

mainfrom

fm/fm-session-lock-identity

Sep 9, 2026

Commits on Aug 24, 2026

fix: decide session-lock ownership by session, not by process tree
Adrian Toczydlowski
committed
e2fe5b7
docs: state the launch-marker scope limit where the contract lives
Adrian Toczydlowski
committed
db797f4
no-mistakes(review): make session-cohort proof symmetric and stop sampling fail closed
Adrian Toczydlowski
committed
9560ddb
no-mistakes(review): narrow MainThread identity and report the real fail-open cause
Adrian Toczydlowski
committed
2932ca7
no-mistakes(review): isolate autoarm fixtures and guard the sample-gap validation
Adrian Toczydlowski
committed
af5014b
no-mistakes(review): refuse guessed MainThread scripts and own the signal list
Adrian Toczydlowski
committed
503ff21
no-mistakes(review): scope the argv match claims and unify the yield decision
Adrian Toczydlowski
committed
c2175bc
no-mistakes(review): scope launch markers to the harness that exports them
Adrian Toczydlowski
committed
a9425ca
no-mistakes(review): narrow bare-interpreter identity to pre-flag argv path components
Adrian Toczydlowski
committed
789f22e
no-mistakes(review): type cohort acceptance from executable identity only
Adrian Toczydlowski
committed
fdbe22d
fix: type acceptance from the command name a real install reports
Adrian Toczydlowski
committed
27af517
no-mistakes(review): announce reclaims of live but unidentified lock holders
Adrian Toczydlowski
committed
c67c1e2
no-mistakes(review): name the co-located holder and state the residual read race
Adrian Toczydlowski
committed
a2ec599
no-mistakes(review): defer the race statement and guard the ancestry matcher
Adrian Toczydlowski
committed
e241586
no-mistakes(review): state the general cause of an announced lock reclaim
Adrian Toczydlowski
committed
9b81a43
no-mistakes(review): order launch markers by process start time
Adrian Toczydlowski
committed
03826bd
no-mistakes(test): register tests/session-signals.sh in changed-test map
Adrian Toczydlowski
committed
66419f3
no-mistakes(document): widen FM_PROC_ROOT_OVERRIDE scope, add launch-marker verification pointer
Adrian Toczydlowski
committed
96a879c

Commits on Sep 8, 2026

Merge remote-tracking branch 'fork/main' into fm/fm-session-lock-land-96a
Adrian Toczydlowski
committed
f679ccd
fix(test): open fm-session-lock-identity-live-e2e with the shared fm_live_gate
Adrian Toczydlowski
committed
0dc5056

Navigation Menu

fix(bin): identify the session lock holder from executable identity - #3

fix(bin): identify the session lock holder from executable identity#3
adriantoczydlowski merged 20 commits into
mainfrom
fm/fm-session-lock-identity

Commits on Aug 24, 2026

fix: decide session-lock ownership by session, not by process tree

docs: state the launch-marker scope limit where the contract lives

no-mistakes(review): make session-cohort proof symmetric and stop sampling fail closed

no-mistakes(review): narrow MainThread identity and report the real fail-open cause

no-mistakes(review): isolate autoarm fixtures and guard the sample-gap validation

no-mistakes(review): refuse guessed MainThread scripts and own the signal list

no-mistakes(review): scope the argv match claims and unify the yield decision

no-mistakes(review): scope launch markers to the harness that exports them

no-mistakes(review): narrow bare-interpreter identity to pre-flag argv path components

no-mistakes(review): type cohort acceptance from executable identity only

fix: type acceptance from the command name a real install reports

no-mistakes(review): announce reclaims of live but unidentified lock holders

no-mistakes(review): name the co-located holder and state the residual read race

no-mistakes(review): defer the race statement and guard the ancestry matcher

no-mistakes(review): state the general cause of an announced lock reclaim

no-mistakes(review): order launch markers by process start time

no-mistakes(test): register tests/session-signals.sh in changed-test map

no-mistakes(document): widen FM_PROC_ROOT_OVERRIDE scope, add launch-marker verification pointer

Commits on Sep 8, 2026

Merge remote-tracking branch 'fork/main' into fm/fm-session-lock-land-96a

fix(test): open fm-session-lock-identity-live-e2e with the shared fm_live_gate