limen-ai 1.0.0

package/dist/orchestration/syscalls/read_artifact.js

@@ -0,0 +1,31 @@
+/**
+ * SC-5: read_artifact -- Reads an artifact with dependency tracking.
+ * S ref: S19, I-23 (dependency tracking), I-03 (atomic audit)
+ *
+ * Phase: 3 (Orchestration)
+ * Delegates to: ArtifactStore.read + ArtifactStore.trackDependency
+ * Side effects: Dependency edge created (I-23), relevanceDecay reset to 0 (S19),
+ *               Event ARTIFACT_READ emitted (local scope) (S19)
+ */
+/** SC-5: read_artifact system call */
+export function readArtifact(deps, ctx, input, artifacts, events, readingMissionId) {
+    const result = artifacts.read(deps, ctx, input);
+    if (!result.ok)
+        return result;
+    const artifact = result.value.artifact;
+    // CQ-04 fix: S19 Side Effect -- "Artifact relevanceDecay reset to 0."
+    deps.conn.run('UPDATE core_artifacts SET relevance_decay = 0 WHERE id = ? AND version = ?', [artifact.id, artifact.version]);
+    // I-23: Track dependency edge if reading mission is specified
+    if (readingMissionId) {
+        const isCrossMission = readingMissionId !== artifact.missionId;
+        artifacts.trackDependency(deps, readingMissionId, artifact.id, artifact.version, isCrossMission);
+    }
+    // CQ-04 fix: S19 Side Effect -- "Event ARTIFACT_READ emitted (local scope)."
+    events.emitLifecycle(deps, 'ARTIFACT_READ', artifact.missionId, {
+        artifactId: artifact.id,
+        version: artifact.version,
+        readingMissionId: readingMissionId ?? null,
+    });
+    return result;
+}
+//# sourceMappingURL=read_artifact.js.map

package/dist/orchestration/syscalls/read_artifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read_artifact.js","sourceRoot":"","sources":["../../../src/orchestration/syscalls/read_artifact.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,sCAAsC;AACtC,MAAM,UAAU,YAAY,CAC1B,IAAuB,EACvB,GAAqB,EACrB,KAAwB,EACxB,SAAwB,EACxB,MAAuB,EACvB,gBAA4B;IAE5B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAE9B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;IAEvC,sEAAsE;IACtE,IAAI,CAAC,IAAI,CAAC,GAAG,CACX,4EAA4E,EAC5E,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAChC,CAAC;IAEF,8DAA8D;IAC9D,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,cAAc,GAAG,gBAAgB,KAAK,QAAQ,CAAC,SAAS,CAAC;QAC/D,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IACnG,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,SAAS,EAAE;QAC9D,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,gBAAgB,EAAE,gBAAgB,IAAI,IAAI;KAC3C,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/orchestration/syscalls/request_budget.d.ts

@@ -0,0 +1,14 @@
+/**
+ * SC-8: request_budget -- Agent requests additional mission resources.
+ * S ref: S22, S11 (Resource), I-17, I-20
+ *
+ * Phase: 3 (Orchestration)
+ * Delegates to: BudgetGovernor.requestFromParent
+ * Side effects: BUDGET_REQUESTED event (propagation: up),
+ *               mission -> BLOCKED if human approval required.
+ */
+import type { Result, OperationContext } from '../../kernel/interfaces/index.js';
+import type { OrchestrationDeps, RequestBudgetInput, RequestBudgetOutput, BudgetGovernor, EventPropagator, MissionStore } from '../interfaces/orchestration.js';
+/** SC-8: request_budget system call */
+export declare function requestBudget(deps: OrchestrationDeps, _ctx: OperationContext, input: RequestBudgetInput, budget: BudgetGovernor, events: EventPropagator, missions: MissionStore): Result<RequestBudgetOutput>;
+//# sourceMappingURL=request_budget.d.ts.map

package/dist/orchestration/syscalls/request_budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request_budget.d.ts","sourceRoot":"","sources":["../../../src/orchestration/syscalls/request_budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EACV,iBAAiB,EAAE,kBAAkB,EAAE,mBAAmB,EAC1D,cAAc,EAAE,eAAe,EAAE,YAAY,EAC9C,MAAM,gCAAgC,CAAC;AAExC,uCAAuC;AACvC,wBAAgB,aAAa,CAC3B,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,kBAAkB,EACzB,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,eAAe,EACvB,QAAQ,EAAE,YAAY,GACrB,MAAM,CAAC,mBAAmB,CAAC,CAyC7B"}

package/dist/orchestration/syscalls/request_budget.js

@@ -0,0 +1,46 @@
+/**
+ * SC-8: request_budget -- Agent requests additional mission resources.
+ * S ref: S22, S11 (Resource), I-17, I-20
+ *
+ * Phase: 3 (Orchestration)
+ * Delegates to: BudgetGovernor.requestFromParent
+ * Side effects: BUDGET_REQUESTED event (propagation: up),
+ *               mission -> BLOCKED if human approval required.
+ */
+/** SC-8: request_budget system call */
+export function requestBudget(deps, _ctx, input, budget, events, missions) {
+    // S22: Justification required
+    if (!input.justification || input.justification.trim().length === 0) {
+        return { ok: false, error: { code: 'JUSTIFICATION_REQUIRED', message: 'Justification must be non-empty', spec: 'S22' } };
+    }
+    // CF-013: Justification max length (10KB)
+    const justificationBytes = Buffer.byteLength(input.justification, 'utf8');
+    if (justificationBytes > 10_240) {
+        return { ok: false, error: { code: 'INVALID_INPUT', message: `Justification exceeds maximum size (${justificationBytes} bytes > 10240 bytes limit)`, spec: 'S22/CF-013' } };
+    }
+    // Determine total token amount requested
+    const tokenAmount = input.amount.tokens ?? 0;
+    // F-002 fix: NaN/Infinity guard (DC-SC8-105) + zero/negative guard (DC-SC8-404)
+    if (!Number.isFinite(tokenAmount) || tokenAmount <= 0) {
+        return { ok: false, error: { code: 'INVALID_INPUT', message: `Token amount must be a finite positive number, got: ${tokenAmount}`, spec: 'S22' } };
+    }
+    const result = budget.requestFromParent(deps, input.missionId, tokenAmount, input.justification);
+    // Emit BUDGET_REQUESTED event (propagation: up) regardless of outcome
+    events.emitLifecycle(deps, 'BUDGET_REQUESTED', input.missionId, {
+        amount: input.amount,
+        justification: input.justification,
+        approved: result.ok ? result.value.approved : false,
+    });
+    if (!result.ok) {
+        // If human approval required, transition mission to BLOCKED
+        if (result.error.code === 'HUMAN_APPROVAL_REQUIRED') {
+            const mission = missions.get(deps, input.missionId);
+            if (mission.ok && mission.value.state === 'EXECUTING') {
+                missions.transition(deps, input.missionId, 'EXECUTING', 'BLOCKED');
+            }
+        }
+        return result;
+    }
+    return result;
+}
+//# sourceMappingURL=request_budget.js.map

package/dist/orchestration/syscalls/request_budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request_budget.js","sourceRoot":"","sources":["../../../src/orchestration/syscalls/request_budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,uCAAuC;AACvC,MAAM,UAAU,aAAa,CAC3B,IAAuB,EACvB,IAAsB,EACtB,KAAyB,EACzB,MAAsB,EACtB,MAAuB,EACvB,QAAsB;IAEtB,8BAA8B;IAC9B,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,iCAAiC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC3H,CAAC;IAED,0CAA0C;IAC1C,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,kBAAkB,GAAG,MAAM,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,uCAAuC,kBAAkB,6BAA6B,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,CAAC;IAC9K,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;IAE7C,gFAAgF;IAChF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,uDAAuD,WAAW,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACrJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAEjG,sEAAsE;IACtE,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,CAAC,SAAS,EAAE;QAC9D,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;KACpD,CAAC,CAAC;IAEH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,4DAA4D;QAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YACpD,IAAI,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBACtD,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/orchestration/syscalls/request_capability.d.ts

@@ -0,0 +1,13 @@
+/**
+ * SC-7: request_capability -- Executes a capability in sandbox.
+ * S ref: S21, I-12 (sandboxing), I-22 (capability immutability)
+ *
+ * Phase: 3 (Orchestration)
+ * Validates capability is in mission set, budget available,
+ * then delegates to substrate capability adapter.
+ */
+import type { Result, OperationContext } from '../../kernel/interfaces/index.js';
+import type { OrchestrationDeps, RequestCapabilityInput, RequestCapabilityOutput, BudgetGovernor } from '../interfaces/orchestration.js';
+/** SC-7: request_capability system call */
+export declare function requestCapability(deps: OrchestrationDeps, ctx: OperationContext, input: RequestCapabilityInput, budget: BudgetGovernor): Result<RequestCapabilityOutput>;
+//# sourceMappingURL=request_capability.d.ts.map

package/dist/orchestration/syscalls/request_capability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request_capability.d.ts","sourceRoot":"","sources":["../../../src/orchestration/syscalls/request_capability.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EACV,iBAAiB,EAAE,sBAAsB,EAAE,uBAAuB,EAClE,cAAc,EACf,MAAM,gCAAgC,CAAC;AAGxC,2CAA2C;AAC3C,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,iBAAiB,EACvB,GAAG,EAAE,gBAAgB,EACrB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,EAAE,cAAc,GACrB,MAAM,CAAC,uBAAuB,CAAC,CA2IjC"}

package/dist/orchestration/syscalls/request_capability.js

@@ -0,0 +1,136 @@
+/**
+ * SC-7: request_capability -- Executes a capability in sandbox.
+ * S ref: S21, I-12 (sandboxing), I-22 (capability immutability)
+ *
+ * Phase: 3 (Orchestration)
+ * Validates capability is in mission set, budget available,
+ * then delegates to substrate capability adapter.
+ */
+import { join } from 'node:path';
+import { createHash } from 'node:crypto';
+/** SC-7: request_capability system call */
+export function requestCapability(deps, ctx, input, budget) {
+    // CQ-11: S21 RATE_LIMITED -- capability rate limiting is enforced at the substrate
+    // adapter level via budget consumption. The RATE_LIMITED error from substrate
+    // would surface through the error mapping below. No separate application-level
+    // rate limiter is needed because budget consumption provides natural throttling.
+    // I-22: Verify capability is in mission's capability set
+    const mission = deps.conn.get('SELECT capabilities FROM core_missions WHERE id = ?', [input.missionId]);
+    if (!mission) {
+        return { ok: false, error: { code: 'CAPABILITY_DENIED', message: `Mission ${input.missionId} not found`, spec: 'S21' } };
+    }
+    const missionCaps = new Set(JSON.parse(mission.capabilities));
+    if (!missionCaps.has(input.capabilityType)) {
+        return { ok: false, error: { code: 'CAPABILITY_DENIED', message: `Capability '${input.capabilityType}' not in mission set`, spec: 'S21' } };
+    }
+    // Budget check: estimate some cost for capability execution
+    const estimatedCost = 100; // baseline per-capability cost
+    const budgetCheck = budget.checkBudget(deps, input.missionId, estimatedCost);
+    if (!budgetCheck.ok)
+        return { ok: false, error: budgetCheck.error };
+    if (!budgetCheck.value) {
+        return { ok: false, error: { code: 'BUDGET_EXCEEDED', message: 'Insufficient budget for capability execution', spec: 'S21' } };
+    }
+    // Execute via substrate capability adapter
+    const capResult = deps.substrate.adapters.execute(deps.conn, ctx, {
+        type: input.capabilityType,
+        params: input.parameters,
+        missionId: input.missionId,
+        taskId: input.taskId,
+        // CF-020: Workspace under dataDir, scoped per mission/task (I-07, I-12)
+        workspaceDir: join(deps.conn.dataDir, 'workspaces', String(input.missionId), String(input.taskId ?? 'default')),
+        timeoutMs: 30000,
+    });
+    if (!capResult.ok) {
+        // Map substrate errors to SC-7 errors
+        if (capResult.error.code === 'SANDBOX_VIOLATION' || capResult.error.code === 'CAPABILITY_NOT_FOUND') {
+            return { ok: false, error: { code: 'SANDBOX_VIOLATION', message: capResult.error.message, spec: 'S21' } };
+        }
+        return { ok: false, error: { code: 'TIMEOUT', message: capResult.error.message, spec: 'S21' } };
+    }
+    // F-001 fix: NaN/Infinity guard on resourcesConsumed (DC-SC7-106)
+    const consumed = capResult.value.resourcesConsumed;
+    if (!Number.isFinite(consumed.tokensUsed) || !Number.isFinite(consumed.wallClockMs) || !Number.isFinite(consumed.bytesWritten)) {
+        return { ok: false, error: { code: 'BUDGET_EXCEEDED', message: 'Substrate returned non-finite resource consumption values', spec: 'S21' } };
+    }
+    if (consumed.tokensUsed < 0 || consumed.wallClockMs < 0 || consumed.bytesWritten < 0) {
+        return { ok: false, error: { code: 'BUDGET_EXCEEDED', message: 'Substrate returned negative resource consumption values', spec: 'S21' } };
+    }
+    // F-014 fix: Check consume() return value (DC-SC7-203/DC-SC7-B02)
+    const consumeResult = budget.consume(deps, input.missionId, {
+        tokens: consumed.tokensUsed,
+        compute: Math.floor(consumed.wallClockMs / 1000),
+        storage: consumed.bytesWritten,
+    });
+    if (!consumeResult.ok) {
+        return { ok: false, error: { code: 'BUDGET_EXCEEDED', message: consumeResult.error.message, spec: 'S21' } };
+    }
+    // Sprint 1, CCP-02: Persist capability result for evidence chain.
+    // Only persist on successful execution. INSERT into core_capability_results.
+    // Failure to persist is non-fatal — the result is still returned to the caller.
+    // The persisted result can be referenced as evidence in claim assertions.
+    try {
+        const resultId = crypto.randomUUID();
+        const resultJson = JSON.stringify(capResult.value.result);
+        const parametersHash = createHash('sha256')
+            .update(JSON.stringify(input.parameters))
+            .digest('hex');
+        const now = deps.time?.nowISO?.() ?? new Date().toISOString();
+        // Resolve tenant_id from mission for tenant isolation
+        const missionRow = deps.conn.get('SELECT tenant_id FROM core_missions WHERE id = ?', [input.missionId]);
+        deps.conn.run(`INSERT INTO core_capability_results (id, tenant_id, mission_id, task_id, capability_type, parameters_hash, result_json, result_size, tokens_consumed, time_consumed_ms, compute_consumed, storage_consumed, created_at)
+       VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`, [
+            resultId,
+            missionRow?.tenant_id ?? null,
+            input.missionId,
+            input.taskId ?? null,
+            input.capabilityType,
+            parametersHash,
+            resultJson,
+            Buffer.byteLength(resultJson, 'utf-8'),
+            consumed.tokensUsed,
+            consumed.wallClockMs,
+            Math.floor(consumed.wallClockMs / 1000),
+            consumed.bytesWritten,
+            now,
+        ]);
+    }
+    catch (persistErr) {
+        // CCP-02: Persistence failure is non-fatal (F-S1-003). The capability executed
+        // successfully and budget was consumed. The result is returned regardless.
+        // Evidence for this result will be unavailable in the claim system.
+        // However, the failure MUST be observable via audit trail.
+        try {
+            deps.audit.append(deps.conn, {
+                tenantId: ctx.tenantId,
+                actorType: ctx.agentId ? 'agent' : 'system',
+                actorId: ctx.agentId ?? 'system',
+                operation: 'capability_result_persistence_failed',
+                resourceType: 'capability_result',
+                resourceId: input.missionId,
+                detail: {
+                    capabilityType: input.capabilityType,
+                    taskId: input.taskId ?? null,
+                    error: persistErr instanceof Error ? persistErr.message : String(persistErr),
+                },
+            });
+        }
+        catch {
+            // Audit append itself failed — nothing more we can do without
+            // introducing a circular failure. The capability result is still returned.
+        }
+    }
+    return {
+        ok: true,
+        value: {
+            result: capResult.value.result,
+            resourcesConsumed: {
+                tokens: consumed.tokensUsed,
+                time: consumed.wallClockMs,
+                compute: Math.floor(consumed.wallClockMs / 1000),
+                storage: consumed.bytesWritten,
+            },
+        },
+    };
+}
+//# sourceMappingURL=request_capability.js.map

package/dist/orchestration/syscalls/request_capability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request_capability.js","sourceRoot":"","sources":["../../../src/orchestration/syscalls/request_capability.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,2CAA2C;AAC3C,MAAM,UAAU,iBAAiB,CAC/B,IAAuB,EACvB,GAAqB,EACrB,KAA6B,EAC7B,MAAsB;IAEtB,mFAAmF;IACnF,8EAA8E;IAC9E,+EAA+E;IAC/E,iFAAiF;IAEjF,yDAAyD;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3B,qDAAqD,EACrD,CAAC,KAAK,CAAC,SAAS,CAAC,CAClB,CAAC;IACF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,WAAW,KAAK,CAAC,SAAS,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC3H,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAa,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,eAAe,KAAK,CAAC,cAAc,sBAAsB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC9I,CAAC;IAED,4DAA4D;IAC5D,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,+BAA+B;IAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC7E,IAAI,CAAC,WAAW,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;IACpE,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,8CAA8C,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACjI,CAAC;IAED,2CAA2C;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE;QAChE,IAAI,EAAE,KAAK,CAAC,cAAgC;QAC5C,MAAM,EAAE,KAAK,CAAC,UAAU;QACxB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,wEAAwE;QACxE,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC;QAC/G,SAAS,EAAE,KAAK;KACjB,CAAC,CAAC;IAEH,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,sCAAsC;QACtC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,mBAAmB,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACpG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5G,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAClG,CAAC;IAED,kEAAkE;IAClE,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/H,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,2DAA2D,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC9I,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,IAAI,QAAQ,CAAC,WAAW,GAAG,CAAC,IAAI,QAAQ,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,yDAAyD,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC5I,CAAC;IAED,kEAAkE;IAClE,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE;QAC1D,MAAM,EAAE,QAAQ,CAAC,UAAU;QAC3B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC;QAChD,OAAO,EAAE,QAAQ,CAAC,YAAY;KAC/B,CAAC,CAAC;IACH,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC9G,CAAC;IAED,kEAAkE;IAClE,6EAA6E;IAC7E,gFAAgF;IAChF,0EAA0E;IAC1E,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,cAAc,GAAG,UAAU,CAAC,QAAQ,CAAC;aACxC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;aACxC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE9D,sDAAsD;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9B,kDAAkD,EAClD,CAAC,KAAK,CAAC,SAAS,CAAC,CAClB,CAAC;QAEF,IAAI,CAAC,IAAI,CAAC,GAAG,CACX;sDACgD,EAChD;YACE,QAAQ;YACR,UAAU,EAAE,SAAS,IAAI,IAAI;YAC7B,KAAK,CAAC,SAAS;YACf,KAAK,CAAC,MAAM,IAAI,IAAI;YACpB,KAAK,CAAC,cAAc;YACpB,cAAc;YACd,UAAU;YACV,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC;YACtC,QAAQ,CAAC,UAAU;YACnB,QAAQ,CAAC,WAAW;YACpB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC;YACvC,QAAQ,CAAC,YAAY;YACrB,GAAG;SACJ,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,UAAU,EAAE,CAAC;QACpB,+EAA+E;QAC/E,2EAA2E;QAC3E,oEAAoE;QACpE,2DAA2D;QAC3D,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC3B,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ;gBAC3C,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,QAAQ;gBAChC,SAAS,EAAE,sCAAsC;gBACjD,YAAY,EAAE,mBAAmB;gBACjC,UAAU,EAAE,KAAK,CAAC,SAAS;gBAC3B,MAAM,EAAE;oBACN,cAAc,EAAE,KAAK,CAAC,cAAc;oBACpC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;oBAC5B,KAAK,EAAE,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;iBAC7E;aACF,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,8DAA8D;YAC9D,2EAA2E;QAC7E,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM;YAC9B,iBAAiB,EAAE;gBACjB,MAAM,EAAE,QAAQ,CAAC,UAAU;gBAC3B,IAAI,EAAE,QAAQ,CAAC,WAAW;gBAC1B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC;gBAChD,OAAO,EAAE,QAAQ,CAAC,YAAY;aAC/B;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/orchestration/syscalls/respond_checkpoint.d.ts

@@ -0,0 +1,12 @@
+/**
+ * SC-10: respond_checkpoint -- Agent responds to system-initiated checkpoint.
+ * S ref: S24, I-17 (governance boundary), I-24 (goal anchoring), I-25 (replay)
+ *
+ * Phase: 3 (Orchestration)
+ * Delegates to: CheckpointCoordinator.processResponse
+ */
+import type { Result, OperationContext } from '../../kernel/interfaces/index.js';
+import type { OrchestrationDeps, RespondCheckpointInput, RespondCheckpointOutput, CheckpointCoordinator } from '../interfaces/orchestration.js';
+/** SC-10: respond_checkpoint system call */
+export declare function respondCheckpoint(deps: OrchestrationDeps, _ctx: OperationContext, input: RespondCheckpointInput, checkpoints: CheckpointCoordinator): Result<RespondCheckpointOutput>;
+//# sourceMappingURL=respond_checkpoint.d.ts.map

package/dist/orchestration/syscalls/respond_checkpoint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"respond_checkpoint.d.ts","sourceRoot":"","sources":["../../../src/orchestration/syscalls/respond_checkpoint.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EACV,iBAAiB,EAAE,sBAAsB,EAAE,uBAAuB,EAClE,qBAAqB,EACtB,MAAM,gCAAgC,CAAC;AAExC,4CAA4C;AAC5C,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,sBAAsB,EAC7B,WAAW,EAAE,qBAAqB,GACjC,MAAM,CAAC,uBAAuB,CAAC,CAEjC"}

package/dist/orchestration/syscalls/respond_checkpoint.js

@@ -0,0 +1,12 @@
+/**
+ * SC-10: respond_checkpoint -- Agent responds to system-initiated checkpoint.
+ * S ref: S24, I-17 (governance boundary), I-24 (goal anchoring), I-25 (replay)
+ *
+ * Phase: 3 (Orchestration)
+ * Delegates to: CheckpointCoordinator.processResponse
+ */
+/** SC-10: respond_checkpoint system call */
+export function respondCheckpoint(deps, _ctx, input, checkpoints) {
+    return checkpoints.processResponse(deps, input);
+}
+//# sourceMappingURL=respond_checkpoint.js.map

package/dist/orchestration/syscalls/respond_checkpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"respond_checkpoint.js","sourceRoot":"","sources":["../../../src/orchestration/syscalls/respond_checkpoint.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,4CAA4C;AAC5C,MAAM,UAAU,iBAAiB,CAC/B,IAAuB,EACvB,IAAsB,EACtB,KAA6B,EAC7B,WAAkC;IAElC,OAAO,WAAW,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAClD,CAAC"}

package/dist/orchestration/syscalls/submit_result.d.ts

@@ -0,0 +1,15 @@
+/**
+ * SC-9: submit_result -- Completes a mission with result.
+ * S ref: S23, S6 (Mission lifecycle), I-03, I-17, I-18, I-21, I-25
+ *
+ * Phase: 3 (Orchestration)
+ * Side effects: Mission -> COMPLETED, MissionResult created (immutable),
+ *               child result propagated UP, subtree compaction (I-21),
+ *               resources finalized, MISSION_COMPLETED event (up),
+ *               audit entry with full result.
+ */
+import type { Result, OperationContext } from '../../kernel/interfaces/index.js';
+import type { OrchestrationDeps, SubmitResultInput, SubmitResultOutput, MissionStore, EventPropagator, CompactionEngine } from '../interfaces/orchestration.js';
+/** SC-9: submit_result system call */
+export declare function submitResult(deps: OrchestrationDeps, ctx: OperationContext, input: SubmitResultInput, missions: MissionStore, events: EventPropagator, compaction: CompactionEngine): Result<SubmitResultOutput>;
+//# sourceMappingURL=submit_result.d.ts.map

package/dist/orchestration/syscalls/submit_result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit_result.d.ts","sourceRoot":"","sources":["../../../src/orchestration/syscalls/submit_result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EACV,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB,EACxD,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAChD,MAAM,gCAAgC,CAAC;AAGxC,sCAAsC;AACtC,wBAAgB,YAAY,CAC1B,IAAI,EAAE,iBAAiB,EACvB,GAAG,EAAE,gBAAgB,EACrB,KAAK,EAAE,iBAAiB,EACxB,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,eAAe,EACvB,UAAU,EAAE,gBAAgB,GAC3B,MAAM,CAAC,kBAAkB,CAAC,CA2G5B"}

package/dist/orchestration/syscalls/submit_result.js

@@ -0,0 +1,97 @@
+/**
+ * SC-9: submit_result -- Completes a mission with result.
+ * S ref: S23, S6 (Mission lifecycle), I-03, I-17, I-18, I-21, I-25
+ *
+ * Phase: 3 (Orchestration)
+ * Side effects: Mission -> COMPLETED, MissionResult created (immutable),
+ *               child result propagated UP, subtree compaction (I-21),
+ *               resources finalized, MISSION_COMPLETED event (up),
+ *               audit entry with full result.
+ */
+import { generateId } from '../interfaces/orchestration.js';
+/** SC-9: submit_result system call */
+export function submitResult(deps, ctx, input, missions, events, compaction) {
+    // Verify mission exists and is active
+    const missionResult = missions.get(deps, input.missionId);
+    if (!missionResult.ok) {
+        return { ok: false, error: { code: 'MISSION_NOT_ACTIVE', message: missionResult.error.message, spec: 'S23' } };
+    }
+    const mission = missionResult.value;
+    // Ruling 1: Only REVIEWING → COMPLETED is valid per §6 MISSION_TRANSITIONS
+    if (mission.state !== 'REVIEWING') {
+        return { ok: false, error: { code: 'MISSION_NOT_ACTIVE', message: `Mission must be in REVIEWING state to submit result, currently: ${mission.state}`, spec: 'S23/S6' } };
+    }
+    // S23: NO_ARTIFACTS -- at least one artifact required
+    if (input.artifactIds.length === 0) {
+        return { ok: false, error: { code: 'NO_ARTIFACTS', message: 'No deliverable artifacts specified', spec: 'S23' } };
+    }
+    // Ruling 2 (BD-SC9-001): Taskless missions NOT completable
+    const graph = deps.conn.get('SELECT id FROM core_task_graphs WHERE mission_id = ? AND is_active = 1', [input.missionId]);
+    if (!graph) {
+        return { ok: false, error: { code: 'TASKS_INCOMPLETE', message: 'No task graph — mission has no work to complete', spec: 'S23' } };
+    }
+    // Ruling 4 (BD-SC9-003): §23 completion set is {COMPLETED, CANCELLED} — FAILED excluded
+    const incompleteTasks = deps.conn.query(`SELECT id, state FROM core_tasks WHERE graph_id = ? AND state NOT IN ('COMPLETED', 'CANCELLED')`, [graph.id]);
+    if (incompleteTasks.length > 0) {
+        return { ok: false, error: { code: 'TASKS_INCOMPLETE', message: `${incompleteTasks.length} tasks not in completion set (COMPLETED/CANCELLED)`, spec: 'S23' } };
+    }
+    // F-003 fix: NaN/Infinity guard (DC-SC9-106) + range validation
+    if (!Number.isFinite(input.confidence)) {
+        return { ok: false, error: { code: 'INVALID_INPUT', message: `Confidence must be a finite number, got: ${input.confidence}`, spec: 'S23' } };
+    }
+    if (input.confidence < 0.0 || input.confidence > 1.0) {
+        return { ok: false, error: { code: 'INVALID_INPUT', message: `Confidence ${input.confidence} must be in [0.0, 1.0]`, spec: 'S23' } };
+    }
+    const resultId = generateId();
+    const now = deps.time.nowISO();
+    deps.conn.transaction(() => {
+        // Create MissionResult (immutable)
+        deps.conn.run(`INSERT INTO core_mission_results (mission_id, tenant_id, summary, confidence, artifact_ids, unresolved_questions, followup_recommendations, created_at)
+       VALUES (?, ?, ?, ?, ?, ?, ?, ?)`, [
+            input.missionId,
+            ctx.tenantId,
+            input.summary,
+            input.confidence,
+            JSON.stringify(input.artifactIds),
+            JSON.stringify(input.unresolvedQuestions),
+            JSON.stringify(input.followupRecommendations),
+            now,
+        ]);
+        // F-009/F-010 fix: State-guarded transition (no raw SQL bypass, TOCTOU protected)
+        const updateResult = deps.conn.run(`UPDATE core_missions SET state = 'COMPLETED', updated_at = ?, completed_at = ? WHERE id = ? AND state = 'REVIEWING'`, [now, now, input.missionId]);
+        if (updateResult.changes === 0) {
+            throw new Error(`TOCTOU: Mission ${input.missionId} state changed from REVIEWING during transaction`);
+        }
+        // I-03: Audit entry with full result
+        deps.audit.append(deps.conn, {
+            tenantId: ctx.tenantId,
+            actorType: ctx.userId ? 'user' : 'agent',
+            actorId: (ctx.userId ?? ctx.agentId ?? 'system'),
+            operation: 'submit_result',
+            resourceType: 'mission_result',
+            resourceId: resultId,
+            detail: {
+                missionId: input.missionId,
+                summary: input.summary,
+                confidence: input.confidence,
+                artifactCount: input.artifactIds.length,
+            },
+        });
+        // F-17 fix: Lifecycle event inside transaction (I-25 deterministic replay)
+        events.emitLifecycle(deps, 'MISSION_COMPLETED', input.missionId, {
+            resultId,
+            confidence: input.confidence,
+            parentMissionId: mission.parentId,
+        });
+        // F-17 fix: I-21 eager compaction IN THE SAME TRANSACTION (SD-20)
+        compaction.compactSubtree(deps, input.missionId);
+    });
+    return {
+        ok: true,
+        value: {
+            resultId,
+            missionState: 'COMPLETED',
+        },
+    };
+}
+//# sourceMappingURL=submit_result.js.map

package/dist/orchestration/syscalls/submit_result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit_result.js","sourceRoot":"","sources":["../../../src/orchestration/syscalls/submit_result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAOH,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAE5D,sCAAsC;AACtC,MAAM,UAAU,YAAY,CAC1B,IAAuB,EACvB,GAAqB,EACrB,KAAwB,EACxB,QAAsB,EACtB,MAAuB,EACvB,UAA4B;IAE5B,sCAAsC;IACtC,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACjH,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC;IAEpC,2EAA2E;IAC3E,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,mEAAmE,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC3K,CAAC;IAED,sDAAsD;IACtD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oCAAoC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACpH,CAAC;IAED,2DAA2D;IAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CACzB,wEAAwE,EACxE,CAAC,KAAK,CAAC,SAAS,CAAC,CAClB,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,iDAAiD,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACrI,CAAC;IAED,wFAAwF;IACxF,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CACrC,iGAAiG,EACjG,CAAC,KAAK,CAAC,EAAE,CAAC,CACX,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,oDAAoD,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACjK,CAAC;IAED,gEAAgE;IAChE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,4CAA4C,KAAK,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IAC/I,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,GAAG,GAAG,IAAI,KAAK,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;QACrD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,cAAc,KAAK,CAAC,UAAU,wBAAwB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;IACvI,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAE/B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;QACzB,mCAAmC;QACnC,IAAI,CAAC,IAAI,CAAC,GAAG,CACX;uCACiC,EACjC;YACE,KAAK,CAAC,SAAS;YACf,GAAG,CAAC,QAAQ;YACZ,KAAK,CAAC,OAAO;YACb,KAAK,CAAC,UAAU;YAChB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC;YACjC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC;YACzC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,uBAAuB,CAAC;YAC7C,GAAG;SACJ,CACF,CAAC;QAEF,kFAAkF;QAClF,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAChC,qHAAqH,EACrH,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,CAC5B,CAAC;QACF,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,SAAS,kDAAkD,CAAC,CAAC;QACxG,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;YAC3B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;YACxC,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAW;YAC1D,SAAS,EAAE,eAAe;YAC1B,YAAY,EAAE,gBAAgB;YAC9B,UAAU,EAAE,QAAQ;YACpB,MAAM,EAAE;gBACN,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;aACxC;SACF,CAAC,CAAC;QAEH,2EAA2E;QAC3E,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,CAAC,SAAS,EAAE;YAC/D,QAAQ;YACR,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,eAAe,EAAE,OAAO,CAAC,QAAQ;SAClC,CAAC,CAAC;QAEH,kEAAkE;QAClE,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,QAAQ;YACR,YAAY,EAAE,WAAW;SAC1B;KACF,CAAC;AACJ,CAAC"}

package/dist/orchestration/tasks/task_graph.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Task Graph Engine -- DAG validation with Kahn's algorithm.
+ * S ref: S16 (propose_task_graph), S7 (Task lifecycle), I-20 (task limits),
+ *        I-24 (goal anchoring -- objectiveAlignment required)
+ *
+ * Phase: 3 (Orchestration)
+ * Implements: Graph validation (acyclicity via Kahn's), task creation,
+ *             plan versioning, capability validation.
+ *
+ * SD-14: Kahn's algorithm chosen for O(V+E) acyclicity proof + topological
+ *        ordering as byproduct. Both Alpha and Bravo converged on this.
+ */
+import type { TaskId } from '../../kernel/interfaces/index.js';
+import type { TaskGraphEngine, TaskDefinition, TaskDependency } from '../interfaces/orchestration.js';
+/**
+ * SD-14: Kahn's algorithm for DAG acyclicity verification.
+ * Returns topological order if DAG, null if cycle detected.
+ * O(V+E) time complexity.
+ */
+export declare function kahnsAlgorithm(tasks: TaskDefinition[], dependencies: TaskDependency[]): TaskId[] | null;
+/**
+ * S16: Create the task graph engine module.
+ * Factory function returns frozen object per C-07.
+ */
+export declare function createTaskGraphEngine(): TaskGraphEngine;
+//# sourceMappingURL=task_graph.d.ts.map

package/dist/orchestration/tasks/task_graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task_graph.d.ts","sourceRoot":"","sources":["../../../src/orchestration/tasks/task_graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAA4B,MAAM,EAAY,MAAM,kCAAkC,CAAC;AACnG,OAAO,KAAK,EACS,eAAe,EACa,cAAc,EAAE,cAAc,EAC9E,MAAM,gCAAgC,CAAC;AAIxC;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,cAAc,EAAE,EACvB,YAAY,EAAE,cAAc,EAAE,GAC7B,MAAM,EAAE,GAAG,IAAI,CAoDjB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,IAAI,eAAe,CA6LvD"}