open-multi-agent-kit 0.98.5 → 1.0.0

package/docs/verified-run-testing.md

@@ -415,3 +415,94 @@ CLI 223 pure LOC는 경고 구간이므로 다음 확장 시 분할을 검토해
 미완료: 병렬 eager frontier, verification-conditioned edge, 겹치는 쓰기 범위, 계획 amendment와
 변경된 계약의 결과 adoption, 실서비스 모델, M2의 미기록 input/process crash window, M4 전체
 제어·적용 표면입니다. S90 점수·경쟁 우위·성능 개선량은 측정하거나 부여하지 않았습니다.
+
+## 6차: 최대 2개 작업의 eager frontier
+
+5차 변경은 사용자 승인 뒤 `cabbb38389`로 커밋했습니다. 지정 40개 경로만 포함했고,
+추가 집중 검사 41개와 pre-commit 전체 검사를 통과했습니다. 푸시는 수행하지 않았습니다.
+이후의 시작 리소스 표시 수정과 frontier는 서로 다른 검토 단위로 유지했습니다.
+
+### 구현과 RED/GREEN
+
+- `writer.maxConcurrentTasks`의 1·2 입력은 RED에서 둘 다 거부됐습니다. optional 필드를
+  추가한 뒤 protocol 103개가 통과했습니다. 생략된 값은 덧붙이지 않아 예전 계약 digest와
+  기본 직렬 동작을 보존합니다. 0·3·비정수·명시적 undefined·getter는 거부합니다.
+- AST 검색으로 `activeExecutionIds[0]` 가정 2개를 찾았습니다. process reducer를 분리하고
+  task/attempt와 execution ID를 연결해 준비·종료 관측을 정확한 작업에 귀속시켰습니다.
+  성공 checkpoint에는 새 in-flight 필드를 넣지 않아 예전 adoption 형식을 유지합니다.
+- 실제 A/B namespace에 제어용 파일 gate를 둔 테스트는 직렬 실행에서 RED였습니다.
+  B가 시작해야 A가 끝나고, A의 후속 C가 끝나야 B가 끝나는 조건이므로 wave barrier도 통과할
+  수 없습니다. eager frontier 적용 뒤 최대 active ID가 2이고 C 시작이 B 종료보다 앞섰습니다.
+- 두 namespace가 준비된 뒤 취소하는 테스트도 RED에서 두 작업을 관측하지 못했습니다.
+  GREEN에서는 두 owned 작업을 회수한 후에만 settled로 반환합니다.
+- 치명적 오류의 첫 원인을 보존하고 모든 시작된 promise에 취소를 전달한 뒤 기다립니다.
+  공통 원장 기록 실패를 성공이나 부분 산출물로 덮지 않습니다.
+
+### 새 실패 주입
+
+| 보장 | 테스트 |
+| --- | --- |
+| 느린 독립 작업을 기다리지 않는 의존성 해제, 최대 2개 실제 namespace | `verified-run-dag-frontier.test.ts` |
+| 병렬 취소 뒤 모든 owned ID 정산 | `verified-run-dag-frontier.test.ts` |
+| 먼저 끝난 형제가 다른 작업의 실패를 지우지 않음, 실패 branch만 retry | `verified-run-dag-parallel-safety.test.ts` |
+| 두 번째 process-ready의 fsync 실패, 기록 가시성 true/false 모두에서 두 namespace 종료 | `verified-run-dag-parallel-safety.test.ts` |
+| task ID 없는 예전 직렬 원장·adoption 읽기, 무수정 보존 | `verified-run-dag-parallel-safety.test.ts` |
+| 병렬 계약의 모호한 task-less dispatch 차단 | `verified-run-dag-parallel-safety.test.ts` |
+| 두 writer가 실제 실행 중인 supervisor SIGKILL → CLI에서 두 작업만 새 시도로 복구 | `verified-run-dag-parallel-cli.test.ts` |
+
+### 최종 검사
+
+5차의 coding-agent base 19개 파일과 `test/verified-run-dag*.test.ts` 전체에 아래 UI 회귀를
+추가해 `--maxWorkers=2`로 실행했습니다. UI의 별도 RED/GREEN·tmux 대조는
+`startup-resource-labels-testing.md`에 기록했습니다.
+
+```text
+ test/interactive-mode-resource-description.test.ts
+ test/interactive-mode-startup-input.test.ts
+ test/cli-resource-paths.test.ts
+ test/resource-loader.test.ts
+```
+
+V8 coverage는 다음 파일들을 명시적으로 포함해 측정했습니다. 다른 모듈의 전체 coverage가 아닙니다.
+
+```text
+ src/core/verified-run/dag-phase.ts
+ src/core/verified-run/dag-projection.ts
+ src/core/verified-run/process-projection.ts
+ src/core/verified-run/task-execution.ts
+ src/core/verified-run/owned-execution.ts
+ src/core/verified-run/writer-projection.ts
+ src/core/verified-run/projection.ts
+ src/modes/interactive/resource-description.ts
+```
+
+protocol은 5차와 같은 7개 테스트 파일을 실행하고 `src/run-dag.ts`를 coverage 대상으로 삼았습니다.
+실제 사용한 공통 flag는 `--coverage --coverage.provider=v8 --coverage.reporter=text
+--coverage.reporter=json-summary`이며 각 대상은 `--coverage.include=경로`로 지정했습니다.
+
+| 검사 | 결과 |
+| --- | --- |
+| coding-agent | 33개 파일, 309개 통과, exit 0 |
+| protocol | 7개 파일, 103개 통과, exit 0 |
+| 전체 관련 회귀 합계 | 412개 통과. UI 기존 회귀를 포함하며 신규 테스트 개수를 뜻하지 않음 |
+| 지정 backend 실행/상태 모듈 | lines 96.86%, branches 85.17%, functions 100% |
+| 리소스 표시 formatter | lines 100%, branches 87.5%, functions 100% |
+| protocol DAG 모듈 | lines 100%, branches 94.54%, functions 100% |
+| `tsgo --noEmit`, `npm run check` | exit 0, baseline·의존성 변경 없음 |
+| primary LSP | 마지막 대상 12개 파일 모두 clean, 미확인 0 |
+| lens 전체 error 조회 | blocking error 없음 |
+
+자가 검토: shared writer 성공 플래그가 task별 실패를 덮지 않고, 단일 owner의 동기 원장 경계에서
+슬롯을 예약합니다. 오래된 callback, 추가 dispatch, 불완전한 회수는 완료 근거가 될 수 없습니다.
+최종 verifier는 모든 작업이 고정된 뒤 동일 candidate에서 실행합니다. 첫 실패가 나도 나머지
+promise를 버리지 않습니다. 기존 프로세스 상태를 책임별로 분리했고, 새로운 dependency나 별도
+모델/worker 엔진을 추가하지 않았습니다.
+
+frontier 제안 메시지: `feat(runtime): 최대 2개 작업의 eager frontier 연결`.
+UI 제안 메시지: `fix(tui): 외부 하네스 태그를 리소스 설명으로 구분`.
+이 두 후속 단위는 아직 commit/push하지 않았습니다. 설치된 dist의 빌드·재시작도 별도입니다.
+임시 TUI·home·capture 산출물은 정리하며 원래의 사용자 설정과 다른 미커밋 변경은 보존합니다.
+
+미검증/미구현: live model 품질, 경쟁 하네스 대비 승률·성능, verification-conditioned edge,
+계획 amendment와 변경 계약의 adoption, M4 전체 제어/적용, 완전한 OS 자원 한도입니다.
+이 테스트의 gate 순서를 실제 경쟁 성능 개선률이나 S90 점수로 환산하지 않았습니다.

package/docs/verified-run.md

@@ -2,14 +2,15 @@
 
 세 opt-in profile을 제공합니다. `linux-command-v1`은 승인된 명령 하나를,
 `linux-scripted-agent-v1`은 실제 `AgentSession`과 내장 Faux adapter로 승인된 단계를,
-`linux-command-dag-v1`은 입력 의존성이 있는 명령 작업들을 직렬로 실행합니다. 명령은 격리된 복사본에서 실행하고, 고정한 산출물을 외부 검사로 확인한
+`linux-command-dag-v1`은 입력 의존성이 있는 명령 작업들을 기본 직렬로 실행하며,
+명시적 설정으로 최대 2개 작업의 동시 실행을 지원합니다. 명령은 격리된 복사본에서 실행하고, 고정한 산출물을 외부 검사로 확인한
 뒤 회수합니다. 일반 세션과 기존 bash receipt의 동작은 바꾸지 않습니다.
 
 **S90 전체 구현이나 M1–M4 완료를 의미하지 않습니다.** M1의 무과금 reference
 경로와 native EvidenceReceipt v3 연결에 이어, M2의 **고정 candidate 이후 복구**를
 지원합니다. 불변 입력이 저장된 새 run은 중단된 writer도 명시적으로 재시작할 수 있습니다.
-M3의 정적 DAG·부분 재시도 경로도 제공합니다. 병렬 frontier·계획 변경,
-실서비스 모델 adapter, TUI/RPC, 적용 승인은 아직 없습니다.
+M3의 정적 DAG·부분 재시도와 최대 2개 작업의 eager frontier를 제공합니다.
+계획 변경, 실서비스 모델 adapter, TUI/RPC, 적용 승인은 아직 없습니다.
 
 ## 실행 경로
 
@@ -123,8 +124,9 @@ port를 주입하는 SDK host는 같은 신뢰 경계를 책임집니다.
 
 ## 정적 명령 DAG와 선택적 재시도
 
-`linux-command-dag-v1`은 1–16개 작업을 **한 번에 하나씩** 실행합니다. 계약의 `writer`는
-`kind: "command-dag"`와 `tasks`를 가집니다. 각 작업은 `id`, `dependsOn`, `writablePaths`,
+`linux-command-dag-v1`은 1–16개 작업을 실행합니다. 계약의 `writer`는
+`kind: "command-dag"`와 `tasks`를 가지며, `maxConcurrentTasks`는 생략·1 또는 2입니다.
+기본값은 직렬입니다. 생략된 필드를 parser가 덧붙이지 않아 기존 계약 digest를 보존합니다. 각 작업은 `id`, `dependsOn`, `writablePaths`,
 `attempts`를 명시합니다. `attempts`는 미리 승인한 명령 1–2개이며 자동 생성되는 수리 명령이
 아닙니다. 알려진 실패 후의 다음 시도는 명시적 `retry-tasks` 승인으로만 실행합니다.
 
@@ -187,9 +189,27 @@ candidate가 이미 고정됐다면 `retry-tasks`가 아니라 기존 `resume`
 깨진 checkpoint·원장·key, 예산 만료·reboot는 기존 fail-closed 경계를 유지합니다.
 일부 작업 명령의 실패(`paused`)와 run의 terminal 실패(`failed`)는 서로 다릅니다.
 
-이 단계는 command-only·직렬·artifact 의존성 경로입니다. eager 병렬 frontier,
-`after_verification` edge, 실서비스 모델, arbitrary repair, 계획 amendment/adoption은 지원하지 않습니다.
-동일한 계약의 성공 출력 재사용을 일반적인 계획 변경 후 재사용으로 해석하지 마십시오.
+### 최대 2개 작업의 eager frontier
+
+`writer.maxConcurrentTasks: 2`를 계약에 넣고 바뀐 digest를 승인하면, 준비된 작업을 두 개까지
+시작합니다. `A → C`와 독립적인 B가 있으면 A의 출력 checkpoint가 고정되는 즉시 C를 시작할 수
+있습니다. B의 완료를 기다리는 wave barrier는 없습니다. 최종 통합 검증은 여전히 모든 작업을
+회수하고 하나의 candidate를 고정한 뒤에만 실행합니다.
+
+- `task_started`가 슬롯을 예약하고 `dispatch.taskId`가 현재 task/attempt와 실행 ID를 연결합니다.
+  병렬 계약의 task ID 없는 dispatch는 거부합니다. 예전 직렬 원장의 생략된 task ID는 실행 중인
+  작업이 하나일 때만 재구성하며, 기존 성공 checkpoint의 형태를 바꾸지 않습니다.
+- `process_ready`와 `exited`는 배열 첫 요소가 아니라 해당 실행 ID로 정산합니다. 먼저 끝난
+  형제의 성공이 다른 작업의 실패를 지우지 않습니다. 실행 중 작업의 `execution` 필드는
+  준비·실행·관측된 종료를 구분하며, `status: "succeeded"`는 출력 checkpoint 수락 뒤에만 부여합니다.
+- 치명적 오류·취소는 같은 실행에서 시작한 모든 작업에 전달하고, 시작된 promise를 모두 기다린
+  뒤 반환합니다. 종료를 확인하지 못한 ID나 내구성 기록에 실패한 상태를 성공으로 정산하지 않습니다.
+- 동시 실행 수는 task 단위입니다. task가 만드는 하위 PID·RAM·disk의 OS 한도는 아닙니다.
+  기존 work/verify/cleanup 기한과 task 시도·generation 상한은 공유하며 늘리지 않습니다.
+
+이 단계는 command-only·artifact 의존성 경로입니다. `after_verification` edge, 실서비스 모델,
+arbitrary repair, 계획 amendment/adoption은 지원하지 않습니다. 동일한 계약의 성공 출력 재사용을
+일반적인 계획 변경 후 재사용으로 해석하지 마십시오.
 
 ## CLI
 
@@ -381,7 +401,8 @@ input pin 이전 또는 process identity 기록 이전의 crash window는 여전
 | M2: 불변 입력 기반 writer 재시작 | 실제 SIGKILL→CLI restart 검사 통과. 이전 요청 수·기한·부분 출력 보존 |
 | M2: 모든 crash window 복구 | 미완료. input/process pin 없는 상태는 자동 복구 차단 |
 | M3 정적 command DAG·선택 retry | CLI/SDK 연결. 성공 checkpoint 보존, 실제 SIGKILL·세대/시도/예산 경계 검사 |
-| M3 병렬 frontier·계획 amendment·변경 후 adoption | 미구현. 직렬·동일 계약 안의 출력 재사용만 제공 |
+| M3 bounded eager frontier | 기본 1개, 명시적으로 최대 2개. 의존성 해제·다중 namespace 취소/기록 실패·실제 2-writer SIGKILL 복구 검사 |
+| M3 verification edge·계획 amendment·변경 후 adoption | 미구현. 동일 계약 안의 출력 재사용만 제공 |
 | M4 TUI/RPC·MCP·GC·적용 승인/CAS | 미구현. CLI/SDK 조회·개별 artifact 회수 제공 |
 | S90 전체 G01–G20·성능/정상 회귀 하한 | 미측정. 부분 테스트로 점수를 부여하지 않음 |
 

package/examples/extensions/custom-provider-anthropic/package-lock.json

@@ -1,12 +1,12 @@
 {
   "name": "omk-extension-custom-provider-anthropic",
-  "version": "0.98.5",
+  "version": "1.0.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "omk-extension-custom-provider-anthropic",
-      "version": "0.98.5",
+      "version": "1.0.0",
       "dependencies": {
         "@anthropic-ai/sdk": "0.52.0"
       }

package/examples/extensions/custom-provider-anthropic/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-custom-provider-anthropic",
 	"private": true,
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/custom-provider-gitlab-duo/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-custom-provider-gitlab-duo",
 	"private": true,
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/gondolin/package-lock.json

@@ -1,12 +1,12 @@
 {
 	"name": "omk-extension-gondolin",
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "omk-extension-gondolin",
-			"version": "0.98.5",
+			"version": "1.0.0",
 			"dependencies": {
 				"@earendil-works/gondolin": "0.12.0"
 			}

package/examples/extensions/gondolin/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-gondolin",
 	"private": true,
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/sandbox/package-lock.json

@@ -1,12 +1,12 @@
 {
 	"name": "omk-extension-sandbox",
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "omk-extension-sandbox",
-			"version": "0.98.5",
+			"version": "1.0.0",
 			"dependencies": {
 				"@anthropic-ai/sandbox-runtime": "0.0.26"
 			}

package/examples/extensions/sandbox/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-sandbox",
 	"private": true,
-	"version": "0.98.5",
+	"version": "1.0.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/subagent/adaptive-agent-runtime.ts

@@ -28,6 +28,7 @@ import {
 	remainingExecutionMs,
 } from "./deadline-budget.ts";
 import type { DeadlineProfileStore } from "./deadline-profile-store.ts";
+import type { ManagedProcessResult } from "./managed-process.ts";
 import type {
 	DeadlineAttemptMetadata,
 	DeadlineOutcome,
@@ -99,6 +100,7 @@ export async function runAdaptiveAgent(options: RunAdaptiveAgentOptions): Promis
 	let duplicateResumeBlocked = false;
 	let lastCheckpoint: Awaited<ReturnType<typeof readCheckpoint>> | undefined;
 	let terminalOutcome: DeadlineOutcome = "budget-exhausted";
+	let unsettledProcess: ManagedProcessResult | undefined;
 	const checkpointPrefix = options.checkpointPrefix ?? path.join(os.tmpdir(), "omk-subagent-checkpoint-");
 	const workspace = await createCheckpointWorkspace(checkpointPrefix);
 
@@ -183,7 +185,11 @@ export async function runAdaptiveAgent(options: RunAdaptiveAgentOptions): Promis
 					processReason: attempt.process.reason,
 					cleanup: attempt.process.cleanup,
 				});
-
+				if (attempt.process.terminationObserved === false) {
+					unsettledProcess = attempt.result.process;
+					terminalOutcome = "failed";
+					break outer;
+				}
 				if (outcome === "completed") {
 					completedShardIds.push(shard.id);
 					terminalOutcome = "completed";
@@ -228,6 +234,13 @@ export async function runAdaptiveAgent(options: RunAdaptiveAgentOptions): Promis
 		attempts,
 		...(lastCheckpoint === undefined ? {} : { checkpoint: lastCheckpoint }),
 	};
+	if (unsettledProcess) {
+		aggregate.exitCode = 1;
+		aggregate.stopReason = "unsettled";
+		aggregate.errorMessage = "Subagent termination unconfirmed (unsettled)";
+		aggregate.process = unsettledProcess;
+		return aggregate;
+	}
 	return aggregate;
 }
 

package/examples/extensions/subagent/graph-result.ts

@@ -0,0 +1,48 @@
+import { createHash } from "node:crypto";
+import { emptyUsage, type SingleResult } from "./subagent-runtime-types.ts";
+import type { GraphTask } from "./workflow-graph.ts";
+
+export function failedResult(result: SingleResult): boolean {
+	return (
+		result.process?.terminationObserved === false ||
+		result.exitCode !== 0 ||
+		result.stopReason === "error" ||
+		result.stopReason === "aborted"
+	);
+}
+
+export function laneResult(
+	result: SingleResult,
+): void | { status: "failed" } | { status: "unsettled"; settlement: Promise<void> } {
+	if (result.process?.terminationObserved === false)
+		return { status: "unsettled", settlement: result.process.settlement };
+	if (failedResult(result)) return { status: "failed" };
+}
+
+export function blockedResult(task: GraphTask, reason = "blocked-dependency"): SingleResult {
+	return {
+		nodeId: task.id,
+		agent: task.agent,
+		agentSource: "unknown",
+		task: task.task,
+		exitCode: 1,
+		messages: [],
+		stderr: reason,
+		stopReason: reason,
+		usage: emptyUsage(),
+	};
+}
+
+export function dependencyDigests(
+	task: GraphTask,
+	outputs: ReadonlyMap<string, string>,
+): Readonly<Record<string, string>> {
+	return Object.fromEntries(
+		(task.dependsOn ?? []).map((id) => [
+			id,
+			createHash("sha256")
+				.update(outputs.get(id) ?? "")
+				.digest("hex"),
+		]),
+	);
+}