@h-rig/contracts 0.0.6-alpha.16 → 0.0.6-alpha.161

package/dist/src/graph.d.ts

@@ -0,0 +1,360 @@
+import { Schema } from "effect";
+import type { CapabilityId } from "./capability-id";
+export declare const TaskStatus: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+export type TaskStatus = typeof TaskStatus.Type;
+export declare const GraphSummary: Schema.Struct<{
+    readonly id: Schema.brand<Schema.Trim, "GraphId">;
+    readonly workspaceId: Schema.brand<Schema.Trim, "WorkspaceId">;
+    readonly title: Schema.Trim;
+    readonly description: Schema.NullOr<Schema.String>;
+    readonly createdAt: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+export type GraphSummary = typeof GraphSummary.Type;
+export declare const TaskSummary: Schema.Struct<{
+    readonly id: Schema.brand<Schema.Trim, "TaskId">;
+    readonly workspaceId: Schema.brand<Schema.Trim, "WorkspaceId">;
+    readonly graphId: Schema.NullOr<Schema.brand<Schema.Trim, "GraphId">>;
+    readonly externalId: Schema.NullOr<Schema.Trim>;
+    readonly title: Schema.Trim;
+    readonly description: Schema.String;
+    readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+    readonly priority: Schema.NullOr<Schema.Int>;
+    readonly role: Schema.NullOr<Schema.Trim>;
+    readonly scope: Schema.$Array<Schema.Trim>;
+    readonly validationKeys: Schema.$Array<Schema.Trim>;
+    readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+    readonly dependencies: Schema.optional<Schema.$Array<Schema.Trim>>;
+    readonly parentChildDeps: Schema.optional<Schema.$Array<Schema.Trim>>;
+    readonly metadata: Schema.Unknown;
+    readonly createdAt: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+export type TaskSummary = typeof TaskSummary.Type;
+export declare const QueueEntry: Schema.Struct<{
+    readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly score: Schema.Int;
+    readonly unblockCount: Schema.Int;
+    readonly position: Schema.Int;
+}>;
+export type QueueEntry = typeof QueueEntry.Type;
+export declare const DependencyEdgeType: Schema.Literals<readonly ["blocks", "parent-child", "related"]>;
+export type DependencyEdgeType = typeof DependencyEdgeType.Type;
+export declare const DependencyEdge: Schema.Struct<{
+    readonly fromTaskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly toTaskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly type: Schema.Literals<readonly ["blocks", "parent-child", "related"]>;
+}>;
+export type DependencyEdge = typeof DependencyEdge.Type;
+export declare const BlockerClass: Schema.Literals<readonly ["not-blocked", "task-blocked", "human-decision", "human-approval", "external-input", "unknown"]>;
+export type BlockerClass = typeof BlockerClass.Type;
+export declare const ActionRiskTier: Schema.Literals<readonly ["t1-read", "t2-reversible", "t3-external", "t4-irreversible"]>;
+export type ActionRiskTier = typeof ActionRiskTier.Type;
+export declare const BlockerClassification: Schema.Struct<{
+    readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly blockerClass: Schema.Literals<readonly ["not-blocked", "task-blocked", "human-decision", "human-approval", "external-input", "unknown"]>;
+    readonly actionRiskTier: Schema.NullOr<Schema.Literals<readonly ["t1-read", "t2-reversible", "t3-external", "t4-irreversible"]>>;
+    readonly rationale: Schema.String;
+    readonly source: Schema.Literals<readonly ["elimination", "label", "status", "llm"]>;
+    readonly autoApplied: Schema.Boolean;
+}>;
+export type BlockerClassification = typeof BlockerClassification.Type;
+export declare const DependencyNode: Schema.Struct<{
+    readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly title: Schema.Trim;
+    readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+    readonly priority: Schema.NullOr<Schema.Int>;
+    readonly assignee: Schema.NullOr<Schema.Trim>;
+    readonly blockedBy: Schema.$Array<Schema.brand<Schema.Trim, "TaskId">>;
+    readonly blocks: Schema.$Array<Schema.brand<Schema.Trim, "TaskId">>;
+    readonly blockingDepth: Schema.Int;
+    readonly blockerClass: Schema.NullOr<Schema.Literals<readonly ["not-blocked", "task-blocked", "human-decision", "human-approval", "external-input", "unknown"]>>;
+    readonly actionRiskTier: Schema.NullOr<Schema.Literals<readonly ["t1-read", "t2-reversible", "t3-external", "t4-irreversible"]>>;
+    readonly epicKey: Schema.NullOr<Schema.Trim>;
+    readonly groupKey: Schema.optional<Schema.NullOr<Schema.Trim>>;
+    readonly externalId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+    readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+    readonly scope: Schema.optional<Schema.$Array<Schema.Trim>>;
+    readonly validationKeys: Schema.optional<Schema.$Array<Schema.Trim>>;
+}>;
+export type DependencyNode = typeof DependencyNode.Type;
+export declare const TaskGraphLane: Schema.Struct<{
+    readonly key: Schema.Trim;
+    readonly label: Schema.Trim;
+    readonly rowIndex: Schema.Int;
+    readonly x: Schema.Number;
+    readonly y: Schema.Number;
+    readonly width: Schema.Int;
+    readonly height: Schema.Int;
+    readonly color: Schema.String;
+    readonly taskCount: Schema.Int;
+}>;
+export type TaskGraphLane = typeof TaskGraphLane.Type;
+export declare const TaskGraphStage: Schema.Struct<{
+    readonly index: Schema.Int;
+    readonly label: Schema.Trim;
+    readonly x: Schema.Number;
+    readonly width: Schema.Int;
+}>;
+export type TaskGraphStage = typeof TaskGraphStage.Type;
+export declare const TaskGraphNode: Schema.Struct<{
+    readonly id: Schema.Trim;
+    readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+    readonly task: Schema.optional<Schema.Struct<{
+        readonly id: Schema.brand<Schema.Trim, "TaskId">;
+        readonly workspaceId: Schema.brand<Schema.Trim, "WorkspaceId">;
+        readonly graphId: Schema.NullOr<Schema.brand<Schema.Trim, "GraphId">>;
+        readonly externalId: Schema.NullOr<Schema.Trim>;
+        readonly title: Schema.Trim;
+        readonly description: Schema.String;
+        readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+        readonly priority: Schema.NullOr<Schema.Int>;
+        readonly role: Schema.NullOr<Schema.Trim>;
+        readonly scope: Schema.$Array<Schema.Trim>;
+        readonly validationKeys: Schema.$Array<Schema.Trim>;
+        readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+        readonly dependencies: Schema.optional<Schema.$Array<Schema.Trim>>;
+        readonly parentChildDeps: Schema.optional<Schema.$Array<Schema.Trim>>;
+        readonly metadata: Schema.Unknown;
+        readonly createdAt: Schema.String;
+        readonly updatedAt: Schema.String;
+    }>>;
+    readonly rowKey: Schema.Trim;
+    readonly rowLabel: Schema.Trim;
+    readonly rowIndex: Schema.Int;
+    readonly stage: Schema.Int;
+    readonly x: Schema.Number;
+    readonly y: Schema.Number;
+    readonly width: Schema.Int;
+    readonly height: Schema.Int;
+    readonly color: Schema.optional<Schema.String>;
+    readonly taskCode: Schema.optional<Schema.NullOr<Schema.String>>;
+    readonly strippedTitle: Schema.optional<Schema.String>;
+    readonly depsIn: Schema.optional<Schema.Int>;
+    readonly depsOut: Schema.optional<Schema.Int>;
+    readonly runCount: Schema.optional<Schema.Int>;
+    readonly hasApprovals: Schema.optional<Schema.Boolean>;
+    readonly hasPendingUserInput: Schema.optional<Schema.Boolean>;
+    readonly hasRejectedReview: Schema.optional<Schema.Boolean>;
+    readonly hasFailedValidations: Schema.optional<Schema.Boolean>;
+    readonly artifactCount: Schema.optional<Schema.Int>;
+}>;
+export type TaskGraphNode = typeof TaskGraphNode.Type;
+export declare const TaskGraphEdge: Schema.Struct<{
+    readonly id: Schema.Trim;
+    readonly sourceId: Schema.Trim;
+    readonly targetId: Schema.Trim;
+    readonly color: Schema.String;
+    readonly kind: Schema.Literals<readonly ["blocking", "parent-child"]>;
+}>;
+export type TaskGraphEdge = typeof TaskGraphEdge.Type;
+export declare const TaskGraphLayout: Schema.Struct<{
+    readonly lanes: Schema.$Array<Schema.Struct<{
+        readonly key: Schema.Trim;
+        readonly label: Schema.Trim;
+        readonly rowIndex: Schema.Int;
+        readonly x: Schema.Number;
+        readonly y: Schema.Number;
+        readonly width: Schema.Int;
+        readonly height: Schema.Int;
+        readonly color: Schema.String;
+        readonly taskCount: Schema.Int;
+    }>>;
+    readonly stages: Schema.$Array<Schema.Struct<{
+        readonly index: Schema.Int;
+        readonly label: Schema.Trim;
+        readonly x: Schema.Number;
+        readonly width: Schema.Int;
+    }>>;
+    readonly nodes: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.Trim;
+        readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+        readonly task: Schema.optional<Schema.Struct<{
+            readonly id: Schema.brand<Schema.Trim, "TaskId">;
+            readonly workspaceId: Schema.brand<Schema.Trim, "WorkspaceId">;
+            readonly graphId: Schema.NullOr<Schema.brand<Schema.Trim, "GraphId">>;
+            readonly externalId: Schema.NullOr<Schema.Trim>;
+            readonly title: Schema.Trim;
+            readonly description: Schema.String;
+            readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+            readonly priority: Schema.NullOr<Schema.Int>;
+            readonly role: Schema.NullOr<Schema.Trim>;
+            readonly scope: Schema.$Array<Schema.Trim>;
+            readonly validationKeys: Schema.$Array<Schema.Trim>;
+            readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+            readonly dependencies: Schema.optional<Schema.$Array<Schema.Trim>>;
+            readonly parentChildDeps: Schema.optional<Schema.$Array<Schema.Trim>>;
+            readonly metadata: Schema.Unknown;
+            readonly createdAt: Schema.String;
+            readonly updatedAt: Schema.String;
+        }>>;
+        readonly rowKey: Schema.Trim;
+        readonly rowLabel: Schema.Trim;
+        readonly rowIndex: Schema.Int;
+        readonly stage: Schema.Int;
+        readonly x: Schema.Number;
+        readonly y: Schema.Number;
+        readonly width: Schema.Int;
+        readonly height: Schema.Int;
+        readonly color: Schema.optional<Schema.String>;
+        readonly taskCode: Schema.optional<Schema.NullOr<Schema.String>>;
+        readonly strippedTitle: Schema.optional<Schema.String>;
+        readonly depsIn: Schema.optional<Schema.Int>;
+        readonly depsOut: Schema.optional<Schema.Int>;
+        readonly runCount: Schema.optional<Schema.Int>;
+        readonly hasApprovals: Schema.optional<Schema.Boolean>;
+        readonly hasPendingUserInput: Schema.optional<Schema.Boolean>;
+        readonly hasRejectedReview: Schema.optional<Schema.Boolean>;
+        readonly hasFailedValidations: Schema.optional<Schema.Boolean>;
+        readonly artifactCount: Schema.optional<Schema.Int>;
+    }>>;
+    readonly edges: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.Trim;
+        readonly sourceId: Schema.Trim;
+        readonly targetId: Schema.Trim;
+        readonly color: Schema.String;
+        readonly kind: Schema.Literals<readonly ["blocking", "parent-child"]>;
+    }>>;
+    readonly totalWidth: Schema.Int;
+    readonly totalHeight: Schema.Int;
+    readonly taskCount: Schema.Int;
+}>;
+export type TaskGraphLayout = typeof TaskGraphLayout.Type;
+export declare const DependencyGraphModel: Schema.Struct<{
+    readonly graphId: Schema.brand<Schema.Trim, "GraphId">;
+    readonly nodes: Schema.$Array<Schema.Struct<{
+        readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+        readonly title: Schema.Trim;
+        readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+        readonly priority: Schema.NullOr<Schema.Int>;
+        readonly assignee: Schema.NullOr<Schema.Trim>;
+        readonly blockedBy: Schema.$Array<Schema.brand<Schema.Trim, "TaskId">>;
+        readonly blocks: Schema.$Array<Schema.brand<Schema.Trim, "TaskId">>;
+        readonly blockingDepth: Schema.Int;
+        readonly blockerClass: Schema.NullOr<Schema.Literals<readonly ["not-blocked", "task-blocked", "human-decision", "human-approval", "external-input", "unknown"]>>;
+        readonly actionRiskTier: Schema.NullOr<Schema.Literals<readonly ["t1-read", "t2-reversible", "t3-external", "t4-irreversible"]>>;
+        readonly epicKey: Schema.NullOr<Schema.Trim>;
+        readonly groupKey: Schema.optional<Schema.NullOr<Schema.Trim>>;
+        readonly externalId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+        readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+        readonly scope: Schema.optional<Schema.$Array<Schema.Trim>>;
+        readonly validationKeys: Schema.optional<Schema.$Array<Schema.Trim>>;
+    }>>;
+    readonly edges: Schema.$Array<Schema.Struct<{
+        readonly fromTaskId: Schema.brand<Schema.Trim, "TaskId">;
+        readonly toTaskId: Schema.brand<Schema.Trim, "TaskId">;
+        readonly type: Schema.Literals<readonly ["blocks", "parent-child", "related"]>;
+    }>>;
+    readonly layout: Schema.Struct<{
+        readonly lanes: Schema.$Array<Schema.Struct<{
+            readonly key: Schema.Trim;
+            readonly label: Schema.Trim;
+            readonly rowIndex: Schema.Int;
+            readonly x: Schema.Number;
+            readonly y: Schema.Number;
+            readonly width: Schema.Int;
+            readonly height: Schema.Int;
+            readonly color: Schema.String;
+            readonly taskCount: Schema.Int;
+        }>>;
+        readonly stages: Schema.$Array<Schema.Struct<{
+            readonly index: Schema.Int;
+            readonly label: Schema.Trim;
+            readonly x: Schema.Number;
+            readonly width: Schema.Int;
+        }>>;
+        readonly nodes: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.Trim;
+            readonly taskId: Schema.brand<Schema.Trim, "TaskId">;
+            readonly task: Schema.optional<Schema.Struct<{
+                readonly id: Schema.brand<Schema.Trim, "TaskId">;
+                readonly workspaceId: Schema.brand<Schema.Trim, "WorkspaceId">;
+                readonly graphId: Schema.NullOr<Schema.brand<Schema.Trim, "GraphId">>;
+                readonly externalId: Schema.NullOr<Schema.Trim>;
+                readonly title: Schema.Trim;
+                readonly description: Schema.String;
+                readonly status: Schema.Literals<readonly ["draft", "open", "ready", "queued", "running", "in_progress", "under_review", "blocked", "unknown", "completed", "failed", "cancelled", "closed"]>;
+                readonly priority: Schema.NullOr<Schema.Int>;
+                readonly role: Schema.NullOr<Schema.Trim>;
+                readonly scope: Schema.$Array<Schema.Trim>;
+                readonly validationKeys: Schema.$Array<Schema.Trim>;
+                readonly sourceIssueId: Schema.optional<Schema.NullOr<Schema.Trim>>;
+                readonly dependencies: Schema.optional<Schema.$Array<Schema.Trim>>;
+                readonly parentChildDeps: Schema.optional<Schema.$Array<Schema.Trim>>;
+                readonly metadata: Schema.Unknown;
+                readonly createdAt: Schema.String;
+                readonly updatedAt: Schema.String;
+            }>>;
+            readonly rowKey: Schema.Trim;
+            readonly rowLabel: Schema.Trim;
+            readonly rowIndex: Schema.Int;
+            readonly stage: Schema.Int;
+            readonly x: Schema.Number;
+            readonly y: Schema.Number;
+            readonly width: Schema.Int;
+            readonly height: Schema.Int;
+            readonly color: Schema.optional<Schema.String>;
+            readonly taskCode: Schema.optional<Schema.NullOr<Schema.String>>;
+            readonly strippedTitle: Schema.optional<Schema.String>;
+            readonly depsIn: Schema.optional<Schema.Int>;
+            readonly depsOut: Schema.optional<Schema.Int>;
+            readonly runCount: Schema.optional<Schema.Int>;
+            readonly hasApprovals: Schema.optional<Schema.Boolean>;
+            readonly hasPendingUserInput: Schema.optional<Schema.Boolean>;
+            readonly hasRejectedReview: Schema.optional<Schema.Boolean>;
+            readonly hasFailedValidations: Schema.optional<Schema.Boolean>;
+            readonly artifactCount: Schema.optional<Schema.Int>;
+        }>>;
+        readonly edges: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.Trim;
+            readonly sourceId: Schema.Trim;
+            readonly targetId: Schema.Trim;
+            readonly color: Schema.String;
+            readonly kind: Schema.Literals<readonly ["blocking", "parent-child"]>;
+        }>>;
+        readonly totalWidth: Schema.Int;
+        readonly totalHeight: Schema.Int;
+        readonly taskCount: Schema.Int;
+    }>;
+    readonly cycles: Schema.$Array<Schema.$Array<Schema.brand<Schema.Trim, "TaskId">>>;
+    readonly unresolvedRefs: Schema.$Array<Schema.Trim>;
+    readonly degraded: Schema.Boolean;
+    readonly generatedAt: Schema.String;
+}>;
+export type DependencyGraphModel = typeof DependencyGraphModel.Type;
+/** Capability id the dependency-graph plugin registers its project-graph builder under. */
+export declare const GRAPH_PROJECT_CAPABILITY_ID = "rig.graph.project";
+/** Pure input to the project-graph builder: which workspace to analyze. */
+export type GraphProjectInput = {
+    readonly projectRoot: string;
+};
+/** The cohesive project-graph operation the substrate depends on. Async (does IO). */
+export interface GraphProjectService {
+    buildProjectGraph(input: GraphProjectInput): Promise<DependencyGraphModel>;
+}
+/** Typed capability id; string value is {@link GRAPH_PROJECT_CAPABILITY_ID}. */
+export declare const GRAPH_PROJECT: CapabilityId<GraphProjectService>;
+/** Capability id the dependency-graph plugin registers its task selector under. */
+export declare const TASK_SELECTION_CAPABILITY_ID = "cap:task-selection";
+/** Pure filters narrowing which tasks are eligible for selection. */
+export type TaskSelectionFilters = {
+    readonly assignee?: string;
+    readonly state?: "open" | "closed";
+    readonly search?: string;
+};
+/** Pure input to task selection: which workspace + optional filters. */
+export type TaskSelectionInput = {
+    readonly projectRoot: string;
+    readonly filters?: TaskSelectionFilters;
+};
+/** Pure result of task selection: the next ready task + the ready set it came from. */
+export type TaskSelectionResult = {
+    readonly selected: TaskSummary | null;
+    readonly ready: readonly TaskSummary[];
+};
+/** The cohesive task-selection operation the CLI surface depends on. Async (does IO). */
+export interface TaskSelectionService {
+    selectNextReadyTask(input: TaskSelectionInput): Promise<TaskSelectionResult>;
+}
+/** Typed capability id; string value is {@link TASK_SELECTION_CAPABILITY_ID}. */
+export declare const TASK_SELECTION: CapabilityId<TaskSelectionService>;

package/dist/src/graph.js

@@ -16,6 +16,9 @@ var WorkspaceId = makeEntityId("WorkspaceId");
 var GraphId = makeEntityId("GraphId");
 var TaskId = makeEntityId("TaskId");
 var RunId = makeEntityId("RunId");
+var SafePathSegment = TrimmedNonEmptyString.check(Schema.isPattern(/^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/)).pipe(Schema.brand("SafePathSegment"));
+var SafeRunId = TrimmedNonEmptyString.check(Schema.isPattern(/^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/)).pipe(Schema.brand("SafeRunId"));
+var SafeGitRefComponent = TrimmedNonEmptyString.check(Schema.isPattern(/^[A-Za-z0-9][A-Za-z0-9._-]{0,127}$/)).pipe(Schema.brand("SafeGitRefComponent"));
 var EngineRuntimeId = makeEntityId("EngineRuntimeId");
 var ConversationId = makeEntityId("ConversationId");
 var ActionId = makeEntityId("ActionId");
@@ -36,6 +39,11 @@ var ApprovalRequestId = makeEntityId("ApprovalRequestId");
 var CheckpointRef = makeEntityId("CheckpointRef");
 var RemoteEndpointId = makeEntityId("RemoteEndpointId");
 
+// packages/contracts/src/capability-id.ts
+function makeCapabilityId(id) {
+  return id;
+}
+
 // packages/contracts/src/graph.ts
 var TaskStatus = Schema2.Literals([
   "draft",
@@ -85,9 +93,137 @@ var QueueEntry = Schema2.Struct({
   unblockCount: NonNegativeInt,
   position: NonNegativeInt
 });
+var DependencyEdgeType = Schema2.Literals(["blocks", "parent-child", "related"]);
+var DependencyEdge = Schema2.Struct({
+  fromTaskId: TaskId,
+  toTaskId: TaskId,
+  type: DependencyEdgeType
+});
+var BlockerClass = Schema2.Literals([
+  "not-blocked",
+  "task-blocked",
+  "human-decision",
+  "human-approval",
+  "external-input",
+  "unknown"
+]);
+var ActionRiskTier = Schema2.Literals(["t1-read", "t2-reversible", "t3-external", "t4-irreversible"]);
+var BlockerClassification = Schema2.Struct({
+  taskId: TaskId,
+  blockerClass: BlockerClass,
+  actionRiskTier: Schema2.NullOr(ActionRiskTier),
+  rationale: Schema2.String,
+  source: Schema2.Literals(["elimination", "label", "status", "llm"]),
+  autoApplied: Schema2.Boolean
+});
+var DependencyNode = Schema2.Struct({
+  taskId: TaskId,
+  title: TrimmedNonEmptyString,
+  status: TaskStatus,
+  priority: Schema2.NullOr(PositiveInt),
+  assignee: Schema2.NullOr(TrimmedNonEmptyString),
+  blockedBy: Schema2.Array(TaskId),
+  blocks: Schema2.Array(TaskId),
+  blockingDepth: NonNegativeInt,
+  blockerClass: Schema2.NullOr(BlockerClass),
+  actionRiskTier: Schema2.NullOr(ActionRiskTier),
+  epicKey: Schema2.NullOr(TrimmedNonEmptyString),
+  groupKey: Schema2.optional(Schema2.NullOr(TrimmedNonEmptyString)),
+  externalId: Schema2.optional(Schema2.NullOr(TrimmedNonEmptyString)),
+  sourceIssueId: Schema2.optional(Schema2.NullOr(TrimmedNonEmptyString)),
+  scope: Schema2.optional(Schema2.Array(TrimmedNonEmptyString)),
+  validationKeys: Schema2.optional(Schema2.Array(TrimmedNonEmptyString))
+});
+var TaskGraphLane = Schema2.Struct({
+  key: TrimmedNonEmptyString,
+  label: TrimmedNonEmptyString,
+  rowIndex: NonNegativeInt,
+  x: Schema2.Number,
+  y: Schema2.Number,
+  width: NonNegativeInt,
+  height: NonNegativeInt,
+  color: Schema2.String,
+  taskCount: NonNegativeInt
+});
+var TaskGraphStage = Schema2.Struct({
+  index: NonNegativeInt,
+  label: TrimmedNonEmptyString,
+  x: Schema2.Number,
+  width: NonNegativeInt
+});
+var TaskGraphNode = Schema2.Struct({
+  id: TrimmedNonEmptyString,
+  taskId: TaskId,
+  task: Schema2.optional(TaskSummary),
+  rowKey: TrimmedNonEmptyString,
+  rowLabel: TrimmedNonEmptyString,
+  rowIndex: NonNegativeInt,
+  stage: NonNegativeInt,
+  x: Schema2.Number,
+  y: Schema2.Number,
+  width: NonNegativeInt,
+  height: NonNegativeInt,
+  color: Schema2.optional(Schema2.String),
+  taskCode: Schema2.optional(Schema2.NullOr(Schema2.String)),
+  strippedTitle: Schema2.optional(Schema2.String),
+  depsIn: Schema2.optional(NonNegativeInt),
+  depsOut: Schema2.optional(NonNegativeInt),
+  runCount: Schema2.optional(NonNegativeInt),
+  hasApprovals: Schema2.optional(Schema2.Boolean),
+  hasPendingUserInput: Schema2.optional(Schema2.Boolean),
+  hasRejectedReview: Schema2.optional(Schema2.Boolean),
+  hasFailedValidations: Schema2.optional(Schema2.Boolean),
+  artifactCount: Schema2.optional(NonNegativeInt)
+});
+var TaskGraphEdge = Schema2.Struct({
+  id: TrimmedNonEmptyString,
+  sourceId: TrimmedNonEmptyString,
+  targetId: TrimmedNonEmptyString,
+  color: Schema2.String,
+  kind: Schema2.Literals(["blocking", "parent-child"])
+});
+var TaskGraphLayout = Schema2.Struct({
+  lanes: Schema2.Array(TaskGraphLane),
+  stages: Schema2.Array(TaskGraphStage),
+  nodes: Schema2.Array(TaskGraphNode),
+  edges: Schema2.Array(TaskGraphEdge),
+  totalWidth: NonNegativeInt,
+  totalHeight: NonNegativeInt,
+  taskCount: NonNegativeInt
+});
+var DependencyGraphModel = Schema2.Struct({
+  graphId: GraphId,
+  nodes: Schema2.Array(DependencyNode),
+  edges: Schema2.Array(DependencyEdge),
+  layout: TaskGraphLayout,
+  cycles: Schema2.Array(Schema2.Array(TaskId)),
+  unresolvedRefs: Schema2.Array(TrimmedNonEmptyString),
+  degraded: Schema2.Boolean,
+  generatedAt: IsoDateTime
+});
+var GRAPH_PROJECT_CAPABILITY_ID = "rig.graph.project";
+var GRAPH_PROJECT = makeCapabilityId(GRAPH_PROJECT_CAPABILITY_ID);
+var TASK_SELECTION_CAPABILITY_ID = "cap:task-selection";
+var TASK_SELECTION = makeCapabilityId(TASK_SELECTION_CAPABILITY_ID);
 export {
   TaskSummary,
   TaskStatus,
+  TaskGraphStage,
+  TaskGraphNode,
+  TaskGraphLayout,
+  TaskGraphLane,
+  TaskGraphEdge,
+  TASK_SELECTION_CAPABILITY_ID,
+  TASK_SELECTION,
   QueueEntry,
-  GraphSummary
+  GraphSummary,
+  GRAPH_PROJECT_CAPABILITY_ID,
+  GRAPH_PROJECT,
+  DependencyNode,
+  DependencyGraphModel,
+  DependencyEdgeType,
+  DependencyEdge,
+  BlockerClassification,
+  BlockerClass,
+  ActionRiskTier
 };

package/dist/src/guard.d.ts

@@ -0,0 +1,111 @@
+import type { PolicyMode } from "./policy";
+export declare const POLICY_VERSION: 1;
+export type PolicyVersion = typeof POLICY_VERSION;
+export type { PolicyMode };
+export type RuleCategory = "command" | "content" | "import" | "test-integrity";
+export type RuleAction = "block" | "warn";
+export type RuleAppliesTo = "test-files";
+export type RuleMatch = {
+    pattern?: string;
+    regex?: string;
+};
+export type RuleUnless = {
+    regex?: string;
+    task_in?: string[];
+};
+export type PolicyRule = {
+    id: string;
+    category: RuleCategory;
+    description?: string;
+    match: RuleMatch;
+    unless?: RuleUnless;
+    action: RuleAction;
+    applies_to?: RuleAppliesTo;
+    compiledRegex?: RegExp;
+    compiledUnlessRegex?: RegExp;
+};
+export type ScopeConfig = {
+    fail_closed: boolean;
+    harness_paths_exempt: boolean;
+    runtime_paths_exempt: boolean;
+};
+export type SandboxConfig = {
+    mode: PolicyMode;
+    network: boolean;
+    read_deny: string[];
+    write_allow_from_runtime: boolean;
+};
+export type IsolationConfig = {
+    default_mode: "worktree";
+    repo_symlink_fallback: boolean;
+    strict_provisioning: boolean;
+    fail_closed_on_provision_error: boolean;
+};
+export type CompletionConfig = {
+    derive_checks_from_scope: boolean;
+    checks: string[];
+    typescript_config_probe: string[];
+    eslint_config_probe: string[];
+};
+export type RuntimeImageDeps = {
+    monorepo_install: boolean;
+    hp_next_install: boolean;
+};
+export type RuntimeImageConfig = {
+    deps: RuntimeImageDeps;
+    plugins_require_binaries: boolean;
+};
+export type RuntimeSnapshotConfig = {
+    enabled: boolean;
+};
+export type PolicyConfig = {
+    version: PolicyVersion;
+    mode: PolicyMode;
+    scope: ScopeConfig;
+    rules: PolicyRule[];
+    sandbox: SandboxConfig;
+    isolation: IsolationConfig;
+    completion: CompletionConfig;
+    runtime_image?: RuntimeImageConfig;
+    runtime_snapshot?: RuntimeSnapshotConfig;
+};
+export type ToolCallEvaluation = {
+    type: "tool-call";
+    tool_name: string;
+    tool_input: Record<string, unknown>;
+};
+export type CommandEvaluation = {
+    type: "command";
+    command: string;
+};
+export type ContentWriteEvaluation = {
+    type: "content-write";
+    file_path: string;
+    content: string;
+};
+export type FileAccessEvaluation = {
+    type: "file-access";
+    file_path: string;
+    access: "read" | "write";
+};
+export type GuardEvaluation = ToolCallEvaluation | CommandEvaluation | ContentWriteEvaluation | FileAccessEvaluation;
+export type GuardContext = {
+    projectRoot: string;
+    monorepoRoot?: string;
+    taskId?: string;
+    taskScopes?: string[];
+    taskWorkspace?: string;
+    evaluation: GuardEvaluation;
+};
+export type MatchedRule = {
+    id: string;
+    category: RuleCategory;
+    description?: string;
+    reason: string;
+};
+export type GuardDecision = {
+    allowed: boolean;
+    matchedRules: MatchedRule[];
+    action: "allow" | "block" | "warn";
+    failClosed: boolean;
+};

package/dist/src/guard.js

@@ -0,0 +1,6 @@
+// @bun
+// packages/contracts/src/guard.ts
+var POLICY_VERSION = 1;
+export {
+  POLICY_VERSION
+};

package/dist/src/harness-events.d.ts

@@ -0,0 +1,8 @@
+export type HarnessEventType = "runtime.init" | "command.received" | "policy.decision" | "command.started" | "command.finished" | "command.failed" | "plugin.loaded" | "plugin.error" | "validator.started" | "validator.finished" | "queue.started" | "queue.task.started" | "queue.task.finished" | "queue.finished" | "memory.command.requested" | "memory.command.applied" | "memory.command.failed";
+export type HarnessEvent<TPayload = Record<string, unknown>> = {
+    id: string;
+    runId: string;
+    timestamp: string;
+    type: HarnessEventType;
+    payload: TPayload;
+};

package/dist/src/harness-events.js

@@ -0,0 +1 @@
+// @bun