憑證

它簽的是那個選擇，不只是那個答案。

分解一個整數，得到的是任何人乘一乘就能檢查的數字。MMPF 憑證存在的意義，是為了那個乘一乘檢查不了的部分：走了哪條路、對著哪台機器、以及當初預測它要花多少。

憑證記下什麼

整數本身，與找到的因數。
模式，以及選擇器挑中的路徑。
做出預測時所依據的機器輪廓。
預測成本與實測執行時間。
保證模式下，驅動那個選擇的共形上界。
release binding —— 一個把憑證綁回簽發它的程式碼的 SHA-256。

bash

mmpf factor 1000036000099 \
  --mode assurance \
  --machine-profile machine/current_machine.json \
  --output assurance-cert.json

mmpf verify assurance-cert.json

驗證分別回傳 valid 與 release_binding_ok，因為它們回答的是不同問題：憑證內部是否自洽，以及它是不是來自這個建置。

帳本

真正有意思的產物不是憑證本身，而是那四份 MMLF 帳本 —— 因為它們可以被一個對結果沒有任何利害關係的 Runtime 執行。

帳本	交易數	官方重播
`mmpf_bandit_decisions`	600	PASS
`mmpf_conformal_assurance`	180	PASS
`mmpf_policy_voi`	120	PASS
`mmpf_factorization_reconstruction`	2	PASS
合計	902

最後那一份最小，也最直接：它把因數重建回原本那個整數，做成一條兩步的算術鏈 —— 於是「分解成功」這個主張本身，變成一份可稽核的帳，而不是一句斷言。

一份有效憑證不確立什麼

一份有效憑證所選路徑是最佳的這個主張
一個被記下的預測成本實際成本的上界
一個 release binding身分 —— 它說的是哪個建置，不是誰跑的
一個簽章機器輪廓確實描述了跑它的那台機器的證明