Skip to content
Spec は引用可能な正規定義です。初見の導入は Start Here を参照してください。

Spec

Spec は、PCE 3.0 の正規定義を置く場所です。

初めて読む場合は、先に PCE in 5 minutes で「次のアクターは、これに依拠してよいか」という問いを掴んでから、このセクションに進むと読みやすくなります。

PCE 3.0 は、一つの公理から導かれます。

公理(検証地平): 仕事は、いかなる単独アクターの検証地平をも越えて継続する。 定理(依拠): ゆえに、再検証なしの依拠が不可避に発生する。 機構(昇格の統治): だから、何に依拠してよいかを統治する Core Model が必要になる。

State
-> Transition
-> Contract
-> Warrant
-> Projection
-> State

Core Model を実務で動かすために、次を使います。

Core Model を実際の判断に使うには、次の原理と統治点を併せて見ます。