# Aggregate Starter Train In Premium Proof Summary

Status: historical. The first-class proof runner has been removed; `cp9 status`
still reads historical proof-summary artifacts when present.

The merged Premium runtime should close with one session-level summary for the session. The separated `starter-openapi` skill remains the Starter-owned entry point for generating and executing Starter Train A, and it writes its own Starter artifacts. This follows the Dedicated precedent: imported product-specific trains can be summarized in one operator-visible Premium session closeout without making their product semantics part of Premium OpenAPI guidance.

Starter artifacts summarized in Premium closeout must keep a Starter-specific proof namespace and group label. Historical proof summary reports should not use the generic non-Dedicated fallback of `Premium OpenAPI` for Starter evidence because that would make the session closeout contradict the separated Starter skill ownership.

Starter train aggregation must validate the Starter artifact contract directly (`requests.jsonl`, `proof-summary.json`, endpoint/SQL proof, and cleanup proof) instead of accepting only the generic train `summary.json` contract used by older Premium trains. A `STARTER-*` train artifact is not acceptable unless `pkg/cp9test.ValidateStarterProofArtifacts` can prove the recorded OpenAPI requests, public endpoint, host SQL proof, and product cleanup proof, including both `ClusterService_DeleteCluster` success and a post-delete `ClusterService_GetCluster` 404 verification.

The first retargeted Starter lifecycle-smoke proof uses train key `STARTER-A` and group label `Starter OpenAPI`. The prefixed key preserves the existing human-facing Train A name from `starter-openapi`, avoids collision with any future Premium `A`, and matches the Dedicated precedent where imported product-specific trains are recognizable by prefix.

The Starter train does not run `cp9 destroy` in the merged flow. It produces product-level train artifacts first; the Premium session closeout then summarizes selected Premium, Dedicated, and Starter train artifacts and owns final cleanup/destroy once for the session.