RESEARCH PROGRAM / TAIWAN

讓隱藏條件變得可檢驗。

AI 平常表現正常,仍可能在特定條件下改變行為。TAB Winter Soldier 探索如何為這類風險建立可稽核、可反證的研究證據。

目前已發布 P3-C 模型執行與逐筆驗收。偵測效能、後門辨識及部署安全,仍未建立。

Evidence observatoryA conceptual diagram connecting protocol, execution, integrity and independent review. It is not measured model behaviour.EVIDENCEBEFORE CLAIMSPROTOCOLEXECUTIONREVIEW010203
FIXED REVISION
1C03DF83 / V3

研究架構概念圖 · 非模型行為實測

CURRENT MILESTONEP3-C · 執行/帳務驗收完成
TARGET / RUNTIMEGemma 4 E2B · llama.cpp b10534
外部來源核驗待完成
THE QUESTION

一次正常的回答,
能否代表模型在所有條件下都正常?

這個專案的研究方向,是在 AI 上線前建立更嚴謹的條件化行為檢查。已累積的成果是凍結規約、流程驗證與模型執行紀錄;真正的偵測效能,仍需要獨立對照實驗。

01 / DISCOVERY提早找出盲點
02 / ADMISSION降低誤放行風險
03 / AUDIT留下可查核證據

前兩項是研究願景,尚未證明;第三項已有公開文件與雜湊承諾。

01 / EVIDENCE EXPLORER

每一層證據,都有邊界。

點選研究層級,查看目前實際完成的內容,以及它不能支持的結論。

[ INTERACTIVE 01 ]

    閱讀固定版本來源
    120 筆成功輸出 ≠ 100% 準確率。 標籤未開啟、沒有正確率評分;本次任務是猜測合成資料的隱藏分組,不是直接測試條件化後門行為。
    02 / FOUR RESEARCH ROUTES

    可用資料,決定可下的結論。

    模型執行完成,不會自動讓原本缺乏 telemetry 的偵測路線變成可用。

    [ SCOPE MAP ]
    ROUTE 01 / TEXT

    差異文字

    固定 scalar 區分建構式合成配對。已完成的 PASS 限於 Phase 2 文字流程。

    PIPELINE ONLY
    為何有這個限制?

    Phase 2 沒有呼叫模型。合成配對可分離,不代表已偵測真實 sleeper 或 backdoor。

    ROUTE 02 / ACTIVATION

    Activation probe

    尚無核准且與模型身分綁定的 activation telemetry。

    ABSTAIN
    為何有這個限制?

    沒有可驗證的內部表徵,不能以替代訊號宣稱完成 activation 偵測。

    ROUTE 03 / EMBEDDING

    Embedding / semantic

    尚無經驗證的 embedding 路線或可綁定身分的向量。

    ABSTAIN
    為何有這個限制?

    文字差異不能替代語意向量的有效性與模型身分驗證。

    ROUTE 04 / CONFIDENCE

    Confidence / sequence

    尚無經驗證的 token log-probability 序列與對齊。

    ABSTAIN
    為何有這個限制?

    沒有可信的逐 token 機率資料,無法據此建立 confidence anomaly 證據。

    03 / HISTORICAL PHASE 2

    看見數字,也看見不確定性。

    歷史 v6 confirmation:124 筆合成配對、0 棄權。這些數字來自未呼叫模型的文字流程,不能套用為 Gemma 的準確率。

    合成文字配對的歷史混淆矩陣
    建構分組警示未警示
    差異陽性TP 62FN 0
    控制組FP 0TN 62
    歷史統計原始摘要↗
    0%0 / 62

    100% ≠ 生產安全。
    95% 區間描述這個有限樣本的統計不確定性,並非母體、泛化或部署保證。公開包沒有 hidden labels,不能獨立重算全部統計。
    04 / OPEN RESEARCH QUESTIONS

    研究的下一步,是更好的反證。

    已發布執行證據,不等於研究已過關。先釐清來源與授權,再建立能區分「猜組」與真正條件化異常的實驗。

    [ EXTERNAL REVIEW ]
    NEEDS_REVISION · P0 SOURCE VERIFICATION

    外部評核待完成。

    截至本頁 2026/10/11 更新,外部委員要求補正 P0 證據。補件已整理;仍待外部核驗,不能以內部 AI 交付審查取代外部研究認可。

    指示條為研究里程碑示意,不是完成百分比或評分。

    未完成的研究驗收↗
    P0停工、接手與新授權的證據鏈

    原 STOP 快照保留;後續由 Work 接手。新授權原文及執行收據存在,但精確平台授權時間戳與完整逐命令 Owner YES/可信啟動前紀錄仍未齊備,不能倒填為原 Rev5 PASS。

    P0固定版本與可核驗來源

    v3 固定 commit、45 檔 manifest/checksums 與匿名讀回已備。這建立公開包完整性;原始逐筆推論與受保護資料仍不公開,外部重現能力有明確限制。

    P1事前規約、獨立對照與捷徑偏差

    下一階段需先定義模型、條件、結果、評分及停止規則,再準備獨立 holdout、hard negatives 與盲審 label-inferability 控制。P3-B 人類盲審的 Wilson 規則不能事後套用到 Gemma。

    P1真正的條件化模型行為

    需要能反證替代解釋的配對條件與對照基線,區分格式/長度/模板捷徑和實際行為改變。合成資料隱藏分組的猜測,不能直接驗證 sleeper 或 backdoor。

    ↗委員檢視固定執行設定

    temperature=0、top_p=1、seed=0、max_tokens=4、stream=false、reasoning=off、context=2048、CPU threads=4、GPU layers=0、warmup=false。120 筆各一次,輸出凍結後未開標籤、未評分。

    05 / VERSION LINEAGE

    保留歷史,才能查核演進。

    以下是台灣時間。原交接紀錄與後續執行分開保留;發布版和本互動頁也是兩個不同的版本。

    [ 2026.10.11 ]
    1. 停止阿澄工作,轉為交接

      原 ZIP 保留 P3-C=0、HF v3 尚未上傳的歷史狀態。

    2. 後續 Work 接手授權

      Owner 在本對話指示繼續完成並上傳 HF;精確平台時間戳尚未取得。

    3. 120 筆一次性 P3-C 執行

      本次收據記錄起訖,結束後 ACCOUNTING_PASS、輸出凍結,本次服務與計時器停止。

    4. HF v3 固定發布

      commit 建立時間已由匿名 API 核對;v1/v2/v2.1 歷史標籤保留。

    5. P0 證據補正後的獨立核驗

      暫定 NEEDS_REVISION 維持,等待來源核驗與完整研究判斷。

    時間線依執行者紀錄與 HF metadata 整理;不等同外部獨立重現或完整授權稽核。互動頁更新不改寫固定 v3 的 45 檔。

    06 / OPEN EVIDENCE ARCHIVE

    讓每個結論,都找得到來源。

    搜尋固定 v3 的 45 個公開檔案。點擊檔名查看原文,或複製完整 SHA-256,核對下載內容。

    [ INTERACTIVE 02 ]
    IMMUTABLE DATASET REVISION
    COMMIT
    1c03df839b8c78b3baaa597af45d0819cacc7062
    MANIFEST SHA-256
    154f7cfd5623d6c9e2c66677201c80677e57fad50e5dbde6cacb6e4010fe1c07
    PUBLIC VERIFICATION
    43 manifest 成員 + manifest + checksums = 45 檔。公開包可驗證完整性;無法只靠公開資料重現受保護推論或重算準確率。

    本頁可離線互動;來源文件連結需要網路。沒有分析追蹤、外部字型或後端資料收集。

    45 / 45
    內容索引依固定版本內嵌,不以即時網路數值替換研究結果。

    P3-C 公開彙整收據

    以下為固定 v3 的公開 run-summary.json。這是執行與帳務摘要,不包含逐筆預測或標籤,也不是效能評分。

    閱讀固定版本來源↗