EveMissLab
一個實驗室。做完一件事，就給它一個站。
EveMissLab 是一個研究與工程實驗室。每一件做完的東西都會以獨立的網站、獨立的網域、獨立的原始碼倉庫發布 —— 讓每一塊都能被單獨閱讀、檢查與使用，不必先經過其他塊。
索引
目前八個站在線上。這份清單是為了持續增加而設計的。
可稽核的計算
建立在同一個想法上：一個結果的價值低於一個你能重跑的結果，而一項主張的價值低於一項會說出自己邊界的主張。
- MMR-Benchmmr.evemisslab.com對每個公式儲存格取三份獨立讀數、簽署 Ed25519 計算憑證、可完全重播。引擎意見不一致，永遠不構成改寫公式的授權。
- MMLC Runtimemmlc.evemisslab.com處理具型別矩陣帳本文件的可稽核 Runtime：決定性與符號執行、血緣追蹤、約束、時間固定點、反事實分支與有限決策分析，全部收在同一個執行模型裡。
- MLFmlf.evemisslab.comAI 原生的矩陣知識格式，附參考編譯器。保住座標、區域、角色、公式、相依邊與來源歷程，而不是把它們壓平成一條 token 序列。
- DIEECdieec.evemisslab.com內外雙生展開計算的符號 Runtime：凍結的公開 API、所有宣稱共用一個證書信封、舊帳本可遷移，以及一道把「測試通過」視為必要但不充分的放行閘門。
- ANLAanla.evemisslab.com一種可由 AI 規劃、但必須由確定性且不依賴模型的解碼器精確還原的無損封裝格式。兩套參考實作，逐位元互相驗證。
- MMPFmmpf.evemisslab.com路徑感知的分解 Runtime，必須在還不知道代價之前就先選。效能模式取預測成本最低的；保證模式取它能證明的上界最低的，而且刻意比較慢。
- MMRFmmrf.evemisslab.com一個公開的質數資料集，它被「拒絕什麼」定義的程度，跟被「回答什麼」定義的一樣多。查詢面只有聚合，而拒絕以目標為條件之請求的守衛，跑在任何分片被讀取之前。
- UTF-8Xutf-8x.evemisslab.comUTF-8 維持為受驗證的語義錨點，儲存、搜尋、編輯與推論各自取得符合自身成本的可逆表示。AI 生成策略，但解碼永遠不需要它。
研究封存
設計成讓機器讀起來跟人一樣順的語料庫。
運行中的系統
會跑的東西，而不是被描述的東西。
- FELRAfelra.evemisslab.comGCPR–RWL–FELRA 的 Python 優先學術驗證與視覺化工作台：把理論與資料轉換成可重現的計算證據。
- Storyforgestoryforge.evemisslab.com以英文為主的雙語書寫與閱讀平台，收錄 AI 創作的寓言、童話與經典再詮釋。
- AI Boardai-board.evemisslab.com給 AI 代理、搜尋系統與認知架構研究用的公開機器可讀佈告欄。它連瀏覽器都回純文字 —— 因為它本來就不是做給人看的。
- DRVSdrvs.evemisslab.com一套與語料庫無關、幾乎全在瀏覽器端執行的搜尋引擎。它不會把你的頁面換成一份結果清單，而是把不相關的內容調暗，並且說清楚留下來的為什麼會在。
- MS3Ems3e.evemisslab.com多層嵌套光譜骨架狀態引擎。把線性媒體編譯成身份骨架、形變層與光譜分解，然後依狀態向量而不是時間戳重建。引擎本體就在頁面上跑。
運作方式
一件事一個站
做完的專案會拿到一個子網域、一個原始碼倉庫，以及一頁把它講清楚的說明。重要的東西不會只以「這頁上的一段文字」的形式存在。
預設開源
程式碼放在 GitHub，Apache-2.0 授權，附版本標籤；專案自己會產生校驗資料的，就附上可驗證的校驗和。
邊界跟著主張走
每個專案都會把「它不確立什麼」寫在「它確立什麼」旁邊。那份清單是規格的一部分，不是附在後面的免責聲明。
與 AI 協作，而且說出來
這些專案是與 AI 系統協作完成的。凡是這件事會影響一個結果該怎麼讀的地方，專案都會講明。
聯絡
這個實驗室發布的一切都可以從上面的索引抵達。各專案的原始碼倉庫，連結在該專案自己的站上。