@martinloop/mcp 0.7.1 → 0.8.1

package/dist/vendor/core/swarm/index.d.ts

@@ -0,0 +1,110 @@
+import type { SwarmCleanupRecord, ReceiptIntegritySummary, SwarmDeterministicDemoReceiptEvidence, SwarmEvent, SwarmGlobalVerification, SwarmOutcome, SwarmRunRecord } from "../../contracts/index.js";
+import { type SwarmIntegrationEvidenceStore } from "./integration.js";
+import { type SwarmGlobalVerificationEvidenceStore, type SwarmVerifierExecutor } from "./verification.js";
+import { type SwarmWorkspaceManager } from "./workspaces.js";
+export { createParentDependencyWaiverRegistry, createSwarmBudgetLedger, extendSwarmBudgetLease, issueParentDependencyWaiver, releaseSwarmBudgetLease, reserveSwarmBudgetLease, selectNextSwarmBatch, settleSwarmBudgetLease, tasksHaveScopeCollision, validateSwarmTaskGraph } from "./scheduler.js";
+export type { DependencyWaiverIssuanceResult, IssuedDependencyWaiverCapability, ParentDependencyWaiverRegistry, SwarmBatchResult, SwarmBudgetProtectedUsage, SwarmBudgetTransitionResult, SwarmGraphValidationResult, SwarmSchedulerError } from "./scheduler.js";
+export type ParentSwarmInvariantState = "passed" | "failed" | "unknown";
+export interface ParentSwarmOutcomeDecision {
+    outcome: SwarmOutcome;
+    blockingInvariants: string[];
+    event?: SwarmEvent;
+}
+export interface ParentSwarmOutcomeAssessment {
+    disposition: "ready" | "stopped" | "needs_review";
+    eligibleForParentVerification: boolean;
+    blockingInvariants: string[];
+}
+export interface DeterministicDemoVerifierExecutionFacts {
+    verifierId: string;
+    swarmId: string;
+    workspaceId: string;
+    parentPolicyVersion: string;
+    commands: string[];
+    launched: boolean;
+    completed: boolean;
+    crashed: boolean;
+    timedOut: boolean;
+    exitCode: number | null;
+    evaluatedAt: string;
+}
+export interface CompleteDeterministicDemoSwarmRunInput {
+    record: SwarmRunRecord;
+    verifier: DeterministicDemoVerifierExecutionFacts;
+    receiptEvidence: SwarmDeterministicDemoReceiptEvidence[];
+}
+export interface CompleteDeterministicDemoSwarmRunResult extends ParentSwarmOutcomeDecision {
+    record: SwarmRunRecord;
+    receiptEvidence: SwarmDeterministicDemoReceiptEvidence[];
+}
+export interface ParentSwarmPipelineEvidenceStore extends SwarmIntegrationEvidenceStore, SwarmGlobalVerificationEvidenceStore {
+    loadPersistedChildCompletion(childRunId: string): Promise<PersistedSwarmChildCompletionEvidence | undefined>;
+    persistWorkspaceFailureEvidence(evidence: SwarmPipelineWorkspaceFailureEvidence): Promise<void>;
+    persistCleanupEvidence(cleanup: SwarmCleanupRecord): Promise<void>;
+}
+export interface SwarmPipelineWorkspaceFailureEvidence {
+    readonly failureId: string;
+    readonly swarmId: string;
+    readonly workspaceId: string;
+    readonly workspaceKind: "integration" | "verifier";
+    readonly phase: "integration" | "verification";
+    readonly errorCode: string;
+    readonly recordedAt: string;
+}
+export interface PersistedSwarmChildCompletionEvidence {
+    readonly swarmId: string;
+    readonly childRunId: string;
+    readonly agentId: string;
+    readonly attemptId: string;
+    readonly taskIds: readonly string[];
+    readonly workspaceId?: string;
+    readonly processCloseState: "closed";
+    readonly leaseState: "settled" | "overspent" | "released";
+    readonly receipt: {
+        readonly receiptId: string;
+        readonly swarmId: string;
+        readonly childRunId: string;
+        readonly agentId: string;
+        readonly attemptId: string;
+        readonly taskIds: readonly string[];
+        readonly integrity: ReceiptIntegritySummary;
+        readonly bindingSha256: string;
+    };
+    readonly evidencePersisted: true;
+    readonly workspaceCleanupState: "completed" | "not_required";
+    readonly cleanup?: SwarmCleanupRecord;
+}
+export interface RunParentSwarmPipelineInput {
+    readonly record: SwarmRunRecord;
+    readonly candidateIds: readonly string[];
+    readonly workspaceManager: SwarmWorkspaceManager;
+    readonly evidenceStore: ParentSwarmPipelineEvidenceStore;
+    readonly integrationWorkspaceId: string;
+    readonly verifierWorkspaceId: string;
+    readonly verifierExecutor: SwarmVerifierExecutor;
+    readonly signal: AbortSignal;
+    readonly now?: () => string;
+    readonly createId?: (prefix: string) => string;
+}
+export interface RunParentSwarmPipelineResult {
+    readonly record: SwarmRunRecord;
+    readonly outcome: SwarmOutcome;
+    readonly disposition: ParentSwarmOutcomeAssessment["disposition"];
+    readonly blockingInvariants: readonly string[];
+    readonly integration: {
+        readonly completed: boolean;
+        readonly finalTreeHash: string;
+        readonly admittedCandidateIds: readonly string[];
+    };
+    readonly verification?: SwarmGlobalVerification;
+    readonly cleanup: readonly SwarmCleanupRecord[];
+}
+/** Internal authority check for operational persistence; not re-exported from Core root. */
+export declare function isAuthorizedParentSwarmPipelineResult(result: RunParentSwarmPipelineResult): boolean;
+/**
+ * The only public live Phase 3 completion boundary. It derives integration,
+ * verifier, receipt, budget, conflict, and cleanup truth from concrete runtime
+ * evidence; callers cannot supply invariant booleans or a desired outcome.
+ */
+export declare function runParentSwarmPipeline(input: RunParentSwarmPipelineInput): Promise<RunParentSwarmPipelineResult>;
+export declare function completeDeterministicDemoSwarmRun(input: CompleteDeterministicDemoSwarmRunInput): CompleteDeterministicDemoSwarmRunResult;