@makaio/framework 1.0.0-dev-1789000242829 → 1.0.0-dev-1789034250920

package/dist/{execution-attempt-repository-DSpz2kyW.d.mts → execution-attempt-repository-BoNwNybg.d.mts}

@@ -1,4 +1,4 @@
-import { AttemptOutcomeControlObservation, AttemptOutcomeControlObservation as AttemptOutcomeControlObservation$1, BoundedRecoveryEvidence, ExecutionAttemptCancellationIntent, ExecutionAttemptCancellationIntent as ExecutionAttemptCancellationIntent$1, ExecutionAttemptInstruction, ExecutionAttemptOperationKind, ExecutionAttemptOperationReportRequest, ExecutionAttemptOperationReportResponse, ExecutionAttemptPreparationResult, ExecutionAttemptWorkspaceBinding, ProviderAllocationRef, WorkerAllocationLifetime } from "@makaio/framework/contracts";
+import { AttemptOutcomeControlObservation, AttemptOutcomeControlObservation as AttemptOutcomeControlObservation$1, BoundedRecoveryEvidence, ExecutionAttemptCancellationIntent, ExecutionAttemptCancellationIntent as ExecutionAttemptCancellationIntent$1, ExecutionAttemptControlReceipt, ExecutionAttemptControlRefusalReason, ExecutionAttemptControlReport, ExecutionAttemptInstruction, ExecutionAttemptOperationKind, ExecutionAttemptOperationReportRequest, ExecutionAttemptOperationReportResponse, ExecutionAttemptPreparationResult, ExecutionAttemptWorkspaceBinding, ProviderAllocationRef, WorkerAllocationLifetime } from "@makaio/framework/contracts";
 
 //#region subsystems/workflow-engine/src/execution-attempt-owner-recovery.d.ts
 /** A durable owner's replayable demand for one immutable assignment. */
@@ -111,6 +111,88 @@ declare function replayEnsuredAttempt(input: EnsureExecutionAttemptInput, boundA
  */
 declare function readAttemptSettlementSnapshot<TOutcome>(input: ReadAttemptSettlementInput, snapshot: AttemptSettlementSnapshot, codec: OutcomeCodec<TOutcome>): AttemptSettlementRead<TOutcome>;
 //#endregion
+//#region subsystems/workflow-engine/src/attempt-control-evidence.d.ts
+/** Separate immutable runtime facts for one accepted Cancel and addressed generation. */
+interface AttemptControlEvidence {
+  readonly controlRevision: number;
+  readonly runtimeGeneration: number;
+  readonly receipt: ExecutionAttemptControlReceipt | null;
+  readonly report: ExecutionAttemptControlReport | null;
+}
+/** Coherent recovery read; historical evidence never proves the current generation stopped. */
+interface AttemptCancellationControlState {
+  readonly control: AttemptControlState;
+  readonly cancellation: ExecutionAttemptCancellationIntent | null;
+  readonly evidence: readonly AttemptControlEvidence[];
+}
+/** Exact Attempt and owner scope, without requiring the owner's current-attempt pointer. */
+type ReadAttemptCancellationControlInput = GetInstructionInput;
+/** Store the actual runtime receipt, with owner identity supplied by the trusted caller. */
+interface RecordAttemptControlReceiptInput extends ExecutionAttemptControlReceipt {
+  readonly executionId: string;
+}
+/** Store one final runtime conclusion, independently of receipt and terminal outcome. */
+interface ReportAttemptControlInput extends ExecutionAttemptControlReport {
+  readonly executionId: string;
+}
+/** Exact duplicates preserve the first payload; refusals are not stop evidence. */
+type AttemptControlEvidenceDecision = {
+  readonly kind: 'accepted' | 'duplicate';
+} | {
+  readonly kind: ExecutionAttemptControlRefusalReason;
+};
+/** Required atomic operations belonging to the existing Attempt authority. */
+interface AttemptControlEvidenceRepository {
+  /**
+   * Read intent, runtime correlation and all stored facts in one coherent snapshot.
+   * @param input - Exact trusted owner and Attempt identity.
+   * @returns Snapshot, or null when the Attempt does not belong to that owner.
+   */
+  readAttemptCancellationControl(input: ReadAttemptCancellationControlInput): Promise<AttemptCancellationControlState | null>;
+  /**
+   * Persist an actual delivery receipt without replacing a separately accepted report.
+   * @param input - Runtime receipt plus trusted owner.
+   * @returns Durable correlation/replay decision.
+   */
+  recordAttemptControlReceipt(input: RecordAttemptControlReceiptInput): Promise<AttemptControlEvidenceDecision>;
+  /**
+   * Persist a final scoped report without requiring a prior delivery ACK or current owner pointer.
+   * @param input - Runtime observation plus trusted owner.
+   * @returns Durable correlation/replay decision.
+   */
+  reportAttemptControl(input: ReportAttemptControlInput): Promise<AttemptControlEvidenceDecision>;
+}
+/**
+ * Detach the complete receipt before any asynchronous storage work.
+ * @param input - Runtime receipt and trusted owner.
+ * @returns Parsed snapshot.
+ */
+declare function snapshotAttemptControlReceipt(input: RecordAttemptControlReceiptInput): RecordAttemptControlReceiptInput;
+/**
+ * Detach the complete final report before any asynchronous storage work.
+ * @param input - Runtime observation and trusted owner.
+ * @returns Parsed snapshot.
+ */
+declare function snapshotAttemptControlReport(input: ReportAttemptControlInput): ReportAttemptControlInput;
+/**
+ * Accept a genuine receipt independently of operation occupancy and final reports.
+ * @param attempt - Attempt row, or null when absent.
+ * @param cancellation - Winning Cancel receipt.
+ * @param stored - Previously persisted receipt for the candidate correlation.
+ * @param input - Snapshotted received fact with trusted owner.
+ * @returns Mutation decision; the repository owns the atomic write.
+ */
+declare function evaluateAttemptControlReceipt(attempt: ExecutionAttemptRecord | null, cancellation: ExecutionAttemptCancellationIntent | null, stored: ExecutionAttemptControlReceipt | null, input: RecordAttemptControlReceiptInput): AttemptControlEvidenceDecision;
+/**
+ * Accept one final report, including negative findings and first reports after settlement.
+ * @param attempt - Coherent attempt row including retained terminal operation and Preparation receipts.
+ * @param cancellation - Winning Cancel receipt from the same transaction.
+ * @param stored - Original final report for the candidate revision and generation.
+ * @param input - Snapshotted runtime report with trusted owner.
+ * @returns Mutation decision without altering admission, outcome, provider or Job state.
+ */
+declare function evaluateAttemptControlReport(attempt: ExecutionAttemptRecord | null, cancellation: ExecutionAttemptCancellationIntent | null, stored: ExecutionAttemptControlReport | null, input: ReportAttemptControlInput): AttemptControlEvidenceDecision;
+//#endregion
 //#region subsystems/workflow-engine/src/execution-attempt-cancellation.d.ts
 /** Owner-scoped cancellation of attempts that exist when the request commits. */
 interface RequestExecutionCancellationInput {
@@ -2078,7 +2160,7 @@ type RuntimeReadinessDecision = {
  * value no reload of the attempt ever yields.
  * @typeParam TOutcome - Owner-specific outcome type committed per attempt.
  */
-interface ExecutionAttemptRepository<TOutcome> extends OwnerRequestRecoveryRepository<TOutcome> {
+interface ExecutionAttemptRepository<TOutcome> extends OwnerRequestRecoveryRepository<TOutcome>, AttemptControlEvidenceRepository {
   /**
    * Atomically accept an owner's exact-attempt Cancel and close its operation start gate.
    * Pending and historical attempts remain eligible for monotone cleanup; this grants no
@@ -2669,4 +2751,4 @@ interface ExecutionAttemptRecoveryOperations {
   listOpenProviderOperations(input: ListOpenProviderOperationsInput): Promise<readonly OpenProviderOperationRecord[]>;
 }
 //#endregion
-export { InitialProviderOperationClaimContextSource as $, OperationReportDecision as A, evaluateRuntimeReadiness as At, RecordProvisioningAbsentInput as B, snapshotRequestExecutionCancellationInput as Bt, ExecutionAttemptStatus as C, RuntimeOutcomeFenceMismatchError as Ct, MarkRuntimeReadyInput as D, evaluateOperationCompletion as Dt, InfrastructureFailureDecision as E, evaluateOperationAdmission as Et, ReadBootstrapStartStateInput as F, RequestAttemptCancellationInput as Ft, RuntimeRegistrationDecision as G, EnsureExecutionAttemptPersistenceInput as Gt, RegisterRuntimeInput as H, AttemptSettlementSnapshot as Ht, RecordAllocationInput as I, RequestExecutionCancellationInput as It, sameAllocationRef as J, replayEnsuredAttempt as Jt, decodeDurableOutcome as K, ReadAttemptSettlementInput as Kt, RecordAllocationTerminatedInput as L, evaluateAttemptCancellation as Lt, PendingAttemptAbandonmentDecision as M, AttemptOutcomeControlObservation$1 as Mt, PreparationReceipt as N, ExecutionAttemptCancellationDecision as Nt, OperationAdmissionDecision as O, evaluatePreparationReport as Ot, ProvisioningClaimDecision as P, ExecutionAttemptCancellationIntent$1 as Pt, InitialProviderOperationClaimContext as Q, RecordInfrastructureFailureInput as R, snapshotAttemptOutcomeControl as Rt, ExecutionAttemptSettlementKind as S, RuntimeOutcomeFence as St, GetInstructionInput as T, evaluateAttemptReachability as Tt, ReportOperationInput as U, EnsureExecutionAttemptDecision as Ut, RecoverableAttemptRecord as V, AttemptSettlementRead as Vt, RuntimeReadinessDecision as W, EnsureExecutionAttemptInput as Wt, CompleteProviderOperationInput as X, snapshotEnsureExecutionAttemptPersistenceInput as Xt, sameDurableOutcome as Y, snapshotEnsureExecutionAttemptInput as Yt, HandoffProviderOperationInput as Z, snapshotReadAttemptSettlementInput as Zt, EXECUTION_ATTEMPT_STATUSES as _, isProviderOperationResolved as _t, AllocationRefEvolutionDecision as a, ProviderOperationClaimDecision as at, ExecutionAttemptRecoveryOperations as b, AttemptReachability as bt, AttemptExecutionState as c, ProviderOperationLeaseRenewal as ct, BootstrapStartState as d, ProviderOperationOwnershipRecord as dt, ListOpenProviderOperationsInput as et, CompleteOperationInput as f, ProvisionerIncarnationLossDecision as ft, EXECUTION_ATTEMPT_SETTLEMENT_KINDS as g, TakeOverProviderOperationInput as gt, DurableOutcome as h, RenewProviderOperationClaimInput as ht, AllocationRefEvolution as i, ProviderOperationClaim as it, OutcomeCodec as j, evaluateRuntimeRegistration as jt, OperationCompletionDecision as k, evaluateProvisionerIncarnationLoss as kt, AttemptOperationStartGate as l, ProviderOperationMutationDecision as lt, DuplicateExecutionAttemptError as m, RecordProviderOperationUncertaintyInput as mt, AdmitOperationInput as n, PROVIDER_OPERATION_OBLIGATIONS as nt, AllocationTerminationDecision as o, ProviderOperationCompletionDecision as ot, DiscoveredAllocationDecision as p, ProvisioningAbsenceDecision as pt, durableOutcome as q, readAttemptSettlementSnapshot as qt, AllocationRecordingDecision as r, ProcessBoundProvisionerLossProof as rt, AttemptControlState as s, ProviderOperationLeasePolicy as st, ATTEMPT_OPERATION_START_GATES as t, OpenProviderOperationRecord as tt, BeginProvisioningInput as u, ProviderOperationObligation as ut, ExecutionAttemptCreate as v, ExecutionAttemptOutcomeCommit as vt, ExecutionOwnerId as w, assertRuntimeOutcomeFence as wt, ExecutionAttemptRepository as x, AttemptReachabilityDecision as xt, ExecutionAttemptRecord as y, ExecutionAttemptOutcomeDecision as yt, RecordProvisionerIncarnationLostInput as z, snapshotRequestAttemptCancellationInput as zt };
+export { InitialProviderOperationClaimContextSource as $, AttemptSettlementSnapshot as $t, OperationReportDecision as A, evaluateRuntimeReadiness as At, RecordProvisioningAbsentInput as B, snapshotRequestExecutionCancellationInput as Bt, ExecutionAttemptStatus as C, RuntimeOutcomeFenceMismatchError as Ct, MarkRuntimeReadyInput as D, evaluateOperationCompletion as Dt, InfrastructureFailureDecision as E, evaluateOperationAdmission as Et, ReadBootstrapStartStateInput as F, RequestAttemptCancellationInput as Ft, RuntimeRegistrationDecision as G, ReadAttemptCancellationControlInput as Gt, RegisterRuntimeInput as H, AttemptControlEvidence as Ht, RecordAllocationInput as I, RequestExecutionCancellationInput as It, sameAllocationRef as J, evaluateAttemptControlReceipt as Jt, decodeDurableOutcome as K, RecordAttemptControlReceiptInput as Kt, RecordAllocationTerminatedInput as L, evaluateAttemptCancellation as Lt, PendingAttemptAbandonmentDecision as M, AttemptOutcomeControlObservation$1 as Mt, PreparationReceipt as N, ExecutionAttemptCancellationDecision as Nt, OperationAdmissionDecision as O, evaluatePreparationReport as Ot, ProvisioningClaimDecision as P, ExecutionAttemptCancellationIntent$1 as Pt, InitialProviderOperationClaimContext as Q, AttemptSettlementRead as Qt, RecordInfrastructureFailureInput as R, snapshotAttemptOutcomeControl as Rt, ExecutionAttemptSettlementKind as S, RuntimeOutcomeFence as St, GetInstructionInput as T, evaluateAttemptReachability as Tt, ReportOperationInput as U, AttemptControlEvidenceDecision as Ut, RecoverableAttemptRecord as V, AttemptCancellationControlState as Vt, RuntimeReadinessDecision as W, AttemptControlEvidenceRepository as Wt, CompleteProviderOperationInput as X, snapshotAttemptControlReceipt as Xt, sameDurableOutcome as Y, evaluateAttemptControlReport as Yt, HandoffProviderOperationInput as Z, snapshotAttemptControlReport as Zt, EXECUTION_ATTEMPT_STATUSES as _, isProviderOperationResolved as _t, AllocationRefEvolutionDecision as a, replayEnsuredAttempt as an, ProviderOperationClaimDecision as at, ExecutionAttemptRecoveryOperations as b, AttemptReachability as bt, AttemptExecutionState as c, snapshotReadAttemptSettlementInput as cn, ProviderOperationLeaseRenewal as ct, BootstrapStartState as d, ProviderOperationOwnershipRecord as dt, EnsureExecutionAttemptDecision as en, ListOpenProviderOperationsInput as et, CompleteOperationInput as f, ProvisionerIncarnationLossDecision as ft, EXECUTION_ATTEMPT_SETTLEMENT_KINDS as g, TakeOverProviderOperationInput as gt, DurableOutcome as h, RenewProviderOperationClaimInput as ht, AllocationRefEvolution as i, readAttemptSettlementSnapshot as in, ProviderOperationClaim as it, OutcomeCodec as j, evaluateRuntimeRegistration as jt, OperationCompletionDecision as k, evaluateProvisionerIncarnationLoss as kt, AttemptOperationStartGate as l, ProviderOperationMutationDecision as lt, DuplicateExecutionAttemptError as m, RecordProviderOperationUncertaintyInput as mt, AdmitOperationInput as n, EnsureExecutionAttemptPersistenceInput as nn, PROVIDER_OPERATION_OBLIGATIONS as nt, AllocationTerminationDecision as o, snapshotEnsureExecutionAttemptInput as on, ProviderOperationCompletionDecision as ot, DiscoveredAllocationDecision as p, ProvisioningAbsenceDecision as pt, durableOutcome as q, ReportAttemptControlInput as qt, AllocationRecordingDecision as r, ReadAttemptSettlementInput as rn, ProcessBoundProvisionerLossProof as rt, AttemptControlState as s, snapshotEnsureExecutionAttemptPersistenceInput as sn, ProviderOperationLeasePolicy as st, ATTEMPT_OPERATION_START_GATES as t, EnsureExecutionAttemptInput as tn, OpenProviderOperationRecord as tt, BeginProvisioningInput as u, ProviderOperationObligation as ut, ExecutionAttemptCreate as v, ExecutionAttemptOutcomeCommit as vt, ExecutionOwnerId as w, assertRuntimeOutcomeFence as wt, ExecutionAttemptRepository as x, AttemptReachabilityDecision as xt, ExecutionAttemptRecord as y, ExecutionAttemptOutcomeDecision as yt, RecordProvisionerIncarnationLostInput as z, snapshotRequestAttemptCancellationInput as zt };

package/dist/{extension-context-Cpf_n5FH.d.mts → extension-context-SrQpa_kp.d.mts}

@@ -63,8 +63,8 @@ declare const ExtensionWarningActionSchema: z.ZodDiscriminatedUnion<[z.ZodObject
  * - `'degraded'`    — the extension is operating in a degraded fallback mode.
  */
 declare const ExtensionWarningSeveritySchema: z.ZodEnum<{
-  info: "info";
   degraded: "degraded";
+  info: "info";
   recommended: "recommended";
 }>;
 /**
@@ -75,8 +75,8 @@ declare const ExtensionWarningSeveritySchema: z.ZodEnum<{
  */
 declare const ExtensionWarningSchema: z.ZodObject<{
   severity: z.ZodEnum<{
-    info: "info";
     degraded: "degraded";
+    info: "info";
     recommended: "recommended";
   }>;
   title: z.ZodString;
@@ -122,8 +122,8 @@ declare const ExtensionWarningEntrySchema: z.ZodObject<{
   extensionName: z.ZodString;
   warnings: z.ZodArray<z.ZodObject<{
     severity: z.ZodEnum<{
-      info: "info";
       degraded: "degraded";
+      info: "info";
       recommended: "recommended";
     }>;
     title: z.ZodString;

package/dist/{hook-responses-CpEfxEmG.d.mts → hook-responses-E1gipXIp.d.mts}

@@ -1,4 +1,4 @@
-import { t as ExtensionContext } from "./extension-context-Cpf_n5FH.mjs";
+import { t as ExtensionContext } from "./extension-context-SrQpa_kp.mjs";
 import { z } from "zod";
 
 //#region core/contracts/src/version/primitives.d.ts