Add maintained peer lab runner evidence package manifest

Author: ammarheidari

README.md

@@ -65,7 +65,7 @@ The first production milestone is M3UA over a transport abstraction. SCCP, TCAP,
 | Interoperability lab | Phase 9 foundation-ready: lab scenario catalog, artifact manifests, run reports, external peer M3UA ASP-to-SG template, trace comparison, evidence promotion, opt-in CI profile, readiness report, and commercial gate integration added; production readiness still requires passing external lab evidence |
 | Maintained peer lab automation | Phase 28 foundation-ready: executable run manifest, deterministic environment file rendering, command script rendering, artifact digest manifests, comparison report, run report, evidence bundle, manual self-hosted workflow template, commercial readiness bridge, and automation status reporting are available; commercial release still requires real retained maintained-peer evidence |
 | Maintained peer lab runner | Phase 29 foundation-ready: runner workspace, execution input bundle, output artifact materialization, preflight, command manifest, evidence collection, digest generation, comparison handoff, workflow readiness, and status reporting contracts are available; commercial release still requires execution against a real maintained external peer |
-| Maintained peer lab runner operations | Phase 30 in progress: file materialization plan rendering, execution log, command outcome, artifact verification, runner provenance, failure classification, and retry policy contracts are available; commercial release still requires execution against a real maintained external peer |
+| Maintained peer lab runner operations | Phase 30 in progress: file materialization plan rendering, execution log, command outcome, artifact verification, runner provenance, failure classification, retry policy, and evidence package manifest contracts are available; commercial release still requires execution against a real maintained external peer |
 
 ## Requirements
 
@@ -217,7 +217,7 @@ The roadmap is intentionally conservative:
 Phase 27 completed the maintained external peer lab foundation, including package-neutral binding, host prerequisites, validated lab configuration, deterministic artifact planning, command planning, traffic vectors, manual self-hosted CI policy, digest-covered retained evidence gates, and status reporting.
 Phase 28 completed the automation and evidence handoff layer above that foundation, including a single run manifest, deterministic environment file rendering, command script rendering, comparison reporting, run reporting, digest manifests, an evidence bundle, a manual self-hosted workflow template, a commercial readiness bridge, and automation status reporting for retained lab artifact handoff.
 Phase 29 completed the maintained peer lab runner materialization layer, including deterministic runner workspace paths, execution input bundles, output artifact mapping, preflight checks, command manifests, evidence collection, digest generation, comparison handoff, workflow readiness, and status reporting for real lab execution.
-Phase 30 operationalizes the maintained peer lab runner layer, starting with reviewable file materialization, structured execution logs, command outcomes, artifact verification, runner provenance, failure classification, and retry policy for real lab execution.
+Phase 30 operationalizes the maintained peer lab runner layer, starting with reviewable file materialization, structured execution logs, command outcomes, artifact verification, runner provenance, failure classification, retry policy, and evidence package manifests for real lab execution.
 5. Harden MAP SMS with external interoperability vectors and operator-profile validation.
 6. Use completed interoperability tooling to run external lab validation, native SCTP verification, and release automation hardening.
 7. Complete commercial readiness gates and publish governed release candidates.

docs/PHASE30_MAINTAINED_PEER_LAB_RUNNER_OPERATIONALIZATION.md

@@ -92,6 +92,19 @@ This gives operator and CI handoff a deterministic diagnosis surface when a main
 
 The default policy treats command and selected comparison failures as potentially transient, while preflight, artifact, digest, provenance, and run-report failures require operator or environment correction.
 
+## Unit 8 - Evidence Package Manifest
+
+`SigtranMaintainedPeerLabRunnerEvidencePackageManifest` now gathers verified runner outputs into a reviewable handoff package. It records:
+
+- Retained artifact package items.
+- Digest manifest package item.
+- Provenance report package item.
+- Failure report package item.
+- Package readiness gates.
+- Markdown rendering for evidence handoff.
+
+The package manifest only becomes ready when artifacts, digest coverage, provenance, comparison handoff, and failure classification are all clean.
+
 ## Validation
 
 Each unit in this phase is validated with:

docs/SDK_ROADMAP.md

@@ -267,7 +267,7 @@ Status: Phase 29 is foundation-complete. It has deterministic maintained peer la
 - Keep runner operations package-neutral and separate from real retained lab evidence.
 - Prepare real maintained peer lab execution without manufacturing passing artifacts.
 
-Status: Phase 30 has reviewable file materialization plan rendering, execution log, command outcome, artifact verification, runner provenance, failure classification, and retry policy contracts.
+Status: Phase 30 has reviewable file materialization plan rendering, execution log, command outcome, artifact verification, runner provenance, failure classification, retry policy, and evidence package manifest contracts.
 
 ## Recommended First Deliverable
 

src/Sigtran.NET.Tests/Program.cs

@@ -72,6 +72,7 @@
 Run("SIGTRAN maintained peer lab runner provenance records source and host identity", SigtranMaintainedPeerLabRunnerProvenanceRecordsSourceAndHostIdentity);
 Run("SIGTRAN maintained peer lab runner failure classifier categorizes blockers", SigtranMaintainedPeerLabRunnerFailureClassifierCategorizesBlockers);
 Run("SIGTRAN maintained peer lab runner retry policy gates transient failures", SigtranMaintainedPeerLabRunnerRetryPolicyGatesTransientFailures);
+Run("SIGTRAN maintained peer lab runner evidence package manifest gates handoff", SigtranMaintainedPeerLabRunnerEvidencePackageManifestGatesHandoff);
 Run("SIGTRAN trace comparison reports ordered mismatches", SigtranTraceComparisonReportsOrderedMismatches);
 Run("SIGTRAN interoperability evidence promotion requires passing lab run", SigtranInteropEvidencePromotionRequiresPassingLabRun);
 Run("SIGTRAN interoperability lab CI profile is opt-in", SigtranInteropLabCiProfileIsOptIn);
@@ -1518,6 +1519,46 @@ static void SigtranMaintainedPeerLabRunnerRetryPolicyGatesTransientFailures()
     AssertEqual(1, blocked.NonRetryableFailures.Count, "maintained peer lab runner non-retryable preflight count");
 }
 
+static void SigtranMaintainedPeerLabRunnerEvidencePackageManifestGatesHandoff()
+{
+    SigtranMaintainedPeerLabRunManifest runManifest = SigtranMaintainedPeerLabRunManifests.CreateDefault("phase30-unit8");
+    SigtranMaintainedPeerLabRunnerInputBundle inputs = SigtranMaintainedPeerLabRunnerInputs.CreateDefault(runManifest);
+    SigtranMaintainedPeerLabRunnerArtifactMaterializationPlan artifacts = SigtranMaintainedPeerLabRunnerArtifacts.CreateDefault(inputs.Workspace);
+    IReadOnlyList<string> allPrerequisites = SigtranMaintainedPeerLabPrerequisites.GetDefault()
+        .Select(static prerequisite => prerequisite.Id)
+        .ToArray();
+    SigtranMaintainedPeerLabRunnerPreflightReport preflight = SigtranMaintainedPeerLabRunnerPreflight.Evaluate(inputs, artifacts, allPrerequisites);
+    SigtranMaintainedPeerLabRunnerCommandManifest commandManifest = SigtranMaintainedPeerLabRunnerCommandManifests.Create(inputs, artifacts, preflight);
+    SigtranMaintainedPeerLabRunnerExecutionLog log = SigtranMaintainedPeerLabRunnerExecutionLogs.CreatePassing(commandManifest, DateTimeOffset.UnixEpoch);
+    SigtranMaintainedPeerLabRunnerCommandOutcomeReport commandOutcomes = SigtranMaintainedPeerLabRunnerCommandOutcomes.FromLog(commandManifest, log);
+    SigtranMaintainedPeerLabRunnerEvidenceCollection collection = SigtranMaintainedPeerLabRunnerEvidenceCollections.Collect(artifacts, artifacts.GetRequiredOutputPaths());
+    const string digest = "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef";
+    Dictionary<string, string> digestByPath = collection.Artifacts.ToDictionary(static artifact => artifact.Path, static _ => digest, StringComparer.Ordinal);
+    SigtranMaintainedPeerLabRunnerDigestReport digestReport = SigtranMaintainedPeerLabRunnerDigests.Create(runManifest.ArtifactPlan, collection, digestByPath);
+    SigtranMaintainedPeerLabRunnerArtifactVerificationReport artifactVerification = SigtranMaintainedPeerLabRunnerArtifactVerification.Verify(collection, digestReport);
+    SigtranMaintainedPeerLabRunnerProvenanceReport provenance = SigtranMaintainedPeerLabRunnerProvenance.CreateDefault(runManifest, "abcdef123456", "linux-runner-01", DateTimeOffset.UnixEpoch);
+    IReadOnlyList<string> expected = runManifest.TrafficVectors.SelectMany(static vector => vector.ExpectedMessages).ToArray();
+    SigtranMaintainedPeerLabRunnerComparisonHandoff handoff = SigtranMaintainedPeerLabRunnerComparisonHandoffs.Create(inputs, digestReport, expected, DateTimeOffset.UnixEpoch);
+    SigtranMaintainedPeerLabRunnerFailureReport failures = SigtranMaintainedPeerLabRunnerFailures.Classify(preflight, commandOutcomes, artifactVerification, provenance, handoff);
+
+    SigtranMaintainedPeerLabRunnerEvidencePackageManifest package = SigtranMaintainedPeerLabRunnerEvidencePackages.Create(artifactVerification, provenance, handoff, failures);
+    Assert(package.IsPackageReady, package.Describe());
+    AssertEqual(9, package.Items.Count, "maintained peer lab runner evidence package item count");
+    Assert(package.RenderMarkdown().Contains("Package ready: `True`", StringComparison.Ordinal), package.RenderMarkdown());
+
+    SigtranMaintainedPeerLabRunnerFailureReport blockedFailures = new(
+        runManifest.RunId,
+        [
+            new(
+                SigtranMaintainedPeerLabRunnerFailureKind.CommandExecution,
+                "command:Capture",
+                "Capture command failed.")
+        ]);
+    SigtranMaintainedPeerLabRunnerEvidencePackageManifest blocked = SigtranMaintainedPeerLabRunnerEvidencePackages.Create(artifactVerification, provenance, handoff, blockedFailures);
+    Assert(!blocked.IsPackageReady, blocked.Describe());
+    Assert(!blocked.HasNoBlockingFailures, blocked.Describe());
+}
+
 static void SigtranTraceComparisonReportsOrderedMismatches()
 {
     SigtranInteropLabTemplate template = SigtranInteropPeerProfiles.CreateExternalPeerM3uaAspToSgTemplate();