証拠の文化に基づくエンジニアリング：自らの主張を証明するシステムの構築

技術の世界において、最も危険な言葉は「動くはずだ」である。これは誰も測定せず、試験が省略され、一度成功した実演が確信へと固まってしまったときに現れる。ミッションクリティカルなシステムを確信の上に築くことはできない。証拠の上に築かねばならない。

Demixにおいて、証拠の文化は壁に貼る標語ではない。それは実践の方法である。あらゆる能力の主張には、それを支える証拠が伴い、検証される前に能力が宣言されることはない。この原則が、何を構築するかの決定から顧客との対話の仕方に至るまで、すべてを組織している。

証拠の文化が実践において示すもの

証拠の文化は、順序の反転から始まる。構築し、発表し、それから証明しようとするのではなく、構築し、証明し、その後に初めて宣言する。些細な違いのように思えるかもしれない。しかし実際には、それは製品の本質を変える。

第一の要素は、意見よりも先にある測定である。性能、継続性、あるいは意思決定の質について問いが生じたとき、答えはその場で最も高い地位にある者から出るのではない。その特定の問いに答えるために設計された実験から出るのである。意見は、何を測定すべきかを選ぶ際には有用である。しかし測定に取って代わるものではない。

第二は再現性である。一度だけ生じた結果は証拠ではない。それは記録された偶然にすぎない。したがって、我々が主張するすべては、宣言された条件下で再現可能でなければならない。そして、その条件を正確に述べることができなければならない。

第三は記録の保持である。保存されない証拠は、それを生み出した人々とともに消え去る。何を試験し、結果がどうであり、どのような文脈であったかの履歴を保つことで、一度きりの取り組みが組織の知識へと変わる。

目的に即して設計されたベンチマーク：測定されないものは宣言されない

自前のベンチマークを構築することは、労苦を伴うため稀である。たとえ現実の問題を代表していなくとも、公開された指標を採用したくなる誘惑がある。我々はより困難な道を選んだ。自らの領域の内側で、良い結果とは何かを定義し、それを一貫して再現可能に測定するのである。

この選択には三つの帰結がある。第一は内部的な誠実さである。解こうと意図する問題のために正確に設計された指標で、自分自身を欺くことは難しい。第二は比較可能性である。同一の測定群から得られ、時系列で追跡された結果は、主観的な印象ではなく、実際の進歩を明らかにする。第三は顧客との対話である。形容詞の代わりに、方法を提示する。何を、どのように、どのような条件下で測定したのかを。

よく設計されたベンチマークは宣伝ではない。それは証明のエンジニアリングである。

日常業務としての検証と監査

文書化だけでは何も証明しない。システムが自らについて主張することを確認するには、独立した仕組みが必要である。公式の記録が誤っているとき、それに異を唱えることのできる誰か、あるいは何かである。

だからこそ、検証と監査の手順は年次報告書ではなく、運用の一部である。暗号署名は、成果物が主張どおりのものであることを確認する。監査可能な記録は、何が、いつ、誰の権限で起きたかを再構成することを可能にする。独立した検証の実践は、システムが自らの審判となることを防ぐ。

その利得は外部の信頼だけではない。内部的には、すべてが検証されると知ることが文化を変える。最も速い道が最も雑な道ではなくなるため、品質の基準が上がるのである。

これが適切な顧客と適切な人材を引き寄せる理由

重要インフラを運用する顧客は、熱意を買わない。予測可能性を買う。防衛や継続性の契約に署名しなければならないとき、問われるのは「あなた方は優れているか」ではなく、「どのように証明するのか」である。証拠の文化を持つ企業は、その問いに修辞ではなく方法で答える。そしてその答えこそが、関心を持続的な関係へと変える。

同じ論理が人材の獲得にも働く。高い基準を持つエンジニアは、昇進が成果ではなく可視性に依存する環境に懐疑的になりがちである。測定し、検証し、記録することを重んじる文化は、問題を解くことを心から好む者を引き寄せ、物語を好む者をふるい落とす。正確さを要するシステムを構築する企業にとって、それはまさに望む選別である。

この文化の内側には、重要な一線がある。能力を証明することは、運用の詳細を露出することを意味しない。ベンチマークは、内部構造を明かすことなく、方法と結果において公表できる。検証の実践は、実装を文書化することなく記述できる。区別は、厳密さを示すことと、弱点を探す者に地図を手渡すことの間にある。

その配慮自体が文化の一部である。あらゆる技術的な成果物は、世に出る前に同じ篩にかけられる。敵対者がこれから有益な何かを学ぶだろうか。答えが是ならば、それは削られる。否ならば、公表される。方法の透明性こそが、信頼が得難い環境において信頼を支えるからである。

この厳密さには費用が伴い、それを名指しする価値がある。宣言する前に測定することは、一部のサイクルを長くし、組織的な忍耐を要求する。その報いは後に訪れる。証明された能力が手直しなしに再利用でき、退行が不満を抱く顧客ではなく数値によって検出されるときである。ミッションクリティカルなシステムにおいては、その費用を早く払うことが、遅れて発見するよりも常に安くつく。

技術の流行は過ぎ去る。残るのは、システムが約束したことを、圧力の下で、時間をかけて果たすことを証明する能力である。その能力を築く企業は、模倣が困難な資産を蓄積する。検証可能な実績である。

これがDemixの約束である。我々はミッションクリティカルなインフラを構築し、証明を製品の一部として扱う。あらゆる主張にはその証拠が伴う。そしてそれゆえにこそ、我々の主張は要求され、試験され、維持されうるのである。