기능: 브라우저 행동 수렴 계약을 제품화

proof-carrying action에 후보 2개, 재관찰 1회, 첫 effect 30초 제한을 추가했다.

effect 재시도 0회와 provider-neutral 영수증을 NativeCdpSpace와 FrameSpace에 적용했다.

Control, JavaScript, Python 공개 표면과 설치 제품 문서 및 지속 원장을 같은 의미로 맞췄다.

stale, ambiguous, occlusion, navigation 교체를 packed Edge 제품 게이트와 CI에 고정했다.

검증: npm test, npm run test:contracts, npm run test:types, npm run skills:check

검증: npm run test:action-convergence, npm run test:frame-space, npm run test:browser-control

검증: npm run test:browser-control-stress, npm run test:apx, npm run test:automation-lifecycle

검증: npm run test:mcp-product, npm run test:control-product, npm run test:python-sdk

검증: npm run test:package, maxAttempts 3 음성 변형 RED, 복원 뒤 GREEN

Author: eddmpython

.github/workflows/ci.yml

@@ -124,6 +124,9 @@ jobs:
       - run: npm run test:automation-lifecycle
         env:
           PYPROC_BROWSER: /usr/bin/google-chrome
+      - run: npm run test:action-convergence
+        env:
+          PYPROC_BROWSER: /usr/bin/google-chrome
 
   # 실제 Microsoft Edge의 Windows 배포 경계. 설치 tarball/골든 경로와 핵심 브라우저
   # 계약을 Chrome과 독립해 문다. examples는 Chrome의 동일 쇼케이스를 그대로 반복해 비용이
@@ -181,6 +184,7 @@ jobs:
       - run: npm run test:browser-control
       - run: npm run test:browser-control-stress
       - run: npm run test:automation-lifecycle
+      - run: npm run test:action-convergence
       - uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7
         if: always()
         with:

README.ko.md

@@ -114,6 +114,12 @@ Machine image 계약을 사용한다.
 Effect-free doctor는 `machine.run`을 정본 의미로 고정하고 shell, JavaScript, Python, MCP에 매핑한 하나의
 구조화된 첫 결과 행동도 반환한다.
 
+proof-carrying browser action은 provider-neutral `pyproc.actionConvergence` version 1 영수증을 반환한다.
+Native CDP와 FrameSpace는 후보 최대 2개, 재관찰 최대 1회, effect retry 0회, 첫 effect 전 30000 ms를
+같이 지킨다. 같은 문서 stale target과 교체된 문서는 유일한 동일 권한 대상에만 수렴하고, ambiguous와
+지속 가림은 effect 0회인 같은 영수증으로 거절한다. 성공은 action terminal, 안전 거절은 error details에
+영수증을 싣는다.
+
 [Machine Entrance](skills/use-pyproc-machine/references/machine-entrance.md)에서 시작한 뒤
 [JavaScript Control SDK](skills/control-pyproc/references/javascript-control.md),
 [Python SDK](skills/control-pyproc/references/python-sdk.md), 또는 완전한

README.md

@@ -139,6 +139,12 @@ continued with a continuation-only `automation.observe` call. Every page carries
 snapshot receipt, complete-inventory digest, and observation evidence binding. A document replacement rejects
 the old continuation instead of treating a partial prefix as complete.
 
+Proof-carrying browser actions expose one provider-neutral `pyproc.actionConvergence` version 1 receipt. Native
+CDP and FrameSpace inspect at most two candidates, reobserve the original typed focus at most once, never retry a
+sent effect, and bound the first-effect search to 30000 ms. A unique same-document stale target or replaced
+document can converge; ambiguity and persistent occlusion return the same receipt with zero effect attempts.
+Successful Control output carries it on the action terminal, while a safe refusal carries it in error details.
+
 `automation.space.inspect` also returns one provider-neutral `resources` snapshot. After deleting owned
 artifacts, detaching sessions, and closing owned targets, every counter returns to the starting baseline. A new
 isolated profile therefore returns zero for targets, sessions, locators, continuations, watchers, artifacts,

mainPlan/9-agentComputerStandardReadiness/README.md

@@ -14,8 +14,8 @@
 
 | 질문 | 현재 판정 | 실사용 증거 | 완성까지 남은 것 |
 |---|---|---|---|
-| agent 진입점 | 매우 강함, 장기 수명주기 검증은 계속 | exact install 뒤 package engine 자동 선택, effect-free doctor, 네 adapter의 같은 CPython 첫 결과가 공개 계약으로 완결 | M2의 wrong-effect 없는 자동 수렴 상한 |
-| 눈과 팔 | 강함, 완성 아님, 북극성 8.8 | APX Situation이 링크를 식별하고 proof-carrying click 뒤 `Smallest start` 출현을 confirmed로 봉인. 설치 제품 20회가 모든 소유 자원을 기준선으로 되돌림 | stale, ambiguous, occluded 자동 수렴과 실제 GPU visual oracle 확대 |
+| agent 진입점 | 매우 강함, 장기 수명주기 검증은 계속 | exact install 뒤 package engine 자동 선택, effect-free doctor, 네 adapter의 같은 CPython 첫 결과가 공개 계약으로 완결 | hardware GPU 결과 oracle과 이후 몸체 확대 |
+| 눈과 팔 | 매우 강함, 완성 아님, 북극성 9.3 | APX Situation, 20회 무잔류 수명주기, stale, ambiguous, occluded, navigation의 2후보, 1재관찰, effect retry 0회 수렴 영수증 | 실제 GPU visual oracle 확대 |
 | 비-agent 컴퓨팅 몸체 | 훌륭한 브라우저 컴퓨터, 로컬 OS 완전 대체는 아님 | owned CPython, worker process, OPFS disk, checkpoint, Machine image, Python과 x86 guest gate | 임의 native wheel, shared-memory thread, wasm 도구층, Node guest, quota 축출 계약 |
 | 단독 자립성 | Python 기본 Machine은 높음, 전체 WebComputer는 미완성 | source-built CPython과 stdlib가 npm에 포함되고 기본 부팅의 제3자 요청은 0 | x86 emulator와 firmware의 독립 재현, GPU 실기 CI, 브라우저 범위 확대 |
 | 웹 표준 후보 가능성 | 기반은 있음, 후보라고 부르기에는 이름 | WebAssembly, Worker, cross-origin isolation, bucket file system 같은 표준 기반 위에 제품 계약이 동작 | vendor-neutral specification, 독립 구현, WPT형 conformance, 공개 incubation과 wide review |
@@ -83,7 +83,7 @@ implementation experience는 독립적이고 상호운용 가능한 구현, 저
 
 - `pyproc-mcp init --recipe pythonOnly`가 설치 tarball 내부 owned engine으로 manifest를 만든다.
 - 순수 parser는 package 경로를 추측하지 않고 initializer만 설치 경계를 해석한다.
-- contract 36 suites, package gate, 전체 12개 게이트, 설치 MCP 제품 21개가 GREEN이다.
+- contract 37 suites, package gate, 전체 13개 게이트, 설치 MCP 제품 gate가 GREEN이다.
 - 첫 문서 교체 probe는 수정 전 stale locator와 effect 0을 재현했고, 수정 후 postcondition confirmed와
   effect 정확히 1회로 수렴했다. 설치 MCP 제품 gate도 같은 여정을 고정한다.
 - browser control, 3회 48-action stress, APX 11개 실브라우저 게이트가 GREEN이다.
@@ -104,7 +104,8 @@ implementation experience는 독립적이고 상호운용 가능한 구현, 저
 - 완료: 반복 Situation, screenshot, proof-carrying action, artifact cleanup에서 handle과 process 잔류 0을
   증명한다. 각 owner가 직접 센 자원을 `automation.space.inspect.resources`로 합성하고, 격리 profile의
   packed Control 제품 20회와 NativeCdpSpace, FrameSpace, MCP, Python adapter가 0 수렴을 검증한다.
-- stale, ambiguous, occluded, navigation 교체를 wrong effect 없이 자동 수렴시키는 상한을 고정한다.
+- 완료: stale, ambiguous, occluded, navigation 교체를 후보 최대 2개, 재관찰 최대 1회, effect retry 0회,
+  첫 effect 전 30000 ms로 고정한다. 성공과 안전 거절은 같은 version 1 영수증을 반환한다.
 - hardware GPU runner에서 pixel 결과 oracle을 추가해 수동 증거 상한을 제거한다.
 
 ### M3. 컴퓨팅 몸체 확대
@@ -305,5 +306,14 @@ implementation experience는 독립적이고 상호운용 가능한 구현, 저
   전체 axis의 score, next, browser lane, 실행 lane, evidence 실존과 사다리 연속성을 `npm test`가 검사한다.
 - 원장 gate 이빨: 새 축의 lifecycle evidence를 존재하지 않는 `.missing` 경로로 바꾼 음성 변형은
   `agentBrowserAutomation: missing evidence`를 보고 12/13 RED였고, 복원 뒤 13/13 GREEN이다.
-- 다음 직렬 작업: stale, ambiguous, occluded, navigation 교체를 wrong effect 없이 자동 수렴시키는 횟수와
-  시간 상한을 고정한다.
+- action 수렴 첫 RED: 같은 문서에서 분리된 target을 5.09초 동안 60회 확인한 뒤 재관찰 없이
+  actionability timeout으로 끝났다. ambiguous도 effect 0회로 안전했지만 모호함을 판정하지 못했고,
+  다섯 시나리오 모두 공통 영수증이 없었다.
+- action 수렴 제품 증거: packed Control과 Edge에서 first-effect 시간은 같은 문서 stale 259 ms,
+  ambiguous 172 ms, 일시 가림 1288 ms, 지속 가림 711 ms, navigation 교체 201 ms였다. effect 횟수는
+  각각 1, 0, 1, 0, 1이며 terminal PNG 756x488을 직접 확인했다. FrameSpace도 stale, 일시 가림,
+  지속 가림과 outcome unknown 1회 무재시도를 같은 영수증으로 증명한다.
+- action 수렴 gate 이빨: `ACTION_CONVERGENCE_MAX_ATTEMPTS`를 2에서 3으로 바꾼 음성 변형은
+  `3 !== 2`를 보고 RED였고, 2로 복원한 같은 계약 gate는 GREEN이다.
+- 다음 직렬 작업: hardware GPU runner에서 pixel과 compute 결과 oracle을 실행해 정확한 command byte
+  검증에 머문 수동 증거 상한을 제거한다.

mainPlan/README.md

@@ -17,8 +17,8 @@
 
 ## 현재 상태
 
-현재 미완료 이니셔티브는 없다. 새 이니셔티브는 계약 실태와 소비 피드백의 중복을 먼저 확인하고,
-구체적인 종료 조건을 갖춘 다음 번호로 등록한다.
+현재 미완료 이니셔티브는 [9-agentComputerStandardReadiness](9-agentComputerStandardReadiness/README.md)다.
+M2의 wrong-effect 없는 action 수렴까지 완료했고 hardware GPU 결과 oracle부터 직렬로 이어간다.
 
 이 번호는 agent-computer 포트폴리오의 실행 순서다. North Star ceiling ladder의 기존 번호와 우선순위를
 대체하지 않는다.

package.json

@@ -112,6 +112,7 @@
     "test:browser-control": "node tests/browser/browserControl.mjs",
     "test:browser-control-stress": "node tests/browser/browserControlStress.mjs",
     "test:automation-lifecycle": "node tests/browser/automationLifecycleProduct.mjs",
+    "test:action-convergence": "node tests/browser/actionConvergenceProduct.mjs",
     "test:browser": "node tests/browser/run.mjs",
     "test:examples": "node tests/browser/examples.mjs",
     "bench:speed": "node tests/browser/speedBench.mjs",

pythonSdk/src/pyprocControl/__init__.py

@@ -1,7 +1,7 @@
 """Official Python client for the pyproc Control Protocol."""
 
 from .client import ControlRequest, PyProcClient
-from .models import Attachment, ControlError, ControlResult
+from .models import ActionConvergenceReceipt, Attachment, ControlError, ControlResult
 from .perception import (
     PerceptionClient,
     PerceptionEntity,
@@ -27,6 +27,7 @@
 
 __all__ = [
     "Attachment",
+    "ActionConvergenceReceipt",
     "ControlError",
     "ControlProtocolError",
     "ControlRequest",

pythonSdk/src/pyprocControl/models.py

@@ -1,7 +1,7 @@
 """Immutable public values returned by the pyproc Control Protocol client."""
 
 from dataclasses import dataclass
-from typing import Any
+from typing import Any, Mapping
 
 
 @dataclass(frozen=True, slots=True)
@@ -22,6 +22,93 @@ class ControlResult:
     terminal: str = "completed"
 
 
+@dataclass(frozen=True, slots=True)
+class ActionConvergenceReceipt:
+    """Provider-neutral first-effect convergence receipt for a proof-carrying action."""
+
+    state: str
+    reason: str
+    attempts: int
+    maxAttempts: int
+    reobservations: int
+    maxReobservations: int
+    effectAttempts: int
+    effectRetries: int
+    effectOutcome: str
+    maxPreEffectDurationMs: int
+    preEffectDurationMs: int
+    durationMs: int
+    actionabilityPolls: int
+    actionabilityReasonsSeen: tuple[str, ...]
+    fromSituationRef: str | None = None
+    toSituationRef: str | None = None
+    fromDocumentEpoch: int | None = None
+    toDocumentEpoch: int | None = None
+    protocol: str = "pyproc.actionConvergence"
+    version: int = 1
+
+    @classmethod
+    def fromMapping(cls, value: Mapping[str, Any]) -> "ActionConvergenceReceipt":
+        if not isinstance(value, Mapping):
+            raise TypeError("action convergence receipt must be a mapping")
+        if value.get("protocol") != "pyproc.actionConvergence" or type(value.get("version")) is not int \
+                or value.get("version") != 1:
+            raise ValueError("action convergence receipt protocol is invalid")
+        def integer(key: str) -> int:
+            entry = value.get(key)
+            if type(entry) is not int:
+                raise ValueError(f"action convergence {key} is invalid")
+            return entry
+
+        state = str(value.get("state") or "")
+        reason = str(value.get("reason") or "")
+        effectOutcome = str(value.get("effectOutcome") or "")
+        attempts = integer("attempts")
+        maxAttempts = integer("maxAttempts")
+        reobservations = integer("reobservations")
+        maxReobservations = integer("maxReobservations")
+        effectAttempts = integer("effectAttempts")
+        effectRetries = integer("effectRetries")
+        maxPreEffectDurationMs = integer("maxPreEffectDurationMs")
+        preEffectDurationMs = integer("preEffectDurationMs")
+        durationMs = integer("durationMs")
+        actionabilityPolls = integer("actionabilityPolls")
+        reasons = value.get("actionabilityReasonsSeen")
+        if state not in {"converged", "refused", "unknown", "effectObserved"} \
+                or reason not in {"ready", "staleTarget", "documentReplacement", "occlusionCleared",
+                                  "ambiguousTarget", "targetUnavailable", "authorityChanged",
+                                  "actionabilityTimeout", "convergenceTimeout", "cancelled", "providerRejected"} \
+                or effectOutcome not in {"notSent", "rejected", "applied", "outcomeUnknown"} \
+                or attempts not in {1, 2} or maxAttempts != 2 \
+                or reobservations not in {0, 1} or maxReobservations != 1 \
+                or effectAttempts not in {0, 1} or effectRetries != 0 \
+                or maxPreEffectDurationMs != 30000 \
+                or not 0 <= preEffectDurationMs <= maxPreEffectDurationMs \
+                or durationMs < preEffectDurationMs or actionabilityPolls < 0 \
+                or not isinstance(reasons, (list, tuple)):
+            raise ValueError("action convergence receipt bounds are invalid")
+        return cls(
+            state=state,
+            reason=reason,
+            attempts=attempts,
+            maxAttempts=maxAttempts,
+            reobservations=reobservations,
+            maxReobservations=maxReobservations,
+            effectAttempts=effectAttempts,
+            effectRetries=effectRetries,
+            effectOutcome=effectOutcome,
+            maxPreEffectDurationMs=maxPreEffectDurationMs,
+            preEffectDurationMs=preEffectDurationMs,
+            durationMs=durationMs,
+            actionabilityPolls=actionabilityPolls,
+            actionabilityReasonsSeen=tuple(map(str, reasons)),
+            fromSituationRef=(str(value["fromSituationRef"]) if value.get("fromSituationRef") is not None else None),
+            toSituationRef=(str(value["toSituationRef"]) if value.get("toSituationRef") is not None else None),
+            fromDocumentEpoch=(int(value["fromDocumentEpoch"]) if value.get("fromDocumentEpoch") is not None else None),
+            toDocumentEpoch=(int(value["toDocumentEpoch"]) if value.get("toDocumentEpoch") is not None else None),
+        )
+
+
 class ControlError(RuntimeError):
     """A verified request or connection error from the remote product."""