APBSC 09 · 演算法規格 · 第一階段收束
Researcher-Blind Publication-Boundary Measurement Algorithm
把整個系列的要求，收斂成一條機器能執行、研究者保持盲化的流程。
2026-09-21 · v0.1 · 內部研究草稿 v0.1 · 全文尚未公開
maximize research utility subject to raw exposure ≤ τ
論證
公開 repository 的當下狀態 X，依序經過正規化、detector 組合、敏感值壓制、特徵抽取與裁決，得到研究安全的輸出：X → N → D → S → F → A → O。七個 detector 分別處理路徑、類 secret 內容、網路、認證、語義、metadata 與可恢復性，每一個都宣告自己的範圍。
所有接觸資料的東西都在威脅模型之內：detector、sanitizer、log、特徵生成器、debug 輸出與揭露模組。演算法禁止：repository 身分進入分析層；原始路徑與 endpoint 進入資料集；驗證憑證；可搜尋的原文；原始例外 log；分類鎖定前就暴露組別標籤；以及把 UNKNOWN 或單一 detector 的 PASS 當作隱私判決。
它是一個有界、可稽核、機器優先的量測架構；不是完美的匿名化器，也不是語義隱私的形式證明。它的實作就是 RBPM runtime，各版本與結果在證據頁。
關鍵概念
- 狀態機：發現 → 合格 → 取得 → 正規化 → 偵測 → 淨化 → 特徵化 → 裁決 → 封存 → 可分析。
- 旁支狀態：排除、UNKNOWN、需升級、負責任揭露、流程失敗。
- 驗證者本身，也是被驗證的表面。
它承載的命題
- O已觀察
真實的公開檔案可以被化約成有界的研究特徵，過程中不輸出任何 repository 身分或原文。
RBPM v0.6 – v0.8.3
它不主張的
- 完美匿名化。
- 語義隱私的形式證明。