@kungfu-tech/buildchain 4.0.1-alpha.2 → 4.0.1-alpha.21

package/packages/core/ci-lane-change-budget.js

@@ -0,0 +1,247 @@
+import crypto from "node:crypto";
+import { parseWorkflowDocument } from "./workflow-yaml-contract.js";
+
+export const CI_LANE_CHANGE_BUDGET_CONTRACT =
+  "buildchain.ci-lane-change-budget/v1";
+
+const AUTHORITY_CLASSES = new Set([
+  "merge-critical-required",
+  "merge-critical-admission",
+  "post-merge-advisory",
+  "diagnostic",
+  "evidence",
+  "release",
+]);
+const TRIGGER_CLASSES = new Set([
+  "merge-group",
+  "pull-request",
+  "push",
+  "scheduled",
+  "manual",
+  "reusable",
+  "release",
+  "mixed",
+]);
+const CONCURRENCY_MODES = new Set([
+  "none",
+  "ref-scoped",
+  "workflow-scoped",
+  "serialized",
+]);
+const CANCELLATION_BEHAVIORS = new Set([
+  "cancel-stale",
+  "finish-started",
+  "provider-default",
+  "not-applicable",
+]);
+
+function canonical(value) {
+  if (Array.isArray(value)) return value.map(canonical);
+  if (value && typeof value === "object") {
+    return Object.fromEntries(
+      Object.keys(value)
+        .sort()
+        .map((key) => [key, canonical(value[key])]),
+    );
+  }
+  return value;
+}
+
+function root(value) {
+  return `sha256:${crypto
+    .createHash("sha256")
+    .update(JSON.stringify(canonical(value)))
+    .digest("hex")}`;
+}
+
+function triggerClass(triggers) {
+  const classes = new Set();
+  for (const trigger of triggers) {
+    if (trigger === "merge_group") classes.add("merge-group");
+    else if (trigger.startsWith("pull_request")) classes.add("pull-request");
+    else if (trigger === "push") classes.add("push");
+    else if (trigger === "schedule") classes.add("scheduled");
+    else if (trigger === "workflow_dispatch") classes.add("manual");
+    else if (trigger === "workflow_call") classes.add("reusable");
+    else if (trigger === "release") classes.add("release");
+    else classes.add("mixed");
+  }
+  return classes.size === 1 ? [...classes][0] : "mixed";
+}
+
+function diagnostic(code, laneId, message) {
+  return { code, laneId, message };
+}
+
+function validateDeclaration(declaration, observed) {
+  const laneId = String(declaration?.laneId || "");
+  const diagnostics = [];
+  if (!AUTHORITY_CLASSES.has(declaration?.authorityClass)) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-authority-class",
+        laneId,
+        "authorityClass must identify the lane's merge or non-merge authority",
+      ),
+    );
+  }
+  if (!TRIGGER_CLASSES.has(declaration?.triggerClass)) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-trigger-class",
+        laneId,
+        "triggerClass must identify the workflow trigger class",
+      ),
+    );
+  } else if (observed && declaration.triggerClass !== observed.triggerClass) {
+    diagnostics.push(
+      diagnostic(
+        "trigger-class-mismatch",
+        laneId,
+        `declared ${declaration.triggerClass}, observed ${observed.triggerClass}`,
+      ),
+    );
+  }
+  const concurrency = declaration?.concurrencyPolicy;
+  if (
+    !concurrency ||
+    !CONCURRENCY_MODES.has(concurrency.mode) ||
+    typeof concurrency.cancelInProgress !== "boolean"
+  ) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-concurrency-policy",
+        laneId,
+        "concurrencyPolicy requires a known mode and boolean cancelInProgress",
+      ),
+    );
+  }
+  if (
+    !Number.isFinite(declaration?.expectedRunnerMinutes) ||
+    declaration.expectedRunnerMinutes <= 0
+  ) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-runner-budget",
+        laneId,
+        "expectedRunnerMinutes must be greater than zero",
+      ),
+    );
+  }
+  if (!CANCELLATION_BEHAVIORS.has(declaration?.cancellationBehavior)) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-cancellation-behavior",
+        laneId,
+        "cancellationBehavior must describe how stale or started work settles",
+      ),
+    );
+  }
+  const impact = declaration?.sloImpact;
+  if (
+    !impact ||
+    typeof impact.mergeCritical !== "boolean" ||
+    !String(impact.metric || "").trim() ||
+    !Number.isFinite(impact.expectedContributionSeconds) ||
+    impact.expectedContributionSeconds < 0 ||
+    !String(impact.rationale || "").trim()
+  ) {
+    diagnostics.push(
+      diagnostic(
+        "invalid-slo-impact",
+        laneId,
+        "sloImpact requires mergeCritical, metric, expectedContributionSeconds, and rationale",
+      ),
+    );
+  }
+  return diagnostics;
+}
+
+function collectLanes(workflows) {
+  const lanes = new Map();
+  for (const workflow of workflows) {
+    const workflowPath = String(workflow?.path || "").trim();
+    if (!workflowPath) throw new Error("workflow path is required");
+    const document = parseWorkflowDocument(workflow.text);
+    for (const job of document.jobs) {
+      const laneId = `${workflowPath}#${job.id}`;
+      if (lanes.has(laneId)) throw new Error(`duplicate CI lane: ${laneId}`);
+      lanes.set(laneId, {
+        laneId,
+        workflowPath,
+        jobId: job.id,
+        triggerClass: triggerClass(document.triggers),
+      });
+    }
+  }
+  return lanes;
+}
+
+export function evaluateCiLaneChangeBudget({
+  policy,
+  workflows,
+  baselineWorkflows = null,
+} = {}) {
+  if (policy?.schema !== CI_LANE_CHANGE_BUDGET_CONTRACT) {
+    throw new Error(`expected ${CI_LANE_CHANGE_BUDGET_CONTRACT}`);
+  }
+  if (!Array.isArray(workflows)) throw new Error("workflows must be an array");
+  const observed = collectLanes(workflows);
+  const baselineLaneIds = baselineWorkflows
+    ? [...collectLanes(baselineWorkflows).keys()]
+    : policy.baseline?.lanes || [];
+  const baseline = new Set(baselineLaneIds);
+  if (baseline.size !== baselineLaneIds.length) {
+    throw new Error("baseline CI lanes must be unique");
+  }
+  const declarations = new Map();
+  const diagnostics = [];
+  for (const declaration of policy.declarations || []) {
+    const laneId = String(declaration?.laneId || "").trim();
+    if (!laneId) throw new Error("CI lane declaration laneId is required");
+    if (declarations.has(laneId))
+      throw new Error(`duplicate CI lane declaration: ${laneId}`);
+    declarations.set(laneId, declaration);
+    if (!observed.has(laneId)) {
+      diagnostics.push(
+        diagnostic(
+          "stale-declaration",
+          laneId,
+          "declared CI lane is absent from the current workflow cut",
+        ),
+      );
+    }
+    diagnostics.push(
+      ...validateDeclaration(declaration, observed.get(laneId) || null),
+    );
+  }
+  const newLanes = [...observed.keys()]
+    .filter((laneId) => !baseline.has(laneId))
+    .sort();
+  for (const laneId of newLanes) {
+    if (!declarations.has(laneId)) {
+      diagnostics.push(
+        diagnostic(
+          "undeclared-new-lane",
+          laneId,
+          "new CI lane must declare authority, trigger, concurrency, runner, cancellation, and SLO budgets",
+        ),
+      );
+    }
+  }
+  const result = {
+    schema: "buildchain.ci-lane-change-budget.evaluation/v1",
+    ok: diagnostics.length === 0,
+    observedLaneCount: observed.size,
+    baselineLaneCount: baseline.size,
+    newLaneCount: newLanes.length,
+    declaredLaneCount: declarations.size,
+    newLanes,
+    diagnostics: diagnostics.sort((left, right) =>
+      `${left.laneId}:${left.code}`.localeCompare(
+        `${right.laneId}:${right.code}`,
+      ),
+    ),
+  };
+  return { ...result, evaluationRoot: root(result) };
+}

package/packages/core/dev-alpha-candidate-selection.js

@@ -82,7 +82,9 @@ export function selectLatestQualifiedSource({
   requiredWorkflowPaths,
   now,
   maxAgeSeconds,
+  ignoredSourceShas = [],
 }) {
+  const ignored = new Set(ignoredSourceShas);
   const latestByPath = new Map(
     requiredWorkflowPaths.map((workflow) => [
       workflow,
@@ -90,7 +92,11 @@ export function selectLatestQualifiedSource({
     ]),
   );
   for (let index = 0; index < sourceHistory.length; index += 1) {
-    const sourceSha = sourceHistory[index];
+    const sourceSha =
+      typeof sourceHistory[index] === "string"
+        ? sourceHistory[index]
+        : sourceHistory[index]?.sha;
+    if (ignored.has(sourceSha)) continue;
     const rows = requiredWorkflowPaths.map((workflow) =>
       latestByPath.get(workflow).get(sourceSha),
     );
@@ -115,7 +121,9 @@ export function selectLatestQualifiedSource({
       };
     }
   }
-  const staleSuccessfulPair = sourceHistory.some((sourceSha) => {
+  const staleSuccessfulPair = sourceHistory.some((entry) => {
+    const sourceSha = typeof entry === "string" ? entry : entry?.sha;
+    if (ignored.has(sourceSha)) return false;
     const rows = requiredWorkflowPaths.map((workflow) =>
       latestByPath.get(workflow).get(sourceSha),
     );

package/packages/core/dev-delivery-authority-candidate.js

@@ -0,0 +1,270 @@
+import {
+  devDeliveryExactRoot as exactRoot,
+  devDeliveryExactSha as exactSha,
+  devDeliveryText as text,
+  devDeliveryTimestamp as timestamp,
+} from "./dev-delivery-common.js";
+import { createDevDeliveryCandidateIdentity } from "./dev-delivery-candidate-identity.js";
+import { normalizeNativeCommandContract } from "./dev-delivery-native-proof.js";
+import { normalizeDevDeliveryTerminalProviderEvidence } from "./dev-delivery-provider-attempt.js";
+import { normalizeProviderFailureAuthorityBinding } from "./dev-delivery-warrant-settlement.js";
+
+export const TERMINAL_STATES = new Set([
+  "merged",
+  "terminal-failure",
+  "dequeued",
+  "cancelled",
+]);
+const DELIVERY_CLASSES = new Set([
+  "non-native-fast",
+  "native-proof-required",
+  "cross-platform",
+  "release",
+]);
+export const DEV_DELIVERY_COMPATIBILITY_QUALIFICATION_SCHEMA =
+  "kungfu.buildchain.dev-delivery-compatibility-qualification/v1";
+export const DEV_DELIVERY_NATIVE_QUALIFICATION_SCHEMA =
+  "kungfu.buildchain.dev-delivery-native-qualification/v1";
+
+function nonNegativeInteger(value, label, fallback = 0) {
+  const parsed = Number(value ?? fallback);
+  if (!Number.isInteger(parsed) || parsed < 0) {
+    throw new Error(`${label} must be a non-negative integer`);
+  }
+  return parsed;
+}
+
+function normalizedDomains(input = []) {
+  if (!Array.isArray(input))
+    throw new Error(
+      "qualificationDomains must be an array of rooted safety domains",
+    );
+  return [
+    ...new Set(input.map((value) => exactRoot(value, "qualification domain"))),
+  ].sort();
+}
+
+function candidateIdentity(input, expected) {
+  return createDevDeliveryCandidateIdentity(input, expected, (value) => {
+    const normalized = text(value);
+    if (!DELIVERY_CLASSES.has(normalized))
+      throw new Error(`unsupported deliveryClass ${normalized}`);
+    return normalized;
+  });
+}
+
+function nullableRoot(value, label) {
+  return value === null ? null : exactRoot(value, label);
+}
+
+function normalizeQualification(input) {
+  if (!input) return null;
+  if (input.schema === DEV_DELIVERY_COMPATIBILITY_QUALIFICATION_SCHEMA) {
+    if (input.authority !== "legacy-compatibility-only")
+      throw new Error(
+        "compatibility qualification cannot claim native authority",
+      );
+    if (input.nativeProofAuthority !== false)
+      throw new Error(
+        "compatibility qualification must deny native proof authority",
+      );
+    if (!["phase-less", "qualified"].includes(input.legacyWarrantPhase))
+      throw new Error(
+        "compatibility qualification legacy phase is unsupported",
+      );
+    return {
+      schema: input.schema,
+      authority: input.authority,
+      nativeProofAuthority: false,
+      legacyStateRoot: exactRoot(
+        input.legacyStateRoot,
+        "compatibility qualification legacyStateRoot",
+      ),
+      legacyWarrantPhase: input.legacyWarrantPhase,
+      legacyFencingToken: exactRoot(
+        input.legacyFencingToken,
+        "compatibility qualification legacyFencingToken",
+      ),
+      legacyGeneration: nonNegativeInteger(
+        input.legacyGeneration,
+        "compatibility qualification legacyGeneration",
+      ),
+      qualificationReceiptRoot: nullableRoot(
+        input.qualificationReceiptRoot,
+        "compatibility qualification receiptRoot",
+      ),
+      sourceProofRoot: exactRoot(
+        input.sourceProofRoot,
+        "compatibility qualification sourceProofRoot",
+      ),
+      nativeProofRoot: nullableRoot(
+        input.nativeProofRoot,
+        "compatibility qualification nativeProofRoot",
+      ),
+      nativeExecutionBindingRoot: nullableRoot(
+        input.nativeExecutionBindingRoot,
+        "compatibility qualification nativeExecutionBindingRoot",
+      ),
+      nativeExecutionReceiptRoot: nullableRoot(
+        input.nativeExecutionReceiptRoot,
+        "compatibility qualification nativeExecutionReceiptRoot",
+      ),
+      nativeCommandRoot: nullableRoot(
+        input.nativeCommandRoot,
+        "compatibility qualification nativeCommandRoot",
+      ),
+      qualificationContractRoot: nullableRoot(
+        input.qualificationContractRoot,
+        "compatibility qualification contractRoot",
+      ),
+      qualifiedAt:
+        input.qualifiedAt === null
+          ? null
+          : timestamp(
+              input.qualifiedAt,
+              "compatibility qualification qualifiedAt",
+            ),
+    };
+  }
+  if (input.schema !== DEV_DELIVERY_NATIVE_QUALIFICATION_SCHEMA)
+    throw new Error("native qualification schema is unsupported");
+  if (
+    input.authority !== "verified-native-qualification" ||
+    input.nativeProofAuthority !== true
+  )
+    throw new Error("native qualification must carry verified proof authority");
+  return {
+    schema: input.schema,
+    authority: input.authority,
+    nativeProofAuthority: true,
+    ...(input.evidenceRoot
+      ? {
+          evidenceRoot: exactRoot(
+            input.evidenceRoot,
+            "qualification evidenceRoot",
+          ),
+        }
+      : {}),
+    qualificationReceiptRoot: exactRoot(
+      input.qualificationReceiptRoot,
+      "qualification receiptRoot",
+    ),
+    sourceProofRoot: exactRoot(
+      input.sourceProofRoot,
+      "qualification sourceProofRoot",
+    ),
+    nativeProofRoot: exactRoot(
+      input.nativeProofRoot,
+      "qualification nativeProofRoot",
+    ),
+    nativeExecutionBindingRoot: exactRoot(
+      input.nativeExecutionBindingRoot,
+      "qualification nativeExecutionBindingRoot",
+    ),
+    nativeExecutionReceiptRoot: exactRoot(
+      input.nativeExecutionReceiptRoot,
+      "qualification nativeExecutionReceiptRoot",
+    ),
+    nativeCommandRoot: exactRoot(
+      input.nativeCommandRoot,
+      "qualification nativeCommandRoot",
+    ),
+    qualificationContractRoot: exactRoot(
+      input.qualificationContractRoot,
+      "qualification contractRoot",
+    ),
+    qualifiedAt: timestamp(input.qualifiedAt, "qualification qualifiedAt"),
+  };
+}
+
+export function normalizeDevDeliveryAuthorityCandidate(input, expected) {
+  const identity = candidateIdentity(input, expected);
+  if (input.candidateId && input.candidateId !== identity.candidateId)
+    throw new Error(
+      `candidateId mismatch for PR #${identity.pullRequestNumber}`,
+    );
+  const status = text(input.status || "queued");
+  if (
+    ![
+      "queued",
+      "qualifying",
+      "qualified",
+      "landing",
+      ...TERMINAL_STATES,
+    ].includes(status)
+  )
+    throw new Error(`unsupported candidate status ${status || "<empty>"}`);
+  const candidate = {
+    ...identity,
+    sourceHead: exactSha(input.sourceHead, "sourceHead"),
+    sourcePatchRoot: exactRoot(input.sourcePatchRoot, "sourcePatchRoot"),
+    sourceProofRoot: exactRoot(input.sourceProofRoot, "sourceProofRoot"),
+    planRoot: exactRoot(input.planRoot, "planRoot"),
+    closureRoot: exactRoot(input.closureRoot, "closureRoot"),
+    dependencyRoot: exactRoot(input.dependencyRoot, "dependencyRoot"),
+    toolchainRoot: exactRoot(input.toolchainRoot, "toolchainRoot"),
+    enqueuedAt: timestamp(input.enqueuedAt, "candidate enqueuedAt"),
+    updatedAt: timestamp(
+      input.updatedAt || input.enqueuedAt,
+      "candidate updatedAt",
+    ),
+    status,
+    qualification: normalizeQualification(input.qualification),
+    terminal: input.terminal
+      ? {
+          outcome: text(input.terminal.outcome),
+          evidenceRoot: exactRoot(
+            input.terminal.evidenceRoot,
+            "terminal evidenceRoot",
+          ),
+          reason: text(input.terminal.reason),
+          settledAt: timestamp(input.terminal.settledAt, "terminal settledAt"),
+          ...(normalizeProviderFailureAuthorityBinding(input.terminal) || {}),
+          ...normalizeDevDeliveryTerminalProviderEvidence(input.terminal),
+        }
+      : null,
+  };
+  if (Object.hasOwn(input, "environmentRoot"))
+    candidate.environmentRoot = exactRoot(
+      input.environmentRoot,
+      "environmentRoot",
+    );
+  if (Object.hasOwn(input, "nativeCommandContract")) {
+    candidate.nativeCommandContract = normalizeNativeCommandContract(
+      input.nativeCommandContract,
+    );
+  }
+  if (Object.hasOwn(input, "affectedPaths")) {
+    if (!Array.isArray(input.affectedPaths))
+      throw new Error("candidate affectedPaths must be an array");
+    candidate.affectedPaths = [
+      ...new Set(input.affectedPaths.map(text).filter(Boolean)),
+    ].sort();
+  }
+  if (Object.hasOwn(input, "shardEvidenceRoots")) {
+    if (!Array.isArray(input.shardEvidenceRoots))
+      throw new Error("candidate shardEvidenceRoots must be an array");
+    candidate.shardEvidenceRoots = [
+      ...new Set(
+        input.shardEvidenceRoots.map((value) =>
+          exactRoot(value, "candidate shardEvidenceRoot"),
+        ),
+      ),
+    ].sort();
+  }
+  if (Object.hasOwn(input, "qualificationDomains"))
+    candidate.qualificationDomains = normalizedDomains(
+      input.qualificationDomains,
+    );
+  if (Object.hasOwn(input, "qualificationAttempts"))
+    candidate.qualificationAttempts = nonNegativeInteger(
+      input.qualificationAttempts,
+      "candidate qualificationAttempts",
+    );
+  if (Object.hasOwn(input, "landingOvertakes"))
+    candidate.landingOvertakes = nonNegativeInteger(
+      input.landingOvertakes,
+      "candidate landingOvertakes",
+    );
+  return candidate;
+}

package/packages/core/dev-delivery-authority-evidence.js

@@ -0,0 +1,146 @@
+import {
+  devDeliveryClone as clone,
+  devDeliveryContentRoot,
+} from "./dev-delivery-common.js";
+import { verifySourceQualificationProof } from "./dev-delivery-proof.js";
+import { verifyNativeQualificationProof } from "./dev-delivery-native-proof.js";
+
+export const DEV_DELIVERY_BOUNDED_QUALIFICATION_CONTRACT_SCHEMA =
+  "kungfu.buildchain.dev-delivery-bounded-qualification-contract/v1";
+export const DEV_DELIVERY_BOUNDED_QUALIFICATION_RECEIPT_SCHEMA =
+  "kungfu.buildchain.dev-delivery-bounded-qualification-receipt/v1";
+
+function contractBody({ state, candidate, lease, sourceProof, nativeProof }) {
+  return {
+    schema: DEV_DELIVERY_BOUNDED_QUALIFICATION_CONTRACT_SCHEMA,
+    authority: "qualification-only",
+    mergeGroupAdmission: false,
+    repository: state.repository,
+    protectedBase: state.protectedBase,
+    candidateId: candidate.candidateId,
+    qualificationLeaseToken: lease.token,
+    qualificationLeaseGeneration: lease.generation,
+    sourceHead: candidate.sourceHead,
+    sourceProofRoot: sourceProof.proofRoot,
+    nativeProofRoot: nativeProof.proofRoot,
+    nativeExecutionBindingRoot: nativeProof.nativeExecutionBindingRoot,
+    nativeExecutionReceiptRoot: nativeProof.nativeExecutionReceiptRoot,
+    nativeCommandRoot: candidate.nativeCommandContract.commandRoot,
+    planRoot: candidate.planRoot,
+    closureRoot: candidate.closureRoot,
+    dependencyRoot: candidate.dependencyRoot,
+    toolchainRoot: candidate.toolchainRoot,
+    environmentRoot: candidate.environmentRoot,
+    qualificationDomains: candidate.qualificationDomains || [],
+    shardEvidenceRoots: candidate.shardEvidenceRoots || [],
+  };
+}
+
+export function createDevDeliveryQualificationContract(input = {}) {
+  const body = contractBody(input);
+  return { ...body, contractRoot: devDeliveryContentRoot(body) };
+}
+
+export function verifyDevDeliveryQualificationEvidence({
+  state,
+  candidate,
+  lease,
+  sourceProof,
+  nativeProof,
+  qualificationContract,
+}) {
+  const source = verifySourceQualificationProof(sourceProof, {
+    repository: state.repository,
+    protectedBase: state.protectedBase,
+    sourceHead: candidate.sourceHead,
+    sourceIdentityRoot: candidate.sourceIdentityRoot,
+    sourcePatchRoot: candidate.sourcePatchRoot,
+    planRoot: candidate.planRoot,
+    closureRoot: candidate.closureRoot,
+    dependencyRoot: candidate.dependencyRoot,
+    toolchainRoot: candidate.toolchainRoot,
+  });
+  if (!source.ok) {
+    throw new Error(`source qualification proof rejected: ${source.reason}`);
+  }
+  if (source.proofRoot !== candidate.sourceProofRoot) {
+    throw new Error("source qualification proof root does not match candidate");
+  }
+  const native = verifyNativeQualificationProof(nativeProof, {
+    repository: state.repository,
+    protectedBase: state.protectedBase,
+    sourceHead: candidate.sourceHead,
+    sourceIdentityRoot: candidate.sourceIdentityRoot,
+    sourcePatchRoot: candidate.sourcePatchRoot,
+    planRoot: candidate.planRoot,
+    closureRoot: candidate.closureRoot,
+    dependencyRoot: candidate.dependencyRoot,
+    toolchainRoot: candidate.toolchainRoot,
+    environmentRoot: candidate.environmentRoot,
+    nativeCommandRoot: candidate.nativeCommandContract?.commandRoot,
+  });
+  if (!native.ok) {
+    throw new Error(`native qualification proof rejected: ${native.reason}`);
+  }
+  const expectedShards = [
+    ...(candidate.shardEvidenceRoots || []),
+    nativeProof.nativeExecutionReceiptRoot,
+  ].sort();
+  if (
+    JSON.stringify(nativeProof.shardEvidenceRoots) !==
+    JSON.stringify([...new Set(expectedShards)])
+  ) {
+    throw new Error(
+      "native qualification shard evidence does not match candidate",
+    );
+  }
+  const expected = createDevDeliveryQualificationContract({
+    state,
+    candidate,
+    lease,
+    sourceProof,
+    nativeProof,
+  });
+  const observed = clone(qualificationContract || {});
+  if (
+    JSON.stringify(observed) !== JSON.stringify(expected) ||
+    observed.contractRoot !== expected.contractRoot
+  ) {
+    throw new Error(
+      "bounded qualification contract does not match exact evidence",
+    );
+  }
+  return {
+    sourceProofRoot: source.proofRoot,
+    nativeProofRoot: native.proofRoot,
+    nativeExecutionBindingRoot: nativeProof.nativeExecutionBindingRoot,
+    nativeExecutionReceiptRoot: nativeProof.nativeExecutionReceiptRoot,
+    nativeCommandRoot: candidate.nativeCommandContract.commandRoot,
+    qualificationContractRoot: expected.contractRoot,
+  };
+}
+
+export function createDevDeliveryBoundedQualificationReceipt({
+  state,
+  candidate,
+  lease,
+  evidence,
+  qualifiedAt,
+}) {
+  const receipt = {
+    schema: DEV_DELIVERY_BOUNDED_QUALIFICATION_RECEIPT_SCHEMA,
+    action: "qualification-completed-lease-released",
+    authority: "qualification-only",
+    mergeGroupAdmission: false,
+    repository: state.repository,
+    protectedBase: state.protectedBase,
+    candidateId: candidate.candidateId,
+    qualificationLeaseToken: lease.token,
+    qualificationLeaseGeneration: lease.generation,
+    ...evidence,
+    qualifiedAt,
+    expectedOldStateRoot: state.stateRoot,
+    nextAction: "Wait for the single exclusive Landing Warrant.",
+  };
+  return { receipt, receiptRoot: devDeliveryContentRoot(receipt) };
+}