docs(package): record update rollback smoke validation

Author: ImperaZim

CHANGELOG.md

@@ -173,6 +173,10 @@ elprobe run <package>
 - Validated the leaf-package remove/reinstall cycle with `libform`:
   remove while active, restart detached, reinstall from release asset, restart
   active again and pass `elprobe run libform`.
+- Validated the update/rollback restart cycle with `libform`: update from
+  `2.0.0` to `2.0.0-dev` using the official development release asset, restart
+  active on dev, rollback to local `2.0.0`, restart active on stable and pass
+  `elprobe run libform` after both restarts.
 
 ### Package doctor and recovery
 

changelogs/3.0.md

@@ -399,6 +399,89 @@ Validation:
 The dry-run and apply output both mention the allowlist and state that installed
 package versions and backups are preserved.
 
+### Update and rollback restart validation
+
+The package lifecycle was validated with a real second version, not only with a
+same-version reinstall.
+
+Test target:
+
+```text
+Package: LibForm
+Stable version: 2.0.0
+Development version: 2.0.0-dev
+Development release: https://github.com/ImperaZim/LibForm/releases/tag/v2.0.0-dev
+Development asset: LibForm-2.0.0-dev.easylib.zip
+```
+
+Update flow:
+
+```text
+/easylibrary packages update libform development
+/easylibrary packages update libform development confirm
+/easylibrary packages status libform
+/easylibrary packages doctor
+restart
+/easylibrary packages status libform
+/easylibrary packages doctor
+elprobe run libform
+```
+
+Observed before restart:
+
+```text
+libform / LibForm v2.0.0-dev [installed-pending-restart]
+Packages: 13 / installed: 13 / active: 12 / pending restart: 1
+Problems: 0
+```
+
+Observed after restart:
+
+```text
+libform / LibForm v2.0.0-dev [active]
+Packages: 13 / installed: 13 / active: 13 / pending restart: 0
+functional=yes source=package-backed-plugin
+```
+
+Rollback flow:
+
+```text
+/easylibrary packages rollback libform 2.0.0
+/easylibrary packages rollback libform 2.0.0 confirm
+/easylibrary packages status libform
+/easylibrary packages doctor
+restart
+/easylibrary packages status libform
+/easylibrary packages doctor
+elprobe run libform
+```
+
+Observed before restart:
+
+```text
+libform / LibForm v2.0.0 [installed-pending-restart]
+Active runtime path: .../packages/libform/2.0.0-dev
+Staged package path: .../packages/libform/2.0.0
+Pending restart operation: rollback -> v2.0.0.
+Packages: 13 / installed: 13 / active: 12 / pending restart: 1
+Problems: 0
+```
+
+Observed after restart:
+
+```text
+libform / LibForm v2.0.0 [active]
+Packages: 13 / installed: 13 / active: 13 / pending restart: 0
+functional=yes source=package-backed-plugin
+```
+
+This proves the key 3.0-dev package lifecycle rule:
+
+```text
+Package install, update, remove and rollback are restart-safe ownership
+operations. They do not hot-swap already loaded PHP code.
+```
+
 ### Release asset install validation
 
 The full package-backed server was rebuilt from official GitHub Release

docs/smoke-tests.md

@@ -484,7 +484,7 @@ Pass criteria:
 
 ## Scenario I: update-restart
 
-Status target: required before stable.
+Status: passed on 2026-06-20 with `libform`.
 
 Purpose:
 
@@ -495,24 +495,32 @@ after restart.
 
 Precondition:
 
-At least two package versions must be available in the official package index or
-local release assets.
+At least two package versions must be available in official GitHub Release
+assets. The 2026-06-20 validation used:
+
+```text
+stable:      LibForm v2.0.0
+development: LibForm v2.0.0-dev
+asset:       LibForm-2.0.0-dev.easylib.zip
+release:     https://github.com/ImperaZim/LibForm/releases/tag/v2.0.0-dev
+```
 
 Steps:
 
 ```text
-/easylibrary packages status libserializer
-/easylibrary packages update libserializer stable
-/easylibrary packages update libserializer stable confirm
+/easylibrary config doctor
+/easylibrary packages update libform development
+/easylibrary packages update libform development confirm
+/easylibrary packages status libform
 /easylibrary packages doctor
 ```
 
 Restart, then validate:
 
 ```text
-/easylibrary packages status libserializer
+/easylibrary packages status libform
 /easylibrary packages doctor
-/elprobe run libserializer
+/elprobe run libform
 ```
 
 Expected:
@@ -525,13 +533,21 @@ Expected:
 Pass criteria:
 
 ```text
-Before restart: staged target visible
-After restart: active target visible
+Before restart: libform / LibForm v2.0.0-dev [installed-pending-restart]
+Before restart: Packages: 13 / installed: 13 / active: 12 / pending restart: 1
+After restart:  libform / LibForm v2.0.0-dev [active]
+After restart:  Packages: 13 / installed: 13 / active: 13 / pending restart: 0
 functional=yes
 ```
 
-If no second version exists yet, mark this scenario as blocked by release asset
-availability, not failed.
+Observed notes:
+
+- dry-run reported current version `2.0.0` and target `2.0.0-dev`;
+- confirm downloaded from official GitHub Releases;
+- checksum verification passed;
+- before restart, doctor showed the staged package target and no problems;
+- after restart, stale restart markers were cleared because the package-backed
+  proxy loaded the staged path.
 
 ## Scenario J: remove-restart
 
@@ -580,7 +596,7 @@ No broken proxy left active
 
 ## Scenario K: rollback-restart
 
-Status target: required before stable.
+Status: passed on 2026-06-20 with `libform`.
 
 Purpose:
 
@@ -591,22 +607,25 @@ after restart.
 
 Precondition:
 
-At least one previous local version or backup must exist.
+At least one previous local version or backup must exist. The 2026-06-20
+validation rolled back from `LibForm 2.0.0-dev` to the already installed local
+`LibForm 2.0.0` package directory.
 
 Steps:
 
 ```text
-/easylibrary packages rollback libserializer
-/easylibrary packages rollback libserializer <version> confirm
+/easylibrary packages rollback libform 2.0.0
+/easylibrary packages rollback libform 2.0.0 confirm
+/easylibrary packages status libform
 /easylibrary packages doctor
 ```
 
 Restart, then validate:
 
 ```text
-/easylibrary packages status libserializer
+/easylibrary packages status libform
 /easylibrary packages doctor
-/elprobe run libserializer
+/elprobe run libform
 ```
 
 Expected:
@@ -618,13 +637,22 @@ Expected:
 Pass criteria:
 
 ```text
-Selected version active after restart
+Before restart: libform / LibForm v2.0.0 [installed-pending-restart]
+Before restart: active runtime path points to libform/2.0.0-dev
+Before restart: staged package path points to libform/2.0.0
+After restart:  libform / LibForm v2.0.0 [active]
 Problems: 0
 functional=yes
 ```
 
-If no rollback target exists yet, mark this scenario as blocked by local target
-availability, not failed.
+Observed notes:
+
+- dry-run listed the rollback target and planned state/lock/restart/proxy
+  writes;
+- confirm regenerated the package-backed proxy for the stable target;
+- before restart, doctor kept the rollback pending because the active runtime
+  was still the dev path;
+- after restart, doctor returned to `13 active / 0 pending / 0 problems`.
 
 ## Scenario L: cleanup-safety
 
@@ -843,8 +871,7 @@ Before tagging `3.0.0`, these must be true:
 - `mixed-standalone`, `standalone-to-package` and `package-to-standalone` pass.
 - `command-provider-fallback` passes.
 - `config-split` passes.
-- `update-restart`, `remove-restart` and `rollback-restart` pass or are
-  explicitly blocked by missing release assets and documented.
+- `update-restart`, `remove-restart` and `rollback-restart` pass.
 - `cleanup-safety` passes.
 - `proxy-recovery` passes.
 - `no-devtools-no-probe` passes with a real PHAR.