Real app observations and managed-binary inspection

Before registry advance, both commits:
  Cached Devin version: 3000.12.42
  Managed installed versions: 3000.12.42
  Settings: Devin v3000.12.42 — Available
  Older release executable --version: devin 3000.12.42 (effb2f83afe2)

After advancing cached registry to real release 3000.12.43 and restarting:

BASE f7b81e1d1115bc7284b39161d3cd6c7f3184eb1c
  Settings: Devin v3000.12.43 — Not found
  Message: ACP Registry agent 'devin' has not been prepared on this environment.
  Picker search "Devin": No models found
  Managed installed versions: 3000.12.42
  Current version executable: absent

HEAD ed562dd324cc6f2b9876577827aa091f4e4b3c4b
  Settings: Devin v3000.12.43 — Available
  Picker search "Devin": Default, Devin
  Default option: enabled (no aria-disabled); clicked successfully
  Composer after selection: Default, Code
  Managed installed versions: 3000.12.42, 3000.12.43
  Newly installed executable --version: devin 3000.12.43 (517d03d73926)

No second provider instance was added during the registry advance/recovery.
No authenticated agent turn was launched.