webloom-framework 0.3.0 → 0.4.1

package/docs/proposals/webloom-v4/verification.md

@@ -0,0 +1,115 @@
+# WebLoom v4 验证记录
+
+更新时间：2026-09-11（工作树验证）。本记录只写已经执行的命令和观察到的结果；
+未执行的跨浏览器、产品部署和 registry-only 验收不会由本地测试推断为通过。
+
+用户已确认 `webloom-framework@0.4.0` 已发布。本轮针对同一 v4 wire 的 patch 版本
+`webloom-framework@0.4.1` 执行发布；发布后的 registry integrity 与消费验证将在上传后
+补记。
+
+## 1. WebLoom 本仓库
+
+以下本地门禁均通过：
+
+- `pnpm test:types`：TypeScript 检查、`.typecheck.ts` 负向类型 fixture、契约 inventory
+  gate 和临时 Git 基线回归自测均通过；正式源码 inventory 为 1 个 capability identity。
+  负向 fixture 覆盖错误 request/response/item、local capability 跨 Runtime、错误 parser
+  和旧字符串获取。基线自测验证“源码与 inventory 同时进入新 HEAD、但
+  `contractTestVersion` 未变”会在显式旧 commit 基线下失败。
+- `pnpm test -- --reporter=dot`：17 个测试文件、106 个测试通过。
+- `pnpm vitest run src/runtime/v4Acceptance.test.ts --reporter=verbose`：9 个 v4 acceptance
+  测试通过，包括 AT-16。
+- `pnpm build`：四入口 `index`、`advanced`、`react`、`testing` 的 ESM 与 declaration
+  构建通过。
+- `pnpm lint:boundaries`、`pnpm lint:v4`：通过。
+- `pnpm run test:ablation`：AT-22 baseline 通过；删除 cancel、deadline、实例过滤、目录
+  校验、revoke 五种机制后对应探针均按预期失败；恢复源码后再次通过。
+- `pnpm run pack:consumer`：tarball gate、声明/source-map 检查，以及 core-only、advanced、
+  React、Worker 四类独立 consumer 均通过。
+
+### 真实 Chromium
+
+`node scripts/real-browser-runtime-smoke.mjs` 使用 Vite production fixture 和真实
+`SharedWorker` 通过。验证结果包括：
+
+- 两个真实 Window 页面共享同一 `SharedWorkerGlobalScope`、同一 worker unit/setup，且每个
+  peer 的 service exposure 独立；覆盖 reverse RPC、typed stream `[1,2,3]`、基础 buffer
+  detach、重连后旧 proxy 撤销、terminal `stopping → disposed`、迟到连接和
+  `protocol_mismatch`。
+- `transfer-matrix` 通过 10 个场景：RPC request/result 的正常与重复 transfer、不可达
+  request/result、stream request 与 item 的正常/重复/不可达 transfer、ready 前取消、发送
+  后取消和发送前取消。
+- 矩阵实际交付并回环验证 request/result/item 的业务 `MessagePort`，验证两个
+  `Uint8Array` view 仍共享 backing buffer；不可达资源返回 `transfer_invalid`，发送前取消
+  保留 buffer/port，发送后取消保持已转移状态。
+
+真实浏览器版本：Chrome for Testing `153.0.8010.12`，Linux x64，headless。Firefox、真实
+Safari 和 Playwright WebKit 本轮未执行，不能宣称兼容性已验收。
+
+AT-16 的 `1/10/100 services × 1/2/10 peers` 测量在 `v4Acceptance.test.ts` 中执行：每次
+广播只构建一个公共 base snapshot，wire 侧按 peer 投影 grant，且不重复公开 runtime 字段。
+
+### Contract inventory 基线策略
+
+本地 `node scripts/check-contract-inventory.mjs` 保持以当前 `HEAD` 作为默认基线，便于
+检查未提交工作树。提交级 CI 应执行 `pnpm run test:contract-inventory:ci`：它优先使用
+`CONTRACT_INVENTORY_BASELINE_REF` 或 GitHub Actions 的 `GITHUB_BASE_SHA`，否则使用
+`git merge-base HEAD origin/main`，最终显式传入 `--baseline-ref <sha>`。该门禁不会把
+包含新源码和新 inventory 的当前提交当作自己的历史基线。
+
+## 2. DemoWebLoom
+
+以下门禁均通过：
+
+- `pnpm build`：v4 boundary、`tsc --noEmit` 和 Vite production build 通过，九章入口及
+  real SharedWorker chunk 均生成。
+- `node scripts/real-browser-smoke.mjs`：index、01–09 九章、01 插件 disable/enable、
+  07 两页真实 SharedWorker call 均通过；验证共享 worker/runtime/unit identity 与逐 peer
+  service identity。
+
+Demo 的验证使用当前本地 WebLoom 工作树链接；这证明源码类型和真实浏览器交互，不替代
+registry-only frozen install。0.4.0 是上一轮已发布基线；本轮 0.4.1 的 registry-only
+消费验证在发布后单独记录。
+
+## 3. Keymaster
+
+以下本地代码门禁均通过：
+
+- `pnpm test:types`：`tsc -b`、Keymaster contract inventory gate 和临时 Git 基线回归自测
+  通过，inventory 为 75 个 identity；Coordinator response/result 负向类型 fixture 通过
+  编译保护。
+- `pnpm test`：216 个测试文件全部通过（18 个常规批次加 2 个重型隔离批次）；其中
+  Coordinator worker 113 tests、Vault service 79 tests 均通过。
+- `pnpm build`：Vite production build 通过，3982 个 module transformed；生产产物扫描
+  通过（13 个 HTML/JS/CSS 文件）。
+- `pnpm lint:boundaries`：storage hard-switch、plugin boundary 和 Coordinator final-I/O
+  审计均通过。
+- `git diff --check`：通过。
+
+另外，在提交 `1edc117` 的 detached 临时 checkout 中执行
+`pnpm install --frozen-lockfile --ignore-scripts && pnpm test:types && pnpm test`：安装
+成功，`test:types` 通过，随后 216 个测试文件（18 个常规批次加 2 个重型隔离批次）全部
+通过。该 fresh-install 结果也覆盖了 `@keymaster/plugin-token-bsv21` 对
+`@noble/secp256k1` 的直接声明，以及根测试 setup 对 `@noble/secp256k1` 和
+`@noble/hashes` 的直接声明。
+
+Local/S3 真实浏览器、CORS/CAS、重启、多 tab、恢复、app-view 外部环境和公开部署仍需
+产品环境证据；单元测试和 fresh-install 通过不等价于这些验收已经关闭。
+
+## 4. 发布与 registry 边界
+
+上一轮已实际完成 `webloom-framework@0.4.0` 的 registry integrity、Keymaster/Demo
+lockfile 一致性、release-boundary 和 registry-only consumer 验证；该版本是本轮的已发布
+基线。本轮发布 `webloom-framework@0.4.1`，发布后必须从 registry 读取真实 `dist.integrity`
+并单独执行三仓 frozen-install 消费验证，不能用本地 tarball 或下游 lockfile 代替。
+
+## 5. 尚未关闭的跨环境验收
+
+- Firefox、真实 Safari、Playwright WebKit 的 module SharedWorker、双向 transfer 和 stream
+  组合尚未执行。
+- Keymaster 的 app-view、Local/S3/CORS/CAS、重启/多 tab、恢复 ledger、不可逆 I/O 和部署
+  生产门禁没有本轮完整外部证据。
+
+因此当前结论是：本轮四类 review 代码阻塞已完成修复，WebLoom/Demo 的本地与 Chromium
+证据已补齐，0.4.1 的 registry 发布与三仓消费验证待本轮上传后补记；跨浏览器与 Keymaster
+产品/部署验收仍保持明确的未验收状态。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "webloom-framework",
-  "version": "0.3.0",
+  "version": "0.4.1",
   "description": "通用前端插件生命周期框架",
   "license": "AGPL-3.0-only",
   "repository": {
@@ -32,6 +32,10 @@
       "types": "./dist/react.d.ts",
       "import": "./dist/react.js"
     },
+    "./advanced": {
+      "types": "./dist/advanced.d.ts",
+      "import": "./dist/advanced.js"
+    },
     "./testing": {
       "types": "./dist/testing.d.ts",
       "import": "./dist/testing.js"
@@ -42,9 +46,14 @@
     "test": "vitest run",
     "build": "tsup",
     "lint:boundaries": "node scripts/check-boundaries.mjs",
+    "lint:v4": "node scripts/check-v4-boundary.mjs",
+    "test:types": "tsc -p tsconfig.json --noEmit && pnpm test:contract-inventory",
+    "test:contract-inventory": "node scripts/check-contract-inventory.mjs && node scripts/check-contract-inventory-self-test.mjs",
+    "test:contract-inventory:ci": "node scripts/check-contract-inventory-ci.mjs",
     "test:browser:install": "playwright install chromium",
     "test:browser": "pnpm run test:browser:install && node scripts/real-browser-runtime-smoke.mjs",
-    "prepack": "pnpm typecheck && pnpm test && pnpm build && pnpm lint:boundaries",
+    "test:ablation": "node scripts/check-v4-ablation.mjs",
+    "prepack": "pnpm test:types && pnpm test && pnpm build && pnpm lint:boundaries && pnpm lint:v4",
     "pack": "npm pack",
     "pack:consumer": "pnpm run prepack && node scripts/pack-consumer-smoke.mjs"
   },