일몰: engineContract를 승격하고 폴더를 회수한다

이 캠페인의 지속 가치는 둘이었다. 계약 표면표는 이미 src/runtime/engineContract.js와
index.d.ts가 정본이고, WASI 매핑표(D2 관문 조사)는 살아 있는 캠페인 enginePort가 참조하고
있었다. 후자를 enginePort README로 옮기고 pyodideEngine의 경로 인용을 사실 서술로 바꾼 뒤
폴더를 삭제했다.

문서 기반 법의 하한 열 개를 같은 커밋에서 내렸다(문서 파일이 줄면 파일별 순회 법의 수가
함께 줄어든다). 하한을 내리는 diff가 곧 심사 지점이다.

검증: npm test 3344 passed 0 failed

Author: eddmpython

mainPlan/11_attemptsSunset/README.md

@@ -7,7 +7,6 @@
 
 | 폴더 | 인용처 | 판정 |
 |---|---|---|
-| engineContract | `src/runtime/engines/pyodideEngine.js`, `enginePort/README.md` | 승격 필요(WASI 매핑표를 enginePort가 참조) |
 | enginePort | `docs/usage/capabilityMatrix.md`, `scripts/fetchWasiAssets.mjs`, wasi 게이트 2곳 | 살아 있음(북극성 엔진 축의 다음 수) |
 | envManager | `docs/usage/capabilityMatrix.md`, `src/composition/envManager.js` | 진행 중 |
 | gpuCompute | `docs/usage/capabilityMatrix.md`, `tests/northStar.mjs`, `tests/run.mjs` | 승격 필요(**북극성 증거가 이 폴더의 probe다**) |
@@ -21,10 +20,11 @@
 | stateKernel | `src/state/objectModel.js`, `tests/run.mjs` | 살아 있음(10이 쓸 자리) |
 | wasiPackages | `tests/browser/wasiGate.html` | 승격 필요 |
 
-**종결 2건**: `externalS1`(지식이 benchmarking.md에 승격돼 있었다)과 `branchFleet`(주석의 경로 인용을
-사실 서술로 바꿔 승격했다. 숫자는 주석에 남고 과정은 git 이력이 보존한다).
+**종결 3건**: `externalS1`(지식이 benchmarking.md에 승격돼 있었다)과 `branchFleet`(주석의 경로 인용을
+사실 서술로 바꿔 승격했다. 숫자는 주석에 남고 과정은 git 이력이 보존한다), `engineContract`
+(WASI 매핑표를 그것을 쓰는 살아 있는 캠페인 enginePort로 옮기고 주석 인용을 사실 서술로 바꿨다).
 
-**결론: 나머지 12개는 지금 지울 수 없다.** 이유가 폴더마다 다르지 않다:
+**결론: 나머지 11개는 지금 지울 수 없다.** 이유가 폴더마다 다르지 않다:
 출하 코드와 문서가 그 폴더의 probe를 "실측 정본"으로 인용하고, 북극성 원장은 `gpuCompute`의
 probe 파일을 축 증거로 등재하고 있다. 규칙은 "종결 시 폴더째 삭제하고 지속 계약만 docs에
 남긴다"인데, 지금 상태는 **지속 계약이 아니라 실측 자체가 삭제 대상 폴더에 산다.**

src/runtime/engines/pyodideEngine.js

@@ -2,8 +2,8 @@
 // 엔진 접점(코드 실행, 값 다리, 선형 메모리, 스택, 인터럽트, 패키지, 스냅샷)을 이 계약 하나
 // 뒤로 격리한다. 상위(Runtime/MemoryCapability/능력)는 계약만 보고 `_module.HEAPU8`,
 // `globals`, `_emscripten_stack_*` 같은 엔진 내부를 직접 만지지 않는다.
-// 승격 근거: tests/attempts/engineContract/contractProbe 8/8 - reactive 시간여행이 이 계약
-// 표면만으로 성립(엔진 내부 직접 접근 0). 현재 정본은 runtime/engineContract.js와 index.d.ts다.
+// 승격 근거(실측 8/8): reactive 시간여행이 이 계약 표면만으로 성립한다(엔진 내부 직접 접근 0).
+// 계약의 정본은 runtime/engineContract.js와 index.d.ts이고, 측정 과정은 git 이력이 보존한다.
 //
 // 엔진 독립 설계: 각 메서드에 "다른 엔진(WASI CPython)이 어떻게 구현하나"를 명시해 계약이
 // Pyodide 어휘로 굳지 않게 한다. FFI(프록시)에 기대는 값 다리는 계약상 "직렬화 가능 값"이

tests/attempts/README.md

@@ -49,7 +49,6 @@ pyproc의 실험 졸업 게이트다. **신규 능력·실험은 `src/` 직행 
 | [pythonMachine/](pythonMachine/) | 꺼지지 않고 파일 하나로 이동하는 컴퓨터 (browser-os) | 진행 중 (핵심 OS 질문 실측 + src 승격 지속) |
 | [envManager/](envManager/) | 환경의 선언·캐시·재현을 uv급으로 (local-parity 라이브러리 축) | 진행 중 (4개 질문 실측 + 승격) |
 | [selfHost/](selfHost/) | 이 OS 위에서 서버와 웹을 개발할 수 있는가 (러너가 아니라 플랫폼) | 진행 중 (풀스택 실측 8/8, 1번 질문 졸업) |
-| [engineContract/](engineContract/) | 엔진 접점을 계약 하나로 모으면 프리미티브가 계약만으로 도는가 (Pyodide 제거의 인프라) | 졸업 -> src/runtime/engines/pyodideEngine.js (P1 seam) |
 | [enginePort/](enginePort/) | EngineContract를 non-Pyodide CPython(WASI)이 구현 가능한가 (Pyodide 제거의 실증, D2 관문) | 진행 중 (부팅+계약 코어 6/6 + 반복 실행/값 프로토콜/**완전 시간여행** 12/12) |
 | [largeHeapEnvelope/](largeHeapEnvelope/) | 대형 힙에서 OS 프리미티브 비용은 어디서 무너지는가 (Browser Python OS 성능 봉투) | 진행 중 |
 | [stateKernel/](stateKernel/) | 내구 상태 3벌(저널·세션 이미지·machine generation)을 이중 구역 커널 하나로 통합할 수 있는가 | 진행 중 |