@blxzer/pactile 0.5.0 → 0.6.0-beta.4

package/dist/pactile/scheduler/task-kernel-admission.d.ts

@@ -0,0 +1,173 @@
+export interface TaskKernelRunDispatchRequestV1 {
+    scheduleReceiptFingerprint: string;
+    taskId: string;
+    runId: string;
+    /** Pre-dispatch owner identity; required when the Task Run has no host yet. */
+    owner?: TaskKernelRunDispatchOwnerV1;
+}
+export interface TaskKernelRunDispatchOwnerV1 {
+    host: string;
+    role: string;
+    sessionId: string | null;
+    threadId: string | null;
+    hostId: string | null;
+    contractFingerprint?: string | null;
+    startRequestId?: string | null;
+    processId?: number | null;
+}
+export interface TaskKernelRunDispatchDecisionReceiptV1 {
+    schemaVersion: 1;
+    scope: "task-kernel-v2-run-admission";
+    receiptFingerprint: string;
+    createdAt: string;
+    decision: "permitted" | "rejected";
+    request: TaskKernelRunDispatchRequestV1;
+    owner: TaskKernelRunDispatchOwnerV1 | null;
+    reasonCodes: string[];
+    taskKernelRevision: number | null;
+    dependencyKernelRevisions: Record<string, number | null>;
+    writeSet: string[] | null;
+    conflictingLeaseIds: string[];
+    leaseId: string | null;
+}
+export interface TaskKernelRunDispatchPermitV1 {
+    permitted: true;
+    receipt: TaskKernelRunDispatchDecisionReceiptV1;
+    receiptFile: string;
+    leaseId: string;
+    leaseFile: string;
+}
+export interface TaskKernelRunDispatchRejectionV1 {
+    permitted: false;
+    receipt: TaskKernelRunDispatchDecisionReceiptV1;
+    receiptFile: string;
+}
+export type TaskKernelRunDispatchResultV1 = TaskKernelRunDispatchPermitV1 | TaskKernelRunDispatchRejectionV1;
+export interface TaskKernelRunDispatchLeaseAssertionV1 {
+    asserted: boolean;
+    reasonCode: string | null;
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    scheduleReceiptFingerprint: string | null;
+    writeSet: string[] | null;
+}
+export interface TaskKernelRunDispatchPreSpawnAssertionRequestV1 {
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    scheduleReceiptFingerprint: string;
+    owner: TaskKernelRunDispatchOwnerV1;
+}
+export interface TaskKernelRunDispatchPreSpawnAssertionV1 extends TaskKernelRunDispatchLeaseAssertionV1 {
+    /** False only when every dispatch gate passed and the Run is still unbound. */
+    hostBound: false | null;
+}
+export interface TaskKernelRunDispatchReleaseResultV1 {
+    released: boolean;
+    reasonCode: string | null;
+    leaseId: string;
+    receiptFile: string | null;
+}
+export interface TaskKernelRunDispatchOwnerBindingReceiptV1 {
+    schemaVersion: 1;
+    scope: "task-kernel-v2-run-owner-binding";
+    receiptFingerprint: string;
+    createdAt: string;
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    scheduleReceiptFingerprint: string;
+    admissionReceiptFingerprint: string;
+    fromOwner: TaskKernelRunDispatchOwnerV1;
+    owner: TaskKernelRunDispatchOwnerV1;
+    hostBoundEventId: string;
+    taskKernelRevision: number;
+}
+export interface TaskKernelRunDispatchOwnerBindingResultV1 {
+    bound: boolean;
+    reasonCode: string | null;
+    leaseId: string;
+    receipt: TaskKernelRunDispatchOwnerBindingReceiptV1 | null;
+    receiptFile: string | null;
+}
+export type TaskKernelRunDispatchStopProofValidationV1 = {
+    valid: true;
+    reasonCode: null;
+    proof: TaskKernelRunDispatchStopProofV1;
+} | {
+    valid: false;
+    reasonCode: string;
+    proof: null;
+};
+export interface TaskKernelRunDispatchStopProofValidationRequestV1 {
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    stopReceiptRef: string;
+}
+declare const STOP_PROOF_SCOPE = "task-kernel-v2-run-dispatch-stop";
+export interface PiRunSettlementSealV1 {
+    outcome: string;
+    tool_errors: number;
+    started_at: string;
+    ended_at: string;
+    elapsed_ms: number;
+    result_file: string | null;
+    result_sha256: string | null;
+}
+export declare function readPiRunSettlementSealV1(runRecord: Record<string, unknown>): PiRunSettlementSealV1 | null;
+export interface TaskKernelRunDispatchStopProofV1 {
+    schema_version: 1;
+    scope: typeof STOP_PROOF_SCOPE;
+    proof_fingerprint: string;
+    lease_id: string;
+    task_id: string;
+    run_id: string;
+    schedule_receipt_fingerprint: string;
+    admission_receipt_fingerprint: string;
+    source: "codex-bridge" | "pi-host";
+    disposition: "native-terminal" | "not-created";
+    writer_exited: true;
+    owner: {
+        host: string;
+        role: string;
+        session_id: string | null;
+        thread_id: string | null;
+        host_id: string | null;
+        start_request_id: string | null;
+        process_id: number | null;
+    };
+    request_ref: string;
+    request_fingerprint: string;
+    native_receipt_ref: string;
+    native_receipt_fingerprint: string;
+    native_run_settlement_fingerprint?: string;
+}
+/** Acquires a project-wide writer lease only for a currently authorized V2 Run. */
+export declare function acquireTaskKernelRunDispatchV1(rootValue: string, request: TaskKernelRunDispatchRequestV1): TaskKernelRunDispatchResultV1;
+/** Binds a previously unknown native writer only after its Run records run.host-bound. */
+export declare function bindTaskKernelRunDispatchOwnerV1(rootValue: string, request: {
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    owner: TaskKernelRunDispatchOwnerV1;
+}): TaskKernelRunDispatchOwnerBindingResultV1;
+/** Revalidates an active lease for a follow-up send or wait operation. */
+export declare function assertTaskKernelRunDispatchLeaseV1(rootValue: string, request: {
+    leaseId: string;
+    taskId: string;
+    runId: string;
+    allowSettled?: boolean;
+}): TaskKernelRunDispatchLeaseAssertionV1;
+/**
+ * Revalidates a writer lease immediately before first spawn, while requiring
+ * the Kernel Run to remain unbound until native process identity exists.
+ */
+export declare function assertTaskKernelRunDispatchPreSpawnV1(rootValue: string, request: TaskKernelRunDispatchPreSpawnAssertionRequestV1): TaskKernelRunDispatchPreSpawnAssertionV1;
+/** Read-only proof gate, usable by host adapters before mutating the lease. */
+export declare function validateTaskKernelRunDispatchStopProofV1(rootValue: string, request: TaskKernelRunDispatchStopProofValidationRequestV1): TaskKernelRunDispatchStopProofValidationV1;
+/** Releases only after a caller has persisted its verified terminal stop receipt. */
+export declare function releaseTaskKernelRunDispatchV1(rootValue: string, request: TaskKernelRunDispatchStopProofValidationRequestV1): TaskKernelRunDispatchReleaseResultV1;
+export {};
+//# sourceMappingURL=task-kernel-admission.d.ts.map

package/dist/pactile/scheduler/task-kernel-admission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-kernel-admission.d.ts","sourceRoot":"","sources":["../../../src/pactile/scheduler/task-kernel-admission.ts"],"names":[],"mappings":"AAmCA,MAAM,WAAW,8BAA8B;IAC7C,0BAA0B,EAAE,MAAM,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,KAAK,CAAC,EAAE,4BAA4B,CAAC;CACtC;AAED,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,sCAAsC;IACrD,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,8BAA8B,CAAC;IACtC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,OAAO,EAAE,8BAA8B,CAAC;IACxC,KAAK,EAAE,4BAA4B,GAAG,IAAI,CAAC;IAC3C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IACzD,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC1B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,6BAA6B;IAC5C,SAAS,EAAE,IAAI,CAAC;IAChB,OAAO,EAAE,sCAAsC,CAAC;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gCAAgC;IAC/C,SAAS,EAAE,KAAK,CAAC;IACjB,OAAO,EAAE,sCAAsC,CAAC;IAChD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,6BAA6B,GACrC,6BAA6B,GAC7B,gCAAgC,CAAC;AAErC,MAAM,WAAW,qCAAqC;IACpD,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,0BAA0B,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,+CAA+C;IAC9D,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,0BAA0B,EAAE,MAAM,CAAC;IACnC,KAAK,EAAE,4BAA4B,CAAC;CACrC;AAED,MAAM,WAAW,wCAAyC,SAAQ,qCAAqC;IACrG,+EAA+E;IAC/E,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED,MAAM,WAAW,0CAA0C;IACzD,aAAa,EAAE,CAAC,CAAC;IACjB,KAAK,EAAE,kCAAkC,CAAC;IAC1C,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,0BAA0B,EAAE,MAAM,CAAC;IACnC,2BAA2B,EAAE,MAAM,CAAC;IACpC,SAAS,EAAE,4BAA4B,CAAC;IACxC,KAAK,EAAE,4BAA4B,CAAC;IACpC,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,yCAAyC;IACxD,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,0CAA0C,GAAG,IAAI,CAAC;IAC3D,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED,MAAM,MAAM,0CAA0C,GAClD;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,gCAAgC,CAAA;CAAE,GAC1E;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,iDAAiD;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;CACxB;AAyBD,QAAA,MAAM,gBAAgB,qCAAqC,CAAC;AAW5D,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,qBAAqB,GAAG,IAAI,CAsC9B;AAED,MAAM,WAAW,gCAAgC;IAC/C,cAAc,EAAE,CAAC,CAAC;IAClB,KAAK,EAAE,OAAO,gBAAgB,CAAC;IAC/B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,4BAA4B,EAAE,MAAM,CAAC;IACrC,6BAA6B,EAAE,MAAM,CAAC;IACtC,MAAM,EAAE,cAAc,GAAG,SAAS,CAAC;IACnC,WAAW,EAAE,iBAAiB,GAAG,aAAa,CAAC;IAC/C,aAAa,EAAE,IAAI,CAAC;IACpB,KAAK,EAAE;QACL,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;QAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QACvB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;KAC3B,CAAC;IACF,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,0BAA0B,EAAE,MAAM,CAAC;IACnC,iCAAiC,CAAC,EAAE,MAAM,CAAC;CAC5C;AAolCD,mFAAmF;AACnF,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,8BAA8B,GACtC,6BAA6B,CAoO/B;AAqJD,0FAA0F;AAC1F,wBAAgB,gCAAgC,CAC9C,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE;IACP,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,4BAA4B,CAAC;CACrC,GACA,yCAAyC,CAgJ3C;AAgCD,0EAA0E;AAC1E,wBAAgB,kCAAkC,CAChD,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE;IACP,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB,GACA,qCAAqC,CAEvC;AAED;;;GAGG;AACH,wBAAgB,qCAAqC,CACnD,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,+CAA+C,GACvD,wCAAwC,CAW1C;AAgOD,+EAA+E;AAC/E,wBAAgB,wCAAwC,CACtD,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,iDAAiD,GACzD,0CAA0C,CA0C5C;AAED,qFAAqF;AACrF,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,iDAAiD,GACzD,oCAAoC,CAwFtC"}