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

게이트가 이 폴더의 probe를 "벤치 통계 helper 공유"의 두 번째 증인으로 읽고 있었다. 승격 후
사라지는 폴더는 증인이 될 수 없다. 공유의 진짜 계약은 재구현 금지이므로 그것을 직접 무는
법으로 바꿨다: examples와 tests 전체에서 benchStats의 심볼이 다시 구현되면 RED다. 증인이
하나 줄어든 것이 아니라 계약이 더 강해졌다.

폴더를 삭제하고 문서 기반 법의 하한 열 개를 같은 커밋에서 내렸다.

이 캠페인의 지식은 이미 승격돼 있다: PyProc.matmul이 src에 있고 S1 시나리오 계약은
docs/operations/benchmarking.md의 표에 산다.

음성 시험: speedLab에 percentile을 다시 구현하자 "benchStats 사본"으로 RED.

검증: npm test 3324 passed 0 failed

Author: eddmpython

mainPlan/11_attemptsSunset/README.md

@@ -12,19 +12,20 @@
 | gpuCompute | `docs/usage/capabilityMatrix.md`, `tests/northStar.mjs`, `tests/run.mjs` | 승격 필요(**북극성 증거가 이 폴더의 probe다**) |
 | inTabTls | 없음 | 살아 있음(북극성 네트워크 축 사다리 1단) |
 | largeHeapEnvelope | `docs/usage/capabilityMatrix.md` | 살아 있음(10이 쓸 자리) |
-| numericShard | `tests/run.mjs`(Speed Lab helper 공유 검사) | 승격 필요 |
 | pythonMachine | docs 2곳, `src/processOs/` 2곳 | 진행 중 |
 | runtimeParity | docs 2곳, src 3곳, 게이트 1곳 | 살아 있음(09가 쓸 자리) |
 | selfHost | 없음 | 진행 중(남은 질문 셋 명시) |
 | socketBridge | `docs/usage/capabilityMatrix.md`, `src/capabilities/socketBridge.js`, `tests/browser/socketLane.mjs` | 승격 필요 |
 | stateKernel | `src/state/objectModel.js`, `tests/run.mjs` | 살아 있음(10이 쓸 자리) |
 | wasiPackages | `tests/browser/wasiGate.html` | 승격 필요 |
 
-**종결 3건**: `externalS1`(지식이 benchmarking.md에 승격돼 있었다)과 `branchFleet`(주석의 경로 인용을
+**종결 4건**: `externalS1`(지식이 benchmarking.md에 승격돼 있었다)과 `branchFleet`(주석의 경로 인용을
 사실 서술로 바꿔 승격했다. 숫자는 주석에 남고 과정은 git 이력이 보존한다), `engineContract`
-(WASI 매핑표를 그것을 쓰는 살아 있는 캠페인 enginePort로 옮기고 주석 인용을 사실 서술로 바꿨다).
+(WASI 매핑표를 그것을 쓰는 살아 있는 캠페인 enginePort로 옮기고 주석 인용을 사실 서술로 바꿨다),
+`numericShard`(게이트가 이 폴더의 probe를 helper 공유의 두 번째 증인으로 읽고 있었다. 삭제되는
+폴더는 증인이 될 수 없으므로 공유의 진짜 계약인 재구현 금지를 직접 무는 법으로 바꿨다).
 
-**결론: 나머지 11개는 지금 지울 수 없다.** 이유가 폴더마다 다르지 않다:
+**결론: 나머지 10개는 지금 지울 수 없다.** 이유가 폴더마다 다르지 않다:
 출하 코드와 문서가 그 폴더의 probe를 "실측 정본"으로 인용하고, 북극성 원장은 `gpuCompute`의
 probe 파일을 축 증거로 등재하고 있다. 규칙은 "종결 시 폴더째 삭제하고 지속 계약만 docs에
 남긴다"인데, 지금 상태는 **지속 계약이 아니라 실측 자체가 삭제 대상 폴더에 산다.**