@kungfu-tech/buildchain 4.1.3-alpha.9 → 4.1.3

package/architecture/maintainability-policy.json

@@ -26,17 +26,17 @@
   },
   "repositoryBudgets": {
     "baselineRevision": "9569f69c2cb609372b8a3d65ce5dec8fb7b34a84",
-    "maxHandMaintainedSourceFiles": 1479,
-    "maxHandMaintainedSourceLines": 218720,
+    "maxHandMaintainedSourceFiles": 1481,
+    "maxHandMaintainedSourceLines": 218834,
     "maxWorkflowFiles": 44,
     "maxWorkflowLines": 8029,
-    "latestTransition": "Bounded provider readback and safe npm publication failure diagnostics.",
-    "latestTransitionRationale": "Charge sixteen source lines for bounded read-only reconciliation after one immutable write, plus twenty-eight measured source lines for fixed-allowlist npm failure codes. Keep one sealed npm publish invocation, exclude raw stdout/stderr and credentials from reported errors, and preserve all per-file, function, complexity and exception limits.",
+    "latestTransition": "Ignore skipped product placeholders in successful published-entry no-op runs.",
+    "latestTransitionRationale": "Charge four measured source lines for excluding skipped product jobs when recognizing successful no-op entry runs. Preserve failure and cancellation blocking, native receipt verification, and all per-file, function, complexity, debt and exception limits.",
     "rationale": "Bounded modules separate candidate, evidence, native proof and execution, canonical failure verification, closed-set execution transfer, process-boundary verification, Warrant state and qualification, authority state, qualification, Landing acquisition, verified-attempt admission, Landing settlement and fence validation, provider attempt and heartbeat readback, sealed terminal evidence, hosted heartbeat, resume, store, options, command-specific adapters, and CLI orchestration responsibilities. The protected delivery workflow gives candidate and seal jobs no provider write credential, recursively rejects transfer drift, scopes every transfer artifact to the exact provider run attempt, chains every durable heartbeat state and receipt root on a distinct hosted runner domain, and permits qualification or exact failure settlement only after the finalizer verifies live jobs and the latest durable authority state. Public Landing admission and heartbeat always perform non-injectable fresh exact-attempt provider readback, tolerate only a not-yet-materialized seal job while retaining exact native and duplicate-job rejection, and heartbeat-loss coordination never invokes GitHub's run-scoped cancellation API where a successor rerun could race. The hosted process boundary anchors trust in the kernel-resolved versioned Runner.Worker path while accepting an equivalent argv-zero spelling with the same basename; its public boundary marker is allowed only at the one exact non-secret value, so a forged value under the same credential-like name still fails closed. The credentialless transfer seal validates the rooted native reuse decision against the Warrant-bound source, closure, dependency, toolchain, environment and command inputs; qualifiedBase stays in the proof and decision where it is rooted and later independently rechecked, rather than being assumed on the Warrant schema. V2 mutation cannot initialize a second empty authority beside a legacy ref: migration reads and roots the canonical live v1 ref, rechecks it, applies the explicit configured v2 policy, and atomically replaces its bytes through one expected-old non-force update, so old v1 controllers fail closed while the prior commit remains immutable history. Candidate ancestry classifies the GitHub artifact runtime token as credential authority. Every Landing settlement, including an unexpired fence, requires product-owned terminal readback. Terminal cleanup reads the immutable historical attempt, derives workflow and hosted Landing job identity from live run data, reads the exact protected ref head and compares containment against that immutable SHA, and seals merged only when the admitted merge-group head is contained by that protected base; a later different-head merge settles the old attempt as dequeued. Terminal normalization preserves transfer, finalizer boundary, native and seal job, admitted provider attempt, protected-base head, containment result, and terminal readback coordinates. The public reusable workflow truthfully retains its single-flight v1 authority without advertising v2 migration, while bounded v2 remains a separate opt-in CLI, Node API, and schema contract; the tracked self-caller stays on public v4-alpha with matching stable and alpha locks, and transient train selection is dispatch-only. Next-development parity adds one versioned transition authority, one durable controller, one bounded reservation adapter, and pure public-contract recovery evidence while retaining the existing thin floating-channel callers byte-for-byte. The floating-consumer gate reuses the existing contract-world evaluator so SHA drift passes only under the selected lock's compatibility policy, breaking surface drift still fails closed, and external certification reconstructs the receipt from the observed workflow SHA rather than the lock's historical evidence SHA. Tail reseal adds no Stage Capsule effect or general rebuild authority: it verifies the exact retained four-platform bytes, admits one known macOS tail failure through live provider readback, fences signing and finalization to explicit credentials and Warrant identity, and requires standard candidate Passport plus provider and protected readback. Compatibility Facts parity isolates canonical encoding, temporal verification, lifecycle validation, fixture projection, public authority projection, and CLI adaptation into bounded modules; legacy digest and proof arrays are derived only from exact current Fact lineage. Publication Rehearsal adds no production release authority: the content-addressed capsule contract binds source, candidate, manifest, config, canonical data-only provider bindings, provider policy, observations and core version separately from filesystem, runtime and rehearsal-only provider authority; simulate, replay and explicitly authorized provider rehearsal all reuse the release-tail planner, while same-commit local dogfood resolves the new reusable contract and exact current runtime before external callers remain on floating v4-alpha. Cross-runtime candidate recovery preserves original runtime and provider roots and creates resume lineage only after exact public ref, tag, ancestry, npm version and integrity readback. Adopter Delivery restores the reviewed public v3 gate, drivers, Passport binding, N-1 bootstrap and exact archive loader through one public v4 surface while keeping provider and release authority explicit non-claims. Floating Alpha bootstrap uses only the existing exact resolver and protected Alpha private shell to move an otherwise stale floating shell, retains public v4 stable promotion, and removes itself after protected readback. CI lane change-budget enforcement adds a bounded parser, evaluator, guard, and tests without creating another merge authority. Minimal consumer contract adds exactly seven bounded contract modules, one generated-contract gate and six product build/test example sources; the source-file ceiling increases by fourteen for this reviewed feature slice. Existing per-file, function, complexity and debt limits are unchanged. The final readable template sources require exact source-line and total-automation ceilings of 203394 and 224451 respectively; this charges all generated example sources rather than hiding them from measurement. Qualified landing status projection adds 51 source lines and four internal action-contract lines within existing job permissions; per-file, function, complexity and exception budgets are unchanged. Delivery scheduling preserves its exact queued or running provider owner before Warrant acquisition, adding 31 measured source lines within the existing structural budgets.",
     "governance": "legacy-debt-sunset-2026q4",
     "maxActionDefinitions": 283,
     "maxActionDefinitionLines": 12399,
-    "maxAutomationImplementationLines": 238300
+    "maxAutomationImplementationLines": 238414
   },
   "sourceBudgets": {
     "newFileLines": 600,

package/architecture/release-topology.json

@@ -188,12 +188,14 @@
         "packages/core/providers/github/pipeline-run-entry.js",
         "packages/core/providers/github/pipeline-runs.js",
         "packages/core/providers/github/pipeline-source.js",
+        "packages/core/providers/github/pipeline-stable-baseline.js",
         "packages/core/providers/github/pipeline-stable-source.js",
         "packages/core/providers/github/pipeline-version-artifacts.js",
         "packages/core/providers/github/pipeline-version-readback.js",
         "packages/core/providers/github/pipeline-version.js",
         "packages/core/providers/github/pipeline-worker.js",
         "packages/core/providers/github/release-assets.js",
+        "packages/core/providers/github/release-evidence-assets.js",
         "packages/core/publication/binary/action.js",
         "packages/core/publication/binary/capability.js",
         "packages/core/publication/binary/evidence.js",
@@ -397,7 +399,7 @@
         "packages/core/workflow/pipeline/wake.js",
         "packages/core/workflow/pipeline/web-status.js"
       ],
-      "root": "sha256:b474be097d7b1455785cf78247c966601a2adfb03ff1baee9cc009f26b9c2ac1"
+      "root": "sha256:d95f03e3906b482b6ab0486d531865162e62961f2398058f6aecb380500f5314"
     },
     "rustWasmAuthority": {
       "loader": "packages/core/runtime/domain-wasm.js",

package/dist/site/buildchain-contract.json

@@ -4,7 +4,7 @@
   "product": {
     "name": "Buildchain",
     "package": "@kungfu-tech/buildchain",
-    "version": "4.1.3-alpha.9",
+    "version": "4.1.3",
     "repository": "https://github.com/kungfu-systems/buildchain"
   },
   "majorLine": "v4",
@@ -2356,5 +2356,5 @@
   "compatibilityFactCutRoot": "sha256:58f33e498596505a26b6fc3c7ae5acef847ff699eee6c7e17a7b318a40bdf0d6",
   "compatibilityProofRegistryRoot": "sha256:2f6477405c7891b754b33ad6515d55618bd320e7cdc59330d7cc645e17201e72",
   "compatibilityDigest": "sha256:81e32696723fe82fe29d2b2214cd56cf6c87bbeae5cff1a201de7ee7fd10ee9c",
-  "contractDigest": "sha256:1c898441fd7051ee92677001bc465e69b9b5988bba15f45be857f3d0a014a129"
+  "contractDigest": "sha256:41084ce334ddbf03549d209d96310db8f653921cbb25eaf0dce0571565d2cce5"
 }

package/dist/site/buildchain-site.json

@@ -37,7 +37,7 @@
   },
   "package": {
     "name": "@kungfu-tech/buildchain",
-    "version": "4.1.3-alpha.9",
+    "version": "4.1.3",
     "versionSource": "package.json#version"
   },
   "source": {

package/dist/site/kfd-claims.json

@@ -21,7 +21,7 @@
     "contract": "kungfu-buildchain-public-surface-reverse-audit",
     "path": "dist/site/public-surface-audit.json",
     "status": "passed",
-    "sha256": "e215e928cf074b0532e8e1892a7b7b7e5855dc3531e0a78cec8b4e3b51d8a65a",
+    "sha256": "c5ae763ca6bac9648d2291c1908da6a0ee78785651aecfced739c9988dfcf92f",
     "summary": {
       "cliCommandCount": 117,
       "workflowCount": 44,
@@ -246,7 +246,7 @@
       "contract": "kungfu-buildchain-public-surface-reverse-audit",
       "path": "dist/site/public-surface-audit.json",
       "status": "passed",
-      "sha256": "e215e928cf074b0532e8e1892a7b7b7e5855dc3531e0a78cec8b4e3b51d8a65a",
+      "sha256": "c5ae763ca6bac9648d2291c1908da6a0ee78785651aecfced739c9988dfcf92f",
       "summary": {
         "cliCommandCount": 117,
         "workflowCount": 44,

package/dist/site/kfd-upstream-aggregate.json

@@ -4,7 +4,7 @@
   "product": {
     "id": "kungfu-tech-buildchain",
     "name": "@kungfu-tech/buildchain",
-    "version": "4.1.3-alpha.9",
+    "version": "4.1.3",
     "repository": "https://github.com/kungfu-systems/buildchain"
   },
   "source": {

package/dist/site/public-surface-audit.json

@@ -10814,7 +10814,7 @@
     "workflowRegistryPath": "dist/site/workflow-registry.json",
     "pageRegistryPath": "dist/site/page-registry.json",
     "cliRegistryDigest": "e43fdb0289df88871f3f0febbe04dcb9311a252a2b1df9b3a83a2d10c9d4a70f",
-    "workflowRegistryDigest": "071f8c15fed251611c981d66e8961b74476bfdce7bd8a25e0c396e37947e2c47",
+    "workflowRegistryDigest": "b64f87652d2377f6f1cd192bb3e0983f6885af60f3522915649f6a2dc40610fc",
     "pageRegistryDigest": "1e79a71c8f1d094ad1291b2d8b4bc983633245dcc104ae5ef7bae755fb733209"
   },
   "comparison": {

package/dist/site/publication-registry.json

@@ -32,7 +32,7 @@
   },
   "package": {
     "name": "@kungfu-tech/buildchain",
-    "version": "4.1.3-alpha.9",
+    "version": "4.1.3",
     "versionSource": "package.json#version"
   },
   "sourceKind": "package-site-bundle",

package/dist/site/site-manifest.json

@@ -37,7 +37,7 @@
   },
   "package": {
     "name": "@kungfu-tech/buildchain",
-    "version": "4.1.3-alpha.9",
+    "version": "4.1.3",
     "versionSource": "package.json#version"
   },
   "entrypoint": "buildchain-site.json",

package/dist/site/workflow-registry.json

@@ -1263,7 +1263,7 @@
       "status": "preview",
       "owner": "buildchain-workflows",
       "maturity": "preview",
-      "introducedVersion": "4.1.3-alpha.9",
+      "introducedVersion": "4.1.3",
       "compatibilityPromise": "current-contract-only",
       "deprecationReplacement": "",
       "sunsetCondition": "explicit-contract-change-review",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kungfu-tech/buildchain",
-  "version": "4.1.3-alpha.9",
+  "version": "4.1.3",
   "private": false,
   "description": "Buildchain Release Passport, release governance, CLI toolkit, and site facts.",
   "repository": "https://github.com/kungfu-systems/buildchain",

package/packages/core/providers/github/pipeline-release-evidence.js

@@ -1,5 +1,4 @@
-import { createHash } from "node:crypto";
-import { recordDigest } from "../../release/discussion/envelope.js";
+import { readReleaseEvidenceAssets } from "./release-evidence-assets.js";
 
 const NAMES = [
   "plan",
@@ -9,103 +8,23 @@ const NAMES = [
   "attestation",
   "release",
 ];
-const LIMIT = 8 * 1024 * 1024;
-
-async function inventory(request, prefix) {
-  const assets = [],
-    ids = new Set(),
-    names = new Set();
-  for (let page = 1; page <= 20; page++) {
-    const values = await request(`${prefix}/assets?per_page=100&page=${page}`);
-    if (!Array.isArray(values) || values.length > 100)
-      throw new Error("Published evidence asset inventory is incomplete");
-    for (const value of values) {
-      if (
-        !Number.isSafeInteger(value.id) ||
-        value.id < 1 ||
-        typeof value.name !== "string" ||
-        !value.name ||
-        ids.has(value.id) ||
-        names.has(value.name)
-      )
-        throw new Error("Published evidence asset inventory is ambiguous");
-      ids.add(value.id);
-      names.add(value.name);
-      assets.push(value);
-    }
-    if (values.length < 100) return assets;
-  }
-  throw new Error(
-    "Published evidence inventory exceeds its complete-read bound",
-  );
-}
-
-function selectedAssets(assets) {
-  return NAMES.map((id) => {
-    const name = `buildchain.${id}.json`;
-    const asset = assets.find((value) => value.name === name);
-    if (!asset) return { name, missing: true };
-    if (
-      asset.state !== "uploaded" ||
-      !Number.isSafeInteger(asset.size) ||
-      asset.size < 1 ||
-      asset.size > LIMIT ||
-      !/^sha256:[0-9a-f]{64}$/u.test(asset.digest || "")
-    )
-      throw new Error("Published evidence asset lacks bounded immutable bytes");
-    return { id: asset.id, name, size: asset.size, digest: asset.digest };
-  });
-}
-
-// Download only fixed evidence names from the exact already-observed release.
-// There is no caller-supplied URL, artifact selector or provider write here.
 export async function readPipelineReleaseEvidence(host, candidate) {
-  const repository = host.repository;
-  if (
-    !/^[\w.-]+\/[\w.-]+$/u.test(repository || "") ||
-    !Number.isSafeInteger(candidate.id) ||
-    candidate.id < 1
-  )
-    throw new Error("Published evidence requires exact release coordinates");
-  const prefix = `/repos/${repository}/releases/${candidate.id}`;
-  const selected = selectedAssets(await inventory(host.request, prefix));
-  const missing = selected
-    .filter((value) => value.missing)
-    .map(({ name }) => name);
-  if (missing.length) return { status: "missing", missing };
-  const [owner, repo] = repository.split("/");
+  const result = await readReleaseEvidenceAssets(
+    host,
+    candidate,
+    NAMES.map((id) => `buildchain.${id}.json`),
+  );
+  if (result.status !== "present") return result;
   const values = {};
-  let bundle;
-  for (const asset of selected) {
-    const result = await host.github.rest.repos.getReleaseAsset({
-      owner,
-      repo,
-      asset_id: asset.id,
-      headers: { accept: "application/octet-stream" },
-    });
-    const bytes = Buffer.from(result.data);
-    if (
-      bytes.length !== asset.size ||
-      bytes.length > LIMIT ||
-      `sha256:${createHash("sha256").update(bytes).digest("hex")}` !==
-        asset.digest
-    )
-      throw new Error(
-        "Published evidence download differs from provider bytes",
-      );
-    const id = asset.name.slice("buildchain.".length, -".json".length);
-    if (id === "attestation") bundle = bytes;
-    else
-      values[id] = JSON.parse(
-        new TextDecoder("utf-8", { fatal: true }).decode(bytes),
-      );
-  }
-  if (
-    recordDigest(selectedAssets(await inventory(host.request, prefix))) !==
-    recordDigest(selected)
-  )
-    throw new Error(
-      "Published evidence assets changed during provider readback",
+  for (const id of NAMES.filter((name) => name !== "attestation"))
+    values[id] = JSON.parse(
+      new TextDecoder("utf-8", { fatal: true }).decode(
+        result.values[`buildchain.${id}.json`],
+      ),
     );
-  return { status: "present", values, bundle, assets: selected };
+  return {
+    ...result,
+    values,
+    bundle: result.values["buildchain.attestation.json"],
+  };
 }

package/packages/core/providers/github/pipeline-stable-baseline.js

@@ -0,0 +1,86 @@
+import { recordDigest } from "../../release/discussion/envelope.js";
+import {
+  SETTLEMENT_ASSET,
+  verifyPublicationSettlement,
+} from "../../publication/settlement/transaction.js";
+import { readReleaseEvidenceAssets } from "./release-evidence-assets.js";
+
+// Earlier publications materialized the floating entry after the exact tag.
+// Only their completed immutable settlement can bind those two commits.
+export async function readPipelineStableBaseline(plan, host, release, prior) {
+  if ((prior?.commit || null) === plan.previousChannelCommit) return null;
+  if (!release || !prior || !plan.previousChannelCommit)
+    throw new Error(
+      "Stable comparison differs from the retained published channel",
+    );
+  const evidence = await readReleaseEvidenceAssets(host, release, [
+    SETTLEMENT_ASSET,
+    "buildchain.release.json",
+  ]);
+  if (evidence.status !== "present")
+    throw new Error(
+      "Stable channel differs without a completed publication settlement",
+    );
+  const read = (name) =>
+    JSON.parse(
+      new TextDecoder("utf-8", { fatal: true }).decode(evidence.values[name]),
+    );
+  const settlement = read(SETTLEMENT_ASSET),
+    publicPassport = read("buildchain.release.json"),
+    repository = plan.source.repository,
+    tag = release.tag,
+    sourceSha = prior.commit;
+  if (
+    settlement.schemaVersion !== 1 ||
+    settlement.contract !== "buildchain-v4-publication-settlement/v1" ||
+    settlement.release?.tag !== tag ||
+    settlement.release?.sourceSha !== sourceSha ||
+    settlement.release?.channel !== "stable"
+  )
+    throw new Error(
+      "Stable baseline settlement has different release coordinates",
+    );
+  const verified = verifyPublicationSettlement(settlement.documents, {
+    repository,
+    tag,
+    sourceSha,
+    publicPassport,
+  });
+  const { product, providerState, productState, invocation, passport } =
+    settlement.documents;
+  const ref = `refs/tags/v${plan.version.split(".")[0]}`,
+    updates = product.updates.filter((value) => value.ref === ref);
+  const subject = {
+    repository,
+    sourceSha,
+    tag,
+    version: tag.slice(1),
+    channel: "stable",
+  };
+  if (
+    invocation.target.channel !== "stable" ||
+    passport.release.channel !== "stable" ||
+    product.promotedSha !== plan.previousChannelCommit ||
+    updates.length !== 1 ||
+    updates[0].action !== "converged-release-tag" ||
+    updates[0].sha !== plan.previousChannelCommit ||
+    recordDigest(productState.subject) !== recordDigest(subject) ||
+    recordDigest(providerState.subject) !==
+      recordDigest({
+        ...subject,
+        sourceSha: plan.previousChannelCommit,
+      })
+  )
+    throw new Error(
+      "Stable baseline settlement does not bind the retained floating channel",
+    );
+  return {
+    releaseId: release.id,
+    tag,
+    sourceSha,
+    channelRef: ref,
+    channelCommit: plan.previousChannelCommit,
+    receiptRoot: verified.receiptRoot,
+    assets: evidence.assets,
+  };
+}

package/packages/core/providers/github/pipeline-stable-source.js

@@ -5,6 +5,7 @@ import { compareDevelopmentVersions } from "../../publication/publication-develo
 import { githubPipelineSource } from "./pipeline-source.js";
 import { githubPipelineVersion } from "./pipeline-version.js";
 import { normalInputs } from "../../consumer/contract/entries.js";
+import { readPipelineStableBaseline } from "./pipeline-stable-baseline.js";
 
 const SHA = /^[0-9a-f]{40}$/u;
 const STABLE = /^v(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)$/u;
@@ -295,10 +296,12 @@ export async function readPipelineStableSource(plan, host) {
   const prior = selected.comparison
     ? await exactTag(get, selected.comparison.tag)
     : null;
-  if ((prior?.commit || null) !== plan.previousChannelCommit)
-    throw new Error(
-      "Stable comparison differs from the retained published channel",
-    );
+  const baseline = await readPipelineStableBaseline(
+    plan,
+    { ...host, request },
+    selected.comparison,
+    prior,
+  );
   const current = await treeFiles(get, pointer.commit);
   if (current.tree !== candidate.identity.tree)
     throw new Error(
@@ -335,6 +338,20 @@ export async function readPipelineStableSource(plan, host) {
     prior,
     latest,
   });
+  if (
+    baseline &&
+    recordDigest(
+      await readPipelineStableBaseline(
+        plan,
+        { ...host, request },
+        selected.comparison,
+        prior,
+      ),
+    ) !== recordDigest(baseline)
+  )
+    throw new Error(
+      "Stable baseline evidence changed during provider readback",
+    );
   const body = {
     schema: "buildchain.pipeline-stable-source/v1",
     planRoot: plan.root,
@@ -347,6 +364,7 @@ export async function readPipelineStableSource(plan, host) {
     comparisonStable: selected.comparison
       ? { ...selected.comparison, sha: prior.commit, tree: previous.tree }
       : null,
+    ...(baseline ? { comparisonChannel: baseline } : {}),
     impact,
     changedPaths: changedPaths(previous.files, current.files),
   };

package/packages/core/providers/github/release-evidence-assets.js

@@ -0,0 +1,97 @@
+import { createHash } from "node:crypto";
+import { recordDigest } from "../../release/discussion/envelope.js";
+
+const LIMIT = 8 * 1024 * 1024;
+
+async function inventory(request, prefix) {
+  const assets = [],
+    ids = new Set(),
+    names = new Set();
+  for (let page = 1; page <= 20; page++) {
+    const values = await request(`${prefix}/assets?per_page=100&page=${page}`);
+    if (!Array.isArray(values) || values.length > 100)
+      throw new Error("Published evidence asset inventory is incomplete");
+    for (const value of values) {
+      if (
+        !Number.isSafeInteger(value.id) ||
+        value.id < 1 ||
+        typeof value.name !== "string" ||
+        !value.name ||
+        ids.has(value.id) ||
+        names.has(value.name)
+      )
+        throw new Error("Published evidence asset inventory is ambiguous");
+      ids.add(value.id);
+      names.add(value.name);
+      assets.push(value);
+    }
+    if (values.length < 100) return assets;
+  }
+  throw new Error(
+    "Published evidence inventory exceeds its complete-read bound",
+  );
+}
+
+function selectedAssets(assets, names) {
+  return names.map((name) => {
+    const asset = assets.find((value) => value.name === name);
+    if (!asset) return { name, missing: true };
+    if (
+      asset.state !== "uploaded" ||
+      !Number.isSafeInteger(asset.size) ||
+      asset.size < 1 ||
+      asset.size > LIMIT ||
+      !/^sha256:[0-9a-f]{64}$/u.test(asset.digest || "")
+    )
+      throw new Error("Published evidence asset lacks bounded immutable bytes");
+    return { id: asset.id, name, size: asset.size, digest: asset.digest };
+  });
+}
+
+// Download only fixed evidence names from the exact already-observed release.
+// There is no caller-supplied URL, artifact selector or provider write here.
+export async function readReleaseEvidenceAssets(host, candidate, names) {
+  const repository = host.repository;
+  if (
+    !/^[\w.-]+\/[\w.-]+$/u.test(repository || "") ||
+    !Number.isSafeInteger(candidate.id) ||
+    candidate.id < 1
+  )
+    throw new Error("Published evidence requires exact release coordinates");
+  const prefix = `/repos/${repository}/releases/${candidate.id}`;
+  const selected = selectedAssets(await inventory(host.request, prefix), names);
+  const missing = selected
+    .filter((value) => value.missing)
+    .map(({ name }) => name);
+  if (missing.length) return { status: "missing", missing };
+  const [owner, repo] = repository.split("/");
+  const values = {};
+  for (const asset of selected) {
+    const result = await host.github.rest.repos.getReleaseAsset({
+      owner,
+      repo,
+      asset_id: asset.id,
+      headers: { accept: "application/octet-stream" },
+    });
+    const bytes = Buffer.from(result.data);
+    if (
+      bytes.length !== asset.size ||
+      bytes.length > LIMIT ||
+      `sha256:${createHash("sha256").update(bytes).digest("hex")}` !==
+        asset.digest
+    )
+      throw new Error(
+        "Published evidence download differs from provider bytes",
+      );
+    values[asset.name] = bytes;
+  }
+  if (
+    recordDigest(
+      selectedAssets(await inventory(host.request, prefix), names),
+    ) !== recordDigest(selected)
+  )
+    throw new Error(
+      "Published evidence assets changed during provider readback",
+    );
+  return { status: "present", values, assets: selected };
+}

package/packages/core/publication/pipeline/journal.js

@@ -106,5 +106,17 @@ export function pipelinePublicationJournal(session, host) {
     });
     return value;
   }
-  return { fence, materials, record };
+  async function recordImport(value, phase) {
+    publicationImportedValues(value);
+    const observed = await fence();
+    const id = "publication/recovery-import";
+    const eventKey = `publication:${id}:${recordDigest(value)}`;
+    const prior = observed.history
+      .at(-1)
+      .events.find((event) => event.payload.eventKey === eventKey);
+    // Import is one atomic append, not a new result for each resumed phase.
+    // Replay still verifies the original event, state and retained bytes.
+    return record(id, value, { phase: prior?.node || phase });
+  }
+  return { fence, materials, record, recordImport };
 }

package/packages/core/publication/pipeline/recovery-import.js

@@ -76,5 +76,5 @@ export async function importRecoveredPublication(
   publicationImportedValues(bundle);
   // One journal append publishes the complete import and derived source/plan.
   // An interruption cannot expose a new plan beside an old materialization.
-  await journal.record("publication/recovery-import", bundle, { phase });
+  await journal.recordImport(bundle, phase);
 }

package/packages/core/publication/pipeline/stable-entry.js

@@ -114,7 +114,11 @@ async function inspectEntryRun(listed, plan, source, host) {
   const consumer = await pipelineEntryRun(run, plan, source, host);
   if (!consumer) return null;
   if (
-    !jobs.some((job) => /(?:^| \/ )Build product \([^)]+\)$/u.test(job.name)) &&
+    !jobs.some(
+      (job) =>
+        job.conclusion !== "skipped" &&
+        /(?:^| \/ )Build product \([^)]+\)$/u.test(job.name),
+    ) &&
     run.conclusion === "success"
   )
     return null;