# IMD Ember World — 第十次 Audit9 來源閉合審查報告（World／Member M1） | 項目 | 值 | |---|---| | 候選公開 pin | https://github.com/tungweb3/imd-ember-world-review/tree/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643 | | 前一公開 pin（Audit9 審查對象） | `347268a7ecae700088547c2402db9a3eb07a6fd2` | | 私有來源出處（不可公開檢出） | `a2e6aca828858730cfb6b60931abea20ba9b6ab6`；TEAM 測試投影 `59dfc4a90a52de181c1420f0babe6170c1dc08d7` | | 控制性前次稽核 | Audit9，job `d76a2a79-7394-420a-99d2-df2ba6a23f45`，2026-10-05 04:30:23.485 UTC：https://github.com/Identity-md/research/blob/911652a2b1a7ab7be7d16bc37d97ab9376028fe6/jobs/d76a2a79-7394-420a-99d2-df2ba6a23f45/files/AUDIT.md | | REVIEWER 環境 | Linux 6.8.0-124-generic，2 CPU，Node v24.21.0，npm 11.19.0，鎖定 viem 2.56.9；2026-10-05 | | 審查性質 | 離線／本機合成測試；無正式環境呼叫、無真實錢包／簽章、無部署 | --- ## 一、執行摘要 **問題：**此候選版本是否在不重新打開先前 Auth／ownership／artifact 邊界的前提下，閉合 Audit9 的 3 項 Low＋2 項 Info 來源阻斷項，以及兩個相鄰反例（重啟早點擊、輸入父目錄 junction 別名）？ **結論：SOURCE-CLOSURE = BLOCKED（窄範圍、Info 級）；RELEASE-READINESS = UNKNOWN。** REVIEWER 從公開 pin `c2f21a9…` 全新檢出，按指定四個指令執行。`npm ci --ignore-scripts` 與 `node scripts/review-tests.mjs --check` 皆 exit 0（25 個檔案、viem 2.56.9）；`node scripts/verify-artifact-closure.mjs` exit 0、19/19。143 個來源檔的 SHA-256 與 `manifests/submission10-published-source.json` 完全一致（127 exact／16 masked／57 遮罩行），五個修補檔均為 exact。以「同評估器」把新測試與新驗證器疊加到 `347268a` 的弱版本，REVIEWER 精確重現 TEAM 的校準數字：64 項中 40 通過／24 斷言失敗、驗證器 14/19、5 項 `ERR_ASSERTION`、exit 1、0 個 EPERM。這證明新測試並非空洞。 逐項審視原始碼與獨立探針：Low1（D1 等待後以即時時鐘判定 24h 資格與 lane）、Low2（同一 client 重啟後以第一個 fenced 回覆重設公開帳號）、Low3（舊 lifetime 的 retained owner 不再取得新 lifetime 的帳號切換授權）、Info4（`--minimize` 改走驗證過的 artifact writer）、Info5（路由前綴檔名不再繼承豁免）——Audit9 原始反例在本候選版皆不再成立，兩個相鄰反例亦已閉合，且未見 Auth／ownership／artifact 既有邊界被重新打開。 然而有兩項可歸因的問題，使 REVIEWER 無法給出 PASS： 1. **N2（Info，測試證據可靠性）**：指定的必要指令 `npm run test:review` 並非穩定 exit 0。REVIEWER 五次完整執行中有兩次為 659 項中 658 通過／1 失敗、exit 1，失敗的皆是正式回歸 `Audit9 LOW2 restart observing B followed by genuine B-to-A change…`（`tests/auth-audit9.test.mjs:69`，`undefined !== 204`）。單檔重跑 30 次失敗 8 次。根因是測試以固定 `flush(40)` 等待一個真實非同步的 logout 完成；改為等待完成後 40/40 通過。來源行為正確，但 TEAM 的「659/659、零失敗」在本環境不可穩定重現。 2. **N1（Info，Low1 相鄰、本次修補新使其可達）**：D1 讀取後若注入的即時時鐘為 `Infinity`，新的 `laneNow`（`server/ownership.ts:351-352`）使所有離線席位都「不計入」，因而進入 index lane。`server/auth.ts:759-769` 的 lane 沒有檢查時鐘是否有限，會把 `REAL Inf` 寫入 `index_lanes.at` 與 `index_lane_probes`。之後以正常有限時鐘在 +10 分鐘及 +60 分鐘發出的請求，該網路的 lane 始終無法再取得，持續回傳 `recheck:"limited"`。同樣的注入在 `347268a` 不會留下任何列；`NaN` 與有限時鐘對照則都能恢復。此問題不會產生錯誤的所有權授權（回應仍誠實標示 limited），而且正式環境的 `Date.now()` 一般為有限值。但任務明確要求驗證「rollback／NaN／Infinity 與之後的恢復」，此反向控制未完全成立。 另有兩項不阻斷的觀察：重啟時初始回覆被扣住期間若明確登出，該回覆會被 gen fence 丟棄，公開帳號停在 `null`，屬保守 UI 失準；路徑遮罩對「數字緊鄰的 `/home/...`」與 `~/...` 不做遮罩，這是既有政策，不在路由前綴範圍內。 **解除阻斷的最小條件（推論）：**正式回歸改以 `until(()=>logouts(q).every(e=>e.finished))` 等待；在 `laneNow` 或 lane 內對非有限時鐘 fail-closed，不保留 lane；然後重新量測。 本報告不是認證、背書、零漏洞或資金安全證明。通過測試與 Low／Info 標籤皆不構成這類保證。 --- ## 二、五項閉合矩陣（＋相鄰反例） | Audit9 項目 | 等級 | 候選版修補位置（exact pin） | REVIEWER 獨立結果 | 判定 | |---|---|---|---|---| | **Low1** D1 等待後資格／lane 使用請求開始時間 | Low | [`server/ownership.ts:351`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/ownership.ts#L351)、[`:352`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/ownership.ts#L352)、[`:357-359`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/ownership.ts#L357-L359) | Audit9 原序重跑：延遲 0/1/2/5000ms，sighting 年齡分別為 86399999/86400000/86400001/86404999，first 與 next 都是 1/1/0/0；`checkedAt` 維持 t；index／budget／ownerOf 各 1；presence 列不變；exit 0。lane 三種變體、29999/30000/30001ms、rollback／NaN 均符合預期。**`Infinity`＋已准入 lane 會持久化 `Inf` 列，之後無法恢復（N1）** | **原始反例 CLOSED；Infinity 恢復子控制 PARTIAL（N1 OPEN, Info）** | | **Low2** 重啟後保留前一 lifetime 帳號 | Low | [`src/world/auth.ts:264`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/src/world/auth.ts#L264)、[`:283`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/src/world/auth.ts#L283)、[`:284-285`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/src/world/auth.ts#L284-L285)、[`:293-297`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/src/world/auth.ts#L293-L297) | Audit9 原序：重啟後 account=B、session=A、`mismatch`、列不變；點擊後真實 B 授權與簽章，以 address 斷言 logout A（204）。locked：account=null／cookie A 保留／0 logout。相鄰早點擊（TEAM 測試）通過。B→A 清理正確，但其正式測試不穩定（N2） | **CLOSED（來源）；正式回歸 flaky（N2 OPEN, Info）** | | **Low3** 舊 lifetime retained owner 撤銷新 lifetime 的 A | Low | [`src/world/auth.ts:595-599`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/src/world/auth.ts#L595-L599) | Audit9 原序：首次 accountsChanged(C) 後 A 的 `revoked_at=NULL`、0 個 address logout、`mismatch`；B 的 nonce 專屬清理稍後完成（B 被撤銷，204）；延遲的 clear-cookie 標頭清除共享 cookie，但 A 的 SQLite 列仍有效（屬已接受邊界）；C→D 由 TEAM 測試覆蓋 | **CLOSED** | | **Info4** 重播 CLI `--minimize` 繞過 artifact store | Info | [`scripts/replay-auth-trace.mjs:16-24`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/scripts/replay-auth-trace.mjs#L16-L24)、[`:34`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/scripts/replay-auth-trace.mjs#L34)、[`:39`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/scripts/replay-auth-trace.mjs#L39) | 懸空 final link：`ARTIFACT_REJECTED`，外部目標未建立，link 仍在。目錄別名使輸出等於輸入、或別名輸入加真實輸出：都 `ARTIFACT_REJECTED`，輸入 20226 bytes 與雜湊不變。經別名讀入並另寫輸出：成功，輸出雜湊 `683ba5e0…`，兩個輸入視圖不變。hardlink、tmp 外路徑、命名空間外檔名、預設重播（不寫檔）皆正確 | **CLOSED（本機受控根假設下）** | | **Info5** 路由前綴檔名未遮罩 | Info | [`tests/auth-artifacts.mjs:17`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/tests/auth-artifacts.mjs#L17) | 實際寫檔後讀回：18 種 quoted／bare／巢狀／key／後綴變體全部遮罩為 `[local-path]`；8 種 exact route／query／subroute／URL／相對 ID／動作字串原樣保留；trace 結構不變 | **CLOSED**（`2/home/…`、`~/…` 屬既有政策＝accepted-limit） | | 相鄰：重啟早點擊 | — | `auth.ts:264`、`:285`（`g!==this.gen`） | TEAM 正式測試（different-account／locked）在全部 REVIEWER 執行中通過；P1 原序探針一致 | **CLOSED** | | 相鄰：輸入父目錄 junction 別名 | — | `replay-auth-trace.mjs:16,19`＋store 父鏈驗證 [`auth-artifacts.mjs:64`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/tests/auth-artifacts.mjs#L64) | Linux 目錄 symlink 版本重現如上；未測真實 Windows junction | **CLOSED（Linux）；Windows junction 為 UNKNOWN** | --- ## 三、分離判定 ### SOURCE-CLOSURE：**BLOCKED**（窄範圍，均為 Info 級） - Audit9 五項原始反例與兩個相鄰反例：在 REVIEWER 重現中**皆已不成立**，也未觀察到已關閉的 Auth／ownership／artifact 邊界被重新打開。 - 阻斷理由：(a) **N2**：必要指令 `npm run test:review` 在 REVIEWER 環境為 2/5 次 exit 1，TEAM 所稱「正向執行 exit 0、零失敗」無法穩定重現。(b) **N1**：Low1 明列的 `Infinity` 與之後恢復的反向控制失敗，而且這條路徑是本次修補新使其可達。 - 這兩項都**不是**已證實的授權繞過、錯誤所有權授予、M1 未授權寫入或資金風險。若需方把 N2 視為純環境問題並接受 N1 為邊界，其餘證據會支持「有界閉合」；但依任務規則，REVIEWER 不推定 PASS。 ### RELEASE-READINESS：**UNKNOWN** 此來源未部署（`BUILD_DEPLOYMENT.json`：`deploymentPerformedByThisSubmission:false`、`servedProductionVersion:null`）。以下項目皆未量測：正式 Cloudflare、瀏覽器／provider／cookie 旗標、ERC-1271、M1 寫入授權、D1 交錯、WAF／limiter、上游、程序死亡、跨 isolate。公開選集的 `tsc --noEmit` 為 exit 2（14×TS2307 缺少被保留的前端模組、1×TS7006），完整前端建置證據不可得，不能視為通過。 --- ## 四、發現（依嚴重度排序；含相鄰案例） ### N1 — Info｜非有限即時時鐘會持久化 lane 保留，使該網路之後的 lane 無法恢復（OPEN） - **位置**：[`server/ownership.ts:351-352`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/ownership.ts#L351-L352)（`laneNow` 未檢查有限值）；[`server/auth.ts:759-769`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/auth.ts#L759-L769)（`t=clock(deps)` 直接傳入 `reserveIndexProbe` 與 `INDEX_LANE`）；清理用的 [`server/presence.ts:51`](https://github.com/tungweb3/imd-ember-world-review/blob/c2f21a9ef9e1a093ed2c5808f8a99e4751fde643/source/server/presence.ts#L51) `DELETE FROM index_lanes WHERE at{keys.push(key);return {success:key!=='chain:index'};}}; assert.equal((await b.signIn(acct)).verify.status,200); const at=w.clock.now(),seen=at-ONLINE_WINDOW_MS+1; w.db.raw.prepare('INSERT INTO seat_presence(token_id,owner,last_online_at,updated_at) VALUES(7,?,?,?)').run(a,seen,seen); const prepare=w.db.prepare.bind(w.db);let once=true; w.db.prepare=sql=>{const wrap=s=>({...s,bind:(...x)=>wrap(s.bind(...x)),all:async()=>{const r=await s.all(); if(once&&sql.startsWith('SELECT token_id,last_online_at')){once=false;if(change==='Infinity')w.clock.set(Infinity);else w.clock.advance(2);}return r;}});return wrap(prepare(sql));}; const get=async()=>{const r=await b.get('/api/me/home');const body=await r.json();await Promise.all(w.kept);return {status:r.status,recheck:body.recheck,eligible:body.eligible,error:body.error};}; const first=await get(); const stored={lanes:w.db.raw.prepare('SELECT typeof(at) t,CAST(at AS TEXT) at FROM index_lanes').all(), probes:w.db.raw.prepare('SELECT CAST(probed_at AS TEXT) p,CAST(expires_at AS TEXT) e FROM index_lane_probes').all()}; w.clock.set(at+600000);const later=await get();w.clock.set(at+3600000);const later60=await get(); const r={change,first,stored,later10m:later,later60m:later60,laneKeys:keys.filter(k=>k==='chain:index:lane').length, index:w.chain.state.calls.filter(c=>!c.body).length,rpc:w.chain.state.calls.filter(c=>c.body).length}; console.log(JSON.stringify(r));results.push(r); } assert.equal(results[1].later10m.recheck,undefined,'finite control recovers'); assert.equal(results[0].later10m.recheck,undefined,'a non-finite live clock must not persist a lane reservation that denies later finite-clock recovery'); ``` ```text 候選版 c2f21a9 → exit 1 {"change":"Infinity","first":{"status":503,"error":"OWNERSHIP_UNAVAILABLE"},"stored":{"lanes":[{"t":"real","at":"Inf"}],"probes":[{"p":"Inf","e":"Inf"}]}, "later10m":{"status":200,"recheck":"limited","eligible":0},"later60m":{"status":200,"recheck":"limited","eligible":0},"laneKeys":1,"index":0,"rpc":3} {"change":"finite+2ms","first":{"status":200,"eligible":0},"stored":{"lanes":[{"t":"integer","at":"1790596800002"}],…},"later10m":{"status":200,"eligible":0},…,"laneKeys":3,"index":3,"rpc":3} AssertionError: a non-finite live clock must not persist a lane reservation … + 'limited' - undefined 基線 347268a → exit 0 {"change":"Infinity",…"stored":{"lanes":[],"probes":[]},"later10m":{"status":200,"eligible":0},…"laneKeys":2,"index":2} {"change":"finite+2ms","first":{"status":200,"recheck":"limited","eligible":1},…} ← 原始 Low1 缺陷（eligible 1） ``` 同一組探針的補充結果：NaN＋admitted lane → lane 0、無列，之後可恢復。rollback → 503、lane 0。D1 延遲 +30001ms＋admitted lane → 200，新 ownerOf `checkedAt=1790596830001`（rpc 2、index 1，以 latest 重新證明，不是延長舊證明）。+30001ms＋refused lane → 503。整個過程 auth 列與 presence 列都不變。 ### E. Low2／Low3 探針（REVIEWER，真實 AuthClient／Worker／node:sqlite） ```text P1-B (A 登入→觀察 A→stop→provider B→restart→點擊) restored: account 0x1563…5508(B) session 0x19e7…2a(A) status mismatch rowsSame true click: session B；logout [{nonceAssertion:false,addressAssertion:true,status:204}]；A revoked_at 1790596800000，B NULL counts: prompt1 connect0 challenge1 verify1 session4 home1 logout1 broadcast2 index2 rpc1 P1-locked: account null session A status owner rowsSame true；prompt/challenge/verify/logout/broadcast 0；session2 index1 rpc1 P2-firstC (B verify 已 commit 但回應被扣住；nonce-B 清理被扣住；stop；另一 context 寫入 cookie A；restart []；accountsChanged(C)) mid: account C session A status mismatch addressLogouts 0 A_revoked null rowsSame true final: B revoked（nonce 清理 204），A revoked_at NULL；canonical {"signedIn":false}；client session null plans [{1,lock,reconcile,flow1},{2,stop,verify-owner,flow1}] counts: prompt1 challenge1 verify1 session4 home0 logout1 broadcast0 index1 rpc0 P2-noEvent: 除 account=null 外與上相同 P3 (held initial B → q.c.signOut() → release): account null session null status visitor；logout1 broadcast1 prompt0 ``` ### F. N2 不穩定測試 ```text for i in 1..20: node --test --test-reporter=tap tests/auth-audit9.test.mjs → 6/20 次失敗（另一輪 10 次中 2 次）；每次都是 not ok 4（檔內編號） 等待完成的變體（40 次；把 flush(40) 後改為 until(()=>logouts(q).length>0&&logouts(q).every(e=>e.finished))，其餘斷言相同） → tests 40 pass 40 fail 0；其中 13/40 次在 flush(40) 當下 {"n":1,"finished":false} 環境：nproc 2，loadavg 0.88 1.04 1.05 ``` ### G. Info4 CLI 探針（真實 Linux symlink／hardlink，根目錄在 source/tmp） ```text 輸入：runSeed(0)＋重複 worker 動作（47 actions），經 createArtifactStore 寫入；20226 bytes，sha256 b845e18c5a8df46deae199ec50556e30a4c418c8a35f0aef51c8ed6b32d40a93 C1 dangling final link → exit1 invariants [HARNESS-CAUSAL, ARTIFACT_REJECTED] "artifact output is not a regular file"；outsideCreated false；stillSymlink true C2 alias/輸出=輸入 → exit1 [ARTIFACT_REJECTED] "artifact path cannot traverse a symlink or junction"；inputHashSame true C3 alias 輸入、真實輸出=輸入 → exit1 [ARTIFACT_REJECTED] "minimized output must be separate from the replay input"；inputBytes 20226 C4 alias 輸入、另寫輸出 → exit1 [HARNESS-CAUSAL]（刻意的無效 trace）；minimized 為 regular file，sha256 683ba5e0d06c1c86ee74dbe1dfcc357010d271a72282d922e058550f594c2b2d（與 Audit9 #4 量測相同）；兩個輸入視圖雜湊不變 C5 hardlink 輸入作為輸出名稱 → rename 只替換目錄項；輸入雜湊不變；nlink 1 C6 source/scripts 下 → [ARTIFACT_REJECTED] "artifacts must use a child directory of source/tmp"；evil.json → [HARNESS-CAUSAL, ARTIFACT_REJECTED] "outside the scheduler namespace" C7 預設重播（無 --minimize）→ exit1 [HARNESS-CAUSAL]；目錄內容不變（不寫檔） ``` 說明：child 的 exit 1 本身既不證明拒絕，也不證明 Auth 漏洞。判定依據是 `ARTIFACT_REJECTED`、檔案存在與否，以及位元組與雜湊。觀察：命名空間檢查在最小化之後、寫入時才執行（C6 badName 先輸出 HARNESS-CAUSAL），結果仍為拒絕，屬效率而非安全問題。 ### H. Info5 讀回探針 寫入 `core500-RESULT.json` 後讀回，檔案 1271 bytes，sha256 `6116d339cab0e56ea34d354f8dcac94c04e694194c57de6ef9fe3c21e8e04d50`： ```text 遮罩（皆為 [local-path]）：Cannot read /api/auth/session.log｜Error at /api/auth/verify.backup｜Error at /api/me/home.private.json｜ "…/api/auth/session.log"｜'…/api/me/home.private.json'｜/api/auth/logout-all.json｜/api/me/home/refresh.bak｜/api/me/home?fresh=1.log｜ /api/auth/session/../../etc/passwd｜/api/auth/session"/etc/x｜/api/auth/session;private.json｜/api/auth/session,private.json｜ \api\auth\session.log｜file:///api/auth/session.log｜path=/api/auth/verify.backup｜x (/api/auth/session.log)｜NBSP 後綴｜JSON 內字串；物件 key 亦遮罩 保留：/api/auth/session｜GET /api/me/home?fresh=1 200｜/api/me/home/refresh｜route /api/auth/logout, then /api/auth/logout-all｜"/api/auth/challenge"｜ https://example.com/root/project.ts｜tests/auth-artifacts.test.mjs｜nonce/action/tab 字串；trace 結構相同 未遮罩（既有政策，候選版與基線相同）：2/home/user/secret.txt｜~/secret/file.txt｜err:2/home/u/x ``` ### I. 型別檢查（公開選集） ```text node node_modules/typescript/bin/tsc --noEmit → exit 2；15 errors：14×TS2307（src/main.tsx 5、HomePanels 2、WalletPanel 1、homeEntry 2、walletView 1、vite.config.ts 3）、 1×TS7006 HomePanels.tsx(20,55)；五個修補檔 0 錯誤 → 完整前端建置證據 UNAVAILABLE，不計為通過 ``` ### J. TEAM 主張對照 | TEAM 主張 | REVIEWER 結果 | |---|---| | 25 supported files | 已重現（`testFiles:25`） | | review 659/659、零失敗、exit 0 | **部分重現**：3/5 次成功；2/5 次 658/659 exit 1（N2） | | verifier 19/19 | 已重現 | | artifact 28/28 | 已重現（完整 runner 內；auth-artifacts 28 項於所有執行中通過） | | fresh private 659/659、private full 1709/1709 | 不可得（私有） | | 基線 64:40/24；verifier 19:14/5，exit 1，無 EPERM | 已重現 | | EPERM／setup 重試史 | 僅文件；REVIEWER 在 Linux 上無 EPERM，Windows 能力未測 | --- *REVIEWER 只做離線合成測試；所有身分、私鑰（`0x11…`、`0x22…`、`0x33…`、`0x44…`）皆為公開測試值。未呼叫正式端點，未使用真實錢包、簽章或資產，未部署。Accepted／completed 不等於背書或認證。*