Repository navigation

feat(50)!: addressable monitor liveness without a PID (SUPV-01) - #225

Merged

denniyahh merged 112 commits into

developfrom

feature/phase-50-pr

Oct 22, 2026

Merged

feat(50)!: addressable monitor liveness without a PID (SUPV-01)#225
denniyahh merged 112 commits into
developfrom
feature/phase-50-pr

Commits on Oct 22, 2026
- test(50-02): add failing 999.141 home-isolation and scan tests
  
  denniyahh
  and
  claude
  committed
  0710033
- feat(50-02): implement hermetic devflow builder and source scan
  
  denniyahh
  and
  claude
  committed
  d48c95e
- test(50-02): run start_lock_e2e and stop_e2e through the hermetic builder
  
  denniyahh
  and
  claude
  committed
  2d4fbf5
- test(50-03): run phase7_cli and gate e2e suites hermetically
  
  denniyahh
  and
  claude
  committed
  4f18d28
- test(50-03): migrate five more e2e suites and pin dry-run stray pass
  
  denniyahh
  and
  claude
  committed
  3213f53
- test(50-04): add failing test for recycled-pid lock reclaim
  
  denniyahh
  and
  claude
  committed
  98bb5cc
- feat(50-04): reclaim a lock whose live pid was recycled
  
  denniyahh
  and
  claude
  committed
  06db94c
- test(50-04): pin the repair at a recycled-pid lock end to end
  
  denniyahh
  and
  claude
  committed
  3fedc45
- test(50-03): skip suite_reap_audit under cargo-nextest
  
  denniyahh
  and
  claude
  committed
  811d6f5
- test(50-05): add failing probe tests for Gone, Stale and Alive
  
  denniyahh
  and
  claude
  committed
  c13feca
- feat(50-05): probe a recorded socket into Gone, Stale or Alive
  
  denniyahh
  and
  claude
  committed
  dc98124
- test(50-05): pin probe totality and the per-fixture liveness table
  
  denniyahh
  and
  claude
  committed
  7931f64
- test(50-05): pin the sun_path bound and the atomic socket publish
  
  denniyahh
  and
  claude
  committed
  861ed1f
- test(50-06): add failing tests for sidecar and state-less sweep
  
  denniyahh
  and
  claude
  committed
  18e6c95
- feat(50-06): sidecar and read-only sweep by root and phase
  
  denniyahh
  and
  claude
  committed
  103354c
- test(50-06): add failing tests for read-only sweep and shutdown client
  
  denniyahh
  and
  claude
  committed
  3ec0637
- feat(50-06): acting launch-file removal and shutdown client
  
  denniyahh
  and
  claude
  committed
  002fc02
- test(50-06): add failing test for persisted supervisor record
  
  denniyahh
  and
  claude
  committed
  cfe873b
- feat(50-06): persist State::supervisor
  
  denniyahh
  and
  claude
  committed
  dd2f130
- test(50-21): migrate three e2e suites to the hermetic builder
  
  denniyahh
  and
  claude
  committed
  29a7660
- test(50-21): finish hermetic e2e migration and pin binary naming
  
  denniyahh
  and
  claude
  committed
  820956c
- test(50-07): add failing tracer tests for the supervisor runtime
  
  denniyahh
  and
  claude
  committed
  71201d9
- feat(50-07): stop the agent group on a socket shutdown and report it
  
  denniyahh
  and
  claude
  committed
  12396cb
- test(50-07): prove a stop racing natural completion never advances (V-14)
  
  denniyahh
  and
  claude
  committed
  ff46146
- test(50-07): fail V-14 instead of hanging when a window is unreached
  
  denniyahh
  and
  claude
  committed
  7f7305c
- test(50-07): add failing signal-pipe and TERM-ignoring member tests
  
  denniyahh
  and
  claude
  committed
  d234bb7
- feat(50-07): deliver SIGTERM and SIGINT as stop events via a self-pipe
  
  denniyahh
  and
  claude
  committed
  629c55b
- test(50-07): pin the final line a parked shutdown caller hears
  
  denniyahh
  and
  claude
  committed
  c484f8d
- test(50-08): add failing capture-shape tracer for run_supervised_stage
  
  denniyahh
  and
  claude
  committed
  98209aa
- feat(50-08): run the capture shape under an addressed supervisor
  
  denniyahh
  and
  claude
  committed
  5c5c86d
- refactor(50-08): share the stream I/O loop with run_supervised_stage
  
  denniyahh
  and
  claude
  committed
  c5480fd
- test(50-08): add failing stream-shape, own-group and liveness tests
  
  denniyahh
  and
  claude
  committed
  805a759
- feat(50-08): run the stream shape on the same supervisor body
  
  denniyahh
  and
  claude
  committed
  223550a
- test(50-08): prove stop semantics and the R-A..R-M table for both shapes
  
  denniyahh
  and
  claude
  committed
  1956ebf
- test(50-08): gate the V-08 constants to Linux with their test
  
  denniyahh
  and
  claude
  committed
  60ba2a7
- test(50-09): add failing tracer test for the stale-socket backstop
  
  denniyahh
  and
  claude
  committed
  69f2a06
- feat(50-09): tear down a validated group behind a STALE socket
  
  denniyahh
  and
  claude
  committed
  fb44315
- test(50-09): add failing tests for the refusal text and unsound targets
  
  denniyahh
  and
  claude
  committed
  cf25c8b
- feat(50-09): describe every backstop decision for the CLI
  
  denniyahh
  and
  claude
  committed
  b460408
- test(50-09): pin the classifier table and the kernel-capability check
  
  denniyahh
  and
  claude
  committed
  b437bb0
- test(50-10): add failing tracer for the in-crate monitor harness entry
  
  denniyahh
  and
  claude
  committed
  d481b01
- feat(50-10): re-enter in-crate stream monitors at a test harness entry
  
  denniyahh
  and
  claude
  committed
  26fdc5b
- test(50-10): run every in-crate child test with a hermetic cache dir
  
  denniyahh
  and
  claude
  committed
  6633b34
- test(50-24): add failing tracer for the publish wait's teardown
  
  denniyahh
  and
  claude
  committed
  1306fc7
- feat(50-24): end an unpublished supervisor and the agent group it started
  
  denniyahh
  and
  claude
  committed
  5712478
- test(50-24): add failing tests for the pre-publish agent teardown
  
  denniyahh
  and
  claude
  committed
  3bafbd4
- feat(50-24): end a pre-publish agent group in the stage and launcher
  
  denniyahh
  and
  claude
  committed
  4e68909
- test(50-11): add failing tests for the published supervisor launch
  
  denniyahh
  and
  claude
  committed
  1b810f9
- feat(50-11): launch both shapes under the published Rust supervisor
  
  denniyahh
  and
  claude
  committed
  1a6e59f
- test(50-11): end launched runs through the supervisor socket
  
  denniyahh
  and
  claude
  committed
  033bd34
- test(50-11): prove the cache-dir socket, CLI SIGTERM stop and capture result
  
  denniyahh
  and
  claude
  committed
  b82f138
- test(50-12): add failing tests for probe-answered status liveness
  
  denniyahh
  and
  claude
  committed
  ab5845f
- feat(50-12): answer status and cleanup liveness from the supervisor socket
  
  denniyahh
  and
  claude
  committed
  c4b6e6c
- test(50-12): add failing tests for doctor's supervisor check
  
  denniyahh
  and
  claude
  committed
  6a0f0a6
- feat(50-12): report supervisor liveness in doctor and doctor --json
  
  denniyahh
  and
  claude
  committed
  b96771c
- test(50-12): add failing tests for the orphan sweep and 2.x census
  
  denniyahh
  and
  claude
  committed
  7ccc11d
- feat(50-12): add doctor's read-only orphan supervisor sweep
  
  denniyahh
  and
  claude
  committed
  d9248b5
- test(50-13): add failing tests for the publish-before-unlink handoff
  
  denniyahh
  and
  claude
  committed
  3e7a3af
- feat(50-13): publish the next supervisor before the old one unlinks
  
  denniyahh
  and
  claude
  committed
  8a97aeb
- test(50-13): add failing tests for advance safe points and stopped state
  
  denniyahh
  and
  claude
  committed
  f2f8a6d
- feat(50-13): honour a stop at the advance safe points
  
  denniyahh
  and
  claude
  committed
  08d130e
- test(50-13): add failing tests for the cancellable gate wait
  
  denniyahh
  and
  claude
  committed
  d19be85
- feat(50-13): make the advance gate wait cancellable by a stop
  
  denniyahh
  and
  claude
  committed
  978a63e
- test(50-12): add failing tests for a ping closed under the probe
  
  denniyahh
  and
  claude
  committed
  7641c39
- fix(50-12): re-probe a socket whose ping connection closes under it
  
  denniyahh
  and
  claude
  committed
  37fa4e2
- test(50-14): add failing tests for stop through the supervisor socket
  
  denniyahh
  and
  claude
  committed
  f6bf3d3
- feat(50-14): stop a live run through its supervisor socket
  
  denniyahh
  and
  claude
  committed
  d0c3dfe
- test(50-14): add failing tests for stop on a STALE or unprobeable socket
  
  denniyahh
  and
  claude
  committed
  3618631
- feat(50-14): tear a STALE supervisor socket down through the backstop
  
  denniyahh
  and
  claude
  committed
  7fa533b
- test(50-14): add failing tests for stop --launch and recover's live refusal
  
  denniyahh
  and
  claude
  committed
  7f02a05
- feat(50-14): add stop --launch and refuse recover --clean on a live run
  
  denniyahh
  and
  claude
  committed
  59c7940
- test(50-14): prove --launch on a deleted root and the recorded launch
  
  denniyahh
  and
  claude
  committed
  bbc9fa9
- test(50-23): add failing tests for clearing the record on a failed launch
  
  denniyahh
  and
  claude
  committed
  85e1dc7
- feat(50-23): clear the supervisor record on a refused or failed launch
  
  denniyahh
  and
  claude
  committed
  91d252c
- test(50-23): add failing tests for the publish save and its stops
  
  denniyahh
  and
  claude
  committed
  be9bd7a
- feat(50-23): shut down an unrecorded successor and record a stop it took
  
  denniyahh
  and
  claude
  committed
  cd9235c
- test(50-23): add failing tests for forwarding a late stop to N+1
  
  denniyahh
  and
  claude
  committed
  695d483
- feat(50-23): forward a stop that reaches N after safe point 3 to N+1
  
  denniyahh
  and
  claude
  committed
  d005710
- test(50-15): add failing tests for the launch guard over a corrupt state
  
  denniyahh
  and
  claude
  committed
  8545c11
- feat(50-15): find a live run through its socket when the state will not load
  
  denniyahh
  and
  claude
  committed
  f5989de
- test(50-15): prove two racing starts yield one live supervisor (V-12)
  
  denniyahh
  and
  claude
  committed
  9bd3714
- refactor(50-22): record only the supervisor on a launch
  
  denniyahh
  and
  claude
  committed
  e97d5fc
- refactor(50-22): drop the CLI's last monitor pid reads
  
  denniyahh
  and
  claude
  committed
  e3b3613
- refactor(50-16)!: remove State's monitor pid field
  
  denniyahh
  and
  claude
  committed
  b46ece1
- fix(50-16): skip the 0o000 socket-dir tests when running as root
  
  denniyahh
  and
  claude
  committed
  8b291c4
- docs(50-17): document run liveness and the socket-based stop arms
  
  denniyahh
  and
  claude
  committed
  e5cc48d
- docs(50-17): state socket supervision is unverified on macOS
  
  denniyahh
  and
  claude
  committed
  55046bb
- docs(50-17): show the in-process advance in the agent lifecycle diagram
  
  denniyahh
  and
  claude
  committed
  ac8a8a5
- fix(50-09): point the backstop's group hint at pgrep -g, not ps -g
  
  denniyahh
  and
  claude
  committed
  5b6e218
- test(50-02): wait out a run's unrecorded supervisors before the root drops
  
  denniyahh
  and
  claude
  committed
  70014bf
- test(50-16): run the unlistable socket-dir tests as root too
  
  denniyahh
  and
  claude
  committed
  e3493ea
- docs(50-13): describe the supervisor's cancellable gate poll
  
  denniyahh
  and
  claude
  committed
  c1ee968
- fix(50-14): name `devflow stop` in cleanup's live-run refusal
  
  denniyahh
  and
  claude
  committed
  28b57c5
- fix(50-11): name the capture supervisor in the auto-mode refusal
  
  denniyahh
  and
  claude
  committed
  0c66b16
- test(50): reproduce a stop lost to the --yes-ship merge (CR-01)
  
  denniyahh
  and
  claude
  committed
  f090a5e
- fix(50): honour a stop before yes-ship approval and finalization (CR-01)
  
  denniyahh
  and
  claude
  committed
  8d16e3f
- test(50-26): add a test-support hold before the stream-thread wait
  
  denniyahh
  and
  claude
  committed
  d6a7335
- test(50-26): reproduce a supervisor stuck on a held stdout (WR-03)
  
  denniyahh
  and
  claude
  committed
  7af56e2
- fix(50-26): end the stream wait at the agent's exit and bound the thread join (WR-03)
  
  denniyahh
  and
  claude
  committed
  010f4f9
- test(50-26): pin the stream wait fix for stopped and real-binary runs
  
  denniyahh
  and
  claude
  committed
  d3dfe5c
- test(48): check the response before the state in the park control
  
  denniyahh
  and
  claude
  committed
  ce86f30
- fix(50-review): refuse a placeholder identity in the backstop
  
  denniyahh
  and
  claude
  committed
  6ce762a
- docs(50-review): correct the stop row's lock and recording claims
  
  denniyahh
  and
  claude
  committed
  f1fcff1
- fix(50-review): sweep for live sockets when the state file is missing
  
  denniyahh
  and
  claude
  committed
  22596f2
- fix(50-review): make recover --clean use the launch guard's liveness
  
  denniyahh
  and
  claude
  committed
  0eb2eba
- fix(50-review): accept only new_launch_id's format from disk
  
  denniyahh
  and
  claude
  committed
  3f94335
- fix(50-review): never replace an existing sidecar at a launch's name
  
  denniyahh
  and
  claude
  committed
  1046865
- fix(50-review): wait out a stopped supervisor's lock wait in stop
  
  denniyahh
  and
  claude
  committed
  566e3ee
- fix(50-review): stop an unrecorded supervisor through its socket
  
  denniyahh
  and
  claude
  committed
  3062c27
- docs(50-review): say recover --clean --phase refuses a live run
  
  denniyahh
  and
  claude
  committed
  2635dbf
- fix(50): count only live members when probing whether a group is gone
  
  denniyahh
  and
  claude
  committed
  a265527
- ci(50): run the suite's container jobs with --init
  
  denniyahh
  and
  claude
  committed
  673e9fb

Commits

Commits on Oct 22, 2026