AI 研究實驗室7 筆
系統
研究過程中形成的 runtime、工具與實驗系統。已成熟成獨立站的，也會出現在首頁的索引裡。
- 系統SYS-2026-0002PACC-Lab——收斂猜想的微型實驗室可完全觀察的證據整合環境、四個 primitive 層非概率家族（N0–N3）、精確 Bayesian 參考、只在訓練集擬合的低複雜度映射器、shuffled／constant／broken-composition 控制組、設計冗餘診斷，以及從 v0.1 到 v0.13 原封不動的預登記門檻。每個版本都是密封的 FINAL 套件，含協定、結果與下一步實驗的預登記。
- 系統SYS-2026-0003PACC-LLM 混合實驗室A/B/C harness——純生成器、硬驗證器、PACC runtime——在共享候選池與相同計費預算上運行。v0.1 是合成的架構見證（零次 LLM 呼叫）；v0.2 加入手寫自然語言任務、對條件盲的評審、獨立於評審的字面機器檢查、缺 API key 時 fail-closed，以及 live run 後可精確重播的凍結快取。
- 系統SYS-2026-0001AER-0——自適應認識 runtime MVP以 Python + SQLite 實作、自己持有持久 canonical state 的參考 runtime；語言模型可有可無、可替換。Candidate → verify → 版本化 commit、fact／relation 強制 provenance、新鮮度與信心分開存放、非對稱張力排程與 shock 觸發刷新、capability／container 註冊表、持久化 workflow 記憶（reuse／adapt／create）、以及 deterministic／rule／Bayesian／heuristic 的認識論 router。經六輪比較長成帶 SQLite 層中介、Ed25519 簽章外部 anchor 與程序分離 writer 的 epistemic commit transaction（R6 時 79 個測試）。在 mssp-tdd-apr 下以 DEGRADED-TWIN 開發——不主張獨立 twin 驗證。
- 系統SYS-2026-0101XA-03——遙測與執行記錄器（物理執行證據層）與模型供應商無關的記錄器：把一次 benchmark 執行記成只增不改的事件流與遙測，再確定性地導出型別化摘要——模型呼叫、軌跡、工具呼叫與驗證器區段，候選建立／丟棄會計，wall time、裝置時間、GPU 功率積分成 device_energy_j（能量型別 device_measured，絕不改標成 marginal）、峰值記憶體與記憶體駐留，未知值保持 null（Unknown ≠ 0），並禁止 tokens → J、TDP → J、price → J、GPU-hours → J 的換算。黃金夾具 450 J／1.75 util·s／12 GB 峰值／33 GB·s 駐留驗證通過；35 passed, 1 skipped in 0.39s；儀器負擔經校準並報告，不自動扣除。
- 系統SYS-2026-0102XA-04——A0→A5 模型執行器與鷹架調度器策略驅動的狀態機，用不可變的條件策略跑同一個 TrialExecutor：A0 原生單次、A1 放大單軌跡（2× 生成預算）、A2 八樣本精確多數決、A3 八樣本加型別化驗證器、A4 驗證器加有界的確定性工具迴圈、A5 有界的 PLAN → ACT → OBSERVE → VERIFY → REVISE 迴圈。XA-02 與 XA-03 是外部 canonical 依賴（以雜湊宣告、不內嵌）；A0–A3 下的工具動作是協定違規；benchmark 評分只在 XA-03 執行封存後進行，評分成本永不計入受測系統；私有參考檔不被任務載入器讀取；不擷取私有思考鏈。29 個測試，狀態 CANDIDATE_CLEAN_VERIFIED。
- 系統SYS-2026-0103XA-06——真實模型 pilot 閘把真實模型放進已驗證的 XA-01→XA-04 儀器：preflight（一次隔離的 MATH-003/A0 試驗走過供應商、XA-03 與 XA-02）、canonical 36 試驗矩陣（MATH-003、CODE-001、CON-003 × A0…A5 × 2 次）、閘驗證與分析。凍結 temperature／top-p／seed，A0/A1 的生成預算倍率轉入 token 預算，計算機工具契約只注入 A4/A5 的生成請求，停用的程式評估視為「品質不可得」而非零分，且工程驗證永遠不能升格為 pilot 完成：「沒跑真模型，就沒有真模型宣稱」。合法的真實結果明文包含 A0 = A5、A3 < A2、A5 < A0 與 SSR = 1。20 個測試；套件本身不含 pilot 結果（狀態 READY_FOR_REAL_MODEL）。
- 系統SYS-2026-0104XA-06L——本地真實模型執行交接包從 READY_FOR_REAL_MODEL 到密封結果包的 Windows／本地交接：configure → preflight → run/resume → verify/analyze → seal。resume 只在試驗結果與 XA-03 摘要都在、兩個 SHA-256 仍相符、身分相符且 XA-03 狀態為 COMPLETE 時才跳過該點；被改過的點變成 INVALID，絕不靜默覆寫。封存排除機密值、以來源紀錄遮蔽絕對路徑、把執行目錄改為相對於封存包並全部重新雜湊，讓封存包能在另一台機器上重新驗證。軟體 29/29 PASS，套件內的實驗狀態：NOT_RUN——「READY_FOR_REAL_MODEL ≠ REAL_MODEL_PILOT_COMPLETE」正是套件要說的重點。