@asc-agent/runtime 0.1.0

package/dist/core/model/entities.d.ts

@@ -0,0 +1,872 @@
+import { z } from 'zod';
+/** 전이를 수행할 수 있는 주체. Writer 규칙(OM §7.2)과 상태 전이 권한의 기준. */
+export declare const ActorRole: z.ZodEnum<["controller", "monitor", "executor", "session"]>;
+export type ActorRole = z.infer<typeof ActorRole>;
+export declare const Priority: z.ZodEnum<["P0", "P1", "P2"]>;
+export type Priority = z.infer<typeof Priority>;
+/**
+ * 이벤트 유형 — Phase B 조사 깊이를 결정한다 (OM §10.3).
+ * informational 정보형 / actionable 대응형 / work 작업형.
+ */
+export declare const EventType: z.ZodEnum<["informational", "actionable", "work"]>;
+export type EventType = z.infer<typeof EventType>;
+/**
+ * Canonical source별 baseline. Project는 canonical 하나가 아니라 Session이 소비하는
+ * source 집합을 갖는다 (OM §8) — snapshot도 단일 commit이 아니라 source별로 기록한다.
+ */
+export declare const CanonicalSnapshot: z.ZodObject<{
+    sourceId: z.ZodString;
+    baseline: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    sourceId: string;
+    baseline: string;
+}, {
+    sourceId: string;
+    baseline: string;
+}>;
+export type CanonicalSnapshot = z.infer<typeof CanonicalSnapshot>;
+/** Logical Session 상태 (OM §6.2). Physical Run과 1:1이 아니다. */
+export declare const SessionStatus: z.ZodEnum<["READY", "ACTIVE", "PAUSED", "BLOCKED", "DONE", "FAILED"]>;
+export type SessionStatus = z.infer<typeof SessionStatus>;
+export declare const SessionRole: z.ZodEnum<["planner", "researcher", "implementer", "verifier"]>;
+export type SessionRole = z.infer<typeof SessionRole>;
+/** 중단 시 남기는 Run 승계 정보 — 다른 Physical Run이 같은 Logical Session을 이어받는다. */
+export declare const Checkpoint: z.ZodObject<{
+    position: z.ZodString;
+    completedTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    nextAction: z.ZodString;
+    uncommittedChanges: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * 의미 있는 전환을 남기기 위한 필드들 (C-10 §2.1). 시간 경과는 전환이 아니다 —
+     * "지금 무엇이 사실이라고 보는가"와 "그 판단의 근거"가 있어야 다음 사람이 이어받는다.
+     *
+     * 전부 optional·default다: 기존 세션 파일이 그대로 읽혀야 한다 (doneCriteria 선례).
+     * 퍼센트는 여기 없다 — 필요하면 렌더가 만드는 projection이지 기록이 아니다.
+     */
+    currentJudgment: z.ZodOptional<z.ZodString>;
+    blockers: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    risks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    evidenceRefs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /** 누가 적었는가 (execution principal). 소유권 검사와 함께 의미를 갖는다. */
+    writtenBy: z.ZodOptional<z.ZodString>;
+    recordedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    position: string;
+    completedTasks: string[];
+    nextAction: string;
+    uncommittedChanges: string[];
+    blockers: string[];
+    risks: string[];
+    evidenceRefs: string[];
+    recordedAt: string;
+    currentJudgment?: string | undefined;
+    writtenBy?: string | undefined;
+}, {
+    position: string;
+    nextAction: string;
+    recordedAt: string;
+    completedTasks?: string[] | undefined;
+    uncommittedChanges?: string[] | undefined;
+    currentJudgment?: string | undefined;
+    blockers?: string[] | undefined;
+    risks?: string[] | undefined;
+    evidenceRefs?: string[] | undefined;
+    writtenBy?: string | undefined;
+}>;
+export type Checkpoint = z.infer<typeof Checkpoint>;
+/** 세션 종료 산출물. 계약↔결과 짝이 어긋나지 않도록 Session entity 안에 둔다 (OM §7.1). */
+export declare const Handoff: z.ZodObject<{
+    done: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    changed: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    verified: z.ZodString;
+    unresolved: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    next: z.ZodString;
+    snapshot: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        baseline: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        sourceId: string;
+        baseline: string;
+    }, {
+        sourceId: string;
+        baseline: string;
+    }>, "many">>;
+    recordedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    recordedAt: string;
+    done: string[];
+    changed: string[];
+    verified: string;
+    unresolved: string[];
+    next: string;
+    snapshot: {
+        sourceId: string;
+        baseline: string;
+    }[];
+}, {
+    recordedAt: string;
+    verified: string;
+    next: string;
+    done?: string[] | undefined;
+    changed?: string[] | undefined;
+    unresolved?: string[] | undefined;
+    snapshot?: {
+        sourceId: string;
+        baseline: string;
+    }[] | undefined;
+}>;
+export type Handoff = z.infer<typeof Handoff>;
+export declare const Session: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodNumber;
+    status: z.ZodEnum<["READY", "ACTIVE", "PAUSED", "BLOCKED", "DONE", "FAILED"]>;
+    role: z.ZodEnum<["planner", "researcher", "implementer", "verifier"]>;
+    blockId: z.ZodOptional<z.ZodString>;
+    goal: z.ZodString;
+    /**
+     * 검증 가능한 완료조건 (C-03 §2). "무엇을 할지"(goal)와 "언제 끝인지"를 분리한다 —
+     * Host completion loop projection과 Verifier test plan의 근거가 된다.
+     * default([])라 기존 entity 파일이 그대로 읽힌다.
+     */
+    doneCriteria: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * 이 일을 끝까지 끌고 갈 주체 (C-04 §1.1). 다른 파트에 무언가를 물었다는 이유로
+     * 바뀌지 않는다 — 바꾸는 경로 자체를 두지 않는다.
+     */
+    owner: z.ZodOptional<z.ZodString>;
+    /**
+     * 이 일에 걸린 결정 영역. "무엇을 정해야 하는가"의 목록이며 결정권자는 아니다.
+     * 비어 있는 것이 정상이다 — 대부분의 구현 세션은 cross-part 결정을 요구하지 않는다.
+     */
+    decisionDomains: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /**
+     * 이번 세션에 한해 정한 결정권자 (domain → role). Profile ownership으로 풀리지 않는
+     * 영역을 여기서 명시한다. OM §7.5의 `Authority:`(실행 자율도)와 다른 축이라 이름을
+     * 나눴다 — 저쪽은 "이 세션이 무엇을 자율로 해도 되는가", 이쪽은 "이 결정이 누구 것인가".
+     */
+    decisionAuthority: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    /** 외부에서 받아야 할 입력. 받는다는 사실이지 ownership 이전이 아니다 (C-04 §1.2). */
+    dependencies: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    taskPointer: z.ZodOptional<z.ZodString>;
+    canonicalSources: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        baseline: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        sourceId: string;
+        baseline: string;
+    }, {
+        sourceId: string;
+        baseline: string;
+    }>, "many">>;
+    readScope: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    writeBoundary: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    outOfScope: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    /** Controller가 이 세션에 한해 허용한 SOFT DENY 항목 (OM §5.1 Policy Exception). */
+    policyExceptions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    checkpoint: z.ZodOptional<z.ZodObject<{
+        position: z.ZodString;
+        completedTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        nextAction: z.ZodString;
+        uncommittedChanges: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        /**
+         * 의미 있는 전환을 남기기 위한 필드들 (C-10 §2.1). 시간 경과는 전환이 아니다 —
+         * "지금 무엇이 사실이라고 보는가"와 "그 판단의 근거"가 있어야 다음 사람이 이어받는다.
+         *
+         * 전부 optional·default다: 기존 세션 파일이 그대로 읽혀야 한다 (doneCriteria 선례).
+         * 퍼센트는 여기 없다 — 필요하면 렌더가 만드는 projection이지 기록이 아니다.
+         */
+        currentJudgment: z.ZodOptional<z.ZodString>;
+        blockers: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        risks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        evidenceRefs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        /** 누가 적었는가 (execution principal). 소유권 검사와 함께 의미를 갖는다. */
+        writtenBy: z.ZodOptional<z.ZodString>;
+        recordedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        position: string;
+        completedTasks: string[];
+        nextAction: string;
+        uncommittedChanges: string[];
+        blockers: string[];
+        risks: string[];
+        evidenceRefs: string[];
+        recordedAt: string;
+        currentJudgment?: string | undefined;
+        writtenBy?: string | undefined;
+    }, {
+        position: string;
+        nextAction: string;
+        recordedAt: string;
+        completedTasks?: string[] | undefined;
+        uncommittedChanges?: string[] | undefined;
+        currentJudgment?: string | undefined;
+        blockers?: string[] | undefined;
+        risks?: string[] | undefined;
+        evidenceRefs?: string[] | undefined;
+        writtenBy?: string | undefined;
+    }>>;
+    handoff: z.ZodOptional<z.ZodObject<{
+        done: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        changed: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        verified: z.ZodString;
+        unresolved: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        next: z.ZodString;
+        snapshot: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            sourceId: z.ZodString;
+            baseline: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            sourceId: string;
+            baseline: string;
+        }, {
+            sourceId: string;
+            baseline: string;
+        }>, "many">>;
+        recordedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        recordedAt: string;
+        done: string[];
+        changed: string[];
+        verified: string;
+        unresolved: string[];
+        next: string;
+        snapshot: {
+            sourceId: string;
+            baseline: string;
+        }[];
+    }, {
+        recordedAt: string;
+        verified: string;
+        next: string;
+        done?: string[] | undefined;
+        changed?: string[] | undefined;
+        unresolved?: string[] | undefined;
+        snapshot?: {
+            sourceId: string;
+            baseline: string;
+        }[] | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    status: "READY" | "ACTIVE" | "PAUSED" | "BLOCKED" | "DONE" | "FAILED";
+    id: string;
+    version: number;
+    role: "planner" | "researcher" | "implementer" | "verifier";
+    goal: string;
+    doneCriteria: string[];
+    decisionDomains: string[];
+    decisionAuthority: Record<string, string>;
+    dependencies: string[];
+    canonicalSources: {
+        sourceId: string;
+        baseline: string;
+    }[];
+    readScope: string[];
+    writeBoundary: string[];
+    outOfScope: string[];
+    policyExceptions: string[];
+    blockId?: string | undefined;
+    owner?: string | undefined;
+    taskPointer?: string | undefined;
+    checkpoint?: {
+        position: string;
+        completedTasks: string[];
+        nextAction: string;
+        uncommittedChanges: string[];
+        blockers: string[];
+        risks: string[];
+        evidenceRefs: string[];
+        recordedAt: string;
+        currentJudgment?: string | undefined;
+        writtenBy?: string | undefined;
+    } | undefined;
+    handoff?: {
+        recordedAt: string;
+        done: string[];
+        changed: string[];
+        verified: string;
+        unresolved: string[];
+        next: string;
+        snapshot: {
+            sourceId: string;
+            baseline: string;
+        }[];
+    } | undefined;
+}, {
+    status: "READY" | "ACTIVE" | "PAUSED" | "BLOCKED" | "DONE" | "FAILED";
+    id: string;
+    version: number;
+    role: "planner" | "researcher" | "implementer" | "verifier";
+    goal: string;
+    blockId?: string | undefined;
+    doneCriteria?: string[] | undefined;
+    owner?: string | undefined;
+    decisionDomains?: string[] | undefined;
+    decisionAuthority?: Record<string, string> | undefined;
+    dependencies?: string[] | undefined;
+    taskPointer?: string | undefined;
+    canonicalSources?: {
+        sourceId: string;
+        baseline: string;
+    }[] | undefined;
+    readScope?: string[] | undefined;
+    writeBoundary?: string[] | undefined;
+    outOfScope?: string[] | undefined;
+    policyExceptions?: string[] | undefined;
+    checkpoint?: {
+        position: string;
+        nextAction: string;
+        recordedAt: string;
+        completedTasks?: string[] | undefined;
+        uncommittedChanges?: string[] | undefined;
+        currentJudgment?: string | undefined;
+        blockers?: string[] | undefined;
+        risks?: string[] | undefined;
+        evidenceRefs?: string[] | undefined;
+        writtenBy?: string | undefined;
+    } | undefined;
+    handoff?: {
+        recordedAt: string;
+        verified: string;
+        next: string;
+        done?: string[] | undefined;
+        changed?: string[] | undefined;
+        unresolved?: string[] | undefined;
+        snapshot?: {
+            sourceId: string;
+            baseline: string;
+        }[] | undefined;
+    } | undefined;
+}>;
+export type Session = z.infer<typeof Session>;
+/** Inbox lifecycle (OM §11.2). APPROVED는 승인 완료일 뿐 외부 write 권한이 아니다. */
+export declare const RequestStatus: z.ZodEnum<["AWAITING_APPROVAL", "APPROVED", "QUEUED", "DEFERRED", "DISMISSED", "DONE"]>;
+export type RequestStatus = z.infer<typeof RequestStatus>;
+export declare const DecisionKind: z.ZodEnum<["approve", "revise", "defer", "dismiss", "queue"]>;
+export type DecisionKind = z.infer<typeof DecisionKind>;
+/**
+ * Controller가 원 Thread를 다시 읽지 않고 판단할 수 있도록 Monitor가 준비한 Decision
+ * Packet (OM §11.1). 이 내용은 생성 시점의 분석 snapshot이며, 조회 시점의 현재 상태와
+ * 섞지 않는다 — 현재 맥락은 Derived View로 따로 만든다 (C-01 §6).
+ */
+export declare const ApprovalRequest: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodNumber;
+    status: z.ZodEnum<["AWAITING_APPROVAL", "APPROVED", "QUEUED", "DEFERRED", "DISMISSED", "DONE"]>;
+    type: z.ZodEnum<["informational", "actionable", "work"]>;
+    priority: z.ZodEnum<["P0", "P1", "P2"]>;
+    title: z.ZodString;
+    detectedAt: z.ZodString;
+    source: z.ZodObject<{
+        eventKey: z.ZodString;
+        reference: z.ZodString;
+        threadLastEventId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        eventKey: string;
+        reference: string;
+        threadLastEventId?: string | undefined;
+    }, {
+        eventKey: string;
+        reference: string;
+        threadLastEventId?: string | undefined;
+    }>;
+    situation: z.ZodString;
+    context: z.ZodDefault<z.ZodString>;
+    impact: z.ZodObject<{
+        interruptRequired: z.ZodBoolean;
+        affectedSessions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        rationale: z.ZodDefault<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        interruptRequired: boolean;
+        affectedSessions: string[];
+        rationale: string;
+    }, {
+        interruptRequired: boolean;
+        affectedSessions?: string[] | undefined;
+        rationale?: string | undefined;
+    }>;
+    recommendation: z.ZodDefault<z.ZodString>;
+    draft: z.ZodOptional<z.ZodString>;
+    snapshot: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        baseline: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        sourceId: string;
+        baseline: string;
+    }, {
+        sourceId: string;
+        baseline: string;
+    }>, "many">>;
+    /** 이 요청을 결정할 수 있는 Controller identity (OM §11.6). */
+    authorizedApprover: z.ZodString;
+    allowedDecisions: z.ZodArray<z.ZodEnum<["approve", "revise", "defer", "dismiss", "queue"]>, "atleastone">;
+    expiresAt: z.ZodOptional<z.ZodString>;
+    /**
+     * 이 요청이 Agent의 상신에서 왔다면 그 근거 (C-13 §2).
+     *
+     * optional인 이유: Monitor packet 경로(외부 사건 감지)는 escalation이 아니므로 이 값이
+     * 없다. 기존 요청 파일도 그대로 읽힌다.
+     */
+    escalation: z.ZodOptional<z.ZodObject<{
+        escalationId: z.ZodString;
+        predicates: z.ZodArray<z.ZodString, "atleastone">;
+        evidenceRefs: z.ZodArray<z.ZodString, "atleastone">;
+        affectedNodes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        /** 지금 못 하는 작업 노드. 경계 영역(blockedScope)과 다른 축이다. */
+        blockedNodes: z.ZodArray<z.ZodString, "atleastone">;
+        blockedScope: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        stillRunnableNodes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        previousEscalationId: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        evidenceRefs: [string, ...string[]];
+        escalationId: string;
+        predicates: [string, ...string[]];
+        affectedNodes: string[];
+        blockedNodes: [string, ...string[]];
+        blockedScope: string[];
+        stillRunnableNodes: string[];
+        previousEscalationId?: string | undefined;
+    }, {
+        evidenceRefs: [string, ...string[]];
+        escalationId: string;
+        predicates: [string, ...string[]];
+        blockedNodes: [string, ...string[]];
+        affectedNodes?: string[] | undefined;
+        blockedScope?: string[] | undefined;
+        stillRunnableNodes?: string[] | undefined;
+        previousEscalationId?: string | undefined;
+    }>>;
+    decision: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["approve", "revise", "defer", "dismiss", "queue"]>;
+        actor: z.ZodString;
+        channel: z.ZodString;
+        revision: z.ZodOptional<z.ZodString>;
+        decidedAt: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+        actor: string;
+        channel: string;
+        decidedAt: string;
+        revision?: string | undefined;
+    }, {
+        kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+        actor: string;
+        channel: string;
+        decidedAt: string;
+        revision?: string | undefined;
+    }>>;
+    resultRef: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    type: "informational" | "actionable" | "work";
+    status: "DONE" | "AWAITING_APPROVAL" | "APPROVED" | "QUEUED" | "DEFERRED" | "DISMISSED";
+    snapshot: {
+        sourceId: string;
+        baseline: string;
+    }[];
+    id: string;
+    version: number;
+    priority: "P0" | "P1" | "P2";
+    title: string;
+    detectedAt: string;
+    source: {
+        eventKey: string;
+        reference: string;
+        threadLastEventId?: string | undefined;
+    };
+    situation: string;
+    context: string;
+    impact: {
+        interruptRequired: boolean;
+        affectedSessions: string[];
+        rationale: string;
+    };
+    recommendation: string;
+    authorizedApprover: string;
+    allowedDecisions: ["approve" | "revise" | "defer" | "dismiss" | "queue", ...("approve" | "revise" | "defer" | "dismiss" | "queue")[]];
+    draft?: string | undefined;
+    expiresAt?: string | undefined;
+    escalation?: {
+        evidenceRefs: [string, ...string[]];
+        escalationId: string;
+        predicates: [string, ...string[]];
+        affectedNodes: string[];
+        blockedNodes: [string, ...string[]];
+        blockedScope: string[];
+        stillRunnableNodes: string[];
+        previousEscalationId?: string | undefined;
+    } | undefined;
+    decision?: {
+        kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+        actor: string;
+        channel: string;
+        decidedAt: string;
+        revision?: string | undefined;
+    } | undefined;
+    resultRef?: string | undefined;
+}, {
+    type: "informational" | "actionable" | "work";
+    status: "DONE" | "AWAITING_APPROVAL" | "APPROVED" | "QUEUED" | "DEFERRED" | "DISMISSED";
+    id: string;
+    version: number;
+    priority: "P0" | "P1" | "P2";
+    title: string;
+    detectedAt: string;
+    source: {
+        eventKey: string;
+        reference: string;
+        threadLastEventId?: string | undefined;
+    };
+    situation: string;
+    impact: {
+        interruptRequired: boolean;
+        affectedSessions?: string[] | undefined;
+        rationale?: string | undefined;
+    };
+    authorizedApprover: string;
+    allowedDecisions: ["approve" | "revise" | "defer" | "dismiss" | "queue", ...("approve" | "revise" | "defer" | "dismiss" | "queue")[]];
+    snapshot?: {
+        sourceId: string;
+        baseline: string;
+    }[] | undefined;
+    context?: string | undefined;
+    recommendation?: string | undefined;
+    draft?: string | undefined;
+    expiresAt?: string | undefined;
+    escalation?: {
+        evidenceRefs: [string, ...string[]];
+        escalationId: string;
+        predicates: [string, ...string[]];
+        blockedNodes: [string, ...string[]];
+        affectedNodes?: string[] | undefined;
+        blockedScope?: string[] | undefined;
+        stillRunnableNodes?: string[] | undefined;
+        previousEscalationId?: string | undefined;
+    } | undefined;
+    decision?: {
+        kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+        actor: string;
+        channel: string;
+        decidedAt: string;
+        revision?: string | undefined;
+    } | undefined;
+    resultRef?: string | undefined;
+}>;
+export type ApprovalRequest = z.infer<typeof ApprovalRequest>;
+/**
+ * 채널 무관 결정 DTO. 모든 채널이 동일 requestId를 쓰며, 최초 유효 Decision 이후의
+ * 입력은 CAS 실패로 거절된다 (C-01 §7~8).
+ */
+export declare const ApprovalDecision: z.ZodObject<{
+    requestId: z.ZodString;
+    expectedVersion: z.ZodNumber;
+    kind: z.ZodEnum<["approve", "revise", "defer", "dismiss", "queue"]>;
+    actor: z.ZodString;
+    channel: z.ZodString;
+    revision: z.ZodOptional<z.ZodString>;
+    decidedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+    actor: string;
+    channel: string;
+    decidedAt: string;
+    requestId: string;
+    expectedVersion: number;
+    revision?: string | undefined;
+}, {
+    kind: "approve" | "revise" | "defer" | "dismiss" | "queue";
+    actor: string;
+    channel: string;
+    decidedAt: string;
+    requestId: string;
+    expectedVersion: number;
+    revision?: string | undefined;
+}>;
+export type ApprovalDecision = z.infer<typeof ApprovalDecision>;
+/** Grant lifecycle (OM §11.5). 성공한 Grant는 재소비 불가 — replay guard의 근간. */
+export declare const GrantStatus: z.ZodEnum<["READY", "CLAIMED", "EXECUTED", "INVALIDATED", "EXPIRED"]>;
+export type GrantStatus = z.infer<typeof GrantStatus>;
+/**
+ * Policy hierarchy의 하위 override가 아니라, Controller가 hierarchy 밖에서 생성하는
+ * one-shot execution contract (OM §5.2). Session 권한은 그대로 두고 별도 Executor에게만
+ * 단일 Action을 허용한다.
+ */
+export declare const ExecutionGrant: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodNumber;
+    requestId: z.ZodString;
+    status: z.ZodEnum<["READY", "CLAIMED", "EXECUTED", "INVALIDATED", "EXPIRED"]>;
+    issuedBy: z.ZodString;
+    issuedAt: z.ZodString;
+    expiresAt: z.ZodOptional<z.ZodString>;
+    singleUse: z.ZodDefault<z.ZodBoolean>;
+    action: z.ZodString;
+    target: z.ZodString;
+    payload: z.ZodString;
+    /** 게시 직전 Drift Guard가 대조할 기준 (OM §11.9). */
+    snapshot: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        sourceId: z.ZodString;
+        baseline: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        sourceId: string;
+        baseline: string;
+    }, {
+        sourceId: string;
+        baseline: string;
+    }>, "many">>;
+    threadLastEventId: z.ZodOptional<z.ZodString>;
+    allowedWrites: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    claimedBy: z.ZodOptional<z.ZodString>;
+    consumedAt: z.ZodOptional<z.ZodString>;
+    resultRef: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "READY" | "CLAIMED" | "EXECUTED" | "INVALIDATED" | "EXPIRED";
+    snapshot: {
+        sourceId: string;
+        baseline: string;
+    }[];
+    id: string;
+    version: number;
+    requestId: string;
+    issuedBy: string;
+    issuedAt: string;
+    singleUse: boolean;
+    action: string;
+    target: string;
+    payload: string;
+    allowedWrites: string[];
+    threadLastEventId?: string | undefined;
+    expiresAt?: string | undefined;
+    resultRef?: string | undefined;
+    claimedBy?: string | undefined;
+    consumedAt?: string | undefined;
+}, {
+    status: "READY" | "CLAIMED" | "EXECUTED" | "INVALIDATED" | "EXPIRED";
+    id: string;
+    version: number;
+    requestId: string;
+    issuedBy: string;
+    issuedAt: string;
+    action: string;
+    target: string;
+    payload: string;
+    snapshot?: {
+        sourceId: string;
+        baseline: string;
+    }[] | undefined;
+    threadLastEventId?: string | undefined;
+    expiresAt?: string | undefined;
+    resultRef?: string | undefined;
+    singleUse?: boolean | undefined;
+    allowedWrites?: string[] | undefined;
+    claimedBy?: string | undefined;
+    consumedAt?: string | undefined;
+}>;
+export type ExecutionGrant = z.infer<typeof ExecutionGrant>;
+export declare const QueueState: z.ZodEnum<["READY", "ACTIVE", "BLOCKED", "DONE"]>;
+export type QueueState = z.infer<typeof QueueState>;
+/** 승인되어 수행하기로 한 작업 (OM §4.8). inbox = 판단 대기, queue = 승인된 작업. */
+export declare const QueueItem: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodNumber;
+    state: z.ZodEnum<["READY", "ACTIVE", "BLOCKED", "DONE"]>;
+    title: z.ZodString;
+    sourceRequestId: z.ZodOptional<z.ZodString>;
+    blockId: z.ZodOptional<z.ZodString>;
+    sessionId: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    version: number;
+    title: string;
+    state: "READY" | "ACTIVE" | "BLOCKED" | "DONE";
+    blockId?: string | undefined;
+    sourceRequestId?: string | undefined;
+    sessionId?: string | undefined;
+}, {
+    id: string;
+    version: number;
+    title: string;
+    state: "READY" | "ACTIVE" | "BLOCKED" | "DONE";
+    blockId?: string | undefined;
+    sourceRequestId?: string | undefined;
+    sessionId?: string | undefined;
+}>;
+export type QueueItem = z.infer<typeof QueueItem>;
+/** Phase B 처리 결과 — 부분 실패해도 cursor는 전진하고 실패분만 재시도한다 (OM §10.5). */
+export declare const EventProcessing: z.ZodEnum<["LOGGED", "PROCESSED", "PENDING_RETRY"]>;
+export type EventProcessing = z.infer<typeof EventProcessing>;
+export declare const MonitorEvent: z.ZodObject<{
+    eventKey: z.ZodString;
+    version: z.ZodNumber;
+    detectedAt: z.ZodString;
+    type: z.ZodEnum<["informational", "actionable", "work"]>;
+    suggestedPriority: z.ZodEnum<["P0", "P1", "P2"]>;
+    processing: z.ZodEnum<["LOGGED", "PROCESSED", "PENDING_RETRY"]>;
+    inboxCandidate: z.ZodBoolean;
+    requestId: z.ZodOptional<z.ZodString>;
+    /**
+     * 관련성 판정과 그 근거 (C-07 §3). 숫자가 아니라 문장을 남기는 이유는, 판정이 틀렸을 때
+     * 사람이 어디가 틀렸는지 보고 뒤집을 수 있어야 하기 때문이다.
+     * optional이라 기존 event 파일이 그대로 읽힌다.
+     */
+    relevance: z.ZodOptional<z.ZodObject<{
+        explicit: z.ZodEnum<["HIGH", "LOW"]>;
+        actual: z.ZodEnum<["HIGH", "LOW"]>;
+        disposition: z.ZodEnum<["INBOX", "SHADOW"]>;
+        evidence: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        explicit: "HIGH" | "LOW";
+        actual: "HIGH" | "LOW";
+        disposition: "INBOX" | "SHADOW";
+        evidence: string[];
+    }, {
+        explicit: "HIGH" | "LOW";
+        actual: "HIGH" | "LOW";
+        disposition: "INBOX" | "SHADOW";
+        evidence?: string[] | undefined;
+    }>>;
+    /**
+     * 조사를 다시 하려면 원본이 있어야 한다. cursor는 이미 지나갔고 provider가 같은 것을
+     * 또 주리라는 보장이 없으므로, 재시도에 필요한 만큼을 여기 남긴다 (OM §10.5).
+     */
+    replay: z.ZodOptional<z.ZodObject<{
+        reference: z.ZodString;
+        raw: z.ZodOptional<z.ZodUnknown>;
+        hints: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        /**
+         * 이미 끝난 조사 단계 (C-07 §6.3). 재시도가 처음부터 다시 하면 비싼 단계에서
+         * 실패한 사건은 영영 넘지 못한다.
+         */
+        steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<["DONE", "UNDECIDABLE", "SKIPPED"]>;
+            findings: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            detail: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings: string[];
+            detail?: string | undefined;
+        }, {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings?: string[] | undefined;
+            detail?: string | undefined;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        reference: string;
+        raw?: unknown;
+        hints?: Record<string, unknown> | undefined;
+        steps?: {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings: string[];
+            detail?: string | undefined;
+        }[] | undefined;
+    }, {
+        reference: string;
+        raw?: unknown;
+        hints?: Record<string, unknown> | undefined;
+        steps?: {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings?: string[] | undefined;
+            detail?: string | undefined;
+        }[] | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "informational" | "actionable" | "work";
+    version: number;
+    detectedAt: string;
+    eventKey: string;
+    suggestedPriority: "P0" | "P1" | "P2";
+    processing: "LOGGED" | "PROCESSED" | "PENDING_RETRY";
+    inboxCandidate: boolean;
+    requestId?: string | undefined;
+    relevance?: {
+        explicit: "HIGH" | "LOW";
+        actual: "HIGH" | "LOW";
+        disposition: "INBOX" | "SHADOW";
+        evidence: string[];
+    } | undefined;
+    replay?: {
+        reference: string;
+        raw?: unknown;
+        hints?: Record<string, unknown> | undefined;
+        steps?: {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings: string[];
+            detail?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+}, {
+    type: "informational" | "actionable" | "work";
+    version: number;
+    detectedAt: string;
+    eventKey: string;
+    suggestedPriority: "P0" | "P1" | "P2";
+    processing: "LOGGED" | "PROCESSED" | "PENDING_RETRY";
+    inboxCandidate: boolean;
+    requestId?: string | undefined;
+    relevance?: {
+        explicit: "HIGH" | "LOW";
+        actual: "HIGH" | "LOW";
+        disposition: "INBOX" | "SHADOW";
+        evidence?: string[] | undefined;
+    } | undefined;
+    replay?: {
+        reference: string;
+        raw?: unknown;
+        hints?: Record<string, unknown> | undefined;
+        steps?: {
+            id: string;
+            kind: "DONE" | "UNDECIDABLE" | "SKIPPED";
+            findings?: string[] | undefined;
+            detail?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+}>;
+export type MonitorEvent = z.infer<typeof MonitorEvent>;
+/**
+ * Controller single-writer 상태 문서 (OM §7.2). Monitoring 절에는 포인터만 두고
+ * 갱신자 없는 숫자·시각을 두지 않는다.
+ */
+export declare const ControlState: z.ZodObject<{
+    version: z.ZodNumber;
+    activeBlock: z.ZodOptional<z.ZodString>;
+    activeSessions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    recentHandoff: z.ZodOptional<z.ZodString>;
+    writeBoundaryOccupancy: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        sessionId: z.ZodString;
+        paths: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        sessionId: string;
+        paths: string[];
+    }, {
+        sessionId: string;
+        paths: string[];
+    }>, "many">>;
+    awaitingController: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    controllerAttention: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    version: number;
+    activeSessions: string[];
+    writeBoundaryOccupancy: {
+        sessionId: string;
+        paths: string[];
+    }[];
+    awaitingController: string[];
+    controllerAttention: string[];
+    activeBlock?: string | undefined;
+    recentHandoff?: string | undefined;
+}, {
+    version: number;
+    activeBlock?: string | undefined;
+    activeSessions?: string[] | undefined;
+    recentHandoff?: string | undefined;
+    writeBoundaryOccupancy?: {
+        sessionId: string;
+        paths: string[];
+    }[] | undefined;
+    awaitingController?: string[] | undefined;
+    controllerAttention?: string[] | undefined;
+}>;
+export type ControlState = z.infer<typeof ControlState>;