taskflow-mcp-core 0.3.0-beta.1.1 → 1.0.0

package/dist/control/store/coordinator-store.d.ts

@@ -0,0 +1,143 @@
+import { type CoordinatorLease, type CoordinatorCommandRecord, type ConcurrencyReservation, type CapacitySnapshot } from "../schema/coordinator.ts";
+export interface CoordinatorIdentity {
+    principal: string;
+    ownerId: string;
+    operator: boolean;
+}
+export interface CoordinatorAdmissionProof {
+    reservationId: string;
+    projectId: string;
+    projectControlDomainId: string;
+    runId: string;
+    projectAdmitCommitSeq: number;
+    runVersion: number;
+}
+/** Read-only absence is informational and never authorizes capacity release. */
+export interface CoordinatorAdmissionAbsence {
+    status: "not-admitted";
+    reservationId: string;
+    projectId: string;
+    projectControlDomainId: string;
+    runId: string;
+    runVersion: number;
+}
+export interface CoordinatorAbandonmentProof {
+    status: "abandoned";
+    reservationId: string;
+    projectId: string;
+    projectControlDomainId: string;
+    runId: string;
+    runVersion: number;
+    abandonmentCommitSeq: number;
+}
+export type CoordinatorAdmissionDecision = CoordinatorAdmissionProof | CoordinatorAbandonmentProof;
+export type CoordinatorAdmissionObservation = CoordinatorAdmissionDecision | CoordinatorAdmissionAbsence | null;
+export interface CoordinatorReleaseProof extends CoordinatorAdmissionProof {
+    proofId: string;
+    status: string;
+    stage: string;
+    requiresReadmission: boolean;
+    providerNoLiveProcessTree: boolean;
+    noAmbiguousJobs: boolean;
+    reconcileTimeoutOnly: boolean;
+}
+export type CoordinatorOperation = "dispatch" | "reserve" | "commit" | "renew" | "markOrphanSuspect" | "normalRelease" | "forceRelease" | "setMaxActiveRuns" | "readReservation" | "readCommand" | "snapshot";
+/** Configured only by the trusted host service. Context is opaque service
+ * authority, never a wire-body principal or caller-supplied quiescence bool. */
+export interface CoordinatorAuthority<Context> {
+    readLease(): CoordinatorLease | null | Promise<CoordinatorLease | null>;
+    authorize(context: Context, operation: CoordinatorOperation, reservation?: ConcurrencyReservation): CoordinatorIdentity | Promise<CoordinatorIdentity>;
+    readAdmission(reservation: ConcurrencyReservation): CoordinatorAdmissionObservation | Promise<CoordinatorAdmissionObservation>;
+    /** Explicit project journal CAS against the SAME writer fence as admission.
+     * Existing admission wins; otherwise durably tombstone this reservation.
+     * Omission is safe: expired reservations retain capacity until reconciled. */
+    abandonAdmissionIfAbsent?(reservation: ConcurrencyReservation): CoordinatorAdmissionDecision | Promise<CoordinatorAdmissionDecision>;
+    readRelease(reservation: ConcurrencyReservation): CoordinatorReleaseProof | Promise<CoordinatorReleaseProof>;
+}
+export interface CoordinatorStoreOptions<Context> {
+    initialMaxActiveRuns: number;
+    epoch: number;
+    holderId: string;
+    authority: CoordinatorAuthority<Context>;
+}
+export interface StoredReservation {
+    reservation: ConcurrencyReservation;
+    ownerId: string;
+    principal: string;
+    updatedAt: number;
+    admitRunVersion?: number;
+    releaseKind?: "normal" | "force";
+    releaseProofId?: string;
+    concurrencyGuarantee: "enforced" | "operator-overridden";
+}
+export type CoordinatorOperatorRequest = {
+    kind: "setMaxActiveRuns";
+    maxActiveRuns: number;
+} | {
+    kind: "forceRelease";
+    reservationId: string;
+    riskAcknowledgement: true;
+    reason: string;
+};
+export interface StoredCoordinatorCommand {
+    /** New commands retain inspectable audit intent; legacy records remain readable. */
+    request?: CoordinatorOperatorRequest;
+    record: CoordinatorCommandRecord;
+    result: StoredReservation | number;
+}
+export interface CoordinatorSnapshot {
+    commitSeq: number;
+    fencingEpoch: number;
+    capacity: CapacitySnapshot;
+    concurrencyGuarantee: "enforced" | "operator-overridden";
+    reservations: StoredReservation[];
+    commands: StoredCoordinatorCommand[];
+}
+export declare const COORDINATOR_CRASH_ENV = "TASKFLOW_COORDINATOR_CRASH_AT";
+export type CoordinatorCrashPoint = "before-state-write" | "after-state-write";
+/** Read-only upgrade fence for homes predating coordinator-epoch.json. Never
+ * trust a bare epoch field: verify the complete ledger and its genesis binding. */
+export declare function readDurableCoordinatorEpoch(directory: string): number;
+export declare class UserCoordinatorStore<Context> {
+    #private;
+    readonly storePath: string;
+    constructor(directory: string, options: CoordinatorStoreOptions<Context>);
+    close(): void;
+    initialize(): Promise<void>;
+    snapshot(context: Context): Promise<CoordinatorSnapshot>;
+    readReservation(id: string, context: Context): Promise<StoredReservation | undefined>;
+    /** Hold the durable capacity fence through asynchronous preparation and the
+     * synchronous provider launch. Preparation must not launch work or re-enter
+     * this coordinator. The returned activation must not await: its project
+     * binding/auth checks and actual runtime activation occur in one JS turn. */
+    withDispatch<T>(id: string, context: Context, prepare: (row: StoredReservation) => Promise<() => T>): Promise<T>;
+    readCommand(id: string, context: Context): Promise<StoredCoordinatorCommand | undefined>;
+    reserve(input: {
+        reservationId?: string;
+        projectId: string;
+        projectControlDomainId: string;
+        runId: string;
+        ttlMs: number;
+    }, context: Context): Promise<StoredReservation>;
+    commit(id: string, input: {
+        projectAdmitCommitSeq: number;
+        attemptId?: string;
+        providerJobHandle?: string;
+    }, context: Context): Promise<StoredReservation>;
+    renew(id: string, input: {
+        ttlMs?: number;
+    }, context: Context): Promise<StoredReservation>;
+    markOrphanSuspect(id: string, context: Context): Promise<StoredReservation>;
+    normalRelease(id: string, context: Context): Promise<StoredReservation>;
+    forceRelease(id: string, input: {
+        commandId: string;
+        riskAcknowledgement: true;
+        reason: string;
+    }, context: Context): Promise<StoredReservation>;
+    setMaxActiveRuns(input: {
+        commandId: string;
+        maxActiveRuns: number;
+    }, context: Context): Promise<number>;
+}
+export declare function openCoordinatorStore<Context>(directory: string, options: CoordinatorStoreOptions<Context>): Promise<UserCoordinatorStore<Context>>;
+//# sourceMappingURL=coordinator-store.d.ts.map

package/dist/control/store/coordinator-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coordinator-store.d.ts","sourceRoot":"","sources":["../../../../taskflow-control/src/store/coordinator-store.ts"],"names":[],"mappings":"AAYA,OAAO,EACN,KAAK,gBAAgB,EAAE,KAAK,wBAAwB,EAAE,KAAK,sBAAsB,EAAE,KAAK,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAG5I,MAAM,WAAW,mBAAmB;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC9F,MAAM,WAAW,yBAAyB;IACzC,aAAa,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,sBAAsB,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,qBAAqB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;CAC3I;AACD,gFAAgF;AAChF,MAAM,WAAW,2BAA2B;IAC3C,MAAM,EAAE,cAAc,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,sBAAsB,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;CACpI;AACD,MAAM,WAAW,2BAA2B;IAC3C,MAAM,EAAE,WAAW,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,sBAAsB,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAC7G,UAAU,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAC;CACjD;AACD,MAAM,MAAM,4BAA4B,GAAG,yBAAyB,GAAG,2BAA2B,CAAC;AACnG,MAAM,MAAM,+BAA+B,GAAG,4BAA4B,GAAG,2BAA2B,GAAG,IAAI,CAAC;AAChH,MAAM,WAAW,uBAAwB,SAAQ,yBAAyB;IACzE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,OAAO,CAAC;IAC7E,yBAAyB,EAAE,OAAO,CAAC;IAAC,eAAe,EAAE,OAAO,CAAC;IAAC,oBAAoB,EAAE,OAAO,CAAC;CAC5F;AACD,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,mBAAmB,GAAG,eAAe,GAAG,cAAc,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,aAAa,GAAG,UAAU,CAAC;AAC9M;gFACgF;AAChF,MAAM,WAAW,oBAAoB,CAAC,OAAO;IAC5C,SAAS,IAAI,gBAAgB,GAAG,IAAI,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAAC;IACxE,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,CAAC,EAAE,sBAAsB,GAAG,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACvJ,aAAa,CAAC,WAAW,EAAE,sBAAsB,GAAG,+BAA+B,GAAG,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAC/H;;kFAE8E;IAC9E,wBAAwB,CAAC,CAAC,WAAW,EAAE,sBAAsB,GAAG,4BAA4B,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACrI,WAAW,CAAC,WAAW,EAAE,sBAAsB,GAAG,uBAAuB,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAAC;CAC7G;AACD,MAAM,WAAW,uBAAuB,CAAC,OAAO;IAC/C,oBAAoB,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC;CACzC;AACD,MAAM,WAAW,iBAAiB;IACjC,WAAW,EAAE,sBAAsB,CAAC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,UAAU,GAAG,qBAAqB,CAAC;CACzD;AACD,MAAM,MAAM,0BAA0B,GAAG;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAC9F,MAAM,WAAW,wBAAwB;IACxC,oFAAoF;IACpF,OAAO,CAAC,EAAE,0BAA0B,CAAC;IACrC,MAAM,EAAE,wBAAwB,CAAC;IACjC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAAC;CACnC;AAcD,MAAM,WAAW,mBAAmB;IACnC,SAAS,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpE,oBAAoB,EAAE,UAAU,GAAG,qBAAqB,CAAC;IACzD,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAAC,QAAQ,EAAE,wBAAwB,EAAE,CAAC;CACxE;AAmBD,eAAO,MAAM,qBAAqB,kCAAkC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,GAAG,mBAAmB,CAAC;AAwE/E;mFACmF;AACnF,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAiCrE;AAUD,qBAAa,oBAAoB,CAAC,OAAO;;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAM3B,YAAY,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAQvE;IACD,KAAK,IAAI,IAAI,CAAyB;IAChC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAwF;IACnH,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAI7D;IACK,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAK1F;IACD;;;iFAG6E;IACvE,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,iBAAiB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAWrH;IACK,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,wBAAwB,GAAG,SAAS,CAAC,CAO7F;IACK,OAAO,CAAC,KAAK,EAAE;QAAE,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiB9K;IACK,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,qBAAqB,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAoB/J;IACK,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAY/F;IACK,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAOhF;IACK,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAa5E;IACK,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAapJ;IACK,gBAAgB,CAAC,KAAK,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAU7G;CAoID;AACD,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAGxJ"}