@contractspec/lib.execution-lanes 0.1.1

package/dist/types/team.d.ts

@@ -0,0 +1,128 @@
+import type { RoleWriteScope } from './roles';
+export type TeamTaskStatus = 'pending' | 'ready' | 'leased' | 'running' | 'blocked' | 'completed' | 'failed' | 'cancelled';
+export type TeamWorkerStatus = 'idle' | 'running' | 'paused' | 'offline' | 'failed' | 'completed';
+export type TeamCleanupStatus = 'not_requested' | 'in_progress' | 'completed' | 'partial' | 'failed';
+export interface TeamWorkerSpec {
+    workerId: string;
+    roleProfile: string;
+    concurrencyClass: 'single' | 'parallel';
+    worktreeMode?: 'shared' | 'isolated';
+}
+export interface TeamBacklogTaskSpec {
+    taskId: string;
+    title: string;
+    description: string;
+    roleHint?: string;
+    dependencies?: string[];
+    writePaths?: string[];
+}
+export interface TeamWorkerLaunchSpec {
+    runId: string;
+    workerId: string;
+    roleKey: string;
+    writeScope: RoleWriteScope;
+    worktreeMode?: TeamWorkerSpec['worktreeMode'];
+    writePaths?: string[];
+}
+export interface TeamRunSpec {
+    id: string;
+    sourcePlanPackId?: string;
+    objective: string;
+    backendKey?: string;
+    workers: TeamWorkerSpec[];
+    backlog: TeamBacklogTaskSpec[];
+    coordination: {
+        mailbox: boolean;
+        taskLeasing: boolean;
+        heartbeats: boolean;
+        rebalancing: boolean;
+    };
+    verificationLane: {
+        required: boolean;
+        ownerRole: string;
+    };
+    shutdownPolicy: {
+        requireTerminalTasks: boolean;
+        requireEvidenceGate: boolean;
+    };
+}
+export interface TeamLeaseRecord {
+    workerId: string;
+    leasedAt: string;
+    expiresAt: string;
+    renewCount: number;
+}
+export interface TeamHeartbeatRecord {
+    id: string;
+    workerId: string;
+    createdAt: string;
+    currentTaskId?: string;
+    health: 'healthy' | 'stale' | 'offline' | 'failed';
+    progressSummary?: string;
+}
+export interface TeamTaskRecord {
+    taskId: string;
+    title: string;
+    description: string;
+    roleHint?: string;
+    dependencies: string[];
+    writePaths?: string[];
+    status: TeamTaskStatus;
+    claimedBy?: string;
+    evidenceBundleIds: string[];
+    retryHistory: string[];
+    lease?: TeamLeaseRecord;
+}
+export interface TeamWorkerState {
+    workerId: string;
+    roleProfile: string;
+    status: TeamWorkerStatus;
+    currentTaskId?: string;
+    lastHeartbeatAt?: string;
+    progressSummary?: string;
+}
+export interface TeamMailboxMessage {
+    id: string;
+    from: string;
+    to: string;
+    scope: 'leader-worker' | 'worker-leader' | 'worker-worker' | 'system';
+    createdAt: string;
+    body: string;
+}
+export interface TeamCleanupState {
+    status: TeamCleanupStatus;
+    requestedAt?: string;
+    completedAt?: string;
+    reason?: string;
+    failures: Array<{
+        workerId: string;
+        message: string;
+    }>;
+}
+export interface TeamRunState {
+    runId: string;
+    spec: TeamRunSpec;
+    status: 'initialized' | 'running' | 'paused' | 'completed' | 'completed_with_followup_recommended' | 'blocked' | 'failed' | 'aborted';
+    tasks: TeamTaskRecord[];
+    workers: TeamWorkerState[];
+    mailbox: TeamMailboxMessage[];
+    heartbeatLog: TeamHeartbeatRecord[];
+    cleanup: TeamCleanupState;
+    evidenceBundleIds: string[];
+    createdAt: string;
+    updatedAt: string;
+    terminalReason?: string;
+    terminalStateArtifactId?: string;
+}
+export interface TeamCompletionSnapshot {
+    runId: string;
+    status: TeamRunState['status'];
+    completedAt: string;
+    evidenceBundleIds: string[];
+    cleanupStatus: TeamCleanupStatus;
+    taskStatuses: Array<{
+        taskId: string;
+        status: TeamTaskStatus;
+    }>;
+    followupRecommendation?: string;
+}

package/dist/utils/deep-clone.d.ts

@@ -0,0 +1 @@
+export declare function deepClone<T>(value: T): T;

package/dist/utils/id.d.ts

@@ -0,0 +1 @@
+export declare function createId(prefix: string): string;

package/dist/validation/clarification-artifact.d.ts

@@ -0,0 +1,4 @@
+import type { ClarificationArtifact } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateClarificationArtifact(artifact: ClarificationArtifact): ExecutionLanesValidationIssue[];
+export declare function assertValidClarificationArtifact(artifact: ClarificationArtifact): ClarificationArtifact;

package/dist/validation/completion-loop-spec.d.ts

@@ -0,0 +1,4 @@
+import type { CompletionLoopSpec } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateCompletionLoopSpec(spec: CompletionLoopSpec): ExecutionLanesValidationIssue[];
+export declare function assertValidCompletionLoopSpec(spec: CompletionLoopSpec): CompletionLoopSpec;

package/dist/validation/contracts.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/validation/issues.d.ts

@@ -0,0 +1,6 @@
+export interface ExecutionLanesValidationIssue {
+    path: string;
+    message: string;
+}
+export declare function pushIssue(issues: ExecutionLanesValidationIssue[], path: string, message: string): void;
+export declare function assertValid(issues: ExecutionLanesValidationIssue[], message: string): void;

package/dist/validation/lane-spec.d.ts

@@ -0,0 +1,3 @@
+import type { ExecutionLaneSpec } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateExecutionLaneSpec(spec: ExecutionLaneSpec): ExecutionLanesValidationIssue[];

package/dist/validation/plan-pack.d.ts

@@ -0,0 +1,3 @@
+import type { ExecutionPlanPack } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateExecutionPlanPack(plan: ExecutionPlanPack): ExecutionLanesValidationIssue[];

package/dist/validation/role-profile.d.ts

@@ -0,0 +1,3 @@
+import type { RoleProfile } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateRoleProfile(profile: RoleProfile): ExecutionLanesValidationIssue[];

package/dist/validation/team-run-spec.d.ts

@@ -0,0 +1,4 @@
+import type { TeamRunSpec } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateTeamRunSpec(spec: TeamRunSpec): ExecutionLanesValidationIssue[];
+export declare function assertValidTeamRunSpec(spec: TeamRunSpec): TeamRunSpec;

package/dist/validation/verification-policy.d.ts

@@ -0,0 +1,5 @@
+import type { VerificationPolicy, VerificationPolicySource } from '../types';
+import { type ExecutionLanesValidationIssue } from './issues';
+export declare function validateVerificationPolicy(policy: VerificationPolicy): ExecutionLanesValidationIssue[];
+export declare function validateVerificationPolicySource(policy: VerificationPolicySource): ExecutionLanesValidationIssue[];
+export declare function assertValidVerificationPolicy(policy: VerificationPolicy): VerificationPolicy;

package/package.json

@@ -0,0 +1,105 @@
+{
+  "name": "@contractspec/lib.execution-lanes",
+  "version": "0.1.1",
+  "description": "Execution lanes orchestration contracts and runtime for ContractSpec.",
+  "keywords": [
+    "contractspec",
+    "execution",
+    "lanes",
+    "orchestration",
+    "typescript"
+  ],
+  "type": "module",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "scripts": {
+    "publish:pkg": "bun publish --tolerate-republish --ignore-scripts --verbose",
+    "publish:pkg:canary": "bun publish:pkg --tag canary",
+    "build": "bun run build:bundle && bun run build:types",
+    "build:bundle": "contractspec-bun-build transpile",
+    "build:types": "contractspec-bun-build types",
+    "dev": "contractspec-bun-build dev",
+    "clean": "rimraf dist .turbo",
+    "lint": "bun lint:fix",
+    "lint:fix": "node ../../../scripts/biome.cjs check --write --unsafe --only=nursery/useSortedClasses . && node ../../../scripts/biome.cjs check --write .",
+    "lint:check": "node ../../../scripts/biome.cjs check .",
+    "test": "bun test",
+    "prebuild": "contractspec-bun-build prebuild",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@contractspec/lib.contracts-spec": "5.2.0",
+    "@contractspec/lib.harness": "0.2.11"
+  },
+  "devDependencies": {
+    "@contractspec/tool.bun": "3.7.14",
+    "@contractspec/tool.typescript": "3.7.13",
+    "typescript": "^5.9.3"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "bun": "./dist/index.js",
+      "node": "./dist/node/index.js",
+      "default": "./dist/index.js"
+    },
+    "./defaults": {
+      "types": "./dist/defaults/index.d.ts",
+      "bun": "./dist/defaults/index.js",
+      "node": "./dist/node/defaults/index.js",
+      "default": "./dist/defaults/index.js"
+    },
+    "./interop": {
+      "types": "./dist/interop/index.d.ts",
+      "bun": "./dist/interop/index.js",
+      "node": "./dist/node/interop/index.js",
+      "default": "./dist/interop/index.js"
+    },
+    "./types": {
+      "types": "./dist/types/index.d.ts",
+      "bun": "./dist/types/index.js",
+      "node": "./dist/node/types/index.js",
+      "default": "./dist/types/index.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/",
+    "exports": {
+      ".": {
+        "types": "./dist/index.d.ts",
+        "bun": "./dist/index.js",
+        "node": "./dist/node/index.js",
+        "default": "./dist/index.js"
+      },
+      "./defaults": {
+        "types": "./dist/defaults/index.d.ts",
+        "bun": "./dist/defaults/index.js",
+        "node": "./dist/node/defaults/index.js",
+        "default": "./dist/defaults/index.js"
+      },
+      "./interop": {
+        "types": "./dist/interop/index.d.ts",
+        "bun": "./dist/interop/index.js",
+        "node": "./dist/node/interop/index.js",
+        "default": "./dist/interop/index.js"
+      },
+      "./types": {
+        "types": "./dist/types/index.d.ts",
+        "bun": "./dist/types/index.js",
+        "node": "./dist/node/types/index.js",
+        "default": "./dist/types/index.js"
+      }
+    }
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/lssm-tech/contractspec.git",
+    "directory": "packages/libs/execution-lanes"
+  },
+  "homepage": "https://contractspec.io"
+}