@jmanuelcorral/openteam 0.1.40 → 0.1.42

package/dist/orchestrator/graphCancellation.d.ts

@@ -0,0 +1,84 @@
+import type { GraphState, NodeStatus, RunStatus } from "../graph/types";
+/**
+ * Políticas puras de cancelación, timeout y compleción tardía (GE-034).
+ *
+ * Deciden, sin I/O ni reloj, qué hacer ante tres situaciones del runtime de
+ * Graph. El runtime les inyecta la evidencia ya observada (estado del nodo, si
+ * ya se pidió el abort, si expiró la ventana de gracia) y aplica el resultado:
+ *
+ * - `timeoutAction`: en un timeout se pide **primero** el abort y solo se
+ *   reconcilia tras agotar una ventana de gracia acotada; un nodo no `running`
+ *   no tiene nada que expirar.
+ * - `planCancellation`: cancelar un run en curso cancela sus nodos `pending` y
+ *   `running` (así los `pending` no llegan a despacharse) y pide abort de los
+ *   `running`; cancelar un run ya terminal es un no-op idempotente.
+ * - `classifyLateCompletion`: un resultado que llega tarde se **audita** pero no
+ *   puede revivir un intento cancelado, superado (otro `attemptID`/`operationID`)
+ *   ni de un run ya terminal.
+ *
+ * Todo es determinista: la misma evidencia produce la misma decisión, de modo
+ * que se reproduce igual tras un reinicio.
+ */
+/** Acción de timeout sobre el nodo en vuelo. */
+export type TimeoutAction = "noop" | "request-abort" | "awaiting-grace" | "reconcile";
+/** Evidencia inyectada para decidir el timeout de un nodo. */
+export type TimeoutInput = {
+    readonly nodeStatus: NodeStatus;
+    /** `true` si el runtime ya solicitó el abort de este intento. */
+    readonly abortRequested: boolean;
+    /** `true` si la ventana de gracia acotada ya expiró. */
+    readonly graceExceeded: boolean;
+};
+/**
+ * Decide la acción de timeout. Solo un nodo `running` puede expirar: si aún no
+ * se pidió el abort, se pide; si ya se pidió, se espera hasta agotar la gracia y
+ * entonces se reconcilia. Un nodo no `running` es un no-op.
+ */
+export declare function timeoutAction(input: TimeoutInput): TimeoutAction;
+/** Plan determinista de cancelación de un run. */
+export type CancellationPlan = {
+    /** `true` si el run sigue en curso y debe marcarse `cancelled`. */
+    readonly cancelRun: boolean;
+    /** Nodos a marcar `cancelled` (los `pending` y `running`), en orden estable. */
+    readonly cancelNodeIDs: readonly string[];
+    /** Nodos `running` cuyo efecto debe abortarse, en orden estable. */
+    readonly abortNodeIDs: readonly string[];
+};
+/**
+ * Planifica la cancelación del run. Cancela los nodos `pending` (para que no
+ * lleguen a despacharse) y `running`, y pide abort de los `running`. Un run ya
+ * terminal no vuelve a cancelarse y no deja nodos por cancelar (idempotente).
+ */
+export declare function planCancellation(state: GraphState): CancellationPlan;
+/** Motivo por el que una compleción tardía se descarta. */
+export type LateCompletionReason = "run-terminal" | "unknown-node" | "not-running" | "superseded";
+/** Veredicto sobre un recibo que llega tarde. */
+export type LateCompletionVerdict = {
+    readonly kind: "apply";
+} | {
+    readonly kind: "stale";
+    readonly reason: LateCompletionReason;
+};
+/** Estado mínimo del nodo destino del recibo tardío. */
+export type LateCompletionNode = {
+    readonly status: NodeStatus;
+    readonly operationID?: string;
+    readonly attemptID?: string;
+};
+/** Entrada para clasificar una compleción tardía. */
+export type LateCompletionInput = {
+    readonly runStatus: RunStatus;
+    readonly node: LateCompletionNode | undefined;
+    readonly receipt: {
+        readonly operationID: string;
+        readonly attemptID: string;
+    };
+};
+/**
+ * Clasifica un recibo tardío. Solo se aplica al intento `running` vigente con
+ * `operationID`/`attemptID` coincidentes; en cualquier otro caso (run terminal,
+ * nodo desconocido, nodo no `running`, intento superado) se marca `stale` para
+ * auditarlo sin mutar el estado.
+ */
+export declare function classifyLateCompletion(input: LateCompletionInput): LateCompletionVerdict;
+//# sourceMappingURL=graphCancellation.d.ts.map

package/dist/orchestrator/graphCancellation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graphCancellation.d.ts","sourceRoot":"","sources":["../../src/orchestrator/graphCancellation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAExE;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,gDAAgD;AAChD,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,eAAe,GACf,gBAAgB,GAChB,WAAW,CAAC;AAEhB,8DAA8D;AAC9D,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,wDAAwD;IACxD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CAQhE;AAED,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,gBAAgB,CAiBpE;AAED,2DAA2D;AAC3D,MAAM,MAAM,oBAAoB,GAC5B,cAAc,GACd,cAAc,GACd,aAAa,GACb,YAAY,CAAC;AAEjB,iDAAiD;AACjD,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAEtE,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,mBAAmB,GACzB,qBAAqB,CAkBvB"}

package/dist/orchestrator/graphEffects.d.ts

@@ -0,0 +1,63 @@
+import type { ContextRef, PrivacyClass } from "../context/schema";
+import { type PrivacyMode, type RouteKind } from "../graph/privacyPolicy";
+import type { ErrorClass, GraphNode } from "../graph/schema";
+/**
+ * `GraphEffectExecutor` — puerto del único efecto que el runtime de Graph
+ * (GE-031) ejecuta por nodo. El runtime commitea la intención (`node.dispatched`)
+ * en el journal **antes** de invocar `execute`, y el recibo (`node.succeeded` o
+ * `node.failed`) **después**; el executor solo produce el resultado del efecto.
+ *
+ * Este módulo es solo tipos: sin I/O, SDK, storage ni estado global. El runtime
+ * recibe un executor inyectado; en producción lo implementará el adaptador de
+ * sesión de opencode (GE-030), y en tests un doble determinista. Mantener el
+ * seam como puerto permite probar el runtime sin red ni SDK reales.
+ */
+/** Solicitud de ejecución de un efecto para un nodo e intento concretos. */
+export type EffectRequest = {
+    readonly runID: string;
+    readonly node: GraphNode;
+    readonly operationID: string;
+    readonly attemptID: string;
+};
+/** Recibo de un efecto: éxito con artefacto referenciado, o fallo clasificado. */
+export type EffectReceipt = {
+    readonly outcome: "succeeded";
+    readonly artifact: ContextRef;
+} | {
+    readonly outcome: "failed";
+    readonly errorClass: ErrorClass;
+};
+/** Ejecutor inyectable del efecto de un nodo. Determinista dado el request. */
+export interface GraphEffectExecutor {
+    execute(request: EffectRequest): Promise<EffectReceipt>;
+}
+/**
+ * Contexto de privacidad de un despacho: clase de privacidad del nodo, modo
+ * efectivo de la config y ruta preferida por el router. Deja al seam de efectos
+ * la decisión reference-only/frontier antes y después de invocar al executor.
+ */
+export type EffectDispatchContext = {
+    readonly privacyClass: PrivacyClass;
+    readonly mode: PrivacyMode;
+    readonly routeKind: RouteKind;
+};
+/**
+ * Resuelve la ruta **efectiva** de un despacho (GE-037). Si la política prohíbe
+ * frontier para la clase de privacidad bajo el modo activo, degrada a `local`
+ * en vez de lanzar: un nodo `sensitive` con `forceLocalOnSensitive` produce
+ * **cero** despachos a frontier. Puro y determinista.
+ */
+export declare function resolveDispatchRoute(privacyClass: PrivacyClass, mode: PrivacyMode, preferred: RouteKind): RouteKind;
+/**
+ * Gate de privacidad **antes** de invocar al executor: lanza
+ * `PrivacyPolicyError` si un nodo `sensitive` bajo `forceLocalOnSensitive`
+ * intenta una ruta frontier.
+ */
+export declare function assertDispatchAllowed(ctx: EffectDispatchContext): void;
+/**
+ * Gate reference-only **después** del executor: el recibo solo puede llevar una
+ * `ContextRef` (éxito) o una clase de error (fallo); lanza `RedactionError` si
+ * alguna estructura transporta un campo de contenido crudo.
+ */
+export declare function assertReceiptReferenceOnly(receipt: EffectReceipt): void;
+//# sourceMappingURL=graphEffects.d.ts.map

package/dist/orchestrator/graphEffects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graphEffects.d.ts","sourceRoot":"","sources":["../../src/orchestrator/graphEffects.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,SAAS,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE7D;;;;;;;;;;GAUG;AAEH,4EAA4E;AAC5E,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,kFAAkF;AAClF,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpE,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;CACzD;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,YAAY,EAC1B,IAAI,EAAE,WAAW,EACjB,SAAS,EAAE,SAAS,GACnB,SAAS,CAIX;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAEtE;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,aAAa,GAAG,IAAI,CAEvE"}

package/dist/orchestrator/graphReview.d.ts

@@ -0,0 +1,84 @@
+import { type Sha256, type TaskAnchor } from "../context/schema";
+import type { Capability } from "../graph/types";
+/** Veredicto normalizado de una revisión. */
+export type ReviewVerdict = {
+    readonly decision: "approved";
+} | {
+    readonly decision: "rejected";
+    readonly reason: string;
+} | {
+    readonly decision: "inconclusive";
+    readonly reason: string;
+};
+/** Lo que el runtime despachó y a lo que debe anclarse la aprobación. */
+export type ReviewExpectation = {
+    readonly anchor: TaskAnchor;
+    readonly artifactSha256: Sha256;
+};
+/**
+ * Parsea el veredicto de forma conservadora. Entrada no estructurada o inválida
+ * es `inconclusive`; un rechazo se honra con su motivo; una aprobación exige un
+ * ancla y un digest de artefacto que coincidan con lo despachado, y en cualquier
+ * discrepancia degrada a `inconclusive` (fail-closed).
+ */
+export declare function parseReviewVerdict(raw: unknown, expected: ReviewExpectation): ReviewVerdict;
+/** Decisión de lockout del efecto de un reviewer antes del despacho. */
+export type ReviewerEffectDecision = {
+    readonly kind: "allow";
+} | {
+    readonly kind: "reject";
+    readonly capability: Capability;
+};
+/**
+ * Bloquea el efecto de un reviewer a solo lectura. Devuelve `reject` con la
+ * primera capacidad mutante planificada (orden de entrada, determinista); si
+ * todas las capacidades son de solo lectura, `allow`.
+ */
+export declare function reviewerEffectDecision(capabilities: readonly Capability[]): ReviewerEffectDecision;
+/** Plan de linaje tras un rechazo: nueva revisión enlazada o agotamiento. */
+export type RevisionPlan = {
+    readonly kind: "revise";
+    readonly nodeID: string;
+    /** Índice de la nueva revisión (0 la implementación inicial). */
+    readonly revision: number;
+    /** Operación de la nueva revisión, distinta de la anterior. */
+    readonly operationID: string;
+    /** Operación de la que procede (enlace append-only). */
+    readonly previousOperationID: string;
+} | {
+    readonly kind: "exhausted";
+    readonly revision: number;
+};
+/**
+ * Planifica la revisión que enlaza un rechazo. Si aún queda margen bajo el
+ * límite, produce una nueva revisión con una `operationID` distinta que apunta
+ * a la anterior (`previousOperationID`), preservando la historia append-only;
+ * si se agotó el margen, `exhausted`.
+ */
+export declare function planRevision(input: {
+    readonly runID: string;
+    readonly nodeID: string;
+    readonly currentRevision: number;
+    readonly currentOperationID: string;
+    readonly limit?: number;
+}): RevisionPlan;
+/** Resultado de reasignar el reviewer tras un fallo técnico. */
+export type ReviewerReassignment = {
+    readonly kind: "reassign";
+    readonly reviewerID: string;
+    /** Un fallo técnico del reviewer no re-ejecuta la implementación. */
+    readonly rerunImplementation: false;
+} | {
+    readonly kind: "no-reviewer";
+};
+/**
+ * Reasigna la revisión al primer candidato elegible (orden de entrada), nunca
+ * el autor ni un reviewer que ya falló. La implementación no se re-ejecuta: su
+ * artefacto se conserva. Sin candidatos elegibles, `no-reviewer`.
+ */
+export declare function reassignReviewer(input: {
+    readonly authorID: string;
+    readonly failedReviewers: readonly string[];
+    readonly candidates: readonly string[];
+}): ReviewerReassignment;
+//# sourceMappingURL=graphReview.d.ts.map

package/dist/orchestrator/graphReview.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graphReview.d.ts","sourceRoot":"","sources":["../../src/orchestrator/graphReview.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,MAAM,EAEX,KAAK,UAAU,EAEhB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AA6BjD,6CAA6C;AAC7C,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,yEAAyE;AACzE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,EACZ,QAAQ,EAAE,iBAAiB,GAC1B,aAAa,CAsBf;AAED,wEAAwE;AACxE,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEjE;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,SAAS,UAAU,EAAE,GAClC,sBAAsB,CAOxB;AAED,6EAA6E;AAC7E,MAAM,MAAM,YAAY,GACpB;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,wDAAwD;IACxD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,YAAY,CAaf;AAED,gEAAgE;AAChE,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qEAAqE;IACrE,QAAQ,CAAC,mBAAmB,EAAE,KAAK,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC;AAErC;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC,GAAG,oBAAoB,CAevB"}

package/dist/orchestrator/graphRuntime.d.ts

@@ -0,0 +1,69 @@
+import type { GraphSpecV1 } from "../graph/schema";
+import type { RunStatus } from "../graph/types";
+import type { GraphJournal } from "../storage/graph/provider";
+import type { WorkspaceLease } from "../storage/graph/workspaceLease";
+import type { GraphEffectExecutor } from "./graphEffects";
+/**
+ * Runtime single-writer de Graph (GE-031, GE-033).
+ *
+ * Un `step` adquiere (idempotentemente) el lease del workspace, garantiza el
+ * evento `run.started`, y avanza **como mucho un efecto**: commitea la intención
+ * (`node.dispatched`) en el journal antes de invocar el executor y el recibo
+ * (`node.succeeded`/`node.failed`) después. Reanuda tras un reinicio tomando el
+ * relevo del journal (`takeOver`) y no re-despacha un efecto en vuelo: un nodo
+ * `running` sin recibo se deja a la reconciliación (GE-032) devolviendo
+ * `blocked`. El fencing del lease impide un segundo orquestador simultáneo.
+ *
+ * Reintentos (GE-033): un nodo `failed` con una clase de error reintentable
+ * (`transient`/`timeout`) y dentro del límite se vuelve a despachar con el mismo
+ * `operationID` y un `attemptID` nuevo derivado del journal, de modo que la
+ * decisión y el ID reaparecen igual tras un reinicio. El retardo de backoff es
+ * una función pura del índice de intento que el runtime expone en el resultado
+ * del paso; no duerme ni consulta reloj.
+ *
+ * El runtime aísla toda la lógica de orquestación; el I/O real vive en los
+ * puertos inyectados (`WorkspaceLease`, `GraphJournal`, `GraphEffectExecutor`),
+ * de modo que se prueba con dobles deterministas sin red ni SDK.
+ */
+/** Resultado de un `step` del runtime. */
+export type RuntimeStepOutcome = {
+    readonly kind: "dispatched";
+    readonly nodeID: string;
+    readonly operationID: string;
+    readonly attemptID: string;
+    /** Índice de intento (0 el primero); crece en cada reintento. */
+    readonly attempt: number;
+    /** Retardo determinista sugerido antes de este intento, en ms. */
+    readonly backoffMs: number;
+} | {
+    readonly kind: "completed";
+} | {
+    readonly kind: "failed";
+} | {
+    readonly kind: "blocked";
+    readonly reason: "in-flight-effect";
+} | {
+    readonly kind: "terminal";
+    readonly status: RunStatus;
+};
+/** Dependencias inyectadas del runtime; ninguna hace I/O dentro de este módulo. */
+export type GraphRuntimeDeps = {
+    readonly spec: GraphSpecV1;
+    readonly journal: GraphJournal;
+    readonly lease: WorkspaceLease;
+    readonly effects: GraphEffectExecutor;
+    readonly holder: string;
+    /** Límite de intentos por nodo reintentable; por defecto `DEFAULT_RETRY_LIMIT`. */
+    readonly retryLimit?: number;
+};
+/** Runtime que avanza un run de Graph paso a paso. */
+export interface GraphRuntime {
+    /** Adquiere el lease y garantiza `run.started`; idempotente. */
+    start(): Promise<void>;
+    /** Avanza como mucho un efecto y devuelve el resultado del paso. */
+    step(): Promise<RuntimeStepOutcome>;
+    /** Repite `step` hasta un estado no despachador (terminal, completado, etc.). */
+    runToCompletion(): Promise<RuntimeStepOutcome>;
+}
+export declare function createGraphRuntime(deps: GraphRuntimeDeps): GraphRuntime;
+//# sourceMappingURL=graphRuntime.d.ts.map

package/dist/orchestrator/graphRuntime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graphRuntime.d.ts","sourceRoot":"","sources":["../../src/orchestrator/graphRuntime.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAa,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,KAAK,EAAc,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,KAAK,EACV,YAAY,EAGb,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,0CAA0C;AAC1C,MAAM,MAAM,kBAAkB,GAC1B;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,CAAC;AAE9D,mFAAmF;AACnF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mFAAmF;IACnF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,sDAAsD;AACtD,MAAM,WAAW,YAAY;IAC3B,gEAAgE;IAChE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,oEAAoE;IACpE,IAAI,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpC,iFAAiF;IACjF,eAAe,IAAI,OAAO,CAAC,kBAAkB,CAAC,CAAC;CAChD;AAkDD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CA2JvE"}

package/dist/orchestrator/opencodeSessionAdapter.d.ts

@@ -0,0 +1,117 @@
+import type { ModelSelection } from "../router/types";
+/**
+ * Adaptador tipado de sesión de opencode (GE-030).
+ *
+ * Estrecha la superficie de sesión de opencode a las seis operaciones de ciclo
+ * de vida verificadas por el contrato (create, dispatch/prompt, children,
+ * status/get, messages, abort) y normaliza cada fallo del cliente a un error
+ * tipado {@link SessionAdapterError}. Deliberadamente **no** expone acciones
+ * destructivas ni de resumen (delete, summarize, share/unshare, fork, command):
+ * la autoridad del grafo nunca borra ni resume una sesión de forma automática.
+ *
+ * El adaptador no realiza I/O propio: envuelve un cliente inyectado
+ * ({@link GraphSessionClient}) cuya forma es asignable desde el cliente real de
+ * `@opencode-ai/sdk`. Un contract test fija esa correspondencia.
+ */
+/** Resultado del SDK: dato tipado o error opaco, nunca ambos. */
+type ClientResult<T> = {
+    data?: T;
+    error?: unknown;
+};
+/** Referencia mínima a una sesión (subconjunto verificado de `Session`). */
+export type SessionInfo = {
+    readonly id: string;
+};
+/**
+ * Puerto del cliente de sesión de opencode acotado a las operaciones que usa el
+ * adaptador. Estructuralmente compatible con `client.session` del SDK real.
+ */
+export type GraphSessionClient = {
+    session: {
+        create(args: {
+            body?: {
+                parentID?: string;
+                title?: string;
+            };
+            query?: {
+                directory?: string;
+            };
+        }): Promise<ClientResult<{
+            id: string;
+        }>>;
+        prompt(args: {
+            path: {
+                id: string;
+            };
+            body: {
+                model?: ModelSelection;
+                agent?: string;
+                system?: string;
+                parts: Array<{
+                    type: "text";
+                    text: string;
+                }>;
+            };
+        }): Promise<ClientResult<unknown>>;
+        children(args: {
+            path: {
+                id: string;
+            };
+        }): Promise<ClientResult<ReadonlyArray<SessionInfo>>>;
+        get(args: {
+            path: {
+                id: string;
+            };
+        }): Promise<ClientResult<SessionInfo>>;
+        messages(args: {
+            path: {
+                id: string;
+            };
+        }): Promise<ClientResult<ReadonlyArray<unknown>>>;
+        abort(args: {
+            path: {
+                id: string;
+            };
+        }): Promise<ClientResult<boolean>>;
+    };
+};
+/** Taxonomía cerrada de errores del adaptador de sesión. */
+export type SessionAdapterErrorCode = "create-failed" | "missing-session-id" | "dispatch-failed" | "children-failed" | "status-failed" | "messages-failed" | "abort-failed";
+/** Error tipado de una operación de sesión que falló o devolvió datos inválidos. */
+export declare class SessionAdapterError extends Error {
+    readonly code: SessionAdapterErrorCode;
+    readonly detail: string;
+    constructor(code: SessionAdapterErrorCode, detail: string);
+}
+/** Datos para crear una sub-sesión hija. */
+export type CreateChildInput = {
+    readonly parentSessionID?: string;
+    readonly title?: string;
+    readonly directory?: string;
+};
+/** Datos para despachar un prompt (el efecto) a una sesión existente. */
+export type DispatchInput = {
+    readonly sessionID: string;
+    readonly prompt: string;
+    readonly model?: ModelSelection;
+    readonly agent?: string;
+    readonly system?: string;
+};
+/** Superficie verificada del adaptador de sesión de opencode. */
+export interface OpencodeSessionAdapter {
+    /** Crea una sub-sesión hija y devuelve su id; falla cerrado si no hay id. */
+    createChild(input: CreateChildInput): Promise<string>;
+    /** Despacha un prompt a la sesión y devuelve la respuesta cruda del efecto. */
+    dispatch(input: DispatchInput): Promise<unknown>;
+    /** Lista los ids de las sesiones hijas. */
+    listChildren(sessionID: string): Promise<readonly string[]>;
+    /** Devuelve el estado de la sesión (get por id). */
+    getStatus(sessionID: string): Promise<SessionInfo>;
+    /** Lista los mensajes de la sesión. */
+    listMessages(sessionID: string): Promise<readonly unknown[]>;
+    /** Solicita abortar la sesión; devuelve si el runtime lo aceptó. */
+    abort(sessionID: string): Promise<boolean>;
+}
+export declare function createOpencodeSessionAdapter(client: GraphSessionClient): OpencodeSessionAdapter;
+export {};
+//# sourceMappingURL=opencodeSessionAdapter.d.ts.map

package/dist/orchestrator/opencodeSessionAdapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"opencodeSessionAdapter.d.ts","sourceRoot":"","sources":["../../src/orchestrator/opencodeSessionAdapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEtD;;;;;;;;;;;;;GAaG;AAEH,iEAAiE;AACjE,KAAK,YAAY,CAAC,CAAC,IAAI;IAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAErD,4EAA4E;AAC5E,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE;QACP,MAAM,CAAC,IAAI,EAAE;YACX,IAAI,CAAC,EAAE;gBAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;gBAAC,KAAK,CAAC,EAAE,MAAM,CAAA;aAAE,CAAC;YAC7C,KAAK,CAAC,EAAE;gBAAE,SAAS,CAAC,EAAE,MAAM,CAAA;aAAE,CAAC;SAChC,GAAG,OAAO,CAAC,YAAY,CAAC;YAAE,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE;YACX,IAAI,EAAE;gBAAE,EAAE,EAAE,MAAM,CAAA;aAAE,CAAC;YACrB,IAAI,EAAE;gBACJ,KAAK,CAAC,EAAE,cAAc,CAAC;gBACvB,KAAK,CAAC,EAAE,MAAM,CAAC;gBACf,MAAM,CAAC,EAAE,MAAM,CAAC;gBAChB,KAAK,EAAE,KAAK,CAAC;oBAAE,IAAI,EAAE,MAAM,CAAC;oBAAC,IAAI,EAAE,MAAM,CAAA;iBAAE,CAAC,CAAC;aAC9C,CAAC;SACH,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACnC,QAAQ,CAAC,IAAI,EAAE;YACb,IAAI,EAAE;gBAAE,EAAE,EAAE,MAAM,CAAA;aAAE,CAAC;SACtB,GAAG,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACtD,GAAG,CAAC,IAAI,EAAE;YAAE,IAAI,EAAE;gBAAE,EAAE,EAAE,MAAM,CAAA;aAAE,CAAA;SAAE,GAAG,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC;QACxE,QAAQ,CAAC,IAAI,EAAE;YACb,IAAI,EAAE;gBAAE,EAAE,EAAE,MAAM,CAAA;aAAE,CAAC;SACtB,GAAG,OAAO,CAAC,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,EAAE;YAAE,IAAI,EAAE;gBAAE,EAAE,EAAE,MAAM,CAAA;aAAE,CAAA;SAAE,GAAG,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;KACvE,CAAC;CACH,CAAC;AAEF,4DAA4D;AAC5D,MAAM,MAAM,uBAAuB,GAC/B,eAAe,GACf,oBAAoB,GACpB,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,iBAAiB,GACjB,cAAc,CAAC;AAEnB,oFAAoF;AACpF,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,IAAI,EAAE,uBAAuB,EAAE,MAAM,EAAE,MAAM;CAM1D;AAED,4CAA4C;AAC5C,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iEAAiE;AACjE,MAAM,WAAW,sBAAsB;IACrC,6EAA6E;IAC7E,WAAW,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACjD,2CAA2C;IAC3C,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5D,oDAAoD;IACpD,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACnD,uCAAuC;IACvC,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,oEAAoE;IACpE,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC5C;AAiBD,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,kBAAkB,GACzB,sBAAsB,CA4GxB"}

package/dist/orchestrator/sdd.d.ts

@@ -1,4 +1,5 @@
 import type { OpenTeamConfig } from "../config/schema";
+import { type ArtifactManifest, type ContextRef, type PrivacyClass } from "../context/schema";
 import type { TaskSignals } from "../router/types";
 import type { StorageProvider } from "../storage/provider";
 import { type CoordinatorDeps, type RoleTaskResult } from "./coordinator";
@@ -7,8 +8,10 @@ import { type CoordinatorDeps, type RoleTaskResult } from "./coordinator";
  * boundary de openteam. Por cada tarea:
  *
  *   1. Reanuda desde el ledger: si la tarea ya está `complete`, la salta.
- *   2. Persiste un **task brief** como fichero (higiene de contexto: el
- *      implementer recibe solo su tarea, no el historial acumulado).
+ *   2. Persiste un **manifiesto redactado** de inputs del brief (referencia +
+ *      digest, nunca el brief crudo) y entrega el brief íntegro al implementer
+ *      **en memoria** vía el prompt (higiene de contexto: el implementer recibe
+ *      solo su tarea, no el historial acumulado).
  *   3. Despacha el **implementer** con el brief.
  *   4. Despacha el **reviewer** (rol con alto code-quality) para revisar el
  *      cambio; la generación del diff vive en el propio agente reviewer.
@@ -71,6 +74,39 @@ export type SddPlanResult = {
     failed: string[];
     skipped: string[];
 };
+/**
+ * Texto **completo** del brief en memoria para el prompt del implementer.
+ *
+ * GE-007 congela que el brief íntegro es un input de dispatch **en memoria**
+ * (byte a byte), nunca solo una ruta a fichero; un prompt path-only es una
+ * regresión funcional. GE-038 lo cablea al text part de `session.prompt`. Puro:
+ * no persiste nada.
+ */
+export declare function implementerBriefInput(task: SddTask): string;
+/** Opciones del manifiesto redactado de inputs del brief. */
+export type BriefManifestOptions = {
+    /** Clase de privacidad del manifiesto (def: `internal`). */
+    privacyClass?: PrivacyClass;
+    /** Referencia estable del brief cuando persiste como artefacto revalidable. */
+    briefRef?: ContextRef;
+};
+/** Manifiesto redactado del brief más su elegibilidad para shadow. */
+export type BriefManifestResult = {
+    manifest: ArtifactManifest;
+    /** Solo elegible si **cada** input seleccionado tiene referencia estable. */
+    shadowEligible: boolean;
+};
+/**
+ * Construye el manifiesto **redactado** de inputs del brief (GE-007).
+ *
+ * Sustituye el fichero de brief crudo por una referencia/digest ordenada:
+ * versión, taskID, clase de privacidad y una entrada por input con digest
+ * SHA-256 y tamaño en bytes; nunca título, extracto, prompt ni salida del
+ * modelo. Un brief sin referencia estable produce una entrada solo-digest y
+ * queda **inelegible** para shadow (no se fabrica una referencia). Puro y
+ * determinista: solo cómputo de digest, sin I/O.
+ */
+export declare function briefInputManifest(task: SddTask, options?: BriefManifestOptions): BriefManifestResult;
 /** Extrae texto de una respuesta opaca del modelo (best-effort). Puro. */
 export declare function extractResponseText(response: unknown): string;
 /**

package/dist/orchestrator/sdd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sdd.d.ts","sourceRoot":"","sources":["../../src/orchestrator/sdd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,KAAK,eAAe,EAEpB,KAAK,cAAc,EAEpB,MAAM,eAAe,CAAC;AASvB;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,+DAA+D;AAC/D,eAAO,MAAM,yBAAyB,2BAA2B,CAAC;AAElE,gCAAgC;AAChC,eAAO,MAAM,wBAAwB,aAAa,CAAC;AAEnD,MAAM,MAAM,OAAO,GAAG;IACpB,wEAAwE;IACxE,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,eAAe,GAAG;IACtC,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,cAAc,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,aAAa,CAAC;IAC5D,kDAAkD;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE9D,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,aAAa,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AA2FF,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,CAuB7D;AAKD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,aAAa,CAO1E;AAuBD,8EAA8E;AAC9E,wBAAsB,UAAU,CAC9B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,OAAO,GACZ,OAAO,CAAC,cAAc,CAAC,CAyHzB;AAED;;;;GAIG;AACH,wBAAsB,UAAU,CAC9B,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,IAAI,EAAE,OAAO,GACZ,OAAO,CAAC,aAAa,CAAC,CAoBxB"}
+{"version":3,"file":"sdd.d.ts","sourceRoot":"","sources":["../../src/orchestrator/sdd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,UAAU,EACf,KAAK,YAAY,EAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EACL,KAAK,eAAe,EAEpB,KAAK,cAAc,EAEpB,MAAM,eAAe,CAAC;AASvB;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,+DAA+D;AAC/D,eAAO,MAAM,yBAAyB,2BAA2B,CAAC;AAElE,gCAAgC;AAChC,eAAO,MAAM,wBAAwB,aAAa,CAAC;AAEnD,MAAM,MAAM,OAAO,GAAG;IACpB,wEAAwE;IACxE,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,oEAAoE;IACpE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,OAAO,CAAC;IAClB,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,eAAe,GAAG;IACtC,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,EAAE,cAAc,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,aAAa,CAAC;IAC5D,kDAAkD;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE9D,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,aAAa,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,KAAK,EAAE,cAAc,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAkBF;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAE3D;AAED,6DAA6D;AAC7D,MAAM,MAAM,oBAAoB,GAAG;IACjC,4DAA4D;IAC5D,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,UAAU,CAAC;CACvB,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,6EAA6E;IAC7E,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,OAAO,EACb,OAAO,GAAE,oBAAyB,GACjC,mBAAmB,CAarB;AA6ED,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,CAuB7D;AAKD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,aAAa,CAO1E;AAuBD,8EAA8E;AAC9E,wBAAsB,UAAU,CAC9B,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,OAAO,GACZ,OAAO,CAAC,cAAc,CAAC,CAuHzB;AAED;;;;GAIG;AACH,wBAAsB,UAAU,CAC9B,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,IAAI,EAAE,OAAO,GACZ,OAAO,CAAC,aAAa,CAAC,CAoBxB"}

package/dist/orchestrator/sddCompiler.d.ts

@@ -0,0 +1,44 @@
+import { type GraphSpecV1 } from "../graph/schema";
+import { type SddTask } from "./sdd";
+/**
+ * Compilador **puro** de una tarea SDD legacy a un `GraphSpecV1` estático
+ * (GE-041).
+ *
+ * La cadena implement → review → revise → re-review se expande a un DAG
+ * acíclico versionado: un nodo `implementer` inicial, su `reviewer`, y por cada
+ * ronda de revisión un nuevo `implementer` (revise) con su `reviewer`
+ * (re-review). El spec resultante:
+ *
+ * - es **reference-only**: los nodos solo llevan ids, roles y un `anchor`
+ *   (taskID + digest), nunca el brief crudo;
+ * - es **determinista**: la misma tarea produce el mismo spec y el mismo
+ *   digest (`graphSpecDigest`);
+ * - **falla antes de dispatch** ante un rol inválido, un autor que también
+ *   revisa, o un id de tarea que no es un `NodeID` válido.
+ *
+ * Sin I/O, reloj ni random: solo cómputo de digest y validación estructural.
+ */
+/** Código de fallo de compilación (falla antes de cualquier dispatch). */
+export type SddCompileErrorCode = "invalid-role" | "author-is-reviewer" | "invalid-spec";
+/** Error tipado de una compilación rechazada. */
+export declare class SddCompileError extends Error {
+    readonly code: SddCompileErrorCode;
+    readonly detail: string;
+    constructor(code: SddCompileErrorCode, detail: string);
+}
+/** Opciones de compilación. */
+export type SddCompileOptions = {
+    /** Rol del reviewer (def: el de la tarea o `reviewer`). */
+    reviewerRoleID?: string;
+    /** Rondas de revisión revise/re-review a expandir (def: 1). */
+    revisionRounds?: number;
+};
+/** Digest SHA-256 estable del spec compilado (reproducible). */
+export declare function graphSpecDigest(spec: GraphSpecV1): string;
+/**
+ * Compila una tarea SDD legacy a un `GraphSpecV1` validado. Lanza
+ * `SddCompileError` ante rol/autor/spec inválidos, siempre **antes** de
+ * cualquier dispatch.
+ */
+export declare function compileSddTask(task: SddTask, options?: SddCompileOptions): GraphSpecV1;
+//# sourceMappingURL=sddCompiler.d.ts.map

package/dist/orchestrator/sddCompiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sddCompiler.d.ts","sourceRoot":"","sources":["../../src/orchestrator/sddCompiler.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,WAAW,EAEjB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAA4B,KAAK,OAAO,EAAE,MAAM,OAAO,CAAC;AAE/D;;;;;;;;;;;;;;;;;GAiBG;AAEH,0EAA0E;AAC1E,MAAM,MAAM,mBAAmB,GAC3B,cAAc,GACd,oBAAoB,GACpB,cAAc,CAAC;AAEnB,iDAAiD;AACjD,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM;CAMtD;AAED,+BAA+B;AAC/B,MAAM,MAAM,iBAAiB,GAAG;IAC9B,2DAA2D;IAC3D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAuCF,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAEzD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,OAAO,EACb,OAAO,GAAE,iBAAsB,GAC9B,WAAW,CA0Db"}

package/dist/orchestrator/sessionReconciler.d.ts

@@ -0,0 +1,74 @@
+import type { NodeStatus } from "../graph/types";
+/**
+ * Reconciliador de ventanas de crash de create/prompt (GE-032).
+ *
+ * Tras un fallo a mitad de crear la sub-sesión hija o despachar el prompt, el
+ * runtime no sabe si el efecto llegó a empezar. Este módulo clasifica la
+ * ventana usando la **sesión hija correlacionada** de opencode y decide sin
+ * reintentar a ciegas:
+ *
+ * - `not-started`: no hay hija correlacionada; el efecto puede despacharse.
+ * - `active`: existe una única hija correlacionada aún en curso; se **adopta**.
+ * - `completed`: existe una única hija correlacionada terminada; se **adopta**.
+ * - `unknown`: la evidencia es ambigua (varias hijas correlacionadas); se
+ *   **bloquea** el reintento ciego y se exige reconciliación segura.
+ *
+ * Un nodo con recibo ya escrito (terminal) hace que la reconciliación sea un
+ * **no-op idempotente**. Puro y determinista: sin I/O, reloj ni random; el
+ * runtime le pasa la evidencia ya observada a través de puertos inyectados.
+ */
+/** Clasificación de la ventana de crash de un efecto. */
+export type CrashWindowClass = "not-started" | "active" | "completed" | "unknown";
+/** Decisión de reconciliación derivada de la ventana. */
+export type ReconcileDecision = "dispatch" | "adopt" | "block" | "noop";
+/** Estado observado de una sesión hija de opencode. */
+export type ObservedChildState = "active" | "completed";
+/** Sesión hija observada con su título de correlación y estado. */
+export type ObservedChild = {
+    readonly sessionID: string;
+    readonly title: string;
+    readonly state: ObservedChildState;
+};
+/** Evidencia correlacionada sobre la hija de un intento concreto. */
+export type ChildObservation = {
+    readonly kind: "none";
+} | {
+    readonly kind: "active";
+    readonly sessionID: string;
+} | {
+    readonly kind: "completed";
+    readonly sessionID: string;
+} | {
+    readonly kind: "ambiguous";
+    readonly detail: string;
+};
+/** Entrada de la reconciliación de un nodo. */
+export type ReconcileInput = {
+    readonly nodeStatus: NodeStatus;
+    readonly observation: ChildObservation;
+};
+/** Resultado de la reconciliación: ventana, decisión y hija adoptada si aplica. */
+export type ReconcileResult = {
+    readonly window: CrashWindowClass;
+    readonly decision: ReconcileDecision;
+    readonly sessionID?: string;
+};
+/**
+ * Título de correlación determinista de la hija del intento `(runID, op,
+ * attempt)`. El runtime lo fija como título de la sub-sesión al crearla, de
+ * modo que un reinicio pueda reencontrar exactamente la misma hija.
+ */
+export declare function correlationTitle(runID: string, operationID: string, attemptID: string): string;
+/**
+ * Reduce las hijas observadas a la evidencia correlacionada del intento. Cero
+ * coincidencias es `none`; exactamente una determina `active`/`completed`;
+ * más de una es `ambiguous` (no se puede adoptar una sola con seguridad).
+ */
+export declare function observeChild(expectedTitle: string, children: readonly ObservedChild[]): ChildObservation;
+/**
+ * Clasifica la ventana de crash de un nodo y decide la acción segura. Un nodo
+ * terminal (recibo ya escrito) es un no-op idempotente; un nodo `pending` no ha
+ * empezado; un nodo `running` se clasifica por la evidencia correlacionada.
+ */
+export declare function reconcileSession(input: ReconcileInput): ReconcileResult;
+//# sourceMappingURL=sessionReconciler.d.ts.map

package/dist/orchestrator/sessionReconciler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sessionReconciler.d.ts","sourceRoot":"","sources":["../../src/orchestrator/sessionReconciler.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD;;;;;;;;;;;;;;;;;GAiBG;AAEH,yDAAyD;AACzD,MAAM,MAAM,gBAAgB,GACxB,aAAa,GACb,QAAQ,GACR,WAAW,GACX,SAAS,CAAC;AAEd,yDAAyD;AACzD,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAExE,uDAAuD;AACvD,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,WAAW,CAAC;AAExD,mEAAmE;AACnE,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,CAAC;AAEF,qEAAqE;AACrE,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,+CAA+C;AAC/C,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;CACxC,CAAC;AAEF,mFAAmF;AACnF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,CAAC;AAIF;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,SAAS,aAAa,EAAE,GACjC,gBAAgB,CAelB;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAiCvE"}