pr #31202 linux runtime verification
head: 556d76a35f872e697e2d24870c821106c5d36e82
baseline github/main: def3722faa36 (separate /home/user/main worktree)

commands and observed results
- installed dependencies with timeout 600 vp i in each checkout.
- ran one dev environment at a time; stopped captured process groups before switching.
- started vp run dev with isolated state. on the older pr head supplied --home-dir /home/user/t3code/.t3 explicitly.
- drove /usr/bin/google-chrome using repository playwright-core. created project /home/user/pr31202-scenario and its thread through the app.
- selected codex gpt-6.1-sol in the composer. main and pr both ran cat README.md and sleep 20 through real provider tools, then returned resource monitor verification and resource-check-ok.
- started the actual electron development client and its managed server using blacksmith-built bundles, the same checkout's native binary, and an isolated basic password store. the pr also completed a second real codex turn (cat README.md; sleep 45), returning desktop-provider-check-ok.
- settings > maintenance > view diagnostics: native and electron collection healthy. live process tree contains the native monitor, server, external electron main and its children; the pr also shows the codex provider. resource history responds to the 15m control.
- captured the real server/native pipe with bounded strace. main registered electron pid 32187 with expected start 1794714667630; its snapshot returned 1794714667000. pr registered pid 43848 with expected start 1794715217470; its snapshot returned 1794715217000. both preserve same-second identity matching. full sanitized samples follow.
- ran six additional real OS-process protocol checks against both binaries: no expected start, matching same-second start, stale identity, next-second identity, nonexistent pid, exited pid. all passed; stale/exited identities were absent from both externalProcesses and selected process rows.
- blacksmith: vp run check:changed FETCH_HEAD (pr parent fetched into remote worker): pass. cargo fmt -- --check: pass. cargo test --locked: 18 passed. cargo build --locked --release: pass. server and desktop bundles: pass. original upstream checks: 28 successful, 0 failing, 0 pending.

limits
this is a behavior-preserving optimization. main already produces correct external-process output. the original row scan was confirmed in main source; no user-visible failure or measurable slowdown was reproduced, and no whole-app speedup or scaling claim is made. windows, macos, native ios/android, tunnel and multi-device behavior were not exercised. desktop initial setup required --password-store=basic because the vm's default credential store stalled. the pr monitor initially needed retry after its built binary was downloaded; it was healthy thereafter. no source changes or pushes were needed.

main real desktop/server/native protocol
{
  "direction": "server -> native",
  "version": 3,
  "type": "setExternalProcesses",
  "processes": [
    {
      "pid": 32187,
      "startTimeMs": 1794714667630
    }
  ]
}
{
  "direction": "native -> server",
  "type": "snapshot",
  "sequence": 10,
  "scanned": 263,
  "retained": 9,
  "externalProcesses": [
    {
      "pid": 32187,
      "startTimeMs": 1794714667000
    }
  ],
  "processes": [
    {
      "pid": 32187,
      "ppid": 32186,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 255168512
    },
    {
      "pid": 32189,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 58097664
    },
    {
      "pid": 32190,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 57802752
    },
    {
      "pid": 32290,
      "ppid": 32189,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 207503360
    },
    {
      "pid": 32294,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 91037696
    },
    {
      "pid": 32332,
      "ppid": 32190,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 838696960
    },
    {
      "pid": 32378,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 296001536
    },
    {
      "pid": 32522,
      "ppid": 32378,
      "startTimeMs": 1794714668000,
      "name": "t3-resource-mon",
      "residentBytes": 3166208
    },
    {
      "pid": 32621,
      "ppid": 32190,
      "startTimeMs": 1794714669000,
      "name": "electron",
      "residentBytes": 392482816
    }
  ]
}
{
  "direction": "native -> server",
  "type": "snapshot",
  "sequence": 11,
  "scanned": 266,
  "retained": 9,
  "externalProcesses": [
    {
      "pid": 32187,
      "startTimeMs": 1794714667000
    }
  ],
  "processes": [
    {
      "pid": 32187,
      "ppid": 32186,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 255098880
    },
    {
      "pid": 32189,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 58097664
    },
    {
      "pid": 32190,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 57802752
    },
    {
      "pid": 32290,
      "ppid": 32189,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 215523328
    },
    {
      "pid": 32294,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 91037696
    },
    {
      "pid": 32332,
      "ppid": 32190,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 860938240
    },
    {
      "pid": 32378,
      "ppid": 32187,
      "startTimeMs": 1794714667000,
      "name": "electron",
      "residentBytes": 297132032
    },
    {
      "pid": 32522,
      "ppid": 32378,
      "startTimeMs": 1794714668000,
      "name": "t3-resource-mon",
      "residentBytes": 3166208
    },
    {
      "pid": 32621,
      "ppid": 32190,
      "startTimeMs": 1794714669000,
      "name": "electron",
      "residentBytes": 401756160
    }
  ]
}

pr real desktop/server/native protocol
{
  "direction": "server -> native",
  "version": 3,
  "type": "setExternalProcesses",
  "processes": [
    {
      "pid": 43848,
      "startTimeMs": 1794715217470
    }
  ]
}
{
  "direction": "native -> server",
  "type": "snapshot",
  "sequence": 5,
  "scanned": 267,
  "retained": 13,
  "externalProcesses": [
    {
      "pid": 43848,
      "startTimeMs": 1794715217000
    }
  ],
  "processes": [
    {
      "pid": 43848,
      "ppid": 43847,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 248410112
    },
    {
      "pid": 43850,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 55070720
    },
    {
      "pid": 43851,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 55504896
    },
    {
      "pid": 43904,
      "ppid": 43850,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 158773248
    },
    {
      "pid": 43908,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 89518080
    },
    {
      "pid": 43934,
      "ppid": 43851,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 838209536
    },
    {
      "pid": 43958,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 281628672
    },
    {
      "pid": 43989,
      "ppid": 43958,
      "startTimeMs": 1794715218000,
      "name": "t3-resource-mon",
      "residentBytes": 3190784
    },
    {
      "pid": 44218,
      "ppid": 43851,
      "startTimeMs": 1794715218000,
      "name": "electron",
      "residentBytes": 387698688
    },
    {
      "pid": 45160,
      "ppid": 43958,
      "startTimeMs": 1794715254000,
      "name": "MainThread",
      "residentBytes": 52592640
    },
    {
      "pid": 45167,
      "ppid": 45160,
      "startTimeMs": 1794715254000,
      "name": "codex",
      "residentBytes": 186126336
    },
    {
      "pid": 45240,
      "ppid": 45167,
      "startTimeMs": 1794715254000,
      "name": "python3",
      "residentBytes": 13828096
    },
    {
      "pid": 45300,
      "ppid": 45167,
      "startTimeMs": 1794715260000,
      "name": "codex-code-mode",
      "residentBytes": 22843392
    }
  ]
}
{
  "direction": "server -> native",
  "version": 3,
  "type": "setExternalProcesses",
  "processes": [
    {
      "pid": 43848,
      "startTimeMs": 1794715217470
    }
  ]
}
{
  "direction": "native -> server",
  "type": "snapshot",
  "sequence": 6,
  "scanned": 266,
  "retained": 13,
  "externalProcesses": [
    {
      "pid": 43848,
      "startTimeMs": 1794715217000
    }
  ],
  "processes": [
    {
      "pid": 43848,
      "ppid": 43847,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 248758272
    },
    {
      "pid": 43850,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 55070720
    },
    {
      "pid": 43851,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 55504896
    },
    {
      "pid": 43904,
      "ppid": 43850,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 123351040
    },
    {
      "pid": 43908,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 89608192
    },
    {
      "pid": 43934,
      "ppid": 43851,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 801587200
    },
    {
      "pid": 43958,
      "ppid": 43848,
      "startTimeMs": 1794715217000,
      "name": "electron",
      "residentBytes": 281575424
    },
    {
      "pid": 43989,
      "ppid": 43958,
      "startTimeMs": 1794715218000,
      "name": "t3-resource-mon",
      "residentBytes": 3190784
    },
    {
      "pid": 44218,
      "ppid": 43851,
      "startTimeMs": 1794715218000,
      "name": "electron",
      "residentBytes": 385437696
    },
    {
      "pid": 45160,
      "ppid": 43958,
      "startTimeMs": 1794715254000,
      "name": "MainThread",
      "residentBytes": 52592640
    },
    {
      "pid": 45167,
      "ppid": 45160,
      "startTimeMs": 1794715254000,
      "name": "codex",
      "residentBytes": 186163200
    },
    {
      "pid": 45240,
      "ppid": 45167,
      "startTimeMs": 1794715254000,
      "name": "python3",
      "residentBytes": 13828096
    },
    {
      "pid": 45300,
      "ppid": 45167,
      "startTimeMs": 1794715260000,
      "name": "codex-code-mode",
      "residentBytes": 22843392
    }
  ]
}

main neighboring identity checks
{
  "binary": "/home/user/main/native/resource-monitor/target/release/t3-resource-monitor",
  "protocol": 3,
  "sidecarPid": 48463,
  "targetPid": 48462
}
{
  "label": "live PID without expected start",
  "configured": [
    {
      "pid": 48462
    }
  ],
  "externalProcesses": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000
    }
  ],
  "selected": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000,
      "residentBytes": 44597248,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 264,
  "retained": 1
}
{
  "label": "same-second identity accepted",
  "configured": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475999
    }
  ],
  "externalProcesses": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000
    }
  ],
  "selected": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000,
      "residentBytes": 44597248,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 264,
  "retained": 1
}
{
  "label": "stale identity rejected",
  "configured": [
    {
      "pid": 48462,
      "startTimeMs": 1794715474999
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 264,
  "retained": 0
}
{
  "label": "next-second identity rejected",
  "configured": [
    {
      "pid": 48462,
      "startTimeMs": 1794715476000
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 264,
  "retained": 0
}
{
  "label": "missing PID ignored; matching PID retained",
  "configured": [
    {
      "pid": 4294967295
    },
    {
      "pid": 48462,
      "startTimeMs": 1794715475000
    }
  ],
  "externalProcesses": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000
    }
  ],
  "selected": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000,
      "residentBytes": 44597248,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 264,
  "retained": 1
}
{
  "label": "exited PID removed",
  "configured": [
    {
      "pid": 48462,
      "startTimeMs": 1794715475000
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 263,
  "retained": 0
}
{
  "result": "6 real-process protocol checks passed"
}

pr neighboring identity checks
{
  "binary": "/home/user/t3code/native/resource-monitor/target/release/t3-resource-monitor",
  "protocol": 3,
  "sidecarPid": 47780,
  "targetPid": 47779
}
{
  "label": "live PID without expected start",
  "configured": [
    {
      "pid": 47779
    }
  ],
  "externalProcesses": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000
    }
  ],
  "selected": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000,
      "residentBytes": 44646400,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 263,
  "retained": 1
}
{
  "label": "same-second identity accepted",
  "configured": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435999
    }
  ],
  "externalProcesses": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000
    }
  ],
  "selected": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000,
      "residentBytes": 44646400,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 263,
  "retained": 1
}
{
  "label": "stale identity rejected",
  "configured": [
    {
      "pid": 47779,
      "startTimeMs": 1794715434999
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 263,
  "retained": 0
}
{
  "label": "next-second identity rejected",
  "configured": [
    {
      "pid": 47779,
      "startTimeMs": 1794715436000
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 263,
  "retained": 0
}
{
  "label": "missing PID ignored; matching PID retained",
  "configured": [
    {
      "pid": 4294967295
    },
    {
      "pid": 47779,
      "startTimeMs": 1794715435000
    }
  ],
  "externalProcesses": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000
    }
  ],
  "selected": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000,
      "residentBytes": 44646400,
      "command": "/home/user/.nvm/versions/node/v24.22.1/bin/node -e setInterval(()=>{},1000)"
    }
  ],
  "scanned": 263,
  "retained": 1
}
{
  "label": "exited PID removed",
  "configured": [
    {
      "pid": 47779,
      "startTimeMs": 1794715435000
    }
  ],
  "externalProcesses": [],
  "selected": [],
  "scanned": 262,
  "retained": 0
}
{
  "result": "6 real-process protocol checks passed"
}