10 principles
1. 未知者が検証できること。
証明がネットワークの内部にいることを要求するなら — メンバーシップ、鍵、関係 — それは許可であって証明ではない。許可は構わない。だが信頼と呼ぶな。
2. フェイルクローズド。
証拠が欠けている、古い、検証不能なとき、答えはノーだ。証拠の不在は無実の証拠ではない。それは未回答の質問であり、未回答の質問は金を動かす権限を与えない。
3. 検証者を検証せよ。
ベリファイアは主張の一部だ。誰も探っていないスコアリングエンジンは、証明されていない証明だ。私たちは自分のランナーを、それを打ち負かそうとするミュータントたちにぶつける — 結果を公開する。
4. 真実はバイトから導出される。
メタデータは嘘をつく。サイドカーは嘘をつく。ダッシュボードは嘘をつく。正規バイトに対する署名は、説得して立場を変えさせることはできない。真実は導出されるものであって、宣言されるものではない。
5. 鮮度は双方向。
未来の日付のクレデンシャルは、過去のものと同様に壊れている。窓には下限と上限がある。両方を検証せよ — でなければ何も検証するな。
6. 失効は発行の一部。
取り消し方を公開せずに証明を公開することは、半分の約束を公開することだ。鍵、ランナー、ポリシーは失効可能でなければならない — そして切断されたベリファイアは、一枚の署名済みノートで追いつけるべきだ。
7. アンカーは、アンカーを打つ者の管理の外に置く。
何が公開されたかの記録は、発行者が書き換えられない場所に置かれなければならない。私たちは各リリースを公開透明性ログ（Rekor / Sigstore）にアンカーする。その包含証明は、私たちが持っていない鍵に対して検証される。
8. 鍵なし、ゲートなし。
APIキーを要求する検証は、 無効化可能で、値上げ可能で、ログ可能な検証だ。検証はオフラインで、鍵なしで、ミリ秒で、どんな端末でも動くべきだ。
9. 再現可能であること。さもなければ起きなかった。
未知者が公開ソースからアーティファクトを再構築して同じバイトを得られないなら、そのアーティファクトは信仰の対象だ。私たちのはバイト単位で再構築し、証明する。
10. ロードマップよりレシート。
約束はマーケティングだ。レシートは誰も編集できないログの中のチェックサムだ。スライドではなく、コマンドを見せろ。 誰でも私たちを監査できる。コマンドはこれだ。
Verify everything
— AliceLabs / MarketNow, 2026-09-09