Add run lifecycle report projection

2026-08-06 20:35:13 +08:00
parent 4e78957a60
commit 68921b3f68
13 changed files with 270 additions and 8 deletions
@@ -11,6 +11,10 @@ Generated Run packages SHALL carry a bounded autonomous lifecycle plan that lets
 - **WHEN** the generated Run executable starts on its host
 - **THEN** Run can read the embedded autonomous lifecycle plan and execute plugin-declared init, dependency verification/install, install-if-needed, readiness/status, and start behavior locally

+#### Scenario: Generated Run reports autonomous bootstrap result
+- **WHEN** Run completes an autonomous lifecycle bootstrap action from the embedded plan
+- **THEN** Run reports the terminal lifecycle result to Platform without requiring a Platform job claim, acknowledgement, lease token, or job result
+
 ### Requirement: Platform follows Run-reported lifecycle facts
 Platform SHALL treat persisted server lifecycle state as a projection of Run-reported lifecycle facts, heartbeats, logs, and terminal process reports rather than as authoritative observed process truth.

@@ -22,6 +26,10 @@ Platform SHALL treat persisted server lifecycle state as a projection of Run-rep
 - **WHEN** Run reports that the managed process is running
 - **THEN** Platform projects the server as running based on the Run report

+#### Scenario: Run reports through the signed lifecycle report channel
+- **WHEN** a registered Run submits a terminal lifecycle report for its bound server instance
+- **THEN** Platform validates the active Run session and server binding, records audit evidence, and updates the visible server projection from the reported process facts
+
 ### Requirement: Plugins declare game-specific lifecycle behavior
 Plugins SHALL declare lifecycle action refs, dependency probes, install plans, runtime profiles, log sources, and deployment templates needed by Run, and Platform SHALL NOT hardcode game-specific install, update, status, or startup behavior.